当代中国军事战略思维与和平发展道路（续）

维护和平发展要求当代中国军事变革必须坚持中国特色 这是当代中国军事战略思维据以展开的第三个基础性判断。这个思维判断包含的逻辑进程，要求回答维护和平发展与有限大幅提升军事实力的关系，提升军事实力与军事变革的关系，以及军事变革的中国特色的要点。     

建立健全国防动员军事需求论证机制

国防动员军事需求论证,是新世纪新阶段筹划指导国防动员建设的重要内容,是进一步筑牢军事斗争准备基础、战时实施快速高效动员的关键环节。为此,加强信息化条件下国防动员建设,必须着眼我军的使命任务,     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

纳米级变频器及加法器的新概率建模方法

纳米级数字电路应用时,必须考虑设备故障对纳米级设计的影响.在马尔可夫新特性随机场基础上,提出了纳米级变频器和加法器的概率逻辑模型,并用它们来建模概率行为.实验分析显示设备故障的概率分布极大依赖于系统结构及其他运行参数.     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。     

基于粗糙集与最小二乘支持向量机的飞机综合智能论证

结合粗糙集的属性约简理论与最小二乘回归支持向量机的回归思想,提出了一种基于粗糙集与最小二乘回归支持向量机的飞机设计综合智能论证模型。首先根据历史数据建立属性决策表,然后应用粗糙集理论对飞机综合论证指标参数属性进行约简来获得影响飞机设计综合论证的核心指标,最后再利用支持向量机回归模型建立与飞机综合论证核心因素之间的非线性映射模型来对飞机的作战效能进行预测。仿真实例验证了该方法可以降低模型的复杂度,加快SVM的训练速度并具有良好的预测效果。     

基于能力的装备需求论证框架

构建基于能力的装备需求论证框架主要包括剖析基于能力的武器装备需求论证的内涵，构建基于能力的装备需求论证的基本论证模式，介绍基于综合微观分析的论证方法，建立包括需求描述、需求映射、方案评估和需求VV＆A与可信度评估的结构化方法体系。     

略评卡哈尼的“语义悖论”——“矛盾被证”与“复合命题”

“说谎者”悖论早在两千多年前提出 ,被誉为“悖论的老祖父”。可是 ,直至 2 0世纪的今天 ,东、西方都认为未能彻底妥善把它消解。罗素公开承认搅到精疲力尽而仍然失败。普利斯特看到大家绝望时 ,于 1 979年提出“悖论逻辑”系统 ,以接受悖论引致的矛盾 ,作为消解悖论的办法。形式派和本文认为他实在是对这个悖论投降屈服。“破天荒”地 ,本文认为仅用普通逻辑学和谬误学 ,便可以把“原始、标准、强化”说谎者悖论简易地消解