Monodic Temporal Resolution

First-order temporal logic is a coincise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics have identified important enumerable and even decidable fragments. In this paper we present the first resolution-based calculus for monodic first-order temporal logic. Although the main focus of the paper is on establishing completeness result, we also consider implementation issues and define a basic loop-search algorithm that may be used to guide the temporal resolution system.

Técnicas de avaliação da confiabilidade em estruturas de concreto armado

Neste trabalho é dado ênfase à inclusão das incertezas na avaliação do comportamento estrutural, objetivando uma melhor representação das características do sistema e uma quantificação do significado destas incertezas no projeto. São feitas comparações entre as técnicas clássicas existentes de análise de confiabilidade, tais como FORM, Simulação Direta Monte Carlo (MC) e Simulação Monte Carlo com Amostragem por Importância Adaptativa (MCIS), e os métodos aproximados da Superfície de Resposta( RS) e de Redes Neurais Artificiais(ANN). Quando possível, as comparações são feitas salientando- se as vantagens e inconvenientes do uso de uma ou de outra técnica em problemas com complexidades crescentes. São analisadas desde formulações com funções de estado limite explícitas até formulações implícitas com variabilidade espacial de carregamento e propriedades dos materiais, incluindo campos estocásticos. É tratado, em especial, o problema da análise da confiabilidade de estruturas de concreto armado incluindo o efeito da variabilidade espacial de suas propriedades. Para tanto é proposto um modelo de elementos finitos para a representação do concreto armado que incorpora as principais características observadas neste material. Também foi desenvolvido um modelo para a geração de campos estocásticos multidimensionais não Gaussianos para as propriedades do material e que é independente da malha de elementos finitos, assim como implementadas técnicas para aceleração das avaliações estruturais presentes em qualquer das técnicas empregadas. Para o tratamento da confiabilidade através da técnica da Superfície de Resposta, o algoritmo desenvolvido por Rajashekhar et al(1993) foi implementado. Já para o tratamento através de Redes Neurais Artificias, foram desenvolvidos alguns códigos para a simulação de redes percéptron multicamada e redes com função de base radial e então implementados no algoritmo de avaliação de confiabilidade desenvolvido por Shao et al(1997). Em geral, observou-se que as técnicas de simulação tem desempenho bastante baixo em problemas mais complexos, sobressaindo-se a técnica de primeira ordem FORM e as técnicas aproximadas da Superfície de Resposta e de Redes Neurais Artificiais, embora com precisão prejudicada devido às aproximações presentes.

Estudo e implementação em plantas físicas de um controlador preditivo generalizado com restrições

This work shows a study about the Generalized Predictive Controllers with Restrictions and their implementation in physical plants. Three types of restrictions will be discussed: restrictions in the variation rate of the signal control, restrictions in the amplitude of the signal control and restrictions in the amplitude of the Out signal (plant response). At the predictive control, the control law is obtained by the minimization of an objective function. To consider the restrictions, this minimization of the objective function is done by the use of a method to solve optimizing problems with restrictions. The chosen method was the Rosen Algorithm (based on the Gradient-projection). The physical plants in this study are two didactical systems of water level control. The first order one (a simple tank) and another of second order, which is formed by two tanks connected in cascade. The codes are implemented in C++ language and the communication with the system to be done through using a data acquisition panel offered by the system producer

Uma proposta de um controlador adaptativo por posicionamento de pólos e estrutura variável

There are two main approaches for using in adaptive controllers. One is the so-called model reference adaptive control (MRAC), and the other is the so-called adaptive pole placement control (APPC). In MRAC, a reference model is chosen to generate the desired trajectory that the plant output has to follow, and it can require cancellation of the plant zeros. Due to its flexibility in choosing the controller design methodology (state feedback, compensator design, linear quadratic, etc.) and the adaptive law (least squares, gradient, etc.), the APPC is the most general type of adaptive control. Traditionally, it has been developed in an indirect approach and, as an advantage, it may be applied to non-minimum phase plants, because do not involve plant zero-pole cancellations. The integration to variable structure systems allows to aggregate fast transient and robustness to parametric uncertainties and disturbances, as well. In this work, a variable structure adaptive pole placement control (VS-APPC) is proposed. Therefore, new switching laws are proposed, instead of using the traditional integral adaptive laws. Additionally, simulation results for an unstable first order system and simulation and practical results for a three-phase induction motor are shown

Automação de um sistema rotatório para secagem do rejeito de maracujá

