二值命题逻辑中有限理论带误差结论集的结构

二值命题逻辑系统中理论Г的带误差结论集是近似推理研究的基本对象,对其结构进行分析是近似推理研究中需要解决的问题。通过公式是有限理论Г的带误差结论的充要条件,利用集合划分方法,对有限理论Г的带误差结论集分别基于真度相等关系和逻辑等价关系进行分类,得到了基于两类等价关系的包含等价类个数和代表元表示形式的分类定理,进一步体现了二值命题逻辑系统近似推理研究中理论Г的带误差结论集的特征。     

精度与程度的逻辑或近似算子的性质

本文目的是探讨精度与程度的复合,探索新的粗糙集拓展模型.从精度与程度的逻辑或运算出发,定义了精度与程度的逻辑或粗糙集模型.在该模型中,通过变精度近似与程度近似的转化公式,研究了精度与程度的逻辑或近似算子,并得到了该近似算子的幂作用等性质.用精度与程度的逻辑或粗糙集模型统一了变精度粗糙集模型、程度粗糙集模型和经典粗糙集模型,并在这些粗糙集模型中得到了近似算子幂作用的相应性质.     

Quantum theory as a description of robust experiments: Derivation of the Pauli equation

It is shown that the Pauli equation and the concept of spin naturally emerge from logical inference applied to experiments on a charged particle under the conditions that (i) space is homogeneous (ii) the observed events are logically independent, and (iii) the observed frequency distributions are robust with respect to small changes in the conditions under which the experiment is carried out. The derivation does not take recourse to concepts of quantum theory and is based on the same principles which have already been shown to lead to e.g. the Schrödinger equation and the probability distributions of pairs of particles in the singlet or triplet state. Application to Stern–Gerlach experiments with chargeless, magnetic particles, provides additional support for the thesis that quantum theory follows from logical inference applied to a well-defined class of experiments.     

关于教材中热力学第二定律的若干逻辑问题

指出了一些物理化学教材在叙述热力学第二定律时存在的若干逻辑问题,表明它们违反了逻辑学中的同一律、不矛盾律和充足理由律。并从历史的角度简述了Carnot循环和Carnot机效率公式的由来。     

Cumulative Higher‐Order Logic as a Foundation for Set Theory

The systems K_α of transfinite cumulative types up to α are extended to systems K^∞_α that include a natural infinitary inference rule, the so‐called limit rule. For countable α a semantic completeness theorem for K^∞_α is proved by the method of reduction trees, and it is shown that every model of K^∞_α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first‐order set theories can be interpreted in K^∞_α, for suitable α.     

Array-enhanced logical stochastic resonance subject to colored noise

This paper proposes an approach that uses a parallel array to improve the reliability and robustness of logical stochastic resonance subject to colored noise. The experimental results demonstrate that (i) the increase of array size can extend the optimal range of noise intensity and increase the maximum probability of obtaining correct logic operation. (ii) The optimal range of noise correlation time is broadened with the increase of array size. (iii) The main difference between logical stochastic resonance subject to white noise and colored noise is that the increase of noise correlation time broadens the optimal range of noise intensity when the stochastic noise is colored noise. At the same time, the maximum probability of obtaining correct logic operation is close to 1. Therefore, reliable and robust logic gate can be realized under a certain array size.     

ABB PLC与变频器的Profinet通讯系统设计

主要介绍了ABBAC500系列PLC与ACS850系列变频器之间通过Profinet现场总线进行通讯,PLC控制变频器的启动、停止并且可以读取变频器的状态宇和实际速度值。详细说明了PLC的硬件组态和控制程序编写以及变频器的参数设置。系统操作简单,运行稳定、可靠,具有一定的实际意义。     

双稳动力学系统中耦合效应对逻辑随机共振现象的增强作用

研究了电路耦合作用对逻辑随机共振现象以及逻辑门器件稳定性的影响．相对于单个的逻辑门电路,耦合的逻辑门器件可以在更宽的噪声范围内都保持逻辑运算的准确性,即耦合作用可以增强逻辑随机共振现象．此外,这种增强效应随着耦合体系尺度的增大而增大,但是当体系尺度达到一定程度时,这种增强作用达到一个稳定值．最后还考察了耦合强度的影响,发现随着耦合强度的增加,逻辑门器件可以保持逻辑运算准确性所对应的噪声区间非单调地改变,表现出一种共振的行为.     

广义部分Bent函数和广义Bent函数的关系

Bent函数是一类特殊的布尔函数,因其非线性性和稳定性在密码学和通信等领域有很重要的应用,但它们数量少,不平衡且无相关免疫性,为了弥补Bent函数的不足,Claud Carlet提出了部分Bent函数的概念,部分Bent函数是包含Bent函数的更大的函数类,后来,人们又将这两种函数概念先后都拓广到了环zm^n(m为正整数）上,分别被称为zm^n上的广义Bent函数和广义部分Bent函数,本文利用zp^n(p为素数）上广义部分Bent函数的Chrestenson循环谱特征讨论了zp^n上的广义部分Bent函数和广义Bent函数之间的关系,给出了这两种函数之间的函数关系式和谱值关系式。     

Design of Logical Topology with Effective Waveband Usage in IP-over-WDM Networks

We deal with the problem of designing the logical topology in IP-over-WDM networks. Many conventional methods for designing the logical topology assume that a constant number of wavelengths will be available on each fiber. But it is not necessary to utilize all wavelengths on each fiber in building an effective logical topology on a WDM network. Instead, several wave-bands may be considered for introduction while deploying additional wave-bands and their corresponding optical amplifiers when additional wavelengths are actually required. In this case, the number of wavelengths available on the respective fibers depends on the number of optical fiber amplifiers deployed on each fiber. In this paper, we propose a heuristic algorithm for the design of a logical topology with as few optical fiber amplifiers as possible. Our results indicate that our algorithm reduces the number of optical fiber amplifiers with a slight increase of average packet delays.