信息化条件下装备保障组织变革的新逻辑

分析了装备保障组织作为一个开放的复杂系统,面对信息化所带来的巨大变化,其结构变革的必然性以及变革所要遵循的基本原则,指出了信息化时代装备保障组织所应具有的基本特征。     

逻辑教学法的启动效应

<正>知识是能力的载体,能力是知识的运用,深钻课堂教学的灵活性和多样性带给我们的不仅仅是学生能力素质的提高,也是教师富有创新精神的表现。思想政治课的基本任务就是用马克思主义的基本观点武装学生,培养学生运用马克思主义的立场、观点、方法去分析问题和解决问题的能力,全面提高学生的素质。逻辑教学法充分体现了这点,它激发了学生的学习兴趣、探究的欲望和创新的思维。     

基于语义的军事数据资源需求描述模型

将描述逻辑引入军事数据资源需求描述,提出了一种基于语义的需求描述模型,便于计算机理解和处理。介绍了该模型的内涵和总体框架,并以作战力量数据资源为例,阐述了作战力量数据资源概念术语集的构建、作战力量数据资源的表征和需求的形式化描述。依据数据需求,制定了相应推理规则,其可借助描述逻辑的可判定性实现军事数据资源需求的推理。     

逻辑靶场实现过程和关键技术分析

逻辑靶场基于公共的对象模型、软件平台和高速通信网络,集成了单个或多个靶场的各种资源,形成逻辑上的大型综合靶场,为联合试验训练提供了多靶场合成能力。提出了逻辑靶场规划、创建、测试和使用的总体技术过程,分析了逻辑靶场对象模型、逻辑靶场对象元模型、中间件、网关、规则和标准、支持工具等关键技术及实现方法,介绍了一种联合试验训练支撑平台,为实现逻辑靶场提供参考借鉴。     

红色短视频融入高校思政课的逻辑向度、价值意蕴与实践路径

在新媒体发展方兴未艾的时代,红色短视频日益成为高校思政课的优质教育素材。红色短视频天然具有的意识形态属性和立体化艺术呈现效果,与高校思政课的价值导向深度契合,在短视频用户人数逐年跃升的发展态势下更显示出了其内部蕴含的能够激发人们共情思维的强大影响力。把红色短视频与高校思政课堂有机结合起来,有助于提升课堂教学效果,从而全面达成培养担当民族复兴大任时代新人的根本教学目标。     

世界历史视角下中国式现代化的三重逻辑

现代化并非某个单一国家转变的过程,而是一种世界性的历史进程。中国式现代化的发展无法摆脱世界历史发展而单独存在,世界历史进程也少不了中国式现代化的实践与创新。从理论逻辑来看,中国式现代化开启于世界现代生产力的进步,也紧握这一核心任务走上了现代化之路。从历史逻辑来看,中国式现代化在与世界历史的互动中实现了“追赶—超越”。从实践逻辑来看,中国式现代化为世界现代化进程做出了巨大贡献。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

一种基于当前统计模型的模糊交互多模型算法

研究了模糊交互多模型算法(FIMM)和基于当前统计模型(CS)的自适应滤波算法,提出了一种基于当前统计模型的模糊交互多模型算法(CSFIMM)。该算法克服了模糊交互多模型算法精度较低和当前统计模型自适应滤波器方差调整有限的缺点。通过仿真,对所提出的算法和交互多模型(IMM)算法以及FIMM算法在估计精度和计算量两个方面进行了比较。     

一种运用遗传算法确定船舶航向控制模糊规则的方法

为了克服船舶航向控制模糊规则确定过程中的盲目性,引入一种与之相适应的遗传算法,以使结果成为某种意义下的最优解,从而从根本上解决这一重要问题.文中运用Matlab的C语言MEX-文件技术,将遗传算法源代码与Matlab直接结合起来,利用后者的强大建模能力,建立起完整的仿真模型.仿真结果表明,船舶的航向控制能力得到明显改善.     

试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质,推理无法进行;关系性质虽然确定,却用文字加以说明,推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。