19 Hits in 3.1 sec

A Novel OBDD-Based Reliability Evaluation Algorithm for Wireless Sensor Networks on the Multicast Model

Zongshuai Yan, Chenhua Nie, Rongsheng Dong, Xi Gao, Jianming Liu
2015 Mathematical Problems in Engineering  
The two-terminal reliability calculation for wireless sensor networks (WSNs) is a #P-hard problem.  ...  The reliability calculation of WSNs on the multicast model provides an even worse combinatorial explosion of node states with respect to the calculation of WSNs on the unicast model; many real WSNs require  ...  Ghasemzadeh [13] presented a method to analyze the -terminal reliability based on factoring using the "If-Then-Else(ITE)" operation of OBDD. Hardy et al.  ... 
doi:10.1155/2015/269781 fatcat:5gsiknz72nbelaat2l53rwxxi4

Computing system failure frequencies and reliability importance measures using OBDD

Yung-Ruei Chang, S.V. Amari, Sy-Yen Kuo
2004 IEEE transactions on computers  
Further, we extend all of the proposed algorithms in this paper to analyze systems with imperfect fault-coverage.  ...  In addition, we propose an efficient approach based on OBDD to evaluate the reliability of a nonrepairable system and the availability of a repairable system with imperfect fault-coverage mechanisms.  ...  Moreover, all of the proposed algorithms based on OBDD in this paper could also be extended to analyze a system with imperfect fault-coverage.  ... 
doi:10.1109/tc.2004.1255790 fatcat:bdhfwlpjind2zjsjlikwletxfi

A Survey on Modeling and Enhancing Reliability of Wireless Sensor Network

Latha Venkatesan, S. Shanmugavel, Chandrasekaran Subramaniam
2013 Wireless Sensor Network  
Also the paper analyzes reliability enhancement by existing fault tolerant methods in WSN and compares the performance of these techniques with the technique we developed.  ...  Design of reliable wireless sensor network (WSN) need to address the failure of single or multiple network components and implementation of the techniques to tolerate the faults occurred at various levels  ...  Combinatorial model: It can be used to analyze transient or steady state network.  ... 
doi:10.4236/wsn.2013.53006 fatcat:hmcqgsnearay5f2fm77m5jgo6y

An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis

Liudong Xing
2008 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
Index Terms-Binary decision diagrams (BDDs), commoncause failures (CCF), imperfect coverage (IPC), network reliability, sensitivity.  ...  A sample network system is analyzed to illustrate the basics and advantages of our approach.  ...  Shrestha of the University of Massachusetts Dartmouth for his help with the software tool development and network benchmark testing and the editors and reviewers for their comments, contributions, and  ... 
doi:10.1109/tsmca.2007.909493 fatcat:hezwjax7dreefddxq22quvezuu

Two-terminal reliability analysis for multi-phase communication networks

Ji-Min Lu, Fares Innal, Xiao-Yue Wu, Yiliu Liu, Mary Ann Lundteigen
2016 Eksploatacja i Niezawodnosc  
researches of network reliability generally assume that the system structures do not change with time.  ...  This paper presents the concept of multi-phase network systems (MPNS) to consider dynamic characteristics of networks, and analyze the reliability of MPNS.  ...  BDD method for reliability evaluation BDD or ordered BDD (OBDD) based methods [14, 15, 19, 22, 33, 47] have been widely used in analyzing network reliability since 1990s.  ... 
doi:10.17531/ein.2016.3.14 fatcat:ok64rnqtsvartbbvinkab4dmsa

Disjoint Spanning Tree Based Reliability Evaluation of Wireless Sensor Network

Sonam Lata, Shabana Mehfuz, Shabana Urooj, Asmaa Ali, Nidal Nasser
2020 Sensors  
It is necessary to quantify the performance of these networks with the help of network reliability measures to ensure the stable operation of WSNs.  ...  Monitoring a WSN depends on the type of collective data the sensor nodes have acquired.  ...  In this work, it is assumed that the nodes are reliable for the ease of testing them; however, in the future, the evaluation of WSN reliability with imperfect nodes as well as imperfect links can be examined  ... 
doi:10.3390/s20113071 pmid:32485883 fatcat:7vjtp5x265h37jpxjwijasngiu

Power minimization in IC design: principles and applications

Massoud Pedram
1996 ACM Transactions on Design Automation of Electronic Systems  
Multi-Level Network Optimization. Network don't cares can be used for minimizing the intermediate nodes in a Boolean network [Savoj et al. 1991] .  ...  A practical method using local OBDD constructions is described by the authors.  ... 
doi:10.1145/225871.225877 fatcat:jv72d4vvgfcmhmsmfazpkooyge

Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD

