Modeling of Distributed Control Systems in Intelligent Building based on Colored Petri Nets

Distributed control systems consist of sensors, actuators and controllers, interconnected by communication networks and are characterized by a high number of concurrent process. This work presents a proposal for a procedure to model and analyze communication networks for distributed control systems in intelligent building. The approach considered for this purpose is based on the characterization of the control system as a discrete event system and application of coloured Petri net as a formal method for specification, analysis and verification of control solutions. With this approach, we develop the models that compose the communication networks for the control systems of intelligent building, which are considered the relationships between the various buildings systems. This procedure provides a structured development of models, facilitating the process of specifying the control algorithm. An application example is presented in order to illustrate the main features of this approach.

Robust model predictive controller with output feedback and target tracking

A model predictive controller (MPC) is proposed, which is robustly stable for some classes of model uncertainty and to unknown disturbances. It is considered as the case of open-loop stable systems, where only the inputs and controlled outputs are measured. It is assumed that the controller will work in a scenario where target tracking is also required. Here, it is extended to the nominal infinite horizon MPC with output feedback. The method considers an extended cost function that can be made globally convergent for any finite input horizon considered for the uncertain system. The method is based on the explicit inclusion of cost contracting constraints in the control problem. The controller considers the output feedback case through a non-minimal state-space model that is built using past output measurements and past input increments. The application of the robust output feedback MPC is illustrated through the simulation of a low-order multivariable system.

Enlarging the domain of attraction of stable MPC controllers, maintaining the output performance

This work presents an alternative way to formulate the stable Model Predictive Control (MPC) optimization problem that allows the enlargement of the domain of attraction, while preserving the controller performance. Based on the dual MPC that uses the null local controller, it proposed the inclusion of an appropriate set of slacked terminal constraints into the control problem. As a result, the domain of attraction is unlimited for the stable modes of the system, and the largest possible for the non-stable modes. Although this controller does not achieve local optimality, simulations show that the input and output performances may be comparable to the ones obtained with the dual MPC that uses the LQR as a local controller. (C) 2009 Elsevier Ltd. All rights reserved.

Effectiveness of two systems for the spraying of pesticides in citrus trees

Citriculture normally uses high application volumes in pesticide solutions (of 2.000 to 5.000 L ha(-1)) to control pests and diseases that affect the crop, which generates an increase in operational costs. For this reason, diverse systems of application are being developed to reduce application volumes and improve the uniformity of pesticide deposition. The goal of this work was to evaluate the efficiency of two application systems of pesticides in citrus trees. One system used a prototype for terrestrial application with rotary disc atomizers that are widely used in agricultural aviation, and the other system used hollow cone tip hydraulics. For the treatment of the trees the insecticide Metidation was used at the dose of 180 gr per hectare. To study the droplet spectrum, water-sensitive papers were installed at different positions in the trees canopy, and for the study of insecticide deposition leaves of the treated plants were collected. The water-sensitive papers were collected and analyzed using a computerized image analysis system (e-Sprinkle, EMBRAPA, Sao Paulo, Brazil), and the leaves analyzed by the technique of gas chromatography. Pesticide deposition was similar in both application system, although the solution volume used by the application system equipped with rotary disc atomizers was one quarter of the volume used by the application system equipped with hydraulic tips, reducing considerably the cost of the phytosanitary treatments.

Fatigue life and failure modes of crowns systems with a modified framework design

