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

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

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

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

反舰导弹电视制导ATR方法研究——多目标几何识别

本文运用图象处理与图象识别技术,结合应用光学的方法,研究了舰船目标图象识别的有关问题,并提出了一个可用于反舰导弹电视制导的自动目标识别（ATR）系统的方案设想。实验室模拟结果表明本方案具有实现的可行性     

移位算子是近次正常算子的充要条件

本文在文献[1]工作的基础上,给出单侧加权移位算子是近次正常算子的充要条件,它们是通过移位算子的权序列性质来刻画的。     

模糊数据的编码压缩

建立在普通集合之上的传统的数据压缩方法不能胜任模糊领域中的问题。因此,有必要从模糊集合理论出发,导出模糊概率的概念和模糊信息,赋予数据压缩理论和技术新的活力。本文试图从模糊理论的角度,借助于广义信息论,探讨模糊信息压缩的方法和意义。     

Fuzzy-AHP在军械软科研管理中的应用

本文采用群组Fuzzy-AHP对军械管理软科研成果进行综合评价,给出了一个简便、可行的评价标准。军械管理系统是一个复杂的开放系统,有诸多不确定的因素存在,我们认为要提出一个适应性较强的、具有浓缩内涵和广大外延的军械管理软科研成果的评价标准,必须遵守局部服从整体、近期效果与远期效果相结合、定性分析与定量分析相结合的原则。针对军械管理软科学研究的特点,本文建立了表征软科学成果的包括价值、质量、投入在内的指标体系,构成了多目标决策数学模型,运用层次分析的方法,结合模糊评判的手段,给出了模糊评判矩阵、综合评分与排序。     

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

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

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

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

一类极小能控制与广义样条函数

本文讨论由一般微分方程确定的时不变线性系统的一类极小能控制问题。首先,通过引入降阶逆向系统揭示了原系统的输入与输出是由某个积分-微分算子联系着的,并利用该算子建立了极小能控制与广义样条的联系;然后在对于输出端的一类较广泛的约束条件下,导出了其输出空间与文[1]的输出空间具有类似的构造性质,从而建立了与文[1]类似的投影公式与递推公式。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。