中国共产党国防社会动员的历史逻辑与战略文化积淀

回眸中国共产党领导的国防社会动员之路,我们可以发现中国战略文化的新积淀：社会共识和民族精神的提升。战争年代的社会动员为党的政权建设和新中国国防社会动员奠定了基础;新中国国防社会动员是国家建设的重要组成部分。精神动员是中国共产党社会动员的逻辑起点,强化了大众的民族意识和集体主义、爱国主义精神,民族自信心空前提高。尤其是民族精神的提升,成为战略文化沉淀的重要内容。     

面向Agent的CPN及其在航天装备体系评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出面向Agent的着色Petri网(AOCPN)的定义及其运行规则和分析方法。利用AOCPN建立了以海上目标监视和打击为任务的航天装备体系评价模型,对其逻辑特性和作战效能进行了分析。建模过程和仿真结果表明,AOCPN能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的性能和对作战结果的影响,有效追踪体系执行任务的过程。     

一种结构化的编译型 PROLOG数据库及其管理策略

PROLOG数据库存放着构成PROLOG程序的子句以及表示成子句的全局数据,它的组织与管理是实用PROLOG系统的关键,这一点在提高执行效率的编译型PROLOG系统中尤为如此。本文以YH-SIM——一个扩充了的WAM模型为基础,提出一种新颖的编译型PROLOG数据库结构形式,其中·过程中的子句索引与子句彼此分离; ·子句索引块分成多个专门的子索引块; ·一个子句按两种形式存放,子句代码和子句项(源子句形式)。二者分离且共享同一索引,因此代码库和项库的管理是一体化的。这些结构化的特征,有力地支持PROLOG数据库的操作及管理(子句的插入删除,以及空间分配与回收)。文中还介绍了一种简明有效的管理方法。     

关于提升普通高职院校军事技能训练工作质量路径的研究思考

加强全民国防教育,增强全民国防观念,是党和国家始终高度重视的一个重要战略问题。党的十八大以来,以习近平同志为核心的党中央作出一系列重要决策部署,推动新时代全民国防教育领导体制机制改革。而普通高等学校开展国防教育,进行军事技能训练工作,对高校学生综合素质的提高、对高职院校立德树人以及对国家国防后备力量的培养等方面都有重大意义。但当今的高职院校学生军训工作存在着内容枯燥单一、军训参与人员思想认识不够以及军训成果难以持续保持等方面的问题。本文针对这些问题提出了相应的解决办法,力图为高职院校的国防教育工作提供借鉴和参考。     

一种用于UAV辅助蜂窝网络的基站对无人机群的安全认证协议

由于采用无线通信,基于无人机应用易受安全攻击。与蜂窝基站建立信任是增强无人机网络抵御安全攻击的有效措施。由于无人机的资源受限,传统的信任机制并不适用。提出基于最优路径的可扩展安全认证协议（scalable security authentication protocol based on optimal path,SCOP）。SCOP协议利用Christofides算法构建最优路径,基站再依据此路径传输组合的认证消息,降低认证开销。同时,SCOP引用物理不可克函数和简易加密操作,确保物理层安全,降低无人机端的计算开销。通过BAN逻辑证明了SCOP协议的正确性。性能分析表明,相比于同类的认证协议,提出的SCOP协议降低了认证开销,减少了无人机端的运算时间。     

要强化按纲施训意识

随着学生军训工作的深入普及,参加军训的学生人数逐年增长,部队派出帮训官兵逐年增加,影响和制约学生军训质量的因素逐渐增多。在学生军训施训过程中,帮训官兵只有牢固树立按纲施训的观念,严格按照《普通高等学校军事课教学大纲》进行,才能确保学生军训质量。一是树立《大纲》的法规意识,增强按纲施训的自觉性。《大纲》是组织和实施学生军事训练教学、评估军事训练教学质量和督导军事训练教学工作的依据,是指导学生军训的法规性文件,也是学生军训指导思想的具体体现。各级学生军训职能部门要牢固树立《大纲》就是法规的意识,坚持按纲施训、…     

专用字符集译码逻辑的程序优化设计

提出了一种组合逻辑译码电路优化设计的基本原则 ,给出了基于该优化设计原则的程序设计所涉及的关键数据结构和算法 ,并利用现有中小规模译码驱动电路 744 8系列芯片和门电路等实现了工程实践中需要的特殊字符集译码优化设计的参考电路 .     

英语课教学的直观性

从教学的直观性入手,阐述了板书设计与课堂语言组织直观性的内容,指出了二者的结合在传统教学中的重要作用。     

英语课堂教学的直观性

从教学的直观性入手 ,阐述了板书设计与课堂语言组织直观性的内容 ,指出了二者的结合在传统教学中的重要作用     

“论证逻辑”的突破

5 0年代以来在英语国家的逻辑研究、大学教学和一般社会教育中逐渐流行起来的批判思维教育、论辩研究、谬误分析、新修辞学和非形式逻辑 ,都是从不同角度对论证结构、评估问题的研究。对具体问题深究之细 ,前所未有 ;其专著之丰富与再版之快令人吃惊。然而 ,我国学术界对此所知甚少。只是最近才逐渐知道有“非形式(论证 )逻辑”这回事。因此 ,向国内学人介绍近年来的论证逻辑著作不无意义。