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.

Influence Diagnostics for a Skew Extension of the Grubbs Measurement Error Model

Influence diagnostics methods are extended in this article to the Grubbs model when the unknown quantity x (latent variable) follows a skew-normal distribution. Diagnostic measures are derived from the case-deletion approach and the local influence approach under several perturbation schemes. The observed information matrix to the postulated model and Delta matrices to the corresponding perturbed models are derived. Results obtained for one real data set are reported, illustrating the usefulness of the proposed methodology.

Short Communication: A compelling argument for the gravity p-median model

The p-median model is used to locate P facilities to serve a geographically distributed population. Conventionally, it is assumed that the population always travels to the nearest facility. Drezner and Drezner (2006, 2007) provide three arguments on why this assumption might be incorrect, and they introduce the extended the gravity p-median model to relax the assumption. We favour the gravity p-median model, but we note that in an applied setting, Drezner and Drezner’s arguments are incomplete. In this communication, we point at the existence of a fourth compelling argument for the gravity p-median model.

Extension And Testing Of A 2D Hydrodynamic Model For Direct Rainfall Runoff Simulation

While the simulation of flood risks originating from the overtopping of river banks is well covered within continuously evaluated programs to improve flood protection measures, flash flooding is not. Flash floods are triggered by short, local thunderstorm cells with high precipitation intensities. Small catchments have short response times and flow paths and convective thunder cells may result in potential flooding of endangered settlements. Assessing local flooding and pathways of flood requires a detailed hydraulic simulation of the surface runoff. Hydrological models usually do not incorporate surface runoff at this detailedness but rather empirical equations are applied for runoff detention. In return 2D hydrodynamic models usually do not allow distributed rainfall as input nor are any types of soil/surface interaction implemented as in hydrological models. Considering several cases of local flash flooding during the last years the issue emerged for practical reasons but as well as research topics to closing the model gap between distributed rainfall and distributed runoff formation. Therefore, a 2D hydrodynamic model, depth-averaged flow equations using the finite volume discretization, was extended to accept direct rainfall enabling to simulate the associated runoff formation. The model itself is used as numerical engine, rainfall is introduced via the modification of waterlevels at fixed time intervals. The paper not only deals with the general application of the software, but intends to test the numerical stability and reliability of simulation results. The performed tests are made using different artificial as well as measured rainfall series as input. Key parameters of the simulation such as losses, roughness or time intervals for water level manipulations are tested regarding their impact on the stability.

Temperature Dynamics Investigation At Small And Shallow Lakes Using Hydrodynamic Model

A three-dimensional time-dependent hydrodynamic and heat transport model of Lake Binaba, a shallow and small dam reservoir in Ghana, emphasizing the simulation of dynamics and thermal structure has been developed. Most numerical studies of temperature dynamics in reservoirs are based on one- or two-dimensional models. These models are not applicable for reservoirs characterized with complex flow pattern and unsteady heat exchange between the atmosphere and water surface. Continuity, momentum and temperature transport equations have been solved. Proper assignment of boundary conditions, especially surface heat fluxes, has been found crucial in simulating the lake’s hydrothermal dynamics. This model is based on the Reynolds Average Navier-Stokes equations, using a Boussinesq approach, with a standard k − ε turbulence closure to solve the flow field. The thermal model includes a heat source term, which takes into account the short wave radiation and also heat convection at the free surface, which is function of air temperatures, wind velocity and stability conditions of atmospheric boundary layer over the water surface. The governing equations of the model have been solved by OpenFOAM; an open source, freely available CFD toolbox. As its core, OpenFOAM has a set of efficient C++ modules that are used to build solvers. It uses collocated, polyhedral numerics that can be applied on unstructured meshes and can be easily extended to run in parallel. A new solver has been developed to solve the hydrothermal model of lake. The simulated temperature was compared against a 15 days field data set. Simulated and measured temperature profiles in the probe locations show reasonable agreement. The model might be able to compute total heat storage of water bodies to estimate evaporation from water surface.

