904 resultados para Proof assistants


Relevância:

10.00% 10.00%

Publicador:

Resumo:

A novel optoelectronic quotient-selected modified signed-digit division technique is proposed. This division method generates one quotient digit per iteration involving only one shift operation, one quotient selection operation and one addition/subtraction operation. The quotient digit can be selected by observing three most significant digits of the partial remainder independent of the divisor. Two algorithms based on truth-table look-up and binary logic operations are derived. For optoelectronic implementation, an efficient shared content-addressable memory based architecture as well as compact logic array processor based architecture with an electron-trapping device is proposed. Performance evaluation of the proposed optoelectronic quotient-selected division shows that it is faster than the previously reported convergence division approach. Finally, proof-of-principle experimental results are presented to verify the effectiveness of the proposed technique. (C) 2001 Society of Photo-Optical Instrumentation Engineers.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this thesis an extensive study is made of the set P of all paranormal operators in B(H), the set of all bounded endomorphisms on the complex Hilbert space H. T ϵ B(H) is paranormal if for each z contained in the resolvent set of T, d(z, σ(T))//(T-zI)-1 = 1 where d(z, σ(T)) is the distance from z to σ(T), the spectrum of T. P contains the set N of normal operators and P contains the set of hyponormal operators. However, P is contained in L, the set of all T ϵ B(H) such that the convex hull of the spectrum of T is equal to the closure of the numerical range of T. Thus, NPL.

If the uniform operator (norm) topology is placed on B(H), then the relative topological properties of N, P, L can be discussed. In Section IV, it is shown that: 1) N P and L are arc-wise connected and closed, 2) N, P, and L are nowhere dense subsets of B(H) when dim H ≥ 2, 3) N = P when dimH ˂ ∞ , 4) N is a nowhere dense subset of P when dimH ˂ ∞ , 5) P is not a nowhere dense subset of L when dimH ˂ ∞ , and 6) it is not known if P is a nowhere dense subset of L when dimH ˂ ∞.

The spectral properties of paranormal operators are of current interest in the literature. Putnam [22, 23] has shown that certain points on the boundary of the spectrum of a paranormal operator are either normal eigenvalues or normal approximate eigenvalues. Stampfli [26] has shown that a hyponormal operator with countable spectrum is normal. However, in Theorem 3.3, it is shown that a paranormal operator T with countable spectrum can be written as the direct sum, N ⊕ A, of a normal operator N with σ(N) = σ(T) and of an operator A with σ(A) a subset of the derived set of σ(T). It is then shown that A need not be normal. If we restrict the countable spectrum of T ϵ P to lie on a C2-smooth rectifiable Jordan curve Go, then T must be normal [see Theorem 3.5 and its Corollary]. If T is a scalar paranormal operator with countable spectrum, then in order to conclude that T is normal the condition of σ(T) ≤ Go can be relaxed [see Theorem 3.6]. In Theorem 3.7 it is then shown that the above result is not true when T is not assumed to be scalar. It was then conjectured that if T ϵ P with σ(T) ≤ Go, then T is normal. The proof of Theorem 3.5 relies heavily on the assumption that T has countable spectrum and cannot be generalized. However, the corollary to Theorem 3.9 states that if T ϵ P with σ(T) ≤ Go, then T has a non-trivial lattice of invariant subspaces. After the completion of most of the work on this thesis, Stampfli [30, 31] published a proof that a paranormal operator T with σ(T) ≤ Go is normal. His proof uses some rather deep results concerning numerical ranges whereas the proof of Theorem 3.5 uses relatively elementary methods.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The structure of the set ϐ(A) of all eigenvalues of all complex matrices (elementwise) equimodular with a given n x n non-negative matrix A is studied. The problem was suggested by O. Taussky and some aspects have been studied by R. S. Varga and B.W. Levinger.

If every matrix equimodular with A is non-singular, then A is called regular. A new proof of the P. Camion-A.J. Hoffman characterization of regular matrices is given.

The set ϐ(A) consists of m ≤ n closed annuli centered at the origin. Each gap, ɤ, in this set can be associated with a class of regular matrices with a (unique) permutation, π(ɤ). The association depends on both the combinatorial structure of A and the size of the aii. Let A be associated with the set of r permutations, π1, π2,…, πr, where each gap in ϐ(A) is associated with one of the πk. Then r ≤ n, even when the complement of ϐ(A) has n+1 components. Further, if π(ɤ) is the identity, the real boundary points of ɤ are eigenvalues of real matrices equimodular with A. In particular, if A is essentially diagonally dominant, every real boundary point of ϐ(A) is an eigenvalues of a real matrix equimodular with A.