Yung-Ruei Chang, S.V. Amari, Sy-Yen Kuo
2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings.  
This paper presents an efficient approach based on OBDD for the reliability analysis of a multi-state system subject to imperfect fault-coverage with combinatorial performance requirements.  ...  In addition, this OBDD-based approach is combined with the conditional probability methods to find solutions for the multi-state imperfect coverage models.  ...  Then, we can easily obtain the reliability of a network system subject to imperfect coverage from Equation (7) .  ... 
doi:10.1109/prdc.2002.1185638 dblp:conf/prdc/ChangAK02 fatcat:adxgagxnwrbn3gqdrhgwvkt45u

Probabilistic databases

Nilesh Dalvi, Christopher Ré, Dan Suciu
2009 Communications of the ACM  
This raises the possibility that other tractable cases of OBDDs can be inferred, perhaps by analyzing both the query expression and the database statistics.  ...  In Data Cleaning, deduplication is one of the key components and is also a noisy and imperfect process.  ... 
doi:10.1145/1538788.1538810 fatcat:l5klhyjkujhnnfjjnrzzrfe4ba

Alternative Power Systems and Devices [chapter]

2017 Systems, Controls, Embedded Systems, Energy, and Machines  
use.  ...  Reprinted material is quoted with permission, and sources are indicated. A wide variety of references are listed.  ...  When using mini-slotting, as soon as the network is idle and some node would like to transmit a message, the node has to wait for a unique (for each node) time before sending messages.  ... 
doi:10.1201/9781420037043-7 fatcat:px3rpk2xgvhtbjwr7s3h3k6ute

Impact of Degraded Communication on Interdependent Power Systems: The Application of Grid Splitting

Di-An Tian, Giovanni Sansavini
2016 Electronics  
In [14] , artificial neural networks (ANNs) are used to predict instabilities.  ...  A two-phase ordered binary decision diagram (OBDD) method is presented in [16] , which is based on a simplified graph and finds islands with coherent generators and a low power imbalance reducing the amount  ...  be analyzed.  ... 
doi:10.3390/electronics5030049 fatcat:dmvsa6fikzcjncfugp4htgupdq

Synthesizing fault-tolerant programs from deontic logic specifications

Ramiro Demasi
2013 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)  
Our technique for synthesis is based on the use of (bi)simulation algorithms for capturing different fault-tolerance classes, and the extension of a synthesis algorithm for CTL to cope with dCTLspecifications  ...  Moreover, we have implemented a tool called dCTL Synthesizer (syntdctl) which was used to synthesize automatically wellknown fault-tolerant examples. iv  ...  It has been a pleasure working with him.  ... 
doi:10.1109/ase.2013.6693149 dblp:conf/kbse/Demasi13 fatcat:z7sidjnzrfdwnginmj7nujhcg4

VM-Flow [chapter]

Ivo J. G. dos Santos, Edmundo R. M. Madeira
2004 IFIP International Federation for Information Processing  
The CONTRACT project is co-funded by the European Commission under the 6th Framework Programme for RTD with project number FP6-034418.  ...  OBDDs.  ...  The UDDI registry is implemented as multiple peer nodes where the registration across all nodes is replicated by node operators.  ... 
doi:10.1007/1-4020-8155-3_15 fatcat:tdnlcms72rbznjvwphoztdx37y

Liprotides: a New Class of Protein Lipid-Complexes

Jannik N. Pedersen, Henriette Kristina S. Frislev, Jan S. Pedersen, Daniel E. Otzen
2016 Biophysical Journal  
Developments have focused both on new techniques and improvements in reliability and ease of use.  ...  Now in its 6 th year of user operations, this exceptionally reliable beamline has proven itself to be highly successful with more than 90 papers acknowledging the beamline published in 2014 alone.  ...  roughness defects of an imperfect membrane.  ... 
doi:10.1016/j.bpj.2015.11.3085 fatcat:eqeeb47atfc4lisnurb25n55gu

Fault-tolerant Architectures for Nanowire and Quantum Array Devices [article]

Tamer Mohamed, University Of Calgary, University Of Calgary, Svetlana Yanushkevich
A case study based on pass-transistor logic using wrap-gate nanowire devices is presented.  ...  In addition, a planarization algorithm is presented and implemented in order to synthesize planar error correcting circuits using such devices.  ...  Reliability can be increased by either using reliable components or by using fault tolerance.  ... 
doi:10.11575/prism/26166 fatcat:eaqzsejvsbachi33kkdavespsi
« Previous Showing results 1 — 15 out of 19 results