基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

正态逼近与基于覆盖宽度的EM估计

提出了非正态分布的有限混合正态分布的逼近思路.为了解决混合正态分布中正态分布个数的确定问题,针对基于极大似然估计的期望最大化(EM,Expectation Maximization)算法,提出了最大覆盖宽度的定阶原则.实证结果表明该方法的可行性.在阶数确定上,最大覆盖准则要优于赤池信息准则,而在宽度计算中,对于最大均值和最小均值的基于标准差的权重调整是必要的.     

基于dSPACE的频率特性测试与模型辨识研究

为了满足伺服控制系统设计需要,提出了一种利用dSPACE系统对被测对象进行频率特性测试与模型辨识的方法,对该方法所使用的激励信号与响应数据处理进行了研究。利用dSPACE硬件平台产生离散正弦扫频信号,利用软件合成的方法实现相关分析运算,使用Matlab进行数据处理,完成被测对象频率特性曲线绘制,采用Levy方法进行了模型辨识。应用结果表明,该方法使用方便,对传递函数具有较高的辨识精度,可以为控制算法设计提供理论依据。     

大功率多相变频驱动系统设计

与传统三相变频器相比,大功率多相变频驱动系统在功率不变的情况下可以通过增加相数降低电压,并在极短时间内进行飞车起动、在缺相情况下进行并网、旁路运行。整个系统具有安全可靠、系统效率高、低振动、低噪声、低成本、节能环保等优点。对高低压转换星型多相变频驱动系统拓扑结构进行了详细说明,对大功率多相变频驱动系统进行了参数与结构设计,并通过工程样机测试验证,依据数据分析、试验结果、现场运行验证了该产品的先进性。     

飞机结构有限元分析中分布载荷的离散化处理算法

飞机结构设计中,需要对两类分布载荷数据进行处理:一类是已经由上游专业做过离散化处理,以网格形式提供的数据,例如翼面、舱门等的气动载荷,机体结构、燃油、设备、商载等的惯性载荷;另一类是以均布或线性分布等较为简单分布形式作用的载荷,例如增压舱、燃油箱等结构的压差载荷。针对飞机结构设计中需要进行离散化处理的两种不同类型载荷数据,分别对三类典型单元(三角形、矩形和四边形)的等效结点载荷移置处理算法进行研究,根据能量等效原则,利用薄板弯曲单元的理论,提出分布载荷离散化处理的算法,并对实际应用中舍弃结点载荷力矩分量处理方法的合理性进行说明,并通过算例验证,证明所提出的算法可在实际工程中推广应用。     

All-Electric Aircraft Nose Wheel Steering System with Two Worm Gears

As all-electric aircraft has many advantages,an aircraft nose wheel steering system would be developed to the all-electric direction.Concerning the control demand of the nose wheel steering system,based on the basic principles of nose wheel steering system and the design technique of mechanotronics,an all-electric aircraft nose wheel steering system,composed of a nose wheel steering mechanism of two worm gear and a control servo system of fly-by-wire with both steering and anti-shimmy functions is designed to meet the demand for operation control in the nose wheel steering system.Then,based on the LMS-AMESim software,the simulation model of the system is established to simulate the dynamics for the verification of its steering function.The simulation results indicate that the nose wheel steering system is reasonable,and can meet the requirements of the general project.Furthermore,the prototypes of the steering mechanism and control system are studied to validate the design,and the steering test bench is prepared to test the designed system.The test results,such as steer angle,rotate speed of motor are analyzed in details and compared with the theoretical results.The analysis and comparison results show that the design is reasonable and the property of the prototype can achieve the design objectives.     

无人机动力装置的现状与发展

分析了多种无人机动力装置的应用情况;根据无人机动力的发展趋势和需要,提出了发展无人机动力装置的一些看法。     

含铝复合固体推进剂液体喷射熄火研究

本文对含铝 18.5%、 16%的 PU和 HTPB推进剂进行了液体喷射熄火研究。结果表明:可靠熄火用液量随推进剂能量增加而增加;随着射流压降的增加,熄火速率和用液量分别增加和减少;燃烧室压强升高,用液量增加;除熄火用液量外,存在一个无因次参数,它综合反映了推进剂能量和燃速特性、喷射工况、液体性质、燃烧压强等对熄火过程的作用。      

测量与预测二维不可压湍流附面层分离

采用激光多普勒技术测量了二维扩压器中可压湍流附面层分离流动 ,得到了时均速度和湍流量 ;表面摩擦系数沿程分布及时均速度分布与经验关系式做了比较。预测中应用准同时粘性 /无粘流匹配模型 ,并比较了两种形状因子 H1=H1( H)的经验关系所得的预测结果。在最大反流以前 ,所预测的附面层特征与实验吻合。     

非线性非高斯模型的高斯和PHD滤波算法(英文)

A new multi-target filtering algorithm, termed as the Gaussian sum probability hypothesis density （GSPHD） filter, is proposed for nonlinear non-Gaussian tracking models. Provided that the initial prior intensity of the states is Gaussian or can be identified as a Gaussian sum, the analytical results of the algorithm show that the posterior intensity at any subsequent time step remains a Gaussian sum under the assumption that the state noise, the measurement noise, target spawn intensity, new target birth intensity, target survival probability, and detection probability are all Gaussian sums. The analysis also shows that the existing Gaussian mixture probability hypothesis density （GMPHD） filter, which is unsuitable for handling the non-Gaussian noise cases, is no more than a special case of the proposed algorithm, which fills the shortage of incapability of treating non-Gaussian noise. The multi-target tracking simulation results verify the effectiveness of the proposed GSPHD.