The rotary dryer is one of the most used equipments in processing industries. Its automatic control mode of operation is important specially to keep the moisture content of the final product in the desired value. The classical control strategies, like PID (proportional integral derivative) control, are largely used in the industrial sector because of its robustness and because they are easy to be implemented. In this work, a data acquisition system was implemented for monitoring the most relevant process variables, like: both inlet and outlet drying air temperature, dryer rotation, outlet air speed and humidity, and mass of the final product. Openloop tests were realized to identify a mathematical model able to represent the drying process for the rotary system. From this model, a PID controller was tuned using a direct synthesis method, assuming a first order trajectory. The PID controller was implemented in the system in order to control the inlet drying air temperature. By the end, closedloop tests (operating in automatic mode) were realized to observe the controller performance, and, after setting the best tune, experiments were realized using passion fruit seeds as raw material. The experiments realized in closedloop showed a satisfactory performance by the implemented control strategy for the drying air temperature of the rotary system

Recuperação e purificação de ramnolipídeos produzidos por pseudomonas aeruginosa P029-GVIIA utilizando melaço de cana como substrato

Biosurfactants are molecules produced by microorganisms mainly bacteria as Pseudomonas and Bacillus. Among the biosurfactants, rhamnolipids play an important role due to their tensoactive as well as emulsifying properties. Besides can be produced in a well consolidated way the production costs of biosurfactants are quite expansive mainly if downstream processing is goning to be considered. Actually, attention has been given to identification of biosurfactants as well as optimization of its fermentative processes including downstream ones. This work deals with the development of strategies to recovery and purification of rhamnolipids produced by Pseudomonas aeruginosa P029-GVIIA using sugar-cane molasses as substrate. Broth free of cells was used in order to investigate the best strategies to recovery and purification produced by this system. Between the studied acids (HCl and H2SO4) for the acid precipitation step, HCl was the best one as has been showed by the experimental design 24. Extraction has been carried out using petroleum ether and quantification has been done using the thioglycolic acid method. Adsorption studies were carried out with activated carbon in a batch mode using a 24 experimental design as well as combined with an hydrophobic resin Streamline Phenyl aiming to separate the produced biosurfactant. Biosurfactant partial identification was carried out using High Performance Liquid Chromatography (HPLC). Experiments in batch mode showed that adsorption has been controlled mainly by pH and temperature. It was observed a reduction of 41.4% for the liquid phase and the solid phase it was possible to adsorb up to 15 mg of rhamnolipd/g of activated carbon. The kinetics of adsorption has been well fitted to a pseudo-first order reaction with velocity constant (k1) of 1.93 x 10-2 min-1. Experiments in packed bed ranging concentration on eluent (acetone) has been shown the highest recovery factor of 98% when pure acetone has been used. The combined effect if using activated carbon with an hydrophobic resin Streamline Phenyl has been shown successful for the rhamnolipids purification. It has been possible to purify a fraction of the crude broth with 98% of purity when the eluted of activated carbon packed bed was used with pure acetone

Integração dos processos de flotação e foto-fenton para redução de óleos e graxas de água produzida em campos de petróleo

During production of oil and gas, there is also the production of an aqueous effluent called produced water. This byproduct has in its composition salts, organic compounds, gases and heavy metals. This research aimed to evaluate the integration of processes Induced Air Flotation (IAF) and photo-Fenton for reducing the Total Oils and Greases (TOG) present in produced water. Experiments were performed with synthetic wastewater prepared from the dispersion of crude oil in saline solution. The system was stirred for 25 min at 33,000 rpm and then allowed to stand for 50 min to allow free oil separation. The initial oil concentration in synthetic wastewater was 300 ppm and 35 ppm for the flotation and the photo-Fenton steps, respectively. These values of initial oil concentration were established based on average values of primary processing units in Potiguar Basin. The processes were studied individually and then the integration was performed considering the best experimental conditions found in each individual step. The separation by flotation showed high removal rate of oil with first-order kinetic behavior. The flotation kinetics was dependent on both the concentration and the hydrophilic-lipophilic balance (HLB) of the surfactant. The best result was obtained for the concentration of 4.06.10-3 mM (k = 0.7719 min-1) of surfactant EO 2, which represents 86% of reduction in TOG after 4 min. For series of surfactants evaluated, the separation efficiency was found to be improved by the use of surfactants with low HLB. Regarding the TOG reduction step by photo-Fenton, the largest oil removal reached was 84% after 45 min of reaction, using 0.44 mM and 10 mM of ferrous ions and hydrogen peroxide, respectively. The best experimental conditions encountered in the integrated process was 10 min of flotation followed by 45 min of photo-Fenton with overall TOG reduction of 99%, which represents 5 ppm of TOG in the treated effluent. The integration of processes flotation and photo-Fenton proved to be highly effective in reducing TOG of produced water in oilfields

