【摘 要】
：
开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作
【基金项目】
：
国家自然科学基金资助项目(61632005)
论文部分内容阅读
开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过程.同时,建设航天器控制领域通用模型库来提高成熟算法模型的复用效率及自动生成代码可靠性.本方法研究为推进航天器控制软件向模型驱动开发方式转变夯实基础.
其他文献
目的:探讨在对耳鼻喉科患儿临床护理中持续改进护理服务模式的应用效果。方法:选取我院耳鼻喉科接受手术治疗的30例 患儿,收治时间为2020年2月-2020年8月,将其作为本次研究中
目的:探究将规范化管理干预措施运用到住院患者的静脉治疗与护理中是否能够起到积极的作用,分析其对于患者护理质量 的实质性影响。方法:从我院2019年6月到2019年12月接诊的
目的探讨心脉通胶囊联合苯磺酸左旋氨氯地平片对原发性高血压病人血清炎性因子及血管内皮功能的影响。方法选取2017年3月—2018年10月85例原发性高血压病人为研究对象,根据治
目的:探究循证护理对糖尿病足患者心理状态及生活质量的影响。方法:选用我院2019年8月~2020年7月收治得糖尿病足患 者74例作为讨论目标,按照不同护理方式分为循证组和常规组,
目的:探究对顽固性慢性支气管炎患者实施全程无缝隙护理的效果。方法:选取2020年1月-2021年1月本院收治的56例顽固 性慢性支气管炎患者,随机分为观察组、对照组,前者实施全过
目的:探讨以初级创伤救治原则为基础的院前急救在急性颅脑损伤病人中的应用效果。方法:选取医院收治的120例急性颅脑损伤病人为研究对象,采用档案抽签法将其分为研究组和对照
随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属
随着航天技术的迅猛发展,航天软件的功能越来越复杂,规模越来越大,对软件可信性的要求也越来越高.航天软件一旦失信,其带来的损失往往无法估量.从源代码证据入手,建立面向航
目的探讨射血分数正常的高血压病人M型超声心动图特点及参数与心肌重塑的相关性。方法选取我院2018年3月—2019年3月收治的左室射血分数正常高血压病病人100例作为观察组,收
目的探讨ADRB1基因多态性与冠心病发病及病情轻重的关系。方法选取我院2017年3月—2019年5月收治的86例冠心病病人为试验组,选择同期健康体检者86名为对照组。采用聚合酶链反