A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

A calibration approach based on Takagi-Sugeno fuzzy inference system for digital electronic compasses

Recently, the development of industrial processes brought on the outbreak of technologically complex systems. This development generated the necessity of research relative to the mathematical techniques that have the capacity to deal with project complexities and validation. Fuzzy models have been receiving particular attention in the area of nonlinear systems identification and analysis due to it is capacity to approximate nonlinear behavior and deal with uncertainty. A fuzzy rule-based model suitable for the approximation of many systems and functions is the Takagi-Sugeno (TS) fuzzy model. IS fuzzy models are nonlinear systems described by a set of if then rules which gives local linear representations of an underlying system. Such models can approximate a wide class of nonlinear systems. In this paper a performance analysis of a system based on IS fuzzy inference system for the calibration of electronic compass devices is considered. The contribution of the evaluated IS fuzzy inference system is to reduce the error obtained in data acquisition from a digital electronic compass. For the reliable operation of the TS fuzzy inference system, adequate error measurements must be taken. The error noise must be filtered before the application of the IS fuzzy inference system. The proposed method demonstrated an effectiveness of 57% at reducing the total error based on considered tests. (C) 2011 Elsevier Ltd. All rights reserved.

Spatial portability of numerical models of leaf wetness duration based on empirical approaches

Leaf wetness duration (LWD) models based on empirical approaches offer practical advantages over physically based models in agricultural applications, but their spatial portability is questionable because they may be biased to the climatic conditions under which they were developed. In our study, spatial portability of three LWD models with empirical characteristics - a RH threshold model, a decision tree model with wind speed correction, and a fuzzy logic model - was evaluated using weather data collected in Brazil, Canada, Costa Rica, Italy and the USA. The fuzzy logic model was more accurate than the other models in estimating LWD measured by painted leaf wetness sensors. The fraction of correct estimates for the fuzzy logic model was greater (0.87) than for the other models (0.85-0.86) across 28 sites where painted sensors were installed, and the degree of agreement k statistic between the model and painted sensors was greater for the fuzzy logic model (0.71) than that for the other models (0.64-0.66). Values of the k statistic for the fuzzy logic model were also less variable across sites than those of the other models. When model estimates were compared with measurements from unpainted leaf wetness sensors, the fuzzy logic model had less mean absolute error (2.5 h day(-1)) than other models (2.6-2.7 h day(-1)) after the model was calibrated for the unpainted sensors. The results suggest that the fuzzy logic model has greater spatial portability than the other models evaluated and merits further validation in comparison with physical models under a wider range of climate conditions. (C) 2010 Elsevier B.V. All rights reserved.

Expression of vitamin D receptor mRNA in the hippocampal formation of rats submitted to a model of temporal lobe epilepsy induced by pilocarpine

Vitamin D (VD), is a steroid hormone with multiple functions in the central nervous system (CNS), producing numerous physiological effects mediated by its receptor (VDR). Clinical and experimental studies have shown a link between VD dysfunction and epilepsy. Along these lines, the purpose of our work was to analyze the relative expression of VDR mRNA in the hippocampal formation of rats during the three periods of pilocarpine-induced epilepsy. Male Wistar rats were divided into five groups: (1) control group; rats that received saline 0.9%, i.p. and were killed 7 days after its administration (CTRL, n = 8), (2) SE group; rats that received pilocarpine and were killed 4 h after SE (SE, n = 8), (3) Silent group-7 days; rats that received pilocarpine and were killed 7 days after SE (SIL 7d, n = 8), (4) Silent group-14 days; rats that received pilocarpine and were killed 14 days after SE (SIL 14d, n = 8), (5) Chronic group; rats that received pilocarpine and were killed 60 days after the first spontaneous seizure, (chronic, n = 8). The relative expression of VDR mRNA was determined by real-time PCR. Our results showed an increase of the relative expression of VDR mRNA in the SIL 7 days, SIL 14 days and Chronic groups, respectively (0.060 +/- 0.024; 0.052 +/- 0.035; 0.085 +/- 0.055) when compared with the CTRL and SE groups (0.019 +/- 0.017; 0.019 +/- 0.025). These data suggest the VDR as a possible candidate participating in the epileptogenesis process of the pilocarpine model of epilepsy. (C) 2008 Elsevier Inc. All rights reserved.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Modulation of B-1 and B-2 kinin receptors expression levels in the hippocampus of rats after audiogenic kindling and with limbic recruitment, a model of temporal lobe epilepsy

