Uma das maiores restrições que existe atualmente no fluxo de projeto de CIs é a necessidade de um ciclo menor de desenvolvimento. Devido às grandes dimensões dos sistemas atuais, é muito provável encontrar no projeto de blocos IP, erros ou bugs originados na passagem de uma dada especificação inicial para seus correspondentes modelos de descrição de hardware. Isto faz com que seja necessário verificar tais modelos para garantir aplicações cem por cento funcionais. Uma das técnicas de verificação que tem adquirido bastante popularidade recentemente é a verificação funcional, uma vez que é uma alternativa que ajuda a manter baixos custos de validação dos modelos HDL ao longo do projeto completo do circuito. Na verificação funcional, que está baseada em ambientes de simulação, a funcionalidade completa (ou relevante) do modelo é explorada, aplicando-se casos de teste, um após o outro. Isto permite examinar o modelo em todas as seqüências e combinações de entradas desejadas. Na verificação funcional, existe a possibilidade de simular o modelo estimulando-o com casos de teste aleatórios, o qual ajuda a cobrir um amplo número de estados. Para facilitar a aplicação de estímulos em simulação de circuitos, é comum que espaços definidos por parâmetros de entrada sejam limitados em sua abrangência e agrupados de tal forma que subespaços sejam formados. No desenvolvimento de testbenches, os geradores de estímulos aleatórios podem ser criados de forma a conter subespaços que se sobrepõem (resultando em estímulos redundantes) ou subespaços que contenham condições que não sejam de interesse (resultando em estímulos inválidos). É possível eliminar ou diminuir, os casos de teste redundantes e inválidos através da aplicação de metodologias de modificação do espaço de estímulos de entrada, e assim, diminuir o tempo requerido para completar a simulação de modelos HDL. No presente trabalho, é realizada uma análise da aplicação da técnica de organização do espaço de entrada através de domínios de parâmetros do IP, e uma metodologia é desenvolvida para tal, incluindo-se, aí, uma ferramenta de codificação automática de geradores de estímulos aleatórios em linguagem SyatemC: o GET_PRG. Resultados com a aplicação da metodologia é comparada a casos de aplicação de estímulos aleatórios gerados a partir de um espaço de estímulos de entrada sem modificações.Como esperado, o número de casos de teste redundantes e inválidos aplicados aos testbenches foi sempre maior para o caso de estimulação aleatória a partir do espaço de estímulos de entrada completo com um tempo de execução mais longo. / One of the strongest restrictions that exist throughout ICs design flow is the need for shorter development cycles. This, along with the constant demand for more functionalities, has been the main cause for the appearance of the so-called System-on-Chip (SOC) architectures, consisting of systems that contain dozens of reusable hardware blocks (Intellectual Properties, or IPs). The increasing complexity makes it necessary to thoroughly verify such models in order to guarantee 100% functional applications. Among the current verification techniques, functional verification has received important attention, since it represents an alternative that keeps HDL validation costs low throughout the circuits design cycle. Functional verification is based in testbenches, and it works by exploring the whole (or relevant) models functionality, applying test cases in a sequential fashion. This allows the testing of the model in all desired input sequences and combinations. There are different techniques concerning testbench design, being the random stimulation an important approach, by which a huge number of test cases can be automatically created. In order to ease the stimuli application in circuit simulation, it is common to limit the range of the space defined by input parameters and to group such restricted parameters in sub-spaces. In testbench development, it may occur the creation of random stimuli generators containing overlapping sub-spaces (resulting in redundant stimuli) or sub-spaces containing conditions of no interest (resulting in invalid stimuli). It is possible to eliminate, or at least reduce redundant and invalid test cases by modifying the input stimuli space, thus, diminishing the time required to complete the HDL models simulation. In this work, the application of a technique aimed to organize the input stimuli space, by means of IP parameter domains, is analyzed. A verification methodology based on that is developed, including a tool for automatic coding of random stimuli generators using SystemC: GET_PRG. Results on applying such a methodology are compared to cases where test vectors from the complete verification space are generated. As expected, the number of redundant test cases applied to the testbenches was always greater for the case of random stimulation on the whole (unreduced, unorganized) input stimuli space, with a larger testbench execution time.

