PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

加强国防生当代革命军人核心价值观培育

国防生作为军队依托普通高等院校培养的军事人才,是军官队伍的后备力量,是军队发展的新动力、履行使命的新队伍、听党指挥的新传人。普通高等院校要履行好立德树人的使命,就必须把培育国防生当代革命军人核心价值观活动搞好,纳入到教学的全过程。一、深刻认清在国防生中进行当代革命军人核心价值观培育的重大责任,把培     

《矛盾》不能作为自相矛盾的典范--兼从语用逻辑视角看《矛盾》

普通逻辑对韩非寓言《矛盾》的解析是含混的、模糊的 ,是违反逻辑的 ;韩非寓言《矛盾》并不能作为自相矛盾的典范。按照语用逻辑的有关规则和语言交际的背景约定等进行分析 ,《矛盾》并不矛盾。对《矛盾》进行严格解析 ,其意义超过了对《矛盾》本身的理解 ,因为这种解析有利于人们的逻辑精神和科学思维方式的培养。     

略论国防专利在专利制度中的优先性

通过摘取法律法规中体现国防专利优先性的法律规范，阐明国防专利分别在国防专利申请阶段和国防专利实施阶段的优先性。对国防专利在专利制度中的优先性进行法理学分析，从国内国防建设的角度论证国防专利优先性的原因，通过研究美国和俄罗斯的国防专利制度来分析国防专利具有一定优先地位的合理性。文章对我国国防专利在专利制度的优先性提出发展建议，在国防专利申请阶段，国防专利要加大对国防专利权人的补偿力度，同时设立专门机构对普通专利进行国防专利审查。国防专利实施阶段要完善定密解密制度，发挥市场在国防专利向普通专利转换中的关键作用。     

探析武警院校军民融合深度发展的三个突破点

<正>推进武警院校军民融合深度发展是贯彻"四个全面"战略布局的重大举措,有利于武警院校现代化建设更深更广地融入国家经济社会发展和国民教育体系,获得更加丰厚的资源支撑和发展后劲。当前,应着重从组织机构、运行机制、教育资源三个方面为突破点,破解武警院校军民融合深度发展的瓶颈和壁垒。     

小型无人机控制逻辑建模及仿真

无人机的飞行轨迹具有明显的分段特性,且在各飞行段内其飞行状态和控制方式有明显的区别。针对这一特点,可以通过建立飞行全过程的控制逻辑模型实现对无人机的监控任务。Stateflow是一个基于有限状态机理论的图形化离散事件仿真环境,可以用于控制逻辑建模。利用Stateflow建立了某小型无人机飞行全过程的控制逻辑模型,为无人机的控制逻辑建模提供了新的设计方法。通过对所研究的小型无人机非线性系统模型进行仿真,验证了所建立的控制逻辑模型的正确性。     

基于能力的信息化弹药消耗预计方法

信息化弹药是现代作战中重要的精确杀伤武器,为了提高打击效率、降低费用代价,需要精确预计消耗量。针对信息化弹药毁伤概率高、受多种战场环境影响等特点,提出了基于能力的预计方法。该方法运用模糊逻辑理论对多种因素进行综合定量分析,根据弹药命中概率和目标类别获得目标-弹药匹配组合,并使用弹药费用和保障费用对匹配组合进行最低费用代价排序,通过目标价值和数量预计弹药消耗量。结合实例进行的仿真计算结果表明,该方法能有效预计信息化弹药消耗量。     

扭住强军兴武的"牛鼻子"——新疆生产建设兵团着力提升师团职干部军事素养

训队列一丝不苟、爬战术一身泥土、练射击聚精会神……2019年12月9日,新疆生产建设兵团组织的师团职领导干部民兵工作能力培训在凛冽的寒风中展开。记者在现场看到,参训学员身着迷彩服,以普通一兵严格要求自己,训练热情高涨,展现出良好的精神面貌。为扭住强军兴武的“牛鼻子”,新疆生产建设兵团抓住领导干部这个“关键少数”,组织70余名师团职干部进行军事能力培训,着力培养懂军事、善指挥的复合型领导干部,带动兵团广大民兵积极投身军事训练,为更好履行职责使命打牢坚实基础。     

理性情绪行为疗法及其运用

理性情绪行为疗法是美国临床心理学家阿尔波特·埃里斯20世纪中期正式创立的。顾名思义，这种方法旨在通过纯理性分析和逻辑思辨的途径，改变个体的非理性观念，以帮助个体解决情绪和行为上的问题。目前该疗法已经广泛应用于临床领域与教育领域。     

军民融合背景下装备售后技术服务的逻辑决断流程

借鉴外军装备技术服务研究成果,立足我军现有保障体制,梳理了军民融合背景下装备售后技术服务的内涵,分析了装备售后技术服务模式的类型,明确了装备售后技术服务策略构成,提出了系统级和业务级装备售后技术服务逻辑决断流程,为开展军民融合条件下装备售后技术服务提供理论指导和技术支持。