Further results on the relationship between mu-invariant measures and quasi-stationary distributions for absorbing continuous-time Markov chains

This note considers continuous-time Markov chains whose state space consists of an irreducible class, C, and an absorbing state which is accessible from C. The purpose is to provide results on mu-invariant and mu-subinvariant measures where absorption occurs with probability less than one. In particular, the well-known premise that the mu-invariant measure, m, for the transition rates be finite is replaced by the more natural premise that m be finite with respect to the absorption probabilities. The relationship between mu-invariant measures and quasi-stationary distributions is discussed. (C) 2000 Elsevier Science Ltd. All rights reserved.

New methods for determining quasi-stationary distributions for Markov chains

We shall be concerned with the problem of determining quasi-stationary distributions for Markovian models directly from their transition rates Q. We shall present simple conditions for a mu-invariant measure m for Q to be mu-invariant for the transition function, so that if m is finite, it can be normalized to produce a quasi-stationary distribution. (C) 2000 Elsevier Science Ltd. All rights reserved.

Mechanisms of substitution reactions on cyclometallated platinum(IV) complexes: "Quasi-labile" systems

The substitution reactions of SMe2 by phosphines (PMePh2, PEtPh2, PPh3, P(4-MeC6H4)(3), P(3-MeC6H4)(3), PCy3) on Pt-IV complexes having a cyclometalated imine ligand, two methyl groups in a cis-geometrical arrangement, a halogen, and a dimethyl sulfide as ligands, [Pt(CN)(CH3)(2)(X)(SMe2)], have been studied as a function of temperature, solvent, and electronic and steric characteristics of the phosphines and the X and CN ligands. In all cases, a limiting dissociative mechanism has been found, where the dissociation of the SMe2 ligand corresponds to the rate-determining step. The pentacoordinated species formed behaves as a true pentacoordinated Pt-IV compound in a steady-state concentration, given the solvent independence of the rate constant. The X-ray crystal structures of two of the dimethyl sulfide complexes and a derivative of the pentacoordinate intermediate have been determined. Differences in the individual rate constants for the entrance of the phosphine ligand can only be estimated as reactivity ratios. In all cases an effect of the phosphine size is detected, indicating that an associative step takes place from the pentacoordinated intermediate. The nature of the (CN) imine and X ligands produces differences in the dimethyl sulfide dissociation reactions rates, which can be quantified by the corresponding DeltaS double dagger values (72, 64, 48, 31, and 78 J K-1 mol(-1) for CN/X being C6H4CHNCH2C6H5/Br, C6H4CHNCH2-(2,4,6-(CH3)(3))C6H2/Br, C6H4CHNCH2C6H5/Cl, C6Cl4CHNCH2C6H5/Cl, and C6W4CH2NCHC6H5/ Pr, respectively). As a whole, the donor character of the coordinated C-aromatic and X atoms have the greatest influence on the dissociativeness of the rate-determining step.

Hybrid modelling of coupled pore fluid-solid deformation problems

A hybrid formulation for coupled pore fluid-solid deformation problems is proposed. The scheme is a hybrid in the sense that we use a vertex centered finite volume formulation for the analysis of the pore fluid and a particle method for the solid in our model. The pore fluid formally occupies the same space as the solid particles. The size of the particles is not necessarily equal to the physical size of materials. A finite volume mesh for the pore fluid flow is generated by Delaunay triangulation. Each triangle possesses an initial porosity. Changes of the porosity are specified by the translations of the mass centers of particles. Net pore pressure gradients are applied to the particle centers and are considered in the particle momentum balance. The potential of our model is illustrated by means of a simulation of coupled fracture and fluid flow developed in porous rock under biaxial compression condition.

Hybrid auctions

In this paper we analyze a hybrid auction that combines a first-price and a Vickrey auction. We show that this auction may generate more expected revenue than a standard first-price auction. (C) 2002 Elsevier Science B.V. All rights reserved.

Synthesis and characterization of ternary hybrid material based on poly-o-methoxyaniline and poly(ethylene oxide) in mesostructured V(2)O(5)

New hybrid composites based on mesostructured V(2)O(5) containing intercalated poly(ethylene oxide), poly-o-methoxyaniline and poly(ethylene oxide)/poly-o-methoxyaniline were prepared. The results suggest that the polymers were intercalated into the layers of the mesostructured V(2)O(5). Electrochemical studies showed that the presence of both polymers in the mesostructured V(2)O(5) (ternary hybrid) leads to an increase in total charge and stability after several cycles compared with binary hybrid composites. This fact makes this material a potential component as cathode for lithium ion intercalation and further, a promising candidate for applications in batteries.

Calcium Carbonate Particle Growth Depending on Coupling among Adjacent Layers in Hybrid LB/LbL Films

