Spelling suggestions: "subject:"ferramenta""
181 |
Sistema especialista para a trefilação a frio de barras de aço / Expert system for steel bar drawingGomes, Ivan Alexandre Cotrick, 1960- 28 August 2018 (has links)
Orientador: Sérgio Tonini Button / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-28T00:05:58Z (GMT). No. of bitstreams: 1
Gomes_IvanAlexandreCotrick_M.pdf: 5091688 bytes, checksum: ddbd83343728d06fb6e89b21a3a06d98 (MD5)
Previous issue date: 2015 / Resumo: O processo de conformação plástica através da trefilação a frio de barras de aço tem como principal dificuldade o projeto da ferramenta. Ainda hoje, projetistas lançam mão de ábacos e tabelas colecionados ao longo do tempo através dos sucessos e insucessos experimentais. Tais informações, normalmente, ficam restritas às empresas ou aos poucos técnicos, dentro das suas bibliotecas particulares, onde, devido à dificuldade de acesso às informações práticas para projetar ferramentas e processos mais complexos, a fabricação de perfis trefilados tem perdido espaço para outros meios produtivos, por vezes, mais onerosos. Assim, este trabalho compila ábacos e tabelas presentes em projetos de ferramentas para trefilação ¿ seja através das experiências próprias, seja dos resultados herdados de outros técnicos ¿ e também, o escasso material bibliográfico sobre o assunto, organizando um banco de dados para a modelagem de um método que auxilie assertivamente as tarefas do projeto para ferramentas para trefilação a frio de barras de aço, utilizando-se de programas comerciais de computador. Cabe salientar que o sistema não é definitivo, dessa forma, o programa fonte é aberto e detalhado para que seja analisado e melhorado, sendo indicados os pontos de atenção onde devem ser inseridas ou modificadas informações, tornando o acesso amigável para aderência às particularidades do processo onde for aplicado / Abstract: The process of plastic conformation by cold drawing of steel bars has it's main difficulty in the tool design. Even today, designers have abacuses and tables built over time through the successes and failures experimental. Such collections of information, usually, are restricted to companies or few technicians within their private libraries Due to the difficulty of access to practical information to design tools and more complex processes, the manufacture of cold drawn profiles has lost ground to other, sometimes more expensive, productive means. This work compiles abacuses and tables collected in my 30 years in cold drawing tools' design - either through my own experiences, either from inherited results of the private collections of other technicians - and also, the scarce bibliography about the subject, organizing a database for modeling a method that assertively assists the project tasks for cold drawing steel bars tools, using commercial software. The system is not final, thereby the program has open source and detailed for to be analyzed and improved, being indicated the points where must be inserted - or changed - information, making friendly access to the particularities of the production process where it will be applied / Mestrado / Materiais e Processos de Fabricação / Mestre em Engenharia Mecânica
|
182 |
[en] COMPOSER: NON-REQUIREMENTS ASPECTS IN AN AUTHORING ENVIRONMENT TO NCL APPLICATIONS / [pt] COMPOSER: ASPECTOS NÃO-FUNCIONAIS EM UM AMBIENTE DE AUTORIA PARA APLICAÇÕES NCLBRUNO SEABRA NOGUEIRA MENDONÇA LIMA 21 October 2011 (has links)
[pt] A cadeia de trabalho presente na criação, desenvolvimento e transmissão de
conteúdo hipermídia compreende vários atores, ambientes e equipamentos, desde
o criador do conteúdo, passando pelo programador da aplicação até o operador do
serviço de transmissão. Estando cada um desses atores imersos em diferentes
ambientes de trabalho, e com papéis específicos na criação e edição do conteúdo
a ser entregue ao usuário final. Nos dias de hoje, até mesmo os usuários finais, no
caso da TV os telespectadores, estão exigindo ferramentas que possam enriquecer
o seu conteúdo local. Uma única ferramenta de autoria não é capaz de atender
esses diferentes atores e requisitos. Atualmente, existem ferramentas de autoria
focadas em satisfazer uma pequena parte desses atores. Mas, essa pequena parte
não é satisfeita em sua plenitude, visto que tais ferramentas foram construídas,
muita das vezes, com base apenas em requisitos funcionais. Este trabalho discorre
sobre a importância de aspectos não-funcionais no desenvolvimento de novas
ferramentas de autoria hipermídia. É proposta uma arquitetura que habilita
ferramentas a atingir os requisitos específicos de cada ator no processo de criação
de conteúdo hipermídia. Essa arquitetura é sustentada sobre extensibilidade,
adaptabilidade, performance e escalabilidade. Visando testar a proposta deste
trabalho foi desenvolvida uma ferramenta de autoria para aplicações NCL (Nested
Context Language) que tem como base a arquitetura proposta. NCL foi escolhida
por ser a linguagem padrão para o sistema declarativo (Ginga-NCL) de TV Digital
Terrestre ISDB-TB e recomendação ITU-T para serviços IPTV. NCL permite a
autoria de documentos hipermídia por meio de uma abordagem simples e
expressiva. / [en] The chain of work present in the creation, development and transmission of
hypermedia content includes several actors, environments and equipment, from the
content creator, passing by the application developer all the way to the operator of
the transmission service. Each of these actors is immersed in different work
environments and has specific roles in the creation and editing of content being
delivered to the final user. Nowadays, even final users are demanding tools that can
enrich their content. A single authoring tool cannot meet these requirements and
different actors. Currently, there are authoring tools focused on satisfying a small
subset of these actors. But even this small part is not fully satisfied, since these
tools were built, most of the times, based only on functional requirements. This
work discusses the importance of non-functional aspects in the development of new
hypermedia authoring tools. This dissertation proposes an architecture that enables
tools to meet the specific requirements of each actor in the process of creating
hypermedia content. This architecture relies on extensibility, adaptability,
performance and scalability. In order to test the proposal of this work we have
developed an authoring tool for applications NCL (Nested Context Language) that
is based on the proposed architecture. NCL was chosen because it is the standard
language for the declarative system (Ginga-NCL) part of the Terrestrial Digital TV
of Brazil ISDB-TB and ITU-T IPTV services. NCL allows the authoring of
hypermedia documents in a simple and expressive form.
|
183 |
[en] COMPOSER: AN AUTHORING TOOL OF NCL DOCUMENTS FOR INTERACTIVE DIGITAL TV / [pt] COMPOSER: UM AMBIENTE DE AUTORIA DE DOCUMENTOS NCL PARA TV DIGITAL INTERATIVARODRIGO LAIOLA GUIMARAES 28 September 2007 (has links)
[pt] Com o advento da adoção de um padrão de TV digital
interativa pelo Brasil,
tem crescido o interesse pela análise das possíveis
alternativas nas mais diversas
áreas que compõem um sistema de TV digital. No caso do
Brasil, NCL é a
linguagem declarativa adotada para modelagem de aplicações
interativas no
Sistema Brasileiro de TV Digital Terrestre (ISDTV-T -
International System for
Digital TV). Nesse contexto, este trabalho apresenta a
ferramenta Composer, um
ambiente de autoria voltado para a criação de programas
NCL para TV digital
interativa. Da mesma forma como no editor HyperProp, no
qual é baseado, no
Composer as abstrações são definidas nos diversos tipos de
visões que permitem
simular um tipo específico de edição (estrutural,
temporal, leiaute e textual). Essas
visões funcionam de maneira sincronizada, a fim de
oferecer um ambiente
integrado de autoria. Além de ter sua interface gráfica e
funcional remodelada,
principalmente a visão temporal, problemas de
representação e edição de objetos
de mídia, relacionamentos de sincronismo entre objetos,
dentre eles os
relacionamentos interativos, e edição ao vivo são
tratados. Em resumo, o sistema
proposto visa facilitar e agilizar a criação de aplicações
voltadas para TV digital
abstraindo do autor toda, ou pelo menos parte da
complexidade de se programar
em NCL através desse ambiente de autoria. / [en] With the advent of adoption of an interactive digital TV
standard by the
Brazilian government, the interest for the analysis of
possible alternatives in
several areas that compose a digital TV system has
increased. In the case of
Brazil, NCL is the declarative language adopted for
modeling interactive
applications in the Brazilian Terrestrial Digital TV
System (ISDTV-T -
International System for Digital TV). In that context,
this work presents
Composer, an authoring tool to create NCL documents for
interactive digital TV.
In the same way that in the HyperProp editor, in which it
is based, in Composer
the abstractions are defined using views that allow to
simulate a specific type of
edition (structural, temporal, layout and textual). Those
visions work in a
synchronized way, in order to offer an integrated
authoring tool. Besides having
the user and the functional interface remodeled, mainly
its temporal view,
problems of representation and edition of media objects,
relationship problems,
amongst then the interactive relationships, and live
edition are treated. In
summary, the proposed system tries to make easier the
creation of documents for
digital TV abstracting from the author all, or at least
some complexity of
programming in NCL using this authoring tool.
|
184 |
Criação de um ambiente para o processamento de córpus de Português Histórico / Creation of an environment for processing of Historical Porrtuguese CorporaCandido Junior, Arnaldo 02 April 2008 (has links)
A utilização de córpus tem crescido progressivamente em áreas como Lingüística e Processamento de Língua Natural. Como resultado, temos a compilação de novos e grandes córpus e a criação de sistemas processadores de córpus e de padrões para codificação e intercâmbio de textos eletrônicos. Entretanto, a metodologia para compilação de córpus históricos difere das metodologias usadas em córpus contemporâneos. Outro problema é o fato de a maior parte dos processadores de córpus proverem poucos recursos para o tratamento de córpus históricos, apesar de tais córpus serem numerosos. Da mesma forma, os sistemas para criação de dicionários não atendem satisfatoriamente necessidades de dicionários históricos. A motivação desta pesquisa é o projeto do Dicionário Histórico do Português do Brasil (DHPB) que tem como base a construção de um córpus de Português do Brasil dos séculos XVI a XVIII (incluindo alguns textos do começo do século XIX). Neste trabalho são apresentados os desafios encontrados para o processamento do córpus do projeto do projeto DHPB e os requisitos para redação de verbetes do dicionário histórico. Um ambiente computacional para processamento de córpus, criação de glossários e redação de verbetes foi desenvolvido para o projeto DHPB sendo possível adaptá-lo para ser aplicado a outros projetos de criação de dicionários históricos / Corpora has been increasingly used within the areas of Linguistics and Natural Language Processing. As a result, new and larger corpora have been compiled and processing systems and standards for encoding and interchange of electronic texts have been developed. However, when it comes to compilation of historical corpora, the methodology is different from the ones used to compile corpora of contemporary language. Another drawback is the fact that most corpus processing systems provide few resources for the treatment of historical corpus, although there are numerous corpora of this type. Similarly, the systems for dictionary creation do not satisfactorily meet the needs of historical dictionaries. The present study is part of a larger project - the Historical Dictionary of Brazilian Portuguese (HDBP) - which aims to compile a dictionary on the basis of a corpus of Brazilian Portuguese texts from the sixteenth through the eighteenth centuries (including some texts from early nineteenth century). Here, we present the challenges for processing the corpus of the HDPB project and established the criteria for creating the entries of a historical dictionary. This study has developed a computational environment for processing the corpus, building glossaries as well as for creating the entries of the HDPB. This system can be easily adapted to the needs and scope of other historical dictionary projects
|
185 |
Recombinação de comportamento em ratos Wistar (Rattus norvegicus) em um novo procedimento de deslocamento de caixa / Recombination of behaviors in Wistar rats (Rattus norvegicus) in a new box displacement procedureDicezare, Rodrigo Harder Ferro 07 April 2017 (has links)
No começo do século XX, Wolfgang Köhler descreveu uma forma súbita de resolução de problemas, diferente da tentativa-e-erro, e chamou-a de insight. Para estudar essa forma de resolução, Epstein et al. (1984) elaboraram um teste de deslocamento de caixa, utilizando pombos como sujeitos. Nesse estudo, somente os pombos que aprenderam separadamente todos os comportamentos requisito conseguiram recombinar esses comportamentos e resolver a tarefa. Em estudos posteriores, foram utilizados ratos como sujeitos na mesma tarefa. Estes, porém, não puderam resolvê-la de forma súbita, direta e contínua. Portanto, o objetivo deste trabalho é desenvolver e avaliar um novo procedimento de deslocamento de caixa, que permita observar a resolução de problemas por recombinação de comportamentos aprendidos separadamente em roedores de pequeno porte, com topografia de resolução direta e contínua. Para isso, realizou-se uma adaptação do procedimento de deslocamento de caixas de Epstein et al. (1984), na qual utilizaram-se cereais açucarados como reforçadores para ensinar separadamente dois comportamentos aos ratos (n=2): empurrar um cubo de acrílico em direção a uma divisória iluminada, e subir no cubo e em uma plataforma. Em seguida, foi realizado um teste, no qual o cubo estava distante da plataforma e, para conseguir um pedaço de cereal açucarado, os ratos precisariam empurrá-lo até junto à plataforma, subir nele e em seguida na plataforma. Ambos puderam resolver o problema em uma topografia satisfatória para os critérios de insight. Um segundo teste foi realizado somente com um dos ratos, a fim de identificar qual estímulo controlava o comportamento do animal: a plataforma (objeto), ou sua localização (posição). O resultado desse teste revelou que a posição da plataforma controlava o desempenho do animal na tarefa. Por conta disso, foi então realizada mais uma fase de treino, que considerou a posição da plataforma como variável a ser controlada, e ambos os ratos foram expostos novamente ao problema. O resultado demonstrou que o re-treino foi efetivo em estabelecer controle da plataforma (objeto) sobre o desempenho do rato na tarefa, e verificou-se uma nova resolução do problema satisfatória para os critérios de insight. Concluiu-se que o procedimento adotado possibilitou e favoreceu a recombinação de comportamentos com topografia direta e contínua / In the beginning of the 20th century, Wolfgang Köhler described a new sudden way to solve problems, different from try-and-error. He called it insight. To study this new way of problem solving, Epstein et al. (1984) proposed a box displacement test with pigeons as subjects. In this study, only pigeons that separately learned all required behaviors could recombine these behaviors and solve the task. However, in later studies, rats were used as subjects in the same task, and they could not solve the task in a sudden, direct and continuous way. Therefore, the aim of this work is to develop and evaluate a new procedure of box displacement that allows the observation of problem resolution by recombination of behaviors learned separately in small rodents, with a direct and continuous resolution topography. To that end, an adaptation of Epstein et al. (1984) study\'s procedure was carried out, in which two repertoires were taught separately to the rats (n = 2) with sugary cereals as reinforcement: pushing an acrylic cube to an illuminated section; and climbing on the cube and on a platform. After teaching these behaviors, a test was carried out, in which the cube was far from the platform and, to get a piece of sugary cereal, the rats had to push the cube onto platform, climb on it and then on the platform. The test results showed that both rats could solve the problem in a satisfactory topography for insight criteria. A second test was performed with only one of the rats to identify which stimulus controlled the behavior of the animal: the platform (object) or its location (position). The results of this test revealed that the position of the platform controlled the performance of the animal in the task. Hence, a further training phase was carried out, which considered the position of the platform as a variable to be controlled, and both rats were exposed again to the problem. The results showed that the re-training was effective in establishing control of the platform (object) on the performance of the rats, and a new resolution of the problem was satisfactory for the insight criteria. Based on the results, it is possible to conclude that the procedure adopted allowed and favored the recombination of behaviors with direct and continuous topography
|
186 |
Desenvolvimento de candidato a material de referência certificado para Uísque: um material eficaz para a garantia da qualidade e manutenção da ISO/IEC 17025 em Laboratórios de Ensaio / Development of candidate certified reference material for Whiskey: an effective material for quality assurance and maintenance of ISO / IEC 17025 in Testing LaboratoriesMarcki, Danieli Cristina 29 June 2017 (has links)
Atualmente, a produção de Material de Referência Certificado (MRC) tem apresentado destaque devido a sua importância na aplicação durante a validação de métodos, estimativa de incerteza e controles de rotina, atendendo uma grande demanda de laboratórios que aplicam sistemas de gestão da qualidade (como por exemplo, baseados na ISO/IEC 17025) e necessitam desenvolver estas atividades em busca da rastreabilidade metrológica. Dentre estes diferentes laboratórios, podemos destacar os laboratórios de bebidas que analisam, por exemplo, contaminantes em uísque visando um monitoramento adequado deste produto de grande consumo interno, seja de produtos importados e/ou produção nacional. Desta maneira este projeto visa o desenvolvimento de candidato a material de referência certificado (MRC) para Uísque, considerando a importância em desenvolver métodos para a produção de material de referência, sendo o uísque um excelente candidato devido à importância em monitorar adequadamente este produto que tem apresentado um crescimento exponencial de consumo nos últimos anos. / Currently, the production of CRM has been highlighted due to its importance in method validation, uncertainty measurement and routine controls, necessary for laboratories that apply quality management systems (e.g. based on ISO/IEC 17025) and need to develop these activities to achieve an adequate metrological traceability. Among these different laboratories, we can highlight the beverage laboratory that analyses, for example, contaminants in whiskey to ensure an appropriate monitoring of this product that has great domestic consumption. This project aims the development of a candidate certified reference material (CRM) for whiskey, considering the importance of developing methods for the production of reference material, being the whiskey an excellent candidate because of its importance to properly monitor this product that has shown an exponential growth of consumption in recent years.
|
187 |
Organização sequencial e otimização do comportamento na quebra de frutos encapsulados por macacos-prego (Sapajus sp.) em semi-liberdade / Sequential organization and optimization of the nut-cracking behavior of semi-wild tufted capuchin monkeys (Sapajus sp.)Corat, Clara de Souza 27 June 2013 (has links)
O uso de ferramentas para a quebra de frutos encapsulados requer a associação de três elementos: o fruto encapsulado; o martelo, uma pedra ou tronco de árvore resistente solto, o qual o animal consegue carregar e levantar; e a bigorna, uma superfície rígida e fixa. Este estudo dá continuidade às pesquisas que vêm sendo desenvolvidas com um grupo de macacos-prego (Sapajus sp.) em semi-liberdade do Parque Ecológico do Tietê. Dividimos este estudo em duas etapas principais (#1 e #2), e uma paralela (#1B). Na Etapa 1, buscamos analisar se os macacos-prego exibem um padrão na organização das sequências de comportamentos para a realização da quebra de cocos. Disponibilizamos os três elementos para a quebra de coco (coco, martelo e bigorna) em um triângulo, separados, equidistantes e visíveis, cada um pareado com uma placa com padrões gráficos distintos. Assim, para realizar a quebra, os indivíduos precisavam visitar os vértices do triângulo e reunir os elementos móveis (cocos e martelos) na bigorna. Nossos resultados mostram que eles apresentam um padrão bem definido para realizar a sequência de quebra de cocos, sendo o coco o primeiro elemento da quebra a ser coletado, seguido pelo martelo e, depois, pelo transporte de ambos para a bigorna. Observamos que este é um dos trajetos mais curtos e aquele com o menor custo de transporte de martelo. Na Etapa 2, buscamos analisar se a coleta do martelo em segundo lugar é um mecanismo de otimização do transporte de ferramentas ou um subproduto da priorização da obtenção do coco. Disponibilizamos dois martelos, de mesmo peso, a distâncias distintas da bigorna e dos cocos, desta maneira o custo do transporte de martelos (energético e risco de lesões) seria maior ou menor dependendo da escolha, pelo indivíduo, de um ou outro martelo. Nossos resultados mostram que, de fato, a escolha do martelo mais próximo à bigorna e a sequência em que os elementos são coletados diminuem os custos do transporte de martelos. Na Etapa 1B analisamos, através da organização sequencial para a realização da quebra de cocos, se os macacos-prego aprenderam a associação entre padrões gráficos distintos e elementos da quebra de cocos. Para isso utilizamos a mesma configuração do sítio experimental e metodologia da Etapa 1, mas ocultamos os elementos com bacias opacas, de modo que as únicas informações a respeito da posição dos elementos nos vértices seriam as placas com padrões gráficos. Os resultados desta etapa mostraram que os indivíduos não associaram os padrões gráficos com os elementos de quebra durante as Etapas 1 e 1B deste estudo. Acreditamos que os macacos podem não ter realizado a associação na Etapa 1, porque os elementos estavam visíveis, ou seja, não havia a necessidade da associação; a qual seria vantajosa, apenas, na Etapa 1B, mas ela também não ocorreu ao longo desta etapa, talvez pelo tempo reduzido de exposição dos macacos ao problema, somado ao desinteresse dos indivíduos - possivelmente, devido à falta do estímulo visual dos elementos / The use of tools to crack nuts requires the gathering of three elements: the nut; the hammer, a loose rock or tree trunk, that the animal can lift and carry; and the anvil, a rigid and immovable surface. This study gives continuity to research with a group of semi-wild tufted capuchin monkeys (Sapajus sp.) from the Tietê Ecological Park. We divided this study in two main phases (#1 and #2), and a parallel phase (1B). In Phase 1, we examined if the monkeys exhibit a pattern in the sequential organization of the nut-cracking behavior. We provided and placed the three nut-cracking elements (nut, hammer and anvil) in a triangle: separated, equidistant and visible; each one paired with a plaque with different graphic sings. Thus, to crack the nut the individuals had to visit the triangle vertices and gather the movable elements (nut and hammer) at the anvil. Our results show that the monkeys have a well-defined pattern to perform the nut-cracking sequence: the nut is the first element to be collected, followed by the hammer, and then by the transport of both to the anvil. This is one of the shortest paths and the one with the lowest cost of hammer transportation. In Phase 2, we examined if the hammer being collected in second place is a mechanism to optimize the tool transportation or if it is just a byproduct of the priorization of the nut collection. We provided two hammers, of same weight, and placed them at different distances of the nut anvil, this way the cost of the hammer transportation (energy and risk of injury) would be higher or lower depending on the choice of hammer. The results show that, in fact, choosing the hammer that was closer to the anvil and the sequence that the elements were collected reduces the costs of hammer transportation. In Phase 1B, we examined, through the sequential organization of the nut-cracking behavior, if the monkeys were able to associate different graphic patterns with the nut-cracking elements. We used the same experimental configuration and methodology of Phase 1, but we hid the elements in the vertices underneath opaque bowls, so the only information about the location of the elements were the plaques with graphic signs. Our results show that the individuals did not associate the graphic patterns with the respective nut-cracking elements neither in Phase 1 nor in Phase 1B. We believe that the monkeys did not learn the association in Phase 1 because the elements were visible, so there was no need for the association - which would be advantageous only on Phase 1B - but it didnt occur during this phase either, perhaps because of the reduced time the monkeys were exposed to the problem, added to the disinterest of the individuals possibly due to the lack of the elements visual stimuli
|
188 |
Contribuindo para a avaliação do teste de programas concorrentes: uma abordagem usando benchmarks / Evaluating the testing of concurrent programs: an approach using benchmarksDourado, George Gabriel Mendes 18 November 2015 (has links)
O teste de programas concorrentes é uma atividade que envolve diferentes perspectivas. Uma das mais conhecidas refere-se ao desenvolvimento de novos conhecimentos sobre critérios, modelos e ferramentas de teste que auxiliem o testador nessa atividade. Outra perspectiva, igualmente importante, porém, ainda incipiente, é a avaliação da atividade de teste de programas concorrentes com relação à sua eficiência e eficácia para revelar defeitos de difícil detecção. O projeto TestPar em desenvolvimento no ICMC/USP tem abordado essas duas perspectivas ao longo dos últimos anos, onde novas tecnologias de teste vêm sendo desenvolvidas e avaliadas sistematicamente. Este trabalho inseriu-se no contexto do projeto TestPar e teve por objetivo principal contribuir para melhorar a avaliação da atividade de teste de programas concorrentes, através do desenvolvimento de benchmarks específicos para este contexto. Essa avaliação representa um desafio para a área de teste, sendo essencial a existência de benchmarks simples o bastante para serem validados manualmente, se necessário, e complexos o bastante para exercitar aspectos não triviais de comunicação e sincronização, encontrados de fato nos programas concorrentes. Assim, neste trabalho de mestrado foram desenvolvidos benchmarks livres de defeitos conhecidos e algumas versões de benchmarks com defeitos intencionalmente inseridos, baseados em taxonomias de defeitos. Esses benchmarks seguiram uma série de características bem definidas, contando ainda com uma documentação padronizada e completa. Os benchmarks foram validados através da condução de estudos experimentais, do uso em diferentes projetos de pesquisa e também com a verificação da sua aplicabilidade para fins educacionais. Os resultados obtidos demonstram que os benchmarks atingiram os objetivos para os quais foram propostos, gerando uma demanda controlada e qualificada sobre modelo, critérios e a ferramenta de teste desenvolvidos no projeto TestPar. Os experimentos realizados permitiram destacar pontos positivos e limitações desses artefatos. Outra aplicação dos benchmarks foi como recurso educacional para o ensino em disciplinas como programação concorrente. / The testing of concurrent programs is an activity that involves distinct perspectives. One of the most known refers to the development of new knowledge about criteria, models and testing tools to support this activity. Other perspective, as important as the first one and still incipient, is the evaluation of the testing activity of concurrent programs with respect to its efficiency and effectiveness in revealing errors hard to detect. The TestPar project under development at ICMC/USP has addressed both these two perspectives over the past years, where new testing technologies are being proposed and evaluated systematically. This project belongs to the context of the TestPar project, aiming to improve the evaluation of the testing activity of concurrent programs through the development of benchmarks specific for this context. This evaluation represents a challenge to the testing area, which must consider benchmarks simple enough to be validated manually, if necessary, but also complex enough to exercise not trivial aspects of communication/synchronization, found in programs used indeed. Thus, in this work it were developed bug-free benchmarks and some versions of faulty benchmarks with bugs inserted, based on error taxonomies. These benchmarks followed a series of well-defined features, including also a standardized and complete documentation. Benchmarks were validated by means of diferent scenarios: experimental studies, their use by different on-going research projects and also with the verification of their applicability for educational aims. The results obtained show that our benchmarks have achieved their objectives, generating a controlled and qualified demand on model, criteria and the tool developed under TestPar project. The experiments reveal strengths and limitations of these artifacts. Benchmarks have been also used as educational resources for the teaching of concurrent programs.
|
189 |
Compósitos de alumina com adições de NbC, TaC e TiC para aplicação em ferramentas de corte / Alumina composites with additions of NbC, TaC and TiC for application in cutting toolsTonello, Karolina Pereira dos Santos 15 March 2013 (has links)
No presente trabalho foram desenvolvidos compósitos à base de alumina, com adição de carbetos de metais de transição, NbC, TaC e TiC, como reforço. Os carbetos, na forma de partículas, foram adicionados em 1,5% em volume à matriz de alumina durante a moagem em attritor. O processamento foi realizado por moagem em attritor, secagem em rotoevaporadora e desaglomeração em peneira. A dinâmica de oxidação dos carbetos e das composições dos compósitos foi estudada para a definição de parâmetros de sinterização e processamento dos compósitos. A cinética de sinterização foi estudada por dilatometria, com taxa de 10°C/min. até 1600°C em atmosfera de ar sintético, e até 1800°C, em atmosfera de argônio, com esta etapa foi possível verificar que o NbC e o TiC dificultaram a sinterização da alumina e que o TaC auxiliou nos processos de retração. Nas amostras que foram sinterizadas em dilatômetro ao ar foram detectadas fases resultantes de fusão congruente nos compósitos Al2O3/NbC e Al2O3/TaC, foram também observadas evidências de formação de líquido no compósito com adição de TaC. Com base nesses resultados foram estudadas duas técnicas de produção das ferramentas de corte: prensagem uniaxial seguida de sinterização sem pressão e sinterização por prensagem a quente. Todas as amostras foram caracterizadas microestruturalmente e quanto às propriedades mecânicas, tendo-se determinado que as amostras produzidas por prensagem a quente possuem microestrutura mais controlada e propriedades mecânicas superiores às produzidas por sinterização sem pressão. Pelos processos estudados foi observado que os carbetos influenciam diferentemente a sinterização da alumina. De maneira geral a presença destas fases nos contornos de grãos promove alterações na microestrutura modificando o tamanho de grãos da alumina. Foi proposta a hipótese de que esse comportamento é afetado pela formação de uma camada superficial resultante da oxidação dos reforços, com isto, de acordo com os diagramas de fase é possível a formação de soluções sólidas entre alumina e Ta2O5 e Nb2O5 além da formação de fase líquida, estes mecanismos alterariam a mobilidade dos contornos de grão da alumina. Para o processamento das ferramentas de corte foi utilizada prensagem a quente, escolhido pelo critério da microestrutura e propriedades mecânicas. Os testes de usinagem foram realizados com ferramentas de corte de geometria quadrada, em peças de ferro fundido cinzento e vermicular. O tempo de vida útil da ferramenta produzida com o compósito Al2O3/ NbC foi 13% superior quando comparado à uma ferramenta cerâmica comercial no teste de usinagem de ferro fundido cinzento. / In the present work alumina based composites with addition of transition metal carbides, NbC, TaC and TiC as reinforcement phase were developed. The carbides, in particulate form, were added in 1.5vol.% on the alumina matrix during attritor milling. The processing was conducted by attritor milling, drying in a rotoevaporator and deagglomeration in sieve. The oxidation dynamics of carbides and composities were studied in order to define the sintering and processing parameter of composites. The sintering kinetics was studied by dilatometry at 10° C/min. up to 1600 ° C in synthetic air atmosphere and up to 1800°C in argon, with this step it was possible to verify that the NbC and TiC hindered the sintering of alumina and the TaC helped in the retraction process. In the sintered by dilatometer in air phases resultant from congruent melting on Al2O3/NbC and Al2O3/TaC composites were detected in the composite with TaC addition was also observed evidence of liquid phase. In the samples sintered in dilatometer in air were detected solid solutions on composites CN and CTa and evidence of liquid formation in the composite with TaC addition. Based on these results two techniques were studied in order to produce cutting tools: uniaxial pressing, followed by pressureless sintering and hot pressing. All samples were characterized by microstructure and mechanical properties, and it was shown that samples produced by hot pressing have more controlled microstructure and mechanical properties superior to those produced by pressureless sintering. With the studied processes it was observed that the carbides influence differently alumina sintering. Generally the presence of these phases at the grain boundary causes changes in the microstructure modifying alumina grain size alumina. The proposed hypothesis is that this behavior would be affected by the formation of a surface layer resulting from oxidation of reinforcements with that, according to the phase diagrams, it is possible to find solid solutions between alumina and Ta2O5 and Nb2O5 and possible formation of liquid phase, which alter the mobility of the grain boundary of alumina. Hot pressing was used for the processing of cutting tools, chosen due to the microstructure and mechanical properties. The machining tests were performed with square geometry cutting tools, in samples of gray cast iron and compacted graphite iron. The tool life of cutting tool produced with Al2O3 / NbC composite was 13% higher when compared to a commercial ceramic cutting tool on machining of gray cast iron.
|
190 |
Socioecologia de macacos-prego (cebus libidinosus) em área de ecótono cerrado/caatinga / Socioecology of bearded capuchin monkeys (Cebus libidinosus) in an area of ecotone cerrado/caatingaVerderane, Michele Pereira 18 June 2010 (has links)
Os primatas exibem uma grande diversidade de sistemas sociais e a socioecologia propõe uma abordagem para o estudo da evolução dessa diversidade, através da análise das relações entre comportamento social, ecologia e dinâmica de populações. Primatas do gênero Cebus exibem vasta distribuição geográfica e grande flexibilidade alimentar e comportamental e, portanto, são modelos ideais para o teste das previsões dos modelos. Além disso, algumas populações exibem o uso espontâneo de ferramentas para processar alimentos. Embora seja reconhecido que o uso de ferramentas pode alterar as características de recursos alimentares, o impacto dessa técnica nunca foi incorporado às previsões dos modelos socioecológicos. Os objetivos deste trabalho foram (1) estudar as relações sociais de fêmeas de uma população selvagem de Cebus libidinosus, que utiliza ferramentas, em área de ecótono Cerrado/Caatinga, à luz dos modelos socioecológicos, investigando se o uso de ferramentas afeta o padrão das relações estabelecidas entre elas, e (2) estudar o orçamento de atividades, a dieta e o uso de substratos, avaliando se fatores ecológicos afetam o tempo de atividades e a dieta desses animais. Esta pesquisa foi realizada na Fazenda Boa Vista (BV), localizada no município de Gilbués, ao Sul do estado do Piauí. Foram estudados dois grupos de macacos (ZA e CH), entre maio de 2006 e abril de 2008. Os resultados mostram que a oferta de alimento na BV não sofreu variação ao longo desta pesquisa, assim como o orçamento de atividades dos animais. Frutos e invertebrados foram os principais alimentos consumidos pelos macacos, enquanto recursos obtidos com ferramentas foram pouco representativos na dieta. Diferenças sexuais no padrão de atividades e dieta sugerem que as fêmeas possuem uma demanda energética maior e/ou que são forrageadoras menos eficientes do que os machos, enquanto as diferenças entre faixas etárias indicam que os juvenis são forrageadores menos eficientes do que os adultos. Frutos, que são recursos de alta qualidade nutricional, discretamente distribuídos no ambiente e usurpáveis, foram o principal alimento das fêmeas, e o tamanho das fontes alimentares discretas variou entre intermediário e grande. O sistema social da população de estudo correspondeu ao padrão Residente-Nepotista-Tolerante (filopatria de fêmeas, formação de hierarquia de dominância linear e estável, relações de catação e coalizão entre fêmeas), corroborando a previsão dos modelos para primatas que se alimentam de recursos de alto valor energético, com distribuição discreta e usurpáveis, e que estão submetidas a forte competição direta intra e entre grupos por alimento. O padrão de atividades, a dieta, o uso de substratos e a estrutura social de C. libidinosus da BV foram semelhantes ao padrão encontrado para algumas populações de Cebus que não utilizam ferramentas, indicando que o uso desses artefatos não alterou significativamente o tempo de atividades e a dieta dos animais da BV, nem os regimes competitivos e a dinâmica das relações entre fêmeas. Contudo, é possível que o impacto do uso de ferramentas sobre esses aspectos comportamentais seja mais evidente em populações que dependam prioritariamente de alimentos extraídos com ferramentas / Primates exhibit a wide diversity of social systems. Socioecology proposes an approach for studying the evolution of this diversity, by analyzing the relationship between social behavior, ecology and population dynamics. Primates of the genus Cebus exhibit a wide geographic distribution and a related diet and behavioral flexibility, thus are ideal for testing predictions from the socioecological model. In addition, some populations exhibit the spontaneous use of tools for processing food. Although it is recognized that the use of tools may change the characteristics of food resources, the impact of this technique was never incorporated into the predictions of socioecological models. Our aims were (1) to study the social relationships of females of a wild tool using population of Cebus libidinosus, in an area of ecotone Cerrado/Caatinga, in the light of socioecological models, investigating whether the use of tools affects the pattern of females social relationships, and (2) to study the activity budget, diet and substrate use, assessing whether ecological factors affect these behavioural patterns of the animals. This research was conducted at Fazenda Boa Vista (BV), located in the municipality of Gilbués, south of Piauí state. We studied two groups of monkeys (ZA and CH), between May 2006 and April 2008. The results show that the amount of available food did not change in BV during the research period, as well as the activity budget of the animals. Fruits and invertebrates were the main foods eaten by the monkeys, while foods obtained with the aid of tools represented a small proportion of their diet. Sex differences in diet and activity patterns suggest that females have a higher energy demand and/or are less efficient foragers than males, while the differences between age groups indicate that juveniles are less efficient foragers than adults. Fruits, which are a high quality, patchily distributed and usurpable food resource, were the main food for females, and the size of patchy food sources ranged from intermediate to large. The social system of the study population corresponded to the standard Resident-nepotistictolerant (philopatry of females, linear dominance hierarchy and stable relations of grooming and coalition between females), supporting the models predictions for primates that feed on high quality, patchily distributed and usurpable food resources, and are subject to strong direct competition within and between groups for food. The pattern of activities, diet, substrate use and the social structure of C. libidinosus at BV were similar to the pattern found in some populations of Cebus that do not use tools, indicating that the use of these artifacts did not significantly alter the activity period and the diet of animals in the BV or the competitive regimes and the dynamics of relations between females. However, it is possible that the impact of using tools on behavioral aspects is most evident in populations that depend primarily on foods extracted with the aid of tools
|
Page generated in 0.0969 seconds