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.

MODELING OF AN INFORMATION SYSTEM FOR WINE TRACEABILITY BASED ON A SERVICE ORIENTED ARCHITECTURE

The purpose is to present a scientific research that led to the modeling of an information system which aimed at the maintenance of traceability data in the Brazilian wine industry, according to the principles of a service-oriented architecture (SOA). Since 2005, traceability data maintenance is an obligation for all producers that intend to export to any European Union country. Also, final customers, including the Brazilian ones, have been asking for information about food products. A solution that collectively contemplated the industry was sought in order to permit that producer consortiums of associations could share the costs and benefits of such a solution. Following an extensive bibliographic review, a series of interviews conducted with Brazilian researchers and wine producers in Bento Goncalves - RS, Brazil, elucidated many aspects associated with the wine production process. Information technology issues related to the theme were also researched. The software was modeled with the Unified Modeling Language (UML) and uses web services for data exchange. A model for the wine production process was also proposed. A functional prototype showed that the adopted model is able to fulfill the demands of wine producers. The good results obtained lead us to consider the use of this model in other domains.

Numerical modeling of ductile crack extension in high pressure pipelines with longitudinal flaws

This study examines the applicability of a micromechanics approach based upon the computational cell methodology incorporating the Gurson-Tvergaard (GT) model and the CTOA criterion to describe ductile crack extension of longitudinal crack-like defects in high pressure pipeline steels. A central focus is to gain additional insight into the effectiveness and limitations of both approaches to describe crack growth response and to predict the burst pressure for the tested cracked pipes. A verification study conducted on burst testing of large-diameter, precracked pipe specimens with varying crack depth to thickness ratio (a/t) shows the potential predictive capability of the cell approach even though both the CT model and the CTOA criterion appear to depend on defect geometry. Overall, the results presented here lend additional support for further developments in the cell methodology as a valid engineering tool for integrity assessments of pipelines with axial defects. (C) 2011 Elsevier Ltd. All rights reserved,

On Building a Memory Evolutive System for Application to Learning and Cognition Modeling

