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

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

破解实质蕴涵怪论之谜

用真值函项的观点来看待实质蕴涵导致的后果,一是把实质蕴涵的真值与其真假等同起来,二是没有用科学的态度来处理真值函项概念,使得实质蕴涵多样化,即"→"每一次出现代表了不同的实质蕴涵。正因如此,命题推理反例和实质蕴涵怪论才得以产生;而在特定的命题演算系统中消除实质蕴涵怪论的形式途径是取消v+规则。     

商业逻辑下的战争

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

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

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

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

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

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

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

衔接理论在大学英语语篇分析中的应用

本文通过介绍三种语篇衔接方式———结构衔接、逻辑衔接及词汇衔接 ,旨在论述在大学英语的教学中引进语篇衔接的概念是必要的 ,也是可行的     

基于神经网络的组网雷达协同探测模式控制

针对多机编队多雷达协同探测模式的切换选择问题,提出了一种基于神经网络的协同探测模式控制策略.通过利用模糊逻辑理论对战场态势信息进行模糊表征;然后,采用神经网络技术对态势表征因子与协同探测模式之间的映射关系进行数学建模;最后,将实时态势信息输入建立的模型,自主得到协同探测模式的选择建议.通过数值仿真表明,神经网络建模技术...     

名墨訾应论

名墨两家是中国古代两大逻辑学派,他们的逻辑思想堪称中国古代逻辑思想的高峰,因此,探讨两家逻辑思想的关系,弄清他们逻辑思想之异同有一定意义。关于“名实之见”,名墨均认为“名实相符”,但名家主要表现为形而上学的名实观,墨家则表现为辩证的名实观;关于“坚白之辩”,主要表现为名墨两家的“离盈之辩”,名家认为“离坚白”,即感觉的分离证明了事物属性的分离,坚、白二属性是独立存在的,墨家认为“盈坚白”,即触觉和视觉都存在于事物,不能把它们分离开来:关于“同异之论”,名墨都有“同中有异,异中有同”的思想,但墨家进一步认为,本质上相同的事物即为同类,其中之异就是次要的,本质上相异的事物即为异类,其中之同就是次要的。     

模糊控制的研究与进展

本文介绍了模糊控制的发展过程,以及模糊控制器的基本原理,介绍了目前在模糊控制和人工智能领域内关于模糊控制本质的一场争论,指出了模糊控制的插值机理。