排序方式: 共有31条查询结果,搜索用时 15 毫秒
11.
12.
13.
结构覆盖率分析是基于需求测试的补充和完善,能够发现软件中是否存在预期外的功能.在基于模型的软件开发过程中,模型覆盖率代替了传统的代码覆盖率,运用模型检查技术自动生成测试用例是形式化方法在模型覆盖率测试中的主要途径,涵盖了判定覆盖(DC)、条件覆盖(CC)、修改条件/判定覆盖(MC/DC)等多种方式.以航空发动机FADEC软件开发过程中的一个实际案例为例,结合Simulink Design Verifier分析验证工具,检验其生成的用例对模型的覆盖率,表明方法的实用性. 相似文献
14.
俄罗斯赫鲁尼切夫航天科研生产中心是国有企业,现有员工22000。该中心主营航天产品,如火箭和卫星等,但也研制和生产航空产品,如轻型飞机 相似文献
15.
球体零件是某国家重点型号发动机某一球阀的核心零件,它具有高形位公差要求、形状不规则、表面质量要求高等特点,给实际的加工生产带来极大难度,该零件被列入某国家重点型号发动机研制中的关键工艺技术之一.通过反复试加工与参数摸索,在充分了解铝材质球体零件结构特点及加工难点的基础上,总结出一套粗加工、半精加工、精加工的加工工艺流程方法,并依据金属材料热处理原理在粗加工后、精加工前分别穿插进行不同热处理以达到消除粗加工去除大余量过程中产生的机械加工应力与稳定零件尺寸的目的,最后采用自制辅助工装夹具、刀具选择以及优化切削参数等措施,成功生产出一批完全满足设计要求的精密球体零件,装配该球体零件的球阀顺利通过热试车考核. 相似文献
16.
基于贝叶斯网络的民航安全分析研究 总被引:1,自引:0,他引:1
安全在民用航空领域占有举足轻重的地位,直接影响民航企业的生存和发展。科学合理的安全分析便于及时发现民航领域存在的安全问题,预防航空事故诱发因素的萌生,提高民航安全管理的科学性和可操作性。根据民航安全的特点,建立了基于故障树的多态贝叶斯网络系统安全分析模型,综合运用诊断推理和因果推理形式,实现了定性与定量相结合的民航安全分析,通过航空灾难的实例验证了方法的有效性。在此基础上,提出采用区间型贝叶斯网络进行民航安全分析,克服了其他方法只能分析计算单点概率值的局限性,比传统的安全评估更客观,更有说服力。 相似文献
18.
19.
20.
基于Casper硬件平台的射电望远镜数字系统正在被广泛应用.在Simulink中通过调用Casper模块可以实现复杂的数字信号设计,加快FPGA开发射电望远镜系统的效率.利用Casper模块和Simulink中Xilinx模块设计射电望远镜单元样机的数字信号处理单元,完成子带的抽取、下变频和整体频谱分析等功能.在Casper通用硬件平台ZYNQ7020上进行相关功能的仿真,验证了利用Casper模块和Xilinx模块设计基于FPGA的射电望远镜单元样机信号处理系统的可行性和高效性. 相似文献