Epileptic seizures are hypersynchronous, paroxystic and abnormal neuronal discharges. Epilepsies are characterized by diverse mechanisms involving alteration of excitatory and inhibitory neurotransmission that result in hyperexcitability of the central nervous system (CNS). Enhanced neuronal excitability can also be achieved by inflammatory processes, including the participation of cytokines, prostaglandins or kinins, molecules known to be involved in either triggering or in the establishment of inflammation. Multiple inductions of audiogenic seizures in the Wistar audiogenic rat (WAR) strain are a model of temporal lobe epilepsy (TLE), due to the recruitment of limbic areas such as hippocampus and amygdata. In this study we investigated the modulation of the B-1 and B-2 kinin receptors expression levels in neonatal WARs as well as in adult WARs subjected to the TLE model. The expression levels of pro-inflammatory (IL-1 beta) and anti-inflammatory (IL-10) cytokines were also evaluated, as well as cyclooxygenase (COX-2). Our results showed that the B-1 and B-2 kinin receptors mRNAs were up-regulated about 7- and 4-fold, respectively, in the hippocampus of kindled WARs. On the other hand, the expressions of the IL-1 beta, IL-10 and COX-2 were not related to the observed increase of expression of kinin receptors. Based on those results we believe that the B, and B2 kinin receptors have a pivotal role in this model of TLE, although their participation is not related to an inflammatory process. We believe that kinin receptors in the CNS may act in seizure mechanisms by participating in a specific kininergic neurochemical pathway. (c) 2007 Elsevier B.V. All rights reserved.

Temporal evolution of epithelial, vascular and interstitial lung injury in an experimental model of idiopathic pulmonary fibrosis induced by butyl-hydroxytoluene

This study was undertaken to test whether the structural remodelling of pulmonary parenchyma can be sequentially altered in a model and method that demonstrate the progression of the disease and result in remodelling within the lungs that is typical of idiopathic pulmonary fibrosis. Three groups of mice were studied: (i) animals that received 3-5-di-tert-butyl-4-hydroxytoluene (BHT) and were killed after 2 weeks (early BHT = 9); (ii) animals that received BHT and were killed after 4 weeks (late BHT = 11); (iii) animals that received corn oil solution (control = 10). The mice were placed in a ventilated Plexiglas chamber with a mixture of pure humidified oxygen and compressed air. Lung histological sections underwent haematoxylin-eosin, immunohistochemistry (epithelial, endothelial and immune cells) and specific staining (collagen/elastic fibres) methods for morphometric analysis. When compared with the control group, early BHT and late BHT groups showed significant decrease of type II pneumocytes, lower vascular density in both and higher endothelial activity. CD4 was increased in late BHT compared with early and control groups, while CD8, macrophage and neutrophil cells were more prominent only in early BHT. The collagenous fibre density were significantly higher only in late BHT, whereas elastic fibre content in late BHT was lower than that in control group. We conclude that the BHT experimental model is pathologically very similar to human usual interstitial pneumonia. This feature is important in the identification of animal models of idiopathic pulmonary fibrosis that can accurately reflect the pathogenesis and progression of the human disease.

Temporal lobe epilepsy and social behavior: An animal model

Social behavior depends on the integrity of social brain circuitry. The temporal lobe is an important part of the social brain, and manifests morphological and functional alterations in autism spectrum disorders (ASD). Rats with temporal lobe epilepsy (TLE), induced with pilocarpine, were subjected to a social discrimination test that has been used to investigate potential animal models of ASD, and the results were compared with those for the control group. Rats with TLE exhibited fewer social behaviors than controls. No differences were observed in nonsocial behavior between groups. The results suggest an important role for the temporal lobe in regulating social behaviors. This animal model might be used to explore some questions about ASD pathophysiology. (c) 2008 Elsevier Inc. All rights reserved.

Reactive oxygen species generated by NADPH oxidase are involved in neurodegeneration in the pilocarpine model of temporal lobe epilepsy

Reactive oxygen species (ROS) appear to be involved in several neurodegenerative disorders. We tested the hypothesis that oxidative stress could have a role in the hippocampal neurodegeneration observed in temporal lobe epilepsy induced by pilocarpine. We first determined the spatio-temporal pattern of ROS generation, by means of detection with dihydroethidium oxidation, in the CA1 and CA3 areas and the dentate gyrus of the dorsal hippocampus during status epilepticus induced by pilocarpine. Fluoro-Jade B assays were also performed to detect degenerating neurons. ROS generation was increased in CA1, CA3 and the dentate gyrus after pilocarpine-induced seizures, which was accompanied by marked cell death. Treatment of rats with a NADPH oxidase inhibitor (apocynin) for 7 days prior to induction of status epilepticus was effective in decreasing both ROS production (by an average of 20%) and neurodegeneration (by an average of 61%). These results suggest an involvement of ROS generated by NADPH oxidase in neuronal death in the pilocarpine model of epilepsy. (C) 2010 Elsevier Ireland Ltd. All rights reserved.

