Made available in DSpace on 2016-04-26T20:29:42Z (GMT). No. of bitstreams: 1 Fabio Batista de Medeiros.pdf: 914549 bytes, checksum: 240bf18a4427cb9279ff7c48b8ddd5d8 (MD5) Previous issue date: 2009-11-03 / This paper is mainly destined to cover, with scientific accuracy, the issue of financing the special retirement plan and the social security benefits arising from work-related accidents, an issue that purely depends on the notion of risk causing the need for social security protection. The financing of the special retirement and the social security benefits arising from work-related accidents, commonly referred to as contribution for the work-related accident insurance or simply SAT , is a kind of financing of the social security, a division of the social security system. Accordingly, it features a significant importance, as it involves the inflow of revenues that allow maintaining the social security portions destined to protect the society from social contingencies caused by work, such as the risks of illnesses, disability arising from accidents and acceleration of human s natural aging process, all of which are the origin of negative influences to men s work capability. Based on that, this paper seeks to properly identify, as regards the issue, its legal nature, its constitutional grounds, its own characteristics and those possibly shared with the other segments of the Social Security Law, exploring the legal interpretation of the rules taken from Statutory Law, particularly Federal Constitution, article 22, II of Law no. 8,212/1991 and paragraphs 6 and 7 of Law no. 8,213/1991 / O presente trabalho tem como objetivo principal abordar, com precisão e rigor científico, o tema do custeio da aposentadoria especial e dos benefícios previdenciários decorrentes de acidentes de trabalho, tema que tem dependência pura à noção de risco gerador da necessidade de proteção previdenciária. O custeio da aposentadoria especial e dos benefícios previdenciários decorrentes de acidentes de trabalho, comumente chamado de contribuição para o seguro acidente de trabalho ou simplesmente SAT , é espécie de custeio da previdência social, ramo da seguridade social. Assim, este se apresenta com destacada importância, pois envolve o ingresso de receitas que proporcionam a manutenção das prestações previdenciárias destinadas a proteger a sociedade de contingências sociais causadas pelo trabalho, como os riscos de doenças, invalidez por acidentes e aceleração do envelhecimento natural do homem, todos causadores de reflexos negativos à capacidade do homem trabalhar. Desta forma, o presente trabalho busca identificar corretamente, em relação ao tema, sua natureza jurídica, seus fundamentos constitucionais, suas características próprias e aquelas eventualmente compartilhadas com os demais caracteres do Direito Previdenciário, tendo como campo de exploração para interpretação jurídica as normas extraídas do Direito Positivo, especialmente a Constituição Federal, o art. 22, II da Lei 8.212/1991 e os §§ 6º e 7º da Lei 8.213/1991

ASICs estruturados com leiautes regulares representam uma das soluções para a perda de rendimento de fabricação de circuitos integrados em tecnologias nanométricas causada pela distorção de fotolitografia. Um método de projeto de circuitos integrados ainda mais restritivo resulta em ASICs estruturados configuráveis apenas pelas camadas de vias, que são compostos pela repetição do mesmo modelo de bloco em todas as camadas do leiaute, exceto as camadas de vias. A escolha do modelo de bloco tem grande influência nas características do circuito final, criando a demanda por novas ferramentas de CAD que possam avaliar e comparar tais modelos em seus diversos aspectos. Esta tese descreve um ambiente de CAD baseado em SAT, capaz de avaliar o aspecto de capacidade lógica em padrões de blocos configuráveis por vias. O ambiente proposto é genérico, podendo tratar quaisquer padrões de bloco definido pelo usuário, e se comporta de maneira eficiente quando aplicado aos principais padrões já publicados na literatura. / Structured ASICs with regular layouts comprise a design-based solution for IC manufacturing yield loss in nanometer technologies caused by photolithography distortions. Via-configurable structured ASICs is even a more restrictive digital IC design method, based on the repetition of a block template comprising all layout layers except the vias one. The choice of such a design strategy impacts greatly the final circuit characteristics, arising the need for specific CAD tools to allow template evaluation and comparison in different aspects. This work presents a SAT-based CAD environment for evaluating the logical capacity aspect of via-configurable block templates. The proposed environment is able to support any user-defined template, and behaves efficiently when applied to block templates presented in related literature.

