论文部分内容阅读
当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大、程序关联耦合度高等难题。引入一种基于验证驱动的软件开发方法,该方法使用了代码自动生成技术以及软件验证技术,能有效提高无人实时程序开发的效率和安全性。
面向无人实时系统的的软件开发与验证方法
【摘 要】
：
当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大、程序关联耦合度高等难题。引入一种基于验
【机 构】
：
北京航空技术中心
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
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例原发性血小板减少性紫瘢病人进行回顾性研究。结果 该病最常见而严重的并发症是感染和
基于电力系统在二次回路运行的实际状态,在运行过程中存在的问题,分析继电保护二次回路出现的故障类型,维护与检修的具体措施,从而保障确保电力系统的安全运行。
基于全寿命周期管理理念,在变电站的设计中,分析变电站的整个生命周期使用需求,全方位匹配设备选型与站区的规划,电气总平面与配电装置的布置。