Tornar a verificação funcional mais eficiente, em termos de gasto de recursos de computação e tempo, é necessário para a contínua evolução dos sistemas digitais. A verificação funcional com geração de casos de teste aleatória ajustada por cobertura é uma das alternativas identificadas nos últimos anos para acelerar a execução de testbenches. Várias abordagens têm sido testadas com sucesso na verificação funcional de núcleos de hardware, no domínio de aplicação dos processadores de propósito geral, porém, influenciada por características específicas do domínio, dos modelos de cobertura e do espaço possível de casos de teste. Por outro lado, pouca atenção tem sido dispensada à verificação ajustada por cobertura em outros domínios de aplicação como nos de sistemas de comunicação e de sistemas multimídia. Estes casos são tratados no presente estudo, com os fatores específicos que influenciam os resultados dos testbenches com geração ajustada. Entre os fatores relevantes para isto, foram identificados o tamanho do espaço de casos de teste e a distribuição da ocorrência dos eventos de cobertura, sendo necessária para o desenvolvimento do presente trabalho, a realização de várias alterações na construção de testbenches com ajuste. A geração de casos de teste ajustada por cobertura é realizada a partir da realimentação da informação do estado da cobertura, para se determinar os casos de teste necessários para tornar o progresso da cobertura mais rápido. Esta realimentação depende da criação, por aprendizado automático, de modelos que relacionem os casos de teste com as ocorrências dos eventos de cobertura. Com núcleos de hardware realistas e de grande porte, neste trabalho, foram aplicadas as técnicas de aprendizado de redes Bayesianas e data mining com árvores de classificação, já utilizados em outras pesquisas mais específicas. Estas técnicas se caracterizam por requerer processos de maximização local para seu funcionamento. Neste trabalho, foi avaliada também a adoção da técnica de Support Vector Machine (SVM), por se basear em um processo de maximização global. Os resultados demonstram que as técnicas de geração de casos de teste ajustadas por cobertura precisam ser adaptadas às características do domínio de aplicação, para conseguir acelerar a execução dos testbenches. / Making functional verification more efficient in terms of computational and time resources is mandatory in order to maintain the evolution of digital systems. Coverage driven verification is one of the recently used alternatives for speeding up the execution of testbenches. Many approaches have been successfully applied to the functional verification of cores in the application domain of general purpose processors, however, being influenced by the specific coverage and testcase dimensionality characteristics of this domain. Furthermore, little attention has been given to the use of coverage driven verification in other domains, such as communication systems and multimedia systems. These domains have been considered in the present study, together with the specific factors that have influenced the coverage driven testbench results. Among these factors, one has identified the size of the testcase space and the distribution of the coverage events; making it necessary to the development of this work, several changes regarding the construction of the coverage driven testbenches. Coverage driven testecase generation is performed by feedbacking the coverage status information and selecting those testcases that lead to the improvement of the coverage progression rate. This feedback depends on the construction of a model, by automatic learning, which relates testcases and the observations of coverage events. During this work, realistic large IP cores were verified with the following coverage driven techniques: Bayesian networks and classification tree data mining. These techniques, previously used in specific research works, adopt local optimization in their processing. In the present work, coverage driven verification with support vector machine learning, is tested due to the fact that this technique is based in a global optimization process. Results of this work have shown the need of adaptation of the coverage driven verification to the application domain characteristics, in order to obtain meaningful acceleration in testbench execution.

