Publications (9)2.01 Total impact

Article: EVMDDbased analysis and diagnosis methods of multistate systems with multistate components
[Show abstract] [Hide abstract]
ABSTRACT: A multistate system with multistate components is a model of systems, where performance, capacity, or reliability levels of the systems are represented as states. It usually has more than two states, and thus can be considered as a multivalued function, called a structure function. Since many structure functions are monotone increasing, their multistate systems can be represented compactly by edgevalued multivalued decision diagrams (EVMDDs). This paper presents an analysis method of multistate systems with multistate components using EVMDDs. Experimental results show that, by using EVMDDs, structure functions can be represented more compactly than existing methods using ordinary MDDs. Further, EVMDDs yield comparable computation time for system analysis. This paper also proposes a new diagnosis method using EVMDDs, and shows that the proposed method can infer the most probable causes for system failures more efficiently than conventional methods based on Bayesian networks. 
Conference Paper: Minimization of the Number of Edges in an EVMDD by Variable Grouping for Fast Analysis of MultiState Systems
[Show abstract] [Hide abstract]
ABSTRACT: This paper proposes an algorithm to minimize the number of edges in an edgevalued multivalued decision diagram (EVMDD) for fast analysis of multistate systems. We minimize the number of edges by grouping multivalued variables into largervalued variables. By grouping multivalued variables, we can also reduce the number of nodes. However, minimization of the number of nodes by grouping variables is not always effective for fast analysis of multistate systems. On the other hand, minimization of the number of edges is effective. Experimental results show that the proposed algorithm for minimizing the number of edges reduces the number of edges by up to 15% and the number of nodes by up to 47%. This results in a speedup of the analysis of multistate systems by about three times. 
Conference Paper: Hardware Index to Permutation Converter
[Show abstract] [Hide abstract]
ABSTRACT: We demonstrate a circuit that generates a permutation in response to an index. Since there are n! nelement permutations, the index ranges from 0 to n!  1. Such a circuit is needed in the hardware implementation of uniquepermutation hash functions to specify how parallel machines interact through a shared memory. Such a circuit is also needed in cryptographic applications. The circuit is based on the factorial number system. Here, each nonnegative integer is uniquely represented as sn1(n  1)! + sn2(n  2)! +. . . + s11!, where 1 ≤ si ≤ i. That is, the permutation is produced by generating the digits si in the factorial number system representation of the index. The circuit is combinational and is easily pipelined to produce one permutation per clock period. We give experimental results that show the efficiency of our designs. For example. we show that the rate of production of permutations on the SRC6 reconfigurable computer is 1,820 times faster than a program on a conventional microprocessor in the case of 10element permutations. We also show an efficient reconfigurable computer implementation that produces random permutations using the Knuth shuffle algorithm. This is useful in Monte Carlo simulations. For both circuits, the complexity is O(n2), and the delay is O(n). 
Article: Numeric Function Generators
[Show abstract] [Hide abstract]
ABSTRACT: We show the architecture and design of a numeric function generator that realizes, at high speed, arithmetic functions, like log x, sin x, 1 x , etc.. This approach is general; different circuits are not needed for different functions. Further, composite functions, like log (sin ( 1 x )) can be realized as easily as individual functions. A tutorial description of the method is presented, followed by descriptions of the design considerations that must be made. For example, we discuss how circuit complexity increases as the desired approximation error decreases. Also, we discuss enhancements of the basic numeric function generator approach, including higher order polynomial approximations, floating point, and multivariable implementations.  [Show abstract] [Hide abstract]
ABSTRACT: The availability of large, inexpensive memory has made it possible to realize numerical functions, such as the reciprocal, square root, and trigonometric functions, using a lookup table. This is much faster than by software. However, a naive lookup method requires unreasonably large memory. In this paper, we show the use of a lookup table (LUT) cascade to realize a piecewise linear approximation to the given function. Our approach yields memory of reasonable size and significant accuracy.  [Show abstract] [Hide abstract]
ABSTRACT: This paper focuses on the average path length (APL) of BDD's for switching functions. APL is a metric for the time it takes to evaluate the function by a computer program. We derive the APL for the AND, OR, parity, carryout, comparison, threshold symmetric, and majority functions. We also consider the average of the APL for various classes of functions, including symmetric, threshold symmetric, and unate cascade. For symmetric functions, we show the average APL is close to the maximum path length, n, the number of variables. We show there are exactly two functions, the parity functions, that achieve the upper bound, n, on the APL for BDD's over all functions dependent on n variables. All other functions have an APL strictly less than n. We show that the APL of BDD's over all functions dependent on n variables is bounded below by 2 − 1 2 n−1 . The set of functions that achieves this small value is uniquely the set of unate cascade realizable functions. We also show that the APL for benchmark functions is typically much less than for random functions.  [Show abstract] [Hide abstract]
ABSTRACT: In an irredundant sumofproducts expression (ISOP), each product is a prime implicant (Pl) and no product can be deleted without changing the function. Among the ISOPs for some function f, a worst ISOP (WSOP) is an ISOP with the largest number of Pls and a minimum ISOP (MSOP) is one with the smallest number. We show a class of functions for which the MinatoMorreale ISOP algorithm produces WSOPs. Since the ratio of the size of the WSOP to the size of the MSOP is arbitrarily large when it, the number of variables, is unbounded, the MinatoMorreale algorithm can produce results that are very far from minimum. We present a class of multipleoutput functions whose WSOP size is also much larger than its MSOP size. For a set of benchmark functions, we show the distribution of ISOPs to the number of Pls. Among this set are functions where the MSOPs have almost as many Pls as do the WSOPs. These functions are known to be easy to minimize. Also, there are benchmark functions where the fraction of ISOPs that are MSOPs is small and MSOPs have many fewer Pls than the WSOPs. Such functions are known to be hard to minimize. For one class of functions, we show that the fraction of ISOPs that are MSOPs approaches 0 as n approaches infinity, suggesting that such functions are hard to minimize 
Conference Paper: A method to represent multipleoutput switching functions by using multivalued decision diagrams
[Show abstract] [Hide abstract]
ABSTRACT: Multipleoutput switching functions can be simulated by multiplevalued decision diagrams (MDDs) at a significant reduction in computation time. analyze the following approaches to the representation problem: shared multiplevalued decision diagrams (SMDDs), multiterminal multiplevalued decision diagrams (MTMDDs), and shared multiterminal multiplevalued decision diagrams(SMTMDDs). For example, we show that SMDDs fend to be compact, while SMTMDDs tend to be fast. We present an algorithm for grouping input variables and output functions in the MDDs  [Show abstract] [Hide abstract]
ABSTRACT: We introduce eigenfunctions of the ReedMuller transform. Eigenfunctions are functions whose canonical sumofproducts expression and PPRM (positive polarity ReedMuller expression) are isomorphic. In the case of symmetric functions, the eigenfunction can be viewed as a function whose reduced truth vector is identical to the reduced ReedMuller spectrum. We show that the number of symmetric (ordinary) eigenfunctions on Òvariables is ¾ Ò·½ ¾ (¾ ¾ Ò½).
Publication Stats
89  Citations  
2.01  Total Impact Points  
Top Journals
Institutions

20122013

Naval Postgraduate School
 Department of Electrical and Computer Engineering
Monterey, California, United States
