193 research outputs found
Initial detailed routing algorithms
In this work, we present a study of the problem of routing in the context of the VLSI physical synthesis flow. We study the fundamental routing algorithms such as maze routing, A*, and Steiner tree-based algorithms, as well as some global routing algorithms, namely FastRoute 4.0 and BoxRouter 2.0. We dissect some of the major state of the art initial detailed routing tools, such as RegularRoute, TritonRoute, SmartDR and Dr.CU 2.0. We also propose an initial detailed routing flow, and present an implementation of the proposed routing flow, with a track assignment technique that models the problem as an instance of the maximum independent weighted set (MWIS) and utilizes integer linear programming (ILP) as a solver. The implementation of the proposed initial detailed routing flow also includes an implementation of multiple-source and multiple-target A* for terminal andnet connection with adjustable rules and weights. Finally, we also present a study of the results obtained by the implementation of the proposed initial detailed routing flow and a comparison with the ISPD 2019 contest winners, considering the ISPD 2019 and benchmark suite and evaluation tools.Neste trabalho, apresentamos um estudo do problema de roteamento no contexto do fluxo de síntese física de circuitos integrados VLSI. Nós estudamos algoritmos de roteamento fundamentais como roteamento de labirinto, A* e baseados em árvores de Steiner, além de alguns algoritmos de roteamento global como FastRoute 4.0 e BoxRouter 2.0. Nós dissecamos alguns dos principais trabalhos de roteamento detalhado inicial do estado da arte, como RegularRoute, TritonRoute, SmartDR e Dr.CU 2.0. Também propomos um fluxo de roteamento detalhado inicial, e apresentamos uma implementação do fluxo de roteametno proposto, com uma técnica de assinalamento de trilhas que modela o problema como uma instância do problema do conjunto independente de peso máximo e usa programação linear inteira como um resolvedor. A implementação do fluxo de rotemaento detalhado inicial proposto também inclui uma implementação de um A* com múltiplas fontes e múltiplos destinos para conexão de terminais e redes, com regras e pesos ajustáveis. Por fim, nós apresentamos um estudo dos resultados obtidos pela implementação do fluxo de roteamento detalhado inicial proposto e comparamos com os vencedores do ISPD 2019 contest considerando a suíte de teste e ferramentas de avaliação do ISPD 2019
Pattern classification for layout hotspots
The final objective of an integrated circuit design is to produce a layout, that is, a geometrical representation of the circuit where the geometrical shapes correspond to patters that will be formed by layers of metal, oxide, and semiconductors. These patterns are essentially descriptions that will be used to print the circuit through chemical, thermal and photographic processes. To ensure the layout can be used to print the circuit with no defects, it is necessary to run design rules check. This verification searches for patterns that violate design rules, which makes it impossible to guarantee defect-free printing. However, some layout patterns may present printability problems even when design rules are respected. To solve this problem, physical verification flows are applied to the layout with the objective of detecting and treating such patterns. The sheer number of these layout printability hotspots and the fact that they are sometimes similar to each other suggests that the physical verification flow can be sped up by clustering together similar patterns. In this work, we address the problem of complex shape partitioning, incorporating an algorithm with complexity O(n5=2) into the layout hotspot clustering flow, which allows for clustering of hotspots in benchmarks with complex polygons. Furthermore, a study of the viability of a machine learning flow for incremental clustering is conducted, covering the choice of features and analysis of candidate models.O objetivo final do fluxo de projeto de um circuito é produzir um leiaute, uma representação geométrica do circuito, onde as formas geométricas correspondem aos padrões que serão formados por camadas de metal, óxido e semicondutores. Esses padrões são essencialmente descrições que serão usadas para imprimir o circuito através de processos químicos, térmicos e fotográficos. Para garantir que o leiaute possa ser usado para impressão de um circuito integrado sem defeitos, é necessário executar verificações de regras de projeto. Essa verificação encontra padrões que violam regras que inviabilizariam a garantia de impressão sem defeitos. Porém, alguns padrões do leiaute podem apresentar problemas na impressão mesmo quando a checagem das regras de projeto não encontra erros. Para solucionar esse problema, fluxos de verificação física são aplicados no leiaute com o objetivo de detectar e tratar tais padrões. A grande quantidade de regiões com problemas de impressão e a similaridade entre elas sugere que o fluxo de verificação física pode ser acelerado ao se agrupar padrões similares. Neste trabalho, o problema de particionamento de polígonos complexos é abordado, e um algoritmo de particionamento de complexidade O(n5=2) é incorporado ao fluxo de classificação e agrupamento de regiões de interesse, permitindo que casos de teste com polígonos complexos tenham suas regiões de interesse agrupadas. Além disso, um estudo sobre a viabilidade de um fluxo de aprendizado de máquina é conduzido, cobrindo a escolha de atributos e a análise de diferentes modelos candidatos
Individual and coordinated decision for the CAMBADA team
Mestrado em Engenharia de Computadores e TelemáticaA coordenação em sistemas multi-robô é um aspecto crucial no futebol robótico. A maneira como cada equipa coordena cada um dos seus robôs em acções cooperativas define a base da sua estratégia.
Este trabalho tem como foco o desenvolvimento da coordenação e estratégia da equipa CAMBADA. CAMBADA é a equipa de futebol robótico da modalidade RoboCup Middle Size League da Universidade de Aveiro.
Foi desenvolvida pelo grupo ATRI, pertencente µa unidade de investigação IEETA. O presente trabalho baseia-se em trabalho desenvolvido anteriormente, tentando melhorar o desempenho da equipa. Cada robô da equipa CAMBADA é um agente independente e autónomo capaz de coordenar as suas acções com os colegas de equipa através da comunicação e da partilha
de informação. O comportamento de cada robô deverá ser integrado na estratégia global da equipa, resultando assim em acções cooperativas de todos os robôs. Isto é conseguido através do uso de papeis(roles) e comportamentos(behaviours) que definem a atitude de cada robô e as acções que daí resultam.
Novos papeis foram desenvolvidos para complementar a estratégia de equipa, e alguns dos papeis existentes foram melhorados. Também foram
efectuadas melhorias em alguns dos comportamentos existentes. É efectu-
ada a descrição de cada um destes papeis e comportamentos, assim como as alterações efectuadas. O trabalho desenvolvido foi testado nas competições do Robótica 2008 (o desenvolvimento não estava ainda concluído)
e por fim nas competições do RoboCup'2008. A participação da equipa no RoboCup'2008 é analisada e discutida. A equipa consagrou-se campeã mundial, vencendo a competição da Middle Size League do RoboCup'2008
em Suzhou, China.
ABSTRACT: Multi-robot coordination is one crucial aspect in robotic soccer. The way each team coordinates its individual robots into cooperative global actions
define the foundation of its strategy.
CAMBADA is the RoboCup Middle Size League robotic soccer team of the University of Aveiro. It was created by the ATRI group, part of the
IEETA research unit. This work is focused on coordination and strategy development for the CAMBADA team. It is built upon previous work and
tries to improve the team performance further. In CAMBADA each robot is an independent agent, it coordinates its actions with its teammates through
communication and information exchange. The resulting behaviour of the individual robot should be integrated into the global team strategy, thus
resulting in cooperative actions by all the robots. This is done by the use of roles and behaviours that define each robot attitude in the field and
resulting individual actions.
In this work, new roles were created to add to the team strategy and some of the previous existing roles were improved. Some of the existing behaviours were also improved to better fit the desired goals. Each role and behaviour is described as well as the changes made. The resulting work was put to test in the portuguese Robotica 2008 competition (while still in progress) and finally in the RoboCup'2008 world competitions. The performance of the team in the latter is analysed and discussed. The team achieved the 1st
place in the RoboCup'2008 MSL world competitions
Tópicos de atualização em anestesia de roedores e lagomorfos
Orientador: Prof. Dr. Rogério Ribas LangeCoorientador: Prof. Dr. Juan Carlos Moreno DuqueDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Agrárias, Programa de Pós-Graduação em Ciências Veterinárias. Defesa : Curitiba, 02/03/2020Inclui referênciasResumo: Pequenos mamíferos estão mais frequentes como animais de estimação pelo mundo. Coelhos, chinchillas, porquinhos-da-índia, ferrets, hamsters, degus, petauros e outras espécies apresentam diferentes demandas para cuidado, portanto há sempre uma opção para cada residência. Nesse cenário, os proprietários demandam qualidade do atendimento veterinário. Cirurgias e emergências serão mais frequentes na rotina clínica e as técnicas devem ser desenvolvidas, otimizando o sucesso e bemestar dos pacientes. A anestesia de pequenos mamíferos pode ser desafiante, há peculiaridades anatômicas e fisiológicas, tamanho reduzido, alto metabolismo e a canulação e intubação endotracheal pode ser difícil. Visando uma anestesia efetiva com relaxamento muscular, analgesia e perda de consciência, protocolos balanceados devem ser buscados. O bloqueio do plano transverso (TAP block) provou ser uma técnica praticável em chinchilas, e provavelmente outras espécies de roedores e em coelhos. Apesar de a descrição anatômica da parede abdominal de chinchilas não ser completamente descrita, o TAP block foi realizado com sucesso empírico em dois animais. Bloqueios locorregionais são uma excelente opção para analgesia com efeitos sistêmicos reduzidos, o que é desejado em pequenos pacientes, especialmente herbívoros. O principal desafio de realizar o TAP block em chinchila é o tamanho do paciente o que requer material de tamanho adequado e treinamento prévio do profissional. O TAP block provê analgesia apenas da parede abdominal e deve ser utilizado como parte de um protocolo anestésico balanceado para cirurgias abdominais, otimizando analgesia trans e pos operatória. A intubação endotraqueal de coelhos é considerada complicada, especialmente às cegas. A técnica é descrita demandando várias tentativas, tempo longo e resultando em falhas e lesões de glote. A intubação com visualização indireta da glote por meio de endoscópio é considerada ótima para o processo, entretanto um equipamento de endoscopia pode ser grande e caro, nem sempre sendo acessíveis, ao contrário do dispositivo de smartphone descrito nesse trabalho. Ambas técnicas, às cegas e assistida por endoscópio, provaram ser confiáveis para intubação de coelhos, entretanto as vantagens do endoscópio não foram totalmente confirmadas, inclusive a anestesiologista foi mais eficiente na técnica às cegas. Sugerindo que o domínio da técnica, independente de qual, é essencial para otimizar o sucesso da intubação de coelhos. Palavras-chave: Analgesia. Emergência. Exóticos. Silvestres.Abstract: Small mammals are being increasingly more frequent as pets worldwide. Rabbits, chinchillas, guinea-pigs, ferrets, hamsters, degus, sugar-gliders, and other species have different behaviors and demands for care, therefore there is always an adequate species for each residency. In this scenario, owners of these pets are demanding optimal veterinary care. Surgical and emergency cases will be more frequent in the veterinary routine and techniques must be improved to enhance success rate and welfare of these animals. Small mammals' anesthesia can be challenging, they have specific anatomic and physiological features, reduced size, high metabolism rates and catheterization and tracheal intubation can be challenging or even unsuccessful. Aiming an effective anesthesia with muscle relaxation, analgesia and loss of consciousness, balanced protocols must be pursued. The transverse plane block proved to be a feasible technique to be applied in chinchillas, and probably other rodent species and rabbits. Although the abdominal wall anatomy of chinchillas still not fully described, the technique was performed in two animals with empiric success. Regional blocks are excellent options for analgesia with minimal systemic effects, what is desired in many small patients, especially the herbivores. The main challenge for performing the TAP block in chinchillas is the size of the patient, requiring adequate size material and previous training of the professional. The TAP block only provides analgesia to the abdominal wall, and must be used as part of a balanced anesthetic protocol especially for abdominal surgeries, improving both trans as postoperative analgesia. Rabbit endotraqueal intubation is considered tricky, especially by the blind technique. It is reported to require many attempts, a considered amount of time and resulting in occasional failures and glottic lesions. Intubation with indirect visualization of the glottis through an endoscope is considered optimal to improve the process, however endoscopic systems may be large and expensive, being not always available, instead of the smartphone-based device reported in this study. Both blind and endoscope-assisted techniques were proved to be reliable for rabbit intubation, however expected differences were not confirmed. Reduced time and occurrence of complications expected for the endoscopic group were not confirmed in this study, however the anaesthesiologist performed better with the blind technique. Suggesting that mastering is essential for improved success of rabbit intubation independent of the technique. Keywords: Analgesia. Emergency. Exotics
Ação antrópica e meio ambiente : sustentabilidade discutida a partir da ONU
Desde início da década de setenta, a Organização das Nações Unidas mostra de forma recorrente sua preocupação com os danos ao meio ambiente devido à ação antrópica, a exemplo da mudança climática global. Em sua argumentação aparecem diferentes atores como os governos, as empresas e os indivíduos de forma a terem responsabilidade para a diminuição desses danos e pela busca de um desenvolvimento sustentável. Na primeira parte desse trabalho, apresentamos alguns de seus documentos como o Relatório Brundtland ou a Agenda 21, os quais há sugestões de formas de atingimento de desse tipo de desenvolvimento através de, por exemplo, avanço tecnológico, acordos entre nações e regulação do mercado interno. De forma a subsidiar teoricamente essa organização, num segundo momento apresentamos alguns autores como Robert Solow, William Baumol e Joseph Stiglitz os quais concordam com mecanismos como tributação a fim da diminuição de externalidades negativas geradas pelos processos produtivos, ou que avanços na tecnologia poderiam mitigar de forma importante a escassez de recursos não renováveis Na terceira parte desse trabalho, em sentido oposto, são apresentados teóricos como Karl Marx, John Bellamy Foster e Guillermo Foladori os quais afirmam que mecanismos impostos por governos ou a tecnologia não seriam suficientes para deter um modo de produção o qual primordialmente busca o lucro sem considerar os limites da natureza. Através de pesquisa exploratória com caráter de levantamento bibliográfico procuraremos contribuir ao debate sobre a viabilidade do desenvolvimento sustentável proposto pela ONU. Utilizaremos o método dialético o qual busca interpretar de forma mais abrangente a realidade, considerando-o como mais adequado para entendimento dos acontecimentos sociais. Como hipótese principal, dadas características inerentes ao modo de produção atual, seria inviável o atingimento desse tipo de desenvolvimento. Secundariamente mostramos tendências intrínsecas ao capitalismo o qual teria então uma natureza destruidora.Since the early seventies, the United Nations repeatedly shows its concern about environment damages due to anthropic action, such as global climate change. In their argumentation appear different actors as the governments, companies and individuals with regard to take responsibility for the reduction of such damages and the pursuit of sustainable development. In the first part of this paper, we present some of its documents as the Brundtland Report or Agenda 21, which have suggestions of paths to achieve this type of development through, for example, technological advances, nations agreements and internal market regulation. In the direction of theoretically subsidize that organization, in a second moment we present some authors as Robert Solow, William Baumol and Joseph Stiglitz which agree with mechanisms related to taxation in pursuance of to reduce the negative externalities generated by the productive processes, or that technological advances could significantly mitigate the scarcity of non-renewable resources In the third part of this work, in the opposite direction, theorists are presented as Karl Marx, John Bellamy Foster and Guillermo Foladori who affirm that mechanisms imposed by governments or technology would not be enough to restrain a mode of production which primarily quest for profit without any regard to the limits of the nature. Through an exploratory research with a bibliographic survey feature, we will try to contribute to the debate about the viability of sustainable development proposed by the United Nations. We will use the dialectical method which pursues interpretation in an ample way, considering it as more adequate for the understanding of social events. As the main hypothesis, given inherent characteristics of the current mode of production, it would be nonviable to achieve this kind of development. Secondarily, we show capitalism intrinsic tendencies which would have a destructive nature
Produtividade no ciclo de vida e diferenças de gênero na pesquisa acadêmica: evidências de uma universidade pública brasileira
Personal attributes and behavioral factors are key factors in determining researchers’ scientific productivity. Investigating what determines the academic productivity among university researchers is the purpose of this study, which uses a sample of microdata from professors at a State university in Brazil (Federal University of Juiz de Fora) for the period 1999-2013. The main results show that age and academic productivity have an inverted-U-shaped relationship, revealing that experience enhances academic production. Regarding gender differences, we found that women generally have lower average productivity than men. However, at the end of their careers, women are subject to greater leverage effects in productivity and therefore achieve productive parity with men, especially during their production peaks.Atributos pessoais e fatores comportamentais são fatores-chave na determinação da produtividade científica dos pesquisadores. Investigar o que determina a produtividade acadêmica entre pesquisadores universitários é o objetivo deste estudo, que utiliza uma amostra de microdados de professores de uma universidade estadual brasileira (Universidade Federal de Juiz de Fora) para o período 1999-2013. Os principais resultados mostram que a idade e a produtividade acadêmica apresentam uma relação em forma de U invertido, revelando que a experiência potencializa a produção acadêmica. Em relação às diferenças de gênero, descobrimos que as mulheres geralmente têm produtividade média menor do que os homens. No entanto, ao final da carreira, as mulheres estão sujeitas a maiores efeitos de alavancagem na produtividade e, portanto, alcançam paridade produtiva com os homens, principalmente nos picos de produção
Ejemplos de Guiones para radionovela
Texto explicativo e com exemplos de scripts de uma radionovel
PAÇO DOS AÇORIANOS: A ESTÉTICA RELIGIOSA DO POSITIVISMO CASTILHISTA NA PRIMEIRA REPÚBLICA (1889-1930)
O positivismo do Rio Grande do Sul desenvolveu características que lhe renderam a alcunha de “castilhista”, especialmente em função dos ditames de seu maior representante, Júlio Prates de Castilhos. Enquanto a República brasileira construía seu imaginário simbólico no centro do país, Castilhos coordenava em Porto Alegre a construção da sede da intendência da capital, o Paço dos Açorianos, em cuja arquitetura aplicou princípios estéticos que exaltavam os aspectos autoritários da República por ele defendida. Esse artigo analisa as características religiosas de seu discurso arquitetônico e escultural, as quais demonstram os objetivos de construir um imaginário e legado político messiânico por parte daquele que foi chamado “Patriarca” do Rio Grande do Sul
CURVA DE CRESCIMENTO E EFICIÊNCIA ALIMENTAR DE SUBSPÉCIES DE Boa constrictor MANTIDAS EM CATIVEIRO
The growth curve is an important parameter for estimating the development of an animal and assisting breeding programs and assessing welfare. However, little data is available on the growth curves of snakes, including native species such as Boa constrictors. Therefore, the objective of the present study was to determine the growth curve of three subspecies of Boa constrictor juveniles (B. constrictor constrictor - Bcc, B. constrictor amarali - Bca and B. constrictor occidentalis - Bco) using data from a commercial breeder located in Brazil. Thirty-seven newborn snakes were placed in individual plastic boxes and kept in a temperature-controlled room (30±2°C and 70-80% humidity) until they reached commercial size (58 days). The snakes' weight and food intake were recorded weekly. These data were used to calculate total food intake, relative weight gain, feed efficiency and growth curves for snakes, comparing animals within subspecies and sexes. There was no difference in growth between genders for Bcc (p = 0.9844) and Bco (p = 0.9845), while for Bca females presented a greater growth (p = 0.0052). There were no statistical differences in relative weight gain and feed efficiency among subspecies. The parameters and growth curves determined in this study can be used as an initial reference guide to monitor the growth of Boa constrictor newborns and contribute to the establishment of an adequate food management for snakes kept in captivity, being a possible parameter for quantifying to determine welfare during the development of newborn snakes.A curva de crescimento é um parâmetro importante para estimar o desenvolvimento de um animal e auxiliar em programas de reprodução e avaliação do bem-estar. No entanto, poucos dados estão disponíveis sobre as curvas de crescimento de serpentes, inclusive espécies nativas como as jiboias. Portanto, o objetivo do presente trabalho foi determinar a curva de crescimento de três subespécies de Boa constrictor juvenis (B. constrictor constrictor - Bcc, B. constrictor amarali - Bca e B. constrictor occidentalis - Bco) usando os dados de um criador comercial localizado no Brasil. Trinta e sete cobras recém-nascidas foram alocadas em caixas plásticas individuais e mantidas em uma sala com temperatura controlada (30±2°C e 70-80% umidade) até atingir o tamanho comercial (58 dias). O peso e a ingestão alimentar das cobras foram registrados semanalmente. Esses dados foram usados para calcular a ingestão total dos alimentos, o ganho de peso relativo, a eficiência alimentar e as curvas de crescimento das serpentes e comparados entre as subespécies e entre sexos. Não houve diferença no crescimento entre os sexos para Bcc (p=0,9844) e Bco (p=0,9845), enquanto para Bca as fêmeas apresentaram maior crescimento (p=0,0052). Não foi observada diferença estatística quanto ao ganho de peso relativo e a eficiência alimentar entre as subespécies. Os parâmetros e as curvas de crescimento determinados neste estudo podem ser usados como referência para acompanhamento do crescimento de filhotes de Boa constrictor e contribuir para o estabelecimento de um manejo alimentar adequado para serpentes mantidas em cativeiro, sendo um possível parâmetro para quantificação do bem-estar durante o desenvolvimento de serpentes recém-nascidas
- …