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.

Kinetics and Modeling of Fatty Alcohol Ethoxylation in an Industrial Spray Loop Reactor

The kinetics of the ethoxylation of fatty alcohols catalyzed by potassium hydroxide was studied to obtain the rate constants for modeling of the industrial process. Experimental data obtained in a lab-scale semibatch autoclave reactor were used to evaluate kinetic and equilibrium parameters. The kinetic model was employed to model the performance of an industrial-scale spray tower reactor for fatty alcohol ethoxylation. The reactor model considers that mass transfer and reaction occur independently in two distinct zones of the reactor. Good agreement between the model predictions and real data was found. These findings confirm the reliability of the kinetic and reactor model for simulating fatty alcohol ethoxylation processes under industrial conditions.

Optimizing model predictive control of an industrial distillation column

The main scope of this work is the implementation of an MPC that integrates the control and the economic optimization of the system. The two problems are solved simultaneously through the modification of the control cost function that includes an additional term related to the economic objective. The optimizing MPC is based on a quadratic program (QP) as the conventional MPC and can be solved with the available QP solvers. The method was implemented in an industrial distillation system, and the results show that the approach is efficient and can be used, in several practical cases. (C) 2011 Elsevier Ltd. All rights reserved.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Carbide lime and industrial hydrated lime characterization

This paper focuses on the characterization of carbide lime (CL) - a by-product of acetylene production, composed mainly of calcium hydroxide with minor parts of carbonate - and compares its features to those of ""dry"" hydrated lime (HL) commonly used as a building material. Chemical, thermogravimetric and X-ray diffraction analyses indicated that the limes are similar in chemical and mineralogical compositions. except for the presence of carbon in the waste. Morphological and elemental chemical analyses by SEM and EDS revealed that CL particles differ from HL ones in their morphology and by the presence of carbon formations, Physical characterization included density and BET surface area of the materials. as well as, their particle size distributions in deionized water at diverse time periods. CL underwent agglomeration after approximately 60 min in water, whereas HL progressively became finer with time as determined by laser diffraction. In addition, water retention and squeeze flow tests were used to assess the pastes` fresh properties. (c) 2009 Elsevier B.V. All rights reserved.

A Survey for Diclofop-Methyl Resistance in Italian Ryegrass from Tennessee and How To Manage Resistance in Wheat

Italian ryegrass resistance to diclofop has been documented in several countries, including the United States. The purpose of this research was to screen selected putative resistant populations of Italian ryegrass for resistance to the acetyl-CoA carboxylase (ACCase)-inhibiting herbicides diclofop and pinoxaden and the acetolactate synthase (ALS)-inhibiting herbicides imazamox, pyroxsulam, and mesosulfuron in the greenhouse and to use field experiments to develop herbicide programs for Italian ryegrass control. Resistance to diclofop was confirmed in eight populations from Tennessee. These eight populations did not show cross-resistance to pinoxaden. One additional population (R1) from Union County, North Carolina, was found to be resistant to both diclofop and pinoxaden. The level of resistance to pinoxaden of the R1 population was 15 times that of the susceptible population. No resistance was confirmed to any of the ALS-inhibiting herbicides examined in this research. Field experiments demonstrated PRE Italian ryegrass control with chlorsulfuron (71 to 94%) and flufenacet + metribuzin (84 to 96%). Italian ryegrass control with pendimethalin applied PRE or delayed preemergence (DPRE) was variable (0 to 85%). POST control of Italian ryegrass was acceptable with pinoxaden, mesosulfuron, flufenacet + metribuzin, and chlorsulfuron + flucarbazone (> 80%). Application timing and herbicide treatment had no effect on wheat yield, except for diclofop and pendimethalin treatments, in which uncontrolled Italian ryegrass reduced wheat yield.

EFFECT OF CHEMICAL INTERESTERIFICATION ON PHYSICOCHEMICAL PROPERTIES AND INDUSTRIAL APPLICATIONS OF CANOLA OIL AND FULLY HYDROGENATED COTTONSEED OIL BLENDS

Blends of canola oil (CO) and fully hydrogenated cottonseed oil (FHCSO), with 20, 25, 30, 35 and 40% FHCSO (w/w) were interesterified under the following conditions: 0.4% sodium methoxide, 500 rpm stirring, 100C, 20 min. The original and interesterified blends were examined for triacylglycerol composition, melting point, solid fat content (SFC) and consistency. Interesterification caused considerable rearrangement of triacylglycerol species, reduction of trisaturated triacylglycerol content and increase in disaturated-monounsaturated and monosaturated-diunsaturated triacylglycerols in all blends, resulting in lowering of respective melting points. The interesterified blends showed reduced SFC at all temperatures and more linear melting profiles if compared with the original blends. Consistency, expressed as yield value, significantly decreased after the reaction. Iso-solid curves indicated eutectic interactions for the original blends, which were eliminated after randomization. The 80:20, 75:25, 70:30 and 65:35 (w/w) CO: FHCSO interesterified blends showed characteristics which are appropriate for their application as soft margarines, spreads, fat for bakery/all-purpose shortenings, and icing shortenings, respectively. PRACTICAL APPLICATIONS Recently, a number of studies have suggested a direct relationship between trans isomers and increased risk of vascular disease. In response, many health organizations have recommended reducing consumption of foods containing trans fatty acids. In this connection, chemical interesterification has proven the main alternative for obtaining plastic fats that have low trans isomer content or are even trans isomer free. This work proposes to evaluate the chemical interesterification of binary blends of canola oil and fully hydrogenated cottonseed oil and the specific potential application of these interesterified blends in food products.

Production and characteristics comparison of crude beta-glucosidases produced by microorganisms Thermoascus aurantiacus e Aureobasidium pullulans in agricultural wastes

The purified beta-glucosidase of Aureobasidium pullulans ER-16 is one of more thermostable enzyme reported to date. Considering the unfeasibility of using purified enzyme for industrial application, it was interesting to analyze this property for the crude enzyme. Thermophilic fungus Thermoascus aurantiacus CBMAI-756 and mesophilic A. pullulans ER-16 were cultivated in different hemicellulosic materials on solid-state cultivation for beta-glucosidase production. Wheat bran was most appropriate for beta-glucosidase production by both microorganisms. T. aurantiacus exhibited maximum enzyme production (7.0 U/ml or 70 U/g) at 48-72 h and A. pullulans a maximum (1.3 U/ml or 13 U/g) at 120 h. Maximum activities were at 75 degrees C with optimum pH at 4.5 and 4.0, for T aurantiacus and A. pullulans, respectively. A. pullulans`s beta-glucosidase was more pH stable (4.5-10.0 against 4.5-8.0) and more thermostable (90% after 1 h at 75 degrees C against 85% after 1 h at 70 degrees C) than the enzyme from the thermophilic T. aurantiacus. The t((1/2)) at 80 degrees C were 50 and 12.5 min for A. pullulans and T. aurantiascus, respectively. These data confirm the high thermostability of crude beta-glucosidase from A. pullulans. Both beta-glucosidases were strongly inhibited by glucose, but ethanol significantly increased the activity of the enzyme from T. aurantiacus. (C) 2008 Elsevier Inc. All rights reserved.

