C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

Petri 网在 C￣3I 系统中的应用

Ｐｅｔｒｉ网最早用作模拟数字计算机的分析工具,是一种图示和数学兼具的模型工具。近１０年来,Ｐｅｔｒｉ网在Ｃ３Ｉ系统中得到广泛应用。介绍了Ｐｅｔｒｉ网的基本概念,综述了Ｐｅｔｒｉ网在Ｃ３Ｉ系统建模、性能分析和系统设计中的应用。     

C^3I仿真演示系统的分析与设计

本文以现代战争的需要为出发点,详细分析了Ｃ＾３Ｉ系统的特点和Ｃ＾３Ｉ系统仿真技术及系统试验床技术,探讨了交互分布式的Ｃ＾３Ｉ仿真系统的理论,并在这些理论和技术的基础上,提出了一个Ｃ＾３Ｉ系统的仿真系统的总体方案,并详细地论述了仿真系统的结构,运行的软件、硬件环境和应用软件的设置,而且基于“面向对象”的观点,综合Ｐｅｔｒｉ网建模技术,探讨了仿具系统建模的实现过程。     

变结构C3I系统指控组织结构的建模与评估

指挥控制组织是Ｃ３Ｉ系统的核心,文章讨论了指控组织的Ｐｅｔｒｉ网建模方法,提出了一种变结构的指控结构模型,并与以往所采用的固定结构的模型相比较对其进行了性能评估     

Petri网在C3I系统建模分析和综合中的应用

近十多年来,Ｐｅｔｒｉ网理论被广泛应用于Ｃ３Ｉ系统的建模分析和综合设计中,并取得了很多成果。本文就这一领域的研究理论进行综述,并对将来的可能发展方向作一展望     

模糊神经时延 Petri 网的信息融合模型

将模糊逻辑与融合技术相结合得到了一种模糊信息融合方法,然后用时延Ｐｅｔｒｉ网对此信息融合系统建模,并给出了信息融合系统反应时间的一个计算公式。然后将人工神经网络应用到时延Ｐｅｔｒｉ网中,提出了一种多传感器信息融合的模糊神经时延Ｐｅｔｒｉ网模型。     

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。     

C^3I系统的软件生产的标准化问题的探讨

在Ｃ＾３Ｉ系统的建设中,软件开发工作是其中的一个重点,同时也是一个难点。 为了解决在软件开发上的高需求和低生产力之间的矛盾,必须高度重视Ｃ＾３Ｉ系统的软件生产的标准化。本文从以下两个方面对如何提高Ｃ＾３Ｉ系统的软件生产标准化的程度进行了阐述：一是建立面向管理的Ｃ＾３Ｉ系统的软件生产的标准化过程;二是建立面向对象的Ｃ＾３Ｉ系统的软件构件库。     

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

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

C~3I系统综合效能模型（上）

根据一般地区防空Ｃ￣３Ｉ系统的特点,从系统总体角度讨论了建立一种Ｃ￣３Ｉ系统综合效能模型的方法,并给出一个模型系统的模块组成及其信息流程。通过模拟计算,可以对Ｃ￣３Ｉ系统进行定量分析和综合评价。与同类系统进行分析比较,具有一定的通用性,对实现Ｃ￣Ｉ系统的程序化设计也很有参考价值。最后,以地区防空Ｃ￣３Ｉ系统为例,对模型的应用作了较详尽的说明。     

基于统计性QoS保证的数据包延时界调度算法

讨论了调度算法的性能指标,对目前基于业务流的调度算法的技术特点与性能优劣进行了分析和比较.重点研究了基于时延和丢包率的算法,并提出了一种基于数据包延时界(PDB)排列的调度策略,与WFQ及传统EDF算法进行了比较,证明业务端到端超时概率随网络带宽利用率的变化性能优于传统EDF算法.     

一种确定火力单元配弹数界的方法

通过分析当空袭目标持续进攻时,防空导弹武器系统的一个火力单元配弹数对其射击效能的三方面的影响,得出火力单元的配弹数是影响其射击效能持续发挥的关键因素;以射击效能为基准,从概率的角度,以空袭目标突防时的配弹数为界限,给出了一种火力单元配弹数界的确定方法.     

防空导弹武器系统的信息处理与通信延迟建模

