Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.

The diploma thesis at first deals with the analysis of furniture CNC machining centers, which leads to the selection of the most suitable machine for a specific company. Second part of the thesis is to design furniture that is adapted for production on the furniture CNC machining center. Coffee table is chosen for design and manufacturing. The thesis contains both a theoretical study of the problems of CNC manufactured table furniture and practical part which describes the process of selection a suitable machine for a specific company and also describes whole process of creating a new furniture. The creation itself is described from sketches through material selection, appropriate joints to the prototype manufacturing. Coffee table which is designed and manufactured contains component, which is used in the design of dining and work table.

Este trabalho apresenta o módulo Collaborative Service, uma extensão do ambiente Cave, desenvolvido para suportar conceitos de trabalho cooperativo no projeto de circuitos integrados. Esta extensão por sua vez, é baseada na metodologia Pair- Programming e nas tecnologias Jini e Javaspaces. O módulo Collaborative Service foi desenvolvido para auxiliar a continuidade do processo de desenvolvimento de circuitos integrados complexos, inserindo uma dinâmica de grupo através da extensão de Pair-Programming para máquinas remotas. Esse modelo permite que dois ou mais projetistas interajam em um mesmo projeto ou blocos de projeto, independente de suas localizações geográficas e tipos de plataformas de hardware/software. Ele foi projetado para ser genérico e essa característica o torna capaz de suportar as ferramentas de CAD, atuais e futuras, do ambiente Cave (um framework de apoio ao projeto de circuitos integrados). Como estudo de caso, foram utilizadas duas ferramentas do Ambiente Cave. O primeiro caso mostra uma cooperação em nível de descrições gráficas, representada pela ferramenta Blade, um editor de esquemáticos hierárquico. O segundo caso foi representado pelo editor de descrições textuais (VHDL, Verilog e Linguagem C), chamado Homero. No estudo de caso com a ferramenta Blade foi demonstrado que a cooperação proposta por esse modelo pode atuar sob diferentes níveis de hierarquia de projeto, além de suportar a interação de inúmeros projetistas em um mesmo bloco. Na ferramenta Homero, demonstrou-se a cooperação em nível de descrições textuais, representados por (códigos) projetos VHDL acrescidos da participação de vários projetistas. Com esses exemplos, foi possível demonstrar as estratégias de percepção e comunicação com os projetistas, além de descrever a criação de blocos de projeto de uma forma cooperativa. Como contribuição desse trabalho, acrescenta-se ao Ambiente Cave mais um recurso para o projeto de circuitos integrados. Nesse sentido, grupos de projetistas podem projetar um sistema ou circuito integrado de forma cooperativa utilizando-se das funcionalidades desse modelo.

Este trabalho apresenta novos algoritmos para o roteamento de circuitos integrados, e discute sua aplicação em sistemas de síntese de leiaute. As interconexões têm grande impacto no desempenho de circuitos em tecnologias recentes, e os algoritmos propostos visam conferir maior controle sobre sua qualidade, e maior convergência na tarefa de encontrar uma solução aceitável. De todos os problemas de roteamento, dois são de especial importância: roteamento de redes uma a uma com algoritmos de pesquisa de caminhos, e o chamado roteamento de área. Para o primeiro, procura-se desenvolver um algoritmo de pesquisa de caminhos bidirecional e heurístico mais eficiente, LCS*, cuja aplicação em roteamento explora situações específicas que ocorrem neste domínio. Demonstra-se que o modelo de custo influencia fortemente o esforço de pesquisa, além de controlar a qualidade das rotas encontradas, e por esta razão um modelo mais preciso é proposto. Para roteamento de área, se estuda o desenvolvimento de uma nova classe de algoritmos sugerida em [JOH 94], denominados LEGAL. A viabilidade e a eficiência de tais algoritmos são demonstradas com três diferentes implementações. Devem ser também estudados mecanismos alternativos para gerenciar espaços e tratar modelos de grade não uniforme, avaliando-se suas vantagens e sua aplicabilidade em outros diferentes contextos.