O processo pelo qual passa um projeto de arquitetura, do estudo preliminar até o momento em que é finalizado no nível do projeto executivo, é uma das bases e enfoque deste trabalho. Associado a isto, verifica-se a discussão acerca das questões ambientais e dos impactos ambientais causados pelo fenômeno de criação de cidades e seu adensamento no planeta em que vivemos. A partir disso, foram levantadas informações que apresentam um panorama atual daquilo que se tem feito a respeito. Em uma atitude pró-ativa, são apresentados projetos arquitetônicos embasados em conceitos mitigadores. Dessa forma, pode-se visualizar as soluções com as quais busca-se aparar algumas arestas. A relação entre o edifício e o meio no qual se insere, bem como sua interação com os seus usuários, são no momento, algumas das principais preocupações deste estudo. Torná-las, respectivamente, mais tênues e mais agradáveis fazem parte do objetivo em questão. Considera-se que existem meios totalmente provenientes de criatividade e de recursos tecnológicos capazes de agregar qualidade ao produto final de um projeto arquitetônico, ou seja, aos edifícios. O salto qualitativo é proveniente da correta maneira em se lidar com um problema comum que afeta todas as pessoas: a saúde do Planeta Terra. / Part of this work?s background is the process through witch passes an architectural project, since its preliminary studies until the final step, in terms of construction drawings. In association with that, there is an analysis of the discussion on environmental questions and the environmental impacts caused by the cities creation phenomenon and its densification on the planet in witch we live. From this point, a panorama has been defined with information of what is being done regarding this subject matter. Adopting a pro-active attitude, architectural projects designed with sustainable principles were presented. Solutions with witch rough edges can be softened are now possible to be seen. The relation between the building and the place where it is inserted, as well as it?s interaction with the people, are two of this studies concernment. To convert them in a more neutral and pleasant relation/interaction are part of the goal. It is considered there are creative and technological ways, passive to aggregate quality to a building, the final product of the architectural project. The quality step comes from the correct way to deal with an every people common concernment: the health of the Planet Earth.

O tema do doutorado foi realizado com o intuito de esclarecer algumas controvérsias a respeito das questões de transmissão de conhecimento e os seus graus de influência no ensino superior brasileiro atual. Por meio de modelos de transmissão de conhecimentos seculares que se observa a distância entre os atos de ensinar e aprender, especialmente na disciplina de projeto arquitetônico no primeiro ano. Como dizer que a arquitetura não pode ser ensinada, mas pode ser aprendida? Como os arquitetos-professores-pesquisadores enfrentam o desafio utilizando novas formas de ensinar e estratégias que propiciem a aprendizagem do saber arquitetônico? São questões relevantes para a formação do arquiteto que são levantadas e analisadas amplamente. Afinal, como dizia Joaquim Guedes: Poetas, dizem, não se fazem nas faculdades de letras. Mas as de arquitetura têm que formar arquitetos. / The subject of the doctorate was brought about by the intention to highlight a number of controversies in respect of how to transmit knowledge and its degrees of influence in current Brazilian tertiary education. Through models of knowledge dispersion we are able to observe the distance between the act of teaching and that of learning, especially in respect to the discipline architectural projects for first year students. How can it be said that architecture cannot be taught, yet can be learnt? How do architects-teachers-researchers confront the challenge using new forms of teaching and strategies that propitiates the art of architecture? These are relevant questions that are fundamental to the formation of an architect that are raised and analyzed in depth. After all, Joaquim Guedes said: Poets, they say, are not formed in the faculties of literature. Yet those of architecture have to form architects.

Este trabalho disserta sobre as relações entre a arte contemporânea brasileira e a paisagem, através de algumas obras que nela intervieram diretamente, assim como de projetos que propunham-se a intervir, mas não foram executados. Tais obras, ao incorporarem os elementos naturais e culturais que constituem a paisagem, evidenciam-na e fazem-nos refletir sobre sua formação, transformação e apreciação. Foram escolhidas duas exposições que, a princípio, seriam realizadas em escala nacional, e que propuseram de modo mais efetivo a intervenção da arte brasileira na paisagem, estimulando discussões sobre o tema. São elas: projeto Fronteiras (1998-2001), que abordou as referências geográficas da paisagem, e projeto Margem (2009-2010), cujas referências eram as urbanas. Com Fronteiras, a partir do tema fronteira, abre-se o debate sobre território, região, escala geográfica e modos de ocupação territorial; mas a arte introduz nele a necessidade da paisagem. Já com Margem, vêm à tona questões da paisagem urbana, em específico, como os rios são apropriados e percebidos. Esta é uma amostragem de obras que, abordando referências distintas da paisagem, fazem-nos refletir sobre a produção artística nacional que tem na paisagem mais do que uma inspiração, mas um elemento constitutivo; assim como de que modos a paisagem é, possivelmente, uma influência para estas obras. / This research disserts about the relationship between brazilian contemporary art and landscape, regarding some works of art that interfered directly in it, as well as projects that intended to do it, but were not accomplished, eventually. These works, as they incorporate natural and cultural aspects of the landscape, they emphasize it and raise a debate on its development, transformation and appreciation. Two expositions - which were to be taken, at first, in national scale - more effectively proposed the intervention of brazilian contemporary art into the landscape and stimulated discussions on these matters. They are: Fronteiras ( 1998-2001), which approached the geographical landscape references, and Margem (2009-2010), which focused the urban ones. Within Fronteiras, from the boundary theme, the discussion arises on territory, region, geographical scale and models of territorial occupation; nevertheless, art introduces the need of landscape in this debate. In contrast, Margem brings up issues related to the the urban landscape, specifically how rivers are appropriated and apprehended by people. This is a sample of works of art that approach landscape in different ways, which lead us to consider how brazilian contemporary art handles landscape, not only as an inspiration, but as a constitutive component of the work; they also highlight how landscape might be, possibly, an influence on them.

