Integration of a regional GPS network within ITRF using precise point positioning

GPS precise point positioning (PPP) can provide high precision 3-D coordinates. Combined pseudorange and carrier phase observables, precise ephemeris and satellite clock corrections, together with data from dual frequency receivers, are the key factors for providing such levels of precision (few centimeters). In general, results obtained from PPP are referenced to an arbitrary reference frame, realized from a previous free network adjustment, in which satellite state vectors, station coordinates and other biases are estimated together. In order to obtain consistent results, the coordinates have to be transformed to the relevant reference frame and the appropriate daily transformation parameters must be available. Furthermore, the coordinates have to be mapped to a chosen reference epoch. If a velocity field is not available, an appropriated model, such as NNR-NUVEL-IA, has to be used. The quality of the results provided by this approach was evaluated using data from the Brazilian Network for Continuous Monitoring of the Global Positioning System (RBMC), which was processed using GIPSY-OASIS 11 software. The results obtained were compared to SIRGAS 1995.4 and ITRF2000, and reached precision better than 2cm. A description of the fundamentals of the PPP approach and its application in the integration of regional GPS networks with ITRF is the main purpose of this paper.

Variable structure control of switched systems based on Lyapunov-Metzler-SPR systems

This paper presents two Variable Structure Controllers (VSC) for continuous-time switched plants. It is assumed that the state vector is available for feedback. The proposed control system provides a switching rule and also the variable structure control input. The design is based on Lyapunov-Metzler (LM) inequalities and also on Strictly Positive Real (SPR) systems stability results. The definition of Lyapunov-Metzler-SPR (LMS) systems and its direct application in the design of VSC for switched systems are introduced in this paper. Two examples illustrate the design of the proposed VSC, considering a plant given by a switched system with a switched-state control law and two linear time-invariant systems, that are not controllable and also can not be stabilized with state feedback. ©2008 IEEE.

Controle robusto com realimentação derivativa de sistemas não lineares via LMI

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

Interpretación geométrica de redes neuronales recurrentes discretas mediante grafos completos

