【摘 要】
：
为解决机载软件验证与开发环境冲突、软件验证独立性及软件联合仿真验证的问题,提出了一套基于全数字仿真技术的航空机载软件验证平台设计方案;即基于企业内各专业已有的全数
【机 构】
：
中国航空工业集团公司成都飞机设计研究所
论文部分内容阅读
为解决机载软件验证与开发环境冲突、软件验证独立性及软件联合仿真验证的问题,提出了一套基于全数字仿真技术的航空机载软件验证平台设计方案;即基于企业内各专业已有的全数字仿真系统、多学科仿真模型,设计了一套以数据分发服务为基础的架构,实现系统之间的互联互通;考虑软件测试要求及测试用例的可读性、可维护性需求,提出了基于测试场景的测试用例设计方法,实现测试场景与测试用例数据的分离,对验证工作的分工安排、工作交接维护具有较大的意义;对已有的企业级测试管理系统进行扩展,打通软件需求、设计、测试项、测试场景、测试用例之间
其他文献
莎草科植物是黑颈鹤越冬期间重要的天然食物资源．通过比较人工种植在不同环境梯度下的3种莎草科植物地下块茎的鲜重表明：莎草科植物地下块茎重量在浅滩生境中显著比在陆地生境
随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立
针对背靠背直流异步联网工程中存在的次同步振荡（SSO）现象,对基于常规直流（LCC_HVDC）的次同步阻尼控制器（LCC_SSDC）和基于柔性直流（VSC_HVDC）的次同步阻尼控制器（VSC_SSDC）的协同抑制问
本文在交易成本经济学框架内对纵向一体化的定义、分析方法和成因进行系统阐释,并以交易成本经济学理论为依托,选取我国上市企业数据,验证关键维度对企业合并前后纵向一体化
目的 优化白凤菜总黄酮的提取工艺,并研究白凤菜总黄酮的体外抑菌活性。方法 以70%乙醇溶液浸提,再用200 W超声波辅助,通过L9（33）正交试验研究白凤菜总黄酮的最佳提取工艺。采
川崎病（Kauwasaki disease，KD）是一种以全身血管炎为主要病变的儿童急性发热出疹性疾病，1967年由日本学者川崎富作首次报告，近年来发病呈上升趋势，目前在世界许多国家已经取代了风
思想道德是人的整体素质的核心与灵魂，在人的素质结构中起着价值定向的作用。初中生正处于个体道德情操、心理品质和行为习惯养成的关键时期。客观认识初中生思想道德的性别差
降钙素原(procalcitonin,PCT)是目前公认的炎性标志物,在感染性疾病的鉴别诊断、疗效监测和预后判断等方面有重要价值。免疫荧光和电化学技术的联合应用实现了对PCT的定量、快速检测。目前PCT的检测试剂盒均基于抗原抗体的特异性结合反应,其抗原和抗体均来源于进口厂商。制备稳定的抗原和高特异性的单克隆抗体是实现国产化产品的基础。目的:原核表达人降钙素原重组蛋白,优化蛋白表达条件;制备高纯度的
容积率是＂宗地＂面积允许的建筑容量,是控制性详细规划的强制性指标,是建筑工程规划管理的重要内容。分析了影响容积率的诸多因素,指出了过高容积率的多种危害,论证了加强容积率
电子商务深刻地影响着社会经济的发展，也是影响国际贸易的重要因素。我国外贸政策调整必须考虑电子商务这一经济背景。电子商务增加了我国外贸政策调整的紧迫性，也给我国外贸政