Several conjectures based on these results are made which if verified would constitute an extension of the Perron-Frobenius Theorem, and an algebraic method is introduced which unites the study of regular matrices with that of ϐ(A).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este estudo buscou identificar a inserção do Serviço Social na intervenção profissional junto à dependência de álcool e outras drogas na década de 1980, no Rio de Janeiro, a partir do debate conceitual acerca dessa temática e da análise das políticas públicas formuladas pelo Estado brasileiro para o seu enfrentamento. Caracteriza-se como uma pesquisa de natureza exploratória face à parca existência de produções científicas no Serviço Social sobre tal questão. Assim, constituindo-se como uma contribuição em termos de subsídios à ação profissional dos assistentes sociais. Os dados coletados junto aos representantes e assistentes sociais de instituições em funcionamento na década de 1980 permitiram delinear um perfil sobre a implantação do Serviço Social na intervenção profissional junto a essa problemática. Inicialmente, as entidades sem fins lucrativos e os programas de dependência química de empresa foram os principais espaços ocupados pelos profissionais de Serviço Social, havendo uma inexpressiva presença nos órgãos estatais. A partir dos anos noventa, com as políticas públicas de atenção ao consumo de drogas, amplia-se o número de assistentes sociais com atuação nessa área, cabendo, portanto, ao Serviço Social contribuir mais intensamente com estudos científicos, visando melhor instrumentalizá-los de forma teórico-metodológica e técnico-operativa.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A.G. Vulih has shown how an essentially unique intrinsic multiplication can be defined in certain types of Riesz spaces (vector lattices) L. In general, the multiplication is not universally defined in L, but L can always be imbedded in a large space L# in which multiplication is universally defined.

If ф is a normal integral in L, then ф can be extended to a normal integral on a large space L1(ф) in L#, and L1(ф) may be regarded as an abstract integral space. A very general form of the Radon-Nikodym theorem can be proved in L1(ф), and this can be used to give a relatively simple proof of a theorem of Segal giving a necessary and sufficient condition that the Radon-Nikodym theorem hold in a measure space.

In another application, the multiplication is used to give a representation of certain Riesz spaces as rings of operators on a Hilbert space.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Let {Ƶn}n = -∞ be a stochastic process with state space S1 = {0, 1, …, D – 1}. Such a process is called a chain of infinite order. The transitions of the chain are described by the functions

Qi(i(0)) = Ƥ(Ƶn = i | Ƶn - 1 = i (0)1, Ƶn - 2 = i (0)2, …) (i ɛ S1), where i(0) = (i(0)1, i(0)2, …) ranges over infinite sequences from S1. If i(n) = (i(n)1, i(n)2, …) for n = 1, 2,…, then i(n) → i(0) means that for each k, i(n)k = i(0)k for all n sufficiently large.

Given functions Qi(i(0)) such that

(i) 0 ≤ Qi(i(0) ≤ ξ ˂ 1

(ii)D – 1/Ʃ/i = 0 Qi(i(0)) Ξ 1

(iii) Qi(i(n)) → Qi(i(0)) whenever i(n) → i(0),

we prove the existence of a stationary chain of infinite order {Ƶn} whose transitions are given by

Ƥ (Ƶn = i | Ƶn - 1, Ƶn - 2, …) = Qin - 1, Ƶn - 2, …)

With probability 1. The method also yields stationary chains {Ƶn} for which (iii) does not hold but whose transition probabilities are, in a sense, “locally Markovian.” These and similar results extend a paper by T.E. Harris [Pac. J. Math., 5 (1955), 707-724].

