普通逻辑直言命题定义新说

本文剖析了以往普通逻辑中直言命题定义的困难与矛盾,从普通逻辑的体系性质的角度对直言命题给出了新的定义,使概念论与判断论顺畅地协调起来,利于普通逻辑的教学与研究。     

军品使用价值的特殊性及其在军事经济学研究中的地位

在军品使用价值中存在着两对内在的矛盾:即“有用”与“无用”的矛盾和武器装备的相对落后与战胜敌人需要之间的矛盾。军品使用价值的这种特殊性对军品价值量的决定,对军品生产和再生产的补偿以及对军品的生产管理均产生决定性的影响。军品使用价值的特殊性及其对军品生产全过程的制约,使军品特殊的使用价值成为军事经济学研究的逻辑起点。     

人工智能在火控系统中的应用

研究了空战时的决策问题,并对人工智能技术用于空战中机动目标的战术机动决策模拟做了尝试,讨论了计算机控制机动目标的战术机动决策逻辑的设计方法,同时也进行了数字仿真。     

邓小平生产力标准思想在历史观上的逻辑结论

邓小平的生产力标准思想对于邓小平理论的全部命题、判断、思想都具有逻辑起点意义。从历史观方面看 ,邓小平生产力标准思想的逻辑结论包括三个方面 :一是生产力标准是衡量社会意识进步与落后的根本尺度 ;二是生产力标准是社会主义初级阶段理论形成的认识论依据 ;三是生产力标准是不发达国家社会发展的最高价值判据。     

军事征用程序研究

文章提出了军事征用程序的设计原则,对普通军事征用程序和特殊军事征用程序进行了对比研究。     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

资讯——地方科工委（办）

河南省国防科工委举办普通密码通信培训班,黑龙江国防科工办局域网建设受到表扬,湖北省国防科工办大力推进军工企业改革脱困工作,湖南省国防科工办对省属军工企业改革工作提出要求,天津军工全面推动保密资格认证工作     

虚拟逻辑分析仪在军事电子自动测试领域的应用前景

现代电子设备中,广泛使用大规模集成电路,具有总线结构。原来单靠硬件完成的任务,现在通过软硬件结合的方式实现,而且功能越来越丰富、速度越来越快。再用传统的万用表、示波器等测试仪器去发现并解决遇到的问题显然已力不从心。所以就要求检测、诊断技术不断跟进。随着计算机技术的迅猛发展,国外及国内的公司已经开发出了多款虚拟逻辑分析仪。它将计算机强大的数据运算、处理、人机交互能力和传统逻辑分析仪强大的数据采集能力有效结合在一起,可以得到相关电路多个采集点的时序及状态的真实有效数据, 为进行深入的测试奠定了基础。     

模糊离散变结构控制系统研究

系统研究了模糊离散变结构控制的设计方法,提出了几种具体设计方案.对于变结构控制而言,模糊逻辑的引入可以使滑模(变结构)控制具备推理和学习能力,控制信号得以柔化,能够减轻或避免一般滑模控制的抖振现象;对于模糊控制而言,滑模控制思想的引入可以大大简化控制结构,保证控制系统的鲁棒稳定性,对模糊控制系统的设计和性能分析提供了一种工具.     

依托普通高等教育培养军队干部体制机制建设的实践与思考

一、我军依托培养体制机制建设的现状分析 建立依托普通高等教育培养军队干部制度,是继1980年我军实行经院校培训提拔干部制度之后,干部培训方式的又一重大改革.1997年,江泽民同志指出“军队生长干部要逐步走开军队自己培养和依托国民教育培养并举的蹄子,从更大的范围选拔培养高素质的人才.”1999年,教育部、财政部、人事部和解放军四总部联合下发通知,依托培养试点工作全面启动.