处理不完全和不确定信息的一个关系模式

本文中提出可用于知识库系统设计的一个处理不完全和不确定信息的关系模式。为处理技术和智能之间的渗透,关系知识库的域扩充为E_x-term集合,它包含常量、变量和空值(不存在型空值和占有型空值);讨论了模式中的相等判断,查询运算,使用于处理知识推导的演绎规则以及关于域、值和连接的完整性约束等问题。     

有限集合的相容关系与完全覆盖

非空有限集合A的完全覆盖S={A1,A2,…,An}决定了A上的相容关系R=∪ni=1(Ai×Ai).研究了R的最大相容类集合和完全覆盖S之间的关系,给出相容的完全覆盖、极大相容完全覆盖、极小相容完全覆盖和恰当完全覆盖的定义,证明了相容的完全覆盖其成员均为R的最大相容类,而极大相容完全覆盖恰为R的最大相容类的全体,并给出这几种完全覆盖之间的关系.     

同步时序电路的一种设计方法

提出了一种通过矩阵运算实现同步时序电路的设计的方法，有效地解决了时序电路设计中卡诺图不能处理多输入、多状态和多输出的问题。     

不确定度的简化及应用

在对总不确定度的 A类分量及 B类分量评定的合理简化的基础上 ,确定了总不确定度的表示模式 ,并介绍了它们的应用     

不完全覆盖的模糊多状态系统可靠性计算方法

针对实际工程中多状态系统的性能及其概率分布无法准确获得和不完全覆盖的问题,提出了一种可靠性计算方法.该方法利用模糊发生函数来分析多状态系统,根据分解定理,用截集的形式来表示元件的性能.对于计算系统处于各状态的概率分布和并发执行结构的性能,结合扩张原理,采用模糊数排序准则采比较元件的状态与运算冗余结构,以及串行结构的性能,解决了已有算法的计算结果只能得到近似值的问题.采用将不完全覆盖与系统模型分离的方法,使得模糊发生函数能够分析不完全覆盖的模糊多状态系统,既解决了未覆盖失效带来的元件相关性,也降低了分析的复杂性,从而为计算机编程提供了方便.     

完全覆盖的重要应用

本文通过引进平面有界闭区域D的“完全覆盖”，对平面点集和二元连续函的几个重要的定理给出了简证，并把这种方法开拓到n维欧氏空间R^n和n元连续函数（n≥3）。     

完全不连通空间的若干性质

给出完全不连通空间的若干等价条件,讨论了完全不连通空间与S-完全不连通空间的关系,以及完全不连通空间传递性和可积性,并给出几个完全不连通空间成立的条件.     

不确定度在物理实验中的一种简化表达及应用

结合我校物理实验教学的实践，介绍了不确定度在物理实验中的一种简化表达及应用。本文从不确定度的分类、评定方法及合成等几方面的问题进行了探讨。     

权重信息不完全的不确定语言多属性群决策方法

针对属性权重信息不完全、属性值信息以不确定语言形式给出的多属性群决策问题,提出了一种决策分析方法.首先,对不确定语言变量进行了描述;然后,给出了求解具有不完全信息的不确定语言多属性群决策问题的计算步骤,其核心是将专家给出的不确定语言决策矩阵集结为具有可能度信息的群决策矩阵,通过计算方案值与理想点的差异值,构建二次规划模型,得到属性权重值,进而可计算出相对接近度,从而得到所有方案的排序结果.最后给出了一个实例分析,结果表明该方法简单可行、便于应用.     

一类非完全定义时序机的状态化简

应用矩阵模型,提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件,根据状态相容坏 出Ｐｋ划分,从而得到了该类时序机状态化简的算法。     

完全定义时序机的状态化简算法

在矩阵模型的基础上，担子同求映射矩阵Ｂ（Ｘ）和输出矩阵Ａ（Ｘ）的方法，进而求出Ｋ阶输出矩阵与ＰＫ划分，在此基础上，得到了求完全定义时序机状态化简的算法。该算法基于矩阵运算，便于计算机的并行实现。     

同步和异步时序逻辑电路统一分析的新方法

利用引入含时钟信号的触发器激励方程,提出了一种新的时序电路的分析方法,实现了同步、异步时序电路分析过程的统一;对于异步时序电路,所求得的触发器激励方程与同步时序电路的触发器激励方程是一样的,且该方法与传统的同步时序电路的分析方法是一致的。     

同步时序逻辑电路设计的新方法

提出了从状态转换图中直接求得触发器的置位和复位函数，从而确定触发器的驱动方程这样一种设计同步时序逻辑电路的新方法．设计原理简单，易于理解，适合于所有同步时序逻辑电路．     

应用 DT触发器的时序逻辑电路的设计方法

DT触发器是一种新型的全功能触发器，可以较方便地变换为D触发器和T触发器．导出了DT触发器的激励表，提出了应用DT触发器的时序逻辑电路的设计方法，并给出了设计实例．从给出的设计实例可以看出，这种设计方法是有效且简便的．     

气动行程程序控制系统执行信号表达式的综合图解法

求得正确、简化的执行信号表达式是设计气动行程程序控制系统的关键。本文提出了一种综合X—D线图法和扩大卡诺图法优点的新的图解法。本方法克服了上述两种方法固有的不足,具有适用于任何复杂系统,能求出更正确简化的表达式以及简单实用的特点。本文还举例说明了其具体应用。     

非线性非自治电路唯一稳态的新判据

以向量比较原理为工具, 得到了确定非线性非自治电路唯一稳态的新条件. 结果表明,非线性非自治电路的唯一稳态,可以用一个常数矩阵的 HURWITZ条件来决定.结果对电路元件的约束, 仅要求其斜率有界即可.这大大放松了目前已有的经典结果中要求电路元件斜率为正的限制, 扩展了已有的结果.     

序列线性方程组方法解约束SC1函数最小化问题

对不等式约束SC1函数最小化问题提出一个可行的序列线性方程组算法.算法的每步迭代,子问题只需解具有相同的系数矩阵的四个简化的线性方程组.这个算法的特点是产生的迭代点是可行的;只考虑指标在集合I的一个子集Ak中的约束函数;不需假定聚点的孤立性,就可证明算法产生的迭代点全局收敛到问题的KKT(库恩-塔克)点.在较弱条件下,证明算法是超线性收敛的.     

异步时序逻辑电路设计的一种简明方法

提出了一种异步时序电路设计的新方法：时钟信号与次态卡诺图联立法．根据时钟信号填写次态卡诺图，当触发器满足时钟信号时其次态由状态转换图决定，否则其次态为约束项．据此可方便求出驱动方程并判断自启动．     

流体动力程序控制回路的状态式逻辑设计法

本文基于逻辑代数的基本方法提出状态式概念,利用状态式作简单逻辑运算,以确定干扰信号并排除干扰段,从而简化流体动力程序控制回路的设计。