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

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

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

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

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

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

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

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

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

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

深刻认识中国特色社会主义的理论逻辑和历史必然

习主席指出：“中国特色社会主义,是科学社会主义理论逻辑和中国社会发展历史逻辑的辩证统一。”深入学习和领会习主席这一重要论述,对于我们坚定中国特色社会主义道路自信、理论自信和制度自信,增强在实现中国梦的伟大实践中牢记强军目标、献身强军实践的高度政治自觉具有重大意义。     

商业逻辑下的战争

有的时候,我们会意外地发现那些在我们头脑中早已成为“常识”的默认值,事实上并不是那么“天经地义”。譬如说,不知从什么时候开始,在我们的语境下,“战争”和“经济”两个词在多数人的、失脯中就被对立了起来,但凡在新闻中听到某处又要爆发战争,很多人的第一反应就是相关国家的“经济”要受到影响了。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

基于Markov Logic的军事系统效能评估

由于军事系统中存在不同的体制编制和多变的网络结构,并且军事单元能力发挥不稳定,信息延时不确定,因此为完成特定军事任务,系统中会存在诸多OODA过程,以至于难以评估军事系统的效能.针对目前效能评估方法人为定性评估成分较大,或者评估过程忽视军事实体间的相关联系而仅在统计意义上进行评估,将军事系统的不确定性纳入评估体系,基于统计关系学习框架Markov logic以OODA军事策略为基础对不同军事规则进行一阶逻辑建模,并以当前网络态势为先验条件,应用Alchemy工具对表示最终作战效能的原子谓词进行条件概率推理,求得该网络作战效能期望,突出了模型对不确定信息的处理能力.最后研究了军事单元和军事体制对系统效能的影响,实验结果验证了本模型的有效性,表明其具有一定的实践和理论意义.     

先进上面级数字逻辑姿态控制律设计

建立了先进上面级姿态动力学模型和推力器配置方案,根据快速大角速度精确姿态机动的任务要求,设计了数字逻辑姿态控制律.考虑姿态角和姿态角速度的相互关系和测置误差的存在,将姿态相平面划分为多个控制区域,以节省燃料和避免测量误差的影响.在实际上面级参数下进行姿态机动控制仿真,采用数字逻辑姿态控制律能在16s内实现先进上面级俯仰角60°的大角度姿态机动,并能很好地保证姿态指向精度和姿态稳定度,控制效果也优于脉冲宽度调制.