There are practical and academic situations that justify the study of calcium carbonate crystallization and especially of systems that are associated with organic matrices and a confined medium. Despite the fact that many different matrices have been studied, the use of well-behaved, thin organic films may provide new knowledge about this system. In this work, we have studied the growth of calcium carbonate particles on well-defined organic matrices that were formed by layer-by-layer (LbL) polyelectrolyte films deposited on phospholipid Langmuir-Blodgett films (LB). We were able to change the surface electrical charge density of the LB films by changing the proportions of a negatively charged lipid, the sodium salt of dimyristoyl-sn-glycero-phosphatidyl acid (DMPA), and a zwitterionic lipid. dimyristoyl-sn-glycero-phosphatidylethanolamine (DMPE). This affects the subsequent polyelectrolyte LbL film deposition, which also changes the the nature of the bonding (electrostatic interaction or hydrogen bonding). This approach allowed for the formation of calcium carbonate particles of different final shapes, roughnesses, and sizes. The masses of deposited lipids, polyelectrolytes, and calcium cabonate were quantified by the quartz crystal microbalance technique. The structures of obtained particles were analyzed by scanning electron microscopy.

Synthesis, characterization and electrochemical behavior of the vanadium pentoxide/cetyl pyridinium chloride hybrid material

In situ and ex situ studies concerning the new hybrid material vanadium pentoxide xerogel in the presence of the cationic surfactant cetyl pyridinium chloride (V(2)O(5)/CPC) are presented. The in situ characterization studies revealed the presence of a lamellar structure for the V(2)O(5)/CPC hybrid material. The intercalation reaction was evidenced on the basis of the increase in the d-spacing as well as the displacement of the infrared bands toward lower energy levels. Electrochemical studies comprising the cyclic voltammetry and the electrochemical impedance spectroscopy techniques showed that the behavior of the hybrid material is considerably influenced by the electrolyte composition. The ion insertion/de-insertion into the V(2)O(5) xerogel structure accompanying the charge transfer process is influenced by the solid-state diffusion process modeled by using the finite-space Warburg element.

Synthesis and electrochemical properties of vanadyl phosphate di-hydrate/polyaniline derivatives hybrid films

Vanadyl phosphate and its hybrid compounds have proven to undergo electrochemical intercalation and de-intercalation of lithium ions, which enables its use as cathode material for Li ion rechargeable batteries. In this context, vanadyl phosphate di-hydrate/polyaniline derivatives hybrid films were synthesized via the exfoliation and reconstruction approach in order to evaluate their potential use as cathode in ion lithium batteries. X-ray diffraction patterns indicate that the lamellar structure of the inorganic matrix is maintained, consistent with the topotactic process. In the scanning electron micrographs, hybrid films exhibit rough surface consisting of warped and cracked crystallites, quite different from vanadyl phosphate di-hydrate square platelets crystallites. Electrochemical evaluation using cyclic voltammetry and charge-discharge galvanostatic techniques shows small differences between the charge and the discharge curves, indicating an irreversibility of the hybrid systems. (C) 2009 Elsevier B.V. All rights reserved.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

In familial hyperaldosteronism type I, hybrid gene-induced aldosterone production dominates that induced by wild-type genes

We compared the aldosterone-producing potency of the angiotensin II-sensitive wild-type aldosterone synthase genes and the ACTH-sensitive hybrid 11 beta-hydroxylase/aldosterone synthase gene by examining aldosterone, PRA, and cortisol day-curves (2-hourly levels over 24 h) in patients with familial hyperaldosteronism type I, before and during long-term (0.8-13.5 yr) glucocorticoid treatment. In 8 untreated patients, PRA levels were usually suppressed, and aldosterone correlated strongly with cortisol (r = 0.69-0.99). Fourteen studies were performed on 10 patients receiving glucocorticoid treatment that corrected hypertension, hypokalemia, and PRA suppression in all. ACTH was markedly and continuously suppressed in 6 studies, 3 of which demonstrated strong correlations between aldosterone and PRA (r = 0.77-0.92), ACTH was only partially suppressed in the remaining 8 studies; aldosterone correlated strongly: 1) with cortisol alone in 5 (r = 0.71-0.98); 2) with cortisol (r = 0.90) and PRA (r = 0.74) in one; 3) with PRA only in one (r = 0.80); and 4) with neither PRA nor cortisol in one. Unless ACTH is markedly and continuously suppressed, aldosterone is more responsive to ACTH than to renin/angiotensin II, despite the latter being unsuppressed. This is consistent with the hybrid gene being more powerfully expressed than the wild-type aldosterone synthase genes in familial hyperaldosteronism type I.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.