星空背景的建模与仿真

提出了一种基于星表数据的建模和仿真方法，模拟在任意观测时刻、任意观测地点观测到的星空背景。利用依巴谷星表，首先经过一系列时间转换，将所提供的在星表历元时刻的恒星位置数据转换到当前指定时刻的位置数据；然后经过一系列空间坐标转换，将恒星视位置坐标统一转换到观测点坐标，得到恒星在指定时刻相对于观测者的视住置；最后利用星空背景建模的结果，绘制出了在不同观测时刻和不同观测地点所观测到的星空背景。     

轴-辐式机场长途巴士线网运营时刻表优化设计

针对轴-辐式机场长途巴士线网的发车时刻问题, 构建时空网络, 分析乘客到达机场的行为与过程; 基于航班起飞时刻, 在乘客的候机与换乘时间上限约束下, 建立巴士时刻表优化模型, 并设计基于矩阵式编码的遗传算法进行求解. 通过分析不同候机与换乘时间上限的组合对运营成本的敏感性, 得出合理的运营时刻表.     

具有时间转换约束的项目网络分析方法研究

提出了修正两阶段算法对具有活动模式时间转换约束的项目网络进行分析,包括寻找关键道路和计算各活动的浮动时差.最后,用一个真实的项目验证了算法的有效性.     

一种基于干扰对齐的多跳网络吞吐量优化模型

干扰对齐(Interference Alignment,IA)由于从信息论的角度提升了系统的频谱利用率,很快被应用到多跳网络中.针对现有基于IA的吞吐量优化模型中存在节点状态约束不充分和于扰对齐衍性缺乏约束的问题,通过对二组会话的节点路径建立分解模型,推导给出了任意会话条件下的节点时间纵向约束条件和于扰对齐可行性约束条件.仿真实验表明,加入节点状态纵向约束条件和干扰对齐可行性约朱后,优化模型的可行域得到有效收缩,干扰对齐可行性得到了保证.     

基于改进的Dijkstra算法的动态最短路计算方法

首先将所研究的时间段进行时段划分, 然后基于每个路段在每个时段内的历史平均速度给出了改进的Dijkstra算法, 它可以给出任意时刻从任意节点位置出发到达任一目的地的行程时间最短的路径及其相应的行程时间; 其次在允许超车行为存在 的条件下将出行者进行分类, 并给出了相应的最短路算法. 论文最后给出了相应的算例验证了算法的可行性.     

敏捷卫星调度的时间约束推理方法

敏捷卫星机动能力的增强带来观测机会的增多和观测时间窗口的增长,具有很大的应用潜能。但管控中由于观测开始时间是一个具有连续值域的变量,传统非敏捷卫星调度问题的组合优化建模方法不再适用。本文介绍了敏捷卫星的时间依赖、可控与不可控事件混合、资源过度受限等特性;给出了时间约束网络概念及敏捷卫星调度中的时间约束推理问题描述;分析时间约束网络与距离图的等价性,借鉴Johnson 算法对稀疏网络的特殊处理,采用重赋权技术,提出针对敏捷卫星调度的改进循环检测算法检查时间约束;建立了分支剪枝搜索算法,以约束规划方式获得时间一致解。最后通过实例验证本文方法的有效性,实验结果表明本文方法能够较好地实现敏捷卫星调度的时间约束的一致性检验和搜索求解。     

延迟D-策略Geo/G/1排队系统的队长分布及容量的优化设计

考虑延迟D-策略离散时间Geo/G/1排队系统, 使用全概率分解技术, 从任意初始状态出发, 研究了队长的瞬态和稳态性质, 推导出了在任意时刻n⁺ 瞬态队长分布的z-变换的递推表达式和稳态队长分布的递推表达式, 并获得稳态队长的随机分解结果, 同时得到了系统在三种任意时刻(n^-, n, n⁺)处稳态队长分布的重要关系. 最后, 通过数值实例, 讨论了稳态队长分布对系统参数的敏感性, 并阐述了获得便于计算的稳态队长分布的表达式在系统容量优化设计中的重要应用价值.     

