格值有限状态机的子系统

提出了格值有限状态机（简记为LFSM）状态后继、子机和子系统的概念,通过LFSM状态集的4种格值子集刻画了LFSM子系统的一系列性质和构成子系统的充分必要条件．最后,通过LFSMs同态的概念得到了子系统的像仍是子系统等结论．     

Fuzzy有限状态机与笛卡尔组合

在Fuzzy有限状态机的性质基础上,讨论了Fuzzy有限状态机笛卡尔组合的一些性质和结构属性.研究结果表明,在Fuzzy状态意义下,Fuzzy有限状态机与笛卡尔组合有许多相似性质,从而在理论上说明了Fuzzy有限状态机与笛卡尔组合的等价性.     

格值直觉模糊有限自动机的直积与覆盖

给出了格值直觉模糊有限自动机,格值直觉模糊有限自动机的全直积、限制直积以及覆盖的定义,提出了格值直觉模糊有限自动机的状态转移函数可扩充的充要条件,研究了格值直觉模糊有限自动机在全直积和限制直积情形下的转移函数性质,讨论了格值直觉模糊有限自动机的全直积和限制直积的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质,为进一步研究格值直觉模糊有限自动机奠定了基础.     

模糊数学和有限状态机矩阵形式描述的人工情绪模型

根据大脑的情绪加工环路提出了三个层次的人工情绪框架结构. 重点对智能体的底层情绪模型进行了研究,分别采用模糊关系理论和有限状态机的矩阵形式建立了相应的情绪激活状态和行为输出方程. 模型考虑了心境和需求对当时情绪的影响,利用矩阵模型可以直接计算出不同情绪状态下的输出行为,解决了单纯用表的形式记录"事件-情绪-行为"序列对的存储空间和查表问题. 选择了婴儿的情感行为数据来验证模型的正确性. 仿真结果表明:模型在考虑了敏感因子和心境对情绪激活阀值影响的因素后,在机器系统中可以建立有效的情绪与行为输出模型.     

Fuzzy有限状态机之半群

利用代数手段讨论Fuzzy有限状态机的同余问题,由Fuzzy变换半群的关系,得到了Fuzzy有限状态机中的两种同余关系和相关结果。     

关于格值滤子的一点注记

首先通过反例指出两个格值滤子的乘积不一定是格值滤子, 然后对群上的格值滤子定义逆运算和乘法运算, 并对有关逆运算和乘法运算的结果进行刻画.     

概率有限自动机积的覆盖性

提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.     

有限自由度谐振子系统的力学问题

研究了有限自由度的谐振子系统，先给出了它的运动方程，并对其求解，又导出了它的运动方程的拉格朗日形式和哈密顿形式，将谐振子系统量子化后，由海森伯方程也可得出其运动方程。最后把经典力学和量子力学同时运用到谐振子系统的多种状态并且把它们推广到n维，从而验证了海森伯方程和哈密顿正则方程对谐振子系统的等价性。     

一种非确定型有穷自动机的极小化方法

自动机状态极小化是寻求状态数较少的自动机,使其与原自动机接受相同的语言．确定型有穷状态自动机（DFA）极小化问题在平方时间内可解,通过状态集上引入等价关系导出的商自动机即为接受相同正则语言的极小化自动机．而非确定型有穷状态自动机（NFA）极小化问题尚未找到有效算法．尽管NFA可以转化为DFA且接受的语言不变,但可能会出现状态数指数级增加．从语言B可以构造一个接受自己的子语言自动机,同态压缩映射子语言自动机为最终系统,从而为接受语言B的极小化自动机．     

模糊理想和模糊子环的粗糙性及其在同态下的性质

主要研究模糊粗糙理想(子环)的代数结构. 由模糊理想(子环)决定的同余关系与环形成了近似空间. 定义了环的非空子集关于该近似空间的上、下近似并对他们的相关性质进行讨论. 基于以上研究, 于第二部分研究了模糊粗糙理想和模糊粗糙子环在同态映射下的性质.     

基于等价类的Rough集模糊化子系统

从系统的角度,讨论了给定信息系统上的所有Rough集模糊化所形成的模糊集类的相关性质,并证明了它是相应论域上的模糊集系统的子系统·但它却是一类特殊的模糊集子系统,在这个子系统中一般的不满足运算传递性质·为进一步研究Rough集与模糊集这两种不确定性的理论之间的关系,并将它们有机结合起来提供了理论依据·     

存储子系统调优方法研究

数据库性能调优不仅是技术更是艺术,在存储子系统方面现有的调优方法在效率上难以满足系统性能要求.提出自调优方法,并指出目前自调优技术存在的问题及解决的办法.     

格值自动机与语言

引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.     

Agents and Lattice-valued Logic

In fuzzy set theory, instead of the underlying membership set being a two -valued set it is a multi-valued set that generally has the structure of a lattice L with a minimal element O and the maximal element I. Furthermore if ∧, ∨, → and ┐ are defined in the set L, then we can use these operations to define, as in the ordinary set theory, operations on fuzzy subsets. In this paper we give a model of the Lattice-Valued Logic with set of agents.Any agents know the logic value of a sentence p. The logic value is compatible with all of the accessible conceptual models or worlds of p inside the agent. Agent can be rational or irrational in the use of the logic operation.Every agent of n agents can have the same set of conceptual models for p and know the same logic for p in this case the agents form a consistent group of agents.When agents have different conceptual models for p,different subgroup of agents know different logic value for p. In this case the n agents are inconsistent in the expression of the logic value for p. The valuation structure of set of agents can be used as a semantic model for the Lattice-valued Logic and fuzzy logic.     

方案设计专家系统中评价子系统的研究

正确有效的评价方法和反馈方法对于方案设计专家系统的质量是至关重要的。本文提出了评价子系统的基本模式,研究了评价数学模型和优化反馈模型,研制了建立评价子系统的工具软件E&F,并对该软件进行了应用试验。     

利用PowerBuilder开发露天矿技术咨询子系统

论述了如何利用ＰｏｗｅｒＢｕｉｌｄｅｒ开发一个比较通用的技术咨询子系统，对数据的插入、修改、删除、存储、查询及打印功能的技术问题进行了研究，在面向对象的开发方式下，充分考虑数据共享、数据的可移植性，以优化系统性能。     

群上的一类fuzzy关系

本文给出了群上的 fuzzy 同态关系及 fuzzy 化同态映射的概念,讨论了它们之间的联系。