Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

跟踪目标的动态模型问题的评述

本文提出跟踪飞机一类机动目标的动态模型,对这些模型的特点和应用范围作出评述。     

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

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

嵌段聚氨酯弹性体的动态力学性能研究

以预聚体法合成了两嵌段聚醚—聚酯型聚氨酯弹性体。研究了配料比、氨酯基浓度及固化剂用量等对该体系动态力学性能的影响。发现:该嵌段共聚物是完全相容的,其玻璃化转变温度T_g与聚醚含量呈线性关系;固化剂用量对该体系的T_g亦有影响。此外,对于聚酯氨酯体系,其T_g值与氨酯基浓度U亦呈线性关系。     

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

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

12.7mm高射机枪模态试验与分析

本文利用实验模态分析技术和有限元法研究机枪—土壤系统的动态特性,通过模态试验获得机枪在硬质土壤支撑条件下的低阶模态信息,据此对机枪有限元模型的边界条件进行模拟,并从动力学角度分析影响射击精度的主要因素,为进一步研究机枪结构动力修改和质量评估提供依据,     

多媒体技术发展综述

本文主要论述多媒体技术的现状和发展动态.     

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

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

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

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

飞航导弹火控系统动态精度试验数据处理方法

飞航导弹火控系统动态精度试验后获得的导弹射击诸元误差序列一般为非平稳的随机过程,根据此误差特性,提出了动态测量数据的异常值数据处理方法,建立射击诸元误差序列、将误差序列分解为慢变化信号和高频噪声信号,最后给出火控系统射击诸元参数的最大误差统计估值方法