O município de Rosário da Limeira/MG possui características predominantemente rurais, cuja economia está voltada principalmente para a plantação, cultivo e beneficiamento do café, sendo a agricultura familiar responsável por 80% das atividades desenvolvidas no município. O presente estudo analisa o comportamento dos jovens, da localidade do Ancorado, inseridos nas atividades rurais, por meio das transformações sociais vividas no campo, principalmente da agricultura familiar. A inserção dos jovens rurais em um mundo globalizado, recebendo influências de culturas diferentes faz os mesmos repensarem seus projetos para o futuro e a sua busca por uma realização pessoal. Para conhecer as transformações comportamentais desses jovens foram investigadas 40 familias por meio de questionários e entrevistas semi-estruturadas, aplicados aos pais e jovens do meio rural, e apontaram para uma tendência dos jovens, principalmente das moças, em projetar seu futuro profissional no meio urbano, mesmo sabendo das dificuldades que podem encontrar.

A problemática deste estudo é discutir o Processo Avaliativo praticado pelo Instituto Federal Farroupilha – Campus Panambi, RS. Para isso, faço uma retomada da constituição da rede de educação profissional e tecnológica, chegando até os dias atuais. Em paralelo, procuro demonstrar como essas instituições de ensino se organizam, tanto no sentido estrutural como pedagogicamente. Com base nas proposições dos documentos norteadores proponho uma reflexão acerca do Processo Avaliativo, usando como pressuposto norteador o Projeto Integrador desenvolvido pela instituição, o qual se constitui numa prática desenvolvida pela mesma, juntamente com seus professores, a fim de integrar as disciplinas. Busco compreender no decorrer do estudo se o mesmo pode se constituir em uma alternativa plausível para uma avaliação mais contextual e completa da aprendizagem dos estudantes. O Projeto Integrador é desenvolvido pelos docentes do curso juntamente com a equipe diretiva e procura realizar a aproximação das disciplinas por meio de fatos do dia a dia, buscando com isso fazer uma ligação com o cotidiano dos estudantes. O estudo tem uma visão qualitativa, consistindo metodologicamente em um estudo do Grupo Focal, sendo essa uma técnica de investigação em que o pesquisador não é um mero “coletor” de dados, mas sim participante da pesquisa, atuando com mediador do processo. Os relatos dos docentes serviram como base para os questionamentos levantados durante o estudo, juntamente com os autores da área e minha experiência como docente na instituição de ensino. Creio que este estudo poderá se constituir num ponto de partida para futuros trabalhos, principalmente pelo fato de que o Processo Avaliativo é uma prática do cotidiano dos professores e que necessita ser extremamente cuidadosa. Outro ponto que leva a novos estudos é o conhecimento restrito que se tem a respeito dos Institutos Federais, sendo necessária uma investigação mais aprofundada dessas instituições, bem como de seus processos de avaliação. / 86 f.

Made available in DSpace on 2016-07-27T13:48:00Z (GMT). No. of bitstreams: 1 Leocimar Rodrigues Barbosa.pdf: 740464 bytes, checksum: 0a770ff285d2e11b389c0f4cc7c285be (MD5) Previous issue date: 2005-08-30 / The text exceeds the relations of religions fundamentalists with the modernity and their crisis, emphaticine the social project of construction the other reality. Aprroaching historicly the fundamentalist since the american protestant fundamentalist and nominating his peculiars ard understanding his ideology and behaviour of fundamentalist current. The defiance is to perceive tha the fundamentalists look for to cive awswers to human necessity, asserting though of an utopia to moderns societs. / O texto destaca as relações dos fundamentalismos religiosos com a modernidade e suas crises, dando ênfase ao projeto social de construção de uma outra realidade. Abordando historicamente o fundamentalismo protestante americano, nomeando sua característica, pode-se compreender a ideologia e o comportamento dos movimentos fundamentalistas. O desafio é tentar perceber que os fundamentalismos procuram dar respostas aos anseios e necessidades humanas, na afirmação de uma utopia para as sociedades modernas.