Included is a new proof of the existence and uniqueness of a stationary absolute distribution for an Nth order Markov chain in which all transitions are possible. This proof allows us to achieve our main results without the use of limit theorem techniques.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We demonstrate a full-range parallel Fourier-domain optical coherence tomography (FD-OCT) in which a tomogram free of mirror images as well as DC and autocorrelation terms is obtained in parallel. The phase and amplitude of two-dimensional spectral interferograms are accurately detected by using sinusoidal phase-modulating interferometry and a two-dimensional CCD camera, which allows for the reconstruction of two-dimensional complex spectral interferograms. By line-by-line inverse Fourier transformation of the two-dimensional complex spectral interferogram, a full-range parallel FD-OCT is realized. Tomographic images of two separated glass coverslips obtained with our method are presented as a proof-of-principle experiment.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Let M be an Abelian W*-algebra of operators on a Hilbert space H. Let M0 be the set of all linear, closed, densely defined transformations in H which commute with every unitary operator in the commutant M’ of M. A well known result of R. Pallu de Barriere states that if ɸ is a normal positive linear functional on M, then ɸ is of the form T → (Tx, x) for some x in H, where T is in M. An elementary proof of this result is given, using only those properties which are consequences of the fact that ReM is a Dedekind complete Riesz space with plenty of normal integrals. The techniques used lead to a natural construction of the class M0, and an elementary proof is given of the fact that a positive self-adjoint transformation in M0 has a unique positive square root in M0. It is then shown that when the algebraic operations are suitably defined, then M0 becomes a commutative algebra. If ReM0 denotes the set of all self-adjoint elements of M0, then it is proved that ReM0 is Dedekind complete, universally complete Riesz spaces which contains ReM as an order dense ideal. A generalization of the result of R. Pallu de la Barriere is obtained for the Riesz space ReM0 which characterizes the normal integrals on the order dense ideals of ReM0. It is then shown that ReM0 may be identified with the extended order dual of ReM, and that ReM0 is perfect in the extended sense.

Some secondary questions related to the Riesz space ReM are also studied. In particular it is shown that ReM is a perfect Riesz space, and that every integral is normal under the assumption that every decomposition of the identity operator has non-measurable cardinal. The presence of atoms in ReM is examined briefly, and it is shown that ReM is finite dimensional if and only if every order bounded linear functional on ReM is a normal integral.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Systems-level studies of biological systems rely on observations taken at a resolution lower than the essential unit of biology, the cell. Recent technical advances in DNA sequencing have enabled measurements of the transcriptomes in single cells excised from their environment, but it remains a daunting technical problem to reconstruct in situ gene expression patterns from sequencing data. In this thesis I develop methods for the routine, quantitative in situ measurement of gene expression using fluorescence microscopy.

The number of molecular species that can be measured simultaneously by fluorescence microscopy is limited by the pallet of spectrally distinct fluorophores. Thus, fluorescence microscopy is traditionally limited to the simultaneous measurement of only five labeled biomolecules at a time. The two methods described in this thesis, super-resolution barcoding and temporal barcoding, represent strategies for overcoming this limitation to monitor expression of many genes in a single cell. Super-resolution barcoding employs optical super-resolution microscopy (SRM) and combinatorial labeling via-smFISH (single molecule fluorescence in situ hybridization) to uniquely label individual mRNA species with distinct barcodes resolvable at nanometer resolution. This method dramatically increases the optical space in a cell, allowing a large numbers of barcodes to be visualized simultaneously. As a proof of principle this technology was used to study the S. cerevisiae calcium stress response. The second method, sequential barcoding, reads out a temporal barcode through multiple rounds of oligonucleotide hybridization to the same mRNA. The multiplexing capacity of sequential barcoding increases exponentially with the number of rounds of hybridization, allowing over a hundred genes to be profiled in only a few rounds of hybridization.

The utility of sequential barcoding was further demonstrated by adapting this method to study gene expression in mammalian tissues. Mammalian tissues suffer both from a large amount of auto-fluorescence and light scattering, making detection of smFISH probes on mRNA difficult. An amplified single molecule detection technology, smHCR (single molecule hairpin chain reaction), was developed to allow for the quantification of mRNA in tissue. This technology is demonstrated in combination with light sheet microscopy and background reducing tissue clearing technology, enabling whole-organ sequential barcoding to monitor in situ gene expression directly in intact mammalian tissue.

The methods presented in this thesis, specifically sequential barcoding and smHCR, enable multiplexed transcriptional observations in any tissue of interest. These technologies will serve as a general platform for future transcriptomic studies of complex tissues.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

