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

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

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

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

反舰导弹电视制导ATR方法研究——多目标几何识别

本文运用图象处理与图象识别技术,结合应用光学的方法,研究了舰船目标图象识别的有关问题,并提出了一个可用于反舰导弹电视制导的自动目标识别（ATR）系统的方案设想。实验室模拟结果表明本方案具有实现的可行性     

从实践的观点看真善美统一——实践破缺观(上)

从实践的整体观点出发,可把哲学精神的特征概括为人类掌握世界的总体方式,即认知方式(认“真”)、评价方式(求“善”)、审美方式(审“美”)的综合。由此对东西方哲学的发展作了重新评价,对马克思主义哲学在实践基础上的真善美统一作出初步总结。     

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

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

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

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

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

59式坦克的战斗恢复力

本文提出了一个新的武器装备特性——战斗恢复力.它是武器装备的设计属性之二.它主要研究在战场上,对战损武器装各,如何在人力、物力缺乏以及时间紧急的情况下,能够采取一切可以采用的手段,迅速恢复其战斗功能.战斗恢复力就是指战场损伤评估与修复水平(Battlefield Damage Assesment and Repair,简称 BDAR).本文对59式主战坦克的战斗恢复力进行了研究,并提出了一些意见和看法.     

多媒体技术发展综述

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

平面交叉杆系变形协调普适方程及其通解

本文运用拓扑学、微分学、几何学的数学方法,捕捉到平面三交叉杆系的变形特点——拓扑特征.在小变形条件下,通过变换得到变形协调普适方程.从而推导出解此类拉压超静定问题的一种快速有效方法.该方法可直接应用于教学与工程计算.