离散时间有限缓冲空间GI / Geom / 1 / N 工作休假排队系统稳态概率算法及性能分析

综合使用离散补充变量方法和嵌入Markov链技术研究了离散时间有限缓冲空间工作休假GI/Geom/1/N排队系统.首先运用离散补充变量方法给出一个重要等式,从而获得系统在稳态情形下任意时刻队长分布和顾客到达前夕队长分布的迭代关系.然后,再利用嵌入Markov链技术通过求解不变概率测度方程获得顾客到达前夕队长分布的数值解.而后将顾客到达前夕队长分布代入迭代公式求得稳态情形下任意时刻的队长分布.最后给出几个特殊情形下的数值计算实例,并讨论了系统参数对几个主要性能指标的影响.     

具有多重休假和Min(N,V)-策略控制的Geo/G/1离散时间排队

考虑服务员具有多重休假和系统采用min(N,V)-策略控制的离散时间Geo/G/1排队系统,使用全概率分解技术和更新过程理论,研究了系统在任意时刻n+的瞬态队长分布和稳态队长分布,得到了瞬态队长分布的z-变换表达式和稳态队长分布的递推表达式.进一步,得到了系统在时刻点n,n~-和外部观察时刻点的稳态队长分布.特别地,本文直接获得了一些特殊离散时间排队系统相应的结果.最后,通过数值实例阐述了获得便于计算的稳态队长分布的表达式在系统容量设计中的重要价值.     

无线传感器网络中一种关键节点集轮换算法

针对传感器网络多跳通信和多对一的流量特征,提出负载均衡的约束条件,将关键节点集选取问题转化为多目标优化问题,提出一种基于非支配遗传算法的关键节点集轮换算法.通过节点密度控制机制,从投放的节点池中选取关键节点集,以满足监测区域覆盖连通.在每轮网络工作的开始,激活不同的关键节点集,保证在每个时刻,有且仅有一个节点集完成对网络的充分覆盖.仿真结果表明该算法能够快速收敛于最优解,极大化网络关键节点集数目,有效延长网络的生存时间.     

求解有界约束二次规划问题神经网络模型的收敛性分析

通过深化Lasalle不变原理,建立了判别一般动力系统全局收敛性的一个准则.应用这一准则,详尽研究了一个求解有界约束二次规划问题神经网络的全局收敛性,给出了当目标函数为一类非凸函数时的全局收敛性条件.特别地利用常微分方程理论,证明了该网络对任意凸函数全局收敛性,所获结果深化和推广了现有文献相关结论的相应结论.这些新的结论都表明了该神经网络在求解有界约束二次规划问题时的有效性.数值模拟与理论分析结果一致.     

并行工程中时间约束网络建立及冲突检测研究

由于并行工程产品开发过程的复杂性，产品开发过程中存在着大量的时间约束关系，因时间约束关系的违反而千万的过程冲突极易发生，本文提出一种以IDEF3过程模型为基础建立并行工程产品过程的时间约束网络的方法，在将该时间约束网络转化为定量时间约束网络的基础上，提出一种面向定量时间约束网络的冲突检测的方法，基于时间约束网络的冲突检测方法能有效发现并行工程产品开发过程中的过程冲突。     

延迟N-策略Geo/G/1排队系统的队长分布及数值计算

考虑延迟N-策略离散时间Geo/G/1排队系统,使用全概率分解技术,从任意初始状态出发,研究了队长的瞬态和稳态性质,导出了在任意时刻n瞬态队长分布的z-变换的递推表达式和稳态队长分布的递推表达式,以及稳态队长的随机分解.最后,通过数值实例, 讨论了稳态队长分布对系统参数的敏感性,并阐述了获得便于计算的稳态队长分布的表达式在系统容量设计中有重要的价值.     

发电机组组合问题的动态规划法中处理时间约束的受控记时Petri网模型

