Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation

Petri net (PN) modeling is one of the most used formal methods in the automation applications field, together with programmable logic controllers (PLCs). Therefore, the creation of a modeling methodology for PNs compatible with the IEC61131 standard is a necessity of automation specialists. Different works dealing with this subject have been carried out; they are presented in the first part of this paper [Frey (2000a, 2000b); Peng and Zhou (IEEE Trans Syst Man Cybern, Part C Appl Rev 34(4):523-531, 2004); Uzam and Jones (Int J Adv Manuf Technol 14(10):716-728, 1998)], but they do not present a completely compatible methodology with this standard. At the same time, they do not maintain the simplicity required for such applications, nor the use of all-graphical and all-mathematical ordinary Petri net (OPN) tools to facilitate model verification and validation. The proposal presented here completes these requirements. Educational applications at the USP and UEA (Brazil) and the UO (Cuba), as well as industrial applications in Brazil and Cuba, have already been carried out with good results.

Lightning-Induced Voltages on Overhead Lines-Application of the Extended Rusck Model

Lightning-induced overvoltages have a considerable impact on the power quality of overhead distribution and telecommunications systems, and various models have been developed for the computation of the electromagnetic transients caused by indirect strokes. The most adequate has been shown to be the one proposed by Agrawal et al.; the Rusck model can be visualized as a particular case, as both models are equivalent when the lightning channel is perpendicular to the ground plane. In this paper, an extension of the Rusck model that enables the calculation of lightning-induced transients considering flashes to nearby elevated structures and realistic line configurations is tested against data obtained from both natural lightning and scale model experiments. The latter, performed under controlled conditions, can be used also to verify the validity of other coupling models and relevant codes. The so-called Extended Rusck Model, which is shown to be sufficiently accurate, is applied to the analysis of lightning-induced voltages on lines with a shield wire and/or surge arresters. The investigation conducted indicates that the ratio between the peak values of the voltages induced by typical first and subsequent strokes can be either greater or smaller than the unity, depending on the line configuration.

A log-extended Weibull regression model

A bathtub-shaped failure rate function is very useful in survival analysis and reliability studies. The well-known lifetime distributions do not have this property. For the first time, we propose a location-scale regression model based on the logarithm of an extended Weibull distribution which has the ability to deal with bathtub-shaped failure rate functions. We use the method of maximum likelihood to estimate the model parameters and some inferential procedures are presented. We reanalyze a real data set under the new model and the log-modified Weibull regression model. We perform a model check based on martingale-type residuals and generated envelopes and the statistics AIC and BIC to select appropriate models. (C) 2009 Elsevier B.V. All rights reserved.

Fate of Surface-Inoculated Escherichia coli O157:H7, Listeria monocytogenes, and Salmonella Typhimurium on Kippered Beef during Extended Storage at Refrigeration and Abusive Temperatures

The behavior of Escherichia coli O157:H7, Listeria monocytogenes, and Salmonella Typhimurium on kippered beef was evaluated. Individual pieces of the product were separately inoculated on the top and bottom surfaces with each three- to six-strain pathogen cocktail at ca. 6.0 log CFU per piece and stored at 4, 10, 21, or 30 degrees C for up to 28 days in each of two trials. When kippered beef was inoculated with E coli O157:H7, Salmonella Typhimurium, or L. monocytogenes and stored at 4, 10, 2 1, or 30 degrees C for up to 28 days, pathogen numbers decreased ca. 0.4 to 0.9, 1.0 to 1.8, 3.0 to >= 5.25, and >= 5.0 to 5.25 log CFU per piece, respectively. Average D-values for E. coli O157:H7, Salmonella Typhimurium, and L. monocytogenes stored at 4 to 30 degrees C for 28 days were ca. 41 to 4.6, 40.8 to 5.3, and 29.5 to 4.3 days, respectively. As expected, the higher the storage temperature, the greater the level and rate of inactivation for all three pathogens. These data establish that kippered beef does not provide an environment conducive to proliferation of these pathogens.

