关于群的一阶公式的注记

讨论群的命题的可满足性，证明了超积ПＤ Ｓｎ中有秩≥２的自由群，如果群Ｇ满足存在公式φ并且Ｇ同构于ΠＤ Ｓｎ的一个子群，则存在有限群满足ψ。     

一阶逻辑完备性定理的代数证明

在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。     

向量值一阶逻辑及其可靠性定理

讨论了向量值一阶逻辑形式系统。通过对于在智能系统多认知环境下事物逻辑性质的分析,把逻辑真值推广到一个n维向量。在对于向量值命题逻辑形式语言建立可靠性定理与完备性定理的讨论基础上,这里进一步建立了向量值一阶逻辑形式系统,证明了它的可靠性定理。     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

一阶逻辑推理有效性的探析

基于一阶逻辑相关概念的内涵[1],结合恰当的反例,探析了一阶逻辑推理规则成立的条件[2].     

基于一阶逻辑的非一致性关系数据管理

对于给定的约束,数据库可能是非一致的.为了获得一致性结果,基于一阶逻辑,提出非一致性关系数据管理框架,研究多种合取查询类型对应的连接图及其连接的充分性,分析一致性查询应答的计算复杂度.在查询连接类型是键-键、非键-键或不充分的键-键,且查询对应的连接图是非环的情况下,一致性查询应答的计算在多项式时间内是可解的.针对大量实际的易处理合取查询,给出查询重写算法获得可重写的查询.算法首先判断初始查询是否为可重写,再基于连接图进行递归计算构造一致性识别语句,然后,与初始查询合取产生一个新的一阶重写查询,用于计算一致性结果.对于非环的自连接查询,由于递归重写算法不能剔除非一致性元组,因此,采用初始查询获取了用于剔除违反键约束的非一致性元组的语句.     

基于一阶谓词和范畴论的形状与形状型

为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.     

一阶模糊谓词逻辑公式的可测集解释真度理论

首先将一阶模糊谓词逻辑公式的有限、可数、及区间解释真度的概念进行了进一步的推广,在一阶模糊语言的变元集赋值的新概念下,提出了一阶模糊谓词逻辑(或一阶模糊语言)公式的可测集解释真度的概念;然后,讨论了它的一系列性质以及在近似推理中的应用.     

几类广义正则半群概念间的联系(续)

本文为［３］的续篇，从几类广义正则的概念入手，严格刻划了这些半群概念间的范围，举出了一系列反例，更进一步精确地加细了范围半系图。     

一类平面四次系统奇点指数的计算公式

给出了奇点指数的判断量，从而获得一类平面四次系统孤立奇点指数的计算公式。     

MXX和MARG中公式改名的复杂性

研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI．     

由曲面的第一微分基本形式导出的地表面大范围测算公式

本应用曲面的第一微分基本形式推导出一组地表面大范围测算公式，并给出应用这些公式的算例。它们可以作为微分几何教学中理论联系实际的典型例题。     

油田气深冷分离装置膨胀机模拟计算模型的研究

透平膨胀机是膨胀机法深冷分离装置中的关键设备,本文根据某油田引进装置的设计条件,考核了使用 SRK(1972)、修正的 SRK(1978)和 P-R 等立方型状态方程进行膨胀机模拟计算的适用性,所得结果与原设计值和BWRS状态方程计算值基本一致,而且节省机时。由于修正的SRK方程具有较完整的二元交互作用系数,因此,在膨胀机法深冷分离计算中一般可优先考虑采用。     

关于改善微型机DDC调速系统性能的若干措施

本文提出了一种新型的同步检测装置和保证晶阐管变流装置输入控制电压与输出平均整流电压之间呈线性关系的简单措施,同时还给出了一种提高调节器PI运算速度和精度的方法。     

Banach空间中常微分方程Cauchy问题的近似解与解的关系

讨论Ｂａｎａｃｈ空间中常微分方程Ｃａｕｃｈｙ问题的近似解与解的关系，得到一个Ｃａｕｃｈｙ问题的近似解与解的关系的定理：定理设ｆ＿ｎ∈Ｃ［Ｒ＿０，Ｅ］（ｎ≥１），ｆ∈Ｃ［Ｒ＿０，Ｅ］，序列｛ｆ＿ｎ｝在Ｒ＿０上一致收敛于ｆ；又设０＜α≤ａ，ｘ＿ｎ∈Ｃ￣１［［ｔ＿０，ｔ＿０＋α］，Ｂ（ｘ＿０，ｂ）］，且满足Ｃａｕｃｈｙ问题ｘ＇＿ｎ（ｔ）＝ｆ＿ｎ（ｔ，ｘ＿ｎ（ｔ））ｘ＿ｎ（ｔ＿０）＝ｚ＿ｎ其中ｔ∈［ｔ＿０，ｔ＿０，ｔ＿０＋α］，ｎ＝１，２，…，ｚ＿ｎ∈Ｅ，ｚ＿ｎ→ｘ＿０（ｎ→∞），如果ｘ＿ｎ（ｔ）在［ｔ＿０，ｔ＿０＋α］上一致收敛于ｘ（ｔ），则ｘ∈Ｃ￣１［［ｔ＿０，ｔ＿０＋α］，Ｂ（ｘ＿０，ｂ）］，且对ｔ∈［ｔ＿０，ｔ＿０＋α］，有ｘ＇（ｔ）＝ｆ（ｔ，ｘ＿ｎ（ｔ））ｘ（ｔ＿０）＝ｘ＿０