对武器系统中的信息处理功能单元及其之间的信道通信从时间延迟的角度进行了建模,以便能更好地仿真整个武器系统的功能,并以某防空武器系统为例,对其各处理功能单元及其通信信道的时间延迟模型进行了描述。     

数组越界软件测试系统的设计与实现

软件测试系统的研制是现阶段软件测试领域研究的一个热点.首先针对C/C 语言常见数组越界错误类型进行了分析,介绍了软件测试的一些基本概念,而后给出了软件测试系统设计,对系统设计的各个阶段进行了说明,并且给出了一种错误类型检查的算法设计,它在软件测试检测中具有通用性和代表性,最后给出了软件测试的实验结果.     

一种新的近空间GPS信号多路径估计方法

结合GPS多路径信号模型及其相关函数的特点,在研究基于TK(Teager-Kaiser)算子的近空间多路径估计算法的基础上,提出了一种新的更为简洁的GPS信号近空间的多路径估计算法,并通过仿真验证了算法的有效性。仿真结果表明,该算法能以高分辨率准确地估计GPS信号近空间的多路径模型。     

Iterative coloring extension of a maximum clique

In this paper we present an improved branch and bound algorithm for the vertex coloring problem. The idea is to try to extend the coloring of a maximum clique to its adjacent vertices. If this succeeds, its successive neighbors are considered; in case of failure (i.e., in the case the initial colors are not sufficient), working on the subgraph induced by the maximum clique and its neighborhood, the lower bound is improved by seeking for an optimal coloring of this subgraph by branch and bound. The process is repeated iteratively until the whole graph is examined. The iterative scheme exploits a further lower bound obtained by integrating a simple algorithm into the maximum clique search, and a new method to compute upper bounds on subgraphs. Furthermore, a new branching rule and a method for the selection of the initial maximum clique are presented. Extensive computational results and comparisons with existing exact coloring algorithms on random graphs and benchmarks are given. © 2001 John Wiley & Sons, Inc. Naval Research Logistic 48: 518–550, 2001     

Maximizing the ratio of two convex functions over a convex set

The purpose of this article is to present an algorithm for globally maximizing the ratio of two convex functions f and g over a convex set X. To our knowledge, this is the first algorithm to be proposed for globally solving this problem. The algorithm uses a branch and bound search to guarantee that a global optimal solution is found. While it does not require the functions f and g to be differentiable, it does require that subgradients of g can be calculated efficiently. The main computational effort of the algorithm involves solving a sequence of subproblems that can be solved by convex programming methods. When X is polyhedral, these subproblems can be solved by linear programming procedures. Because of these properties, the algorithm offers a potentially attractive means for globally maximizing ratios of convex functions over convex sets. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

基于TCP协议的远程控制系统网络时延仿真研究

为了能够在同一网络环境下对远程控制系统进行研究,使用结构数组对网络时延进行了仿真。将数据报的信息存放在与其网络时延相对应的结构数组元素中,在每个采样点系统只使用结构数组相应元素中的信息,实现对网络时延的仿真。在基于时间驱动工作方式的控制系统中,可以采用这样的方法进行网络时延仿真。     

舰艇编队防空火力射击冲突问题研究

从建立编队内统一的坐标系入手,利用编队中武器的位置、战术参数和来袭目标的信息,采用系统建模仿真的思想,建立火力射界冲突分析模型。借助于这个模型,通过解命中计算等方法,计算编队中武器的可抗击航路以及连续射界,进而得出其可抗击射界,与武器固有安全射界叠加,确定编队中可以参与抗击来袭目标的武器,并为进一步地探讨编队火力兼容问题,进行火力兼容控制奠定基础。     

具有坐标耦合和处理时滞的二阶离散多智能体系统的一致性

根据系统的拓扑结构、离散步长和旋转矩阵的旋转角,确定系统的渐近行为,给出多智能体系统达成二阶一致性的充要条件。证明了当0是拉普拉斯矩阵的一个简单特征值且离散步长、旋转角小于由代数方程确定的临界值时,会出现渐近一致性。数值模拟结果证明理论结果的正确性。设计了特征参数影响二阶一致性的相关案例,说明特征参数相关结论可为控制理论的一致收敛分析提供重要判据和理论支撑。