Objectives: To evaluate the effect of framework design on the fatigue life and failure modes of metal ceramic (MC, Ni-Cr alloy core, VMK 95 porcelain veneer), glass-infiltrated alumina (ICA, In-Ceram Alumina/VM7), and veneered yttria-stabilized tetragonal zirconia polycrystals (Y-TZP, IPSe.max ZirCAD/IPS e.max,) crowns. Methods: Sixty composite resin tooth replicas of a prepared maxillary first molar were produced to receive crowns systems of a standard (MCs, ICAs, and Y-TZPs, n = 10 each) or a modified framework design (MCm, ICAm, and Y-TZPm, n = 10 each). Fatigue loading was delivered with a spherical steel indenter (3.18 mm radius) on the center of the occlusal surface using r-ratio fatigue (30-300 N) until completion of 10(6) cycles or failure. Fatigue was interrupted every 125,000 cycles for damage evaluation. Weibull distribution fits and contour plots were used for examining differences between groups. Failure mode was evaluated by light polarized and SEM microscopy. Results: Weibull analysis showed the highest fatigue life for MC crowns regardless of framework design. No significant difference (confidence bound overlaps) was observed between ICA and Y-TZP with or without framework design modification. Y-TZPm crowns presented fatigue life in the range of MC crowns. No porcelain veneer fracture was observed in the MC groups, whereas ICAs presented bulk fracture and ICAm failed mainly through the veneer. Y-TZP crowns failed through chipping within the veneer, without core fractures. Conclusions: Framework design modification did not improve the fatigue life of the crown systems investigated. Y-TZPm crowns showed comparable fatigue life to MC groups. Failure mode varied according to crown system. (C) 2010 Elsevier Ltd. All rights reserved.

Dynamics of a class of ODEs more general than almost periodic

A temporally global solution, if it exists, of a nonautonomous ordinary differential equation need not be periodic, almost periodic or almost automorphic when the forcing term is periodic, almost periodic or almost automorphic, respectively. An alternative class of functions extending periodic and almost periodic functions which has the property that a bounded temporally global solution solution of a nonautonomous ordinary differential equation belongs to this class when the forcing term does is introduced here. Specifically, the class of functions consists of uniformly continuous functions, defined on the real line and taking values in a Banach space, which have pre-compact ranges. Besides periodic and almost periodic functions, this class also includes many nonrecurrent functions. Assuming a hyperbolic structure for the unperturbed linear equation and certain properties for the linear and nonlinear parts, the existence of a special bounded entire solution, as well the existence of stable and unstable manifolds of this solution are established. Moreover, it is shown that this solution and these manifolds inherit the temporal behaviour of the vector field equation. In the stable case it is shown that this special solution is the pullback attractor of the system. A class of infinite dimensional examples involving a linear operator consisting of a time independent part which generates a C(0)-semigroup plus a small time dependent part is presented and applied to systems of coupled heat and beam equations. (C) 2010 Elsevier Ltd. All rights reserved.

Large time behaviour for functional differential equations with dominant eigenvalues of arbitrary order

The spectral theory for linear autonomous neutral functional differential equations (FDE) yields explicit formulas for the large time behaviour of solutions. Our results are based on resolvent computations and Dunford calculus, applied to establish explicit formulas for the large time behaviour of solutions of FDE. We investigate in detail a class of two-dimensional systems of FDE. (C) 2009 Elsevier Inc. All rights reserved.

Production and body composition traits of broilers in relation to breast weight evaluated by path analysis

Breast weight has great economic importance in poultry industry, and may be associated with other variables. This work aimed to estimate phenotypic correlations between performance (live body weight at 7 and 28 days, and at slaughter, and depth of the breast muscle measured by ultrasonography), carcass (eviscerated body weight and leg weight) and body composition (heart, liver and abdominal fat weight) traits in a broiler line, and quantify the direct and indirect influence of these traits on breast weight. Path analysis was used by expanding the matrix of partial correlation in coefficients which give the direct influence of one trait on another, regardless the effect of the other traits. The simultaneous maintenance of live body weight at slaughter and eviscerated body weight in the matrix of correlations might be harmful for statistical analysis involving systems of normal equations, like path analysis, due to the observed multicollinearity. The live body weight at slaughter and the depth of the breast muscle as measured by ultrasonography directly affected breast weight and were identified as the most responsible factors for the magnitude of the correlation coefficients obtained between the studied traits and breast weight. Individual pre-selection for these traits could favor an increased breast weight in the future reproducer candidates of this line if the broilers' environmental conditions and housing are maintained, since the live body weight at slaughter and the depth of breast muscle measured by ultrasonography were directly related to breast weight.

Morphology and anatomy of leaf miners in two species of Commelinaceae (Commelina diffusa Burm. f. and Floscopa glabrata (Kunth) Hassk)

