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

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

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

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

基于改进遗传算法的协同发射控制软件设计

根据火箭炮武器系统多弹种协同发射的需求,分析了现有发控软件的不足和设计多弹种协同控制软件过程中存在的问题。采用设定禁忌搜索表的改进遗传算法,通过对基因编码、交叉等过程最终实现对多型火箭弹时序协同问题的求解。在此基础上设计的火箭弹协同控制模块的软件架构,为后续实现多种火箭弹协同发射的方式提供了有力支撑。     

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

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

商业逻辑下的战争

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

舰炮火控雷达实测误差时序特性分析建模

针对舰炮火控雷达高精度实时仿真建模的问题,运用高斯分布和正态平稳过程的两种误差序列生成方法,建立火控雷达简化仿真模型。通过对某火控雷达实测数据误差的统计及时序相关性分析,完成误差序列仿真生成与验证,给出了实现舰炮火控雷达探测误差仿真的优选方法。实践证明,正态平稳模型的误差生成方法可以有效满足新型舰炮仿真试验火控雷达建模要求。     

基于Simulink的导引头测向流程仿真分析

在分析某型反辐射无人机导引头测向原理的基础上,建立了导引头测向数学模型.借助Simulink建立了导引头测向流程仿真模型,得到了正常工作时的波形.结果表明,仿真较准确地模拟了导引头的测向过程.用户可以通过选择辐射源类型及设置参数,查看导引头在不同条件下测向过程及各节点输出波形,为导引头的维修检测提供了一种有效的辅助手段.     

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

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

基于Attention的AIS数据段相似性搜索模型

自动识别系统(Automatic Identification System,AIS)数据中蕴含着与船舶交通相关的时间序列信息.基于AIS数据段的相似性搜索也成为智能船运领域的研究热点.AIS数据属于多维时间序列数据,传统的多维数据序列相似性搜索方法通过将原始数据进行降维,并在降维后的数据空间进行时序数据的相似性搜索....     

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

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