30540828
A Temporal Logic Approach for Analyzing Safety Properties of Predicate Transition Nets
28830107
Introducing software architecture specification and analysis in SAM through an example
Abstract Software architecture study has become one of the most active research areas in software engineering in the recent years. Although there have been many published results on specification and analysis method of software architectures, information on sound systematic methodology for modeling and analyzing software architectures is lacking. In this article, we present a formal systematic software architecture specification and analysis methodology called SAM and show how to apply SAM to specify a command control (C2) system and to analyze its real-time constraints.
2341522
PZ nets a formal method integrating Petri nets with Z
Abstract In this paper, a formal method (called PZ nets) for specifying concurrent and distributed systems is presented. PZ nets integrate two well-known existing formal methods Petri nets and Z such that Petri nets are used to specify the overall structure, control flows, causal relation, and dynamic behavior of a system; and Z is used to define tokens, labels and constrains of the system. The essence, benefits, and problems of the integration are discussed. A set of heuristics and transformations to develop PZ nets and a technique to analyze PZ nets are proposed and demonstrated through a well-known example.
46303239
Object Orientation in Hierarchical Predicate Transition Nets
In this paper, an approach of using hierarchical predicate transition nets (HPrTNs in the sequel) for object-oriented specification is proposed. The realization of various object-oriented features (including encapsulation, inheritance, and polymorphism) in HPrTNs is presented and is demonstrated with examples. We believe that the approach can achieve the benefits of the object-oriented methods while maintaining the analyzability of HPrTNs.
20141160
A method for analyzing properties of hierarchical predicate transition nets
Hierarchical high level Petri nets have been proposed in recent years as a powerful formal method for modeling large concurrent and distributed systems but they are even more difficult to analyze than flat high level Petri nets, which are also lacking effective analysis methods themselves. A method for analyzing properties of hierarchical predicate transition Petri nets is proposed. The method employs two temporal induction techniques, one for safety properties and the other for liveness properties, without using temporal logic formalism. Within each induction technique, a hybrid reasoning technique combining net structural and behavioral reasoning, and ordinary first order logic reasoning is used.
28749706
An Improved Algorithm for Concurrency Control in Distributed Database Systems
Abstract Deadlock and livelock prevention is critical in concurrency control of distributed database systems. This paper presents an improved algorithm for concurrency control, which not only prevents deadlock and livelock problems but also improves system efficiency by lowering restart ratio and communication cost. The proposed algorithm is effective in environments where most transactions have one-way request (either forward waiting or backward waiting).
1887353
An Application of Well-Orderly Trees in Graph Drawing
Well-orderly trees seem to have the potential of becoming a powerful technique capable of deriving new results in graph encoding, graph enumeration and graph generation [3, 4]. In this paper, we reduce the height of the visibility representation of plane graphs from 5n/6 to (4n–1)/5, by using well-orderly trees.
37910692
Replicated shared object model for parallel edge detection algorithm based on spiral architecture
Abstract Edge detection in computer vision and image processing is a process which detects one kind of significant feature in an image that appears as discontinuities in intensities. A parallel edge detection algorithm based on spiral architecture is designed in this paper using a replicated shared object model (RSOM). We use this approach to meet the requirements of replicated object management, update propagation, underlying communication and consistency maintenance among replicated objects. Multi-scale image theory plays an important role in this research.
16416421
Bayesian shape localization for face recognition using global and local textures
We present a fully automatic system for face recognition in databases, with only a small number of samples (even a single sample) for each individual. The shape localization problem is formulated in the Bayesian framework. In the learning stage, the RankBoost approach is introduced to model the likelihood of local features associated with the fiducial point, while preserving the prior ranking order between the ground truth position and its neighbors; in the inferring stage, a simple efficient iterative algorithm is proposed to uncover the MAP shape by locally modeling the likelihood distribution around each fiducial point. Based on the accurately located fiducial points, two popular mutual enhancing texture features for human face representation are automatically extracted and integrated: global texture features, which are the normalized shape-free gray-level values enclosed in the mean shape: local texture features, which are represented by Gabor wavelets extracted at the fiducial points (eye corners, mouth, etc.). Global texture mainly encodes the low-frequency information of a face, while local texture encodes the local high-frequency components. Extensive experiments illustrate that our proposed shape localization approach significantly improves the shape location accuracy, robustness, and face recognition rate; moreover, experiments conducted on the FERET and Yale databases show that our algorithm outperforms the classical eigenfaces and fisherfaces, as well as other approaches utilizing shape and global and local textures.
949912
Replicated Shared Object Model for Edge Detection with Spiral Architecture
Edge detection in computer vision and image processing is a process which detects one kind of significant features appearing as discontinuities in intensities. A parallel edge detection algorithm based on Spiral Architeture is designed in this paper by a Replicated Shared Object Model (RSOM). We use this approach to meet the need of replicated object management, update propagation, underlying communication and consistency maintenance among replicated objects.
6559152
Tensor space model for document analysis
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space.In such a vector space, techniques like Latent Semantic Indexing (LSI), Support Vector Machines (SVM), Naive Bayes, etc., can be then applied for indexing and classification. However, in some cases, the dimensionality of the document space might be extremely large, which makes these techniques infeasible due to the curse of dimensionality. In this paper, we propose a novel Tensor Space Model for document analysis. We represent documents as the second order tensors, or matrices. Correspondingly, a novel indexing algorithm called Tensor Latent Semantic Indexing (TensorLSI) is developed in the tensor space. Our theoretical analysis shows that TensorLSI is much more computationally efficient than the conventional Latent Semantic Indexing, which makes it applicable for extremely large scale data set. Several experimental results on standard document data sets demonstrate the efficiency and effectiveness of our algorithm.