FK气流纺微机

本文介绍了 FK 微机的控制原理,性能特点及机械结构,着重介绍了 FK微机的控制原理,并简要介绍了它的使用情况。     

用于波音777飞机的主要飞控计算机

飞行控制计算机容错技术本文介绍了在ERA1992年航空电子会议上介绍的波音777的主要飞控计算机。介绍了系统需求软件实施措施,以及容错系统的运行后果,描述了波音777主要飞控计算机系统的整体结构。重点介绍了控制模式和实现一些保护功能的方法。在描述了硬件之后,又描述了软件生命周期过程,包括设计。编码和测试,强调了已实现软件完整性的方法。对容错设计及提供给操作员的优点也作了介绍。用于波音777飞机的主要飞控计算机@刘英华     

ACL模型在训练科目选择中的应用

美国军用手册MIL-HDBK-29612A中在对训练科目选择中介绍了ACL模型的应用,本文对ACL模型进行了简要介绍,并以航空发动机车间维修工作的训练为例,介绍了ACL模型的用法。     

图书推荐

<正>航空书店精品图书推荐《新航空概论》定价:70元《新航空概论》是第一本由航空工业部门组织编写的员工培训教材,不仅介绍了航空器的基础知识和基本飞行原理,还介绍了系统组成和研制生产;不仅介绍单个飞行器的系统科学技术知识,还介绍了航空工业的概念,阐释航空事业的丰富内涵及其社会价值。本书在介绍经典基本知识的同时,尽力补充新     

AFDX交换机的ASIC设计和实现

文章介绍了符合ARINC 664规范第7部分的AFDX交换机的ASIC设计和实现。文章先简单介绍了AFDX交换机的特点以及与商用交换机的区别;着重介绍了AFDX交换机的系统结构和各模块的功能设计;最后介绍了ASIC芯片的设计过程和实现情况。测试结果证明,该交换机芯片满足ARINC 664的各项性能指标,且通过了TechSat ADS2的各项测试用例,同时也可实现器件国产化的需求。     

三维实时动画技术在运载火箭飞行视景仿真中的应用

介绍了三维实时动画技术实现飞行器视景仿真的基本原理,并介绍了如何在SGI图形工作站及OPenGL图形库支持下开发运载火箭飞行视景仿真软件,重点介绍了三维实时动画技术在该系统中的软件实现。     

基于KND1000M的龙门铣床数控改造技术

介绍了X2012龙门铣床数控化改造的方案及实施过程。首先介绍了设备改造前的状况,说明改造的必要性和可行性,然后介绍了本次改造的方案,改造中要注意的几个主要问题。给出了改造原理图,改造后的机械结构示意图总结了改造实施后的效果。     

DA40飞机复合材料结构的修理

介绍了DA40飞机复合材料结构损伤的检测方法、分类等级,总结了修理材料的选择和使用原则,详细介绍了修理中采用的贴补、固化、表面处理工艺,并以2类、3类损伤的修理为例介绍了修理的一般流程。     

面向21世纪的纳米测量技术

介绍了纳米测量的必要性及特殊性,并介绍了几何量纳米测量的基本方法及仪器。     

战略导弹液体推进剂加注定量方式的改进

介绍了液体战略导弹推进剂加注量的定量方式,论述了其存在的问题;提出了改进方向并简要介绍了方案。     

软件可靠性之定量评估方法研究

基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件的可靠性评估。实践表明,本方法简单、可行,对其它领域的软件可靠性评估同样具有参考价值。     

软件体系结构的探讨

软件体系结构是软件工程中的一个新兴研究领域，它与软件工程技术的发展有着密切的关系。首先，从软件工程技术的发展了解软件体系结构研究的必然性；然后，给出软件体系结构的概念描述，介绍有关体系结构研究的内容；最后，举出一个实例。     

一种飞-续-飞随机谱的编制方法及软件

本文介绍了一种飞-续-飞随机谱的编制方法和软件。它以空测的重心过载数据为基础,经过数据处理后,建立对应于每个飞行任务的Markov矩阵。并调整统计平均后的Markov矩阵以保证可得到一个不中断的过载序列。然后从矩阵中抽取半循环序列,构成飞-续-飞随机谱。本文中讨论了矩阵中半循环的随机抽取方法,给出了应用实例。     

基于GJB5000A三级的软件配置管理技术研究

软件配置管理是软件工程的一个重要领域.配置管理的目的是利用配置标识、配置控制、配置状态纪实和配置审核建立和维护工作产品的完整性.有效的软件配置管理活动有助于软件质量的提高.对在GJB5000A研发过程的配置管理技术进行充分研究后,经大量实践,提出一种基于GJB5000A三级标准的软件配置管理解决方案,并将其与GJB5000A进行对比,提供符合性说明.     

软件价值综合评估的一种方法

在以计算机为基础的各种系统中,软件的可靠性在整个系统中占据着十分重要的位置。通过对影响软件价值的因素进行分析,建立了软件价值综合评估体系,采用层次分析法和判断矩阵相结合的方法对软件价值评估的实例进行了综合研究。研究结果表明,该评估方法是切实可行的。     

一种基于UML活动图模型的系统测试方法

UML活动图是基于UML开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件系统测试过程中的一个重要的信息来源.提出了一个基于UML活动图的场景测试方法,给出了生成基本流和备选流的原则,对传统场景法进行了改进,避免了测试场景集数量爆炸.最后重点结合一个实例对该方法进行了论述.     

综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

A safety kernel for traffic light control

The success of kernels for enforcing security in software systems has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of traffic light control. The paper begins with the safety properties for traffic light control and specifies a kernel that maintains the safety properties. An implementation sketch of the kernel in Ada is given and use of the kernel is discussed. The contribution of the paper is a demonstration that a kernel is a feasible and desirable technique for software in a realistic, safety-critical application. The paper also illustrates how formal methods aid the software engineer in constructing and reasoning about such software     

基于UML的网上选课系统的研究与设计

UML统一建模语言,是软件分析设计中的标准语言,可用于软件分析、设计和实现的全过程.通过网上选课系统开发实例,介绍了如何应用UML的方法,设计和开发一个软件模型.实践证明,在基于RUP以体系结构为中心的建模方法的指导下,应用UML丰富的可视化建模元素,可以快速、准确地构建面向对象的应用模型.     

三维视景仿真系统的软硬件开发研究

根据三维视景仿真系统的开发要求,利用软硬件相关知识,建立了一套软件与硬件结合的三维视景仿真开发平台,同时介绍了建立此平台所需的一系列开发软件和要求的硬件支持。着重分析了各个软件适用情况和硬件配置作用,以及根据项目选择合适的开发环境。此开发平台具有计算速度快,运行速度快,硬件平台体积小,软硬件结合灵活的优点。仿真试验得到的运行结果和预期目标的对比,表明此开发平台的设计是合理的,效果是达标的,并且对三维视景仿真系统的进一步开发具有一定的指导意义。