A strategic model for state compliance verification

The theory of directed graphs and noncooperative games is applied to the problem of verification of State compliance to international treaties on arms control, disarmament and nonproliferation of weapons of mass destruction. Hypothetical treaty violations are formulated in terms of illegal acquisition paths for the accumulation of clandestine weapons, weapons‐grade materials or some other military capability. The paths constitute the illegal strategies of a sovereign State in a two‐person inspection game played against a multi‐ or international Inspectorate charged with compliance verification. The effectiveness of existing or postulated verification measures is quantified in terms of the Inspectorate's expected utility at Nash equilibrium. A prototype software implementation of the methodology and a case study are presented. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 260–271, 2016     

新闻视频数据库基于故事单元的“多线程”管理技术研究

新闻视频关于新闻事件的报道是一种"多线程"的形式,针对这种特性提出了一种基于有向图理论的新闻视频数据库管理方法。研究了故事单元相似关系与图论知识之间的联系,结合最小部分树理论提出了一种将故事单元之间复杂相似关系图简化为"多线程"结构树的新闻视频数据库管理技术。实验显示,这种管理方法对于视频数据库的浏览、检索、摘要等实际需求具有重要的理论意义和应用价值。     

寻找无向图中全部生成树的复合支路和网络撕裂技术

将复合支路和网络撕裂技术用于寻找无向图中全部生成树的算法.给出复合支路的概念、表示方法和运算规则,以及由各个子图的全部生成树得到原图的全部生成树的方法.在图的分解和找树过程中,可以采用并行算法,从而降低了找树算法的复杂性.     

基于竞赛图的海上编队协同作战冲突排序方法

海上编队协同作战中的冲突消解顺序问题能影响编队作战效能。为了确定冲突消解的顺序问题,采用基于综合集成权重的竞赛图方法来表示多种冲突的有序关系,定量化给出了各冲突严重程度的排序结论,不仅为指挥员的决策提供了依据,而且提出了一种有序替代具体数值的定量化分析方法。结果证明,该方法简单、有效。     

基于SOPC的多路并行同步数字信号采集系统设计

针对某型导弹武器装备在线检测系统的需求,以软、硬件可配置的SOPC（System on a Programmable Chip）嵌入式系统为平台,以较少的硬件资源消耗为前提,应用FIFO缓存和直接存储器传输（Direct Memory Access,DMA）技术,设计数据采集系统,实现对20路并行同步数字信号的快速采集,并利用现代DSP技术对采集的信号进行滤波处理,通过USB总线将处理后的信号送到工控机,基于LabVIEW软件在工控机上实现系统的在线检测功能。     

一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

履带装甲车辆采用永磁同步电动机驱动研究

为了提高车辆的机动性能,世界各国纷纷开展电传动系统研究。采用永磁同步电动机控制系统作为电传动车辆的驱动系统是可行方案之一。文中建立了永磁同步电动机控制系统的数学模型,提出了适合于履带车辆电传动系统的电机控制策略与方法,并将永磁同步电动机控制系统在履带车辆电传动中应用进行仿真与分析,最后,给出了永磁同步电动机控制系统在装甲车辆电传动中应用可行的结论。     

The Banzhaf value and communication situations

Myerson 3 and 4 proposed and characterized a modification of the Shapley value in the context of communication situations. In this paper we propose several characterizations of the extension of the Banzhaf value proposed by Owen 7 to communication situations. In particular we characterize this value with the properties of fairness, isolation, and pairwise merging. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

分数阶终端滑模控制器在DTC系统中的应用

针对SVPWM调制的永磁同步电机直接转矩控制系统磁链和转矩波动较大的问题,结合非奇异终端滑模和分数阶微积分理论的特点,设计了一种分数阶非奇异终端滑模控制器。结合直接转矩原理和分数阶微积分理论,对误差进行分数阶微分后与误差之和作为滑模面;根据非奇异终端滑模控制原理,在所设计分数阶滑模面的基础上确定了相应的控制律;利用李亚普诺夫定理证明了滑模面的稳定性和可达性。仿真结果表明,该策略能提高系统的动静态性能,可以进一步抑制磁链和转矩波动。