基于Markov过程的导航系统星座可用性分析

卫星导航系统星座可用性分析面临准确性和快速性的矛盾。论文在研究全球卫星导航系统(global navigation satellite system,GNSS)星座可用性分析需求的基础上,系统地定义了导航系统可用性的基本概念,给出了基于分系统部件失效计算导航星座可用性的方法,提出了基于Markov过程的单星可用度算法,建立了基于星座状态概率的服务可用性计算模型,并结合导航基本原理模型得到了导航星座的可用性。最后,基于此方法针对北斗区域卫星导航系统相关数据对其星座可用性进行了仿真和实验分析。结果表明,本文所提方法和模型能够满足卫星导航系统星座可用性分析的特殊需求。

多核乐观并行仿真的负载均衡研究

对于运行于多核计算机、基于多线程实现的乐观并行仿真,虽然操作系统可对线程进行调度以平衡各个核的负载,但它无法控制各逻辑进程本地虚拟时钟的平衡推进。提出了多核乐观并行仿真的四层负载分配模型及一种静态划分与动态负载均衡相结合的负载均衡方案。静态划分使用Metis图划分包对模型实例进行划分;动态负载均衡优先调度本地虚拟时钟较小的逻辑进程以实现各逻辑进程的平衡推进,无须进行模型迁移,易于实现。通过一序列实验检验了所提出的负载均衡方案的有效性。