分组坐标轮换法与机械优化设计

minimax 问题是工程优化设计中普遍存在的问题。本文首次采用分组坐标轮换法求解该问题,通过分析获得了该算法收敛的充分条件(如果收敛,还可计算最大轮换次数)。一些数值计算验证了文中的结论,本文还把该算法用于四连杆实现函数机构的优化设计.     

变量有界线性目标规划的对偶算法

本文讨论了变量有界的线性目标规划问题,给出了求解这类问题的一个对偶算法,此方法与变量有界线性规划问题的对偶算法相类似。文中证明了算法的有效性,并举例说明了计算过程。     

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

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

地对空雷达对抗的压制概率和干扰任务分配

本文引进压制概率这一概念作为衡量雷达对抗作战效能的数量指标 ,给出了地对空雷达对抗压制概率的计算方法。利用搜索论、规划论、雷达原理、雷达对抗原理建立了一个地对空雷达对抗干扰任务分配模型     

国防教育要在打基础和求发展上下功夫

今年是实施《贵州省全民国防教育第二个三年规划》的最后一年。在过去的几年里,我省各级国防教育部门,坚持以邓小平建设有中国特色社会主义理论和党的基本路线为指导,抓紧思想教育,搞好组织落实,注意在打基础和求发展上下功夫,各方面的工作都取得了显著成绩。为了发扬成绩,再接再厉,振奋精神,扎实工作,注意如下几个方面是至为重要的。 一、讲政治,讲大局,不断增强做好国防教育工作的责任感 江泽民总书记最近反复强调,领导干部一定要讲政治,“我们讲的政治,是马克思主义的政治,是建设有     

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

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

1200bps话音编码算法的研究

本文采用一种先进的动态规划算法来提高基音检测的准确性,这种方法在保持了一般的动态规划算法的基音检测性能的同时降低了计算复杂度。在获得准确的基音周期以后,本文在激励信号中引入声门脉冲的相位和幅度信息来改善合成话音的自然度和清晰度,在１２００ｂｐｓ的速率上得到了清晰度和自然度都较好的合成话音。     

理想图式简论

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

浅谈信息动员准备

随着信息技术的迅猛发展,并广泛运用于军事领域,信息化战争将成为未来战争的主要样式。要赢得信息化战争的主动权,仅靠现役部队的力量是不够的,必须动员社会各领域的信息力量作补充,这就需要充分做好信息动员准备。信息动员准备的内容很多,但当前应把建立组织领导机构、制定规划、资源储备作为信息动员准备的重     

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

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