An optical communication scheme of 2-D pattern transfer based on imaging optics for submarine laser uplink communication (SLUC) is suggested. Unlike the methods aiming at avoiding neighboring crosstalk used in traditional multi-channel optical beam transferring, we make full use of the overlapping of each spreading beam other than controlling divergence effect of each beam to avoid interference noise. The apparent parameters have been introduced to simplify theoretical analysis of optical pattern transfer problem involving underwater condition, with the help of which the complex beam propagation inside two kinds of mediums can be easily reduced to brief beam transfer only inside air medium. In this paper, optical transmission path and receiver terminal optics geometry have been described in detail. The link range equation and system uplink performance analysis have also been given. At last, results of a proof-of-concept experiment indicate good feasibility of the proposed SLUC model. © 2007 Elsevier GmbH. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This investigation deals with certain generalizations of the classical uniqueness theorem for the second boundary-initial value problem in the linearized dynamical theory of not necessarily homogeneous nor isotropic elastic solids. First, the regularity assumptions underlying the foregoing theorem are relaxed by admitting stress fields with suitably restricted finite jump discontinuities. Such singularities are familiar from known solutions to dynamical elasticity problems involving discontinuous surface tractions or non-matching boundary and initial conditions. The proof of the appropriate uniqueness theorem given here rests on a generalization of the usual energy identity to the class of singular elastodynamic fields under consideration.

