并行计算的数据重分配

为提高算法的并行计算性能 ,许多并行程序必须进行数据重分配。数据重分配是在并行计算过程中实现的 ,其开销影响算法的并行性能 ,高效的数据重分配对提高并行计算的性能有重要意义。本文阐述了数据重分配的环形算法 ;提出了数据重分配的蝶网算法 ,并证明了其正确性 ;设计了结构性数据交换方法 ;通过理论和数值实验分析了两种算法的性能     

广义随机Petri网的装备战场抢修建模与分析

将广义随机Petri网(GSPN)的基本理论应用于装备战场抢修系统的建模与分析,考虑装备战场抢修过程中的各种因素,采用Petri网与马尔可夫理论相结合的装备战场抢修系统性能分析方法,为装备战场抢修系统性能的有效评估提供了理论依据.通过实例验证,该方法可用于分析装备抢修系统的时间性能和运作效率,为机关决策层提供参考.     

基于扩展Petri网的防空C~4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。     

网络传媒与军队思想政治工作

网络传媒对军队思想政治工作带来的挑战(一)网络传媒内容的无限性和复杂性,对军队思想政治工作的主旋律带来了挑战,影响了官兵政治信念的坚定性和思想道德的纯洁性。网络传媒不受时间、地点、频道、国界和气候的限制,只要一网相通,轻轻点击鼠标,信息就会迅速地通向那里,并可及时地更新内容,扩大传播的范围和信息量。时下用“铺天盖地”、“应有尽有”来形容网络传媒内容之多一点都不为过。网络传媒的这一特点,使网上的不良信息形成了全方位的时空跨越,国内外敌对势力千方百计地抢占网络阵地,对我实施“柔性颠覆”的图谋。据最新的《国家信息…     

并行离散事件仿真中的DDM机制实现

在并行离散事件仿真系统中实现仿真模型间的互操作机制需要引入类似HLA中定义的声明管理(DM)和数据分发管理(DDM)服务.我们开发的KD-PADSE高性能并行离散事件仿真环境采用谓词断言和对象代理方法在面向对象的并行离散事件仿真系统中实现了基于平行结构和事件调度机制的声明管理(DM)和数据分发管理(DDM)服务.在以千兆以太网互联的10节点Linux集群计算机上,采用DDM机制后仿真模型每秒(物理时间)可以进行1万次属性更新,是没有采用DDM机制时的20倍,在功能性和性能上验证了该DDM机制在并行离散事件仿真系统中的适用性.     

基于任务和角色的工作流系统权限控制

工作流系统权限管理的权限控制是工作流的重要因素.对传统的访问控制权限进行改进,在基于角色和任务的工作流权限管理系统中将任务与组织、时间进行关联,并使用Petri网来对工作流进行建模,在工作流推进的不同时段,采用不同的存取权限表来实现权限控制,为工作流的权限管理提出一种新的思路.     

C~3I仿真系统的设计原则与方法

本文以一个正在设计开发的C3I作战效能仿真演示系统为背景 ,概括了C3I仿真系统的设计原则 ,提出从仿真环境设计和仿真系统设计两个方面进行C3I仿真系统的开发。在此基础上 ,本文提出了一种基于Petri网的面向对象模型描述语言OPDL ,设计了支持OPDL语言建模、执行、演示的仿真环境 ,并给出了C3I作战效能仿真演示系统的总体结构。     

炮兵C^3I系统需求的功能分析及Petir网表示

本文介绍了炮兵Ｃ＾３Ｉ系统需求的功能分析及Ｐｅｔｉｒ网,并具体描述了炮兵自动化指挥系统的功能分析并用Ｐｅｔｉｒ网表示。     

弧连通空间与收敛类

本文利用收敛类的理论刻划弧连空间,并得到:集合X上具有F性质的子集簇(?)确定了X的一个收敛类(?),则(?)诱导出的拓扑空间(X,(?)-(?))是弧连通的;反之,每一个弧连空间(X,(?)都可以由集合X的一个收敛类诱导出来。