一种提高通用处理模块数据完整性的设计方法

航空电子产品中为了满足高安全等级应用的驻留需求，通用处理模块的数据完整性指标需要达到 Level A（10-9）级。基于当前元器件的可靠性和产品设计的复杂度，产品的数据完整性一般在10-3 到10-5 的水平， 无法满足产品的设计需求。本文提出了一种基于数据锁步的设计方法，该方法可用当前的软硬件资源在工程项 目中设计出满足高完整性要求的产品。     

面向对象的结构试验与分析数据库设计

针对ＣＡＴＡＳ系统中结构试验与分析一体化需求，采用面向对象方法建立了数据模型，给出了数据库的结构体系及数据分布，介绍了ＣＡＴＡＳ数据库在数据安全、数据完整性、访问控制以及查询速度等方面采取的措施。     

空军人才工作管理信息系统的设计

介绍了针对空军人才工作而设计的一套基于SQLServer数据库的管理信息系统,该系统用来实现地方毕业生、国防生等工作的支持。系统中为毕业生与国防生定义了相同的数据表结构,从而简化了数据库操作;通过TdxDBGrid控件实现了方便用户的查询、统计;利用Excel、Word的OLEAutomation实现了灵活的报表输出;利用SQLServer数据库的支持实现了数据完整性和安全性。     

基于DBN效能拟合的舰艇编队作战效能敏感性分析

针对传统的舰艇编队作战效能分析方法中存在的对数据利用不充分、对数据完整性要求较高的问题,提出了基于深度学习的效能拟合方法。从最具有代表性的敏感性分析方法Sobol指数法入手,利用深度学习方法优越的特征学习能力,基于深度信念网络（DBN）构建了效能拟合网络,结合无监督预训练和有监督调优实现了网络训练和参数优化,构建出效能拟合模型。将产生的数据应用于效能分析模型并与完全数据条件下的效能分析结果进行对比,验证了所提出的效能拟合模型对于不完全数据下的作战系统敏感性分析的有效性。     

国际民航组织协作环境下飞行和流量信息概念浅析

为了推动全球未来空管系统的发展,国际民航组织先后制定了《全球空中交通管理运行概念》、《全球空中航行计划》、《全球空管系统需求手册》和《全球航行系统绩效手册》等纲领性文件,确定了未来全球空管系统的发展方向。为了进一步细化未来全球空管系统在飞行和流量信息方面的运行和数据需求,国际民航组织航行委员会下辖的空中交通管理需求和绩效专家组(ATM RPP)经过数年的酝酿,提出了一个可替代现有国际民航组织飞行计划的机制——协作环境下飞行和流量信息(FF-ICE)概念。该概念对包括军民航在内的空中交通管理单位的需求作了通盘考虑,重点放在了飞行和流量信息的数据交换、数据共享、数据完整性和数据保密等     

千兆三余度AFDX 帧管理的形式化建模与验证

为了提升新一代航空电子全双工交换以太网（AFDX）网络的传输速率和余度设计可靠性,在AFDX 网络标准的基础上（ARINC 664 p7）,建立千兆三余度AFDX 网络的帧管理机制模型并进行了形式化建模, 而且实现了AFDX 网络标准中描述的SkewMax 机制。使用UPPAAL 形式化工具对千兆三余度AFDX 网络帧 管理机制进行形式化验证,验证帧管理机制的完整性检查及冗余管理功能的可用性。结果表明,千兆三余度 AFDX 网络帧传输过程中不存在死锁。此外,针对标准AFDX 的冗余管理中一个帧的丢失可能会导致其冗余备 份的丢失的现象,提出在接收端设置一个队列,记录那些比连续帧更晚到达的冗余备份的帧序号,从而减少不 必要的丢帧,提高QoS 和数据完整性。形式化验证的结果可以作为千兆AFDX 网络标准制定和实际应用的参考。     

一种新的基于身份的群体签密方案

在公开的网络通信系统中安全地传送敏感消息时,有时会由于通信双方的权限过于集中而引起欺骗行为,而面向群体的签密方案能解决通信系统中个体的权限过于集中而引起的安全问题.利用基于身份的密码体制和椭圆曲线离散对数问题,提出了一种新的基于身份的群体签密方案.在方案中,任何t个或者多于t个签密组成员相互协作能够生成有效的群签密,少于t个签密组成员则不能生成有效的群签密;任何w个或者多于w个接收组成员相互协作可以验证群签密的合法性及恢复加密的消息.通过对提出的方案进行安全性分析,该方案具有认证性、保密性、数据完整性、不可否认性及不可伪造性等特性.     

MIL-1394b总线的确定性

本文简要介绍了1394总线、1394b标准以及MIL-1394b总线,分析了1394b总线中异步事务对基于循环开始包的等时传输的影响,存在延迟和延迟抖动,满足不了航空航天飞行器数据总线所需要的确定性和数据完整性;进一步详细阐述了AS5643A协议保证MIL-1394b总线确定性的依据:基于1394a标准定义的异步流利用1394标准的强制根节点能力和1394b标准的回路自动检测/断开特征,结合匿名消息头ASM格式,建立基于帧开始包STOF的固定帧率同步机制,预先配置网络拓扑,同时静态分配通道号和带宽采用垂直奇偶校验VPC打造一种TDMA风格的数据总线,保证了MIL-1394b总线用作航天航空飞行器数据总线所需的确定性。     

