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

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

“和”、“齐”考——兼论中国烹饪文化的民族个性与发展规律

中国自古以农立国,在农业生产过程中产生了“和”、“齐”的哲学思辨与社会意识,并成为中华民族饮食生活独有的文化内涵。从古文字研究的角度探究“和”、“齐”二字的原初意义,既可揭示中国烹饪文化的民族个性,亦可正确把握民族饮食文化的历史发展规律。     

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

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

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

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

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

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

On the finite and general implication problems of independence atoms and keys

We investigate implication problems for keys and independence atoms in relational databases. For keys and unary independence atoms we show that finite implication is not finitely axiomatizable, and establish a finite axiomatization for general implication. The same axiomatization is also sound and complete for finite and general implication of unary keys and independence atoms, which coincide. We show that the general implication of keys and unary independence atoms and of unary keys and general independence atoms is decidable in polynomial time. For these two classes we also show how to construct Armstrong relations. Finally, we establish tractable conditions that are sufficient for certain classes of keys and independence atoms not to interact.     

Performance-friendly rule extraction in large water data-sets with AOC posets and relational concept analysis

In this paper, we consider data analysis methods for knowledge extraction from large water data-sets. More specifically, we try to connect physico-chemical parameters and the characteristics of taxons living in sample sites. Among these data analysis methods, we consider formal concept analysis (FCA), which is a recognized tool for classification and rule discovery on object–attribute data. Relational concept analysis (RCA) relies on FCA and deals with sets of object–attribute data provided with relations. RCA produces more informative results but at the expense of an increase in complexity. Besides, in numerous applications of FCA, the partially ordered set of concepts introducing attributes or objects (AOC poset, for Attribute–Object–Concept poset) is used rather than the concept lattice in order to reduce combinatorial problems. AOC posets are much smaller and easier to compute than concept lattices and still contain the information needed to rebuild the initial data. This paper introduces a variant of the RCA process based on AOC posets rather than concept lattices. This approach is compared with RCA based on iceberg lattices. Experiments are performed with various scaling operators, and a specific operator is introduced to deal with noisy data. We show that using AOC poset on water data-sets provides a reasonable concept number and allows us to extract meaningful implication rules (association rules whose confidence is 1), whose semantics depends on the chosen scaling operator.     

格蕴涵代数的软LI-理想

借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的软LI-理想像与原像的性质。     

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

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

赋范格H蕴涵代数和模糊格H蕴涵代数

在范数的条件下扩充了格H蕴涵代数的概念,即赋范格H蕴涵代数,并讨论一些性质。然后将模糊集合论运用于赋范格H蕴涵代数,给出了模糊赋范格H蕴涵代数的定义,得到了一些基本性质。通过使用两个赋范格H蕴涵代数之间的映射定义了赋范格H蕴涵代数同态,且得到了一些性质。最后得到了在赋范格H蕴涵代数中的数列对于蕴涵距离是有界的结论。