We address here aspects of the implementation of a memory evolutive system (MES), based on the model proposed by A. Ehresmann and J. Vanbremeersch (2007), by means of a simulated network of spiking neurons with time dependent plasticity. We point out the advantages and challenges of applying category theory for the representation of cognition, by using the MES architecture. Then we discuss the issues concerning the minimum requirements that an artificial neural network (ANN) should fulfill in order that it would be capable of expressing the categories and mappings between them, underlying the MES. We conclude that a pulsed ANN based on Izhikevich`s formal neuron with STDP (spike time-dependent plasticity) has sufficient dynamical properties to achieve these requirements, provided it can cope with the topological requirements. Finally, we present some perspectives of future research concerning the proposed ANN topology.

MODELING THE UNVOICED COMPONENT IN THE CANONICAL REPRESENTATION OF SPEECH

The canonical representation of speech constitutes a perfect reconstruction (PR) analysis-synthesis system. Its parameters are the autoregressive (AR) model coefficients, the pitch period and the voiced and unvoiced components of the excitation represented as transform coefficients. Each set of parameters may be operated on independently. A time-frequency unvoiced excitation (TFUNEX) model is proposed that has high time resolution and selective frequency resolution. Improved time-frequency fit is obtained by using for antialiasing cancellation the clustering of pitch-synchronous transform tracks defined in the modulation transform domain. The TFUNEX model delivers high-quality speech while compressing the unvoiced excitation representation about 13 times over its raw transform coefficient representation for wideband speech.

Modeling soil organic carbon dynamics in Oxisols of Ibiruba (Brazil) with the Century Model

introduction of conservation practices in degraded agricultural land will generally recuperate soil quality, especially by increasing soil organic matter. This aspect of soil organic C (SOC) dynamics under distinct cropping and management systems can be conveniently analyzed with ecosystem models such as the Century Model. In this study, Century was used to simulate SOC stocks in farm fields of the Ibiruba region of north central Rio Grande do Sul state in Southern Brazil. The region, where soils are predominantly Oxisols, was originally covered with subtropical woodlands and grasslands. SOC dynamics was simulated with a general scenario developed with historical data on soil management and cropping systems beginning with the onset of agriculture in 1900. From 1993 to 2050, two contrasting scenarios based on no-tillage soil management were established: the status quo scenario, with crops and agricultural inputs as currently practiced in the region and the high biomass scenario with increased frequency of corn in the cropping system, resulting in about 80% higher biomass addition to soils. Century simulations were in close agreement with SOC stocks measured in 2005 in the Oxisols with finer texture surface horizon originally under woodlands. However, simulations in the Oxisols with loamy surface horizon under woodlands and in the grassland soils were not as accurate. SOC stock decreased from 44% to 50% in fields originally under woodland and from 20% to 27% in fields under grasslands with the introduction of intensive annual grain crops with intensive tillage and harrowing operations. The adoption of conservation practices in the 1980s led to a stabilization of SOC stocks followed by a partial recovery of native stocks. Simulations to 2050 indicate that maintaining status quo would allow SOC stocks to recover from 81% to 86% of the native stocks under woodland and from 80% to 91 % of the native stocks under grasslands. Adoption of a high biomass scenario would result in stocks from 75% to 95% of the original stocks under woodlands and from 89% to 102% in the grasslands by 2050. These simulations outcomes underline the importance of cropping system yielding higher biomass to further increase SOC content in these Oxisols. This application of the Century Model could reproduce general trends of SOC loss and recovery in the Oxisols of the Ibiruba region. Additional calibration and validation should be conducted before extensive usage of Century as a support tool for soil carbon sequestration projects in this and other regions can be recommended. (C) 2009 Elsevier B.V. All rights reserved.

Forward-looking versus recursive-dynamic modeling in climate policy analysis: A comparison

This paper develops a multi-regional general equilibrium model for climate policy analysis based on the latest version of the MIT Emissions Prediction and Policy Analysis (EPPA) model. We develop two versions so that we can solve the model either as a fully inter-temporal optimization problem (forward-looking, perfect foresight) or recursively. The standard EPPA model on which these models are based is solved recursively, and it is necessary to simplify some aspects of it to make inter-temporal solution possible. The forward-looking capability allows one to better address economic and policy issues such as borrowing and banking of GHG allowances, efficiency implications of environmental tax recycling, endogenous depletion of fossil resources, international capital flows, and optimal emissions abatement paths among others. To evaluate the solution approaches, we benchmark each version to the same macroeconomic path, and then compare the behavior of the two versions under a climate policy that restricts greenhouse gas emissions. We find that the energy sector and CO(2) price behavior are similar in both versions (in the recursive version of the model we force the inter-temporal theoretical efficiency result that abatement through time should be allocated such that the CO(2) price rises at the interest rate.) The main difference that arises is that the macroeconomic costs are substantially lower in the forward-looking version of the model, since it allows consumption shifting as an additional avenue of adjustment to the policy. On the other hand, the simplifications required for solving the model as an optimization problem, such as dropping the full vintaging of the capital stock and fewer explicit technological options, likely have effects on the results. Moreover, inter-temporal optimization with perfect foresight poorly represents the real economy where agents face high levels of uncertainty that likely lead to higher costs than if they knew the future with certainty. We conclude that while the forward-looking model has value for some problems, the recursive model produces similar behavior in the energy sector and provides greater flexibility in the details of the system that can be represented. (C) 2009 Elsevier B.V. All rights reserved.

Standard Examination System for Laparoscopy in Penetrating Abdominal Trauma

Background: The high missed occult small bowel injuries (SBI) associated with laparoscopy in trauma (LIT) is a major reason why some surgeons still preclude LIT today. No standardized laparoscopic examination for evaluation of the peritoneal cavity is described for trauma. The objective of this article is to verify if a systematic standardized laparoscopic approach could correctly identify SBI in the peritoneal cavity for penetrating abdominal trauma (PAT). Methods: Victims with PAT were evaluated in a prospective, nonrandomized study. A total of 75 hemodynamically stable patients with suspected abdominal injuries were operated by LIT and converted to laparotomy if criteria were met: SBI and lesions to blind spot zones-retroperitoneal hematoma, injuries to segments VI or VII of the liver, or injuries to the posterior area of the spleen. Inclusion criteria were equivocal evidence of abdominal injuries or peritonea] penetration; systolic blood pressure >90 mm Hg and <3 L of IV fluids in the first hour of admission; Glasgow Coma Scale score >12; and age >12 years. Exclusion criteria were back injuries; pregnancy; previous laparotomy; and chronic cardiorespiratory disease. Results: Sixty patients were males and there were 38 stab wounds and 37 gunshot wounds. No SBI was missed, but a pancreatic lesion was undiagnosed due to a retroperitoneal hematoma. Twenty patients (26.6%) were converted. Unnecessary laparotomies were avoided in 73.33%. Therapeutic LIT was possible in 22.7%. Accuracy was 98.66% with 97.61% sensitivity and 100% specificity. Conclusions: Standard systematic laparoscopic exploration was 100% effective to detect SBI in the peritoneal cavity. Conversion from LIT to laparotomy should be done if injuries to blind spot zones are found which are poorly evaluated by LIT. Therapeutic LIT is feasible in PAT.

Hormonal Contraceptives and the Length of Their Use Are Not Independent Risk Factors for High-Risk HPV Infections or High-Grade CIN

Aims: To evaluate the role of hormonal contraceptives as a risk factor of high-risk human papillomavirus (HR-HPV), cervical intraepithelial lesions (CIN) and cervical cancer in our multi-center population-based LAMS (Latin American Screening) study. Methods: A cohort study with >12,000 women from Brazil and Argentina using logistic regression to analyze the covariates of hormonal contraception (HOC - oral, injections, patches, implants, vaginal ring and progesterone intrauterine system) use followed by multivariate modeling for predictors of HR-HPV and CIN2+. Results: HR-HPV infection was a consistent risk factor of high-grade CIN in all three groups of women. The length of HOC use was not significantly related to high-grade squamous intraepithelial lesions (HSIL)+ Pap (p = 0.069), LSIL+ Pap (p = 0.781) or ASCUS+ (p = 0.231). The same was true with the length of HOC use and histology CIN3+ (p = 0.115) and CIN2+ (p = 0.515). Frequently, HOC users have previously shown more HPV-related lesions, as well as lower HPV prevalence if they were current smokers. But HOC use and time of usage were not independent risk factors of either HR-HPV infection or high-grade CIN using multiple logistic regressions. Conclusions: No evidence was found for an association between the use of HOC with an increased risk for HR-HPV infection or high-grade CIN in this cohort. Copyright (C) 2010 S. Karger AG, Basel

A Dynamical Modeling to Study the Adaptive Immune System and the Influence of Antibodies in the Immune Memory

Immunological systems have been an abundant inspiration to contemporary computer scientists. Problem solving strategies, stemming from known immune system phenomena, have been successfully applied to chall enging problems of modem computing. Simulation systems and mathematical modeling are also beginning use to answer more complex immunological questions as immune memory process and duration of vaccines, where the regulation mechanisms are not still known sufficiently (Lundegaard, Lund, Kesmir, Brunak, Nielsen, 2007). In this article we studied in machina a approach to simulate the process of antigenic mutation and its implications for the process of memory. Our results have suggested that the durability of the immune memory is affected by the process of antigenic mutation.and by populations of soluble antibodies in the blood. The results also strongly suggest that the decrease of the production of antibodies favors the global maintenance of immune memory.

Assessment of synovitis with contrast-enhanced MRI using a whole-joint semiquantitative scoring system in people with, or at high risk of, knee osteoarthritis: the MOST study

Objectives To introduce a comprehensive and reliable scoring system for the assessment of whole-knee joint synovitis based on contrast-enhanced (CE) MRI. Methods Multicenter Osteoarthritis Study (MOST) is a cohort study of people with, or at high risk of, knee osteoarthritis (OA). Subjects are an unselected subset of MOST who volunteered for CE-MRI. Synovitis was assessed at 11 sites of the joint. Synovial thickness was scored semiquantitatively: grade 0 (< 2 mm), grade 1 (2-4 mm) and grade 2 (> 4 mm) at each site. Two musculoskeletal radiologists performed the readings and inter-and intrareader reliability was evaluated. Whole-knee synovitis was assessed by summing the scores from all sites. The association of Western Ontario and McMaster Osteoarthritis Index pain score with this summed score and with the maximum synovitis grade for each site was assessed. Results 400 subjects were included (mean age 58.8 +/- 7.0 years, body mass index 29.5 +/- 4.9 kg/m(2), 46% women). For individual sites, intrareader reliability (weighted kappa) was 0.67-1.00 for reader 1 and 0.60-1.00 for reader 2. Inter-reader agreement (kappa) was 0.67-0.92. For the summed synovitis scores, intrareader reliability (intraclass correlation coefficient (ICC)) was 0.98 and 0.96 for each reader and inter-reader agreement (ICC) was 0.94. Moderate to severe synovitis in the parapatellar subregion was associated with the higher maximum pain score (adjusted OR (95% CI), 2.8 (1.4 to 5.4) and 3.1 (1.2 to 7.9), respectively). Conclusions A comprehensive semiquantitative scoring system for the assessment of whole-knee synovitis is proposed. It is reliable and identifies knees with pain, and thus is a potentially powerful tool for synovitis assessment in epidemiological OA studies.

Modeling the Competition Between Viruses in a Complex Plant-Pathogen System

In this article, we propose a mathematical model that describes the competition between two plant virus strains (MAV and PAV) for both the host plant (oat) and their aphid vectors. We found that although PAV is transmitted by two aphids and MAV by only one, this fact, by itself, does not explain the complete replacement of MAV by PAV in New York State during the period from 1961 through 1976; an interpretation that is in agreement with the theories of A. G. Power. Also, although MAV wins the competition within aphids, we assumed that, in 1961, PAV mutated into a new variant such that this new variant was able to overcome MAV within the plants during a latent period. As shown below, this is sufficient to explain the swap of strains; that is, the dominant MAV was replaced by PAV, also in agreement with Power`s expectations.