Este trabalho apresenta parte de um programa de desenvolvimento de um simulador de controle de atitude com mancal aerostático em três graus de liberdade. O escopo deste trabalho é a definição da arquitetura do sistema, dimensionamento preliminar de componentes, projeto e fabricação de um mancal aerostático. A finalidade do simulador é servir de plataforma para avaliar o desempenho de sistemas de controle de atitude para aplicações em satélite. O sistema deve simular as grandes mudanças de atitude, minimizando o efeito de torques de perturbação. Conseqüentemente, as exigências do projeto são: (a) inércia baixa para minimizar os torques do controle; (b) movimento sem restrições para grandes variações de atitude; (c) incluir dispositivo de ajuste da posição do centro da massa do sistema ao centro de pressão do mancal aerostático a fim de minimizar torques gravitacionais; (d) usinagem de alta qualidade de forma e superficial dos componentes do mancal para minimizar os torques por atrito; (e) baixo consumo de energia; (f) transparência eletromagnética para permitir controle remoto e indução de um campo magnético externo de referência. Os componentes principais do sistema são: alimentação de energia, três rodas de reação, sistema de medição da atitude (giroscópios ou magnetômetros mais acelerômetros) e um sistema mecânico para ajuste fino de posição para centro de massa. Como a finalização do protótipo simulador depende da conclusão de pesquisas de sistemas que estão em desenvolvimento em outras frentes de trabalho, ligadas a outros grupos de pesquisa, este trabalho tem sua conclusão com a apresentação do anteprojeto e da simulação do funcionamento do protótipo, além da fabricação dos componentes principais do mancal aerostático.

Este trabalho apresenta o projeto de um mecanismo de travamento da porta de acesso ao compartimento de bagagem através da cabine da aeronave Legacy. O mecanismo de travamento originalmente instalado na aeronave apresentou uma série de deficiências. Desta forma, propõe-se um novo projeto para tal mecanismo, com o objetivo de se manter as características básicas da plataforma original, evitando-se profundas modificações no projeto de porta. Uma breve revisão de conceitos relativos à Cinemática ée feita antes da apresentação da nova concepção. A concepção está baseada em um mecanismo constituído de hastes enquanto o novo projeto emprega polias e cabos. O novo mecanismo foi modelado utilizando-se a ferramenta Catia. Através do módulo Catia Kinematics foi possível se fazer uma análise do novo mecanismo verificando-se posições de "ponto-morto", avaliando-se possíveis interferências entre as partes, bem como deslocamentos, sejam eles lineares ou angulares. Para a análise das forças atuantes implementou-se uma rotina no software Mathematica. O resultado desta análise contribuiu para o dimensionamento dos componentes. Este dimensionamento foi feito ora utilizando-se modelos clássicos, como por exemplo, as equações para molas, ora utilizando-se os recursos do Catia. O GPS ée um módulo do Catia destinado à análise de tensão baseado em elementos finitos. Além do enfoque cinemático e dinâmico na análise do mecanismo travamento da porta, a nova concepção buscou propor peças de geometria de fácil fabricação bem como adotou um número mais reduzido de partes. A nova solução foi concebida sempre considerando a futura avaliação pelo competente órgão de certificação aeronáutica. Quando cabível, ée feita uma comparação da solução original com a apresentada neste trabalho.

The objective of this work is to present a trade-off study between aircraft air conditioning systems based on conventional technology (Engine Pneumatic Bleed based) and the proposed bleedless architecture, based on the MEA (More Electric Aircraft) and Bleedless Engines concepts. The pneumatic bleed system components are thus eliminated and a dedicated compressor serves as the main power supply to the air conditioning and pressurization system. Both the conventional and the proposed ECS architecture are described and the system main parameters are calculated. The aircraft used as baseline for the study is the RJ2, a 50 seats regional jet, designed as an academic exercise during the PEE ITA/EMBRAER program. Since the aircraft' requirements - determined by the PEE coordination - were for a regional jet, operational characteristics and aspects of costs, weight, energy efficiency, maintainability and impacts on other systems of the aircraft were considered. The proposed air conditioning architecture is compared to a conventional one in terms of weight, system price and power and fuel consumptions. This work is merely academic and conceptual and does not involve any existing or in development aircraft data from EMBRAER or any other aircraft or system manufacturer.