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

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

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

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

一种面向对象的Petri网

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

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

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

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

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

基于开源GIS数据的广域小重叠卫星影像定位模型精化

设计了一种适用于大区域、小重叠卫星影像有理多项式模型(RPC)定位精度优化的技术流程,基于开源数字正射影像(DOM)、数字高程模型(DEM)数据和RPC几何模型约束,通过优化尺度不变特征变换(SIFT)特征提取与匹配算法,实现了无像幅约束的控制点和连接点的快速稳健匹配,应用DEM支持下的RPC模型二维区域网方法实现了多景影像RPC模型精度的联合精化。GF-1卫星WFV影像的实验结果表明:在DEM支持下经过区域网平差后,RPC模型的定位精度可达到像素级水平。     

一种基于环路分类和启发式搜索的大围长QC-LDPC码构造新方法

文章通过对QC-LDPC码校验矩阵中的环路进行分类,提出一种检测所有长度小于12的环的无重无漏方法。利用该环路检测方法,提出了一种新的基于启发搜索的大围长QC-LDPC码构造法。该构造法分3步:首先,在无穷大CPM尺寸条件下根据启发策略搜索2条满足围长约束的整数序列;然后,依据设计码率从2条序列中截取若干整数对构成一个移位矩阵;最后,利用最近Zhang提出的理论下界从该移位矩阵中精确计算出使围长不减的CPM尺寸连续取值区间。与Liu-Han方法相比,新方法有2个优点:(1)既可以构造CPM尺寸连续变化的girth-10+QC-LDPC码,也可以构造CPM尺寸连续变化的girth-12 QC-LDPC码;(2)由于新环路检测方法有效提高了序列搜索速度,因此可以构造出设计码率非常高的girth-10+和girth-12 QC-LDPC码。     

一种基于多MPP的多径MESH网络路由协议

提出了一种基于HWMP的多径路由机制-MMG。新机制采用了多径多网关分流的机制,设计了多个父节点路由的方案,有效的降低了根节点拥塞的几率,提高了网络整体负载均衡能力。最后,在NS-2仿真环境下实现了文中所设计的路由机制,并与其原机制协议进行了性能对比。结果表明新的协议能有效避免节点拥塞,具有较好的动态负载均衡能力,性能优于HWMP。     

基于长椭球面波函数去卷积方法的高动态范围太阳射电成像

利用综合孔径射电望远镜对太阳进行观测时,通过对图像中存在的明亮扩展源进行准确建模并移除,可以更好地观测视场内的微弱源并提高图像的动态范围。在射电天文领域,主要利用CLEAN算法对图像中的明亮源进行移除,以显示微弱的背景。然而,使用图像像素作为基函数的CLEAN算法的固有限制导致其对扩展源的建模效果较差。为了克服这种限制,将基于长椭球面波函数（Prolate Spheroidal Wave Functions,PSWF）的去卷积方法应用于太阳射电成像。PSWF最优正交基由脏图中的感兴趣区域（Region of Interest,ROI）和UV覆盖共同决定。为了验证该方法的有效性,基于PSWF正交基对均匀圆环阵观测的太阳射电图像进行去卷积,并从动态范围和保真度两个方面定量化对比了CLEAN算法和基于PSWF正交基方法的性能。基于PSWF正交基去卷积方法剩余脏图中的微弱源更接近真实情况且动态范围更高。     

《航空发动机》征稿简则

1本刊简介《航空发动机》是由中国航空发动机集团有限公司主管、沈阳发动机研究所主办的科技期刊,定位为行业性、专业化和技术类期刊。办刊宗旨为"空、海、陆动力兼顾,重在空海;工程实践与学术研究相结合,重在工程实践"。本刊为中文核心期刊和中国科技核心期刊,并被美国"乌利希国际期刊指南"、波兰"哥白尼索引",中国学术期刊(光盘版)、万方数据—数字化期刊群、中文科技期刊数据库、中国核心期刊(遴选)数据库和中国学术期刊网阵等收录。