OBJETIVO: Avaliar a cobertura vacinal aos 12 e aos 24 meses de vida, em Curitiba e seus distritos sanitários (DS) e investigar a associação entre esquema vacinal incompleto e fatores individuais da criança e da mãe e contextuais, especialmente os relacionados aos serviços públicos de saúde. METODOLOGIA: Trata-se de estudo transversal com crianças residentes em Curitiba e nascidas em 2002. As fontes de dados foram: i) o Sistema de Informação de Nascidos Vivos (SINASC); ii) o prontuário eletrônico municipal; iii) inquérito domiciliar para casos com registro incompleto. Foi utilizado o software RECLINK II para a linkage dos bancos de dados. A investigação de fatores associados aos desfechos de interesse foi efetuada por meio da análise bivariada e análise de regressão logística multinível (software MLwiN 2.0). RESULTADOS: A amostra abrangeu 2637 crianças, a cobertura vacinal no município foi de 95,3 por cento aos 12 meses e 90,3 por cento aos 24 meses, observando-se pequena variação nas coberturas entre distritos; 0,2 por cento a 0,9 por cento das vacinas foram aplicadas em datas ou intervalos inferiores aos preconizados e 2,8 por cento a 32,2 por cento após o período recomendado; 98 por cento das crianças têm cadastro no prontuário eletrônico do município, 97,7 por cento recebeu ao menos uma dose de vacina na rede municipal de saúde e 73,3 por cento realizou consulta médica nestas unidades; as crianças com três ou mais consultas em unidade básicas/ESF apresentam melhor situação vacinal. Entre as crianças com acompanhamento nas unidades de saúde, estimou-se entre 4 por cento e 7,3 por cento as oportunidades perdidas de imunização. Na análise multivariada mostraramse independentemente associadas ao esquema vacinal incompleto aos 12 meses: ter mãe adolescente (OR=2,8); a ordem de nascimento (ser o 2º ou 3º filho com OR=7,3 e ser 4º filho em diante com OR=22,2) já considerando a interação com outras variáveis; número inadequado de consultas de pré-natal (OR=2,6); ter efetuado menos de 3 de consultas médicas em unidade básica/ESF no ano (OR=2,2). Para esquema vacinal incompleto aos 24 meses mostraram-se independentemente associadas: a ordem de nascimento (ser 2º ou 3º filho com OR=2,5 e ser o 4º filho em diante com OR=5,3); número inadequado de consultas de pré-natal (OR=1,8); número inferior a 3 de consultas médicas no ano em unidade básica/ESF (OR=1,5) e ter cadastro provisório ou não ter cadastro na US básica (OR=1,7) e inversamente associado a idade materna de 35 anos e mais (OR=0,6). Embora a análise bivariada aponte melhor situação vacinal entre crianças atendidas em US que adotada plenamente a Estratégia de Saúde da Família e em distritos sanitários de estrato socioeconômico mais pobre a análise multivariada não revelou associação. CONCLUSÕES: Os resultados apontam a importância de políticas públicas na promoção da equidade em saúde e permitem a identificação de fatores associados que devem ser considerados no aperfeiçoamento de programas de imunização. / OBJECTIVE: Evaluate the immunization coverage at 12 and 24 months of life, in Curitiba and their health districts, as well as to analyse the influence of child and maternal individual and contextual factors, particulary those related to public health services and their influence on vaccination status. METHODOLOGY: A cross sectional study was led with children that are resident in Curitiba, born in 2002. The data sources were: i) the liveborn information system (SINASC); ii) the municipal electronic medical record; iii) home interviewing for cases with incomplete records. It was used the software RECLINK II to make the databases linkage. It was performed bivariate analysis and multilevel logistic regression analysis (MLwiN 2.0 software) to investigate factors associated to interest outcomes. RESULTS: For a final sample of 2637 children the immunization coverage in Curitiba was 95.3 per cent at 12 months and 90.3 per cent at 24 months, with a low variation between the sanitary districts; The adequacy evaluation of the doses shows 0.2 per cent to 0.9 per cent of vaccine applied in dates or ranges lower than the recommended and 2.8 per cent to 32.2 per cent later than the recommended. Most children (98.8 per cent ) have municipal electronic medical record, 97.7 per cent have at least one dose of vaccine applied in the municipal health computerized network, 73.3 per cent had medical consultation in these health units, and children with three or more consultations in basic units / ESF have better vaccine status. Among children monitored by health units, has been estimated in 4 per cent and 7.3 per cent the missed opportunities for immunization. The multivariate analysis shows, independently associated to the incomplete vaccine status at 12 months: teenager mother (OR= 2.8); birth order (OR= 7.3 for 2nd and 3rd child and OR=22.2 after the 4th child) already considering interactions with other variables; inadequate number of prenatal consultation (OR=2.6); the number of medical consultations in basic units / ESF lower than 3 per year (OR=2.2). For the incomplete vaccine status at 24 months arises as independently associated: the birth order (OR=2.5 for the 2nd and 3rd child; OR=5.3 after the 4th child); inadequate number of prenatal consultation (OR=1,8); the number of medical consultations in basic health units / ESF lower than 3 per year (OR=1.5) and have temporary register or none register when compared with definitive register (OR=1.7) and inversely associated to mothers aged 35 years and more (OR=0,6). Although the bivariate analysis point better vaccination status among children linked to a health unit where the Family Health Strategy is completely adopted and in health districts of worst socioeconomic stratum, multivariate analysis revealed no association. CONCLUSIONS: The study results shows the relevance of public policies in promoting health equity and identify associated factors that must be considered in the improvement of immunization programs

