scholarly journals Moment redundancy test with application to efficiency-improving copulas

2018 ◽  
Vol 171 ◽  
pp. 29-33
Author(s):  
Bowen Hao ◽  
Artem Prokhorov ◽  
Hailong Qian
Keyword(s):  
Redundancy Test

NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS

1993 ◽  
Vol 03 (01) ◽  
pp. 3-12 ◽  
Author(s):  
DETLEF SIELING ◽  
INGO WEGENER
Keyword(s):  
Binary Decision Diagrams ◽  
Pattern Generation ◽  
Decision Diagrams ◽  
Equivalence Test ◽  
Ordered Binary Decision Diagrams ◽  
Binary Decision ◽  
Verification Test ◽  
Logical Synthesis ◽  
Redundancy Test ◽  
Nc Algorithms

(Ordered) binary decision diagrams are a powerful representation for Boolean functions and are widely used in logical synthesis, verification, test pattern generation or as part of CAD tools. NC-algorithms are presented for the most important operations on this representation, e.g. evaluation for a given input, minimization, satisfiability, redundancy test, replacement of variables by constants or functions, equivalence test and synthesis. The algorithms have logarithmic run time on CRCW COMMON PRAMs with a polynomial number of processors.

A 256K DRAM with descrambled redundancy test capability

1984 ◽  
Vol 19 (5) ◽  
pp. 596-602 ◽  
Author(s):  
D. Kantz ◽  
J.R. Goetz ◽  
R. Bender ◽  
M. Bahring ◽  
J. Wawersig ◽  
...  
Keyword(s):  
Redundancy Test

A redundancy test-time reduction technique in 1-Mbit DRAM with a multibit test mode

1989 ◽  
Vol 24 (1) ◽  
pp. 43-49 ◽  
Author(s):  
Y. Nishimura ◽  
M. Hamada ◽  
H. Hidaka ◽  
H. Ozaki ◽  
K. Fujishima
Keyword(s):  
Reduction Technique ◽  
Test Time ◽  
Test Mode ◽  
Test Time Reduction ◽  
Time Reduction ◽  
Redundancy Test

A new method for the redundancy analysis of Petri net-based liveness enforcing supervisors

2015 ◽  
Vol 39 (5) ◽  
pp. 763-780 ◽  
Author(s):  
Gökhan Gelen ◽  
Murat Uzam ◽  
ZhiWu Li
Keyword(s):  
Petri Net ◽  
Supervisory Control ◽  
Flexible Manufacturing ◽  
Manufacturing Systems ◽  
Relevant Literature ◽  
Controller Synthesis ◽  
New Method ◽  
Modelling Analysis ◽  
Implementation Tool ◽  
Redundancy Test

The deadlock control of flexible manufacturing systems (FMSs) has been widely studied in the literature. Petri nets (PNs) are extensively used as a tool for modelling, analysis and controller synthesis of such systems. In general, Petri-net-based liveness enforcing supervisors (LESs) include control places ( CPs) together with their input/output arcs. It is well known that the methods proposed for computing CPs may provide redundant and necessary CPs. In this paper, a new method is proposed for redundancy test of CPs by means of supervisory control theory (SCT). The proposed method is based on the idea that after the removal of a CP from an LES, if the controlled model is still live, then the removed CP is redundant. The proposed method makes use of the TCT implementation tool of SCT. It is applicable to a PN-based LES consisting of a set of CPs. The applicability of proposed method is demonstrated by means of examples from the relevant literature. For some examples, the redundancy test provides more permissive behaviour with structurally simpler supervisors.

Sign in / Sign up

Export Citation Format

Share Document