Predominance of CTX-M-type extended-spectrum beta-lactamase genes among enterobacterial isolates from outpatients in Brazil

Two hundred fifty-seven nalidixic acid-resistant enterobacterial isolates were collected in a Brazilian community from January 2000 to May 2005 to determine the prevalence of plasmid-encoded extended-spectrum beta-lactamases. The bla(CTX-M) genetic environment was determined by polymerase chain reaction and sequencing. Eleven isolates (4.2%) harbored a bla(CTX-M-2) gene, 3 isolates bla(CTX-M-9), 2 isolates bla(CTX-M-8), and 6 isolates bla(SHV-5). Two novel bla(CTX-M-2) variants, namely, bla(CTX-M-74) and bla(CTX-M-75), were identified. (C) 2009 Elsevier Inc. All rights reserved.

Investigation of the antinociceptive efficacy and relative potency of extended duration injectable 3-acylmorphine-6-sulfate prodrugs in rats

This investigation was designed to examine the antinociceptive activity in rats of 3-O-acyl prodrugs of M6S relative to the parent drug, after intravenous and intramuscular injection, using the tail flick latency test of antinociception. M6S, 3-acetylmorphine-6-sulfate (3AcM6S), 3-propionylmorphine-6-sulfate (3PrM6S), 3-butanoylmorphine-6-sulfate (3BuM6S) and 3-heptanoylmorphine-6-sulfate (3HpM6S) were administered by the IV route in a dose of 4.10 mu mol/kg. Relatively high levels of antinociception (>40% Maximum Possible Effect) were achieved following administration of M6S, 3AcM6S and 3PrM6S, whereas insignificant antinociception (<20%MPE) was achieved following administration of 3BuM6S or 3HpM6S. Although the mean duration of action for 3AcM6S (6 h) was longer than for M6S or 3PrM6S (4 h), the mean area (+/- S.E.M.) under the degree of antinociception versus time curve (AUG) for 3AcM6S (151.6 +/- 6.9%MPE h) was not significantly different (p <0.05) from that for M6S (120.8 +/- 32.7%MPE h) or for 3PrM6S (106.0 +/- 21.3%MPE h). The mean ED50 (range) doses for M6S, 3AcM6S and 3PrM6S were calculated to be 4.16 (3.61-4.48), 4.32 (3.55-5.09) and 4.54 (4.21-4.79) mu mol/kg, respectively. Preliminary studies were conducted on potential long-acting formulations containing 8 x ED50 doses of M6S and the 3-acetyl and 3-propionyl esters suspended in soybean oil. These showed that 3PrM6S gave a greater AUC (mean + S.E.M.) (1087.4 +/- 97.4%MPE h) and longer duration of action (20 h) than did M6S (613.1 +/- 155.9%MPE h; 10 h duration) or 3AcM6S (379.3 + 114.2%MPE h: 8 h duration). Further studies are needed to more fully investigate these findings. (C) 1998 Elsevier Science B.V. All rights reserved.

Extended delayed recall of AVLT word lists: Effects of age and sex on adult performance

