Fuzzy quantum logics and infinite-valued Łukasiewicz logic

A new, physically more plausible definition of a fuzzy quantum logic is proposed. It is shown that this definition coincides with the previously studied definition of a fuzzy quantum logic; therefore it defines objects which are traditional quantum logics with ordering sets of states. The new definition is expressed exclusively in terms of fuzzy set operations which are generated by connectives of multiple-valued logic studied by ukasiewicz at the beginning of the 20th century. Therefore, the logic of quantum mechanics is recognized as a version of infinite-valued ukasiewicz logic.     

Quasi-Heyting Algebras: A New Class of Lattices

Quasi-Heyting algebras (QHAs) generalize boththe Heyting algebras (HAs) of intuitionistic logic andthe orthomodular lattices (OMLs) of quantum logic. As inHAs, negation is a Galois connection, which expresses abandonment of the law of theexcluded middle, and as in OMLs, incompatibility ofpropositions is expressed by departures fromdistributivity. Formulating an equational definition ofQHAs leads to generalizations of familiar operations. QHAsare the truthvalue objects of a generalization oftoposes. So far, this development has aimed to providefoundations of logic and model theory suitable for addressing computer science problems, but theyalso appear applicable as formulations of the logic ofsome types of scientific measurement. Many properties ofOMLs are likely to have generalizations to QHAs.     

HL-2A控制系统及其放电管理

HL-2A控制系统由时序控制系统,逻辑控制系统和反馈控制系统三个部分组成。介绍了这三个部分的硬件和软件构成,并给出了主要被控对象极向场线圈的电气参数。在此基础上,讨论了HL-2A控制系统采用的放电管理软件的特点和功能,以及该控制系统的工作过程。最后给出了初始等离子体放电的实验结果。     

A real signal and its states

The paper describes the general physical theory of signals, carriers of information, which supplements Shannon’s abstract classical theory and is applicable in much broader fields, including nuclear physics. It is shown that in the absence of classical noise its place should be taken by the physical threshold of signal perception for objects of both macrocosm and microcosm. The signal perception threshold allows the presence of subthreshold (virtual) signal states. For these states, Boolean algebra of logic (A = 0/1) is transformed into the “algebraic logic” of probabilities (0 ≤ a ≤ 1). The similarity and difference of virtual states of macroand microsignals are elucidated. “Real” and “quantum” information for computers is considered briefly. The maximum information transmission rate is estimated based on physical constants.     

Geometry of quantum states

In the first part of this work, an attempt of a realistic interpretation ofquantum logic is presented. Propositions of quantum logic are interpreted as corresponding to certain macroscopic objects called filters; these objects are used to select beams of particles. The problem of representing the propositions as projectors in a Hilbert space is considered and the classical approach to this question due to Birkhoff and von Neumann is criticized as neglecting certain physically important properties of filters. A new approach to this problem is proposed.The second part of the paper contains a revision of the concept of a state in quantum mechanics. The set of all states of a physical system is considered as an abstract space with a geometry determined by the transition probabilities. The existence of a representation of states by vectors in a Hilbert space is shown to impose strong limitations on the geometric structure of the space of states. Spaces for which this representation does not exist are called non-Hilbertian. Simple examples of non-Hilbertian spaces are given and their possible physical meaning is discussed. The difference between Hilbertian and non-Hilbertian spaces is characterized in terms of measurable quantities.     

基于激光雷达的移动机器人动态障碍检测

动态环境下运动物体的检测是移动机器人研究的难点问题之一。以未知环境为研究背景,提出了一种基于激光雷达的自主动态障碍检测方法。通过k-近邻方法对激光雷达测距数据进行了空间障碍聚类,在此基础上分析了聚类障碍的特征参数,例如区域、质心,利用聚类障碍数据的时间关联性分析并确定了障碍的类型,并采用模糊地图匹配的策略实现了地图匹配和更新。在所研制的移动机器人上进行了实验,实验结果验证了方法的有效性。     

