33856120
Probability model for faults in large-scale multicomputer systems
Reliability and availability are critical when faults appear in the design of large multicomputer systems. On the other hand, it is very difficult to predict the reliability and availability of multicomputer systems. In this paper, we study the reliability and availability of large multicomputer systems under a more realistic model in which each network node has an independent failure probability. We mainly consider the reliability and availability of large mesh-connected multicomputer systems. The metric is connectivity probability of networks. In a previous work (J. Chen and T. Wang, Proc. 14th Int. Conf. Parallel and Distr. Comp. and Sys., pp. 606-611, 2002), we proved that if the node failure probability is fixed, then the connectivity probability of mesh networks can be arbitrarily small when the network size is sufficiently large. Thus, it is practically important for multicomputer system manufacturers to determine the upper bound for node failure probability, when the probability of network connectivity and the network size are given. We develop another novel technique to formally derive lower bounds on the connectivity probability for mesh networks. Our study shows that mesh networks of practical size can tolerate a large number of faulty nodes and thus are reliable enough for multicomputer systems. For example, we formally prove that as long as the node failure probability is bounded by 0.09% (note that according to current VLSI technology, building network nodes with failure probability under 0.09% is achievable), mesh networks of up to a million nodes remain connected with a probability larger than 99%. The results for mesh network reliability and availability are obtained by formal and thorough mathematical proofs.
31382426
Strong Fault-Tolerance: Parallel Routing in Networks with Faults
A d-regular network G is strongly fault-tolerant if for any copy Gf of G with at most d - 2 faulty nodes, every pair of nonfaulty nodes u and v in Gf admits min{df(u), df (v)} node-disjoint paths in Gf from u to v, where df(u) and df(v) are the degrees of the nodes u and v in Gf. We show that popular network structures, such as hypercube and star networks, are strongly fault-tolerant. We develop efficient algorithms that construct the maximum number of node-disjoint paths of optimal or nearly optimal length in these networks with faulty nodes. Our algorithms are optimal in terms of their running time.
16331940
Optimal Parallel Routing in Star Networks
Star networks have recently been proposed as attractive alternatives to the popular hypercube for interconnecting processors on a parallel computer. In this paper, we present an efficient algorithm that constructs an optimal parallel routing in star networks. Our result improves previous results for the problem.
1021255
A minimal and complete set of operators for the development of robust manifold mesh modelers
In this paper, we identify a minimal and complete set of fundamental operators, which is necessary and sufficient for performing all homeomorphic and topological operations on 2- manifold mesh structures. Efficient algorithms are developed for the implementation of these operators. We also developed a set of powerful, user-friendly, and effective operators at the level of user-interface. Using these operators, we have developed a prototype system for robust, interactive, and user-friendly modeling of orientable 2-manifold meshes. Users of our system can perform a large set of homeomorphic and topological changes with these user-interface level operators. Our system is topologically robust in the sense that users will never create invalid 2-manifold mesh structure with these operators. In our system, the homeomorphic and topological surgery operations can be applied alternatively on 2-manifold meshes. With our system, users can blend surfaces, construct rinds, and open holes on these rind shapes. With our system, the shapes that look like solid, non-manifold, or 2-manifold with boundary can be manipulated. The system also provides automatic texture mapping during topology changes.
2261180
Graph Ear Decompositions and Graph Embeddings
Ear decomposition of a graph has been extensively studied in relation to graph connectivity. In this paper, a connection of ear decomposition to graph embeddings is exhibited. It is shown that constructing a maximum-paired ear decomposition of a graph and constructing a maximum-genus embedding of the graph are polynomial-time equivalent. Applications of this connection are discussed.
5242879
Interactive rind modeling
In this paper, we describe a technique, with roots in topological graph theory, that we call rind modeling. It provides for the easy creation of surfaces resembling peeled and punctured rinds. We show how the method's two main steps of: 1) creation of a shell or crust like the rind of an orange, and 2) opening holes in the crust by punching or peeling can be encapsulated into a real time semi-automatic interactive algorithm. We include a number of worked examples, some by students in a first modeling course, that demonstrate the ease with which a large variety of intricate rind shapes can be created.
18194069
Avoiding Local Optima in Single Particle Reconstruction
In single-particle reconstruction, a 3D structure is reconstructed from a large number of randomly oriented 2D projections, using techniques related to computed tomography. Unlike in computed tomography, however, the orientations of the projections must be estimated at the same time as the 3D structure, and hence the reconstruction process can be error-prone, converging to an incorrect local optimum rather than the true 3D structure. In this paper, we discuss and further develop a maximum-likelihood approach to reconstruction, and demonstrate that this approach can help avoid incorrect local optima for both 2D and 3D reconstructions.
8954904
Modification of the AdaBoost-based Detector for Partially Occluded Faces
While face detection seems a solved problem under general conditions, most state-of-the-art systems degrade rapidly when faces are partially occluded by other objects. This paper presents a solution to detect partially occluded faces by reasonably modifying the AdaBoost-based face detector. Our basic idea is that the weak classifiers in the AdaBoost-based face detector, each corresponding to a Haar-like feature, are inherently a patch-based model. Therefore, one can divide the whole face region into multiple patches, and map those weak classifiers to the patches. The weak classifiers belonging to each patch are re-formed to be a new classifier to determine if it is a valid face patch - without occlusion. Finally, we combine all of the valid face patches by assigning the patches with different weights to make the final decision whether the input subwindow is a face. The experimental results show that the proposed method is promising for the detection of occluded faces
15338297
Fast construction of overlay networks
An asynchronous algorithm is described for rapidly constructing an overlay network in a peer-to-peer system where all nodes can in principle communicate with each other directly through an underlying network, but each participating node initially has pointers to only a handful of other participants. The output of the mechanism is a linked list of all participants sorted by their identifiers, which can be used as a foundation for building various linear overlay networks such as Chord or skip graphs. Assuming the initial pointer graph is weakly-connected with maximum degree <i>d</i> and the length of a node identifier is <i>W</i>, the mechanism constructs a binary search tree of nodes of depth <i>O</i>(<i>W</i>) in expected <i>O</i>(<i>W</i> log <i>n</i>) time using expected <i>O</i>((<i>d</i>+<i>W</i>)<i>n</i> log <i>n</i>) messages of size <i>O</i>(<i>W</i>) each. Furthermore, the algorithm has low <i>contention</i>: at any time there are only <i>O</i>(<i>d</i>) undelivered messages for any given recipient. A lower bound of Ω(<i>d</i> + log <i>n</i>) is given for the running time of any procedure in a related synchronous model that yields a sorted list from a degree-<i>d</i> weakly-connected graph of <i>n</i> nodes. We conjecture that this lower bound is tight and could be attained by further improvements to our algorithms.
45814647
An integrated object-oriented analysis and design method emphasizing entity/class relationship and operation finding
Abstract This paper presents an object-oriented analysis and design (OOAD) method that integrates analysis and design phases based on entity and class relationships. This method concentrates on establishing relationships between entities and between classes and on representing and refining the relationships. In describing the system's behavior, this method provides modified event trace diagrams and a textual document to capture the interactions among operations within the classes. It also provides uniform notations and specific procedures in order to identify classes, objects, attributes, and operations.
3103973
Sprite: a simple, cheat-proof, credit-based system for mobile ad-hoc networks
Mobile ad hoc networking has been an active research area for several years. How to stimulate cooperation among selfish mobile nodes, however, is not well addressed yet. In this paper, we propose Sprite, a simple, cheat-proof, credit-based system for stimulating cooperation among selfish nodes in mobile ad hoc networks. Our system provides incentive for mobile nodes to cooperate and report actions honestly. Compared with previous approaches, our system does not require any tamper-proof hardware at any node. Furthermore, we present a formal model of our system and prove its properties. Evaluations of a prototype implementation show that the overhead of our system is small. Simulations and analysis show that mobile nodes can cooperate and forward each other's messages, unless the resource of each node is extremely low.