论文部分内容阅读
在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有：模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的验证、高层需求的覆盖率分析、模型覆盖率分析、模型覆盖率分析解决方案等。
基于模型开发的机载软件模型测试技术研究
【摘 要】
：
在Do-178B以及Do-178C对于Do-178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有：模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的
【机 构】
：
上海飞机设计研究院
【出 处】
：
工业控制计算机
【发表日期】
：
2011年10期
其他文献
近年来,临床上进行肌内注射和静脉穿刺时,常采用单纯酒精消毒法(原来是采用先用碘酒,再用酒精双重消毒方法).为观察这种简化了消毒程序的方法其效果如何,我们对本院2 300例住
马王堆1、3号汉墓出土的漆器共700余件,是目前发现的汉代漆器中数量最多、保存最完好的一批。漆器的大量出现和使用,表明代表权力与地位的笨重的青铜器被精巧的漆器取代,结束
目的:探讨分析1.5T磁共振断层血管成像对原发性三叉神经痛患者神经血管关系的诊断价值及可靠性。方法:选取于我院2015年7月—2018年7月就诊,接受1.5T磁共振断层血管成像扫描
<正>劳动者在试用期被证明不符合录用条件的,用人单位可以依法解除劳动合同,这并不意味着用人单位可以任意解除试用期员工劳动合同,否则,可能承担不必要的败诉风险。本文以用
目的分析一个MYH9综合征家系中2例耳聋患者的表型特征,进行候选耳聋基因的突变筛查,明确该家系耳聋表型的基因突变位点。方法对家系进行详细的病史问诊及体格检查、血常规及
为了研究大跨度张弦桁架结构的静力特性和自振特性,以镇江体育中心会展馆为研究对象,采用ANSYS有限元软件,对镇江体育馆整体空间结构进行了相应的计算分析,静力进行分析,研究
在总结水稻/辣椒轮作、水稻田埂间作大豆、辣椒棚边间作蚕豆等种植模式和栽培技术的基础上,阐述了通过合理搭配品种、科学安排茬口、加强田间管理等技术措施实现一年四熟,达
目的：(1)检测YES相关蛋白1(YAP1)、β-链接素(β-catenin)在人大肠癌(CRC)组织中的表达及其与临床病理因素间的关系。(2)观察siRNA干扰YAP1基因对大肠癌细胞系RKO生物学特性的
HJ-1-C卫星是我国第1颗民用合成孔径雷达卫星,具有条带和扫描两种工作模式。该文根据HJ-1-C卫星ScanSAR模式的工作特点,在ECS成像算法和传统斜距多普勒定位方法基础上,提出一