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

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

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

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

军事权的宪政解读

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

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

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

高层体系结构(HLA)的开发与构建

从ＤＩＳ的局限性及不足出发,简要说明了构建和开发ＨＬＡ的可行性和必要性;重点论述了ＨＬＡ的结构、规则、接口规范、对象模型模板（ＯＭＴ）及ＳＯＭ 和ＦＯＭ 的构建步骤     

弹药处废点布局和处废能力设计研究

以“军械供应工程”项目中的子题目“弹药处废系统工程”为研究背景,运用多目标线性规则理论,建立弹药处度点布局和处废能力设计的决策模型,并对模型的求解进行研究。     

一种不精确推理模型与模糊关系代数

提出一种不精确推理的模型以及模糊关系代数,定义了模糊集合的并、交、差和笛卡尔积等运算,从而对非精确数据及知识描述中不确定性进行有效地处理。     

基于作战指挥规则图谱的辅助决策方法

作战指挥是保证作战胜利的关键,基于规则的作战指挥研究一直是研究的热点.通过构建作战指挥规则领域知识图谱,可以进一步解决当前基于规则的作战指挥辅助决策方法没有考虑规则关联性、可视化等问题.研究建立了作战指挥规则图谱的图数据模型,设计实现了相应的辅助决策路径搜索生成算法,并验证了其可行性,可以为基于规则的作战指挥提供参考.     

基于FNN和RS理论的综合评估及应用实例

为较好解决武器系统效能综合评价与分析的问题,提出一种新的综合评价与 分析方法。以某一类型的武器装备的效能评估为例,利用模糊神经网络(FNN)的方法和粗 糙集(RS)理论方法对武器装备效能的优劣进行评估。首先,用FNN方法提取用于效能评 估的模糊规则,然后用一种新的处理不确定知识的数学工具,粗糙集理论方法对装备属性进 行约简,删除其中不相关或不重要的知识,选出最重要的且尽可能少的评价指标获得系统效 能评价的最小决策算法,进而分析得到系统效能的关键因素。     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。