A fuzzy reed-frost model for epidemic spreading

In this paper, we present a fuzzy approach to the Reed-Frost model for epidemic spreading taking into account uncertainties in the diagnostic of the infection. The heterogeneities in the infected group is based on the clinical signals of the individuals (symptoms, laboratorial exams, medical findings, etc.), which are incorporated into the dynamic of the epidemic. The infectivity level is time-varying and the classification of the individuals is performed through fuzzy relations. Simulations considering a real problem with data of the viral epidemic in a children daycare are performed and the results are compared with a stochastic Reed-Frost generalization

Spatio-Temporal Tracking and Phylodynamics of an Urban Dengue 3 Outbreak in Sao Paulo, Brazil

The dengue virus has a single-stranded positive-sense RNA genome of similar to 10.700 nucleotides with a single open reading frame that encodes three structural (C, prM, and E) and seven nonstructural (NS1, NS2A, NS2B, NS3, NS4A, NS4B, and NS5) proteins. It possesses four antigenically distinct serotypes (DENV 1-4). Many phylogenetic studies address particularities of the different serotypes using convenience samples that are not conducive to a spatio-temporal analysis in a single urban setting. We describe the pattern of spread of distinct lineages of DENV-3 circulating in Sao Jose do Rio Preto, Brazil, during 2006. Blood samples from patients presenting dengue-like symptoms were collected for DENV testing. We performed M-N-PCR using primers based on NS5 for virus detection and identification. The fragments were purified from PCR mixtures and sequenced. The positive dengue cases were geo-coded. To type the sequenced samples, 52 reference sequences were aligned. The dataset generated was used for iterative phylogenetic reconstruction with the maximum likelihood criterion. The best demographic model, the rate of growth, rate of evolutionary change, and Time to Most Recent Common Ancestor (TMRCA) were estimated. The basic reproductive rate during the epidemics was estimated. We obtained sequences from 82 patients among 174 blood samples. We were able to geo-code 46 sequences. The alignment generated a 399-nucleotide-long dataset with 134 taxa. The phylogenetic analysis indicated that all samples were of DENV-3 and related to strains circulating on the isle of Martinique in 2000-2001. Sixty DENV-3 from Sao Jose do Rio Preto formed a monophyletic group (lineage 1), closely related to the remaining 22 isolates (lineage 2). We assumed that these lineages appeared before 2006 in different occasions. By transforming the inferred exponential growth rates into the basic reproductive rate, we obtained values for lineage 1 of R(0) = 1.53 and values for lineage 2 of R(0) = 1.13. Under the exponential model, TMRCA of lineage 1 dated 1 year and lineage 2 dated 3.4 years before the last sampling. The possibility of inferring the spatio-temporal dynamics from genetic data has been generally little explored, and it may shed light on DENV circulation. The use of both geographic and temporally structured phylogenetic data provided a detailed view on the spread of at least two dengue viral strains in a populated urban area.

Simplified Mathematical Model for an Anaerobic Sequencing Batch Biofilm Reactor Treating Lipid-Rich Wastewater Subject to Rising Organic Loading Rates

This study proposes a simplified mathematical model to describe the processes occurring in an anaerobic sequencing batch biofilm reactor (ASBBR) treating lipid-rich wastewater. The reactor, subjected to rising organic loading rates, contained biomass immobilized cubic polyurethane foam matrices, and was operated at 32 degrees C +/- 2 degrees C, using 24-h batch cycles. In the adaptation period, the reactor was fed with synthetic substrate for 46 days and was operated without agitation. Whereas agitation was raised to 500 rpm, the organic loading rate (OLR) rose from 0.3 g chemical oxygen demand (COD) . L(-1) . day(-1) to 1.2 g COD . L(-1) . day(-1). The ASBBR was fed fat-rich wastewater (dairy wastewater), in an operation period lasting for 116 days, during which four operational conditions (OCs) were tested: 1.1 +/- 0.2 g COD . L(-1) . day(-1) (OC1), 4.5 +/- 0.4 g COD . L(-1) . day(-1) (OC2), 8.0 +/- 0.8 g COD . L(-1) . day(-1) (OC3), and 12.1 +/- 2.4 g COD . L(-1) . day(-1) (OC4). The bicarbonate alkalinity (BA)/COD supplementation ratio was 1:1 at OC1, 1:2 at OC2, and 1:3 at OC3 and OC4. Total COD removal efficiencies were higher than 90%, with a constant production of bicarbonate alkalinity, in all OCs tested. After the process reached stability, temporal profiles of substrate consumption were obtained. Based on these experimental data a simplified first-order model was fit, making possible the inference of kinetic parameters. A simplified mathematical model correlating soluble COD with volatile fatty acids (VFA) was also proposed, and through it the consumption rates of intermediate products as propionic and acetic acid were inferred. Results showed that the microbial consortium worked properly and high efficiencies were obtained, even with high initial substrate concentrations, which led to the accumulation of intermediate metabolites and caused low specific consumption rates.

