A state-space representation of water quality dynamics describing disinfectant (e.g., chlorine) transport in drinking distribution networks has been recently proposed. Such is a byproduct space- and time-discretization the PDE modeling dynamics. This results large dimension even for small with tens nodes. Although such model provides model-driven approach to predict dynamics, incorporating it i...

We rst de ne general domain circumscription GDC and provide it with a semantics GDC subsumes existing domain circumscription proposals in that it allows varying of arbitrary predicates functions or constants to maximize the minimization of the domain of a theory We then show that for the class of semi universal theories without function symbols that the domain circumscription of such theories c...

We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration for model checking concurrent software. Our technique hinges on a new characterization of partial orders defined by computations of a concurrent program in terms of quasi-monotonic sequences of thread-ids. This characterizatio...

By introducing the second order Krylov subspace, a method for the reduction of second order systems is proposed leading to a reduced system of the same structure. This generalization of Krylov subspace involves two matrices and some starting vectors and the reduced order model is found by applying a projection directly to the second order model without any conversion to state space. A numerical...

Greater numbers of power electronics (PEs) converters are being connected to energy systems due the development renewable sources, high-voltage transmission, and PE-interfaced loads. Given that electronics-based devices synchronous machines have very different dynamic behaviours, some modelling approximations, which may commonly be applied run transient simulations transmission systems, not opt...

PURPOSE To measure the number and type of errors associated with chemotherapy order composition associated with three sequential methods of ordering: handwritten orders, preprinted orders, and computerized physician order entry (CPOE) embedded in the electronic health record. MATERIALS AND METHODS From 2008 to 2012, a sample of completed chemotherapy orders were reviewed by a pharmacist for t...

In this paper, structure preserving order reduction of proportionally damped and undamped second order systems is presented. The discussion is based on Second Order Krylov Subspace method and it is shown that for systems with a proportional damping, the damping matrix does not contribute to the projection matrices and the reduction can be carried out using the classical Krylov subspaces. As a r...