Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

瞬态气动模拟加热控制中的快速高精度"E-T"转换

为了准确模拟飞行器在高速飞行时的瞬态气动加热状态,必须使用快速、高精度的计算机瞬态热能控制系统,对气动模拟试验的加热过程,实行快速、高精度的非线性动态控制.为此,传感器的快速、高精度"E-T"转换是一个必须解决的非常重要的问题.提出一种高速飞行器瞬态气动加热控制系统中传感器的快速、高精度"E-T"转换方法.该方法具有计算简单、转换速度快、校正精度高的优点,使用该方法实现了高速飞行器气动加热过程中温度场高速变化状态下的瞬态非线性动态控制.     

研究用现场数据估计系统可靠性参数置信区间

研究用元部件现场信息估计系统可靠性参数,如系统可靠度、可靠寿命等区间估计问题。文中提出了一种新的估计方法——替换百分点法,并运用Monte Carlo数字仿真对估计的置信度和精度进行了分析,研究结果表明此方法具有工程应用价值。     

基于参数化模型和遗传算法的复合材料加筋壁板结构选型优化研究

针对复合材料加筋壁板的结构优化选型问题,采用辅助层压板和添加极小弹性模量材料的复合材料加筋壁板有限元建模方法,应用PATRAN/NASTRAN的参数化建模功能和遗传算法相结合的复合材料加筋壁板的优化方法,对5种复合材料结构形式进行了从2000N/mm到6000N/mm压缩载荷下的结构优化分析。结果表明,当载荷小于4500N/mm时,最有效的加筋壁板结构型式为J型;当压缩载荷大于4500N/mm时,最有效的加筋壁板结构型式为I型。     

Modeling novel methodologies for unmanned aerial systems–Applications to the UAS-S4 Ehecatl and the UAS-S45 Bálaam

The rising demand for Unmanned Aerial Systems(UASs) to perform tasks in hostile environments has emphasized the need for their simulation models for the preliminary evaluations of their missions. The efficiency of the UAS model is directly related to its capacity to estimate its flight dynamics with minimum computational resources. The literature describes several techniques to estimate accurate aircraft flight dynamics. Most of them are based on system identification. This paper presents an alternative methodology to obtain complete model of the S4 and S45 unmanned aerial systems. The UAS-S4 and the UAS-S45 models were divided into four sub-models, each corresponding to a specific discipline: aerodynamics, propulsion, mass and inertia, and actuator. The‘‘aerodynamic" sub-model was built using the Fderivatives in-house code, which is an improvement of the classical DATCOM procedure. The ‘‘propulsion" sub-model was obtained by coupling a two-stroke engine model based on the ideal Otto cycle and a Blade Element Theory(BET) analysis of the propeller. The ‘‘mass and the inertia" sub-model was designed utilizing the Raymer and DATCOM methodologies. A sub-model of an actuator using servomotor characteristics was employed to complete the model. The total model was then checked by validation of each submodel with numerical and experimental data. The results indicate that the obtained model was accurate and could be used to design a flight simulator.     

直流电机网络控制系统仿真

对直流电机网络闭环控制系统进行仿真分析,根据电机网络闭环控制系统原理建立仿真模型。对具有数据丢包的直流电机网络伺服控制系统输出响应特性进行仿真,比较系统分别采用PI控制及增益,可调PI控制方式时的输出特性。结果表明,相比常规PI控制增益可调PI控制方法在网络环境下具有更好的控制特性。该研究为网络伺服控制技术提供可靠的参考依据。     

煤矿监测监控系统数据集成模式

从煤矿监测监控系统的实际出发,分析国内外煤矿监测监控系统的发展现状和局限性,论述用高新技术改造我国传统煤矿监测监控系统的可行性和必要性,然后从监测监控系统的结构角度,分析煤矿监控系统现阶段的发展主流和未来的发展趋势,并最终提出相应的信息数据集成技术方案。     

AADL在航天器控制系统设计中的应用研究

以某型号航天器为例提出了一种使用体系结构分析和设计语言(AADL,architecture analysis & design language)分层次建模的方法,建立控制系统软件及软件与硬件之间的交互模型.采用状态自动机方式描述串口通信协议,以便分析模型.     

数字化技术在叶轮研制中的应用

本文通过分析归纳建立了一种叶轮数字化建模方法，并利用该方法成功实现了某型叶轮三维模型创建，同时也根据该数字化模型实现了模具数字化设计及其数控加工。     

双框架飞机蒙皮检测机器人切换运动控制方法

针对一种双框架飞机蒙皮检测机器人,通过分析该机器人在飞机表面上的受力情况,在飞机表面该机器人受到了非完整约束,基于牛顿-欧拉法建立了机器人非完整约束动力学模型。根据机器人机械结构和运动步态分析,将该非完整机器人系统分为子系统A和子系统B。为了实现机器人在飞机表面运动,采用反演技术和快速Terminal滑模控制相结合的思想对系统设计了控制器,提出了一种反演-滑模控制方法;对于非完整机器人子系统A和子系统B,设计了一种基于事件驱动的切换策略,实现了机器人对期望轨迹的全局渐近跟踪,并利用Lyapunov稳定性证明系统的跟踪误差收敛。仿真和试验表明,采用该切换策略和反演-滑模控制方法,双框架飞机蒙皮检测机器人可以在飞机表面自由运动并进行损伤检测,具有良好的可靠性和稳定性。