王军
- 作品数：3 被引量：0H指数：0
- 供职机构：中国电子科技集团第十四研究所更多>>
- 相关领域：建筑科学自动化与计算机技术更多>>
- 基于Event-B的可靠智能合约自动生成方法
- 2023年
- 智能合约是一种以代码的方式执行合同条款的可计算交易协议,其应用场景与规模日益增长,承载着多达数十亿美元的各类资产。由于其代码缺陷可能会造成严重的经济损失,因此智能合约的可信开发成为技术关键。为此,提出了一种基于集合论语言Event-B的智能合约可信验证与自动生成方法。Event-B方法是一种基于精化的形式化方法,可用于规约、设计和验证软件系统。通过对智能合约的模型验证和可执行代码的自动生成技术,研发了自动转换工具EB2S,打通了形式化模型和智能合约编程语言的语义鸿沟和技术壁垒。最后,选取典型的在线支付智能合约场景,应用基于Event-B的智能合约模型自动生成合约代码,验证了EB2S转换工具的有效性。
- 朱健胡凯王军李洁李洁时希言
- 关键词：自动代码生成定理证明
- 超视距雷达与反隐身
- 王军
- 关键词：抗干扰措施超视距雷达
- 计算机辅助煤气工程设计GASCAD系统的设计和实现
- 1994年
- 本文描述了煤气工程设计的内容及特点,给出了计算机辅助煤气工程设计的设计思想及利用AutoCAD10.0和AutoLISP实现GASCAD系统的方法,该系统已应用于实际并取得了很好的效果。
- 王军许建峰
- 关键词：煤气工程设计CAD计算机