An extension of a previous study of age and sex effects on verbal recall (Geffen, Moar, O'Hanlon, lark, & Geffen, 1990) examined forgetting of words over extended delays. The AVLT was administered to 201 normal adults (99 males, 102 females) ranging in age between 20 and 59 years. Recall was tested at intervals of 30 minutes, 24 hours, and 7 days after acquisition. Testing of the latter two intervals was conducted by telephone (Experiment 1, N = 177). After 30 minutes there was no significant loss of the 10 to 11 words retained from five acquisition trials. However, an overall mean of about one word was forgotten after 1 day and a further word after 7 days. The oldest age group (50-59 years) acquired fewer words and forgot more words than the younger groups. Females of all age groups performed slightly better than males at acquisition, at retention, and at recall after longer delays. A second experiment showed that telephone testing at the longer delay intervals was equivalent to testing face to face. These results extend the use of the AVLT by assessing memory decay beyond the immediate testing period. Telephone follow-up is a convenient and economical method of testing delayed recall.

Extended GCD and Hermite normal form algorithms via lattice basis reduction

Extended gcd calculation has a long history and plays an important role in computational number theory and linear algebra. Recent results have shown that finding optimal multipliers in extended gcd calculations is difficult. We present an algorithm which uses lattice basis reduction to produce small integer multipliers x(1), ..., x(m) for the equation s = gcd (s(1), ..., s(m)) = x(1)s(1) + ... + x(m)s(m), where s1, ... , s(m) are given integers. The method generalises to produce small unimodular transformation matrices for computing the Hermite normal form of an integer matrix.

Extended integrability regime for the supersymmetric U model

An extension of the supersymmetric U model for correlated electrons is given and integrability is established by demonstrating that the model can he constructed through the quantum inverse scattering method using an R-matrix without the difference property. Some general symmetry properties of the model are discussed and from the Bethe ansatz solution an expression for the energies is presented.

Integrable Kondo impurities in the one-dimensional supersymmetric extended Hubbard model

An integrable Kondo problem in the one-dimensional supersymmetric extended Hubbard model is studied by means of the boundary graded quantum inverse scattering method. The boundary K-matrices depending on the local moments of the impurities are presented as a non-trivial realization of the graded reflection equation algebras in a two-dimensional impurity Hilbert space. Further, the model is solved by using the algebraic Bethe ansatz method and the Bethe ansatz equations are obtained.

Modeling of hepatic elimination and organ distribution kinetics with the extended convection-dispersion model

The conventional convection-dispersion (also called axial dispersion) model is widely used to interrelate hepatic availability (F) and clearance (Cl) with the morphology and physiology of the liver and to predict effects such as changes in liver blood flow on F and Cl. An extended form of the convection-dispersion model has been developed to adequately describe the outflow concentration-time profiles for vascular markers at both short and long times after bolus injections into perfused livers. The model, based on flux concentration and a convolution of catheters and large vessels, assumes that solute elimination in hepatocytes follows either fast distribution into or radial diffusion in hepatocytes. The model includes a secondary vascular compartment, postulated to be interconnecting sinusoids. Analysis of the mean hepatic transit time (MTT) and normalized variance (CV2) of solutes with extraction showed that the discrepancy between the predictions of MTT and CV2 for the extended and conventional models are essentially identical irrespective of the magnitude of rate constants representing permeability, volume, and clearance parameters, providing that there is significant hepatic extraction. In conclusion, the application of a newly developed extended convection-dispersion model has shown that the unweighted conventional convection-dispersion model can be used to describe the disposition of extracted solutes and, in particular, to estimate hepatic availability and clearance in booth experimental and clinical situations.

Integrable Kondo impurities in one-dimensional extended Hubbard models

Three kinds of integrable Kondo problems in one-dimensional extended Hubbard models are studied by means of the boundary graded quantum inverse scattering method. The boundary K matrices depending on the local moments of the impurities are presented as a nontrivial realization of the graded reflection equation algebras acting in a (2s alpha + 1)-dimensional impurity Hilbert space. Furthermore, these models are solved using the algebraic Bethe ansatz method, and the Bethe ansatz equations are obtained.

Algebraic Bethe ansatz for integrable one-dimensional extended Hubbard models with open boundary conditions

Nine classes of integrable open boundary conditions, further extending the one-dimensional U-q (gl (212)) extended Hubbard model, have been constructed previously by means of the boundary Z(2)-graded quantum inverse scattering method. The boundary systems are now solved by using the algebraic Bethe ansatz method, and the Bethe ansatz equations are obtained for all nine cases.