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.

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.

Distributed Estimation Over an Adaptive Incremental Network Based on the Affine Projection Algorithm

We study the problem of distributed estimation based on the affine projection algorithm (APA), which is developed from Newton`s method for minimizing a cost function. The proposed solution is formulated to ameliorate the limited convergence properties of least-mean-square (LMS) type distributed adaptive filters with colored inputs. The analysis of transient and steady-state performances at each individual node within the network is developed by using a weighted spatial-temporal energy conservation relation and confirmed by computer simulations. The simulation results also verify that the proposed algorithm provides not only a faster convergence rate but also an improved steady-state performance as compared to an LMS-based scheme. In addition, the new approach attains an acceptable misadjustment performance with lower computational and memory cost, provided the number of regressor vectors and filter length parameters are appropriately chosen, as compared to a distributed recursive-least-squares (RLS) based method.

Title Model for Computer Networks Optimization

The TCP/IP architecture was consolidated as a standard to the distributed systems. However, there are several researches and discussions about alternatives to the evolution of this architecture and, in this study area, this work presents the Title Model to contribute with the application needs support by the cross layer ontology use and the horizontal addressing, in a next generation Internet. For a practical viewpoint, is showed the network cost reduction for the distributed programming example, in networks with layer 2 connectivity. To prove the title model enhancement, it is presented the network analysis performed for the message passing interface, sending a vector of integers and returning its sum. By this analysis, it is confirmed that the current proposal allows, in this environment, a reduction of 15,23% over the total network traffic, in bytes.

Distributed power control algorithm for multiple access systems based on Verhulst model

In this paper the continuous Verhulst dynamic model is used to synthesize a new distributed power control algorithm (DPCA) for use in direct sequence code division multiple access (DS-CDMA) systems. The Verhulst model was initially designed to describe the population growth of biological species under food and physical space restrictions. The discretization of the corresponding differential equation is accomplished via the Euler numeric integration (ENI) method. Analytical convergence conditions for the proposed DPCA are also established. Several properties of the proposed recursive algorithm, such as Euclidean distance from optimum vector after convergence, convergence speed, normalized mean squared error (NSE), average power consumption per user, performance under dynamics channels, and implementation complexity aspects, are analyzed through simulations. The simulation results are compared with two other DPCAs: the classic algorithm derived by Foschini and Miljanic and the sigmoidal of Uykan and Koivo. Under estimated errors conditions, the proposed DPCA exhibits smaller discrepancy from the optimum power vector solution and better convergence (under fixed and adaptive convergence factor) than the classic and sigmoidal DPCAs. (C) 2010 Elsevier GmbH. All rights reserved.

Generation of self-similar Gaussian time series by means of the DWT and DWPT variance maps

Due to the several kinds of services that use the Internet and data networks infra-structures, the present networks are characterized by the diversity of types of traffic that have statistical properties as complex temporal correlation and non-gaussian distribution. The networks complex temporal correlation may be characterized by the Short Range Dependence (SRD) and the Long Range Dependence - (LRD). Models as the fGN (Fractional Gaussian Noise) may capture the LRD but not the SRD. This work presents two methods for traffic generation that synthesize approximate realizations of the self-similar fGN with SRD random process. The first one employs the IDWT (Inverse Discrete Wavelet Transform) and the second the IDWPT (Inverse Discrete Wavelet Packet Transform). It has been developed the variance map concept that allows to associate the LRD and SRD behaviors directly to the wavelet transform coefficients. The developed methods are extremely flexible and allow the generation of Gaussian time series with complex statistical behaviors.

An RFID Bulk Cargo Supervising System

In this work, a system using active RFID tags to supervise truck bulk cargo is described. The tags are attached to the bodies of the trucks and readers are distributed in the cargo buildings and attached to weighs and the discharge platforms. PDAs with camera and support to a WiFi network are provided to the inspectors and access points are installed throughout the discharge area to allow effective confirmations of unload actions and the acquisition of pictures for future audit. Broadband radio equipments are used to establish efficient communication links between the weighs and cargo buildings which are usually located very far from each other in the field. A web application software was especially developed to enable robust communication between the equipments for efficient device management, data processing and reports generation to the operating personal. The system was deployed in a cargo station of a Brazilian seashore port. The obtained results prove the effectiveness of the proposed system.

Adequacy of Cold Rolling Models to Upgrade Set-up Generation Systems

This paper presents two strategies for the upgrade of set-up generation systems for tandem cold mills. Even though these mills have been modernized mainly due to quality requests, their upgrades may be made intending to replace pre-calculated reference tables. In this case, Bryant and Osborn mill model without adaptive technique is proposed. As a more demanding modernization, Bland and Ford model including adaptation is recommended, although it requires a more complex computational hardware. Advantages and disadvantages of these two systems are compared and discussed and experimental results obtained from an industrial cold mill are shown.

Thermodynamic information system for diagnosis and prognosis of power plant operation condition

A thermodynamic information system for diagnosis and prognosis of an existing power plant was developed. The system is based on an analytic approach that informs the current thermodynamic condition of all cycle components, as well as the improvement that can be obtained in the cycle performance by the elimination of the discovered anomalies. The effects induced by components anomalies and repairs in other components efficiency, which have proven to be one of the main drawbacks in the diagnosis and prognosis analyses, are taken into consideration owing to the use of performance curves and corrected performance curves together with the thermodynamic data collected from the distributed control system. The approach used to develop the system is explained, the system implementation in a real gas turbine cogeneration combined cycle is described and the results are discussed. (C) 2011 Elsevier Ltd. All rights reserved.

Electron beam induced second-harmonic generation in Er(3+) doped PbO-GeO(2) glasses containing silver nanoparticles

Electron beam induced second harmonic generation (SHG) is studied in Er(3+) doped PbO-GeO(2) glasses containing silver nanoparticles with concentrations that are controlled by the heat-treatment of the samples. The SHG is observed at T = 4.2 K using a p-polarized laser beam at 1064 nm. Enhancement of the SHG is observed in the samples that are submitted to electron beam incidence. The highest value of the nonlinear susceptibility, 2.08 pm/V, is achieved for the sample heat-treated during 72 h and submitted to an electron beam current of 15 nA. The samples that were not exposed to the electron beam present a susceptibility of a parts per thousand 0.5 pm/V.

Vector within-host feeding preference mediates transmission of a heterogeneously distributed pathogen

2. We documented the within-host distribution of two vector species that differ in transmission efficiency, the leafhoppers Draeculacephala minerva and Graphocephala atropunctata, and which are free to move throughout entirely caged alfalfa plants. The more efficient vector D. minerva fed preferentially at the base of the plant near the soil surface, whereas the less efficient G. atropunctata preferred overwhelming the top of the plant. 3. Next we documented X. fastidiosa heterogeneity in mechanically inoculated plants. Infection rates were up to 50% higher and mean bacterial population densities were 100-fold higher near the plant base than at the top or in the taproot. 4. Finally, we estimated transmission efficiency of the two leafhoppers when they were confined at either the base or top of inoculated alfalfa plants. Both vectors were inefficient when confined at the top of infected plants and were 20-60% more efficient when confined at the plant base. 5. These results show that vector transmission efficiency is determined by the interaction between leafhopper within-plant feeding behaviour and pathogen within-plant distribution. Fine-scale vector and pathogen overlap is likely to be a requirement generally for efficient transmission of vector-borne pathogens.

Quantitative Trait Loci Mapping and The Genetic Basis of Heterosis in Maize and Rice

Despite its importance to agriculture, the genetic basis of heterosis is still not well understood. The main competing hypotheses include dominance, overdominance, and epistasis. NC design III is an experimental design that. has been used for estimating the average degree of dominance of quantitative trait 106 (QTL) and also for studying heterosis. In this study, we first develop a multiple-interval mapping (MIM) model for design III that provides a platform to estimate the number, genomic positions, augmented additive and dominance effects, and epistatic interactions of QTL. The model can be used for parents with any generation of selling. We apply the method to two data sets, one for maize and one for rice. Our results show that heterosis in maize is mainly due to dominant gene action, although overdominance of individual QTL could not completely be ruled out due to the mapping resolution and limitations of NC design III. For rice, the estimated QTL dominant effects could not explain the observed heterosis. There is evidence that additive X additive epistatic effects of QTL could be the main cause for the heterosis in rice. The difference in the genetic basis of heterosis seems to be related to open or self pollination of the two species. The MIM model for NC design III is implemented in Windows QTL Cartographer, a freely distributed software.

Nutritional Aspects of Second Generation Soy Foods

Samples of 15 second generation soy-based products (n = 3), commercially available, were analyzed for their protein and isoflavone contents and in vitro antioxidant activity, by means of the Folin-Ciocalteu reducing ability, DPPH radical scavenging capacity, and oxygen radical absorbance capacity. Isoflavone identification and quantification were performed by high-performance liquid chromatography. Products containing soy and/or soy-based ingredients represent important sources of protein in addition to the low fat amounts. However, a large variation in isoflavone content and in vitro antioxidant capacity was observed. The isoflavone content varied from 2.4 to 18.1 mg/100 g (FW), and soy kibe and soy sausage presented the highest amounts. Chocolate had the highest antioxidant capacity, but this fact was probably associated with the addition of cocoa liquor, a well-known source of polyphenolics. This study showed that the soy-based foods do not present a significant content of isoflavones when compared with the grain, and their in vitro antioxidant capacity is not related with these compounds but rather to the presence of other phenolics and synthetic antioxidants, such as sodium erythorbate. However, they may represent alternative sources and provide soy protein, isoflavones, and vegetable fat for those who are not ready to eat traditional soy foods.

Method development and optimization for the determination of selenium in bean and soil samples using hydride generation electrothermal atomic absorption spectrometry

The present investigation is the first part of an initiative to prepare a regional map of the natural abundance of selenium in various areas of Brazil, based on the analysis of bean and soil samples. Continuous-flow hydride generation electrothermal atomic absorption spectrometry (HG-ET AAS) with in situ trapping on an iridium-coated graphite tube has been chosen because of the high sensitivity and relative simplicity. The microwave-assisted acid digestion for bean and soil samples was tested for complete recovery of inorganic and organic selenium compounds (selenomethionine). The reduction of Se(VI) to Se(IV) was optimized in order to guarantee that there is no back-oxidation, which is of importance when digested samples are not analyzed immediately after the reduction step. The limits of detection and quantification of the method were 30 ng L(-1) Se and 101 ng L(-1) Se, respectively, corresponding to about 3 ng g(-1) and 10 ng g(-1), respectively, in the solid samples, considering a typical dilution factor of 100 for the digestion process. The results obtained for two certified food reference materials (CRM), soybean and rice, and for a soil and sediment CRM confirmed the validity of the investigated method. The selenium content found in a number of selected bean samples varied between 5.5 +/- 0.4 ng g(-1) and 1726 +/- 55 ng g(-1), and that in soil samples varied between 113 +/- 6.5 ng g(-1) and 1692 +/- 21 ng g(-1). (C) 2011 Elsevier B.V. All rights reserved.

Effect of Simvastatin on the Generation of Autoantibodies Against Oxidized LDL and Progression of Atherosclerosis in Rabbits

Oxidized Low-Density Lipoproteins (oxLDL) and autoantibodies against oxLDL are important in the development of atherosclerotic lesions. Statins are efficacious in the control of dyslipidemia and prevention of atherosclerosis; however, many questions concerning the mechanism of action of such drugs remain unknown. This work investigated the effect of simvastatin on generation of autoantibodies against oxLDL and development of atherosclerosis in rabbits. The animals were divided into three groups: control, hypercholesterolemic, and hypercholesterolemic simvastatin (3.0 mg simvastatin/ kg body weight). Concentrations of autoantibodies against oxLDL were determined on days 0,30 and 60 of the experiment and the atherosclerotic lesions were evaluated at the end of the study. Simvastatin reduced intimal proliferation in the thoracic region, prevented arterial calcification and inhibited the generation of autoantibodies against oxLDL. In conclusion, daily administration of simvastatin slows down atherosclerotic lesion development in rabbits with induced hypercholesterolemia and inhibition on generation of autoantibodies against oxLDL contributes to the cardioprotective effect observed.