RINEX_HO: second- and third-order ionospheric corrections for RINEX observation files

When GNSS receivers capable of collecting dual-frequency data are available, it is possible to eliminate the first-order ionospheric effect in the data processing through the ionosphere-free linear combination. However, the second- and third-order ionospheric effects still remain. The first-, second- and third-order ionospheric effects are directly proportional to the total electron content (TEC), although the second- and third-order effects are influenced, respectively, by the geomagnetic field and the maximum electron density. In recent years, the international scientific community has given more attention to these kinds of effects and some works have shown that for high precision GNSS positioning these effects have to be taken into consideration. We present a software tool called RINEX_HO that was developed to correct GPS observables for second- and third-order ionosphere effects. RINEX_HO requires as input a RINEX observation file, then computes the second- and third-order ionospheric effects, and applies the corrections to the original GPS observables, creating a corrected RINEX file. The mathematical models implemented to compute these effects are presented, as well as the transformations involving the earth's magnetic field. The use of TEC from global ionospheric maps and TEC calculated from raw pseudorange measurements or pseudoranges smoothed by phase is also investigated.

Higher order ionospheric effects in GNSS positioning in the European region

After removal of the Selective Availability in 2000, the ionosphere became the dominant error source for Global Navigation Satellite Systems (GNSS), especially for the high-accuracy (cm-mm) demanding applications like the Precise Point Positioning (PPP) and Real Time Kinematic (RTK) positioning.The common practice of eliminating the ionospheric error, e. g. by the ionosphere free (IF) observable, which is a linear combination of observables on two frequencies such as GPS L1 and L2, accounts for about 99% of the total ionospheric effect, known as the first order ionospheric effect (Ion1). The remaining 1% residual range errors (RREs) in the IF observable are due to the higher - second and third, order ionospheric effects, Ion2 and Ion3, respectively. Both terms are related with the electron content along the signal path; moreover Ion2 term is associated with the influence of the geomagnetic field on the ionospheric refractive index and Ion3 with the ray bending effect of the ionosphere, which can cause significant deviation in the ray trajectory (due to strong electron density gradients in the ionosphere) such that the error contribution of Ion3 can exceed that of Ion2 (Kim and Tinin, 2007).The higher order error terms do not cancel out in the (first order) ionospherically corrected observable and as such, when not accounted for, they can degrade the accuracy of GNSS positioning, depending on the level of the solar activity and geomagnetic and ionospheric conditions (Hoque and Jakowski, 2007). Simulation results from early 1990s show that Ion2 and Ion3 would contribute to the ionospheric error budget by less than 1% of the Ion1 term at GPS frequencies (Datta-Barua et al., 2008). Although the IF observable may provide sufficient accuracy for most GNSS applications, Ion2 and Ion3 need to be considered for higher accuracy demanding applications especially at times of higher solar activity.This paper investigates the higher order ionospheric effects (Ion2 and Ion3, however excluding the ray bending effects associated with Ion3) in the European region in the GNSS positioning considering the precise point positioning (PPP) method. For this purpose observations from four European stations were considered. These observations were taken in four time intervals corresponding to various geophysical conditions: the active and quiet periods of the solar cycle, 2001 and 2006, respectively, excluding the effects of disturbances in the geomagnetic field (i.e. geomagnetic storms), as well as the years of 2001 and 2003, this time including the impact of geomagnetic disturbances. The program RINEX_HO (Marques et al., 2011) was used to calculate the magnitudes of Ion2 and Ion3 on the range measurements as well as the total electron content (TEC) observed on each receiver-satellite link. The program also corrects the GPS observation files for Ion2 and Ion3; thereafter it is possible to perform PPP with both the original and corrected GPS observation files to analyze the impact of the higher order ionospheric error terms excluding the ray bending effect which may become significant especially at low elevation angles (Ioannides and Strangeways, 2002) on the estimated station coordinates.

Efeitos de segunda e terceira ordem da ionosfera no posicionamento GNSS no Brasil

