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

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

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

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

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

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

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

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

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

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

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

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

命题逻辑的理想形式系统

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

人工蜂群算法及其在路径寻优问题上的应用

针对多旋翼无人机路径寻优问题,结合人工蜂群算法的特点,提出一种改进的人工蜂群算法,根据飞行原理,建立飞行环境矢量化模型,并对其飞行过程的相关约束条件综合分析,结合路径规划的目的与要求构建出路径规划的目标函数模型,利用人工蜂群算法结构清晰、自适应能力强等特点,实现多旋翼无人机路径规划算法,并结合相关寻优手段对算法进行改进,以增强算法的寻优能力。     

政策速递

国家发改委:采取一系列政策措施稳定化肥价格 1月2日,国家发展改革委、农业部、商务部、铁道部、国家工商行政管理总局、中华全国供销合作总社等6部门联合发出《关于做好化肥生产供应工作稳定化肥价格的紧急通知》,要求各地采取有力措施,切实组织好化肥生产、进口和调运,保证化肥供应,加强化肥价格和市场管理,规范价格行为,并明确恢复对尿素产品增值税先征后返50％的政策。     

由舰艇命名规则 浅析中国首艘航母的舰名和舷号

自近代积贫积弱、备受列强凌辱以来,中华民族建设一支强大海军的渴望经久不息。近百年以来,这种渴望又转变成了对主力战舰的探索。在此类追求中,有一型舰多年牵动着这个民族的心灵最深处,它便是航空母舰。经过长期努力,我国海军即将真正拥有首艘航母。在这一刻,那艘见证没落帝国的载机巡洋舰将走完最后的历程。俄式军舰凌乱的外表、对暴力美学的变态追求,随着逐步改装与在这个东方大国融入独具特色的元素,"里加"号或"瓦良格"号将真正变成历史,当初的那首载机巡洋舰将成为崭新的中国海军传统载体。其中,舰名与舷号是这种传承的重要载体。