基于带权时间Petri网的工作流建模研究及应用

文章提出了一种带权的时间工作流概念,建立了带权时间工作流模型WTPWF-Net(带权时间工作流网络),给出了其元模型和过程模型,给出了从工作流概念到模型元素之间的映射方法,并利用本模型对某公司的物资管理系统的业务流程进行了实际运用,良好的运行效果验证了该模型的可行性和有效性。     

无缆飞行器的电能和信息一体化无线传输技术研究

针对航天飞行器电气设备间连接电缆网复杂沉重的问题,提出了一种面向无缆飞行器的电能和信息一体化无线传输技术方案,该方案能够实现飞行器舱内仪器设备间无线互联和器地间的无线互联;分析了其在飞行器型号工程应用所面临的关键技术,并阐述了其应用前景,为未来航天飞行器电气系统的快速集成设计提供了新的思路和解决途径。     

协同维修过程的合成Petri网建模与分析

针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采用三参数的数组来描述不确定维修时间,引入活动图形来描述协同关系和建立共享资源控制网来约束资源派遣次序.给出了协同维修过程合成Petri网构造算法.解决了协同维修过程分析中3大难点,合理表述了协同维修活动依赖关系,实现了对协同维修过程的规范化描述.实例分析表明该模型能够帮助维修工程部门预测维修完工时间和把握工序衔接的时机,并提出共享资源优化配置的建议.      

基于Petri网的交通运输网络最短路径算法

首先阐述了Petri网的基本原理,在此基础上利用"Petri网仿真器"建立交通运输网络模型,通过具有并发机制的编程语言来实现求交通运输网络最短路径的基本算法,然后针对该基本算法存在的缺陷,在假设前提下,提出了改进的仿真算法。     

一种实用的边缘强度互相关匹配可信度分析方法

匹配可信度是衡量匹配质量的重要指标，针对归一化边缘强度互相关匹配算法，研究了基于神经网络的匹配可信度判别方法。通过对参考图进行加噪实验获得训练样本，对BP网络进行训练，并将训练后的网络用于匹配可信度的判别。针对实际卫片与航片图像对的实验结果，平均判决正确率达到90％以上，证实了该方法的有效性。     

采用超声波电机的空间飞网自适应收口机构设计

介绍了一种采用超声波电机作为驱动源的空间飞网自适应收口机构（质量块）的设计及实现方法。通过分析捕获过程中质量块运动情况,研究超声波电机电流与负载的关系,确定以加速度信号和电流信号作为电机启动和停止的触发信号,在此基础上设计并实现了质量块的驱动控制系统。通过在电机输出轴与卷筒间加入差动轮系构成双卷筒机构,力学分析证实了该机构在负载不均衡情况下的自适应性。分析证明该机构使飞网的捕获操作对捕获平台的精度要求降低,有容错能力。同时使收口机构在部分质量块故障时也能完成捕获任务。     

基于DSPN的航天器系统级可测试性指标确定方法

为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。     

SCPS-TP协议用于LEO卫星网的性能分析与改进

SCPS-TP是空间通信传输协议,可用于卫星网络。为分析SCPS-TP在LEO卫星网中的性能和选择合适的拥塞避免机制,进行原理分析和仿真实验。在LEO卫星网中的典型时延和误比特率条件下,SCPS-TP协议采用Ve-gas机制比Van Jacobson机制能达到更好的性能。但LEO卫星网中存在的切换和路径改变情况会严重降低Vegas机制的性能。对此提出一种利用SCPS-NP包头信息感知路径变化和更新时延基准的改进方法,具有较好的可实现性。仿真结果表明,此举能明显提高SCPS-TP协议在LEO卫星网路径改变时的性能。     

基于合同网的分布式卫星系统任务优化分配研究

面向未来分布式卫星系统(DSS)自主协作运行模式,对DSS任务协作中的优化分配问题进行了分析和描述,提出了基于协商的任务优化分配体系结构,并由此给出任务组的概念,通过集覆盖理论将任务分配问题转化为集覆盖问题.从而引入合同网协议,以系统完成任务目标的总耗能最少为原则,加入限定卫星可回应任务数的约束后,提出了一种基于合同网的严格启发式优化分配算法对问题进行求解.同时,证明了算法搜索结果的上确界;分析了算法的收敛性和时间复杂度.该算法具有分布性,搜索空间缩减快,适合于中小规模问题的任务分配.     

移动量化的 AODV 路由协议的研究

Adhoc网是一个移动节点之间相互通信和协作,不依赖任何固定基础设施的无线网络.在这种网络中,无线链路因为节点频繁移动而受到破坏,Adhoc网络有一些专门的路由协议如 DSR 和 AODV 等.这些协议对于弱移动性的情况是十分有效的,但在高移动性的情况下会降低性能.因此,考虑移动的有效性和准确性是十分必要的.文章在 AODV 协议的基础上提出改进方法,是为了建立更稳定的源/目的节点路径对,定期对节点移动性进行量化,称为 MQ-AODV 路由协议,来改善高移动性移动自组网的性能.使用 OPNET 模拟器,根据网络仿真结果显示,文章提出的方案比原协议提高了分组投递率,减少了网络开销,提高了链路的可靠性