Data-flow (DF) testing was introduced more than thirty years ago aiming at verifying a program by extensively exploring its structure. It requires tests that traverse paths in which the assignment of a value to a variable (a definition) and its subsequent reference (a use) is verified. This relationship is called definition-use association (dua). While control-flow (CF) testing tools have being able to tackle systems composed of large and long running programs, DF testing tools have failed to do so. This situation is in part due to the costs associated with tracking duas at run-time. Recently, an algorithm, called Bitwise Algorithm (BA), which uses bit vectors and bitwise operations for tracking intra-procedural duas at run-time, was proposed. This research presents the implementation of BA for programs compiled into Java bytecodes. Previous DF approaches were able to deal with small to medium size programs with high penalties in terms of execution and memory. Our experimental results show that by using BA we are able to tackle large systems with more than 250 KLOCs and 300K required duas. Furthermore, for several programs the execution penalty was comparable with that imposed by a popular CF testing tool. / Teste de fluxo de dados (TFD) foi introduzido há mais de trinta anos com o objetivo de criar uma avaliação mais abrangente da estrutura dos programas. TFD exige testes que percorrem caminhos nos quais a atribuição de valor a uma variável (definição) e a subsequente referência a esse valor (uso) são verificados. Essa relação é denominada associação definição-uso. Enquanto as ferramentas de teste de fluxo de controle são capazes de lidar com sistemas compostos de programas grandes e que executam durante bastante tempo, as ferramentas de TFD não têm obtido o mesmo sucesso. Esta situação é, em parte, devida aos custos associados ao rastreamento de associações definição-uso em tempo de execução. Recentemente, foi proposto um algoritmo --- chamado \\textit (BA) --- que usa vetores de bits e operações bit a bit para monitorar associações definição-uso em tempo de execução. Esta pesquisa apresenta a implementação de BA para programas compilados em Java. Abordagens anteriores são capazes de lidar com programas pequenos e de médio porte com altas penalidades em termos de execução e memória. Os resultados experimentais mostram que, usando BA, é possível utilizar TFD para verificar sistemas com mais de 250 mil linhas de código e 300 mil associações definição-uso. Além disso, para vários programas, a penalidade de execução imposta por BA é comparável àquela imposta por uma popular ferramenta de teste de fluxo de controle.

