逻辑函数求补算法及其改进

逻辑函数求补算法存在的主要问题是时间开销大及需要的存储空间过大。该文在对递归裂变求补算法和基于最小项求补算法进行分析研究的基础上,提出了积项输入、邻项合并、积项输出的无冗余覆盖的逻辑函数求补算法。该求补算法的时间、空间的需求将大大缩小。

水利水电工程施工安全管理与安全控制

针对事故隐患,论述了事故隐患与危险源关系,指出了事故隐患形成原因,并提出了排查事故隐患与治理整改方案、防范及控制措施,以供水利水电工程安全管理借鉴。

对逻辑函数3种求补算法的分析

对逻辑函数求补中几种不同的求补算法进行了系统的描述和分析研究,使其在逻辑综合领域能发挥更好的作用,这些算法均在项目课题中完成了实现。求补算法的优劣将直接影响逻辑综合优化的效率和时空复杂度,对逻辑函数求补算法进行深入的研究将具有重要的现实意义。

Zadeh模糊集合理论存在问题证明及其改进——一个满足全部经典集合公式的C-模糊集合系统

Zadeh模糊集合理论具有不能正确描绘客观世界的全部模糊现象,特别是不能描绘相交而不“包含或者分散包含”的情况,不可能存在反集等两个严重缺点;定义了不存在的反集这一严重错误,导致了思维、逻辑和概念混乱.但是,Zadeh等把错误缺点说成为“对传统的挑战”、“摆脱传统的约束”[2-序]的先进成果.企图用“算子”拼盘(不是像概率论那样各种公式有统一的解释)来掩盖缺点,导致了系统混乱(不清楚什么时候需要使用什么算子),误导人们以为模糊集合理论必然与常规思维、逻辑和概念相悖.为此,分析和证明了Zadeh模糊集合的错误.介绍了一个新模糊集合系统:C-模糊集合系统,它能克服Zadeh模糊集合理论的全部错误和缺点,能正确地描绘客观世界的全部模糊现象,有反集.它是经典集合系统的特例而不是推广,能满足全部经典集合的公式,与正常思维、逻辑和概念一致.

区间值模糊Lukasiewicz蕴涵的研究

Lukasiewicz蕴涵是一个常用的重要蕴涵。在区间值模糊集合上给出了交并等几个运算的概念,证明了<I[0,1],≤>是有界格、分配格、完备格和有余格,其中,<I[0,1],■,■c>是有余格<I[0,1],≤>诱导的代数系统。重新构造了一种区间值模糊Lukasiewicz蕴涵,讨论了该蕴涵的正则、单调和代数等重要性质。

以互补条件熵为启发信息的正域属性约简

属性约简是一种特殊的特征选择方法,是粗糙集理论中的核心内容之一。正域约简是一类常见的启发式的约简方法,它通常采用前向贪婪搜索策略产生候选的属性子集,以相对正域作为启发信息和停止条件。根据互补条件熵的随划分的变化规律,分四种情况分析了约简过程中某个属性加入属性子集后,相对正域和互补条件熵的变化,并在此基础上提出了一种以互补熵为启发信息的正域属性约简方法。实验分析表明,新方法与传统的正域约简算法相比,可以得到属性数量更少且决策性能非常接近的约简,同时可以有效地提高约简计算效率。

一种缺失数据的填补方法

分析了在含有遗失值的数据集上如何进行有效的数据填补,以便更客观地反映数据集中数据所隐含的内在联系.通过采用粗糙集理论的有关思想和方法,用相似关系代替粗糙集理论中的不可分辨关系,提出了基于相似关系的填充算法,提高了遗失数据填补的精确度.数据实验表明了该方法的有效性和可行性.

英语数量词的语用与心理理解

对数量词的理解过程涉及数学领域的补集概念和单调性理论。人们在理解数量词的过程中会潜意识考虑其指称集合及其指称补集,然后推理其所指的对象。数量词的单调性可分为单调递增和单调递减。单调递增数量词的取值极点是这句话的指称全集,对单调递减数量词的理解涉及它的指称补集。

单边多输出逻辑函数补集软件的设计与实现

根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵B(F)和状态矢量R(F)来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。我们设计的多输入多输出单边逻辑函数补集算法软件,在P-1．8GHz、512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。

单边多输出逻辑函数补集软件的设计与实现