Localization of a mobile robot based on odometry and natural landmarks using extended kalman filter

SANTANA, André M.; SOUZA, Anderson A. S.; BRITTO, Ricardo S.; ALSINA, Pablo J.; MEDEIROS, Adelardo A. D. Localization of a mobile robot based on odometry and natural landmarks using extended Kalman Filter. In: INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, 5., 2008, Funchal, Portugal. Proceedings... Funchal, Portugal: ICINCO, 2008.

Extended class of exact twistons and crystalline polyethylene

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Graft versus host disease in a rat small bowel transplant model after T-cell depleted donor specific bone marrow infusion

Baixas doses de irradiação associadas à infusão de células da medula óssea não previnem a ocorrência da reação do enxerto versus hospedeiro após o transplante intestinal. OBJETIVO: Neste estudo foi avaliado a potencial vantagem em estender o regime imunossupressor associado a infusão de células de medula óssea do doador depletadas de células T na prevenção da reação do enxerto versus hospedeiro após o transplante intestinal. MÉTODOS: Transplante heterotópico de intestino delgado foi realizado em ratos Lewis como receptores e da como doadores, distribuídos em cinco grupos de acordo com a duração da imunossupressão, irradiação e do uso de medula óssea normal ou depletada: G1 (n=6), sem irradiação e G2 (n=9), G3 (n=4), G4 (n=5) e G5 (n=6) foram irradiados com 250 rd. Grupos1, 2, 4 e G3 e 5 foram infundidos com 100 x 10(6) células da medula normal e depletada respectivamente. Animais no G1,2,3 foram imunossuprimidos com 1mg/kg/FK506/ IM por cinco dias e G4 e cinco por 15 dias. Anticorpos monoclonais contra células CD3 e colunas magnéticas foram utilizadas para a depleção da medula óssea. Os animais foram examinados para a presença de rejeição, reação do enxerto versus hospedeiro, chimerismo e biópsias intestinais e da pele. RESULTADOS: Rejeição mínima foi observada em todos os grupos; entretanto, a reação do enxerto versus hospedeiro somente nos animais irradiados. Extensão da imunossupressão alterou a gravidade da reação nos animais dos G4 e 5. Rejeição foi a causa mortis no G1 e a reação do enxerto versus hospedeiro nos Grupos 2,3,4 e 5, não controlada com a infusão de medula óssea depletada. O chimerismo total e de células T do doador foi estatisticamente maior nos grupos irradiados em comparação ao G1. CONCLUSÃO: A extensão do regime de imunossupressão associado a baixas doses de irradiação diminui a gravidade da reação do enxerto versus hospedeiro, não abolida pelo uso de medula óssea depletada.

A Generalized Log-Normal Model for Grouped Survival Data

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Three-Higgs-doublet model with A(4) symmetry

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Crossover between the extended and localized regimes in stochastic partially self-avoiding walks in one-dimensional disordered systems

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Superspace evaluation of the two-loop effective potential for the O'Raifeartaigh model

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Natural Peccei-Quinn symmetry in the 3-3-1 model with a minimal scalar sector

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Supersymmetry of Affine Toda Models as Fermionic Symmetry Flows of the Extended mKdV Hierarchy

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Non-uniform drag force on the Fermi accelerator model

Some dynamical properties of a particle suffering the action of a generic drag force are obtained for a dissipative Fermi Acceleration model. The dissipation is introduced via a viscous drag force, like a gas, and is assumed to be proportional to a power of the velocity: F alpha -nu(gamma). The dynamics is described by a two-dimensional nonlinear area-contracting mapping obtained via the solution of Newton's second law of motion. We prove analytically that the decay of high energy is given by a continued fraction which recovers the following expressions: (i) linear for gamma = 1; (ii) exponential for gamma = 2; and (iii) second-degree polynomial type for gamma = 1.5. Our results are discussed for both the complete version and the simplified version. The procedure used in the present paper can be extended to many different kinds of system, including a class of billiards problems.