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

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

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

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

军队生产经营自主权的收益分配的思考

军队搞生产经营是新时期的一项新任务,目前,在生产经营自主权及生产收益分配问题上主要存在以下六个方面的问题。一、管理上,企业缺乏自主权。军队生产经营所有权与经营权是相互联系的,都是在军事系统的领导下,不存在党政之分,以行政管理企业,管理方式比较老化。上级部门怎样规定,企业就怎样去做,集权统的较死,对该处理的问题,企业无权做出决定,上级部门又不直接解决,行政干预     

论优化国防费分配结构

现在我国人口占世界的1/5,而军费总额却只相当于世界军费总额的1/200。据1986年度有关资料,按国防费总额比,美国相当于我国的50多倍;按人均占有国防费比,则相当于我国的80多倍。据国家统计局1987年的统计资料,全国城镇居民的生活费每人每月平均为40余元,而驻北京地区部队基本灶伙食仅有30余元,比居民的平均生活费低10％以上。 1985年后,军队编制员额精简100万,但由于离退休干部仍由军队供养,还有部分编余干部待安排,加上近几年安置老干部、转业干部等项开支,多花的钱比省下来的钱还要多。     

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

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

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

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

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。