Cyclic variability of the circumstellar disk of the Be star zeta Tauri II. Testing the 2D global disk oscillation model

Context. About 2/3 of the Be stars present the so-called V/R variations, a phenomenon characterized by the quasi-cyclic variation in the ratio between the violet and red emission peaks of the HI emission lines. These variations are generally explained by global oscillations in the circumstellar disk forming a one-armed spiral density pattern that precesses around the star with a period of a few years. Aims. This paper presents self-consistent models of polarimetric, photometric, spectrophotometric, and interferometric observations of the classical Be star zeta Tauri. The primary goal is to conduct a critical quantitative test of the global oscillation scenario. Methods. Detailed three-dimensional, NLTE radiative transfer calculations were carried out using the radiative transfer code HDUST. The most up-to-date research on Be stars was used as input for the code in order to include a physically realistic description for the central star and the circumstellar disk. The model adopts a rotationally deformed, gravity darkened central star, surrounded by a disk whose unperturbed state is given by a steady-state viscous decretion disk model. It is further assumed that this disk is in vertical hydrostatic equilibrium. Results. By adopting a viscous decretion disk model for zeta Tauri and a rigorous solution of the radiative transfer, a very good fit of the time-average properties of the disk was obtained. This provides strong theoretical evidence that the viscous decretion disk model is the mechanism responsible for disk formation. The global oscillation model successfully fitted spatially resolved VLTI/AMBER observations and the temporal V/R variations in the H alpha and Br gamma lines. This result convincingly demonstrates that the oscillation pattern in the disk is a one-armed spiral. Possible model shortcomings, as well as suggestions for future improvements, are also discussed.

Simulation of Soil Carbon Dynamics under Sugarcane with the CENTURY Model

Currently there is a trend for the expansion of the area cropped with sugarcane (Saccharum officinarum L.), driven by an increase in the world demand for biofuels, due to economical, environmental, and geopolitical issues. Although sugarcane is traditionally harvested by burning dried leaves and tops, the unburned, mechanized harvest has been progressively adopted. The use of process based models is useful in understanding the effects of plant litter in soil C dynamics. The objective of this work was to use the CENTURY model in evaluating the effect of sugarcane residue management in the temporal dynamics of soil C. The approach taken in this work was to parameterize the CENTURY model for the sugarcane crop, to simulate the temporal dynamics of soil C, validating the model through field experiment data, and finally to make predictions in the long term regarding soil C. The main focus of this work was the comparison of soil C stocks between the burned and unburned litter management systems, but the effect of mineral fertilizer and organic residue applications were also evaluated. The simulations were performed with data from experiments with different durations, from 1 to 60 yr, in Goiana and Timbauba, Pernambuco, and Pradopolis, Sao Paulo, all in Brazil; and Mount Edgecombe, Kwazulu-Natal, South Africa. It was possible to simulate the temporal dynamics of soil C (R(2) = 0.89). The predictions made with the model revealed that there is, in the long term, a trend for higher soil C stocks with the unburned management. This increase is conditioned by factors such as climate, soil texture, time of adoption of the unburned system, and N fertilizer management.

Inter-individual variability in temporal structure of the basketball shoot

This study analyzed inter-individual variability of the temporal structure applied in basketball throwing. Ten experienced male athletes in basketball throwing were filmed and a number of kinematic movement parameters analyzed. A biomechanical model provided the relative timing of the shoulder, elbow and wrist joint movements. Inter-individual variability was analyzed using sequencing and relative timing of tem phases of the throw. To compare the variability of the movement phases between subjects a discriminant analysis and an ANOVA were applied. The Tukey test was applied to determine where differences occurred. The significance level was p = 0.05. Inter-individual variability was explained by three concomitant factors: (a) a precision control strategy, (b) a velocity control strategy and (c) intrinsic characteristics of the subjects. Therefore, despite the fact that some actions are common to the basketball throwing pattern each performed demonstrated particular and individual characteristics.