Nos últimos anos os consumidores, em especial do mercado externo, estão interessados e preocupados cada vez mais com a segurança alimentar, principalmente no que se refere à forma de produção. Esse panorama tem motivado a busca por alternativas de baixo impacto ambiental. Uma delas é o uso de coberturas vegetais ou adubação verde. Nesse contexto a presente pesquisa teve como objetivo avaliar a influência do uso contínuo de coberturas vegetais em pomar de citros sobre os padrões de infestação e banco de sementes das plantas daninhas, assim como as características químicas do solo. O experimento foi realizado em pomar de laranja \'Pêra\' (Citrus sinenesis (L.) Osbeck) na área experimental da Escola Superior de Agricultura \"Luiz de Queiroz\", Universidade de São Paulo (USP), Piracicaba, SP. O delineamento utilizado foi de blocos ao acaso em esquema fatorial 4 x 2 x 2. Os tratamentos consistiram da combinação de quatro coberturas vegetais, dois tipos de roçadeira e dois tipos de adubação. As coberturas vegetais utilizadas foram labe-labe (Dolichos lablab L.), guandu-anão (Cajanus cajan L. Millsp cv IAPAR 43), milheto (Pennisetum glaucum (L.) Leeke) e infestação natural do pomar de laranja. As roçadeiras utilizadas foram do tipo lateral e convencional e a adubação foi realizada na entrelinha e na projeção da copa da planta cítrica. Pelos dados obtidos pode-se observar que: as coberturas mortas produzidas pela infestação natural e pelo labe-labe contribuem significativamente na redução das populações de plantas daninhas afetando o banco de sementes; nas linhas das laranjeiras as plantas daninhas dicotiledôneas ocorreram com maior freqüência e com maior importância relativa em relação às monocotiledôneas; o deslocamento contínuo de cobertura morta da infestação natural promoveu alterações no pH, matéria orgânica (MO) e magnésio (Mg); o deslocamento contínuo de cobertura morta do labe-labe incrementou os teores de fósforo (P), cálcio (Ca), magnésio (Mg) e saturação por bases (V%). Sendo assim pode se concluir que o labe-labe pode constituir-se em alternativa promissora para uso como cobertura intercalar na cultura de citros. / In the last few years, the consumers, especially those of the external market, have become more and more interested in food security, namely on what it refers to the means of production. This fact has motivated the search for alternatives of low environmental impact, and one of these is the use cover crops or green manure. In this context the current research aimed the evaluation of the influence of continuous usage of plant cover in citrus orchards over the patterns of infestation and weed seed bank, as well as the soil\'s chemical characteristics. The experiment was carried out in a \"Pêra\" orange orchard (Citrus sinensis (L.) Osbeck) at the experimental area of Escola Superior de Agricultura \"Luiz de Queiroz\", University of São Paulo (USP), Piracicaba, SP. The experiment was conducted in random blocks in a 4 x 2 x 2 factorial scheme. The treatment consisted on the combination of four cover crop, two kinds of mowers and two kinds of manure. The cover crops used were lab-lab Dolichos lablab L., Cajanus cajan L. Millsp cv IAPAR 43, Pennisetum glaucum L. Leeke and natural infestation of the orange orchard. Lateral and conventional mowers were used, and the fertilization was made on inter row as well as on the projection of the trees\' crowns. The following facts were observed from the data that were gathered: the plant cover produced by natural infestation and D.lablab contributed significantly for the reduction of the weeds\' population, and thus having an effect on the seed bank; at the citrus tree\'s rows the dicotyledonous plants had higher relative frequence and relative importance than monocotiledonous plants; the continuous displacement of mulch natural infestation increased pH, organic matter (OM) and magnesium (Mg); the continuous displacement of mulch D.lablab increased phosphorus (P), calcium (Ca) and magnesium (Mg) levels and base saturation (V%). Thus, we can conclude that D.lablab can be a promising alternative as cover crop in citrus cultivation.

Com o objetivo de avaliar o efeito da cobertura do solo e da freqüência de fertirrigação no rendimento da pimenteira Tabasco, em dois tipos de solo: Latossolo Vermelho Amarelo (franco-arenosa) e Argissolo Vermelho (argilosa), foi desenvolvido um experimento no Departamento de Engenharia Rural da Escola Superior de Agricultura Luiz de Queiroz - ESALQ, pertencente à Universidade de São Paulo - USP, localizado em Piracicaba-SP, durante o período de maio de 2007 a abril de 2008. Utilizou-se o delineamento experimental de blocos completos casualizados em esquema fatorial 2 x 4 com quatro repetições. Os tratamentos foram constituídos da combinação de duas coberturas do solo (com plástico prateado e sem cobertura) combinado com quatro freqüências de irrigação (24, 12, 3 e 1 fertirrigação / 3 dias). O uso do plástico prateado proporcionou decréscimo a massa fresca total de frutos por planta, número total de frutos, massa média total do fruto e massa seca total de frutos, nos solos franco-arenoso e argiloso, e somente a eficiência do uso do fósforo no solo argiloso. Ainda, o mulching não mostrou efeito na percentagem de massa seca dos frutos, eficiência do uso da água, eficiência do uso do nitrogênio, eficiência do uso do potássio e eficiência do uso do NPK, no solo argiloso, além da eficiência do uso do nitrogênio, eficiência do uso do fósforo e eficiência do uso do NPK, no solo franco-arenoso. No entanto, o uso do mulching incrementou a percentagem de massa seca dos frutos, eficiência do uso da água e a eficiência do uso do potássio, no solo franco-arenoso. A maior freqüência de fertirrigação não proporcionou incremento a massa fresca total de frutos por planta, número total de frutos, massa média total do fruto, percentagem de massa seca dos frutos, massa seca total de frutos, eficiência do uso da água, eficiência do uso do nitrogênio, eficiência do uso do fósforo, eficiência do uso do potássio e eficiência do uso do NPK, nos solos franco-arenoso e argiloso. / Aiming to evaluate the effects of soil coverage and fertirigation frequency on pepper yield cv. Tabasco planted in two soils: Yellow Red Latossol (Sandy loam soil) and Red Argissol (Clay soil), an experiment was carried out at Universidade de São Paulo - USP, Escola Superior de Agricultura Luiz de Queiroz - ESALQ, located in Sao Paulo estate, Brazil, from May 2007 to April 2008. The experimental design was based on a randomized complete blocks in a 2 x 4 factorial scheme with four replications. The treatments consisted of the combination of two soil coverage (silvered polyethylene film and no film coverage) with four fertirrigation frequencies (24, 12, 3 e 1 / three days). The silvered polyethylene film decreased the total fresh mass of fruits per plant, total number of fruits, fruit mean mass and total dry mass of fruits for the sandy loam and clay soil. The plastic mulching didnt show effect on the dry mass percentage of fruits, water use efficiency, nitrogen use efficiency, potassium use efficiency and NPK use efficiency for the clay soil, and nitrogen use efficiency, phosphor use efficiency and NPK use efficiency for the sandy loam.However the plastic mulching increased the dry mass percentage of fruits, water use efficiency and potassium use efficiency for the sandy loam soil. Average fertirrigation frequencies didnt increase the total fresh mass of fruits per plant, total number of fruits, fruit mean mass, dry mass percentage of fruits, total dry mass of fruits, water use efficiency, nitrogen use efficiency, phosphor use efficiency, potassium use efficiency and NPK use efficiency for the sandy loam and clay soil.