El objetivo del presente trabajo de investigación es explorar nuevas técnicas de implementación, basadas en grafos, para las Redes de Neuronas, con el fin de simplificar y optimizar las arquitecturas y la complejidad computacional de las mismas. Hemos centrado nuestra atención en una clase de Red de Neuronas: las Redes de Neuronas Recursivas (RNR), también conocidas como redes de Hopfield. El problema de obtener la matriz sináptica asociada con una RNR imponiendo un determinado número de vectores como puntos fijos, no está en absoluto resuelto, el número de vectores prototipo que pueden ser almacenados en la red, cuando se utiliza la ley de Hebb, es bastante limitado, la red se satura rápidamente cuando se pretende almacenar nuevos prototipos. La ley de Hebb necesita, por tanto, ser revisada. Algunas aproximaciones dirigidas a solventar dicho problema, han sido ya desarrolladas. Nosotros hemos desarrollado una nueva aproximación en la forma de implementar una RNR en orden a solucionar estos problemas. La matriz sináptica es obtenida mediante la superposición de las componentes de los vectores prototipo, sobre los vértices de un Grafo, lo cual puede ser también interpretado como una coloración de dicho grafo. Cuando el periodo de entrenamiento se termina, la matriz de adyacencia del Grafo Resultante o matriz de pesos, presenta ciertas propiedades por las cuales dichas matrices serán llamadas tetraédricas. La energía asociada a cualquier estado de la red es representado por un punto (a,b) de R2. Cada uno de los puntos de energía asociados a estados que disten lo mismo del vector cero está localizado sobre la misma línea de energía de R2. El espacio de vectores de estado puede, por tanto, clasificarse en n clases correspondientes a cada una de las n diferentes distancias que puede tener cualquier vector al vector cero. La matriz (n x n) de pesos puede reducirse a un n-vector; de esta forma, tanto el tiempo de computación como el espacio de memoria requerido par almacenar los pesos, son simplificados y optimizados. En la etapa de recuperación, es introducido un vector de parámetros R2, éste es utilizado para controlar la capacidad de la red: probaremos que lo mayor es la componente a¡, lo menor es el número de puntos fijos pertenecientes a la línea de energía R¡. Una vez que la capacidad de la red ha sido controlada mediante este parámetro, introducimos otro parámetro, definido como la desviación del vector de pesos relativos, este parámetro sirve para disminuir ostensiblemente el número de parásitos. A lo largo de todo el trabajo, hemos ido desarrollando un ejemplo, el cual nos ha servido para ir corroborando los resultados teóricos, los algoritmos están escritos en un pseudocódigo, aunque a su vez han sido implamentados utilizando el paquete Mathematica 2.2., mostrándolos en un volumen suplementario al texto.---ABSTRACT---The aim of the present research is intended to explore new specifícation techniques of Neural Networks based on Graphs to be used in the optimization and simplification of Network Architectures and Computational Complexhy. We have focused our attention in a, well known, class of Neural Networks: the Recursive Neural Networks, also known as Hopfield's Neural Networks. The general problem of constructing the synaptic matrix associated with a Recursive Neural Network imposing some vectors as fixed points is fer for completery solved, the number of prototype vectors (learning patterns) which can be stored by Hebb's law is rather limited and the memory will thus quickly reach saturation if new prototypes are continuously acquired in the course of time. Hebb's law needs thus to be revised in order to allow new prototypes to be stored at the expense of the older ones. Some approaches related with this problem has been developed. We have developed a new approach of implementing a Recursive Neural Network in order to sob/e these kind of problems, the synaptic matrix is obtained superposing the components of the prototype vectors over the vértices of a Graph which may be interpreted as a coloring of the Graph. When training is finished the adjacency matrix of the Resulting Graph or matrix of weights presents certain properties for which it may be called a tetrahedral matrix The energy associated to any possible state of the net is represented as a point (a,b) in R2. Every one of the energy points associated with state-vectors having the same Hamming distance to the zero vector are located over the same energy Une in R2. The state-vector space may be then classified in n classes according to the n different possible distances firom any of the state-vectors to the zero vector The (n x n) matrix of weights may also be reduced to a n-vector of weights, in this way the computational time and the memory space required for obtaining the weights is optimized and simplified. In the recall stage, a parameter vectora is introduced, this parameter is used for controlling the capacity of the net: it may be proved that the bigger is the r, component of J, the lower is the number of fixed points located in the r¡ energy line. Once the capacity of the net has been controlled by the ex parameter, we introduced other parameter, obtained as the relative weight vector deviation parameter, in order to reduce the number of spurious states. All along the present text, we have also developed an example, which serves as a prove for the theoretical results, the algorithms are shown in a pseudocode language in the text, these algorithm so as the graphics have been developed also using the Mathematica 2.2. mathematical package which are shown in a supplementary volume of the text.

Complex numbers and symmetries in quantum mechanics, and a nonlinear superposition principle for Wigner functions

Complex numbers appear in the Hilbert space formulation of quantum mechanics, but not in the formulation in phase space. Quantum symmetries are described by complex, unitary or antiunitary operators defining ray representations in Hilbert space, whereas in phase space they are described by real, true representations. Equivalence of the formulations requires that the former representations can be obtained from the latter and vice versa. Examples are given. Equivalence of the two formulations also requires that complex superpositions of state vectors can be described in the phase space formulation, and it is shown that this leads to a nonlinear superposition principle for orthogonal, pure-state Wigner functions. It is concluded that the use of complex numbers in quantum mechanics can be regarded as a computational device to simplify calculations, as in all other applications of mathematics to physical phenomena.

Variational mean-field algorithm for efficient inference in large systems of stochastic differential equations

This work introduces a Gaussian variational mean-field approximation for inference in dynamical systems which can be modeled by ordinary stochastic differential equations. This new approach allows one to express the variational free energy as a functional of the marginal moments of the approximating Gaussian process. A restriction of the moment equations to piecewise polynomial functions, over time, dramatically reduces the complexity of approximate inference for stochastic differential equation models and makes it comparable to that of discrete time hidden Markov models. The algorithm is demonstrated on state and parameter estimation for nonlinear problems with up to 1000 dimensional state vectors and compares the results empirically with various well-known inference methodologies.

A Statistical Convergence Aplication for the Hopfield Networks

