Functional timing analysis of VLSI circuits containing complex gates

The recent advances in CMOS technology have allowed for the fabrication of transistors with submicronic dimensions, making possible the integration of tens of millions devices in a single chip that can be used to build very complex electronic systems. Such increase in complexity of designs has originated a need for more efficient verification tools that could incorporate more appropriate physical and computational models. Timing verification targets at determining whether the timing constraints imposed to the design may be satisfied or not. It can be performed by using circuit simulation or by timing analysis. Although simulation tends to furnish the most accurate estimates, it presents the drawback of being stimuli dependent. Hence, in order to ensure that the critical situation is taken into account, one must exercise all possible input patterns. Obviously, this is not possible to accomplish due to the high complexity of current designs. To circumvent this problem, designers must rely on timing analysis. Timing analysis is an input-independent verification approach that models each combinational block of a circuit as a direct acyclic graph, which is used to estimate the critical delay. First timing analysis tools used only the circuit topology information to estimate circuit delay, thus being referred to as topological timing analyzers. However, such method may result in too pessimistic delay estimates, since the longest paths in the graph may not be able to propagate a transition, that is, may be false. Functional timing analysis, in turn, considers not only circuit topology, but also the temporal and functional relations between circuit elements. Functional timing analysis tools may differ by three aspects: the set of sensitization conditions necessary to declare a path as sensitizable (i.e., the so-called path sensitization criterion), the number of paths simultaneously handled and the method used to determine whether sensitization conditions are satisfiable or not. Currently, the two most efficient approaches test the sensitizability of entire sets of paths at a time: one is based on automatic test pattern generation (ATPG) techniques and the other translates the timing analysis problem into a satisfiability (SAT) problem. Although timing analysis has been exhaustively studied in the last fifteen years, some specific topics have not received the required attention yet. One such topic is the applicability of functional timing analysis to circuits containing complex gates. This is the basic concern of this thesis. In addition, and as a necessary step to settle the scenario, a detailed and systematic study on functional timing analysis is also presented.

Estimativa de capacitâncias e consumo de potência em circuitos combinacionais CMOS no nível lógico

Esta tese propõe o desenvolvimento de um método de estimativa de capacitâncias e de potência consumida nos circuitos combinacionais CMOS, no nível de portas lógicas. O objetivo do método é fazer uma previsão do consumo de potência do circuito na fase de projeto lógico, o que permitirá a aplicação de técnicas de redução de potência ou até alteração do projeto antes da geração do seu leiaute. A potência dinâmica consumida por circuitos CMOS depende dos seguintes parâmetros: tensão de alimentação, freqüência de operação, capacitâncias parasitas e atividades de comutação em cada nodo do circuito. A análise desenvolvida na Tese, propõe que a potência seja dividida em duas componentes. A primeira componente está relacionada ao consumo de potência devido às capacitâncias intrínsecas dos transistores, que por sua vez estão relacionadas às dimensões dos transistores. Estas capacitâncias intrínsecas são concentradas nos nodos externos das portas e manifestam-se em função das combinações dos vetores de entrada. A segunda componente está relacionada às interconexões entre as células do circuito. Para esta etapa utiliza-se a estimativa do comprimento médio das interconexões e as dimensões tecnológicas para estimar o consumo de potência. Este comprimento médio é estimado em função do número de transistores e fanout das várias redes do circuito. Na análise que trata das capacitâncias intrínsecas dos transistores os erros encontrados na estimativa da potência dissipada estão no máximo em torno de 11% quando comparados ao SPICE. Já na estimativa das interconexões a comparação feita entre capacitâncias de interconexões estimadas no nível lógico e capacitâncias de interconexões extraídas do leiaute apresentou erros menores que 10%.

A saúde fora de portas: o projeto de literacia da informação da ESTeSL

