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.

Fast experimental identification of suspension models for control design

This paper presents both the theoretical and the experimental approaches of the development of a mathematical model to be used in multi-variable control system designs of an active suspension for a sport utility vehicle (SUV), in this case a light pickup truck. A complete seven-degree-of-freedom model is successfully quickly identified, with very satisfactory results in simulations and in real experiments conducted with the pickup truth. The novelty of the proposed methodology is the use of commercial software in the early stages of the identification to speed up the process and to minimize the need for a large number of costly experiments. The paper also presents major contributions to the identification of uncertainties in vehicle suspension models and in the development of identification methods using the sequential quadratic programming, where an innovation regarding the calculation of the objective function is proposed and implemented. Results from simulations of and practical experiments with the real SUV are presented, analysed, and compared, showing the potential of the method.

Swarm Intelligence applied in synthesis of hunting strategies in a three-dimensional environment

Systems of distributed artificial intelligence can be powerful tools in a wide variety of practical applications. Its most surprising characteristic, the emergent behavior, is also the most answerable for the difficulty in. projecting these systems. This work proposes a tool capable to beget individual strategies for the elements of a multi-agent system and thereof providing to the group means on obtaining wanted results, working in a coordinated and cooperative manner as well. As an application example, a problem was taken as a basis where a predators` group must catch a prey in a three-dimensional continuous ambient. A synthesis of system strategies was implemented of which internal mechanism involves the integration between simulators by Particle Swarm Optimization algorithm (PSO), a Swarm Intelligence technique. The system had been tested in several simulation settings and it was capable to synthesize automatically successful hunting strategies, substantiating that the developed tool can provide, as long as it works with well-elaborated patterns, satisfactory solutions for problems of complex nature, of difficult resolution starting from analytical approaches. (c) 2007 Elsevier Ltd. All rights reserved.

Is the unfolding of the group discussion off-pattern? Improving coordination support in educational forums using mobile devices

A forum is a valuable tool to foster reflection in an in-depth discussion; however, it forces the course mediator to continually pay close attention in order to coordinate learners` activities. Moreover, monitoring a forum is time consuming given that it is impossible to know in advance when new messages are going to be posted. Additionally, a forum may be inactive for a long period and suddenly receive a burst of messages forcing forum mediators to frequently log on in order to know how the discussion is unfolding to intervene whenever it is necessary. Mediators also need to deal with a large amount of messages to identify off-pattern situations. This work presents a piece of action research that investigates how to improve coordination support in a forum using mobile devices for mitigating mediator`s difficulties in following the status of a forum. Based on summarized information extracted from message meta-data, mediators consult visual information summaries on PDAs and receive textual notifications in their mobile phone. This investigation revealed that mediators used the mobile-based coordination support to keep informed on what is taking place within the forum without the need to log on their desktop computer. (C) 2009 Elsevier Ltd. All rights reserved.

Matched case-control study evaluating the frequency of the main agents associated with neonatal diarrhea in piglets

A case-control study was carried out in litters of 1 to 7-day-old piglets to identify the main infectious agents involved with neonatal diarrhea in pigs. Fecal samples (n=276) from piglets were collected on pig farms in the State of Rio Grande do Sul, Brazil, from May to September 2007. Litters with diarrhea were considered cases (n=129) and normal litters (n=147) controls. The samples were examined by latex agglutination test, PAGE, conventional isolating techniques, ELISA, PCR, and microscopic methods in order to detect rotavirus, bacterial pathogens (Escherichia coli, Clostridium perfringens type A and C, and Clostridium difficile), and parasites (Coccidian and Cryptosporidium spp.). Outbreaks of diarrhea were not observed during sampling. At least one agent was detected in fecal samples on 25 out of 28 farms (89.3%) and in 16 farms (57.1%) more than one agent was found. The main agents diagnosed were Coccidia (42.86%) and rotavirus (39.29%). The main agents identified in litters with diarrhea were Clostridium difficile (10.6%), Clostridium perfringens type A (8.8%) and rotavirus (7.5%); in control litters, Clostridium difficile (16.6%) and Coccidian (8.5%). Beta hemolytic Escherichia coli and Clostridium perfringens type C were not detected. When compared with controls, no agent was significantly associated with diarrhea in case litters. These findings stress the need for caution in the interpretation of laboratorial diagnosis of mild diarrhea in neonatal pigs, as the sole detection of an agent does not necessarily indicate that it is the cause of the problem.

Species determination of Brazilian mammals implicated in the epidemiology of rabies based on the control region of mitochondrial DNA

Identification of animals that are decomposing or have been run over or burnt and cannot be visually identified is a problem in the surveillance and control of infectious diseases. Many of these animals are wild and represent a valuable source of information for epidemiologic research as they may be carriers of an infectious agent. This article discusses the results obtained using a method for identifying mammals genetically by sequencing their mitochondrial DNA control region. Fourteen species were analyzed and identified. These included the main reservoirs and transmitters of rabies virus, namely, canids, chiroptera and primates. The results prove that this method of genetic identification is both efficient and simple and that it can be used in the surveillance of infectious diseases which includes mammals in their epidemiologic cycle, such as rabies.

Retardo estatural em menores de cinco anos: um estudo "baseline"

OBJETIVO: Descrever a prevalência e analisar fatores associados ao retardo estatural em menores de cinco anos. MÉTODOS: Estudo “baseline”, que analisou 2.040 menores de cinco anos, verificando possíveis associações entre o retardo estatural (índice altura/idade ≤ 2 escores Z) e variáveis hierarquizadas em seis blocos: socioeconômicas, do domicílio, do saneamento, maternas, biológicas e de acesso aos serviços de saúde. A análise multivariada foi realizada por regressão de Poisson, com opção de erro padrão robusto, obtendo-se as razões de prevalência ajustadas, com IC 95por cento e respectivos valores de significância. RESULTADOS: Entre as variáveis não dicotômicas, houve associação positiva com tipo de teto e número de moradores por cômodo e associação negativa com renda, escolaridade da mãe e peso ao nascer. A análise ajustada indicou ainda como variáveis significantes: abastecimento de água, visita do agente comunitário de saúde, local do parto, internação por diarréia e internação por pneumonia. CONCLUSÃO: Os fatores identificados como de risco para o retardo estatural configuram a multicausalidade do problema, implicando na necessidade de intervenções multisetoriais e multiníveis para o seu controle

Cissus sicyoides: Analysis of Glycemic Control in Diabetic Rats Through Biomarkers

Diabetes is a chronic degenerative disease with no cure, is found in millions of people worldwide, and can cause life-threatening complications at any age. The plant Cissus sicyoides L. is a runner plant found abundantly in Brazil, especially in the Amazon. Its therapeutic properties are widely used in popular medicine as a diuretic, anti-influenza, antiinflammatory, anticonvulsion, and hypoglycemic agent. The objective of this study was to analyze the effects of aqueous extracts from the leaves and stem of C. sicyoides L., administered for 60 days, for the control of glycemia in alloxan (monohydrate)-induced diabetic rats, monitored by biomarkers. Data obtained in this study confirmed that C. sicyoides has a hypoglycemic effect on diabetic rats. Administration of its aqueous extracts promoted a 45% decrease in glucose levels after 60 days of administration. Furthermore, indices of hepatic glycogen, blood glucose, C-reactive peptide, and fructosamine were found to be efficient biomarkers to monitor diabetes in rats.

A Dynamic Analysis of Tuberculosis Dissemination to Improve Control and Surveillance

Background: Detailed analysis of the dynamic interactions among biological, environmental, social, and economic factors that favour the spread of certain diseases is extremely useful for designing effective control strategies. Diseases like tuberculosis that kills somebody every 15 seconds in the world, require methods that take into account the disease dynamics to design truly efficient control and surveillance strategies. The usual and well established statistical approaches provide insights into the cause-effect relationships that favour disease transmission but they only estimate risk areas, spatial or temporal trends. Here we introduce a novel approach that allows figuring out the dynamical behaviour of the disease spreading. This information can subsequently be used to validate mathematical models of the dissemination process from which the underlying mechanisms that are responsible for this spreading could be inferred. Methodology/Principal Findings: The method presented here is based on the analysis of the spread of tuberculosis in a Brazilian endemic city during five consecutive years. The detailed analysis of the spatio-temporal correlation of the yearly geo-referenced data, using different characteristic times of the disease evolution, allowed us to trace the temporal path of the aetiological agent, to locate the sources of infection, and to characterize the dynamics of disease spreading. Consequently, the method also allowed for the identification of socio-economic factors that influence the process. Conclusions/Significance: The information obtained can contribute to more effective budget allocation, drug distribution and recruitment of human skilled resources, as well as guiding the design of vaccination programs. We propose that this novel strategy can also be applied to the evaluation of other diseases as well as other social processes.

Complexity of human postural control in young and older adults during prolonged standing

Aging is known to have a degrading influence on many structures and functions of the human sensorimotor system. The present work assessed aging-related changes in postural sway using fractal and complexity measures of the center of pressure (COP) dynamics with the hypothesis that complexity and fractality decreases in the older individuals. Older subjects (68 +/- 4 years) and young adult subjects (28 +/- 7 years) performed a quiet stance task (60 s) and a prolonged standing task (30 min) where subjects were allowed to move freely. Long-range correlations (fractality) of the data were estimated by the detrended fluctuation analysis (DFA); changes in entropy were estimated by the multi-scale entropy (MSE) measure. The DFA results showed that the fractal dimension was lower for the older subjects in comparison to the young adults but the fractal dimensions of both groups were not different from a 1/f noise, for time intervals between 10 and 600 s. The MSE analysis performed with the typically applied adjustment to the criterion distance showed a higher degree of complexity in the older subjects, which is inconsistent with the hypothesis that complexity in the human physiological system decreases with aging. The same MSE analysis performed without adjustment showed no differences between the groups. Taken all results together, the decrease in total postural sway and long-range correlations in older individuals are signs of an adaptation process reflecting the diminishing ability to generate adequate responses on a longer time scale.

Connection Admission Control for a WDM Optical Network Based on Traffic Monitoring and Bandwidth Release

We proposed a connection admission control (CAC) to monitor the traffic in a multi-rate WDM optical network. The CAC searches for the shortest path connecting source and destination nodes, assigns wavelengths with enough bandwidth to serve the requests, supervises the traffic in the most required nodes, and if needed activates a reserved wavelength to release bandwidth according to traffic demand. We used a scale-free network topology, which includes highly connected nodes ( hubs), to enhance the monitoring procedure. Numerical results obtained from computational simulations show improved network performance evaluated in terms of blocking probability.

Robust model predictive control with zone control

Model predictive control (MPC) is usually implemented as a control strategy where the system outputs are controlled within specified zones, instead of fixed set points. One strategy to implement the zone control is by means of the selection of different weights for the output error in the control cost function. A disadvantage of this approach is that closed-loop stability cannot be guaranteed, as a different linear controller may be activated at each time step. A way to implement a stable zone control is by means of the use of an infinite horizon cost in which the set point is an additional variable of the control problem. In this case, the set point is restricted to remain inside the output zone and an appropriate output slack variable is included in the optimisation problem to assure the recursive feasibility of the control optimisation problem. Following this approach, a robust MPC is developed for the case of multi-model uncertainty of open-loop stable systems. The controller is devoted to maintain the outputs within their corresponding feasible zone, while reaching the desired optimal input target. Simulation of a process of the oil re. ning industry illustrates the performance of the proposed strategy.

A generalized multi-period mean-variance portfolio optimization with Markov switching parameters

In this paper, we deal with a generalized multi-period mean-variance portfolio selection problem with market parameters Subject to Markov random regime switchings. Problems of this kind have been recently considered in the literature for control over bankruptcy, for cases in which there are no jumps in market parameters (see [Zhu, S. S., Li, D., & Wang, S. Y. (2004). Risk control over bankruptcy in dynamic portfolio selection: A generalized mean variance formulation. IEEE Transactions on Automatic Control, 49, 447-457]). We present necessary and Sufficient conditions for obtaining an optimal control policy for this Markovian generalized multi-period meal-variance problem, based on a set of interconnected Riccati difference equations, and oil a set of other recursive equations. Some closed formulas are also derived for two special cases, extending some previous results in the literature. We apply the results to a numerical example with real data for Fisk control over bankruptcy Ill a dynamic portfolio selection problem with Markov jumps selection problem. (C) 2008 Elsevier Ltd. All rights reserved.

Novel sources of witches` broom resistance (causal agent Moniliophthora perniciosa) from natural populations of Theobroma cacao from the Brazilian Amazon

