一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

关于C3I系统发展中的几个理论难题

在对Ｃ~３Ｉ系统综合评论的基础上,提出了Ｃ~３Ｉ系统发展中的几个理论难题。即：系统一般理论问题;数据融合理论与算法;指挥决策理论问题;管理职能问题;火控理论新问题;智能Ｃ~３Ｉ问题     

基于输出协方差配置的车辆振动控制系统设计

通过对车辆振动系统的振动特性分析,确定出系统反馈控制的设计目标。基于对［１］中状态协方差配置控制理论的推广,文中给出了控制器设计的具体方法,并举例说明该设计方法具有直接有效的特点     

关于建设社会主义新道路的思考

中国特色社会主义理论与实践为社会主义在当代的发展开辟了一条新的道路,是对科学社会主义的重大发展。所谓建设社会主义的道路,就是正确处理社会主义建设中的若干重大关系问题。这条道路既不同于过去传统的计划经济体制的道路,又不同于现在俄罗斯和东欧国家发展市场经济实行私有化的道路,是中国共产党和中国人民在改革开放实践中的伟大创造。     

综合翻译理论观浅谈

介绍了翻译理论界两大学派：科学学派和艺术学派各自争论的焦点和缺憾,阐述了综合翻译理论观,即把科学和艺术学派的理论观结合起来,采取兼容并包的方针,来研究翻译理论。     

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

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

论邓小平的发展经济学思想

邓小平建设有中国特色社会主义理论,是充分结合中国这个发展中大国的国情,实事求是地对中国经济实践的理论总结,是对发展经济学的丰富和发展。其首先改革农村经济的思想,是结构主义的经济发展理论的体现;充分吸引外资的思想,对促进中国经济的发展起了极其重要的作用,是对“西缺口”模式的正确运用;重视人力资源,抓住了经济发展的根本;“经济发展隔几年上一个台阶”的思想是“经济成长阶段论”在中国的具体化。     

军队后勤科技统计的现状与展望

现行的军队后勤科技统计在内容设计、学科分类及统计范围上都有其自身特点并形成了较为完善的体系,但从现代科技发展的基本特点和军队后勤科技统计在后勤科技管理决策中的地位和作用看,军队后勤科技统计改革还需做好以下工作:完善统计内容;扩大统计范围;梯次推进统计结构层次,制定和完善统计标准和法规;建立统计数据库。     

防化军事理论的新发展

随着核化威胁形势,我军作战保障理论及防化装备的变化,发展,我军的防化军事理论也在不断地创新,丰富和发展,这种发展主要体现在４个方面。即,确立了存在核化威胁的新的形势判断;基本形成了“坚持两个方面,搞地四个服务”的防化兵任务多元化理论;进一步 展了防化保障的基础和应用理论;初步构建了烟幕保障理论。     

理想图式简论

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