ON THE RELIABILITY OF MEDIUM LOGIC(ML)

Medium logic (ML) is set up for the common theoritical foundation of the classical mathematics and fuzzy mathematics. It has been formalized as a new theory of logic. See note (1) and note (2). As mathematical logic the ML's construct reches the study of the informal deductive inference by means of studying the formal inference in it, and it demands the formal inference of ML reliable reflected the deductive inference. For this reason, this paper deals with its reliability. The result shows that the formal inference of M L consists with deductive inference, and that ML reliably reflects the deductive inference.     

Knowledge-based manpower planning

The capacity performance of knowledge-based systems differs essentially from the one of traditional systems. The result is that already today these systems are employed in a number of application areas, and that the intensity of research and development in this field is very high.In this paper the development of a knowledge-based manpower planning system (KBMS) is described. The two main components of this system are a knowledge-based system developed for management planning and a model designed for manpower planning in personnel leasing companies. This model was realized as a KBMPS by applying the knowledge-based system, which was developed for management planning.     

Horn clause computability

It is proved that a Turing computable functionf is computable in binary Horn clauses, which are a subset of first order logic. Moreover, it is proved that the binary Horn clauses do not need more than one function symbol. The proofs comprise computable relations that can be run efficiently as logic programs on a computer.     

一种高精度无刷直流陀螺电机锁相稳速系统

设计了一种两相无位置传感器无刷直流陀螺电机锁相稳速系统，单片机与可编程逻辑器的结合使系统以简单的电路实现了各种数字信号的处理。锁定时，电机反电势频率脉冲跟踪基准脉冲，电机稳速运行。试验表明：该系统稳速精度高，实用性强，可靠性高。     

Data fusion and path-following controllers comparison for autonomous vehicles

This paper presents a comparative study of two path-following controllers developed for guiding autonomous vehicles in semi-structured outdoor environments. Part of this paper is focused on the performance of two path-following controllers, which are implemented using two different approaches, the first using fuzzy logic and the second using chained systems theory. The control effort and the errors magnitude along the path are evaluated in a comparative way. A magnetic guidance system for autonomous vehicles navigation in semi-structured outdoor environments is also described, integrating redundant encoders data and absolute positioning data provided by on-board magnetic sensors and magnetic markers buried in the road. Simulation and experimental results are presented showing the effectiveness of the overall control system.     

Prediction of paddy soil normal adhesion to steel surfaces by fuzzy logic

Numerous data concerning paddy soil composition, water content and soil-steel normal adhesion were collected in South China during 1974-1983. The fuzzy logic relation of adhesion with clay content and water content was derived, by which paddy soil adhesion to steel surfaces was predicted if soil composition and water content were known.     

Skyrmion-based logic gates controlled by electric currents in synthetic antiferromagnet

Skyrmions in synthetic antiferromagnetic (SAF) systems have attracted much attention in recent years due to their superior stability, high-speed mobility, and completely compensated skyrmion Hall effect. They are promising building blocks for the next generation of magnetic storage and computing devices with ultra-low energy and ultra-high density. Here, we theoretically investigate the motion of a skyrmion in an SAF bilayer racetrack and find the velocity of a skyrmion can be controlled jointly by the edge effect and the driving force induced by the spin current. Furthermore, we propose a logic gate that can realize different logic functions of logic AND, OR, NOT, NAND, NOR, and XOR gates. Several effects including the spin-orbit torque, the skyrmion Hall effect, skyrmion-skyrmion repulsion, and skyrmion-edge interaction are considered in this design. Our work may provide a way to utilize the SAF skyrmion as a versatile information carrier for future energy-efficient logic gates.     

INHIBIT‐Inspired Two‐Output DNA Logic Gates Based on Surface‐Enhanced Raman Scattering

Herein, we presented a novel logic gate based on an INHIBITION gate that performs parallel readouts. Logic gates performing INHIBITION and YES/OR were constructed using surface‐enhanced Raman scattering as optical outputs for the first time. The strategy allowed for simultaneous reading of outputs in one tube. The applicability of this strategy has been successfully exemplified in the construction of half‐adder using the two‐output logic gates as reporting gates. This reporting strategy provides additional design flexibility for dynamic DNA devices.     

Multifunctional Logic in a Photosensitizer with Triple‐Mode Fluorescent and Photodynamic Activity

Herein we describe a photosensitizer (PS) with the capacity to perform multiple logic operations based on a pyrene‐containing phthalocyanine (Pc) derivative. The system presents three output signals (fluorescence at 377 and 683 nm, and singlet oxygen (¹O₂) production), which are dependent on three inputs: two chemical (concentration of dithiothreitol (DTT) and acidic pH) and one physical (visible light above 530 nm for ¹O₂ sensitization). The multi‐input/multioutput nature of this PS leads to single‐, double‐, and triple‐mode activation pathways of its fluorescent and photodynamic functions, through the interplay of various interrelated AND, ID, and INHIBIT gates. Dual fluorescence emissions are potentially useful for orthogonal optical imaging protocols while ¹O₂ is the main reactive species in photodynamic therapy (PDT). We thus expect that this kind of PS logic system will be of great interest for multimodal cellular imaging and therapeutic applications.     

A new fluorescence chemosensor based on benzothiazole derivative for Zn2+ and its logic gate behavior

A novel benzothiazole derivative J as a fluorescent chemosensor for Zn²⁺ has been designed and synthesized. The chemosensor J exhibits high selectivity and sensitivity to Zn²⁺ as fluorescence “turn-on” behavior, which the other cations do not make sense. The detection limit calculated by fluorescence titration method was 1.64 × 10^?8 M. Furthermore, the generated J-Zn²⁺ ensemble could recover the enhanced fluorescence upon the addition of EDTA generating an “on-off-on” recycle. In addition, the test strip based on J was fabricated, which could act as a convenient and efficient Zn²⁺ test kit.