一种基于事件序列的故障树最小割集算法

在系统分析故障树最小割集各种求解算法的基础上,提出了一种故障树事件序列的数据结构,并针对该数据结构,设计了一种高效的故障树最小割集求解算法,并对其替换子算法、复制子算法和消减子算法进行了形式化描述。算法可有效降低最小割集生成中的“组合爆炸”问题,实验结果表明算法具有较好的计算性能。     

电磁场作用下包晶合金定向凝固过程传输模型的建立

建立了二元包晶合金在电磁场作用下定向凝固过程中多场耦合的数学模型,并根据包晶转变不同阶段的特点,提出了包晶转变中固相分数的计算办法。该模型可以计算电磁场作用下包晶合金定向凝固中的流动、传热、传质的过程,为电磁场作用下包晶合金定向凝固过程的数值计算及对实验结果的分析提供理论依据。     

基于信任值的P2P网络访问控制模型

对等网络（P2P）已成为一个非常受欢迎的信息交流的新模式。然而,P2P网络环境的分散的和匿名的特点使得对共享信息的控制变得更加困难,而这是无法通过传统的访问控制方法完成的。首先提出P2P网络环境中的访问控制需求,然后提出了一种基于信任值的P2P网络的访问控制模型。模型整合了信任和推荐模式、公平参与原则和访问控制模式,并将其应用于P2P文件共享系统。仿真分析表明,访问控制模型能够有效识别恶意节点,使P2P网络中合作节点具有较高的成功请求率。     

全数字式操纵负荷系统设计及实现

操纵负荷系统是人在回路仿真系统中的负载模拟装置,它要完成对飞行员十分敏感的驾驶杆力和脚蹬力的仿真,其部件模型的设计满足了操纵负荷系统的通用性。此操纵负荷系统在某型机工程模拟器上的应用测试结果表明,该设计符合直升机飞行模拟器鉴定标准的C级要求。     

一种基于承载效率准则的复合材料机翼结构布局优化方法(英文)

提出一种针对大型复合材料机翼结构的二级布局优化策略。系统级根据结构形变调整设计指标,子系统级优化结构布局以满足系统级约束。将机翼壁板中各种临界失效载荷的接近程度作为评判结构效率的标准,通过将结构效率作为优化目标,保证了所求解问题的连续性。加筋壁板通过等效的正交异性板模拟,并根据能量原理预测总体失稳载荷。讨论了加强筋支持弹性对于蒙皮抵抗局部失稳性能的影响,并通过神经网络代理模型对其进行逼近。采用解析模型对失效特性做出评估,减少了计算资源的占用。最后以一种大型机翼结构的综合优化作为算例,计算结果满足设计要求,验证了该方法的可行性。     

提高机务专业"航空发动机构造"教学效果的思考

结合机务专业"航空发动机构造"课的教学实践,阐述了针对课程特点激发学生学习兴趣、丰富教学手段、优化教学方法、改革作业形式、开展现场教学的重要性及其具体实施办法.首次应用三维虚拟发动机辅助教学、并引入机务维修工作中发动机结构图作为课程作业用图.本研究成果为提高"航空发动机构造"课的教学效果探索出了一套行之有效的方法.     

基于语义相似度计算的航天标准关联度评价

随着航天领域各级各类标准编制数量的逐年递增,相关标准之间的交叉重复制定问题随之而来。为解决该问题,文中通过计算语义相似度的方法开展航天领域标准名称、标准范围及主要内容的关联度评价。算例分析结果表明,该方法可以有效评估标准间的关联程度。     

全样本场合几何分布产品步进应力加速寿命试验TFR模型下的统计分析

本文首次将步加试验中的损伤失效率模型应用于离散型寿命分布场合,给出了TFR模型几何分布产品全样本场合多步步加试验下参数的极大似然估计。并通过一例子来说明方法的可行性。     

应用限制编程的信息模型内在检查方法

提出了一种基于限制编程(Constraint programmmg)的信息模型内在一致性检查方法,重点描述了EXPRESS信息模型的一致性及其检查。EXPRESS语言,作为标准制造数据交换的一个重要部分,广泛地应用于制造与信息业。中提到的一致性检查包括三个步骤：EXPRESS模型形式化,限制满足性问题(CSP)从形式化模型中的抽取和CSP的可满足性测试。本同时揭示了限制编程的一个新的应用领域：模型验证。     

高精度GPS定位的精密电离层模型

在长距离GPS实时动态定位(RTK)过程中,电离层延迟误差是影响定位精度的主要误差源.目前,由于采用全空间电离层模型精度不够,对长距离RTK定位主要采用双差电离层残差内插方式.本文提出一种新的电离层模型.该模型仅对每个卫星轨迹通过的电离层部分进行建模,可适用于高精度GPS定位.采用香港数据,结果表明,该模型可较好地模拟低纬度电离层变化,并可支持GPS厘米级定位精度.