面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

Active Design Method of Tooth Profiles for Cycloid Drive Based on Meshing Efficiency

An active design method of tooth profiles for cycloid gears based on their meshing efficiency is proposed.This method takes the meshing efficiency as one of the design variables to determine the tooth profiles. The calculation method for the meshing efficiency of planetary transmission is analyzed and the equation of the meshing efficiency is deduced. Relationships between the meshing efficiency,the radius of the pin wheel and the eccentric distance are revealed. The design constraint quations and the strength constraint quations are deduced. On the basis of this,a design procedure is laid out. Some examples using different input parameters are conducted to demonstrate the feasibility of the approach. A dynamic simulation of the rigid-flexible coupling of cycloid gears is also presented. The results show that the proposed design method is more flexible to control the tooth profiles by changing the input values of the transmission efficiency.     

基于卷积门控循环网络的滚动轴承故障诊断

针对许多基于深度学习的滚动轴承故障诊断方法在小样本数据集下诊断性能下降的问题,提出一种基于卷积门控循环神经网络的轴承故障诊断模型。该模型使用两层的卷积网络来从输入信号中提取特征,同时使用tanh函数作为激活函数,且池化层使用大池化核来进行重叠下采样。将所提取得到的高层特征连接到双向门控循环网络。合并循环网络正向和逆向的最后一个状态,并连接一层全连接层进行输出。选用凯斯西储大学的轴承故障数据集来验证模型在小样本数据集下的诊断性能,实验结果表明,相比于其他类型的模型,该模型在仅有20个训练样本的情况下依然保持97%的识别准确率。      

反推力装置运动学与动力学仿真

为了研究叶栅式反推力装置各部件在工作过程中的运动学与动力学特性,根据机构运动原理对反推力装置进行简化并建立了运动学与动力学数学模型。以滑动整流罩位移与阻流门所受气动负荷为输入进行运动学与动力学仿真,得到了反推力装置各部件的位移、速度及受力特性曲线,并对比分析了在不同尺寸参数下各部件特征点的运动轨迹和反推力装置负载力变化。结果表明:运动学及动力学仿真结果与工程实际相符；反推力装置机构参数选择不合理时,各设计点会发生干涉现象并导致机构无法运动;机构参数变化对负载力最大值影响尤为突出,在阻流门AC段长度值增大6%,阻流门CB段长度值减小9%的情况下,负载力正向最大值将增大19.53%,负向最大值增大12.67%。研究方法及研究结果可为反推力装置运动学及动力学分析,以及为反推力装置机构优化设计提供参考。      

FDI飞机舵面损伤故障全局检测的非线性数学模型

阐述了飞机在单舵面损伤故障下 ,建立故障状态下的数学模型 ,以及同样输入条件下飞机正常运动时的数学模型 ,得到飞机在相同飞行条件下损伤时的气动系数和无损伤正常时的气动系数 ,最终得到气动系数的残差。这将为以后飞机过载残差和角加速度残差奠定基础。论文中结合一定的算例给予证实推论的正确性。     

预测悬停旋翼跨音速流动的一种组合自由尾流/CFD方法

一种新的组合自由尾流 / CFD方法用于悬停旋翼流动的 CFD解中以考虑实际尾流的作用 .用文中描述的尾流分析方法研究了螺旋尖涡的运动 .首先从广义尾流模型开始 ,用半经验公式模化了涡核对旋翼尾流的作用 ;然后在环量收敛和尾迹收敛的条件下完成了自由尾迹计算 ;最后应用 Jameson有限体积龙格 -库塔推进格式求解了欧拉方程 .所得结果与相关文献和实验数据进行了比较     

国外质量管理实践和理论的发展研究

对国外质量管理实践及理论的发展进行了研究，列举了美国和日本质量管理的特点，并提出国企开展质量管理的思路，以供参考。     

IC制造中平坦化技术的性能与分析

表面平整化技术是半导体工业的关键技术,在一定程度上制约着半导体芯片集成技术的发展,针对多层立体布线的IC全局平坦化技术,介绍了代表当今平整化技术及其未来的发展方向,其中一些技术会取代传统的CMP技术而成为IC产业的主导技术之一;叙述了超大规模集成电路(ULSI)的发展对全局平整化的具体要求;对传统的CMP技术的特点进行了分析;并论述了当今主流的IC平整化技术的原理、性能以及未来的发展方向。     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

面向高速切削加工的数控编程技术

分析高速切削加工所具有的特殊性及优点,并说明高速切削对数控编程方法的限制.针对传统编程方法,提出了满足高速切削加工的刀位轨迹特殊处理关键技术,并对其实现方法进行了较详尽的论述.同时,对高速切削数控编程中刀具载荷分析与速率优化、毛坯残留量自动分析等新技术的实现方法也进行了探讨.