Avaliação de estratégias de detecção e correção de perdas de ciclos na portadora GPS L1

To prevent large errors in the GPS positioning, cycle slips should be detected and corrected. Such procedure is not trivial, mainly for single frequency receivers, but normally it is not noticed by the users. Thus, it will be discussed some practical and more used methods for cycle slips detection and correction using just GPS single-frequency observations. In the detection, the triple (TD) and tetra differences were used. In relation to the correction, in general, each slip is corrected in the preprocessing. Otherwise, other strategies should be adopted during the processing. In this paper, the option was to the second option, and two strategies were tested. In one of them, the elements of the covariance matrix of the involved ambiguities are modified and new ambiguity estimation starts. In the one, a new ambiguity is introduced as additional unknown when a cycle slip is detected. These possibilities are discussed and compared in this paper, as well as the aspects related to the practicity, implementation and viability of each one. Some experiments were carried out using simulated data with cycle slips in different satellites and epochs of the data. This allowed assessing and comparing the results of different occurrence of cycle slip and correction in several conditions.

Extração semi-automática de rodovia baseada em um par estéreo de imagens aéreas e em otimização por programação dinâmica no espaço-objeto

This article proposes a method for 3D road extraction from a stereopair of aerial images. The dynamic programming (DP) algorithm is used to carry out the optimization process in the object-space, instead of usually doing it in the image-space such as the DP traditional methodologies. This means that road centerlines are directly traced in the object-space, implying that a mathematical relationship is necessary to connect road points in object and image-space. This allows the integration of radiometric information from images into the associate mathematical road model. As the approach depends on an initial approximation of each road, it is necessary a few seed points to coarsely describe the road. Usually, the proposed method allows good results to be obtained, but large anomalies along the road can disturb its performance. Therefore, the method can be used for practical application, although it is expected some kind of local manual edition of the extracted road centerline.

Limiarização contextual automática de imagens coloridas: aplicação na extração de sementes de rodovia

In this paper is a totally automatic strategy proposed to reduce the complexity of patterns ( vegetation, building, soils etc.) that interact with the object 'road' in color images, thus reducing the difficulty of the automatic extraction of this object. The proposed methodology consists of three sequential steps. In the first step the punctual operator is applied for artificiality index computation known as NandA ( Natural and Artificial). The result is an image whose the intensity attribute is the NandA response. The second step consists in automatically thresholding the image obtained in the previous step, resulting in a binary image. This image usually allows the separation between artificial and natural objects. The third step consists in applying a preexisting road seed extraction methodology to the previous generated binary image. Several experiments carried out with real images made the verification of the potential of the proposed methodology possible. The comparison of the obtained result to others obtained by a similar methodology for road seed extraction from gray level images, showed that the main benefit was the drastic reduction of the computational effort.

Estudo de propriedades críticas em sistemas complexos: método de procura automática em sistemas tipo Ising e percolação de longo alcance

