切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
面向无人实时系统的的软件开发与验证方法
面向无人实时系统的的软件开发与验证方法
来源 :电脑编程技巧与维护 | 被引量 : 0次 | 上传用户:wanglt111
【摘 要】
:
当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大、程序关联耦合度高等难题。引入一种基于验
【作 者】
:
问建
张割
【机 构】
:
北京航空技术中心
【出 处】
:
电脑编程技巧与维护
【发表日期】
:
2020年4期
【关键词】
:
无人实时系统
代码自动生成
软件验证
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大、程序关联耦合度高等难题。引入一种基于验证驱动的软件开发方法,该方法使用了代码自动生成技术以及软件验证技术,能有效提高无人实时程序开发的效率和安全性。
其他文献
当前铁路隧道建设中几个问题的探讨
针对当前铁路隧道钻爆法建设中普遍采用的机具装备与工序组织,分析现阶段存在仰拱栈桥长度不足、初期支护工序矛盾、锁脚锚杆设置意见不统一、初期支护缺乏检测4个方面的问题,
期刊
铁路隧道
仰拱栈桥
初期支护
锁脚锚杆
无损检测
railway tunnel inverted arch trestle initial support fe
基于BP神经网络算法的P2P机构系统重要性研究
P2P网络借贷作为互联网金融的重要组成部分,近年来发展迅猛,但是风险事件也接连不断发生,引起业界、学界强烈的关注.研究主要是在P2P网贷平台的监管中的一个重要问题,即其中
期刊
P2P网络借贷
系统重要性
互联网金融
风险监管
BP神经网络
基于PM2.5中的黑碳变化探究上海冬季典型污染过程
2016年11月29日-12月9日,上海连续发生两起大气污染事件,最高小时PM2.5质量浓度分别达到119和179μg/m^3.利用黑碳(black carbon,BC)仪的在线观测数据,结合大流量PM2.5滤膜样
期刊
PM2.5
黑碳
污染过程
二次污染物
PM2.5black carbon(BC)pollution episodessecondary pollutants
计算机兵棋系统建设研究
兵棋是一种重要的作战模拟系统,主要作用是训练指挥员的指挥能力、辅助决策和理论创新。计算机技术与兵棋相结合,有效提高了兵棋系统建设的效率,降低了开发、部署和应用的难
期刊
计算机兵棋
系统建设
原发性血小板减少性紫癜脾切除围手术期处理及并发症的防治
目的 降低血小板减少性紫瘢脾切除后的并发症。方法 对1982年1月至2003年1月收治的69例原发性血小板减少性紫瘢病人进行回顾性研究。结果 该病最常见而严重的并发症是感染和
期刊
原发性血小板减少性紫瘢
脾切除
围手术期
并发症
其他学术论文