Impact of biomass burning aerosols on precipitation in the Amazon: A modeling case study

A study of the potential role of aerosols in modifying clouds and precipitation is presented using a numerical atmospheric model. Measurements of cloud condensation nuclei (CCN) and cloud size distribution properties taken in the southwestern Amazon region during the transition from dry to wet seasons were used as guidelines to define the microphysical parameters for the simulations. Numerical simulations were carried out using the Brazilian Development on Regional Atmospheric Modeling System, and the results presented considerable sensitivity to changes in these parameters. High CCN concentrations, typical of polluted days, were found to result in increases or decreases in total precipitation, depending on the level of pollution used as a reference, showing a complexity that parallels the aerosol-precipitation interaction. Our results show that on the grids evaluated, higher CCN concentrations reduced low-to-moderate rainfall rates and increased high rainfall rates. The principal consequence of the increased pollution was a change from a warm to a cold rain process, which affected the maximum and overall mean accumulated precipitation. Under polluted conditions, cloud cover diminished, allowing greater amounts of solar radiation to reach the surface. Aerosol absorption of radiation in the lower layers of the atmosphere delayed convective evolution but produced higher maximum rainfall rates due to increased instability. In addition, the intensity of the surface sensible heat flux, as well as that of the latent heat flux, was reduced by the lower temperature difference between surface and air, producing greater energy stores at the surface.