In specialized literature, reports on anatomy of miners in host plants are few in number. These agents trigger excavations, or paths, by consumption of plant inner tissues by larvae of several insects. The aim of this work was to investigate leaf miner occurrence in Commelina diffusa (a cosmopolitan plant) and Floscopa glabrata (an amphibious plant) using anatomical techniques. The place where the plants were collected is subjected to seasonal floods, consequently both the species were exposed to the same weather conditions and seasonal floods. This study showed that members of Agromyzidae and Chironomidae families, which are Diptera endophytophagous larvae types, were responsible for the tunnels. Moreover, in Commelina diffusa Agromyzidae larvae were found, while in Floscopa glabrata three Chironomidae cephalic exuviae were found. The miners, as can be seen from anatomical studies, used only mesophyll parenchyma tissues for feeding, causing the formation of linear mines. In addition, in both the species, the epidermis and the medium-sized vascular units were kept intact, showing no structural modification, such as neoformation of tissues.

Transpressive dextral shear in the Italva-Itaperuna section, Northern State of Rio de Janeiro, Brazil

Structural analysis carried out on a segment of the Neoproterozoic Ribeira Belt, southeastern Brazil, show that it represents part of the transpressive dextral orogen related to the Central Mantiqueira Province. NNE-trending and steeply dipping regional mylonitic belts form anastomosed geometry, and describe a map-scale, S-C-like structure that is characterized by their deflection towards NE near the Além Paraíba Lineament. Lithological and structural control related to deformation partition were responsible for the formation of felsic mylonitic granulites with S-type granites lenses developed in ductile shear zones, alternated with less deformed intermediate to basic granulites associated with charnockites. The dextral shear sense indicators are consistent with transpressive deformation in the region and are common especially at the border of the main shear zones. The presence of S-type leucogranite may lead to variations of linear and planar relationships, which result in local extension zones. These elements are consistent with oblique continental collision considering the São Francisco Craton as a stable block.

Haptic Stabilization of Posture in Adults With Intellectual Disabilities Using a Nonrigid Tool

This study assessed the effects of haptic information on the postural control systems of individuals with intellectual disabilities (ID), through the use of a nonrigid tool that we call the ""anchor system"" (e.g., ropes attached to graduated weights that rest on the floor). Eleven participants with ID were asked to stand, blindfolded, on a balance beam placed at two heights (10 and 20 cm), for 30 s, while using the anchor system at two weights. The lighter anchor weight appeared to improve the individuals' balance in contrast to a control task condition; therefore, we concluded that haptic sensitivity was more significant in helping to orient the body than was the anchor's mechanical support alone.

Unconstrained Finite Element for Geometrical Nonlinear Dynamics of Shells

This paper presents a positional FEM formulation to deal with geometrical nonlinear dynamics of shells. The main objective is to develop a new FEM methodology based on the minimum potential energy theorem written regarding nodal positions and generalized unconstrained vectors not displacements and rotations. These characteristics are the novelty of the present work and avoid the use of large rotation approximations. A nondimensional auxiliary coordinate system is created, and the change of configuration function is written following two independent mappings from which the strain energy function is derived. This methodology is called positional and, as far as the authors' knowledge goes, is a new procedure to approximated geometrical nonlinear structures. In this paper a proof for the linear and angular momentum conservation property of the Newmark beta algorithm is provided for total Lagrangian description. The proposed shell element is locking free for elastic stress-strain relations due to the presence of linear strain variation along the shell thickness. The curved, high-order element together with an implicit procedure to solve nonlinear equations guarantees precision in calculations. The momentum conserving, the locking free behavior, and the frame invariance of the adopted mapping are numerically confirmed by examples. Copyright (C) 2009 H. B. Coda and R. R. Paccola.

Genetic variability of the Amazon River prawn Macrobrachium amazonicum (Decapoda, Caridea, Palaemonidae)