Victors do not always write history. To date our knowledge of how the Pathet Lao seized power in Laos in 1975 has been based on accounts from those who witnessed events but who were not privy to the thinking and planning behind them. After the violent fall of Cambodia and Vietnam, the slow, relatively peaceful and seemingly dilatory takeover of power they observed did not equate with the Lao People’s Revolutionary Party’s assertion that its seizure of power was due to the “creative application of Marxism-Leninism to Lao conditions”. This work attempts to determine the accuracy of the Lao Party’s claim by using LPRP documents and written and verbal accounts, which reveal the strategic thinking and tactics behind the Lao Revolution. The piecing together of information drawn from many and varied sources that were directly involved, at last sheds some light on how a small, weak movement overthrew a government almost without violence. It also reveals that the LPRP carefully and deliberately planned and executed the peaceful formation of the Lao People’s Democratic Republic in December 1975 in a revolution that was unprecedented in the history of Marxist-Leninist revolutions.

The linear elastodynamic two-dimensional anti-plane stress problem, where deformations occur in only one direction is considered for one sided non-planar faults. Fault dynamics are modeled using purely velocity dependent friction laws, and applied on boundaries with complex geometry. Summation-by-parts operators and energy estimates are used to couple a high-order finite difference method with an unstructured finite volume method. The unstructured finite volume method is used near the fault and the high-order finite difference method further away from the fault where no complex geometry is present. Boundary conditions are imposed weakly on characteristic form using the simultaneous approximation term technique, allowing explicit time integration to be used. Numerical computations are performed to verify the accuracy and time stability, of the method.

Στην εργασία αυτή ασχοληθήκαμε με το πρόβλημα της Πιθανοτικής Ικανοποιησιμότητας. Παρουσιάσαμε ανάλυση της πολυπλοκότητας του προβλήματος και το επιλύσαμε με την βοήθεια του λογισμικού πακέτου CPLEX. Περιγράψαμε προσεγγιστικούς αλγόριθμους για το πρόβλημα της Μέγιστης Ικανοποιησιμότητας που χρησιμοποιείται στην διαδικασία της Column Generation. Τέλος, πριγράψαμε το αντίστροφο πρόβλημα των συχνών στοιχειοσυνόλων και την σχέση του με το πρόβλημα της Μέγιστης Ικανοποιησιμότητας. / This thesis is about the problem of probabilistic satisfiability. We describe its computational complexity, we solve the problem using CPLEX, we discribe some approximations on Maximum Satisfiability. Finally, we describe the connection between the problem of Probabilistic Satisfiability and the inverse frequent itemset mining.

Une demande croissante d'outils pour construire et décrypter des réseaux génétiques contrôlant des processus cellulaires est ressentie en biologie. Nous soutenons que l'utilisation de l'approche déclarative est pertinente et applicable pour répondre aux questions des biologistes sur ces réseaux, en général partiellement connus. L'idée principale est de modéliser des connaissances portant à la fois sur la structure et la dynamique d'un réseau par un ensemble de contraintes représentant l'ensemble des solutions, de vérifier sa cohérence, de réparer une incohérence éventuelle par un relâchement automatique, et d'inférer des propriétés sur la structure et la dynamique du réseau. Pour montrer la faisabilité de l'approche, nous formalisons les réseaux discrets de R. Thomas et les propriétés biologiques pertinentes, proposons un outil reposant sur la programmation logique par contraintes en coopération avec un solveur SAT, et la validons sur des applications biologiques significatives.

