Results 51 to 60 of about 240,562 (189)
InformatikaObjectives. The problems of minimizing the number of cofactors (subfunctions) of the Shannon expansions located at the same level of the BDD, representing a system of incompletely defined (partial) Boolean functions, are considered.
P. N. Bibilo
doaj +1 more source
Extracting Co-Occurrence Relations from ZDDs
Algorithms, 2012 A zero-suppressed binary decision diagram (ZDD) is a graph representation suitable for handling sparse set families. Given a ZDD representing a set family, we present an efficient algorithm to discover a hidden structure, called a co-occurrence relation,
Takahisa Toda
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
Tools for reformulating logical forms into zero-one mixed integer programs (MIPS) [PDF]
, 1992 A systematic procedure for transforming a set of logical statements or logical conditions imposed on a model into an Integer Linear Programming (ILP) formulation or a Mixed Integer Programming (MIP) formulation is presented.
Lucas, CA, Mitra, G, Moody, S
core
Communications, 2014 Reliability is the important characteristic of systems. Most of the systems consist of more than one component. Moreover, modern systems are very complex and they include a lot of components. Therefore, effective methods have to be developed for analysis
Jozef Kostolny +2 more
doaj +1 more source
Boolean Algebra Application in Analysis of Flight Accidents [PDF]
INCAS Bulletin, 2015 Fault tree analysis is a deductive approach for resolving an undesired event into its causes, identifying the causes of a failure and providing a framework for a qualitative and quantitative evaluation of the top event.
Casandra Venera BALAN
doaj +1 more source
Decision making process via binary decision diagram [PDF]
International Journal of Management Science and Engineering Management, 2014 Firms require to optimize any decisions taken for increasing their competitiveness. Each decision will depend of a large number of causes. The relations between the causes and the decisions are effected by the decision making process. An approach to finding the best solution to each logistical or organizational problem is to identify the main causes ...
Pliego Marugán, Alberto +2 more
openaire +2 more sources
Circuit Power Consumption Estimation Method Based on ROBDD [PDF]
Jisuanji gongcheng, 2016 When the power consumption estimated by the probability power estimation method is used as the cost function for power optimization,the limitations of the methods themselves or ignoring the characteristics of the circuit node lead to lower accuracy of ...
LI Qiongying,XIA Yinshui,ZHANG Junli
doaj +1 more source
TeDDy: Templated decision diagram library
SoftwareXDiscrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena +2 more
doaj +1 more source
Improved MDD Algorithm for Mission Reliability Estimation of an Escort Formation
IEEE Access, 2020 An escort formation is a phased mission system of systems (PMSoS), which is composed of multiple ships with different functions. The configuration of the formation and success criteria for a mission may vary in different phases.
Ruibing Bian +3 more
doaj +1 more source