本刊加入“中国知网(CNKI)”“万方数据”等数据库的声明

为了实现学术期刊编辑、出版、发行工作的电子化,推进科技信息交流的网络化进程,我刊现已加入"中国知网(CNKI)""万方数据--数字化刊群""维普全文数据库""中国终身教育学术研究数据库"和"超星数字期刊"等数据库。凡本刊刊用的文章,将一律由编辑部统一纳入这五个数据库,进入因特网提供信息服务。不同意者,请预先声明。     

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

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

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

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

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

以预聚体法合成了两嵌段聚醚—聚酯型聚氨酯弹性体。研究了配料比、氨酯基浓度及固化剂用量等对该体系动态力学性能的影响。发现:该嵌段共聚物是完全相容的,其玻璃化转变温度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 卫星公用信道的分组碰撞概率计算公式作了推导。     

核动力装置人机系统可靠性数字仿真研究

对核动力装置人机系统进行了可靠性数字仿真研究,将人的因素和设备的安全性、可靠性、维护性及其它参数进行综合平衡,研制出可靠性较高的系统,并在其使用维护中获得最佳的有效性.     

多媒体技术发展综述

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

短波模拟跳频电台数字同步系统的工程实现

本文分析了短波跳频电台的技术特点,在此基础上,提出了跳速为每秒几十跳的短波模拟跳频电台数字同步系统的设计原则,并给出实现该同步系统相应的思路。