When Recurrent Neural Networks (RNN) are going to be used as Pattern Recognition systems, the problem to be considered is how to impose prescribed prototype vectors ξ^1,ξ^2,...,ξ^p as fixed points. The synaptic matrix W should be interpreted as a sort of sign correlation matrix of the prototypes, In the classical approach. The weak point in this approach, comes from the fact that it does not have the appropriate tools to deal efficiently with the correlation between the state vectors and the prototype vectors The capacity of the net is very poor because one can only know if one given vector is adequately correlated with the prototypes or not and we are not able to know what its exact correlation degree. The interest of our approach lies precisely in the fact that it provides these tools. In this paper, a geometrical vision of the dynamic of states is explained. A fixed point is viewed as a point in the Euclidean plane R2. The retrieving procedure is analyzed trough statistical frequency distribution of the prototypes. The capacity of the net is improved and the spurious states are reduced. In order to clarify and corroborate the theoretical results, together with the formal theory, an application is presented

Etiology of cutaneous leishmaniasis and anthropophilic vectors in Juruti, Pará State, Brazil

In a preliminary study in Juruti, a mining municipality in western Pará State, Brazil, 12 out of 21 patients suspected of presenting cutaneous leishmaniasis showed positive PCR (SSUrDNA and G6PD): Leishmania (Viannia) braziliensis (9/12; 75%) and L. (V.) sp. (3/12; 25%). Entomological studies in the same location revealed the presence of 12 different phlebotomine species (n =105). One of the most common species was Lutzomyia (Psychodopygus) complexa (17%) which is both highly anthropophilic and a known vector of L. (V.) braziliensis in other regions of Pará. These preliminary findings should serve to guide future epidemiological surveillance in Juruti.

Potential vectors and hosts of rickettsia spp: epidemiological studies in the Vale do Paraíba, state of Rio de Janeiro/Brazil

FAPESP, CNPq, CAPES

Seroepidemiological monitoring in sentinel animals and vectors as part of arbovirus surveillance in the state of Mato Grosso do Sul, Brazil

INTRODUCTION: From February-September 2010, seroepidemiological surveys were conducted on non-human primates and transmitter vector capture was used to investigate the possible circulation of arboviruses in the municipalities of Bonito, Campo Grande, and Jardim, State of Mato Grosso do Sul, Brazil. METHODS: A total of 65 primates from the wild and captivity were used, and potential vectors were captured using Castro and dip nets. Serum samples were tested at the Instituto Evandro Chagas, State of Pará, using the hemagglutination inhibition test to detect total antibodies against 19 different arboviruses. Virus isolation was attempted from serum samples and arthropod suspensions using newborn mice and the C6/36 cell line clone. In addition, identification of the vector species was conducted. RESULTS: From the 19 serum samples from Campo Grande, 1 sample had a 1:20 titer for Flavivirus. From the 35 samples collected in Bonito, 17 samples had antibodies to arboviruses, 4 (11.4%) were positive for Alphavirus, and 5 (14.2%) were positive for Flavivirus. Monotypic reactions were observed for the Mayaro (n = 10) and Oropouche (n = 5) viruses, and 6 (17.1%) samples had titers for >1 virus. We captured 120 Culicidae individuals that were potential arbovirus transmitters in Jardim; however, all the samples were negative for the viruses. CONCLUSIONS: Mato Grosso do Sul has a variety of vertebrate hosts and transmission vectors, thereby providing ideal conditions for the emergence or reemergence of arboviruses, including some pathogenic to human beings.

Survey of sandfly vectors of leishmaniasis in Marambaia Island, municipality of Mangaratiba, State of Rio de Janeiro, Brazil

IntroductionThe influx and efflux of military personnel in the possible endemic areas of leishmaniasis provided the impetus for research on the sandflies on Marambaia Island.MethodsSandflies were collected with light traps installed in the 3 ecotypes of 3 areas chosen for their particular landscape aspects.ResultsIn 2009, were collected 32,006 specimens of sandflies belonging to 13 species. The species that showed highest density were Nyssomyia intermedia and Migoneimyia migonei.ConclusionsN. intermedia and M. migonei are the principal vectors of American tegumentary leishmaniasis (ATL) in Brazil; thus, extension studies related to the eco-epidemiology of these species of Marambaia Island are essential.

Species of the subfamily Triatominae Jeannel, 1919 (Hemiptera: Reduviidae) present in the Collection of Chagas Disease Vectors (FIOCRUZ-COLVEC), State of Minas Gerais