Este trabalho será focado no problema de posicionamento de células lógicas em circuitos integrados. Neste problema necessitamos organizar as portas lógicas reduzindo o comprimento dos fios que as conectam da melhor forma possível. Para entender o problema e as soluções existentes é descrita uma explanação sobre técnicas e algoritmos que são utilizados atualmente ou que são historicamente importantes, de forma a conduzir o texto para as técnicas apresentadas neste trabalho. As técnicas que serão apresentadas neste trabalho têm objetivos individualmente diferentes, porém conduzem a novos resultados e perspectivas em posicionamento. Todas as técnicas são baseadas na modificação e análise do grafo do posicionamento. Neste trabalho serão apresentadas quatro técnicas para melhorar a solução do problema de posicionamento. O primeiro trabalho a ser apresentado será a Critical Star que aplicado alguns nodos e arestas extras no grafo original para reduzir os caminhos críticos. A segunda técnica é a Logical Core I, ela traz um novo método de análise da dificuldade de posicionar um circuito VLSI. A terceira técnica, que tem forte conexão com a segunda, é a Logical Core II, mais focada em tempo de execução da técnica, ela gera um vetor com todas as dificuldades de posicionar cada célula no circuito. As duas técnicas aumentam o conhecimento do posicionador a respeito do problema e com isso vão de encontro a um ponto muito importante e ainda pouco abordado, a evolução da controlabilidade no posicionamento. A quarta técnica que será apresentada é a Logical Cluster. É uma técnica baseada na Logical Core II, e foi desenvolvida para otimizar os posicionadores já existentes no estado da arte. A técnica é muito eficiente e reduz o tempo de execução do posicionamento e muitas vezes reduz o comprimento de fio. / This work is focused on placement problem of VLSI circuits. The goal is organize the logic gates reducing the total wirelength that connect them. A non-effective placement assignment will not only affect the circuit performance but might also make it non-manufacturable by producing excessive wirelength. Then the next step in the assembly line, the routing problem could be insolvable. In this work will be presents four differents techniques. The techniques are based on changing the graph to improve the placement results. The first one is the Critical Star that applies some extra nodes and edges to reduce the critical paths. The second algorithm is the Logical Core I which brings a new method to analyze the circuit hardness to place a circuit. The third algorithm is called Logical Core II and the focus is generate a vector with hardness to place each cell in the circuit, and increasing the placer information about the problem. The Logical Core I and II, both improving the possibility to compare the hardnesses, in different abstraction levels, and improve the placement controllability. The fourth algorithm is a fast algorithm, based on use the Logical Core II, it creates an effective clustering technique to improve the state-of-art placers results. Reducing the runtime and sometimes improving the wirelength results.

Este trabalho descreve a adaptação de um equipamento CNC e ferramentas computacionais CAD/CAM (desenvolvidas originalmente para a área de usinagem) na conformação de chapas de alumínio comercialmente puro, através do processo de estampagem incremental. Através das simulações e dos testes reais foi possível obter resultados práticos, relativos às limitações geométricas e ao acabamento superficial. As peças conformadas têm o formato básico de um tronco de cone, onde foram alterados a profundidade e o ângulo do cone. A análise dimensional das peças, comparadas com seu respectivo modelo CAD revelou razoável conformidade geométrica. Por outro lado, ângulos de parede maiores que 65° causaram o rompimento da chapa. As estampagens foram realizadas em um centro de usinagem, e utilizaram-se como valores máximos a velocidade de avanço de 2.200 mm/min e o incremento vertical de 1mm, por questões de segurança e também pela constatação de problemas de acabamento superficial e de vibrações excessivas do equipamento. Como conclusão final, foi demonstrado que, para o tipo específico de peça (material, espessura e geometria), dispositivo prensa-chapas, ferramentas, equipamento CNC e softwares utilizados, o processo de estampagem incremental seria viável para lotes de até 600 peças. / This paper describes the adaptation of a CNC equipment and CAD/CAM computational tools (originally developed for the machining area) on the conformation of sheets of commercially pure aluminum, through the process of incremental forming. Through simulations and tests were unable to get practical results, for the geometric constraints and surface finishing. Forming parts have the basic format of a truncated cone, which have changed the depth and angle of the cone. A dimensional analysis of the parts, compared with their CAD model showed geometric reasonable compliance. Moreover, the wall angles greater than 65 ° caused the breaking of the plate. The sheets formings were performed in a machining center, with a maximum speed of advance of 2,200 mm/min and the vertical increase of 1mm, for reasons of safety and also for finding finishing surface problems and the excessive vibration equipment. As final conclusion, it was demonstrated that, for the specific type of piece (material, thickness and geometry), device-press plates, tools, CNC equipment and software used, the process of incremental sheet forming feasible for batches of up to 600 pieces.

