水声网络冲突避免MAC协议的研究和优化

在UW-CSMA/CA协议的基础上,针对水声网络的特点,在节点位置未知且不要求各节点时间同步的前提下,提出了对静默算法、退避算法和状态转移规则的改进算法,设计了一种适合于水声多跳网络的MACAPU协议。仿真结果表明:MACAPU协议在不同数据包长度、不同通信速率和不同节点距离下均具有较高的吞吐量,比原始UW-CSMA/CA协议具有更好的性能。     

JavaKBB:集成框架与产生式规则的专家系统工具

描述了一个专家系统工具JavaKBB,其目标是设计一个容易使用、方便扩展的专家系统开发工具,可以同时表示领域概念知识与过程知识;既可以运行于商用操作系统Windows等,也可以运行于中标麒麟等军用国产操作系统。为此,提出了一种集成框架与产生式规则的知识表示模式,定义了五种抽象层次以设计一个专家系统,包括知识原语、知识单元、知识部件、知识库以及知识系统;在此基础上基于Java语言设计并实现了JavaKBB。JavaKBB的另外一个重要特征是它能以XML格式保存知识库,具备与其他知识库进行交互的潜力。目前,JavaKBB已经用来构建慢性肝炎防治专家系统、装备辅助决策系统等。     

递归划分的标签约束可达性计算方法

现实世界中的图往往在结点和边上包含描述信息,可达性查询是图数据管理和挖掘中的基本操作之一。针对图数据中标签约束的可达性计算问题,提出一种基于递归划分的可达性计算方法 RP-Hop。该算法基于层次划分思想,利用独立集性质,在保持标签和可达性前提下对大规模图进行递归划分,并结合贪婪扩展思想和递归编码,为标签约束的可达性查询提供压缩索引。经过合成和真实数据集上的实验,结果表明,RP-Hop算法不仅降低了索引大小和构建时间,而且提高了查询效率。     

约束理论与军民一体化军事物流系统运行机制构建

军民一体化是实现军事物流保障效益的有效制度路径,也是军事物流系统建设发展的基本方向。约束理论是一套管理理念与管理工具的集合,是一种先进的管理思想,可以用于指导军民一体化军事物流系统运行机制的构建。     

军事权的宪政解读

基于对军事权潜在危险性和强大破坏力的忧虑,近代宪法力图将其安定在预设的框架之内。但军事权并非与人类的宪政文明天然相容。所以,现代宪法需要以分权理念来消解军事权的集权性、以平等理念来消解军事权的强隶属性、以正义理念来消解军事权的极端性。于是,各国的宪法文本通常需要在军事权的增强与节制、区隔与融合、明确与模糊间作出权衡。另外,理解军事权的宪法规制还应当超越宪法文本,探究那些行宪过程中能够影响甚至决定军事权的隐性规则。从而真正理解政治制度、文化传统、风俗习惯乃至人们之间以默会的方式发挥作用的信念和原则对军事权运作的重大影响。     

网络中心式空战仿真研究

将网络中心战思想引入空战仿真研究,提出基于复杂适应系统理论的网络中心式空战模型.对网络中心式空战子模型进行设计,使空战单元根据对局部环境的感知所获取的态势信息来调整自身个性,调整规则依据约束变量的设定和决策元规则.通过仿真实验着重考察了具有自适应性的空战单元在空战对抗中的作战表现,实验结果初步验证了其战斗效能优势.     

一种基于新的冲突系数的证据组合规则

从焦元为非单元素集合的角度出发,考虑焦元之间存在相等、包含、相交的关系,对焦元mass函数进行细分计算,得到一种新的冲突系数计算方法。将该方法应用到新的证据组合规则之中,并通过数值仿真实验验证了新的证据组合规则的有效性。     

基于规则的域间路由系统异常检测

随着Internet的爆炸性增长,域间路由系统变得越来越复杂并难以控制,许多与域间路由安全相关的事件广泛引起了人们的关注。提出一个基于规则的域间路由监测框架,其中的规则可分为常规异常检测规则和特殊异常检测规则,它们能有效用于检测异常路由和可能的攻击行为,这两种规则的不同在于特殊异常检测规则是由大量路由得到的Internet模型来定义。研究了Internet层次模型与ISP商业关系模型的构造,基于这个框架实现了一个原型系统———ISP-Health,最后给出了检测能力结果。     

正确处理民族团结与稳定边防的关系

边境地区绝大多数是少数民族聚居区,民族宗教问题突出,历来是国内外敌对势力渗透、分裂、颠覆的重点地区。历史经验证明,搞好边境地区各民族团结是实现边境地区社会稳定和边防巩固的重要保证,是边境地区稳定和发展的政治基础。首先,边防部队要认真学习党的民族宗教政策,熟悉有关民族工作的规定,自觉尊重少数民族的风俗习惯,牢固树立民族团结为大局的思想,把加强民族团结作为稳定边防的一项重要工作,常抓不懈。其次,要做好民族团结宣传教育工作。向边境地区各族人民深入进行爱国主义和国防教育,提高沿边干部、群众的国界意识和政策法规观念,…     

离散随机系统的一类综合控制

研究离散线性随机系统在方差约束下的综合控制设计问题,即设计期望的静态输出反馈控制器,使闭环极点位于单位圆内的一个环形区域内。同时,每个稳态状态方差都满足给定的上界约束,从而使闭环系统具有良好的稳定特性和动态性能。本文利用修正的代数Ｌｙａｐｕｎｏｖ方程,推导出控制器存在的充分条件和解集刻划,并提供了说明性的数值算例。文中所得结果具有形式简洁、易于工程实现的特点