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

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

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

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

改善热带海域船用主机热负荷的研究

本文以8NVD48A—2u柴油机为例,针对船用发动机在热带海域热负荷过高问题进行了研究,并提出了改进方案。通过实船改装和调试,降低了柴油机的排温,改善了燃烧,收到好的效果。     

中口径舰炮射击方法分析

中口径舰炮对海上目标的射击方法是射击指挥自动化研究中的一个重要课题。本文研究的中心问题是:海上目标机动时,在效力射中,中口径舰炮射击指挥自动化系统采用何种射击方式,才能确保目标毁伤,获得最好的射击效果。定量分析结果表明:海上驱逐舰类目标进行反炮火曲折运动时,在有指挥仪中口径舰炮效力射中,应对弹着方向偏差进行修正,然后采用同距射。     

奎屯市水环境特征及其变化趋势

本文以“干旱区”为前提,分析了奎屯市水环境(奎屯河,泉沟水库,市区地下水)的某些特征。根据1987—1990年奎屯市水环境质量的评价及变化趋势,预测了未来可能出现的水环境问题,尤其是市区地下水质的变化。     

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

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

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

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

浅议企业成本管理

成本管理问题关系到企业生存和发展。加强企业成本管理,必须把握成本开支范围、成本预测、成本控制、成本核算和成本分析五个环节。     

点目标检测中候选轨迹确定算法

对低信噪比条件下缓动点目标检测技术中候选轨迹的确定算法进行了讨论。首先,给出了计数积累和线性预测的一般方法,然后,提出了一种基于计数积累,线性预测和轨迹约束的候选轨迹确定以及实现检测的算法,最后是算法性能分析。