【摘 要】
：
GJB 900和MIL-STD-882C是武器装备安全性管理和控制大纲,就具体的装备,如直升机,如何剪裁和应用这些规范中的要求来指导直升机软件安全性分析工作,在以往型号设计中做得较少,
【机 构】
：
中国直升机设计研究所,上海三维工程建设咨询有限公司
论文部分内容阅读
GJB 900和MIL-STD-882C是武器装备安全性管理和控制大纲,就具体的装备,如直升机,如何剪裁和应用这些规范中的要求来指导直升机软件安全性分析工作,在以往型号设计中做得较少,常常受到专家的质疑。该文基于MIL-STD-882C的要求,结合国外型号设计的经验,系统地提出了直升机软件安全性的分析技术,其目的是：提高设计团队的软件安全性分析水平,并在今后的型号实践中,不断完善软件安全性分析工作;应用文中的分析方法,给出其软件设计差错/缺陷并通过相应措施,消除安全性隐患或将软件安全性危险控制在最低可接受
其他文献
做好高校思想政治教育工作是高等学校坚持社会主义办学方向的关键所在。高校教师特别是党政干部则是思政教育工作的主体,其自身的素质提高尤为重要。高校干部必须树立坚定的
本文根据我军卫生防疫训练及人员队伍的实际情况,结合高技术条件下局部战争及新的医学模式对军队卫生防疫人员的客观需求,提出我军新型卫生防疫训练体系的构建方案。
目的 从酶反应动力学方面揭示梭曼、沙林对丁酰胆碱酯酶的毒性强弱，比较两者对丁酰胆碱酯酶的抑制强度。方法 通过改进的Ellman法验测定了鸭血清丁酰胆碱酯酶的k。值，以及梭曼
通过在水稻本田进行平安福牌叶面菌肥应用试验，结果表明，施用平安福菌肥能够促进水稻生育进程，使成熟期提前2～3d，并且能促进水稻分蘖，使穗粒数、千粒重都有所增加，同时，对叶瘟、穗颈
本文主要简述了王清任瘀血学说的形成,学说的主要内容,学说指导下相关治疗方法及其学说对后世产生的影响。
传感器网络的异常数据检测对于环境监测具有十分重要的意义。基于BP神经网络模型和线性神经网络模型,分别提出了两种无线传感器网络异常数据检测方法。提出的方法在每个当前
采用色率、色深物质含量、红色指数、黄色指数4个传统指标,以及使用色差计对酱油酿造过程中色泽变化进行研究,同时分析指标间相关性。结果表明:高盐稀态酿造酱油随发酵时间的
随着航天应用InGaAs短波红外探测器的迅速发展,其可靠性问题日益突出。选择温度为加速应力,通过步进应力加速寿命试验方法对800×2双波段集成的InGaAs焦平面探测器进行了研究
本文针对目前国有企业绩效管理满意度较低的现状,分析了NXDX有限公司绩效管理满意度的状况,对绩效管理的环节和步骤进对绩效管理整体满意度的影响进行了相关性分析,并提出了