Introduction Biological collections are depositories of information on different species and contribute to the knowledge, protection, conservation and maintenance of biodiversity. Methods A list of triatomine species currently included in the Collection of Chagas Disease Vectors (FIOCRUZ-COLVEC) was prepared from the database made available by the Reference Center on Environmental Information. Results COLVEC curatorship houses 4,778 specimens of triatomines, of which 811 come from other American countries (Argentina, Bolivia, Colombia, Costa Rica, the United States of America, Guatemala, Mexico, Peru, Uruguay and Venezuela) and 3,967 are autochthonous from Brazil. Altogether, 56 species of Chagas disease vectors are represented in the COLVEC: two species of the Tribe Cavernicolini Usinger, 1944; fifteen species of the tribe Rhodniini Pinto, 1926, of which 12 are of the genus Rhodnius and 3 are of the genus Psamolestes; and 39 species of the tribe Triatomini Jeannel, 1919, represented by the genus Dipetalogaster, two species of the genus Eratyrus, two of the genus Meccus, seven of the genus Panstrongylus and 27 of the genus Triatoma. Conclusions This list provides important data on the diversity of triatomines currently included in COLVEC, including the expanded area of Panstrongylus lutzi occurrence in the municipalities Pirapora and Januária, State of Minas Gerais. The maintenance and expansion of the collection ensures the preservation of biodiversity and further studies.

Geographical distribution of Trypanosoma cruzi in triatomine vectors in the State of Mato Grosso do Sul, Brazil

Introduction This work presents the initial findings of a molecular epidemiological investigation of Trypanosoma cruzi in triatomine insects in State of Mato Grosso do Sul. Methods A total of 511 triatomines from different regions of the state were examined. Deoxyribonucleic acid (DNA) was extracted from the intestinal contents of the insects using phenol-chloroform-isoamyl alcohol (25:24:1). Polymerase chain reaction (PCR) using primers 121/122 targeting DNA kinetoplast (kDNA) was then performed to identify T. cruzi, and positive samples were subjected to PCR using the primer pair TcSC5D-F/R followed by restriction fragment length polymorphism (RFLP) with the restriction enzymes SphI and HpaI (1 U/reaction), cloning and sequencing. Results One hundred samples were positive for T. cruzi, and three discrete typing units (DTUs) were identified (TcI, TcII, and TcBat). Triatoma sordida had the highest T. cruzi occurrence (83.3%), and DTUs were found in three samples: 58.3% of the samples were TcI, 33.3% were TcII and 8.3% were TcBat. There was a clear geographical distribution of the DTUs throughout the state, with TcI, TcII and TcBat located in the center, TcI located in the east, and TcII located in the west. Conclusions This study showed the occurrence of overlapping DTUs in State of Mato Grosso do Sul. The distributions of the DTUs were different, with TcI, TcII and TcBat in the center of the state, TcI predominantly in the east, and TcII in the west. Further studies may reveal a more defined mosaic distribution of DTUs in MS.

A two years study on vectors of cutaneous leishmaniasis: Evidence for sylvatic transmission cycle in the State of Campeche, Mexico

Vectors of cutaneous leishmaniasis in the State of Campeche were studied in relation to the transmission cycle of Leishmania (Le.) mexicana. To determine how transmission of leishmaniasis occurs, we collected phlebotomine sand flies for two years. In the first year (October 1990 to November 1991) the collections were made with CDC light traps, Shannon traps and direct captures at natural shelters around the village (<200 m) of La Libertad. In the second year (February 1993 to January 1994) the catches were performed at 8 km southeast of La Libertad in the forest. Female sand flies were examined for Leishmania. During the first year, 347 sand flies of nine species were collected, most of which were Lutzomyia deleoni (61.3%). When all nine species were considered, more females than males were captured. Low densities of anthropophillic species of sand flies around the village indicated that sylvatic transmission was taking place. For the second year, 1484 sand flies of 16 species were caught. The most common were L. olmeca olmeca (21.7%), L. cruciata (19.2%) and L. ovallesi (14.1%). Similarly, more females were caught than males. Thirty-five females of five species were found infected with flagellates believed to be Leishmania sp. The highest infection rate was found in L. olmeca olmeca (7.1%) followed by L. cruciata (4.5%) and L. ovallesi (1.1%). These data plus other evidence on the epidemiology of human cases and results from reservoir studies are discussed in relation to the sylvatic transmission cycle.