Results 11 to 20 of about 318,553 (304)
Diagnostics of low-capacity solar power station equipment with 2- and 3-valued logic [PDF]
The paper outlines research issues relating to 2- and 3-valued logic diagnoses developed with the diagnostic system (DIA G 2) for the equipment installed at a low-capacity solar power station.
Stanisław Duer +3 more
doaj +1 more source
Parametrical T-Gate for Joint Processing of Quantum and Classic Optoelectronic Signals
Unmanned network robotics is a new multidisciplinary field that involves many fields of computer networks, multi-agent systems, control theory, 5G and 6G Internet, computer security, and wireless quantum communications.
Alexey Y. Bykovsky, Nikolay A. Vasiliev
doaj +1 more source
Multiple-valued logic is an important branch of the computer science and technology. Multiple-valued logic studies the theory, multiple-valued circuit & multiple-valued system, and the applications of multiple-valued logic included.In the theory of ...
Liu Yu Zhen +3 more
doaj +1 more source
Multiple-valued logic design based on the multiple-peak BiCMOS-NDR circuits
Three different multiple-valued logic (MVL) designs using the multiple-peak negative-differential-resistance (NDR) circuits are investigated. The basic NDR element, which is made of several Si-based metal-oxide-semiconductor field-effect-transistor (MOS)
Kwang-Jow Gan +4 more
doaj +1 more source
Ferroelectric multiple-valued logic units [PDF]
Employing many-valued logic (MVL) data processing allows to dramatically increase the performance of computing circuits. Here we propose to employ ferroelectrics for the material implementation of MVL units basing on their ability to pin the polarization as a sequence of multi-stable states. Two conceptual ideas are considered.
Luk'Yanchuk, Igor A. +7 more
openaire +2 more sources
Design of Ternary Logic and Arithmetic Circuits Using GNRFET
Multiple valued logic (MVL) can represent an exponentially higher number of data/information compared to the binary logic for the same number of logic bits.
Zarin Tasnim Sandhie +2 more
doaj +1 more source
Network control of autonomous robotic devices involves a vast number of secured data coding, verification, and identification procedures to provide reliable work of distant agents. Blockchain scheme provides here the model of the extended linked list for
Alexey Yu. Bykovsky, Nikolay A. Vasiliev
doaj +1 more source
Design of High Performance Quaternary Adders [PDF]
Design of the binary logic circuits is limited by the requirement of the interconnections. A possible solution could be arrived at by using a larger set of signals over the same chip area.
Gurumurthy, K.S., Vasundara Patel, K.S.
core +1 more source
Bounded saturation-based CTL model checking; pp. 59–70 [PDF]
Formal verification is becoming a fundamental step of safety-critical and model-based software development. As part of the verification process, model checking is one of the current advanced techniques to analyse the behaviour of a system. Symbolic model
András Vörös +2 more
doaj +1 more source
Position-based cryptography by means of quantum and classical schemes, using multiple-valued logic computing [PDF]
Quantum and classical schemes of position-based cryprography are to transfer confidential message to an abonent with localised space position. Known verification proceedures are based on time-delay measurements of response signals and can`t provide ...
Bykovsky Alexey Yu.
doaj +1 more source