MBCNS2 Example Book

MBCNS2 is a small collection of programs for the simulation of transient two-dimensional (or axisymmetric) flows. It is part of the larger collection of compressible flow simulation codes found at http://www.mech.uq.edu.au/cfcfd/. This manual is a collection of example simulations: scripts, results and commentary. It may be convenient for new users of the code to identify an example close to the situation that they wish to model and then adapt the scripts for that example.

Theory manual to OctVCE – a cartesian cell CFD code with special application to blast wave problems, Department of Mechanical Engineering Report 2007/12

OctVCE is a cartesian cell CFD code produced especially for numerical simulations of shock and blast wave interactions with complex geometries, in particular, from explosions. Virtual Cell Embedding (VCE) was chosen as its cartesian cell kernel for its simplicity and sufficiency for practical engineering design problems. The code uses a finite-volume formulation of the unsteady Euler equations with a second order explicit Runge-Kutta Godonov (MUSCL) scheme. Gradients are calculated using a least-squares method with a minmod limiter. Flux solvers used are AUSM, AUSMDV and EFM. No fluid-structure coupling or chemical reactions are allowed, but gas models can be perfect gas and JWL or JWLB for the explosive products. This report also describes the code’s ‘octree’ mesh adaptive capability and point-inclusion query procedures for the VCE geometry engine. Finally, some space will also be devoted to describing code parallelization using the shared-memory OpenMP paradigm. The user manual to the code is to be found in the companion report 2007/13.

How thick is thick? Multicenter study of the rheological and material property characteristics of mealtime fluids and videofluoroscopy fluids

Objective rheological assessment of fluids given to dysphagic patients at mealtime and during videofluoroscopy was carried out using a multicenter format. Thin, quarter-thick, half-thick and full-thick fluids were examined for the degree of correlation between mealtime fluids and their allegedly matched videofluoroscopy counterparts. The study was carried out to determine whether perceived subjective differences between mealtime fluids and videofluoroscopy fluids could be quantified using the rheological parameters of viscosity, density, and yield stress. The results showed poor correlation between mealtime fluids and videofluoroscopy fluids over all parameters. In general, the videofluoroscopy fluids were more viscous, more dense, and showed higher yield stress values than their mealtime counterparts. Given these results, it is reasonable to assume that the fluids used during videofluoroscopy do not provide an accurate indication of swallowing ability at mealtime. Therefore, it is suggested that clinicians use objective methods to theologically match videofluoroscopy fluids to mealtime fluids.

Property crime and income generation by heroin users

This paper provides a detailed analysis of patterns of income generation among 202 active heroin users in South West Sydney. We explore both sources of income and the relative contribution of different types of income generating activities, including drug sales and related activities, property crime, prostitution, legitimate income and avoided expenditures. Despite claims that heroin use leads inevitably to property crime, drug market activities accounted for a greater proportion of drug user income in this sample. Results indicate that law enforcement crackdowns that reduce opportunities for generating income from the drug market may increase property crime by heroin users.

Stability property of matchings is a natural solution concept in coalitional market games

Stability of matchings was proved to be a new cooperative equilibrium concept in Sotomayor (Dynamics and equilibrium: essays in honor to D. Gale, 1992). That paper introduces the innovation of treating as multi-dimensional the payoff of a player with a quota greater than one. This is done for the many-to-many matching model with additively separable utilities, for which the stability concept is defined. It is then proved, via linear programming, that the set of stable outcomes is nonempty and it may be strictly bigger than the set of dual solutions and strictly smaller than the core. The present paper defines a general concept of stability and shows that this concept is a natural solution concept, stronger than the core concept, for a much more general coalitional game than a matching game. Instead of mutual agreements inside partnerships, the players are allowed to make collective agreements inside coalitions of any size and to distribute his labor among them. A collective agreement determines the level of labor at which the coalition operates and the division, among its members, of the income generated by the coalition. An allocation specifies a set of collective agreements for each player.