根据单边逻辑函数的特性,介绍了一种多输入多输出单边逻辑函数补集方法,该方法采用二进制特征矩阵和状态矢量来描述原函数,进行最小列覆盖的选择形成多输出补集函数的控制矩阵,由控制矩阵与补集函数的状态矢量形成单边单输出补集合逻辑函数,通过多输出逻辑函数分解与合并最终产生多输出单边逻辑函数的补集。所设计的多输入多输出单边逻辑函数补集算法软件,在P-1.8GHz,512MBRAM的计算机上完成测试和运行,并通过测试检验程序,保证输出结果在逻辑上与输入条件求补等价。

积项集合的补集算法

在逻辑综合的领域内 ,经常使用求给定积项集合补集的过程。本文提出一个单边逻辑函数积项集合的求补算法 ,求补操作是通过选取函数矩阵的列覆盖进行的。与传统求补算法相比 。

多输入多输出单边逻辑函数补集算法的研究

介绍一种多输入多输出单边逻辑函数补集算法,该算法通过对多输入多输出逻辑函数的分离,形成多输入单输出的分支逻辑函数,对多输入单输出分支逻辑函数求出其特征矩阵和状态矢量,根据特征矩阵的特性进行最小列覆盖的选取形成多输入单输出分支逻辑函数补集覆盖的特征矩阵、状态矢量和补集矩阵,最后对多输入单输出分支逻辑函数的补集矩阵进行合并形成多输入多输出逻辑函数的补集,通过测试结果表明性能良好。

关于Kuratowski十四集定理的一个注记

作者给出了Kuratowski十四集定理的又一个等价形式,并进一步证明了拓扑空间(X,τ)中的任意子集经过取内部和闭包两种运算至多可产生7个不同的集合(包含A本身)。

基于多能源站协调的区域电力-热力系统站网联合规划

分布式能源系统具有高效、可靠、经济、环保等优势,可同时满足用户的冷、热、电需求。因其系统内部能量流耦合复杂,导致设计时能源站选址和管网规划困难。为解决这一问题,采用维诺图和综合能源负荷矩交替迭代的方法,确定能源站选址及所辖供能区域;考虑站内各类能源设备运行特点,基于“以电定热”(FEL)和“以热定电”(FTL)2种基本运行策略,开展站内能源系统设备容量优化研究,得到系统最佳运行模式;从多能源站协调的角度,建立区域电力-热力互联管线传输模型以解决站间能量调度管理的难题。对北京市某近零能耗社区的8种典型场景进行分析,年总成本降低334万元,经济效益提高3.9%,验证了本方案的有效性。

一种不完备决策表的数据补齐方法

针对不完备信息系统,提出缺失比概念.用缺失比表示待填充样本中缺失数据和剩余数据对决策结果的影响能力的大小,进而根据缺失比选择使用的约简,然后通过填充矩阵寻找缺失数据的最大可能值.采用对Rough集进行扩充和数据填补相结合的决策表数据补齐方法.试验结果表明该方法有较好效果.

依零测度的Fuzzy集运算

给出了Fuzzy集合依零测度的包含,依零测度的相等,依零测度的并,交,补运算等,并补充地研究了这些基本运算,获得了若干好的性质。Fuzzy集依零测度的基本运算比标准fuzzy集合论的相应运算更有人情味,更为接近人的智能机理,有望在智能信息处理和软计算领域取得好的应用。

有限群的π′－闭性

将Ｅｎｇｅｌ条件进行了推广，利用（ｐ，ｑ）－子群的性质，得到了有限群为π′－闭的几个重要结果。

关于对集合ER￣n的各种点的分类及其关系

本文系统地给出了所给集合Ｅ（Ｒｎ）的各种点的概念，并用它们将空间Ｒｎ进行分类，同时给出这此集类之间的关系图，由关系图又得到一些结论。最后，指出算符“Ｃ、Ｏ、’、－、”

区间集上格蕴涵代数的特性研究

格蕴涵代数是一种处理不确定或不精确信息的格值逻辑系统,区间集是在近似推理、模糊控制等领域中有着广泛应用的重要研究方向。本文是在区间集上,给出了区间补、区间伪补和区间蕴涵三个运算的概念,证明了<I(2U),.,.,c,*>是有余格。与此同时,我们在区间集上重新构造了格蕴涵代数<I(2U),.,.,c,*,佀>,且讨论了该格蕴涵代数的一些特性,如等价性质,等于全集的性质,不等式性质和条件性质等等。

c-补空间及其性质初探

本文首先给出了c-集的概念,然后在有限补拓扑空间及可数补拓扑空间的基础上引入了c-补拓扑空间的概念并对其性质进行了初步探讨。给出了三条引理,证明了一条预备定理与十一条定理。