Alogliptina (ALG) é um hipoglicemiante oral, que inibe a enzima dipeptidil peptidase – 4 (DPP-4) com alta seletividade e aumenta a secreção de insulina prevenindo a hiperglicemia prandial. Como ALG não está descrita nas farmacopeias, este trabalho objetivou caracterizar a matéria-prima (Capítulo I), desenvolver métodos analíticos (Capítulo II) e avaliar sua estabilidade (Capítulo III), auxiliando no controle de qualidade. No capítulo I, a ALG foi caracterizada através de calorimetria exploratória diferencial (DSC), termogravimetria (TGA) e microscopia eletrônica de varredura (SEM) acoplada a espectrômetro de raios X por dispersão de energia (EDS). A compatibilidade entre a ALG e os excipientes presentes nos comprimidos foi avaliada por DSC, TGA, infravermelho com transformada de Fourier (FTIR), difração de raios-X de pó (XRPD) e microscopia com estágio de aquecimento. ALG apresentou pureza próxima a 99%, com faixa de fusão entre 179,4 e 187,2 °C (pico em 183,3 °C), seguida por decomposição que iniciou em 198,0 °C. Na SEM/EDS, os cristais de ALG mostraram-se predominantemente irregulares e foram detectados traços de impurezas (chumbo e cobre). Alterações na temperatura de fusão da ALG com manitol, estearato de magnésio e nos comprimidos comerciais foram observadas. A microscopia com aquecimento demonstrou que a interação entre manitol e ALG e nos comprimidos é devida à solubilização do fármaco no excipiente fundido, enquanto que na mistura com o estearato de magnésio é devida à fusão do excipiente e do fármaco que ocorrem separadamente, onde o excipiente funde antes que o fármaco. FTIR e XRPD das misturas não detectaram incompatibilidades, somente o aparecimento de bandas adicionais relacionadas aos excipientes. ALG foi compatível com todos os excipientes testados. Estes resultados são importantes para caracterizar, conhecer a estabilidade e a compatibilidade do fármaco. No capítulo II, foram desenvolvidos e validados métodos de cromatografia líquida (LC) indicativos de estabilidade utilizando dois detectores, ultravioleta (UV) e detector de aerossol carregado (CAD) para análise de ALG em comprimidos. Foi utilizada uma coluna C8 (250 mm x 4,6 mm, 5 μm) em modo isocrático, fluxo de 0,8 mL min-1, utilizando acetonitrila e tampão acetato de amônio 10 mM pH 3,5 ajustado com ácido acético (90:10, v/v) como fase móvel e detecção no UV em 275 nm. Os métodos foram lineares no intervalo de 25 - 200 μg mL-1 em ambos os detectores. Os limites de detecção foram de 2,65 e 6,25 μg mL-1 e os de quantificação de 8,84 e 20,85 μg mL-1, respectivamente, para UV e CAD. Os métodos foram precisos e exatos, com desvio padrão relativo menor que 3% e percentuais de recuperação próximos a 100%. Nenhum dos excipientes, ou produtos de degradação interferiu na detecção do fármaco durante os estudos de especificidade. No ensaio de robustez, pequenas alterações no fluxo de fase móvel, pH e concentração de solvente orgânico não afetou significativamente os resultados. O doseamento dos comprimidos obtido com ambos detectores não mostrou diferenças entre si. Os métodos podem ser considerados intercambiáveis e podem ser aplicados como ferramentas para o controle de qualidade de rotina de comprimidos de ALG. No capítulo III foi avaliada a estabilidade térmica da ALG utilizando TGA isotérmica e não isotérmica, e degradação em estufa, analisando as amostras por LC-UV. Na TGA isotérmica a ALG foi submetida a 150, 155, 160, 165, 170 °C, até perda de massa de 10% e os dados foram analisados pelo método de Arrhenius. Na TGA não isotérmica variaram-se as razões de aquecimento, utilizando 2,5, 5,0, 10,0 e 15,0 °C/min até 500 °C. Os dados foram analisados pelo método de Ozawa e de Kissinger. Na degradação em estufa o fármaco foi submetido as temperaturas de 130, 140, 150, 155, 160 e 170 °C. Os parâmetros cinéticos foram obtidos por Arrhenius. ALG segue degradação de zero ordem, onde a velocidade de degradação independe da concentração do reagente. A perda de massa está relacionada à perda química. Os parâmetros cinéticos variaram de acordo com o modelo matemático aplicado. A energia de ativação variou de 26 a 45 kcal/mol. O fármaco degradado demonstrou ser menos tóxico em ensaio de citotoxicidade em células CRIB do que o fármaco não degradado. Os métodos desenvolvidos e a caracterização realizada mostram-se úteis para o adequado controle de qualidade do fármaco. / Alogliptin (ALG) is an oral hypoglycemic agent, which inhibits the enzyme dipeptidyl peptidase - 4 (DPP-4) with high selectivity and increase insulin secretion, preventing postprandial hyperglycemia. ALG is not described in any pharmacopeia. In this context, this study aimed to characterize the active pharmaceutical ingredient (Chapter I), to developed assay methods (Chapter II) and to evaluate the stability (Chapter III), assuring the adequate quality control. In Chapter I, ALG was characterized by differential scanning calorimetry (DSC), thermogravimetry (TGA) and scanning electron microscopy (SEM) coupled with energy dispersive spectrometer X-ray (EDS). The compatibility between ALG and the excipients present in the commercial tablets was evaluated by DSC, TGA, Fourier transform infrared (FTIR), X-ray powder diffraction (XRPD) and hot stage microscopy. ALG presented purity close to 99%, with a melting range between 179.4 to 187.2 °C (peak at 183.33 °C), followed by decomposition which began at 198 °C. In the SEM/EDS the crystals of ALG were predominantly irregulars and it were detected traces of impurities (lead and copper). Alterations in melting temperature of ALG with mannitol, magnesium stearate and in tablets were observed. The hot stage microscopy showed that the interactions between mannitol and ALG and in the tablets were due to the solubilization of the drug in the fused excipient, and in the mixture with magnesium stearate, it was due to the melting of the drug and excipient separately, where the excipient started the melting prior of the drug. FTIR and XRPD of the mixtures did not detect incompatibilities, only the appearance of additional bands related to the excipients. ALG was compatible with all excipients tested. These results are important to characterize, to know the drug stability and compatibility. In Chapter II, liquid chromatography (LC) methods indicative of stability were developed and validated using two detectors, ultraviolet (UV) and charged aerosol detector (CAD) for ALG tablets. It was used a C8 column (250 mm x 4.6 mm, 5 um) in isocratic mode, flow rate of 0.8 ml min-1 using acetonitrile and ammonium acetate buffer 10 mM, pH 3.5 adjusted with acid acetic acid (90:10, v/v) as mobile phase and UV detection at 275 nm. The methods were linear in the range of 25 - 200 μg ml-1 in both detectors. Limits of detection were 2.65 and 6.25 μg mL-1, and of quantification were 8.84 and 20.85 μg mL-1, respectively, for UV and CAD. The methods were accurate and precise, with a relative standard deviation lower than 3% and recovery close to 100%. None of the excipients or degradation products showed interference in the drug detection during specificity studies. In the robustness test, small changes in the mobile phase flow, pH and organic solvent concentration did not significantly affect the results. The results for tablets obtained with both detectors showed no differences. The methods may be considered interchangeable, and they can be used as tools for routine quality control of ALG tablets. In Chapter III the thermal stability of the ALG was evaluated using isothermal and non-isothermal TGA, as well as oven, and samples were analyzed by LC-UV. In the isothermal TGA the ALG was subjected to 150, 155, 160, 165, 170 °C until a mass loss of 10% and the data were analyzed by the Arrhenius method. In non-isothermal TGA the heating rates were varied using 2.5, 5.0, 10.0 and 15.0 °C/min until 500 °C. Data were analyzed by the Ozawa and Kissinger method. In oven the drug was subjected to 130, 140, 150, 155, 160, and 170 °C. The kinetic parameters were obtained by Arrhenius. ALG follows zero-order degradation, where the rate of degradation is independent of the concentration of any reagent. Mass loss is related to chemical reactions. The kinetic parameters varied according to the applied mathematical model. The activation energy ranged from 26 to 45 kcal / mol. The degraded drug was shown to be less toxic in cytotoxicity assay using CRIB cells than the non-degraded drug. The methods developed and the characterization performed proved to be useful for adequate quality control tests of the drug.

No description available.

No description available.

The topic of this thesis concerns computer software for 3D modelling SolidWorks and its use for descriptive geometry problems creation. Descriptions of techniques of work in SolidWorks 3D parametric modeller are a part of this thesis, as well as the work with the software itself and description of problems being solved by it. Thesis also includes options of possible use of the final interactive gadget at basic and elementary schools. Moreover, in conclusion there is described to what extend it is appropriate to use SolidWorks software for descriptive geometry problem solving and when some problems might occur.