细菌视紫红质在全光逻辑器件中的研究与应用

介绍了细菌视紫红质在逻辑器件中的研究与应用,总结了利用细菌视紫红质研究逻辑器件的方法,明确进一步研究逻辑器件的发展方向是智能化器件的开发.     

On quantum logic

The status and justification of quantum logic are reviewed. On the basis of several independent arguments it is concluded that it cannot be a logic in the philosophical sense of a general theory concerning the structure of valid inferences. Taken as a calculus for combining quantum mechanical propositions, it leaves a number of significant aspects of quantum physics unaccounted for. It is shown, moreover, that quantum logic, far from being more general than Boolean logic, forms a subset of a slight and natural extension of Boolean logic, a subset which corresponds to incomplete statements. The philosophical background of this unsatisfactory state of affairs is briefly explored.     

A Model for Spacetime II. The Emergence of Higher Dimensions and Field Theory/Strings Dualities

We show that in 4-spacetime modified at very short distances due to the weakening of classical logic, the higher dimensions emerge. We analyse the case of some smooth topoi, and the case of some class of pointless topoi. The pointless topoi raise the dimensionality due to the forcing adding “string” objects and thus replacing classical points in spacetime. Turning to strings would be something fundamental and connected with set theoretical forcing. The field theory/strings dualities originate at the set theoretical level of the theories. It is argued that this fundamental level can help solving some difficulties of the physical dualities.     

Nonordered quantum logic and its YES-NO representation

It is shown that an orthomodular lattice is an ortholattice in which aunique operation of bi-implication corresponds to the equality relation and that the ordering relation in the binary formulation of quantum logic as well as the operation of implication (conditional) in quantum logic are completely irrelevant for their axiomatization. The soundness and completeness theorems for the corresponding algebraic unified quantum logic are proved. A proper semantics, i.e., a representation of quantum logic, is given by means of a new YES-NO relation which might enable a proof of the finite model property and the decidability of quantum logic. A statistical YES-NO physical interpretation of the quantum logical propositions is provided.     

Planck’s Constant in the Light of Quantum Logic

The goal of quantum logic is the “bottom-top” reconstruction of quantum mechanics. Starting from a weak quantum ontology, a long sequence of arguments leads to quantum logic, to an orthomodular lattice, and to the classical Hilbert spaces. However, this abstract theory does not yet contain Planck’s constant ℏ. We argue, that ℏ can be obtained, if the empty theory is applied to real entities and extended by concepts that are usually considered as classical notions. Introducing the concepts of localizability and homogeneity we define objects by symmetry groups and systems of imprimitivity. For elementary systems, the irreducible representations of the Galileo group are projective and determined only up to a parameter z, which is given by z=m/ℏ, where m is the mass of the particle and ℏ Planck’s constant. We show that ℏ has a meaning within quantum mechanics, irrespective of use the of classical concepts in our derivation.     

Achieving high bit rate logical stochastic resonance in a bistable system by adjusting parameters

The phenomenon of logical stochastic resonance(LSR) in a nonlinear bistable system is demonstrated by numerical simulations and experiments. However, the bit rates of the logical signals are relatively low and not suitable for practical applications. First, we examine the responses of the bistable system with fixed parameters to different bit rate logic input signals, showing that an arbitrary high bit rate LSR in a bistable system cannot be achieved. Then, a normalized transform of the LSR bistable system is introduced through a kind of variable substitution. Based on the transform, it is found that LSR for arbitrary high bit rate logic signals in a bistable system can be achieved by adjusting the parameters of the system,setting bias value and amplifying the amplitudes of logic input signals and noise properly. Finally, the desired OR and AND logic outputs to high bit rate logic inputs in a bistable system are obtained by numerical simulations. The study might provide higher feasibility of LSR in practical engineering applications.     

Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics

