军用安全模型扩展及其应用

在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析.扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流关系情况下,允许同职权等级用户交流他们共知的信息,以及高职权等级用户访问低职权等级用户他们之间共知的信息.以数字文档安全管理系统为例对扩展模型应用进行了描述.实例表明扩展模型更适合实际系统对信息流控制的要求.     

面向EUP的军用软件保障机制研究

软件保障是软件密集型装备和系统持续可靠地发挥作战效能的有力保证。从软件保障原则、保障组织和保障过程等方面,研究了面向EUP过程(Enterprise Unified Process,EUP)的军用软件保障机制,初步探讨了在EUP全生命周期中规划、组织和实施军用软件保障的方法。     

多尺度PCA-HOG遥感异源图像匹配算法

针对遥感异源图像匹配中非线性灰度畸变和强噪声干扰问题,提出一种基于主成分分析(Principal Components Analysis,PCA)和方向梯度直方图(Histogram of Oriented Gradients,HOG)的遥感异源图像匹配算法.该算法利用HOG提取图像间的几何结构共性特征,能有效克服异源...     

唐朝兵役制度和后勤制度变迁下的军事审计

唐朝是中国历史上最为强大的王朝之一,其军事实力可谓中国历史的巅峰.唐朝国祚在安史之乱后还延续了150余年,唐朝的兵役制度和后勤制度对其内外军事斗争及政权的发展和延续起到了重要作用.在军事审计的保驾护航之下,唐朝的兵役及后勤制度为其初期开疆拓土与后期定土戡乱均提供了有力支持.本文以唐朝历史的衍进为线索,以唐朝兵役制度和军...     

试论生产社会化与社会主义所有制改革

生产社会化是建立社会主义制度的物质基础。不摘清“生产社会化”的本质特征、客观要求,就不可能对社会主义所有制改革指出正确的发展方向。本文从我国生产社会化实际状况出发,探讨了生产社会化范畴的内涵。外延及本质要求,对社会主义所有制改革提出了具有一定意义和现实作用的见解。     

专家系统与军事应用

以军事专家系统为主线,阐述了专家系统在军事中的应用前景;分析了专家系统的基本情况及国外发展现状,归纳了人工智能与专家系统研究中的八个基础性应用课题;论述了人工智能在火控指控领域中应用的可能性,并提出了我国在人工智能研究中某些应注意的问题。     

分阶段执行策略及其查询处理技术的研究

针对面向对象数据库及其查询的特点 ,提出了查询处理的分阶段执行策略及其数据操作并行执行算法 ,理论分析和模拟结果都验证了它们的实用性和有效性。     

军机驾驶员通讯用语语音信号及其清晰度影响因素分析

建立了军机驾驶员通讯用语词汇库及与故障相关的通讯用语词汇库,并对其中的主要词汇进行了汉语语音语谱分析。对影响军机驾驶员语音清晰度(可懂度)的有关因素——喉头送话器、座舱噪声、塔台录音进行了较详细的分析,得出主要影响因素为喉头送话器和座舱噪声,指出应改进送话器的方向且不能采用常规的固定参数滤波器来滤除座舱噪声。     

On the optimal detection of an underwater intruder in a channel using unmanned underwater vehicles

Given a number of patrollers that are required to detect an intruder in a channel, the channel patrol problem consists of determining the periodic trajectories that the patrollers must trace out so as to maximized the probability of detection of the intruder. We formulate this problem as an optimal control problem. We assume that the patrollers' sensors are imperfect and that their motions are subject to turn‐rate constraints, and that the intruder travels straight down a channel with constant speed. Using discretization of time and space, we approximate the optimal control problem with a large‐scale nonlinear programming problem which we solve to obtain an approximately stationary solution and a corresponding optimized trajectory for each patroller. In numerical tests for one, two, and three underwater patrollers, an underwater intruder, different trajectory constraints, several intruder speeds and other specific parameter choices, we obtain new insight—not easily obtained using simply geometric calculations—into efficient patrol trajectory design under certain conditions for multiple patrollers in a narrow channel where interaction between the patrollers is unavoidable due to their limited turn rate.© 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

基于行为约束的军事信息服务描述及过滤方法

针对传统服务描述模型无法对军事信息服务中服务的使用权限、适用范围等非功能约束信息进行全面、标准化描述的问题,扩展已有web服务通用描述模型,提出了一种基于行为约束的军事信息服务描述模型,以全面支持军事信息服务功能、行为约束和服务质量的描述.在此基础上采用分层匹配思想,在服务发现过程中引入相似度和匹配算法,对行为约束的相...