ASICs estruturados com leiautes regulares representam uma das soluções para a perda de rendimento de fabricação de circuitos integrados em tecnologias nanométricas causada pela distorção de fotolitografia. Um método de projeto de circuitos integrados ainda mais restritivo resulta em ASICs estruturados configuráveis apenas pelas camadas de vias, que são compostos pela repetição do mesmo modelo de bloco em todas as camadas do leiaute, exceto as camadas de vias. A escolha do modelo de bloco tem grande influência nas características do circuito final, criando a demanda por novas ferramentas de CAD que possam avaliar e comparar tais modelos em seus diversos aspectos. Esta tese descreve um ambiente de CAD baseado em SAT, capaz de avaliar o aspecto de capacidade lógica em padrões de blocos configuráveis por vias. O ambiente proposto é genérico, podendo tratar quaisquer padrões de bloco definido pelo usuário, e se comporta de maneira eficiente quando aplicado aos principais padrões já publicados na literatura. / Structured ASICs with regular layouts comprise a design-based solution for IC manufacturing yield loss in nanometer technologies caused by photolithography distortions. Via-configurable structured ASICs is even a more restrictive digital IC design method, based on the repetition of a block template comprising all layout layers except the vias one. The choice of such a design strategy impacts greatly the final circuit characteristics, arising the need for specific CAD tools to allow template evaluation and comparison in different aspects. This work presents a SAT-based CAD environment for evaluating the logical capacity aspect of via-configurable block templates. The proposed environment is able to support any user-defined template, and behaves efficiently when applied to block templates presented in related literature.

Made available in DSpace on 2014-12-17T14:55:58Z (GMT). No. of bitstreams: 1 TiagoCA_DISSERT.pdf: 3801367 bytes, checksum: 9225a3c3c8dc4d02582f66bec6b853a7 (MD5) Previous issue date: 2012-05-07 / This work shows a theoretical analysis together with numerical and experimental results of transmission characteristics from the microstrip bandpass filters with different geometries. These filters are built over isotropic dielectric substrates. The numerical analysis is made by specifical commercial softwares, like Ansoft Designer and Agilent Advanced Design System (ADS). In addition to these tools, a Matlab Script was built to analyze the filters through the Finite-Difference Time-Domain (FDTD) method. The filters project focused the development of the first stage of filtering in the ITASAT s Transponder receptor, and its integration with the others systems. Some microstrip filters architectures have been studied, aiming the viability of implementation and suitable practical application for the purposes of the ITASAT Project due to its lowspace occupation in the lower UHF frequencies. The ITASAT project is a Universityexperimental project which will build a satellite to integrate the Brazilian Data Collect System s satellite constellation, with efforts of many Brazilian institutes, like for example AEB (Brazilian Spatial Agency), ITA (Technological Institute of Aeronautics), INPE/CRN (National Institute of Spatial Researches/Northeastern Regional Center) and UFRN (Federal University of Rio Grande do Norte). Comparisons were made between numerical and experimental results of all filters, where good agreements could be noticed, reaching the most of the objectives. Also, post-work improvements were suggested. / Esse trabalho apresenta uma an?lise te?rica e resultados num?ricos e experimentais das caracter?sticas de transmiss?o de filtros passa-faixa de microfita, que usam diferentes geometrias. Os filtros s?o constru?dos sobre substratos diel?tricos isotr?picos. A an?lise ? efetuada utilizando-se diferentes programas computacionais comerciais como o Ansoft Designer e o Advanced Design System (ADS). Al?m dessas ferramentas, foram desenvolvidas rotinas computacionais que analisam os filtros atrav?s do m?todo das diferen?as finitas no dom?nio do tempo (FDTD). O projeto dos filtros teve foco no desenvolvimento do primeiro est?gio de filtragem do sistema de recep??o do Transponder do Sat?lite ITASAT e sua integra??o com os demais sistemas. Foram estudadas algumas arquiteturas de filtro passa-faixa de microfita para viabilizar sua aplica??o no Transponder, por sua economia de espa?o na frequ?ncia de opera??o (faixa UHF inferior). O ITASAT ? um projeto que visa a constru??o de um sat?lite de car?ter experimental universit?rio para integrar a constela??o de sat?lites do Sistema Brasileiro de Coleta de Dados, reunindo esfor?os de diversas institui??es do Brasil, incluindo a AEB, o ITA, o INPE/CRN e a UFRN. Foram efetuadas compara??es entre os resultados num?ricos e experimentais para todos os filtros, onde observou-se uma boa concord?ncia, atingindo boa parte dos objetivos. Sugest?es de continuidade do trabalho s?o apresentadas.

Made available in DSpace on 2014-12-17T14:56:04Z (GMT). No. of bitstreams: 1 CarlosAOJ.pdf: 1085948 bytes, checksum: 14c962ba5a82f983a474383c27475bb0 (MD5) Previous issue date: 2005-12-19 / One of the most important decisions to turn a substation automatic and no attended it relates to the communication media between this substation and Operation Center. Generally energy companies uses radio or optic fiber, depending of distances and infrastructure of each situation. This rule applies to common substations. Mobile substations are a particular case, therefore they are conceived for use at provisional situations, emergencies, preventive or corrective maintenance. Thus the telecommunication solution used at common substations are not applied so easily to mobile substations, due absence of infrastructure (media) or difficulty to insert the mobile substation data in existing automation network not long. The ideal media must supply covering in a great geographic area to satisfy presented requirements. The implantation costs of this big infrastructure are expensive, however a existing operator may be used. Two services that fulfill that requirements are satellite and cellular telephony. This work presents a solution for automation of mobile substations through satellite. It was successfully implanted at a brazilian electric energy concessionaire named COSERN. The operation became transparent to operators. Other gotten benefits had been operational security, quality in the supply of electric energy and costs reduction. The project presented is a new solution, designed to substations and general applications where few data should be transmitted, but there is difficulties in relation to the media. Despite the satellite having been used, the same resulted can be gotten using celullar telephony, through Short Messages or packet networks as GPRS or EDGE. / Uma das decis?es t?cnicas mais importantes para se automatizar uma subesta??o e torn?-la desassistida refere-se ao meio de comunica??o entre esta subesta??o e o Centro de Opera??es. Normalmente as empresas do setor el?trico optam por usar r?dio ou fibra ?tica, dependendo das dist?ncias e infra-estrutura dispon?vel em cada situa??o. Essa regra se aplica a subesta??es comuns. Subesta??es m?veis s?o um caso particular, pois s?o concebidas para uso em situa??es sazonais, emerg?ncias, manuten??es preventivas ou corretivas. Dessa forma, as solu??es de telecomunica??es para subesta??es comuns n?o s?o facilmente aplic?veis ?s m?veis, seja devido ? inexist?ncia de infra-estrutura (meio de comunica??o), ou ? dificuldade de inserir, em um curto espa?o de tempo, as informa??es da subesta??o m?vel numa rede de automa??o existente. Considera-se, ent?o, que para atender aos requisitos de mobilidade apresentados, o meio de comunica??o ideal deve fornecer cobertura em uma grande ?rea geogr?fica. Os custos de implanta??o de uma infra-estrutura desse porte s?o muito elevados, por?m os servi?os de uma operadora existente podem ser usados. Dois servi?os que atendem bem a esses requisitos s?o o sat?lite e a telefonia celular. Neste trabalho, ? apresentada uma solu??o para automa??o de subesta??es m?veis atrav?s de enlace via sat?lite. O projeto foi implantado na concession?ria de energia COSERN, com sucesso. A opera??o tornou-se transparente aos operadores. Outros benef?cios obtidos foram seguran?a operacional, qualidade no fornecimento de energia el?trica e redu??o de custos. A solu??o apresentada ? um projeto piloto, voltado n?o s? para subesta??es, mas para aplica??es cujo volume de dados transmitidos seja pequeno, e h? dificuldades quanto ao meio de comunica??o. Apesar do sat?lite ter sido usado, pode-se obter o mesmo resultado usando-se a telefonia celular, atrav?s de Short Messages ou via rede de comuta??o de pacotes, como o GPRS ou o EDGE.

The tick Ixodes ricinus is one of the most important vectors of human pathogens like the spirochete Borrelia burgdorferi and TBE virus. The effect of repeated infestations with pathogen-free I. ricinus nymphs and the effect of vaccination with ticks saliva of the tick I. ricinus on the transmision Borrelia burgdorferi and on the production of the cytokines were studied. The draining lymph nodes of C3H/HeN mice were examined for IL-2, IFN-? and IL-10 production by antigen capture enzyme-linked immunosorbent assay. Spirochete load in skin, heart and bladder was examined by real-time polymerase chain reaction.