Introdução - A Lei 9.656/1998 fundamenta o marco legal do setor privado da saúde no Brasil. Igualmente importante, a Lei 9.961/2000 criou a Agência Nacional de Saúde Suplementar (ANS) para fiscalizar e regulamentar a relação entre operadoras e beneficiários de planos. A partir de então houve um crescimento expressivo no número das ações judiciais, fenômeno denominado judicialização da saúde. Objetivo - Conhecer e analisar o montante e os motivos das ações judiciais relacionadas às coberturas assistenciais e avaliar o impacto econômico-financeiro em uma entidade de autogestão. Método Análise de banco de dados das ações judiciais do período 1998 a 2009. A base de dados constitui-se de 7.271 ações cíveis ativas e baixadas. Desse total foram selecionadas 3.569 relacionadas a coberturas assistenciais, cujos dados foram organizados em planilha eletrônica. Analisou-se ainda a população total e o impacto econômico-financeiro a partir de informações de balanço anual. Resultados Várias constatações importantes foram reveladas, como a evolução crescente do número de ações; o fato de a Bahia possuir 9,5 por cento da população assistida e responder por 33,4 por cento das ações totais; as gastroplastias aparecerem como o objeto mais importante 427 ações (12 por cento do total); o impacto econômico-financeiro atingindo em média 1 por cento da receita total, mas 32 por cento do resultado (superávit) do exercício de 2009, entre outros achados. Conclusão o marco legal foi determinante para os beneficiários recorrerem ao Judiciário por coberturas assistenciais. O fenômeno da judicialização da saúde impacta de maneira significativa a Autogestão estudada. Boa parte das decisões judiciais parece não observar critérios técnicos relacionados à homologação de novas tecnologias e aos protocolos médicos, o que vem ensejando uma atuação mais ativa do Conselho Nacional de Justiça no encaminhamento de questões relacionadas à saúde / Introduction - Law 9.656/1998 moved the legal framework of private health sector in Brazil. Equally important, 9.961/2000 Act created the National Agency for Supplementary Health (ANS) to oversee and regulate the relationship between providers and beneficiaries of plans. Since then there has been significant growth in the number of lawsuits, a phenomenon called the legalization of health. Objective - To investigate and analyze the amount and the reasons for lawsuits related to care coverage and to evaluate the economic and financial impact on a self-insured entity. Methods - Analysis of database of lawsuits in the period 1998-2009. The database consists of 7271 civil actions, active or downloaded. Of this total were selected 3569 related to care coverage, and data were organized into a spreadsheet. It was also analyzed the total population and the economic and financial impact from the annual balance sheet information. Results - Several important findings were revealed as a growing trend in the number of shares, the fact that Bahia has 9.5 per cent of the assisted population and account for 33.4 per cent of the total shares, the gastroplasty appears to be the most important object - 427 shares (12 per cent of total), the economic and financial impact means on average 1 per cent of total revenue, but 32 per cent of the result (surplus) for the year 2009, among other findings. Conclusion - the legal framework was crucial for the beneficiaries to avail themselves of judicial assistance coverage. The phenomenon of legalization of health impacts significantly the self study. Much of judicial decisions seem not to notice technical criteria related to approval of new medical technologies and protocols, which have demanded a more active role of the National Council of Justice in addressing health-related issues