The new technique for automatic search of the order parameters and critical properties is applied to several well-know physical systems, testing the efficiency of such a procedure, in order to apply it for complex systems in general. The automatic-search method is combined with Monte Carlo simulations, which makes use of a given dynamical rule for the time evolution of the system. In the problems inves¬tigated, the Metropolis and Glauber dynamics produced essentially equivalent results. We present a brief introduction to critical phenomena and phase transitions. We describe the automatic-search method and discuss some previous works, where the method has been applied successfully. We apply the method for the ferromagnetic fsing model, computing the critical fron¬tiers and the magnetization exponent (3 for several geometric lattices. We also apply the method for the site-diluted ferromagnetic Ising model on a square lattice, computing its critical frontier, as well as the magnetization exponent f3 and the susceptibility exponent 7. We verify that the universality class of the system remains unchanged when the site dilution is introduced. We study the problem of long-range bond percolation in a diluted linear chain and discuss the non-extensivity questions inherent to long-range-interaction systems. Finally we present our conclusions and possible extensions of this work

Indicadores de cálcio e de voltagem codificados geneticamente na detecção de potenciais de ação e inputs sinápticos em cultura de neurônios hipocampais

Recently, genetically encoded optical indicators have emerged as noninvasive tools of high spatial and temporal resolution utilized to monitor the activity of individual neurons and specific neuronal populations. The increasing number of new optogenetic indicators, together with the absence of comparisons under identical conditions, has generated difficulty in choosing the most appropriate protein, depending on the experimental design. Therefore, the purpose of our study was to compare three recently developed reporter proteins: the calcium indicators GCaMP3 and R-GECO1, and the voltage indicator VSFP butterfly1.2. These probes were expressed in hippocampal neurons in culture, which were subjected to patchclamp recordings and optical imaging. The three groups (each one expressing a protein) exhibited similar values of membrane potential (in mV, GCaMP3: -56 ±8.0, R-GECO1: -57 ±2.5; VSFP: -60 ±3.9, p = 0.86); however, the group of neurons expressing VSFP showed a lower average of input resistance than the other groups (in Mohms, GCaMP3: 161 ±18.3; GECO1-R: 128 ±15.3; VSFP: 94 ±14.0, p = 0.02). Each neuron was submitted to current injections at different frequencies (10 Hz, 5 Hz, 3 Hz, 1.5 Hz, and 0.7 Hz) and their fluorescence responses were recorded in time. In our study, only 26.7% (4/15) of the neurons expressing VSFP showed detectable fluorescence signal in response to action potentials (APs). The average signal-to-noise ratio (SNR) obtained in response to five spikes (at 10 Hz) was small (1.3 ± 0.21), however the rapid kinetics of the VSFP allowed discrimination of APs as individual peaks, with detection of 53% of the evoked APs. Frequencies below 5 Hz and subthreshold signals were undetectable due to high noise. On the other hand, calcium indicators showed the greatest change in fluorescence following the same protocol (five APs at 10 Hz). Among the GCaMP3 expressing neurons, 80% (8/10) exhibited signal, with an average SNR value of 21 ±6.69 (soma), while for the R-GECO1 neurons, 50% (2/4) of the neurons had signal, with a mean SNR value of 52 ±19.7 (soma). For protocols at 10 Hz, 54% of the evoked APs were detected with GCaMP3 and 85% with R-GECO1. APs were detectable in all the analyzed frequencies and fluorescence signals were detected from subthreshold depolarizations as well. Because GCaMP3 is the most likely to yield fluorescence signal and with high SNR, some experiments were performed only with this probe. We demonstrate that GCaMP3 is effective in detecting synaptic inputs (involving Ca2+ influx), with high spatial and temporal resolution. Differences were also observed between the SNR values resulting from evoked APs, compared to spontaneous APs. In recordings of groups of cells, GCaMP3 showed clear discrimination between activated and silent cells, and reveals itself as a potential tool in studies of neuronal synchronization. Thus, our results indicate that the presently available calcium indicators allow detailed studies on neuronal communication, ranging from individual dendritic spines to the investigation of events of synchrony in neuronal networks genetically defined. In contrast, studies employing VSFPs represent a promising technology for monitoring neural activity and, although still to be improved, they may become more appropriate than calcium indicators, since neurons work on a time scale faster than events of calcium may foresee

Detecção de bactérias periodontopatogênicas cultiváveis e não cultiváveis em placas ateromatosas

Periodontal infections consist of a group of inflammatory conditions caused by microorganisms that colonize the tooth surface through the formation of dental biofilm. Chronic infections such as periodontitis have been associated to the development and progression of atherosclerosis. AIM: Detect cultivatable and non-cultivatable periodontopathogenic bacteria in atheromatous plaques; search for factors associated to the presence of these bacteria in the atheromatous plaques and characterize the presence of cultivatable and non-cultivatable bacteria in these plaques. METHODOLOGY: A cross-sectional study was performed with a sample of 30 patients diagnosed with atherosclerosis in the carotid, coronary or femoral arteries and surgically treated with angioplasty and stent implant, bypass or endarterectomy. The plaques were collected during surgery and analyzed using the PCR molecular technique for the presence of the DNA of the cultivatable bacteria Aggregatibacter actinomycetemcomitans, Porphyromonas gingivalis and Treponema denticola and of the non-cultivatable Synergistes phylotypes. The patients were examined in the infirmary, after the surgery, where they also responded to a questionnaire aimed at determining factors associated to the presence of periodontopathogenic bacteria in the atheromatous plaques. RESULTS: All patients with tooth (66,7%) possessed disease periodontal, being 95% severe and 65% widespread. No periodontopathogenic bacteria were found in the atheromatous plaques. However, four samples (13.3%) were positive for the presence of bacteria. Of these, three participants were dentate, being two carriers of widespread severe chronic periodontite and one of located severe chronic periodontitis. None of them told the accomplishment of procedures associated to possible bacteremia episodes, as treatment endodontic, extraction the last six months or some procedure surgical dental. CONCLUSION: The periodontopathogenic bacteria studied were not found in the atheromatous plaques, making it impossible to establish the prevalence of these pathogens or the factors associated to their presence in plaques, the detection of positive samples for bacteria suggests that other periodontal and non-periodontal pathogens be studied in an attempt at discovering the association or not between periodontal disease and/or others infections and atherosclerosis, from the presence of these bacteria in atheromas

Estudo da detecção do DNA do papiloma vírus humano (HPV) e da expressão imuno-histoquímica de proteína do ciclo celular no carcinoma epidermóide oral

Oral squamous cell carcinoma (OSCC) is the most common malignancy in oral cavity and human papillomavirus (HPV) may have an important role in its development. The aim of this experiment was to investigate the HPV DNA and viral types in 90 cases of OSCC. Moreover, a comparative analysis between the cases of OSSC with and without HPV DNA was performed by using cell cycle markers p21 and pRb in order to detect a possible correlation of these proteins and HPV infection. DNA was extracted from paraffin embedded tissue and amplified by PCR (polymerase chain reaction) with primers PCO3+ e PCO4+ for a fragment of human β-globin gene. After this procedure, PCR for HPV DNA detection was realized using a pair of generic primers GP5+ e GP6+. Immunohistochemical study was performed by streptoavidin-biotin technique and antibodies against p21 and pRb proteins were employed. Eighty-eight cases were positive for human β-globin gene and HPV DNA was found in 26 (29.5%) of then. It could not be detected significant correlation between HPV and age, sex and anatomical sites of the lesion. The most prevalent viral type was HPV 18 (80.8%). Regarding the immunohistochemical analysis, it was detected significant association between HPV presence and pRb immunoexpression (p=0,044), nevertheless, the same was not observed in relation to p21 protein (p =0,416). It can be concluded that the low detection of HPV DNA in OSCC by the present experiment suggests a possible role of the virus in the development and progression in just a subset of this disease

Detecção de cor e forma por Callithrix jacchus em cativeiro

Callithrix jacchus studies involving differences between the sexes regarding the performance on tasks food still offers room for the investigation of some factors, among them there is the differences in color vision, which can directly influence the detection of visual clues on food items. This study aimed to analyze the performance of C. jacchus in tasks involving detection of food items. Some factors were analyzed such as the differences in performance between the sexes and behavioral categories present during the task. There were no differences in performance between the animals in carrying out the task, for all situations presented, examining the behavioral categories observed. The fact of the task to be very simple might have influenced the results, and it was not possible to observe differences in performance. Males and females showed the same performance in all analyzed situations. The sex differences were not found possibly due to the influence of external factors, such as the structure of the experimental apparatus. The animals are more efficient in carrying out the task during the morning, in comparison to the afternoon. The light may have been one of the factors that influenced these results. Due to the influence of other factors that probably contributed to these results, we believe that different results can be found in future work

Detecção de predadores por dicromatas e tricromatas humanos e a sua implicação na evolução da visão de cores em primatas

Among placental mammals, primates are the only ones to present trichromatic color vision. However, the distribution of trichromacy among primates is not homogeneous: Old World primates shows an uniform trichromacy (with all individuals being trichromats) and New World primates exhibit a color vision polymorphism (with dichromatic males and dichromatic or trichromatic females). Visual ecology studies have investigated which selective pressures may have been responsible for the evolution of trichromacy in primates, diverging from the dichromat standard found in other mammals. Cues associated with foraging and the socio-reproductive status were analyzed, indicating a trichromatic advantage for the rapid detection of visually conspicuous objects against a green background. However, dichromats are characterized by an efficient capture of cryptic and camouflaged stimuli. These advantages regarding phenotype may be responsible for the maintenance of the visual polymorphism in New World primates and for the high incidence of color blindness in humans (standing around 8% in Caucasian men). An important factor that has not yet been experimentally taken into account is the predation risk and its effect on the evolution of trichromacy in primates. To answer this question, we prepared and edited pictures of animals with different coats: oncillas (Leopardus spp.), puma (Puma concolor) and ferret (Galictis cuja). The specimens were taxidermized and the photographs were taken in three different vegetation scenarios (dense forest, cerrado and grassland). The images of the predators were manipulated so that they fit into two categories of stimulus size (small or large). After color calibration and photo editing, these were presented to 40 humans (20 dichromats and 20 trichromats) by a computer program, which presented a set of four photos at a time (one picture containing the taxidermized animal amid the background vegetation and three depicting only the background vegetation) and recorded the response latency and success rate of the subjects. The results show a trichromatic advantage in detecting potential predators. The predator detection was influenced by the background, the predator species, the dimension of the stimulus and the observer s visual phenotype. As humans have a high rate of dyschromatopsias, when compared to wild Catarrhini or human tribal populations, it is possible that the increased rate of dichromats is a result of reduced pressure for rapid predator detection. Since our species came to live in more cohesive groups and resistant to attack by predators, with the advent of agriculture and the formation of villages, it is possible that the lower risk of predation has reduced the selection in favor of trichromats

Exames parasitológicos, imunoistoquímicos e histopatológicos para detecção de Leishmania chagasi em tecidos esplênicos de cães com leishmaniose visceral

O propósito do presente trabalho foi o estudo da Leishmaniose Visceral Canina - LVC por meio de métodos parasitológicos e imunoistoquímicos para a detecção de formas amastigotas de Leishmania (L.) chagasi em baço, além de descrever a histopatologia das lesões esplênicas em 34 cães, com diferentes manifestações clínicas da LVC, eutanasiados pelo Centro de Controle de Zoonoses de Ilha Solteira, SP. Esses animais foram examinados clinicamente antes da eutánásia e de acordo com os sinais clínicos da LVC, foram classificados em três grupos: assintomáticos (8 cães), oligossintomáticos (17 cães) e sintomáticos (9 cães). Após a realização desses exames, dos 34 cães, 22 (64,7%) estavam positivos e 12 (35,3%) negativos. Desses cães positivos, 1/22 (4,5%) era assintomático, 12/22 (54,5%) eram oligossintomáticos e 9/22 (40,1%) sintomáticos. Pela histopatologia, os cães, especialmente os sintomáticos apresentavam o baço com inflamação crônica e espessamento na região capsular e trabecular, além de extensa alteração morfológica na polpa vermelha e branca pela presença de grande quantidade de macrófagos repletos de amastigotas, pela reação granulomatosa inflamatória e pelas áreas hemorrágicas. Os exames histopatológicos e a detecção microscópica direta da L. (L.) chagasi revelaram que o baço é um órgão útil para auxiliar no diagnóstico da LVC. A coloração imunoistoquímica foi a que detectou o maior número de tecidos esplênicos positivos com amastigotas, além de elucidar os casos suspeitos pelos exames parasitológicos, principalmente, nos animais assintomáticos ou oligossintomáticos.

Detecção de metamidofós em solos por métodos ecotoxicológico e cromatografia líquida acoplada à espectrometria de massas sequencial (LC-MS/MS)

Soil contamination by pesticides is an environmental problem that needs to be monitored and avoided. However, the lack of fast, accurate and low cost analytical methods for discovering residual pesticide in complex matrices, such as soil, is a problem still unresolved. This problem needs to be solved before we are able to assess the quality of environmental samples. The intensive use of pesticides has increased since the 60s, because the dependence of their use, causing biological imbalances and promoting resistance and recurrence of high populations of pests and pathogens (upwelling). This has contributed to the appearance of new pests that were previously under natural control. To develop analytical methods that are able to quantify residues pesticide in complex environment. It is still a challenge for many laboratories. The integration of two analytical methods one ecotoxicological and another chemical demonstrates the potential for environmental analysis of methamidophos. The aim of this study was to evaluate an ecotoxicological method as "screening" analytical methamidophos in the soil and perform analytical confirmation in the samples of the concentration of the analyte by chemical method LC-MS/MS In this work we tested two soils: a clayey and sandy, both in contact with the kinetic methamidophos model followed pseudo-second order. The clay soil showed higher absorption of methamidophos and followed the Freundlich model, while the sandy, the Langmuir model. The chemical method was validated LC-MS/MS satisfactory, showing all parameters of linearity, range, precision, accuracy, and sensitivity adequate. In chronic ecotoxicological tests with C. dubia, the NOEC was 4.93 and 3.24 for ng L-1 of methamidophos to elutriate assays of sandy and clay soils, respectively. The method for ecotoxicological levels was more sensitive than LC-MS/MS detection of methamidophos, loamy and sandy soils. However, decreasing the concentration of the standard for analytical methamidophos and adjusting for the validation conditions chemical acquires a limit of quantification (LOQ) in ng L-1, consistent with the provisions of ecotoxicological test. The methods described should be used as an analytical tool for methamidophos in soil, and the ecotoxicological analysis can be used as a "screening" and LC-MS/MS as confirmatory analysis of the analyte molecule, confirming the objectives of this work

O desempenho terminológico dos descritores em Ciência da Informação do Vocabulário Controlado do SIBi/USP nos processos de indexação manual, automática e semi-automática

The terminological performance of the descriptors representing the Information Science domain in the SIBI/USP Controlled Vocabulary was evaluated in manual, automatic and semi-automatic indexing processes. It can be concluded that, in order to have a better performance (i.e., to adequately represent the content of the corpus), current Information Science descriptors of the SIBi/USP Controlled Vocabulary must be extended and put into context by means of terminological definitions so that information needs of users are fulfilled.

Sistema de agentes poligínicos para esteganálise de imagens digitais

In this work, we propose a multi agent system for digital image steganalysis, based on the poliginic bees model. Such approach aims to solve the problem of automatic steganalysis for digital media, with a case study on digital images. The system architecture was designed not only to detect if a file is suspicious of covering a hidden message, as well to extract the hidden message or information regarding it. Several experiments were performed whose results confirm a substantial enhancement (from 67% to 82% success rate) by using the multi-agent approach, fact not observed in traditional systems. An ongoing application using the technique is the detection of anomalies in digital data produced by sensors that capture brain emissions in little animals. The detection of such anomalies can be used to prove theories and evidences of imagery completion during sleep provided by the brain in visual cortex areas

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping