Results 41 to 50 of about 7,093 (165)
Utilization of Symmetric Switching Functions in the Symbolic Reliability Analysis of Multi-State k-out-of-n Systems [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2019 Symmetric switching functions (SSFs) play a prominent role in the reliability analysis of a binary k-out-of-n: G system, which is a dichotomous system that is successful if and only if at least k out of its n components are successful.
Ali Muhammad Ali Rushdi
doaj +1 more source
Inversion Complexity of Functions of Multi-Valued Logic
CoRR, 2015 The minimum number of NOT gates in a logic circuit computing a Boolean function is called the inversion complexity of the function. In 1957, A. A. Markov determined the inversion complexity of every Boolean function and proved that $\lceil\log_{2}(d(f)+1)\rceil$ NOT gates are necessary and sufficient to compute any Boolean function $f$ (where $d(f)$ is
Vadim V. Kochergin, Anna V. Mikhailovich
openaire +2 more sources
Advanced Electronic MaterialsTo surpass the slowdown of Moore's Law, multi‐valued logic (MVL) systems are explored to increase information processing density and enhance computational efficiency. Although conventional MVL systems offer substantial reductions in the number of devices
Junqi You +6 more
doaj +1 more source
Δ-Randomized Divergent Degree and Consistent Degree of Theories in ΠΔ
AxiomsIn quantitative logic, the Δ operator plays a crucial role in defuzzification by mapping multi-valued truth values to classical two-valued ones. This paper introduces and investigates the Δ-randomized divergent degree and consistent degree of theories in
Jiangshan Hu, Yunyun Sui
doaj +1 more source
A Low Complexity Multi-Valued Logic Successor and Predecessor in Nanoelectronics
Majlesi Journal of Electrical EngineeringExtremely efficient successor and predecessor circuits are suggested in this article using 4 CNTFETs. They have much fewer interconnections and complexity compared to the best previous circuits. The proposed circuits are designed by combining digital and
Yousef Pendashteh, Seied Ali Hosseini
doaj +1 more source
On the Construction of Multi-valued Concurrent Dynamic Logics
, 2020 Dynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator [18] was introduced to formalise programs running in parallel. In other direction, other authors proposed a systematic method for generating multi-valued propositional dynamic logics to reason about weighted programs [14].
openaire +3 more sources
SYNTHESIS AND REDUCED LOGIC GATE REALIZATION OF MULTI-VALUED LOGIC FUNCTIONS USING NEURAL NETWORK DEPLOYMENT ALGORITHM [PDF]
Journal of Engineering Science and Technology, 2016 In this paper an evolutionary technique for synthesizing Multi-Valued Logic (MVL) functions using Neural Network Deployment Algorithm (NNDA) is presented. The algorithm is combined with back-propagation learning capability and neural MVL operators.
A. K. CHOWDHURY, A. K. SINGH
doaj
Design of SRAM with CNFET based on ternary literal circuit
Dianzi Jishu Yingyong, 2018 Based on the analysis of the literal circuit and ternary memorizer, a ternary SRAM design method is proposed, which integrates with literal circuit and the CNFET.
Kang Yaopeng +3 more
doaj +1 more source
A High-Level Petri Net Framework for Genetic Regulatory Networks
Journal of Integrative Bioinformatics, 2007 To understand the function of genetic regulatory networks in the development of cellular systems, we must not only realise the individual network entities, but also the manner by which they interact.
Banks Richard, Steggles L. Jason
doaj +1 more source
Swarm intelligence versus direct cover algorithms in synthesis of Multi-Valued Logic functions [PDF]
Applied Computing and InformaticsAnt Colony Optimization and Particle Swarm Optimization represent two widely used Swarm Intelligence (SI) optimization techniques. Information processing using Multiple-Valued Logic (MVL) is carried out using more than two discrete logic levels.
Mostafa Abd-El-Barr +2 more
doaj +1 more source