Introdução: Nas últimas quatro décadas o Programa Nacional de Imunização (PNI) apresentou grande evolução, alcançando ótimas estimativas de cobertura vacinal calculadas por meio de dados administrativos. Este método, entretanto, não permite o cálculo da proporção de crianças com esquema completo e a avaliação da oportunidade (vacinação na idade preconizada). Sistemas informatizados de imunização (SII) permitem uma avaliação mais acurada da cobertura vacinal. Objetivos: Descrever e avaliar a cobertura vacinal, tanto de vacinas específicas quanto do esquema completo, assim como a oportunidade de vacinação, em crianças aos 12 e 24 meses de idade no Município de Araraquara nascidas entre 1998 e 2013. Métodos: Este estudo de série temporal usou dados de um SII, Sistema Juarez, do Município de Araraquara. Para cada coorte de nascimento, considerou-se o calendário vacinal do PNI vigente. Verificou-se a validade das doses e analisaram-se as coberturas vacinais oportunas e atualizadas para vacinas específicas e esquema completo. As tendências das coberturas vacinais foram analisadas por meio do método Prais-Winsten e a oportunidade do esquema completo foi apresentada por uma adaptação do método Kaplan-Meier. Resultados: Todas as coberturas de vacinas específicas apresentaram tendência crescente aos 12 meses de idade. Aos 24 meses, as coberturas atualizadas apresentaram tendência crescente e as oportunas, estacionárias. As coberturas oportunas e atualizadas do esquema completo no período foram de 62por cento e 84por cento aos 12 meses, respectivamente, e de 41por cento e 78por cento aos 24 meses, e apresentaram tendência estacionária, principalmente por conta da limitação de idade na aplicação da vacina Rotavírus. O método Kaplan-Meier permitiu visualizar que as vacinas aplicadas a partir dos seis meses de idade representam o momento de quedas mais acentuadas nas coberturas e que a introdução de novas vacinas não apresentou efeito negativo constante nas mesmas. As quedas nas coberturas foram mais relacionadas à idade de aplicação da dose do que ao número de doses de uma vacina. A porcentagem de crianças que receberam doses inválidas e com doses em atraso foi menor do que a encontrada na literatura. Conclusões: Este estudo mostrou as potencialidades de um SII numa cidade de médio porte, que permite análises mais complexas e acuradas das coberturas vacinais. / Introduction: The national immunization program (NIP) has improved in the last four decades, reaching high estimates of vaccination coverage calculated by administrative data. However, this method does not allow to assess timeliness, i.e. in the recommended age, and the proportion of children with complete vaccination schedules. Immunization information systems (IIS) enable a more accurate assessment of vaccination coverage. Objectives: To describe and assess vaccination coverage, both the specifics vaccines and the complete vaccination schedule, as well as timeliness of coverage, in children 12 and 24 months old in Araraquara city born between 1998 and 2013. Methods: This time series study used data from an IIS, Juarez System, in Araraquara city. For each birth cohort, it was considered respective NIP vaccination schedules. It was assessed the validity of doses and timely and up-to-date vaccination coverage for specific vaccines and complete schedule. Trends in vaccination coverage were analyzed using the Prais-Winsten method. Timeliness of complete schedule was presented by Kaplan- Meier method. Results: All specific vaccine coverages showed increasing trend at 12 months old. At 24 months, only up-to-date coverages increased. The average coverages of timely and up-to-date complete schedule over the studied period were 62per cent and 84per cent at 12 months old, respectively, and 41per cent and 78per cent at 24 months, and no trend was found, mainly due to strict age limits for receipt of rotavirus vaccine. The Kaplan-Meier method showed that vaccines administered from six months of age caused significant decrease in coverage and the introduction of new vaccines did not present a constant negative effect on the coverage. Recommended age appeared to affect vaccine delay more than number of doses. The proportion of children undervaccinated and who received invalid was lower than in other studies. Conclusions: This study showed the potential of an IIS in the assessment of vaccine coverage in a medium-sized city, presenting more accurate forms of analysis.

