结构化装备型号需求论证模式研究

结构化是系统工程分析问题的重要手段。为给装备型号需求论证工程化提供理论依据与技术支撑,对结构化装备型号需求论证模式的相关问题进行了研究。分析了装备型号需求论证流程,界定了装备型号需求论证工作范围,明确了装备型号需求论证的内部流程和外部边界;针对一体化联合作战要求,提出了有指导性的需求论证策略,确保结构化装备型号需求论证模式的科学性;借鉴美军体系结构技术,构建了结构化装备型号需求论证空间,对整个论证空间的结构设计、论证域的划分和各论证环节的论证任务进行了深入研究,从技术角度实现了需求论证过程的结构化。     

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     

函数e^x的性质及应用

在高等数学的学习中有一个应用起来很方便的函数就是e^x,这个函数有极为美好的性质,它是非负的,其导数和原函数都是自身,所以在数学证明中我们可以很方便的用它来构造函数、化简运算等。本文主要阐述e^x在应用方面的一些作用。     

辅助足球视频切分的音频自动分类与分段

视频伴随音轨的自动分类与分段是辅助视频切分的一种有效手段。从足球视频的特征入手,归纳总结出足球视频中三类主要的音频类型,既而提出了基于HMM并且结合一定平滑策略的音频自动分类和分段的框架,在实现音频分类分段的同时完成了足球视频的切分。初步的实验结果验证了该方法的有效性和鲁棒性。