Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.     

圆极化天线在远场条件下的测试方法

在微波暗室远场条件下,设计了一种利用线极化天线测量圆极化天线的方法.基于圆极化波的分解理论,利用线极化天线进行两次正交测量,所得结果通过公式换算,得到圆极化天线的方向性图和增益.通过多次对圆极化天线进行实际测试,验证了此方法的有效性,满足了实际应用的需要.     

混合电路故障诊断中的状态分割法

在故障字典法和离散事件系统(DES, Discrete Event System)离线诊断模型的基础上,提出一种对混合电路统一建模的方法:状态分割法.围绕系统状态和状态的划分之间的关系,以数学分析为主,提出交叉交运算的定义,证明了交叉交运算在划分集上的封闭性以及该运算是划分集上的划分积等性质.借用DES离线诊断模型的建模思想,提出系统的可诊断性定义,利用交叉交运算的性质证明了最小现象集存在并可达的结论.以故障现象分割系统状态集合的方式来定位系统所处的故障状态,把故障字典法和DES离线诊断模型统一起来,指出了状态分割法的通用性.      

移动测量系统的三维数据采集与建模

介绍了一种基于距离数据重构立体图像的三维户外信息移动采集系统。该系统在车辆顶端安置两个激光扫描测距仪,分别采集横向和纵向数据。这种移动测量系统通过代价函数的计算和距离剖面匹配使得重建图像的精度和效率大大提高。     

基于Web服务的VHE平台

第三代移动通信技术提出了虚拟归属环境VHE(Virtual Home Environment)的概念,允许 个人业务环境的无缝漫游,使用户能在任何地方通过任何终端和网络访问个性化的业务.分析了VHE业务平台的基本功能需求,利用Web服务技术的架构,提出一种面向服务的VHE平台——WSEVHEP(Web Services Enabled VHE Platform),平台本身和第三方的业务均以Web服务的形式发布.提出了VHE服务的框架和流程,主要流程包括服务的发现、订购和执行.该平台实现了VHE的基本特性,满足了用户对移动性的要求,适合构建移动互联网的VHE业务平台.      

数控蒙皮横拉机运动分析与仿真控制

进行了某数控蒙皮横拉机的机构分析,开发了机构运动反解软件.并在UG软件中进行了机构的运动建模与计算机仿真.运动反解与计算机仿真的相互验证,确定运动反解软件的准确性.实现了拉形过程有限元模拟与拉形机作动筒伸缩控制的结合,为该设备的精确控制及效能发挥提供了技术基础.      

基于能力的工作流任务组织化

为解决一般工作流模型中"活动-成员"的紧耦合链,改进任务分配的柔性和适应性,提出了工作流活动和成员的能力概念.描述了能力本体模型和基于能力的任务组织化原则,建立了"活动-能力-成员"三层结构的过程元模型,给出了一系列能力匹配策略的形式化描述.上述概念和方法在开放边界工作流系统ABCflow中得到应用和验证.      

学生成绩随机后台查询系统

本文分析了ＷＩＮＤＯＷＳ９５的通信体系结构,并将ＶＩＳＵＡＬ ＶＯＩＣＥ ＦＯＲ ＴＡＰＩ控件,通过ＶＩＮＤＯＷＳ９５支持的ＯＬＥ（对象的链接与嵌入）机制,将它嵌入到由ＶＩＳＵＡＬ ＢＡＳＩＣ开发的应用程序中,从而实现了学生成绩随机后台查询。     

BP神经网络理论在模型修正的应用

神经网络由于其本身具有的优越性,已广泛应用于各个领域中的分类、联想问题。将神经网络理论用于对利用有限元分析方法得到的系统模型进行修正,从计算结果看,该方法收敛速度快且收敛到全局最优解。     

基于试验气动力的弹性飞机舵面效率分析

基于非线性试验气动力和线性理论气动力对某飞机进行了气动导数和飞行载荷计算,分析了舵面操纵效率受气动力类型、飞行动压和迎角的影响,重点研究了舵面操纵效率、舵面操纵反效与翼面弹性载荷、弹性压差分布以及弹性气动压心之间的关系。研究表明：使用非线性试验气动力和线性理论气动力所分析得到的舵面效率具有较大的差别;受到结构弹性变形的影响,随着飞行动压的增加,舵面的操纵效率不断下降,副翼甚至会出现操纵反效现象;在使用非线性试验气动力进行分析时,飞行迎角对于舵面操纵效率具有较大的影响,这是在使用线性理论气动力进行分析时所不能考虑的。