安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

基于FPGA的多通道数字信号下变频器设计

研究了无线通信接收机中。经A／D转换后到基带处理前的中频信号的下变频处理。提出了用FPGA实现多通道数字信号下变频的新设想。通过分析CIC滤波器、HB滤波器和多相滤波器的特点和性能，将它们与抽取器相结合．对MD转换后的数据进行抽取，降低了信号采样率，减轻了后续DSP处理基带信号的压力。结合一个具体的多信道信号．通过软件仿真和在FPGA器件的实现，证明了该方案的正确性。此设计方案集CIC滤波器、HB滤波器和多相滤波器的优点于一身。使设计出的数字信号下变频器能够处理更高频率的信号。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

新白云机场应用集成的基本理念和构思

新白云机场计算机信息系统集成工程已于2004年8月建成并投入使用,它是按照国际现代化中枢机场的特点和要求建立的完善的现代化综合信息系统。航班信息显示系统、离港系统、泊位引导系统、公共广播系统和安全防范系统等数十个弱电、信息系统都在工程的建设任务之内,它们在新机场协同运作,有效保障机场运作,为旅客、航空公司和驻场单位提供全方位的周到服务。为了使新机场内的各个弱电、信息系统能协同运作,需要一项专门的工作以实现这个目标,这就是新机场计算机信息系统的系统集成。新机场计算机信息系统的系统集成工程的投资规模大,建设任务…     

民用飞机初始备件计划研究及系统软件实现

国内民用航空制造业如今正在加速发展，而相应的备件工程与波音、空客都还是有一定的差距。结合ARJ21飞机项目研究了民用飞机初始备件计划模型，并在此基础上开发了备件计划软件系统，完成了初始备件计划工作的计算机化。     

总线通信系统外场检测软件的设计与开发

结合某型飞机总线通信系统的研制实践，介绍了总线通信系统外场检测设备的组成及其与通信系统的交联关系，重点阐述了检测软件的性能设计、数据结构设计、功能模块设计和人机接口设计，以及在软件开发过程中采用的信息采集实时性技术、画面闪烁的解决和建立合理的数据结构等关键技术。     

卫星测控应用中心远程容灾系统方案设计

随着航天技术的发展,各种卫星如综合侦察卫星、气象与海洋监视卫星、数据与中继卫星等,其数据的信息速率存储、处理的数据量越来越大,对卫星测控应用中心大容量、高速率数据的安全性、可靠性要求也越来越高。在自然灾害,如地震、洪水;人为破坏,如恐怖活动、战争等条件下,确保卫星测控应用中心的安全与快速恢复能力,将非常重要。本文从原理上设计了一套远程数据容灾系统方案,以保证卫星测控应用中心在自然灾害或人为破坏后能够快速恢复其基本功能。分析表明,该方案具有很好的可靠性、安全性。     

飞行器轨迹优化方法综述

飞行器轨迹优化是飞行器总体设计的关键环节,特别是在现代空间飞行器和高超声速飞行器设计过程中发挥着重要作用.在全面调研国内外现有轨迹优化技术的基础上,提出了飞行器轨迹优化新的分类方式,概述了多种飞行器轨迹优化的原理和应用,并详细分析了各自的优缺点和发展趋势.最后介绍了现在实际应用的多种轨迹优化软件.     

某航空企业MES实施战略

ERP、MES综合生产管理系统作为企业综合业务管理系统,主要包括控制物料、设备、人员、流程指令和设施在内的所有工厂资源来提高制造竞争力,提供了一种系统地在统一平台上集成诸如计划管理、文档管理、生产管理、质量管理等功能的方式,从而实现了实时化的EPR/MES/过程控制系统的集成一体化     

冷冲模设计专家

模具是现代工业的基础,与产品的优劣程度息息相关,在制造业中起着举足轻重的作用.虽然我国的模具工业起步较晚,但在最近几年有了飞速的发展,现已被列入国家重点发展行业之列同时一些典型的模具企业已享受到了国家在税收方面实行撓日骱蠓磾的优惠政策.我国的模具市场潜力巨大,但同时也对模具企业的要求也越来越高,短周期、高精密的模具生产已成为模具行业的主流.