The freshwater prawn Macrobrachium amazonicum is widely distributed in South America, and occupies habitats with a wide range of salinities. Several investigations have revealed the existence of wide intraspecific variability among different populations, although the understanding of this variability is still fragmentary and incomplete. We compared and characterized inland and coastal populations of M. amazonicum from Brazil, using molecular data (16S and COI mtDNA) to describe the degree of variability, structure, and relationships among them. Genetic divergence rates among populations showed variability at the intraspecific level. All the analyses evidenced significant genetic divergence among populations, structuring them in three groups: I-inland waters of the Amazonian Hydrographic Region (HR); II-Parana/Paraguay HR; and III-coastal systems of northern and northeastern Brazil. Phylogenetic reconstructions revealed that the populations form a single monophyletic clade, which supports their characterization as a single species. Clade I was a sister clade of that formed by clades II and III, which were themselves sister clades. Populations from Sertaozinho/Miguelopolis and Avare, introduced into the state of Sao Paulo, may have originated from natural populations in the states of Mato Grosso do Sul and Para, respectively. Geographical isolation probably contributed to the observed variation, and if this isolation continues. M. amazonicum may undergo speciation within its broad geographical distribution. The sequences obtained here can be used as name-tags for population identification, and the DNA barcodes are useful to identify the origin of specimens used in different freshwater-prawn cultures or introduced populations of unknown origin.

Protein aggregation containing beta-amyloid, alpha-synuclein and hyperphosphorylated tau in cultured cells of hippocampus, substantia nigra and locus coeruleus after rotenone exposure

Background: Protein aggregates containing alpha-synuclein, beta-amyloid and hyperphosphorylated tau are commonly found during neurodegenerative processes which is often accompanied by the impairment of mitochondrial complex I respiratory chain and dysfunction of cellular systems of protein degradation. In view of this, we aimed to develop an in vitro model to study protein aggregation associated to neurodegenerative diseases using cultured cells from hippocampus, locus coeruleus and substantia nigra of newborn Lewis rats exposed to 0.5, 1, 10 and 25 nM of rotenone, which is an agricultural pesticide, for 48 hours. Results: We demonstrated that the proportion of cells in culture is approximately the same as found in the brain nuclei they were extracted from. Rotenone at 0.5 nM was able to induce alpha-synuclein and beta amyloid aggregation, as well as increased hyperphosphorylation of tau, although high concentrations of this pesticide (over 1 nM) lead cells to death before protein aggregation. We also demonstrated that the 14kDa isoform of alpha-synuclein is not present in newborn Lewis rats. Conclusion: Rotenone exposure may lead to constitutive protein aggregation in vitro, which may be of relevance to study the mechanisms involved in idiopathic neurodegeneration.

Diversification and Species Boundaries of Rhinebothrium (Cestoda; Rhinebothriidea) in South American Freshwater Stingrays (Batoidea; Potamotrygonidae)

Background: Neotropical freshwater stingrays (Batoidea: Potamotrygonidae) host a diverse parasite fauna, including cestodes. Both cestodes and their stingray hosts are marine-derived, but the taxonomy of this host/parasite system is poorly understood. Methodology: Morphological and molecular (Cytochrome oxidase I) data were used to investigate diversity in freshwater lineages of the cestode genus Rhinebothrium Linton, 1890. Results were based on a phylogenetic hypothesis for 74 COI sequences and morphological analysis of over 400 specimens. Cestodes studied were obtained from 888 individual potamotrygonids, representing 14 recognized and 18 potentially undescribed species from most river systems of South America. Results: Morphological species boundaries were based mainly on microthrix characters observed with scanning electron microscopy, and were supported by COI data. Four species were recognized, including two redescribed (Rhinebothrium copianullum and R. paratrygoni), and two newly described (R. brooksi n. sp. and R. fulbrighti n. sp.). Rhinebothrium paranaensis Menoret & Ivanov, 2009 is considered a junior synonym of R. paratrygoni because the morphological features of the two species overlap substantially. The diagnosis of Rhinebothrium Linton, 1890 is emended to accommodate the presence of marginal longitudinal septa observed in R. copianullum and R. brooksi n. sp. Patterns of host specificity and distribution ranged from use of few host species in few river basins, to use of as many as eight host species in multiple river basins. Significance: The level of intra-specific morphological variation observed in features such as total length and number of proglottids is unparalleled among other elasmobranch cestodes. This is attributed to the large representation of host and biogeographical samples. It is unclear whether the intra-specific morphological variation observed is unique to this freshwater system. Nonetheless, caution is urged when using morphological discontinuities to delimit elasmobranch cestode species because the amount of variation encountered is highly dependent on sample size and/or biogeographical representation.