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

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

中口径舰炮射击方法分析

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

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

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

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

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

维修方式再探讨

本文根据近几年关于维修方式讨论中提出的一些问题,在维修方式的分类、应用决策、设计要求和效能等方面,联系维修实际进行了探讨,提出了一些原则、方法和观点。     

高技术条件下机动作战后勤保障探要

高技术条件下机动战,后勤与作战部队都处于不断运动之中。根据机动战的特点,后勤保障方式应做到三个结合,即定点保障与寻的保障相结合、伴随保障与设点保障相结合、直达保障与接力保障相结合。保障内容应突击三个重点,即运输保障,油料保障、伤员救治。后勤指挥应把握三个关键,即构成野战机动的指挥机构,实施动中指挥;提高动中通信能力,实施连续指挥;集中指挥与分散指挥相结合,实施灵活指挥。     

火炮操作方便性浅析

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

以故障次数为基础的系统大修策略研究

本文提出了一种依赖于已发生故障次数的系统大修策略。这种大修策略更易于进行视情维修。文中还给出了新的大修策略下系统的可用度及平均费用的计算公式。     

舰船后传动装置的分析及其发展概况

介绍了后传动装置的主要元件及目前舰船典型的传动方式,在此基础上简述了今后的发展动态。     

汉字库图形点阵库液晶模块在激光告警接收机中的应用

在激光告警接收机中,为了直观显示激光的波长和入射方向,需要研究信息的显示技术.研究了字符点阵液晶显示模块(LCM12864ZK)在激光告警接收机中的应用,实现了2线串行接口方式与单片机89C2051通信,完成全中文人机交互图形界面.设计了简单方便的接口,编写了灵活的操作指令,其模块化的设计思想为多显示模并行应用提供方便.研究成果已经运用到激光告警设备中,能够实现快速显示敌方激光的波长与方向等信息.