Ecological niche modeling and geographical distribution of pollinator and plants: A case study of Peponapis fervens (Smith, 1879) (Eucerini: Apidae) and Cucurbita species (Cucurbitaceae)

The bees of the Peponapes genus (Eucerini, Apidae) have a Neotropical distribution with the center of species diversity located in Mexico and are specialized in Cucurbita plants. which have many species of economic importance. such as squashes and pumpkins Peponapis fervens is the only species of the genus known from southern South America The Cucurbita species occurring in the same area as P fervens Include four domesticated species (C ficifolia, C maxima maxima, C moschata and C pepo) and one non-domesticated species (Cucurbita maxima andreana) It was suggested that C. in andreana was the original pollen source to P fervens, and this bee expanded its geographical range due to the domestication of Cucurbita The potential geographical areas of these species were determined and compared using ecological niche modeling that was performed with the computational system openModeller and GARP with best subsets algorithm The climatic variables obtained through modeling were compared using Cluster Analysis Results show that the potential areas of domesticated species practically spread all over South America The potential area of P fervens Includes the areas of C m andreana but reaches a larger area, where the domesticated species of Cucurbita also Occur The Cluster Analysis shows a high climatic similarity between P fervens and C. m. andreana Nevertheless. P fervens presents the ability to occupy areas with wider ranges of climatic variables and to exploit resources provided by domesticated species (C) 2009 Elsevier B V All rights reserved

Reentrant quantum Hall effect in bilayer system at high filling factors

We report on the measurements of the quantum Hall effect states in double quantum well structures at the filling factors v = 4N + 1 and 4N + 3, where N is the Landau index number, in the presence of the in-plane magnetic field. The quantum Hall states at these filling factors vanish and reappear several times. Repeated reentrance of the transport gap occurs due to the periodic vanishing of the tunneling amplitude in the presence of the in-plane field. When the gap vanishes, the transport becomes anisotropic. The anisotropy persist at half-odd filling factors, when bilayer quantum Hall states are recovered with increase of the tilt angle. (C) 2007 Elsevier B.V. All rights reserved.