O Sistema de Posicionamento Global (GPS) transmite seus sinais em duas freqüências, o que permite eliminar matematicamente os efeitos de primeira ordem da ionosfera através da combinação linear ionosphere free. Porém, restam os efeitos de segunda e terceira ordem, os quais podem provocar erros da ordem de centímetros nas medidas GPS. Esses efeitos, geralmente, são negligenciados no processamento dos dados GPS. Os efeitos ionosféricos de primeira, segunda e terceira ordem são diretamente proporcionais ao TEC presente na ionosfera, porém, no caso dos efeitos de segunda e terceira ordem, comparecem também o campo magnético da Terra e a máxima densidade de elétrons, respectivamente. Nesse artigo, os efeitos de segunda e terceira ordem da ionosfera são investigados, sendo que foram levados em consideração no processamento de dados GPS na região brasileira para fins de posicionamento. Serão apresentados os modelos matemáticos associados a esses efeitos, as transformações envolvendo o campo magnético da Terra e a utilização do TEC advindo dos Mapas Globais da Ionosfera ou calculados a partir das observações GPS de pseudodistância. O processamento dos dados GPS foi realizado considerando o método relativo estático e cinemático e o posicionamento por ponto preciso (PPP). Os efeitos de segunda e terceira ordem foram analisados considerando períodos de alta e baixa atividade ionosférica. Os resultados mostraram que a não consideração desses efeitos no posicionamento por ponto preciso e no posicionamento relativo para linhas de base longas pode introduzir variações da ordem de poucos milímetros nas coordenadas das estações, além de variações diurnas em altitude da ordem de centímetros.

O complexo nuclear vestibular do sagui (callithrix jacchus): caracterização citoarquitetônica e neuroquímica

To the vertebrates, maintain body balance against the gravitational field and be able to orient themselves in the environment are fundamental aspects for survival, in which the participation of vestibular system is essential. As part of this system, the vestibular nuclear complex is the first central station that, by integrating many information (visual, proprioceptive), and the vestibular, assumes the lead role in maintaining balance. In this study, the vestibular nuclear complex was evaluated in relation to its cytoarchitecture and neurochemical content of cells and axon terminals, through the techniques of Nissl staining and immunohistochemistry for neuronal specific nuclear protein (NeuN), glutamate (Glu), substance P (SP), choline acetyltransferase (ChAT) (enzyme that synthesizes acetylcholine-Ach) and glutamic acid decarboxylase (GAD) (enzyme that synthesizes gamma-amino butyric acid-GABA). The common marmoset (Callithrix jacchus) was used as experimental animal, which is a small primate native from the Atlantic Forest in the Brazilian Northeast. As results, the Nissl technique, complemented by immunohistochemistry for NeuN allowed to delineate the vestibular nucleus superior, lateral, medial and inferior (or descending) in the brain of the common marmoset. Neurons and terminals immunoreactive to Glu and ChAT and only immunoreactive terminals to SP and GAD were seen in all nuclei, although in varying density. This study confirms the presence in the vestibular nuclei of the common marmoset, of Glu and SP in terminals, probably from the first order neurons of vestibular ganglion, and of GABA in terminals, presumably from Purkinge cells of the cerebellum. Second-order neurons of the vestibular nuclei seem to use Glu and Ach as neurotransmitters, judging by their expressive presence in the cell bodies of these nuclei in common marmosets, as reported in other species

Resonant excitation of Mn local vibrational modes in the higher order Raman spectra of nanocrystalline Ga(1-x)Mn(x)N films

The effect of manganese on the vibrational properties of Ga(1-x)Mn(x)N (0 <= x <= 0.18) films has been investigated by Raman scattering using 488.0 and 632.8 nm photon excitations. The first-order transverse and longitudinal optical GaN vibrational bands were observed in the whole composition range using both excitations, while the corresponding overtones, as well as a prominent peak located in 1238 cm(-1) (153.5 meV) were only observed in the Mn-containing films under 488.0 nm excitation. We propose that the peak observed at 1238 cm(-1) is due to resonant Mn local vibrational modes, the excitation process being related to electronic transitions involving the Mn acceptor band.

Deposition and characterization of BiVO4 thin films and evaluation as photoanodes for methylene blue degradation

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

Gestão de estoques: uma proposta de reposição contínua para material médico hospitalar e medicamentos em um hospital universitário federal do estado do Rio Grande do Norte