Following this extension of the conventional uniqueness theorem, we turn to a further relaxation of the customary smoothness hypotheses and allow the displacement field to be differentiable merely in a generalized sense, thereby admitting stress fields with square-integrable unbounded local singularities, such as those encountered in the presence of focusing of elastic waves. A statement of the traction problem applicable in these pathological circumstances necessitates the introduction of "weak solutions'' to the field equations that are accompanied by correspondingly weakened boundary and initial conditions. A uniqueness theorem pertaining to this weak formulation is then proved through an adaptation of an argument used by O. Ladyzhenskaya in connection with the first boundary-initial value problem for a second-order hyperbolic equation in a single dependent variable. Moreover, the second uniqueness theorem thus obtained contains, as a special case, a slight modification of the previously established uniqueness theorem covering solutions that exhibit only finite stress-discontinuities.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este estudo teve por objetivo investigar a relação trabalho / saúde em trabalhadores de cozinhas industriais, focalizando o aspecto socioeconômico e outras dimensões da vida social (estresse no trabalho e eventos de vida produtores de estresse), incluindo-se morbidade (obesidade, doenças crônicas e transtornos mentais comuns), condição laboral (incômodos ambientais e acidentes de trabalho) e comportamentos relacionados à saúde (consumo alimentar, tabagismo e álcool). Utilizando dados coletados nos nove Restaurantes Populares do Estado do Rio de Janeiro, apresentam-se três artigos. O primeiro descreve a população de estudo, considerando três grupos ocupacionais: Administrativos, Cozinheiros e Copeiros, e os Auxiliares de Serviços Gerais. O segundo artigo investiga a associação entre as características psicossociais e o impedimento laboral por motivos de saúde, considerando uma análise hierarquizada e, finalmente, o terceiro artigo discute a certificação da reprodutibilidade, na população de estudo, do questionário sueco da versão para o português do Demand-Control Questionnaire (DCQ), utilizado para avaliar estresse no ambiente de trabalho. Os homens representaram 62,7% do total de trabalhadores. A idade média dos funcionários foi de 35,1 anos, (DP=10,3). A renda familiar líquida foi de até dois salários mínimos para 60% dos trabalhadores. Obteve-se para o tempo de trabalho em cozinhas, uma média de 59,8 meses, tendo variado de um mínimo de 2 meses e máximo de 30 anos. A prevalência de doenças que tinham diagnóstico médico foi de 15,0% para Doença Osteomusculares Relacionadas ao Trabalho (DORT); 14,3% para Hipertensão Arterial Sistêmica; 12,7% para Gastrite; e, 2,1% para Diabete Mellitus tipo II. O acidente de trabalho corte foi relatado por 20,2% dos trabalhadores, seguido de contusão com 16,0%. A prevalência de acidentes de trabalho foi mais expressiva entre os ASG. A prevalência de impedimento laboral por motivos de saúde foi de 10,8%. Os modelos resultantes das análises multivariadas de associação entre impedimentos das atividades laborais e as variáveis que permaneceram no modelo final após o ajustes das variáveis indicaram que aqueles que referiram estado geral de saúde regular e ruim tiveram uma razão de prevalência de três para impedimento das atividades laborais comparados aos de muito bom e bom estado geral de saúde (RP: 3,59; IC:1,44-8,97). Os trabalhadores que exerciam suas atividades nos restaurante localizados na área 2 (Bangu, Central do Brasil, Maracanã e Niterói) apresentaram RP:2,38; IC:1,15-4,91) para ausências no trabalho quando comparados aos da área 1 (Barra Mansa, Campos, Itaboraí, Duque de Caxias e Nova Iguaçu). A confiabilidade da escala do DCQ, teste-reteste, produziu um Coeficiente de Correlação Intraclasse para as dimensões: demanda psicológica, controle do trabalho e apoio social no trabalho de 0,70, 0,68 e 0,80, respectivamente, sendo considerados bom. Este estudo reforça a importância dos aspectos psicossociais na ocorrência do impedimento por motivos de saúde e contribui para o conhecimento dessas relações. Sugere-se realizar estudos com desenho longitudinal, que permitam aprofundar o conhecimento sobre os determinantes psicossociais do trabalho e o absenteísmo.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A proposta desta tese consiste em um recorte de uma abordagem mais ampla da determinação dos acidentes de trabalho, e tem como objetivo geral investigar o perfil de acidentes de trabalho que acometem funcionários técnico-administrativos do quadro efetivo de uma universidade do Rio de Janeiro. Para o alcance do objetivo, esta tese está estruturada em dois artigos, e como tal pretende explorar o perfil sócio-demográfico e ocupacional de funcionários públicos na ocorrência de acidentes de trabalho (Artigo 1); e investigar a associação entre os eventos de vida produtores de estresse (EVPE) e a ocorrência de acidentes de trabalho (Artigo 2). Dados seccionais da fase 2 de um estudo de natureza prospectiva (Estudo Pró-Saúde) foram coletados entre 3572 funcionários. A história de acidentes de trabalho foi captada por meio de perguntas dicotômicas (sim vs. não) para cada um dos seguintes tipos de acidentes: perfuração com agulha; perfuração com outro objeto; corte; queimadura; choque elétrico; contusão ou distensão muscular; fratura, entorse ou luxação; e envenenamento ou intoxicação. O período de referência para aferição tanto dos EVPE quanto da ocorrência de acidente de trabalho correspondeu aos 12 meses anteriores a aplicação de questionário autopreenchível. No artigo 1 utilizou-se a técnica de análise de correspondência múltipla para delimitar agrupamentos de funcionários quanto ao perfil sócio-demográfico e ocupacional associado à ocorrência de acidente de trabalho, de acordo com as seguintes Característica : sexo, idade, escolaridade, renda per capita, ocupação, setor e local de trabalho. No artigo 2, a associação entre EVPE e acidentes de trabalho foi avaliada através de análise multivariada por meio de modelo lineares generalizados (logpoisson), sendo os resultados expressos através de razões de prevalência (RP) ajustadas e seus respectivos intervalos de 95% de confiança (IC95%). A prevalência total de acidentes no período de 12 meses foi de 25,6%. Dos tipos de acidentes referidos, o mais frequente foi a contusão ou fratura, com cerca de (10,2%) de relatos. Em seguida, aparecem as perfurações com agulha (6,5%). Os resultados da análise de correspondência revelam três grupos, destacando-se aquele formado pelos que sofreram perfuração com agulha com um perfil que abrange os auxiliares de enfermagem, trabalham no Hospital Universitário e setores adjacentes, especificamente em setores de terapia intensiva, emergência, cirurgia geral, clinica geral e ambulatório. Em relação à associação com EVPE, ter sido testemunha de agressão foi o evento mais fortemente associado com acidentes de trabalho (RP= 1,98, IC95%= 1,67; 2,34). Este estudo trouxe informações acerca da importância das características sócio-demográficas e de aspectos psicossociais na ocorrência dos acidentes de trabalho que podem ser úteis na elaboração de medidas para a prevenção desse importante problema de saúde pública.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Discutem-se os processos de trabalho e de produção do cuidado dos auxiliares e técnicos de enfermagem do Núcleo de Atenção à Crise do Instituto Municipal de Assistência à Saúde Nise da Silveira, no contexto da desinstitucionalização, e seus efeitos na integralidade do cuidado. O foco de análise repousa sobre o cuidado cotidiano prestado por esses profissionais nas unidades de internação psiquiátrica. Buscou-se realizar uma reflexão sobre os aspectos contemporâneos do cotidiano da assistência psiquiátrica e o papel dos hospitais psiquiátricos no atendimento aos pacientes agudos. Para tal objetivou-se, especificamente: contextualizar o IMNS no cenário de saúde mental no município do Rio de Janeiro; descrever as práticas assistenciais de auxiliares e técnicos de enfermagem no cuidado aos pacientes agudos internados; e discutir as práticas de cuidado no contexto da reorientação do modelo hospitalar e suas repercussões na integralidade da assistência em saúde, buscando contradições e aproximações com o discurso da política de saúde mental vigente. Foram abordadas na fundamentação teórica: as questões da prática da equipe de saúde sob o eixo da integralidade, em especial da equipe de enfermagem, e a relação trabalho/saúde/cotidiano na construção dos processos de trabalho e de produção do cuidado da assistência prestada. Como abordagem teórico-metodológica que possibilitou alcançar o objetivo proposto, realizou-se estudo exploratório, de natureza qualitativa, na perspectiva da cartografia, tendo na observação participante seu principal elemento de coleta de dados. O mapeamento das práticas rotineiras de cuidado evidenciou que estas são predominantemente pautadas no modelo asilar, no qual auxiliares e técnicos desempenham suas atividades diárias de modo distanciado dos pacientes e de suas necessidades. Esses profissionais não são vistos como elementos da equipe de saúde mental, e assim, desprestigiados em relação à política de formação e capacitação em saúde mental, assumem o cuidado aos pacientes institucionalizados de modo pouco estruturado, sem levar em consideração os anseios e sofrimentos dos usuários. Acolhimento, vínculo e integralidade fizeram parte do discurso oficial de reorganização da assistência, num contexto macroestrutural, mas ainda não se materializam nas práticas assistenciais da unidade de saúde pesquisada. A importância do estudo está pautada no fornecimento de subsídios para a formulação e implantação de ações que auxiliem na melhoria da gestão do trabalho em saúde mental. Sua justificativa se faz na medida em que essa área é permeada por conflitos e questões que interferem decisivamente na qualidade dos serviços prestados.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O câncer do colo do útero é responsável por 7% do total dos óbitos por câncer entre a população feminina brasileira e tem uma incidência estimada de 20/100 mil para todo o país. Evidências científicas comprovam que o papilomavírus humano (HPV) é causa necessária para a ocorrência deste tipo de câncer. Ações de prevenção e controle recomendadas têm se baseado no conhecimento sobre a epidemiologia da doença. Os estudos realizados no Brasil sobre a prevalência da infecção por HPV disponíveis na literatura têm características variadas que ainda não foram analisadas em conjunto e de modo sistematizado. O objetivo deste estudo foi realizar uma revisão sistemática dos artigos sobre prevalência do HPV em mulheres brasileiras considerando as prevalências globais e entre aquelas com exame citológico cervical normal. Foram selecionados todos os artigos após busca nas bases de dados Medline e BVS, tomando-se como termos human papillomavirus, HPV, prevalence Brazil. Entre 1989 e 2008, foram selecionados 155 artigos, sendo 133 nas bases de dados e 22 referências secundárias. Após leitura de título e resumo, 82 artigos foram incluídos, e a seguir submetidos à leitura integral dos textos, sendo enfim selecionados 14 artigos, os quais representaram estudos de quatro grandes regiões brasileiras (Sudeste 43,0%, Sul 21,4%, Nordeste 21,4% e Norte 7,1%). Em sua maioria (64,5%), trata-se de artigos que relatam desenho transversal. Com referência ao método de identificação do HPV nas mulheres, em oito (57,1%) artigos, há relato do emprego de PCR para tipagem do HPV e, em sete (50,0%) artigos, houve emprego de HC para detecção do HPV. As amostras variaram de 49 a 2329 mulheres. A prevalência global de infecção do colo do útero pelo HPV variou entre 13,7 e 54,3%, e para as mulheres com citologia normal, a prevalência de infecção pelo HPV no colo do útero varia entre 10 e 24,5%. Os resultados obtidos permitiram criar um panorama das prevalências e da distribuição da infecção pelo HPV e principais tipos em mulheres com citologia cervical normal e assim contribuir para a compreensão da distribuição da infecção pelo HPV no país, auxiliando na orientação de outros estudos bem como de políticas voltadas para a saúde da mulher e prevenção do câncer do colo do útero.