AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

基于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）技术进行了对比,在比较不同滤波器性能的同时,验证了组合导航方法的有效性。     

知识Petri网与机器人装配规划

介绍了知识Petri网（KPN），在柔性装配系统中基于KPN机器人装配规划的任务，以及用KPN为机器人装配规划的任务，以及用KPN为机器人装配规划建模和KPN的运行。文中论述了如何建立邻链表、构造KPN，以及最后如何运行KPN，获得最佳装配规划。最后，阐述了基于KPN的机器人装配规划系统中数据库、规划库及推理机的构造。基于KPN的机器人装配规划，与目前常用的机器人装配规划方法，如启发式搜索法AO和线性规划LP法相比，具有如下主要优点：由于将人工智能用于Petri网中，故智能强；适应性强，既适用于整套产品零件同时到达装配站，也适用于各零件分时到达装配站时的规划；算法简单，规划速度快，更适用于在线规划。     

无源无线声表面波压力传感器校准技术研究

声表面波压力传感器是一种新型传感器,它的一大优势是具有无源无线信号传递特性,可以突破传统传感器线缆连接的限制,近年来受到国内外研究机构普遍重视。本文探讨了SAW压力传感器的校准技术,对某种商业传感器进行校准,使用最小二乘法分析校准结果,并进行不确定度评估。校准结果显示该传感器在误差、线性、重复性等方面可满足一定精度要求,通过进一步发展,有望在航天领域得到实际应用。     

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统,具有实时、并发、异步等特性,由于Ｐｅｔｒｉ网模型的图形表述和数学描述,使它既可以采用数学分析,又可以通过图形形象地表述出离散动态系统,故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式,面向对象的模型能帮助对问题的理解,有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上,引入面向对象技术,提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型,并以企业中的一项生产活动——二次电源生产过程为实例,建立了描述这一活动系统的完整的ＯＰＮ模型,真实地反映了系统的动态特性,从而为制造过程建模和分析提供了一个更为有效的工具     

无线寻呼对民航甚高频电台干扰的分析

甚高频电台在民航空中交通管制、航行服务和对空广播通信中起着重要的作用 ,在民航通信导航无线电台站中应用广泛。但是 ,遍布城乡的无线寻呼发射机由于其普遍具有的“三高”特点 (高楼、高塔和高山 ) ,设置集中 ,天线林立 ,功率大 ,2 4小时不间断发射 ;许多发射设备质量低劣 ,使产生的干扰具有信号密集、频谱占有宽、干扰时间长和信号强度大的特点 ,严重污染了电磁环境 ,各种无线电通信业务都深受其害。在 150ＭＨｚ寻呼频段和 1995年以后增加的 2 80ＭＨｚ寻呼频段频率之间 ,很容易产生落入航空无线电频段的互调干扰信号 ,加之在 137～ 13…     

基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ,ＤＥＤＳ）,而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构,文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念,并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析,阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ     

基于小生境遗传算法的航空发动机维修构型控制

为实现航空发动机维修中构型控制,建立了基于Petri网的构型控制描述模型,通过变迁序列的激发求得改型后可能的零件集合,作为后续的约束满足条件,并提出一种基于小生境遗传算法的发动机构型多方案求解方式.     

无线传感器网络定位算法改进

提出了一种建立在TEEN协议基础之上反应式网络的应用.反应式网络是一种对适时性要求较高的网络,用三角定位法对传感器节点进行定位,在定位的基础上,使得簇首节点的选定更为容易,在一定程度上能节省节点能源、延长网络寿命.     

微波无线功率传输中高效率双线极化整流天线设计

本文提出一种适用于微波无线功率传输中高效率双线极化整流天线设计。通过双线极化天线、微带正交耦合器以及整流器集成一体化,线极化入射电磁波将按照极化偏转角分解为水平极化以及垂直极化分量,经由微带正交耦合器完成非均衡至均衡功率再分配机制,满足高效率微波至直流整流器输入功率需求。理论分析与实验结果均验证所提出的双线极化整流天线在任意极化偏转角下仍能保持高效率稳定直流电压输出,满足高性能微波无线功率传输应用需求。