We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to the atomic subformulas in a reversible way. The procedure goes from the whole to the parts against the compositionality-principle and gives rise to a semantic characterization for a new form of quantum logic that has been called “Łukasiewicz quantum computational logic”. It is interesting to compare the logic based on qubit-semantics with that on qudit-semantics. Having in mind the relationships between classical logic and Łukasiewicz-many valued logics, one could expect that the former is stronger than the fragment of the latter. However, this is not the case. From an intuitive point of view, this can be explained by recalling that the former is a very weak form of logic. Many important logical arguments, which are valid either in Birkhoff and von Neumann’s quantum logic or in classical logic, are generally violated.     

Realization of XNOR logic function with all-optical high contrast XOR and NOT gates

In this article, we propose the realization of XNOR logic function by using all-optical XOR and NOT logic gates. Initially, both XOR and NOT gates are designed, simulated and optimized for high contrast outputs. T-shaped waveguides are created on the photonic crystal platform to realize these logic gates. An extra input is used to perform the inversion operation in the NOT gate. Inputs in both the gates are applied with out of phase so as to have a destructive interference between them and produce negligible intensity for logic ‘0'. The XOR and NOT gates are simulated using Finite Difference Time Domain method which results with a high contrast ratio of 55.23?dB and 54.83?dB, respectively at a response time of 0.136?ps and 0.1256?ps. Later, both the gates are cascaded by superimposing the output branch of the waveguide of XOR gate with the input branch of the waveguide of NOT gate so that it can be resulted with compact size for XNOR logic function. The resultant structure of XNOR logic came out with the contrast ratio of 12.27?dB at a response time of 0.1588?ps. Finally, it can be concluded that the proposed structures with fair output performance can suitably be applied in the design of photonic integrated circuits for high speed computing and telecommunication systems.     

Simplification of Space-Variant Parallel Logic Operations Using the Temporal Method

A time-domain encoding method (temporal method) for space-variant parallel logic operations, which can execute different operations in parallel, is proposed. The temporal method is based on temporal encoding of two input patterns, temporal gating of the coded pattern, and decoding by temporal addition of the gated patterns. The first feature of the proposed method is that parallel logic operations can be performed without complex pattern transformations. The second feature is that the logical output can be directly fed to succeeding systems without specific decoding. Therefore, the logic operation system can be constructed using conventional optics and existing spatial light modulators. In order to confirm these features, an optoelectronic experimental system is constructed and space-variant parallel logic operations are performed.     

All-Optical Multifunctional Logic Gates for Image Information Using Photorefractive Two-Wave Mixing

In this paper, we propose all-optical multifunctional logic gates for image information using photorefractive (PR) two-wave mixing. The optical setup is simply configured compared with the other all-optical logic gates for image information. The XOR-, OR-, and AND-operation are all-optically performed in the same optical setup through the transitional response of the PR medium. One can switch these logic operations simply by means of the on-off control of the signal and the pump beam illumination. We analyze the spatial distribution of beam intensity in these logic gates using a finite-difference beam propagation method (FD-BPM) and the crosstalk between adjoining pixels is examined from the result. We also experimentally verify that the XOR-, OR-, and AND-gates are realized in the same optical setup.     

一种视频图像规则圆目标的超分辨率位置测量方法

介绍了一种用于视频图像规则圆目标的超分辨率位置测量方法。分析了超分辨率测量的原理 ,并提出和完成了测量方案 ,取得了满意的结果。首先在目标静止时 ,连续采集多帧视频图像 ,通过叠加平均进行降噪 ;其次通过罗伯特微分算子进行边界探测 ,求出目标的大致位置 ;最后通过边界重心拟合法、边界圆拟合法和最小二乘法拟合求出目标的精确位置。理论分析和实验表明 ,完整圆目标时 ,测量精度可达 1/4像素 ;而当目标图像有缺陷时 ,边界圆拟合法和最小二乘法拟合测量误差增加较少 ,边界重心法的测量误差增加较多。在具体情况下 ,算法及参数应该作相应的调整