给出了一种与环境有信息交流的受控记时Petri网系统模型的有关形式语言定义,把这种模型应用于具有时间约束的机组启停状态转换过程,使机组组合的动态规划法每一时段计算费用的状态数小于没有时间约束的该时段机组开停状态组合数,从而既处理了冷、热启动费用和最小启停机时间约束,又减少了计算费用的状态数,将会大大提高算法的效率.     

基于顺轨-交轨InSAR技术的运动舰船目标三维成像

利用顺轨和交轨干涉SAR技术,研究了海面运动舰船目标三维成像问题.完整地介绍了距离徙动校正和二维图像配准方法,提出了将时频分析成像方法和干涉技术相结合的处理思路,利用时频分析方法可以获得三个天线在任意方位时间tk处的目标图像,将任意方位时刻tk处的二维复图像进行干涉处理,由干涉相位计算运动目标散射点的三维空间坐标,实现运动舰船目标三维成像.运动舰船目标的三维图像仿真处理结果,表明了该方法的有效性.     

双代号网络计划中工序机动时间蔓延性研究

工序机动时间特性研究是对项目进度进行科学管理的基础.针对任意工序使用机动时间是否会影响它的前、后继工序和平行工序的问题,即机动时间蔓延性问题,利用机动时间的几类时差,特别是前、后共用时差,提出了基于双代号网络计划的标值算法,证明其正确性,运用该算法量化了单个工序使用机动时间对整个网络计划的影响程度和范围,系统分析了各工序机动时间的变化规律,并修正了时间参数计算公式.     

基于任务时间约束的物流保障网络级联失效抗毁性建模与分析

建立物流保障网络的网络模型,确定保障任务时间约束条件,在此基础上提出物流保障网络级联失效抗毁性模型.通过一个物流保障网络实例,仿真分析任务时间约束对级联失效抗毁性的影响,结果表明任务持续时间对级联失效抗毁性有重要影响:当任务持续时间很短时,级联失效由单任务引起;当任务持续时间很长时,级联失效由多任务引起.     

信息不完备小样本条件下离散DBN参数学习

针对信息不完备小样本条件下离散动态贝叶斯网络参数学习问题,提出约束递归学习算法。该方法通过前向算法建立含有隐藏变量的离散动态贝叶斯网络参数递归估计模型,以当前时刻网络参数为变量,构建均匀分布表示的先验参数约束模型。在此基础上利用优化算法获得近似的Beta分布,将该分布下的先验参数信息加入递归估计模型中完成参数学习。通过无人机动态威胁评估模型验证了该方法的有效性和精确性。     

基于蚁群算法的随机Petri网最优路径序列寻找

根据蚁群算法对SPN进行了一定的扩展,为SPN网络中的变迁增加了过滤和保留信息功能,为库所增加了过滤信息的功能,得出了一种带有记忆性的连续时间随机Petri网(MESPN).当MESPN运行时,利用充足量的托肯在网络中行走并且在行走过程中留下信息素来调整托肯路径的选择,使大量蚂蚁的行走路线不断逼近SPN网中时间延迟更短的变迁序列,最终在最短变迁序列上形成清晰的蚁路,从而在一定程度上解决了复杂SPN网的最优路径寻找问题.该算法充分考虑了每个变迁真正实施时间的概率特性,可以计算任意网型的变迁延迟时间概率分布.仿真结果表明,托肯可以有效地在最短延时路径上形成蚁路并且能够求得从初始库所到网络中任意库所的最短路径.     

基于Skyline的空战仿真数据三维可视化回放研究

对空战仿真数据进行三维可视化回放,直观逼真地还原空战仿真过程,为用户了解空战过程中任意时刻、任意视角和任意目标的信息提供交互工具,对研究空战有着重要意义.设计了基于Skyline的空战态势三维可视化回放实现方法,并对空战仿真数据的压缩存取、目标的动态加裁,标牌显示、带轨迹变化的态势拖放等实现方法,实现了数据的三维可视化回放,并有效提高了态势回放效率.