Estudamos sistemas de passeios aleatórios sobre os vértices de um grafo completo. Inicialmente há uma partícula em cada vértice do grafo das quais somente uma está ativa, as outras estão inativas. A partícula ativa realiza um passeio aleatório simples a tempo discreto com tempo de vida que depende do passado do processo, movendo-se ao longo de elos. Quando uma partícula ativa encontra uma inativa, esta se ativa; quando salta sobre um vértice já visitado, morre. O objetivo desta dissertação é estudar a cobertura do grafo completo, ou seja, a proporção de vértices visitados ao fim do processo, quando o número $n$ de vértices tende ao infinito. Analisamos as equações de campo médio para o processo descrito acima, comparando os seus resultados com os do modelo aleatório. Aqui, os resultados do campo médio parecem reproduzir os do modelo aleatório. Depois, apresentamos um estudo similar entre o modelo estocástico e as equações de campo médio para o caso em que cada partícula possui 2 vidas. Finalmente, observamos a cobertura do grafo completo para as equações de campo médio quando o número de vidas por partículas é maior que dois. / We study random walks systems on complete graphs. Initially there is a particle at each vertex of the graph; only one is active and the other are inactive. An active particle performs a discrete-time simple random walk with lifetime depending on the past of the process moving along edges. When an active particle hits an inactive one, the latter is activated. When it jumps on a vertex which has been visited before it dies. The goal of this work is to study the coverage of the complete graph, that is, the proportion of visited vertices at the end of the process, when the number of vertices goes to infinity. We analyze the mean field equations to the process cited above, comparing their results with the ones of the random model. Here the results of the mean field approach seem to reproduce the ones of the random model. After we present a similar study between the stochastic model and mean field approximation to the case that each particle has 2 lifes. Finally we observe the coverage of the complete graph to the mean-field equations when the number of lifes by particle is bigger than two.

