有机钼化合物作为极压添加剂的抗磨机理

本文用X—射线光电子能谱(XPS)技术对新合成的S、O、Mo油溶性化合物作为极压剂所形成的边界润滑膜进行了微观分析,并结合DSC分析、歇尔式四球机试验和Falex试验结果对该有机化合物的极压抗磨机理进行了初探。     

科研选题重复因素的分析与对策初探

科研选题中,周期短、见效快的课题重复率较高,其原因与科技人员晋级需求,社会集团易对“短、平、快”选题投资,科研管理人员的情报意识淡漠等因素有关。改变现状需要科技政策的制定者对基础科学研究和从事基础科学研究的人员给予更多的重视和政策的倾斜。科研管理部门应把握科研方向、人才培养、选题调整及发挥专家对审题的充分论证。采取各项综合措施,可望降低科研选题的重复。     

顺序PROLOG机KD-PP的系统结构和硬件实现技术

本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。     

智能工具机系统结构

本文提出了一种面向PROLOG 的计算机系统,它采用传统计算机做为主机,后端机采用通用OPU 芯片和支持PROLOG 高速执行的专用硬件。该系统结构简单,性能高。性能模拟表明,该系统具有500KLPS 的逻辑推理速度和17MPS 的数值计算速度。     

激光模拟器的模匹配

本文根据椭圆高斯模的传输和变换理论,分析了椭圆高斯模的模式变换,讨论了模式匹配的计算,并列举了两种椭圆高斯模的计算实例。     

画法几何模型在计算机辅助图测、图解及图显中的应用

本文用画法几何的模型,以计算机为辅助工具,进行图测、图解和图显。试行结果既快速准确,又形象直观。使数据的计算过程及计算结果可视化,便于检查结果、修改参数及调试程序。     

火炮整体动态分析与土壤的耦合作用

本文以85加农炮为实例,根据实测结果,估计了土壤的物理参数,从而确定了火炮的边界条件;用塑性杆元及线性阻尼器模拟了驻退机、复进机的作用;在此基础上,建立了火炮整体的有限元模型。所得计算结果与实测结果符合较好。     

未知最优值线性规划的修正 Karmarkar算法

本文对未知最优值的Karmarkar型线性规划,得到了一种复杂性为O(n~(3.5)L)的修正Karmarkar 算法;通过讨论加边矩阵和秩1修正矩阵的LDL~T 分解,得到了一种计算Q—斜投影的有效方法。最后,从理论上分析了算法的收敛性和复杂性。     

Prolog 编译器中暂时变量分配方法研究

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。     

高炮人机半实物实时仿真系统

本文以P56半自动高炮系统为对象,介绍一个高炮人机半实物实时仿真系统的实现。主要包括系统设计思想和基本原理、硬件组成、软件设计以及系统主要特点。该系统的实现,为高炮人机系统提供了一个良好的研究手段。