The inventory management in hospitals is of paramount importance, since the supply materials and drugs interruption can cause irreparable damage to human lives while excess inventories involves immobilization of capital. Hospitals should use techniques of inventory management to perform replenishment in shorter and shorter intervals, in order to reduce inventories and fixed assets and meet citizens requirements properly. The inventory management can be an even bigger problem for public hospitals, which have restrictions on the use of resources and decisionmaking structure more bureaucratized. Currently the University Hospital Onofre Lopes (HUOL) uses a periodic replacement policy for hospital medical supplies and medicines, which involves one moment surplus stock replenishment, the next out of stock items. This study aims to propose a system for continuous replenishment through order point for inventory of medical supplies and medicines to the hospital HUOL. Therefore, a literature review of Federal University Hospitals Management, Logistics, Inventory Management and Replenishment System in Hospitals was performed, emphasizing the demand forecast, classification or ABC curve and order point system. And also, policies of inventory management and the current proposal were described, dealing with profile of the mentioned institution, the current policy of inventory management and simulation for continuous replenishment order point. For the simulation, the sample consisted of 102 and 44 items of medical and hospital drugs, respectively, selected using the ABC classification of inventory, prioritizing items of Class A, which contains the most relevant items in added value, representing 80 % of the financial value in 2012 fiscal year. Considering that it is a public organization, subject to the laws, we performed two simulations: the first, following the signs for inventory management of Instruction No. 205 (IN 205 ), from Secretary of Public Administration of the Presidency ( SEDAP / PR ), and the second, based on the literature specializing in inventory management hospital. The results of two simulations were compared to the current policy of replenishment system. Among these results are: an indication that the system for continuous replenishment reorder point based on IN 205 provides lower levels of safety stock and maximum stock, enables a 17% reduction in the amount spent for the full replenishment of inventories, in other words, decreasing capital assets, as well as reduction in stock quantity, also the simulation made from the literature has indicated parameters that prevent the application of this technique to all items of the sample. Hence, a change in inventory management of HUOL, with the application of the continuous replenishment according to IN 205, provides a significant reduction in acquisition costs of medical and hospital medicine

A fully adaptive multiresolution scheme for shock computations

The scheme is based on Ami Harten's ideas (Harten, 1994), the main tools coming from wavelet theory, in the framework of multiresolution analysis for cell averages. But instead of evolving cell averages on the finest uniform level, we propose to evolve just the cell averages on the grid determined by the significant wavelet coefficients. Typically, there are few cells in each time step, big cells on smooth regions, and smaller ones close to irregularities of the solution. For the numerical flux, we use a simple uniform central finite difference scheme, adapted to the size of each cell. If any of the required neighboring cell averages is not present, it is interpolated from coarser scales. But we switch to ENO scheme in the finest part of the grids. To show the feasibility and efficiency of the method, it is applied to a system arising in polymer-flooding of an oil reservoir. In terms of CPU time and memory requirements, it outperforms Harten's multiresolution algorithm.The proposed method applies to systems of conservation laws in 1Dpartial derivative(t)u(x, t) + partial derivative(x)f(u(x, t)) = 0, u(x, t) is an element of R-m. (1)In the spirit of finite volume methods, we shall consider the explicit schemeupsilon(mu)(n+1) = upsilon(mu)(n) - Deltat/hmu ((f) over bar (mu) - (f) over bar (mu)-) = [Dupsilon(n)](mu), (2)where mu is a point of an irregular grid Gamma, mu(-) is the left neighbor of A in Gamma, upsilon(mu)(n) approximate to 1/mu-mu(-) integral(mu-)(mu) u(x, t(n))dx are approximated cell averages of the solution, (f) over bar (mu) = (f) over bar (mu)(upsilon(n)) are the numerical fluxes, and D is the numerical evolution operator of the scheme.According to the definition of (f) over bar (mu), several schemes of this type have been proposed and successfully applied (LeVeque, 1990). Godunov, Lax-Wendroff, and ENO are some of the popular names. Godunov scheme resolves well the shocks, but accuracy (of first order) is poor in smooth regions. Lax-Wendroff is of second order, but produces dangerous oscillations close to shocks. ENO schemes are good alternatives, with high order and without serious oscillations. But the price is high computational cost.Ami Harten proposed in (Harten, 1994) a simple strategy to save expensive ENO flux calculations. The basic tools come from multiresolution analysis for cell averages on uniform grids, and the principle is that wavelet coefficients can be used for the characterization of local smoothness.. Typically, only few wavelet coefficients are significant. At the finest level, they indicate discontinuity points, where ENO numerical fluxes are computed exactly. Elsewhere, cheaper fluxes can be safely used, or just interpolated from coarser scales. Different applications of this principle have been explored by several authors, see for example (G-Muller and Muller, 1998).Our scheme also uses Ami Harten's ideas. But instead of evolving the cell averages on the finest uniform level, we propose to evolve the cell averages on sparse grids associated with the significant wavelet coefficients. This means that the total number of cells is small, with big cells in smooth regions and smaller ones close to irregularities. This task requires improved new tools, which are described next.