Results 41 to 50 of about 9,112 (162)
IEEE AccessComputerized adaptive testing (CAT) presents a tradeoff dilemma involving item exposure bias and measurement accuracy. To resolve this dilemma, we propose a new two-step CAT mechanism to balance exposure bias and measurement accuracy.
Maomi Ueno +3 more
doaj +1 more source
Optimal Dynamic Analysis of Electrical/Electronic Components in Wind Turbines
Energies, 2017 Electrical and electronic components are very important subcomponents in modern industrial wind turbines. Complex multimegawatt wind turbines are continuously being installed both onshore and offshore, continuously increasing the demand for sophisticated
Fausto Pedro García Márquez +4 more
doaj +1 more source
Journal of Computer Science and Technology, 2007 This paper proposes a model that predicts the complexity of Boolean functions with only XOR/XNOR min-terms using back propagation neural networks (BPNNs) applied to Binary Decision Diagrams (BDDs). The BPNN model (BPNNM) is developed through the training
Ali Assi +3 more
doaj
Integrated Methodology for Software Reliability Analysis [PDF]
Informatică economică, 2012 The most used techniques to ensure safety and reliability of the systems are applied together as a whole, and in most cases, the software components are usually overlooked or to little analyzed.
Marian Pompiliu CRISTESCU +2 more
doaj
Operations on Multiple Transition Faults without Enumeration
MATEC Web of Conferences, 2016 The multiple transition fault model has been used to represent alternative defective gate combinations in the circuit. However, the number of faults is very large even of modest size circuits and therefore the defective configuration may not be ...
Toulas Theodoros, Tragoudas Spyros
doaj +1 more source
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs
Algorithms, 2012 Link puzzles involve finding paths or a cycle in a grid that satisfy given local and global properties. This paper proposes algorithms that enumerate solutions and instances of two link puzzles, Slitherlink and Numberlink, by zero-suppressed binary ...
Shin-ichi Minato +5 more
doaj +1 more source
Average Path Length of Binary Decision Diagrams [PDF]
IEEE Transactions on Computers, 2005 The traditional problem in binary decision diagrams (BDDs) has been to minimize the number of nodes since this reduces the memory needed to store the BDD. Recently, a new problem has emerged: minimizing the average path length (APL). APL is a measure of the time needed to evaluate the function by applying a sequence of variable values. It is of special
Sasao, Tsutomu +2 more
openaire +2 more sources
Topology planning for autonomous MMGs: an ordered binary decision diagram-based approach
IET Smart Grid, 2019 This paper finds its motivation from the perspective of utility planners, where the flexibility of choice while reconfiguring a distribution system into Multi-Micrgrids (MMGs) is critical.
Hafiz Anwar Ullah Khan +3 more
doaj +1 more source
EMPLOYING COMPLEXITY ESTIMATES OF BINARY DECISION DIAGRAMS IN THE SYNTHESIS OF LOGICAL CIRCUITS
Informatika, 2016 A formula is suggested to evaluate the area of a logical circuit that is built in a given library of logical elements according to the BDD (Binary Decision Diagram) representation of a system of Boolean functions. The experimental results of synthesis of
N. A. Avdeev, P. N. Bibilo
doaj
Quantum and classical nondeterministic OBDDs
Учёные записки Казанского университета: Серия Физико-математические наукиA model of nondeterministic ordered binary decision diagrams (NOBDDs) was analyzed. A method for proving a lower bound on the complexity of quantum NOBDDs was developed.
A. F. Gainutdinova
doaj +1 more source