In this paper, we provide a novel method to determine the survivor equivalence factors for coherent systems, whatever unit?s lifetime distribution and struc?ture of system. order com?plex systems with independent units, employ idea survival signature Reliability Theory R package. Survival functions mean times failure are computed using package were improved us?ing: reduction technique duplicati...

Absract During last decade, multi-level agent-based modeling has received significant and dramatically increasing interest. In this article we conduct a comprehensive and struc-tured review of literature on this emerging research domain that aims at extending the classical agent-based modeling paradigm to overcome some of its limitations. We present the main theoretical contributions and applic...

We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for struc-turing speciications and it supports the development process from the speciication of a system to the code generation. Formal developments following this method are stored and maintained in an administration system that guides the user and maintains a consistent sta...

People traditionally have considered the number of counters in the critical path as the met ric for the performance of a multiplier This report presents the view that tree topologies which have the least number of levels do not always give the fastest possible multiplier when constrained to be part of a microprocessor It proposes two new topologies hybrid struc ture and higher order arrays whic...

This paper describes a method for finding struc-rural matching between parallel sentences of two languages, (such as Japanese and English). Parallel sentences are analyzed based on unification grammars, and structural matching is performed by making use of a similarity measure of word pairs in the two languages. Syntactic ambiguities are resolved simultaneously in the matching process. The resu...

The use of lattice Boltzmann methods (LBM) for fluid flow and its coupling with finite element method (FEM) structural models for fluid-structure interaction (FSI) is investigated. A body of high performance LBM software that exploits graphic processing unit (GPU) and multiprocessor programming models is developed and validated against a set of twoand three-dimensional benchmark problems. Compu...

The prank of the point-hyperplane incidence matrix A of PG(n; p e) is well-known. Let A S be the submatrix formed by the rows of A indexed by an arbitrary subset S of the points. We show that the prank of A S is related to the Hilbert function (or a modiication thereof) for I(S), the ideal of FX 0 ; X 1 ; : : :; X n ] generated by all homogeneous polynomials vanishing on S. This leads to a dete...

systems, metric spaces and ready sets in the semantics of uniform concur-rency. We have deened an order theoretic interpretation for L and have proved that it is a complete model for the equational theory of ACP. Some remarks seem appropriate. First of all, traditionally ACP is interpreted over so-called process graphs modulo strong bisimu-lation BW91]. A canonical model for the algebra of nite...