Introdução – A pesquisa de informação realizada pelos estudantes de ensino superior em recursos eletrónicos não corresponde necessariamente ao domínio de competências de pesquisa, análise, avaliação, seleção e bom uso da informação recuperada. O conceito de literacia da informação ganha pertinência e destaque, na medida em que abarca competências que permitem reconhecer quando é necessária a informação e de atuar de forma eficiente e efetiva na sua obtenção e utilização. Objetivo – A meta da Escola Superior de Tecnologia da Saúde de Lisboa (ESTeSL) foi a formação em competências de literacia da informação, fora da ESTeSL, de estudantes, professores e investigadores. Métodos – A formação foi integrada em projetos nacionais e internacionais, dependendo dos públicos-alvo, das temáticas, dos conteúdos, da carga horária e da solicitação da instituição parceira. A Fundação Calouste Gulbenkian foi o promotor financeiro privilegiado. Resultados – Decorreram várias intervenções em território nacional e internacional. Em 2010, em Angola, no Instituto Médio de Saúde do Bengo, formação de 10 bibliotecários sobre a construção e a gestão de uma biblioteca de saúde e introdução à literacia da informação (35h). Em 2014, decorrente do ERASMUS Intensive Programme, o OPTIMAX (Radiation Dose and Image Quality Optimisation in Medical Imaging) para 40 professores e estudantes de radiologia (oriundos de Portugal, Reino Unido, Noruega, Países Baixos e Suíça) sobre metodologia e pesquisa de informação na MEDLINE e na Web of Science e sobre o Mendeley, enquanto gestor de referências (4h). Os trabalhos finais deste curso foram publicados em formato de ebook (http://usir.salford.ac.uk/34439/1/Final%20complete%20version.pdf), cuja revisão editorial foi da responsabilidade dos bibliotecários. Ao longo de 2014, na Escola Superior de Educação, Escola Superior de Dança, Instituto Politécnico de Setúbal e Faculdade de Medicina de Lisboa e, ao longo de 2015, na Universidade Aberta, Escola Superior de Comunicação Social, Instituto Egas Moniz, Faculdade de Letras de Lisboa e Centro de Linguística da Universidade de Lisboa foram desenhados conteúdos sobre o uso do ZOTERO e do Mendeley para a gestão de referências bibliográficas e sobre uma nova forma de fazer investigação. Cada uma destas sessões (2,5h) envolveu cerca de 25 estudantes finalistas, mestrandos e professores. Em 2015, em Moçambique, no Instituto Superior de Ciências da Saúde, decorreu a formação de 5 bibliotecários e 46 estudantes e professores (70h). Os conteúdos ministrados foram: 1) gestão e organização de uma biblioteca de saúde (para bibliotecários); 2) literacia da informação: pesquisa de informação na MEDLINE, SciELO e RCAAP, gestores de referências e como evitar o plágio (para bibliotecários e estudantes finalistas de radiologia). A carga horária destinada aos estudantes incluiu a tutoria das monografias de licenciatura, em colaboração com mais duas professoras do projeto. Para 2016 está agendada formação noutras instituições de ensino superior nacionais. Perspetiva-se, ainda, formação similar em Timor-Leste, cujos conteúdos, datas e carga horária estão por agendar. Conclusões – Destas iniciativas beneficia a instituição (pela visibilidade), os bibliotecários (pelo evidenciar de competências) e os estudantes, professores e investigadores (pelo ganho de novas competências e pela autonomia adquirida). O projeto de literacia da informação da ESTeSL tem contribuído de forma efetiva para a construção e para a produção de conhecimento no meio académico, nacional e internacional, sendo a biblioteca o parceiro privilegiado nesta cultura de colaboração.

Automatização do processo de soldadura dos aros das portas das torres eólicas

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Dentro de portas : trabalhadoras do sexo em contexto de interior : utilização e acesso a serviços de saúde na área da infeção VIH-Sida

RESUMO - O presente estudo pretende contribuir a nível de saúde pública para o planeamento de estratégias orientadas para a prevenção, rastreio e tratamento do VIH/Sida em trabalhadores sexuais em contexto de interior. Esta é uma população de difícil acesso, particularmente vulnerável à infeção por VIH, e associada a fatores de risco que incluem a pobreza, discriminação e desigualdade de género, estigma e exclusão social, condicionando o seu acesso a serviços de saúde. Analisaram-se 272 questionários aplicados no âmbito do estudo PREVIH na área da Grande Lisboa no período entre Agosto de 2011 e Setembro de 2012 a pessoas que fazem trabalho sexual em contexto de interior. Foi realizada uma abordagem analítica permitindo a descrição do fenómeno e a análise da relação entre variáveis sociodemográficas e variáveis sobre o acesso a saúde para informação, prevenção e teste na área do VIH/Sida. Verificou-se que nesta amostra maioritariamente feminina existe elevada presença dos outros dois géneros e os indivíduos são maioritariamente migrantes. O trabalho sexual é uma forma exclusiva de trabalho, sendo exercido a tempo inteiro e em apartamentos. Foram detetados condicionamentos no acesso a serviços de saúde nas populações minoritárias e mais suscetíveis a discriminação, tanto na questão do género como da nacionalidade. Estes resultados apontam para a necessidade de planear intervenções nesta área que permitam uma abordagem participativa e de proximidade com as populações mais vulneráveis e também a necessidade de dar continuidade à investigação nesta área no sentido de reforçar políticas de saúde pública aplicadas a trabalhadores sexuais.

Às portas de Lisboa. O Palacete de J.M. Eugénio de Almeida em São Sebastião

O lugar do palácio de José Maria Eugénio de Almeida, com a sua fachada principal voltada para o Largo de São Sebastião da Pedreira, marca um dos limites da cidade até ao século XVIII, num cruzamento dinâmico de vias para os territórios arrabaldinos. Constituindo-se como espécime relevante da arquitectura oitocentista de filiação clássica, delineado por Jean Colson, a Casa de Eugénio de Almeida foi cenografada no grandioso Parque de Santa Gertrudes com rara qualidade paisagística e arquitectónica, neste caso ainda hoje evidente nas antigas cocheiras e cavalariças, delineadas por Giuseppe Cinatti.

Rua das Portas de Santo Antão e a singular modernidade lisboeta (1890–1925): arquitectura e práticas urbanas

Via antiga da cidade, fazendo-a comunicar com o seu termo, a Rua das Portas de Santo Antão tornou-se, nos finais do século XIX e primeiras décadas do século XX, um espaço aurático da vida cosmopolita de Lisboa onde se instalaram importantes equipamentos como o Coliseu dos Recreios, o Ateneu Comercial, a Sede da Sociedade de Geografia ou o Teatro Politeama. “Traseiras” da Avenida da Liberdade, sem a modernidade e amplidão do seu desenho urbano, a velha Rua das Portas de Santo Antão foi, na verdade, o palco não exposto da Lisboa moderna.

La comunidad andina en el contexto de la globalización: estado actual y perspectivas ad portas de cumplir 40 años del acuerdo de Cartagena

Si bien el proceso de globalización supone mejorías en las economías y condiciones más ventajosas para la integración, éste no ha significado un avance considerable en la calidad de vida de América Latina en términos políticos, sociales y económicos. En efecto, las principales adversidades que debe enfrentar la región están asociadas a la concentración de la riqueza, a un desarrollo social incompleto, a economías vulnerables e insuficientemente diversificadas y a una débil gobernabilidad. A la luz de estas problemáticas y ad portas de cumplir 40 años de la integración andina, resulta necesario analizar su estado actual, así como los desafíos a corto y mediano plazo que este grupo deberá enfrentar. En virtud de lo anterior, el comentario OPEC No. 5 presenta un balance sintético de lo recorrido hasta el momento en tres ejes temáticos: gobernabilidad, cohesión social y asuntos económicos. Finalmente, se plantearán algunas inquietudes sobre el futuro de la integración andina.

«Às portas da lei»(?): reflexos do diálogo divergente entre West e Posner sobre as possíveis leituras de Kafka na perspetivação do homem perante o direito

Considerando duas diferentes perspetivas acerca da relevância do Movimento Law and Literature na sua configuração Law in Literature, a de Robin WEST e a de Richard POSNER, especificamente confrontando as suas divergentes leituras de Franz KAFKA, o presente artigo propõe uma leitura crítica das consequências das correspondentemente conflituantes compreensões antropológicas para os problemas do sentido do direito e da posição do homem perante o direito.

Estratégias de inovação visando a competitividade empresarial- um estudo multicasos de gestão dos hotéis portas da Amazónia e faraó no município de Belém-Pará

Esta dissertação teve como objetivo principal analisar como a Estratégia da Inovação poderia ser empregada em benefício da competitividade das organizações hoteleiras, tendo em vista as experiências de inovação dos Hotéis Portas da Amazônia e Faraó. Os Hotéis Portas da Amazônia e Faraó destacam-se pela realização de experiências inovadoras, o primeiro apresenta uma proposta de Hotel Histórico, nasceu a partir da restauração de um casarão do início do século XIX e atende o segmento do Turismo Internacional e o segundo uma proposta de Hotel Temático, sendo entitulado o primeiro hotel temático do norte. O acirramento da concorrência no mercado hoteleiro de Belém-Pará, devido aos novos entrantes (grandes redes hoteleiras) e substitutos como flats, está provocando a redução das margens de lucro ademais está obrigando os gestores das empresas de micro e pequeno porte a repensarem suas estratégias de competição. Sendo que a inovação é uma estratégia que pode contribuir para criação e sustentação da vantagem competitiva. A metodologia adotada nesta investigação foi inicialmente o levantamento bibliográfico. Além disso, foram aplicadas entrevistas semi-estruturadas para os gestores dos hotéis. A entrevista baseou-se no Radar da Inovação para a classificação das Estratégias de Inovação. A investigação revelou que o empresário do Hotel Portas da Amazônia realizou uma inovação em modelo de negócios e inovação em descoberta de um novo mercado. Porém, no Hotel Faraó, identificou-se apenas um caso de inovação incremental em suas instalações como na decoração do prédio, pois para a proposta de um hotel temático, a gestão precisaria explorar a experiência do cliente. Nos dois casos, constatou-se que várias dimensões da inovação são negligenciadas como ofertas, experiências do consumidor e a inovação na organização.

Abcessos pulmonares em suínos abatidos industrialmente: bacteriologia, anatomopatologia e relação entre portas de entrada e lesões macroscópicas.

Os abscessos pulmonares em suínos causam severas perdas econômicas à indústria de alimentos, tanto no que se refere à redução do ganho de peso dos animais na granja, como à rejeição total ou parcial de carcaças inadequadas para o consumo humano. O presente trabalho objetivou determinar, através de uma metodologia de observação lesional detalhada, a ocorrência de abscessos pulmonares no abate, relacionando-a com diferentes portas de entrada para essas infecções. Visou ainda a comparar com os índices de ocorrência registrados no nosso meio, que são considerados baixos. As coletas foram realizadas em três matadouros-frigoríficos, junto ao Serviço de Inspeção Federal (SIF) do Ministério da Agricultura, Pecuária e Abastecimento (MAPA), no período de março a junho 2003. Os matadouros-frigoríficos estudados localizavam-se respectivamente: Frigorífico A no Oeste do Estado de Santa Catarina (SC); Frigoríficos B e C na Região do Alto Uruguai, Estado do Rio Grande do Sul (RS). As amostras pulmonares foram provenientes de um total de 17.738 carcaças de suínos de terminação em sua maioria, além de matrizes de descarte, machos não castrados e leitões refugos. Nessas carcaças, foram detectadas 105 lesões sugestivas de abscessos, que foram encaminhadas para exames bacteriológicos e histopatológicos. A inclusão de análise histopatológica e bacteriológica buscou definir com precisão o tipo de lesão e os agentes presentes no intuito de permitir a diferenciação entre abscessos de origem bacteriana ou não, como tumores, nódulos parasíticos, mineralizações ou por fungos. No presente trabalho, as carcaças inspecionadas apresentavam diferentes lesões indicativas de portas de entrada para infecções, detectadas na linha de inspeção, que justificaram o desvio dessas para o DIF (Departamento de Inspeção Final): lesões de cauda; lesões de casco; artrites dos membros anteriores e posteriores, abscessos subcutâneos e castração mal feita. Um achado inesperado foi a ocorrência de pneumonia por aspiração de corpo estranho, baseado na presença de células gigantes multinucleares e de corpo estranho visualizados ao exame histopatológico. Abscessos pulmonares estavam presentes em 105 pulmões entre 17.738 examinados (0,59%). Os abscessos pulmonares acompanhados de lesões sugestivas de pneumonia enzoótica, sugeriram que as complicações bacterianas desse tipo de pneumonia foram as principais fontes de infecção para os agentes causadores de abscessos. A P. multocida foi a bactéria mais freqüentemente isolada em dois Frigoríficos e o A. pyogenes no terceiro. A ocorrência de mais de uma porta de entrada aumentou proporcionalmente a possibilidade de invasão bacteriana e conseqüentemente a ocorrência de abscessos pulmonares. As portas de entrada para os agentes causadores de abscessos que apareceram em maior número, no total ou de forma isolada, foram as artrites, as lesões de casco e as lesões de cauda e os abscessos subcutâneos. A partir da identificação apropriada das portas de entrada para infecções, bem como das infecções bacterianas secundárias subseqüentes às aderências pleurais e às pneumonias complicadas, pode-se estabelecer medidas preventivas e terapêuticas, no intuito de diminuir a incidência de doenças pulmonares e as perdas econômicas no âmbito da indústria de alimentos.

Menino diante das portas

Ilustração componente do jogo “Escola Mágica (http://www.loa.sead.ufscar.br/escola-magica.html)” desenvolvido pela equipe do Laboratório de Objetos de Aprendizagem da Universidade Federal de São Carlos (LOA/UFSCar).

Menu das portas

Trilha sonora componente do jogo “Escola Mágica (http://www.loa.sead.ufscar.br/escola-magica.html)” desenvolvido pela equipe do Laboratório de Objetos de Aprendizagem da Universidade Federal de São Carlos (LOA/UFSCar).

Portas

Estes itens fazem parte de um conjunto de modelos projetados pela equipe do Laboratório de Objetos de Aprendizagem (LOA)/UFSCar para o jogo LabTecA