Witches` broom is a severe disease of Theobroma cacao L. (cacao), caused by the basidiomycete Moniliophthora perniciosa. The use of resistant cultivars is the ultimate method of control, but there are limited sources of resistance. Further, resistance from the most widely used source (`Scavina 6`) has been overcome after a few years of deployment. New sources of resistance have been intensively searched for in the Amazon basin. Here, we evaluated for witches` broom resistance, cacao accessions from various natural cacao populations originally collected in the Brazilian Amazon. Resistance of 43 families was evaluated under nursery and/or field conditions by artificial or natural infection, respectively, based on disease incidence. Screening for resistance by artificial inoculation under nursery conditions appeared to be efficient in identifying these novel resistance sources, confirmed by natural field evaluation over a nine-year period. The increase in natural field infection of `Scavina 6` was clearly demonstrated. Among the evaluated families with the least witches` broom incidence, there were accessions originally collected from distinct river basins, including the Jamari river (`CAB 0371`; `CAB 0388`; `CAB 0392`; and `CAB 0410`); Acre (`CAB 0169`); Javari (`CAB 0352`); Solimes (`CAB 0270`); and from the Purus river basin, the two most outstanding resistant accessions, `CAB 0208` and `CAB 0214`. The large genetic diversity found in cacao populations occurring at river basins from Acre and Amazonas states, Brazil, increased the chance that the selected resistant accessions would be genetically more dissimilar, and represent distinct sources of resistance to M. perniciosa from `Scavina 6`.

Role of entomopathogenic fungi in the control of Tetranychus evansi and Tetranychus urticae (Acari: Tetranychidae), pests of horticultural crops

The spider mites Tetranychus urticae Koch and Tetranychus evansi Baker and Pritchard are important pests of horticultural crops. They are infected by entomopathogenic fungi naturally or experimentally. Fungal pathogens known to cause high infection in spider mite populations belong to the order Entomophthorales and include Neozygites spp. Studies are being carried out to develop some of these fungi as mycoacaricides, as standalone control measures in an inundative strategy to replace the synthetic acaricides currently in use or as a component of integrated mite management. Although emphasis has been put on inundative releases, entomopathogenic fungi can also be used in classical, conservation and augmentative biological control. Permanent establishment of an exotic agent in a new area of introduction may be possible in the case of spider mites. Conservation biological control can be achieved by identifying strategies to promote any natural enemies already present within crop ecosystems, based on a thorough understanding of their biology, ecology and behaviour. Further research should focus on development of efficient mass production systems, formulation, and delivery systems of fungal pathogens.