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

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

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

方差分量的Bayes二次无偏估计及可容许估计的非负性

对于有P 个方差分量的线性模型,本文导出了方差分量线性函数的Bayes 不变二次无偏估计的显示表达式,证明了Bayes 不变二次无偏估计类形成了可容许的不变二次无偏估计的完全类。在可容许的不变二次无偏估计类中,讨论了非负参数函数的非负估计问题,给出了可容许的非负定估计存在的充要条件。     

鱼雷武器系统效能评价数学模型

如何建立鱼雷武器系统的效能(Effectiveness)评价模型,是当前研究的新课题。本文给出这个数学模型,并讨论了其工程用法。     

消除地雷的威胁

消除地雷的威胁早已成为全世界关注的焦点,本文列出了十多个国家为扫除常规地雷而发展的器材,其中尤以美军正在为扫除路旁智能雷和以色列为扫除可抛撤地雷所进行的工作更为人注意。     

可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

火炮操作方便性浅析

从分析火炮操作方便性的含义、分类、试验与评价等方面评价火炮操作方便性,提出应采用定量分析方法。     

EHF军用卫星通信频段的选择

EHF卫星通信已进入实用阶段,在商用及军用中均具有重要的应用价值。EHF频率资源十分丰富,如何确定具体的上／下行频率范围是系统设计中的关键课题。本文从抗干扰、低截获概率、降雨损耗及设备小（微）型化等方面的要求,讨论了军用EHF卫星通信系统频段选择的基本考虑,从而得出综合权衡的结论。     

多机环境下系统程序并行化的实现方法

本文给出了多处理机环境对系统程序的要求,阐述了系统程序并行化研制过程中遇到的问题和解决办法,给出了实现临界段互斥的三种处理方法及其性能评价。     

纯方位目标跟踪和攻击的己艇机动策略

纯方位目标跟踪效果同己艇的机动有关。本文按照极大化跟踪系统的可观测程度的准则对己艇机动进行了优化,得出了有利于跟踪的优化机动策略。在此基础上,进一步考虑了对目标进行攻击的攻击机动的要求,使得最后给出的机动模式不仅有利于快速获得目标运动参数,而且使己艇能占领到较好的攻击阵位。此外,本文推荐的机动策略都是按相给出的,因此具有很好的实用性。