ELNF归约演算

ＥＬＮＦ演算是在ＬＮＦ演算的基础上扩充而成的函数／逻辑归约演算系统，扩充的主要工作包括逻辑变量、谓词名的引进。提出并描述了逻辑函子ＳＯＬＵＴＩＯＮ和ＰＲＯＶＥ及其归约规则．讨论了ＥＬＮＦ演算的基本概念。为表征ＨＯＲＮ子句提供了一种有效方式。     

一种新型的图象形状松弛匹配方法

松弛匹配方法是一种重要的图象匹配方法。本文通过图象中特征间的相互关系,利用松弛过程不断更新标识符的原始值,并且引入简单方便的寻优技术,以减少混乱度及提高相容性为原则提出了一种优化准则,从而加速及改善了松弛过程。本文提出的松弛匹配方法还可应用于识别重叠景物,结果优于一般的松弛匹配方法。     

示差脉冲极谱法研究—Ⅷ可逆波的分辨率

本文提出了示差脉冲极谱可逆波分辨率(Ra)的定义和公式,据此可以根据半波电位和波的宽度计算出相邻两个示差脉冲极谱波的分开的程度。如果R_a=1,两波能分开,R_a=1.5,两波能较好地分开。实验结果与理论预示完全相符。     

人工神经网络应用于光谱分析：校正与辨识

将人工神经网络（ＡＮＮ）用于光谱分析校正与定量分辨中，采用三层节点模型和反向传播学习算法对模拟与实测数据处理结果表明，人工神经网络对光谱分析校正与定量辨识是可行的。从页为光谱辨识与多元校正提供了一条新途径。     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

Ni－Si－B系非晶合金的结晶度与退火温度关系的研究

本文对Ｎｉ＿（８５－ｘ）Ｓｉ＿（１５）Ｂ＿ｘ（ｘ＝１３，１７，２１）系非晶合金条带的晶化（经过处理后的）结晶度的测定进行了比较系统的研究．结晶度的测定系采用电子计算机分峰方法将ｘ射线衍射曲线中的非晶峰与结晶分离开来，其中非晶峰以三次多项式表示，结晶峰以高斯－柯西复函数表示，由这些表达式组成联立方程组，用最小二乘法求解，并计算出它们的相对强度值，得到其结晶庆与退火温度呈抛物线关系曲线．     

n维连续小波变换的局部正则性

Ｈｏｌｓｃｈｎｅｉｄｅｒ和Ｔｃｈａｍｉｔｃｈｉａｎ讨论了一维连续小波变换的局部正则性，建立了一维不可微函数的Ｈｏｌｄｅｒ连续性与其小波变换绝对值衰退性之间的关系，本文将其结论推广到ｎ（≥２）维情形。     

一种提高十二位A/D转换器分辨率的实用方法

一种利用AD574A内部结构提高小幅值信号分辨率的方法,适用于信号幅度范围较大且要求测试精度较高的场合。试验证明,在小幅值信号下,分辨率可提高一倍。     

对扩展树证明的可靠性与完全性的简化证明(英文)

本文对扩展树给出一个不同的证明．它的长度比起Ｍｉｌｌｅｒ的证明要简短得多，而且改正了 Ｍｉｌｌｅｒ证明中的某些错误。