为中国客户带来更好的技术服务

充满挑战和收获的2010年圆满结束了,瓦尔特在金属加工业可谓全面开花,成绩斐然。在航空航天制造领域,我们参与了多个专业的制造技术论坛,与行业客户进行了充分的交流。在珠海,我们参加了盛大的中国航展,并且在大会的技术论坛上发布了我们用于航空航     

独自放飞——达索公司AVE-D无人验证机实现全自主飞行

今年6月30日,达索飞机公司的一架 AVE-D 无人驾驶验证机在法国土伦附近完成了首次全自主验证飞行,表明达索飞机公司在基本掌握了隐身技术后,又在无人机自主飞行技术方面取得了显著进展。在这些令人刮目相看的技术成就背后,AVE-D 验证机起到了非常重要的作用,同时也为神经元计划的发展铺平了道路。然而,它的研制背景和设计特点却一直鲜为人知,此次自主飞行的成功更是引发了媒体和业界的广泛关注。     

一个基于Domino B／S模式的政府OA系统的构建

简要介绍了一个政府机关OA系统的实现过程,该系统基于LotusDomino/Notes,采用B/S模式进行开发。在文章前半部分介绍了该系统的整体构架和概貌,后半部分介绍了在Web方式下系统代码的实现、Web界面设计、Web登陆表单设计、用户开户等Web方式下系统实现过程中的一些细节问题。     

民用运输机吊挂设计强度要求研究

论述了民用运输机吊挂设计强度要求,并重点阐述了以下几个方面:吊挂初步设计载荷、FBO载荷计算要求、发动机非包容性转子损坏下的适航符合性思路及离散源损伤容限剩余强度评估要求。在这几部分的阐述中,有具体的设计数据及案例,对设计工作有很好的指导作用。     

对工业设计认识的误区

本文就工业设计普及推广工作中遇到的一些认识问题，尤其是对工业设计概念的一些曲解做初步探讨，并分析了相关原因，提出了解决方案。     

民用飞机机身中等开口结构的设计与研究

民用飞机机身的开口设计是飞机设计过程中的重要组成部分,一个成功的机型必须要有优秀的开口设计。以某型飞机为例,详细分析和探讨了机身中等尺寸开口的结构设计过程,具体包括开口载荷分析、相关零部件设计、间隙及阶差设计、密封及表面防护设计等方面的内容。     

减速器课程设计中常见问题及分析

减速器课程设计作为学生在大学学习阶段进行的第一次较全面的设计训练,如何使设计能充分反映课程的主要内容,并有机地结合,如何培养学生的＂设计＂思维和能力,如何理解理论设计和经验设计、理论数据和经验数据及经验公式之间的关系都至关重要。针对在＂减速器课程设计＂中箱内传动零件设计和箱体及附件设计、尺寸标注这三个方面容易出现的问题进行了详细地分析,并提出改进意见,且以实例介绍单级齿轮减速器设计中应该注意的相关问题。     

民航导航设备集中监控系统的设计与实现

介绍了一种采用先进的计算机技术、数据传输技术、智能数据采集等技术构成的集散型导航设备集中监控系统,阐明了系统的开发意义、设计思想、构成和功能,为实现民航导航设备的集中监控提供了可以借鉴的经验。     

直升机薄壁管梁加工技术研究

在直升机设计制造过程中，薄壁长管梁的焊接、机加一直是比较棘手的问题。就某型号直升机薄壁长管梁的焊接、机加问题，从工艺方案设计、工艺参数选择、定位装夹方法等几个方面来寻求解决途径，保证薄壁长管梁的加工精度。     

民用飞机电子设备舱推力回收喷管计算分析

介绍了某型民用飞机电子设备舱排气系统主要组成,排气系统推力回收喷管的工作原理和设计要求,并分别通过理论计算和CFD三维仿真模拟,验证了该推力回收喷管的性能和关键设计尺寸。     

汽车空调风道设计对车内噪声的影响

空调风道的设计与布置合理与否直接影响车内环境的舒适性.风道设计中要求风道的气流噪声必须控制在允许的范围内.风道中压力损失是使得车厢内产生气流噪声的原因之一,在此通过分析风道中产生压力损失的原因和对某汽车整车送风系统的计算流体力学（CFD, Computational Fluid Dynamics）分析和实际测试,说明减小风道压力损失可使车内噪声得到降低.     

飞行模拟器的飞行仿真软件设计

在简要地叙述了飞行模拟器的特点和构成之后，着重对飞行模拟器使用的实时飞行仿真软件的结构设计在开发设计中所应涉及的一些关键问题，如任务分析，功能分解，子系统的划分，模块式分层结构的建立等进行了某些探讨。