忆阻器状态逻辑中与操作的高效设计与实现

作为电阻、电容、电感之外的第4种基本电路元件,忆阻器自2008年被发现以来受到学术界和产业界的广泛关注.忆阻器的阻值记忆效应和纳米工艺制造方式使其被认为可用于构建未来更大容量和密度的存储器,逐渐替代FLASH等现有存储器件.除存储功能外,HP公司在2010年《Nature》上发表的文章表明,忆阻器还可以通过以蕴含为基础的状态逻辑实现任意逻辑运算.研究了忆阻器状态逻辑的另一种操作——与操作,提出了一种更加高效的与操作实现方法,该方法不需要增加额外的忆阻器,降低了激励电压的复杂性,减小了误差,使运算更加简便高效.最后通过SPICE模拟仿真对提出的方法进行了验证.     

“两层次三阶段”的流域初始水权和谐配置内涵与理念

针对现有流域初始水权配置方法在实践过程中缺乏可操作性、协商成本过高的现实,提出"两层次三阶段"的流域初始水权和谐配置方法。首先介绍流域初始水权和谐配置的内涵,然后探讨流域初始水权和谐配置的核心思想、本质特征、表现形态,以及实践理念,旨在有效缓解水权分配过程中的冲突与矛盾,为保护流域水资源和生态环境,协调上下游和左右岸区域的正当用水权益,促进人水和谐,构建和谐社会提供理论支撑。     

直觉模糊二元合成补IFMT三I方法

针对构造直觉模糊蕴涵算子(IFIO)沿用Fuzzy集一元补导致出现的问题,对直觉模糊集(IFS)隶属函数和非隶属函数进行合成求补运算,提出了二元合成补的概念。给出了二元合成补的一些性质,证明了IFS的标准补和对合补是二元合成补的两个特例。构造了基于二元合成补的R0型IFIO,并应用于直觉模糊拒取式(IFMT)问题的三I方法。结果表明,基于二元合成补的IFIO构造方法简单,构造出的IFIO容易满足IFS定义的要求,具有的性质适合IFMT三I方法,并能保证该方法在一定条件下是还原算法。     

关于IV-(∈,∈Ⅴq)模糊格蕴涵子代数

运用区间值模糊集的思想对IV-(∈,∈Ⅴq)-模糊格蕴涵子代数概念作进一步研究。给出了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的若干新的性质与刻画;获得了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的象与原象成为IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的条件;讨论了IV-(∈,∈Ⅴq)-模糊格蕴涵子代数的直积特征。     

模糊控制器输出值不变的两个充分条件

模糊控制器通常由模糊化、模糊推理以及清晰化三部分构成, 而模糊推理决定了一个由输入论域到输出论域的模糊映射. 当模糊映射为常值映射时, 任意选择模糊化和去模糊化方式, 模糊控制器的输出值不因输入信号变化而改变. 本文给出了模糊映射为常值映射的两个充分条件, 并将结论从单入单出模糊系统推广到多入单出模糊系统.     

蕴涵算子族G-λ-∏的模糊推理三I支持算法

提出了基于蕴涵算子族G-λ-∏的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族G-λ-∏给出了模糊推理的FMP模型及FMT模型的三I支持算法、α-三I支持算法。     

形式背景的蕴涵规则提取算法

对形式概念分析中如何从概念格提取出形式背景的完备的无冗余的蕴涵规则集进行了研究,从数学理论上证明了通过求出的概念格中的每个概念的真内涵缩减集可以得到形式背景的完备的蕴涵规则集,提出了如何再去除其中的冗余蕴涵得到形式背景的完备的无冗余的蕴涵集合的方法并从数学理论上证明了该方法的正确性,给出了一个从概念格得到形式背景的完备的无冗余的蕴涵规则集的算法。     

二级倒立摆的区间值模糊控制

为了提高倒立摆模糊控制的稳定性,研究了二级倒立摆的区间值模糊控制.根据区间值模糊集理论,由不同类型的隶属度函数构成区间结构,利用区间值模糊蕴涵建立控制规则,设计出二级倒立摆的区间值模糊控制器,并通过仿真与实时控制实验,对比分析了区间值模糊控制与点值模糊控制的性能.实验结果表明,区间值模糊控制具有更好的稳定性和鲁棒性.     

On the implication problem for cardinality constraints and functional dependencies

In database design, integrity constraints are used to express database semantics. They specify the way by that the elements of a database are associated to each other. The implication problem asks whether a given set of constraints entails further constraints. In this paper, we study the finite implication problem for cardinality constraints. Our main result is a complete characterization of closed sets of cardinality constraints. Similar results are obtained for constraint sets containing cardinality constraints, but also key and functional dependencies. Moreover, we construct Armstrong databases for these constraint sets, which are of special interest for example-based deduction in database design.     

直觉模糊逻辑非算子与蕴涵算子的一些性质及证明

给出了直觉模糊逻辑非算子的定义,讨论了非算子的一些性质。提出了关于直觉蕴涵算子的两个重要定理,并给出了证明