一种新的并行测试任务调度算法

 并行测试的任务优化调度是并行测试技术的核心问题。为了解决现有调度方法耗时、实际应用范围有限以及缺少对资源冲突和系统死锁的形式化分析等问题,采用赋时有色Petri网(TCPN)建立并行测试任务调度的TCPN模型,基于TCPN模型的可达标识图利用改进蚁群算法求解最优任务调度序列。算法搜索过程中,采用多目标优化,目标函数综合了测试时间、仪器成本和负载平衡度,使得算法更符合工程应用。采用动态标注方法在搜索过程中加大可行解间的信息素差别,避免算法早熟。仿真实例证明该算法是有效的。     

一阶扩展差分方法在测站GPS时间误差修正中的应用

分析了全球定位系统（简称GPS）时间测量原理、时间测定误差和差分误差消除模型,给出了在航天测控站两套GPS授时系统应用一阶差分方法,即站间单差定位方法,减小误差,提高时间准确度的思路方法,并提出了多站站间单差定位的一阶扩展差分模型。该模型可以用来获取测站多套GPS授时系统的精确时间和任意2个系统时钟同步误差比对。     

短波SFH／CPM系统差分相位检测方案的性能分析

文章提出了一种基于Viterbi算法的短波SFH／CPM系统差分相位检测（DPD）的解调方案,运用Matlab建立了短波SFH／CPM系统模型,并在此模型上对该解调方案的误比特率进行了数值仿真。其仿真结果表明：DPD解调方案的误比特率可以达到10^-5～10^-6,能满足短波信道性能的需求。     

高空模拟试验应急管理的Petri网建模及应用

针对我国高空模拟试验的应急管理,构建了一个应急管理工作流策略,并对这个策略进行了Petri网建模.这个模型主要包括应急停车程序和紧急停车程序.应急停车程序以保证被试发动机与试验设备的安全、同时兼顾快速停车为目标,所以主要由一些串行处理环节组成;而紧急停车程序则以快速停车为目标,所以以并行处理环节为主.模型的分析表明:模型具有可达性、合理性、自由选择性、良构性和S可覆盖性.根据这个模型,对某发动机在高空模拟试验时的应急管理进行了演练,获得了完成各个变迁需要的响应时间.分析这些时间数据,找到了在紧急停车程序的应急管理操作中影响整体应急响应时间的关键环节.同时发现,在应急停车程序中,可以根据应急事件的分级在保证发动机和试验设备的安全与应急响应时间之间找到一个折中,最大化应急管理的效果.应急程序的修改和应急培训有效地减少了关键环节的应急响应时间.     

基于序优化理论的晕轨道转移轨道设计

利用晕轨道的稳定流形可以设计从地球到晕轨道的转移轨道。但由于小幅度晕轨道的稳 定流形与地球停泊轨道无法相交,因此需采用两脉冲转移。微分修正法是求解两脉冲转移常 用的优化方法,虽然收敛速度快,但很难获取全局最优解,而且收敛半径小,如果初始猜想 与最优解相差很远,该方法可能会不收敛。将序优化理论与微分修正法相结合,利用序优化 思想缩小搜索空间,得到足够好的初始猜想,然后利用微分修正法快速收敛到满足终端精度 要求的解。仿真结果表明该方法有很好的收敛性,且计算量小。
     

用于快速仿真优化的改进差分进化算法及其应用

提出一种改进的差分进化算法,采用一种“位变”方法计算收缩因子,该方法首先根 据适应值对种群排序,然后根据各个体的排列位置确定收缩因子;采用正态分布函数对算法 参数进行随机扰动来维持种群的多样性;该算法还提出一种新的变异算子,并将其与基本的 差分变异算子结合使用以提高算法的寻优精度。经过对多个Benchmark函数的测试、分析和 比较,结果表明该算法具有较高的收敛精度和较快的收敛速度。最后将该算法用于火箭发动 机涡轮气动优化,以较小的计算成本将涡轮气动效率提高了2.5％。应用结果表明该算法 适用于快速仿真优化问题,能有效地节约计算成本。
     

飞机定检周期变化对维修保障效能影响的仿真研究

飞机定检周期与维修保障效能有着直接而紧密的联系,定检周期的变化会促使内场维修保障产生相应的改变。本文利用Petri net建模技术,构建了维修保障模型,仿真分析定检周期变化对维修保障效能的影响。仿真结果表明:定检周期的延长显著提升了各专业内场维修保障活动的效率及反应能力,缓解了内场维修调度的压力,也为缩减内场编制创造了条件。     

基于微分平滑的欠驱动刚性航天器时间最优轨迹规划研究(英文)

针对非轴对称欠驱动航天器提出了一种新的基于微分平滑特性的时间最优轨迹规划算法。首先,在控制输入受限的约束条件下,对给定的初末姿态,选取航天器机动时间最短为待优化的性能指标。其次,在欠驱动航天器的非受控轴上引入虚拟控制输入,扩展系统的平滑特性,从而使得系统的姿态和控制输入变量均可由平滑输出函数及其各阶导数代数表征;同时为保证优化问题的等价性,引入虚拟控制输入始终为零的附加等式约束。进一步,利用伪谱法离散系统的平滑输出函数,将优化问题最终转化为一个低维的,仅含有代数约束的非线性规划问题,且无需积分求解系统的动态力学方程。仿真结果表明该算法不仅能够有效地减少优化所需的时间,而且运算精度较高。     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.