不确定参数结构特征值问题的概率统计方法和区间分析方法的比较

 基于区间数学理论、灵敏度分析理论、Kronecker代数理论,应用Taylor级数展开、概率摄动技术,提出了具有不确定参数结构的特征值问题的区间分析方法。结合工程实例与传统的概率分析方法进行比较,给出了两种方法的数值解法及各自解法的Kronecker代数形式。数值算例的结果显示了区间分析方法在具有不确定参数结构特征值问题分析中的价值和有效性。     

Investigation on the Thermal Conductivity of 3-Dimensional and 4-Directional Braided Composites

It is vital to choose a factual and reasonable micro-structural model of braided composites for improving the calculating precision of thermal property of 3-D braided composites by finite element method (FEM). On the basis of new microstructure model of braided composites proposed recently, the model of FEM calculation for thermal conductivity of 3-dimennsional and 4-directional braided composites is set up in this paper. The curves of coefficient of effective thermal conductivity versus fiber volume ratio and interior braiding angle are obtained. Furthermore, comparing the results of FEM with the available experimental data,the reasonability and veracity of calculation are confirmed at the same time.     

机电作动系统发展

 机电作动系统是通过控制电动机或电器的运行直接或间接地控制负载的运动,实现控制目标的位置伺服控制的一类系统的总称。针对飞行器用机电作动系统,概述了其应用概况、结构的演化过程、关键技术的发展过程,并就机电作动系统的发展动态做了介绍。在此基础上,提出了飞行器用机电作动系统的研究和发展的一些建议。     

A Nonlinear Sub-grid Scale Model for Compressible Turbulent Flow

本文采用直接过滤的Navier-Stokes方程组作为可压缩湍流大涡模拟控制方程组。方程组中因过滤产生的高阶相关项用Taylor级数展开近似,但仅保留级数的一阶导数项。这样产生的误差相当于丢失了模型的部分耗散作用,本文用一种动力学非线性亚格子模型来补偿丢失的耗散影响。本文根据Caylay-Hamilton定理导出了一个非线性亚格子模型,模型中包含的系数由动力学模式确定。与传统的动力学Smagorinsky模式相比,这种动力学非线性模型(DNM)稳定性更好,且不需要在统计均匀方向进行统计平均来计算模型系数,因此减少了计算开销。本文用这种非线性亚格子模型对绕双椭球高超声速湍流进行了模拟,并将所得结果与实验值、计算值及理论值进行了对比。结果表明,本文模型可以有效地模拟可压缩湍流流场。     

基于过程工程的航空企业建模技术研究与实现

 通过研究国内航空企业建模的需求,探讨现有企业建模方法的不足,提出了基于过程工程的航空企业建模方法。首先针对航空企业的特点,尤其是考虑到航空军工企业对信息安全性的要求,给出了一个六元组表示的航空企业模型,并对航空企业模型的信息安全子模型进行了详细描述;然后研究了基于过程工程的航空企业建模的实现技术,包括企业模型体系、企业建模支持系统等。建立基于过程工程的航空企业模型,以模型为驱动,为航空企业信息系统的建立、实施和重构提供了基础和依据,适应了航空企业对企业模型动态响应性和信息安全性的要求。该研究成果已成功地应用于某大型航空企业两种型号飞机的研制,实践证明所提出的方法是可行和有效的。     

姿态抖动运动单平台LBI无源定位系统的角变化率估计和定位算法研究

 研究了采用长基线干涉仪(LBI)体制的运动单平台无源定位系统受平台姿态抖动影响的问题,指出由于平台姿态的快速无规则变化,相位差变化率(RPDC)方法将难以适用,应当采用目标方位角变化率参数进行定位。基于此,针对三维几何空间,提出了一种RP-LS方法估计目标方位角变化率,继而实现对目标的定位。仿真结果表明,该方法能有效解决LBI体制运动单平台定位系统对姿态抖动的适应问题,实现对目标的快速高精度定位。     

New Cutting Force Modeling Approach for Flat End Mill

A new mechanistic cutting force model for flat end milling using the instantaneous cutting force coefficients is proposed. An in-depth analysis shows that the total cutting forces can be separated into two terms: a nominal component independent of the runout and a perturbation component induced by the runout. The instantaneous value of the nominal component is used to calibrate the cutting force coefficients. With the help of the perturbation component and the cutting force coefficients obtained above, the cutter runout is identified. Based on simulation and experimental results, the validity of the identification approach is demonstrated. The advantage of the proposed method lies in that the calibration performed with data of one cutting test under a specific regime can be applied for a great range of cutting conditions.     

Analytical solutions for Earth discontinuous coverage of satellite constellation with repeating ground tracks

This paper presents an analytical model for calculating the Earth discontinuous coverage of satellite constellation with repeating ground tracks by integrating and extending the application of coverage region and route theory. Specifically, the visibility condition for a ground point is represented as a coverage region in the two-dimension map of visibility properties, and the trajectories of satellites with circular orbits and repeating ground tracks are converted to several inclined lines in t...     

基于IMU/FADS/无线电的火星上升器组合导航方案

以火星采样返回任务中火星表面上升为背景,研究了基于惯性测量单元（Inertial Measurement Unit, IMU）、嵌入式大气数据传感系统（Flush Air Data Sensing System, FADS）和无线电信标的组合导航方法。首先,在传统的IMU导航框架中加入由无线电测量获得的相对距离、速度信息,以及由FADS获取的动压、温度数据,建立了基于IMU、无线电和FADS的导航观测模型;然后,基于无迹卡尔曼滤波（Unscented Kalman Filter, UKF）技术对测量信息进行了融合,并压制了过程噪声和测量噪声,从而对上升器的状态进行了联合估计;最后,在数值仿真中,将UKF与自适应无迹卡尔曼滤波（Adaptive Unscented Kalman Filter, AUKF）技术进行了对比,在比较不同滤波器性能的同时,验证了组合导航方法的有效性。     

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...