论文部分内容阅读
当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大、程序关联耦合度高等难题。引入一种基于验证驱动的软件开发方法,该方法使用了代码自动生成技术以及软件验证技术,能有效提高无人实时程序开发的效率和安全性。
面向无人实时系统的的软件开发与验证方法
【摘 要】
：
当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大、程序关联耦合度高等难题。引入一种基于验
【机 构】
：
北京航空技术中心
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2020年4期
其他文献
针对当前铁路隧道钻爆法建设中普遍采用的机具装备与工序组织，分析现阶段存在仰拱栈桥长度不足、初期支护工序矛盾、锁脚锚杆设置意见不统一、初期支护缺乏检测4个方面的问题，
P2P网络借贷作为互联网金融的重要组成部分,近年来发展迅猛,但是风险事件也接连不断发生,引起业界、学界强烈的关注.研究主要是在P2P网贷平台的监管中的一个重要问题,即其中
2016年11月29日-12月9日,上海连续发生两起大气污染事件,最高小时PM2.5质量浓度分别达到119和179μg/m^3.利用黑碳(black carbon,BC)仪的在线观测数据,结合大流量PM2.5滤膜样
兵棋是一种重要的作战模拟系统,主要作用是训练指挥员的指挥能力、辅助决策和理论创新。计算机技术与兵棋相结合,有效提高了兵棋系统建设的效率,降低了开发、部署和应用的难
目的 降低血小板减少性紫瘢脾切除后的并发症。方法 对1982年1月至2003年1月收治的69例原发性血小板减少性紫瘢病人进行回顾性研究。结果 该病最常见而严重的并发症是感染和