知识库推理和维护系统 (KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。     

知识库调试工具的技术原理与设计思想

知识库调试工具旨在解决因知识不完全和噪音等因素而引起的知识库正确性与有效性问题。本文通过知识库建造工具GKD-KBST 中知识库调试工具KBDT 实现方案的讨论,论述知识库调试工具的技术原理与设计思想。     

某型舰炮故障诊断知识库的建立

本文运用层次模块化构成模型及故障诊断模型的建造方法,提出了建立某型舰炮故障诊断知识库的方法,对构造诊断知识库的六种规则举例予以了说明.     

潜艇纵向振动计算及振动特性

采用有限元方法建立了潜艇纵向振动分析有限元模型,求出了某艇在水面巡航状态的纵向振动模态.发现潜艇耐压壳纵向振动除具有典型的“活塞”式振动特征外,还具有众多与“一维梁”纵向振动不同的特性.     

新型小规模装备备件品种确定的犹豫模糊粗糙集决策方法

针对新研装备备件品种确定过程中决策信息“犹豫性”和“模糊性”特点突出、难以运用传统备件品种确定方法进行决策的问题,提出一种基于犹豫模糊粗糙集的备件品种确定方法。利用风险偏好系数对不完备犹豫模糊信息进行数值延拓,为构建不同风险偏好下备件品种确定的犹豫模糊决策信息系统奠定了基础；考虑得分函数和数值延拓边界的综合因素影响给出了改进的包含度计算公式,并基于包含度定义进行了证明；给出了基于改进包含度计算的备件品种决策属性的约简条件和规则获取方法,实现了犹豫模糊决策信息的深度挖掘和有效利用。以某新研装备备件品种确定为例进行了方法验证,研究结果表明：通过该法能够有效处理犹豫模糊决策信息,获取精简实用的备件品种决策规则集,验证了方法的可行性。     

INTERNATIONAL SECURITY ON THE ROAD TO NUCLEAR ZERO

The disappointingly slow pace of progress on efforts to prevent proliferation, reduce nuclear weapons, and eliminate nuclear risks has many causes. The factor that might be easiest for individuals in the arms control and nonproliferation community to change stems from their own ambivalence about major questions that must be addressed on the road to reducing the number of nuclear weapons in the world to zero. This essay explores how ambivalence about four key issues—strategic stability, alliance relations, institution-building, and nuclear energy—often leads community members to take positions that play well at home and within their like-minded group but raise unintended impediments to achieving their own long-term goals. The author suggests alternative ways to handle these questions to improve the prospects for domestic and international agreement on practical measures that would eliminate, not perpetuate, nuclear risks.     

论王阳明知行合一说及现代意义

王阳明的知行合一说在道德认识与道德实践领域具有适应各个时代的精神内涵。王阳明通过对"知行合一"的论证,凸显了关于道德认识与道德行为的有价值的认识。这一文化底蕴对于形成中华民族精神和民族性格以及今天的精神文明建设都有着重要的作用和借鉴意义。     

三维点云深度模型压缩算法

随着计算机三维视觉的广泛应用,近几年基于深度学习的点云处理算法得到了大量研究,而耗时耗存储的缺陷较大程度限制了其在移动端的部署应用。基于改进损失函数的总体思路,提出了一种新的点云深度模型压缩框架,将知识蒸馏方法引入二值量化模型中,同时考虑点云聚合操作的特殊性引入了辅助损失项,改进的损失函数共包括预测损失项、蒸馏损失项和辅助损失项三部分。实验结果表明,和已有算法相比,所提算法可以获取更高的精度,同时对当前点云主流深度网络模型也具有良好的扩展性。     

无线通信设备故障诊断知识系统的设计及实现

通过分析无线通信设备的故障特点,按照面向对象的方法,设计了针对无线通信设备故障特点的基于知识的故障诊断模型,为了扩展和维护知识的方便,以及实现知识的重用,根据CommonKADS思想,对故障诊断模型按照领域知识、推理知识和任务知识进行建模。最后以VC＋＋6．0为开发工具和SQLServer2005为后台数据库,实现了原型系统的开发。     

基于特征相似度的同步发电机绝缘故障诊断

以同步发电机为分析对象,利用粗糙集可有效地处理和分析不精确的信息和知识的优点,从历史信息和决策中进行了特征量选取以及属性约简.对于无法处理的属性约简,采用条件限制得到能够有效反映属性的重要程度特征量,并以此计算特征量权重系数,消除主观因素的影响.在此基础上,针对励磁绕组绝缘故障,选择与设备健康状态直接相关特征作为判断对象,与同机组历史数据进行相似度分析,计算得到了其故障因子.设计出快速判断相关状态的算法,给出了判定准则并进行了编程实现.实验验证表明:该诊断算法能够对设备故障进行有效判定.