基于Markov链的分布式仿真系统最佳检查点间隔研究

基于HLA的分布式仿真系统作为一类特殊的分布式系统,其容错一般基于回卷恢复实现,在回卷恢复中检查点间隔的不同会对系统性能产生很大的影响。分析了分布式仿真容错与一般分布式系统容错的异同,根据不同仿真进程对仿真结果的重要程度对其进行了分类,定义并利用Markov链分析了采用回卷恢复时分布式仿真系统的可用度,得到了系统最大可用度对应的检查点间隔的求解等式,通过一组试验数据验证了该最佳检查点间隔求解等式的正确性。     

找准症结抓整改 制订措施促正规

近日，黑龙江某预备役炮兵团为进一步提高基层建设水平，对所属营连进行了逐一检查点验，找准制约基层建设发展主要症结和突出矛盾，使基层建设内容，标准逐步得到规范，实现了编实、编细、编精、编强的目标，推动了基层建设的全发展。