OBJETIVO: Avaliar a cobertura vacinal aos 12 e aos 24 meses de vida, em Curitiba e seus distritos sanitários (DS) e investigar a associação entre esquema vacinal incompleto e fatores individuais da criança e da mãe e contextuais, especialmente os relacionados aos serviços públicos de saúde. METODOLOGIA: Trata-se de estudo transversal com crianças residentes em Curitiba e nascidas em 2002. As fontes de dados foram: i) o Sistema de Informação de Nascidos Vivos (SINASC); ii) o prontuário eletrônico municipal; iii) inquérito domiciliar para casos com registro incompleto. Foi utilizado o software RECLINK II para a linkage dos bancos de dados. A investigação de fatores associados aos desfechos de interesse foi efetuada por meio da análise bivariada e análise de regressão logística multinível (software MLwiN 2.0). RESULTADOS: A amostra abrangeu 2637 crianças, a cobertura vacinal no município foi de 95,3 por cento aos 12 meses e 90,3 por cento aos 24 meses, observando-se pequena variação nas coberturas entre distritos; 0,2 por cento a 0,9 por cento das vacinas foram aplicadas em datas ou intervalos inferiores aos preconizados e 2,8 por cento a 32,2 por cento após o período recomendado; 98 por cento das crianças têm cadastro no prontuário eletrônico do município, 97,7 por cento recebeu ao menos uma dose de vacina na rede municipal de saúde e 73,3 por cento realizou consulta médica nestas unidades; as crianças com três ou mais consultas em unidade básicas/ESF apresentam melhor situação vacinal. Entre as crianças com acompanhamento nas unidades de saúde, estimou-se entre 4 por cento e 7,3 por cento as oportunidades perdidas de imunização. Na análise multivariada mostraramse independentemente associadas ao esquema vacinal incompleto aos 12 meses: ter mãe adolescente (OR=2,8); a ordem de nascimento (ser o 2º ou 3º filho com OR=7,3 e ser 4º filho em diante com OR=22,2) já considerando a interação com outras variáveis; número inadequado de consultas de pré-natal (OR=2,6); ter efetuado menos de 3 de consultas médicas em unidade básica/ESF no ano (OR=2,2). Para esquema vacinal incompleto aos 24 meses mostraram-se independentemente associadas: a ordem de nascimento (ser 2º ou 3º filho com OR=2,5 e ser o 4º filho em diante com OR=5,3); número inadequado de consultas de pré-natal (OR=1,8); número inferior a 3 de consultas médicas no ano em unidade básica/ESF (OR=1,5) e ter cadastro provisório ou não ter cadastro na US básica (OR=1,7) e inversamente associado a idade materna de 35 anos e mais (OR=0,6). Embora a análise bivariada aponte melhor situação vacinal entre crianças atendidas em US que adotada plenamente a Estratégia de Saúde da Família e em distritos sanitários de estrato socioeconômico mais pobre a análise multivariada não revelou associação. CONCLUSÕES: Os resultados apontam a importância de políticas públicas na promoção da equidade em saúde e permitem a identificação de fatores associados que devem ser considerados no aperfeiçoamento de programas de imunização. / OBJECTIVE: Evaluate the immunization coverage at 12 and 24 months of life, in Curitiba and their health districts, as well as to analyse the influence of child and maternal individual and contextual factors, particulary those related to public health services and their influence on vaccination status. METHODOLOGY: A cross sectional study was led with children that are resident in Curitiba, born in 2002. The data sources were: i) the liveborn information system (SINASC); ii) the municipal electronic medical record; iii) home interviewing for cases with incomplete records. It was used the software RECLINK II to make the databases linkage. It was performed bivariate analysis and multilevel logistic regression analysis (MLwiN 2.0 software) to investigate factors associated to interest outcomes. RESULTS: For a final sample of 2637 children the immunization coverage in Curitiba was 95.3 per cent at 12 months and 90.3 per cent at 24 months, with a low variation between the sanitary districts; The adequacy evaluation of the doses shows 0.2 per cent to 0.9 per cent of vaccine applied in dates or ranges lower than the recommended and 2.8 per cent to 32.2 per cent later than the recommended. Most children (98.8 per cent ) have municipal electronic medical record, 97.7 per cent have at least one dose of vaccine applied in the municipal health computerized network, 73.3 per cent had medical consultation in these health units, and children with three or more consultations in basic units / ESF have better vaccine status. Among children monitored by health units, has been estimated in 4 per cent and 7.3 per cent the missed opportunities for immunization. The multivariate analysis shows, independently associated to the incomplete vaccine status at 12 months: teenager mother (OR= 2.8); birth order (OR= 7.3 for 2nd and 3rd child and OR=22.2 after the 4th child) already considering interactions with other variables; inadequate number of prenatal consultation (OR=2.6); the number of medical consultations in basic units / ESF lower than 3 per year (OR=2.2). For the incomplete vaccine status at 24 months arises as independently associated: the birth order (OR=2.5 for the 2nd and 3rd child; OR=5.3 after the 4th child); inadequate number of prenatal consultation (OR=1,8); the number of medical consultations in basic health units / ESF lower than 3 per year (OR=1.5) and have temporary register or none register when compared with definitive register (OR=1.7) and inversely associated to mothers aged 35 years and more (OR=0,6). Although the bivariate analysis point better vaccination status among children linked to a health unit where the Family Health Strategy is completely adopted and in health districts of worst socioeconomic stratum, multivariate analysis revealed no association. CONCLUSIONS: The study results shows the relevance of public policies in promoting health equity and identify associated factors that must be considered in the improvement of immunization programs

Este trabalho é focado num problema clássico das Ciências e Engenharia, que consiste em cobrir um objeto por esferas de mesmo raio, a ser minimizado. A abordagem prática usual conta com sérias desvantagens. Logo, faz-se necessário trabalhar com isto de forma diferenciada. A técnica proposta aqui envolve a utilização de resultados célebres da geometria algébrica real, que tem como peça central o positivstellensatz de Stengle e, fazendo a devida relação entre esses resultados e otimização com restrições envolvendo representações naturais por somas de quadrados, é possível reduzir o problema original a um de programação semidefinida não linear. Mas, por contar com particularidades que favorecem a aplicação do paradigma de restauração inexata, esta foi a técnica utilizada para resolvê-lo. A versatilidade da técnica e a possibilidade de generalização direta dos objetos envolvidos destacam-se como grandes vantagens desta abordagem, além da visão algébrica inovadora do problema. / This work is focused on a classic problem from Engineering. Basically, it consists of finding the optimal positioning and radius of a set of equal spheres in order to cover a given object. The common approach to this carries some substantial disadvantages, what makes it necessary to nd a dierent way. Here, we explore some renowned results from real algebraic geometry, which has Stengle\'s positivstellensatz as one of its central pieces, and SOS optimization. Once the proper link is made, the original problem can be reduced to a nonlinear semidenite programming one, which has peculiarities that favours the application of an inexact restoration paradigm. We point out the algebraic view and the no use of discretizations as great advantages of this approach, besides the notable versatility and easy generalization in terms of dimension and involved objects.