Made available in DSpace on 2014-06-12T15:58:18Z (GMT). No. of bitstreams: 2 arquivo3452_1.pdf: 3452194 bytes, checksum: f140ad60d48eddac72b254cec44bfe46 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / O advento das novas tecnologias Very Large Scale Integration (VLSI) e o crescimento da demanda por produtos eletrônicos no mundo estão trazendo um aumento explosivo na complexidade dos circuitos eletrônicos. A contrario sensu, o tempo de mercado (time-tomarket) de um produto eletrônico, e o tempo de projeto necessário para produção e venda de um sistema estão ficando cada vez menores. Para que o circuito integrado chegue ao mercado com o funcionamento esperado é necessário realizar testes. Parte desses testes é chamada de verificação funcional e é a parte do projeto que requer mais tempo de desenvolvimento. Buscam-se sempre novos métodos que permitam que a verificação funcional seja realizada de forma ágil, fácil e que proveja uma maior reusabilidade e diminuição da complexidade na construção do ambiente de simulação, sem interferir negativamente na qualidade do processo de verificação e do produto. Dessa forma, o uso de uma metodologia de verificação funcional eficiente e de ferramentas que auxiliem o engenheiro de verificação funcional é de grande valia. A metodologia OVM_tpi permite o desenvolvimento de todo o fluxo de construção de um ambiente de verificação, independente da escolha feita pela equipe desenvolvedora, de forma que o ambiente de simulação seja gerado antes da implementação do circuito a ser verificado (Design Under Verification - DUV). Além disso, ataca os principais desafios do processo de verificação funcional, tempo e custo de desenvolvimento, contribuindo para uma diminuição da complexidade, reusabilidade, comunicação entre o ambiente com uma interface bem definida e diminuição no tempo de desenvolvimento de um testbench através do uso de templates que criam de forma semiautomática partes do ambiente de verificação. OVM_tpi teve como principal base a metodologia Open Verification Methodology (OVM), utilizando sua biblioteca para a construção do testbench e o paradigma de linguagem orientação objeto suportado por SystemVerilog, linguagem criada especialmente para verificação funcional e design. Sua validação foi através de estudos de casos que demonstraram a eficácia do seu uso, tanto para circuitos unidirecionais, quanto para bidirecionais

Made available in DSpace on 2014-06-12T15:52:22Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A crescente demanda por produtos eletrônicos e a capacidade cada vez maior de integração criaram sistemas extremamente complexos em chips, conhecidos como Systemon- Chip ou SoC. Seguindo em sentido oposto a esta tendência, os prazos (time-to-market) para que estes sistemas sejam construídos vem continuamente sendo reduzidos, obrigando que muito mais funcionalidades sejam implementadas em períodos cada vez menores de tempo. A necessidade de um maior controle de qualidade do produto final demanda a atividade de Verificação Funcional que consiste em utilizar um conjuntos de técnicas para estimular o sistema em busca de falhas. Esta atividade é a extremamente dispendiosa e necessária, consumindo até cerca de 80% do custo final do produto. É neste contexto que se insere este trabalho, propondo uma metodologia de Verificação Funcional chamada IVM que irá fornecer todos os subsídios para garantir a entrega de sistemas de alta qualidade, e ainda atingindo as rígidas restrições temporais impostas pelo mercado. Sendo baseado em metodologias já bastante difundidas e acreditadas, como o OVM e o VeriSC, o IVM definiu uma organização arquitetural e um fluxo de atividades que incorporou as principais características de ambas as abordagens que antes estavam disjuntas. Esta integração de técnicas e conceitos resulta em um fluxo de verificação mais eficiente, permitindo que sistemas atinjam o custo, prazo e qualidade esperados

Modern embedded systems development poses new challenges to a designer due to the global reachability of the contemporary market. One product shipped to different countries or customers should satisfy varying conditions, standards and constraints. Variability of a developed system should be taken into account by a designer. In a case of the embedded heterogeneous systems, this problem becomes challenging. Along with the variability heterogeneity of a system introduces new tasks, which should be addressed during design process. In this work, we propose a technology independent design flow. The proposed solution is supported by state-of-the-art tools and takes into account variability, partitioning, interfacing and dependency resolving processes. This thesis is conducted as a case study. We explored a design process of an industrial project, identified existing challenges and drawbacks in the existing solutions. We propose a new approach to a design flow of heterogeneous embedded systems. Also, a tool, supporting the presented solution, is implemented, which would allow a developer to include this approach into everyday design flow in order to increase a development speed and enable a task automation.

Increasing environmental awareness over the past decade as well as stringent environmental laws forced all factories to invest in water treatment processes for effluent treatment before discharge or re-use. Most of these effluent treatment processes utilize membranes as the physical. barrier for separation. The membranes used in water applications are expensive and alternative materials and production techniques will increase the viability of membrane separation processes. Experiments conducted on irradiated polyethylene showed that some of its properties were enhanced while others deteriorated. However, the enhanced properties make the polyethylene, in particular ultra-high molecular weight polyethylene, an ideal membrane material. The manufactured membranes were tested in extraction experiments, and satisfactory results were obtained. Permeation studies on the membranes compared favourably with similar studies done on commercially available membranes. An extraction rate of 1.08 g/(m2h) nickel was achieved. A preliminary cost evaluation showed that these membranes can be manufactured at a low cost (R13.45/m2). and can be applied as supported liquid membranes. Future research should focus on methods to decrease the brittleness and stiffness of the membranes. / Thesis (MIng)--PU for CHE, 1999

Increasing environmental awareness over the past decade as well as stringent environmental laws forced all factories to invest in water treatment processes for effluent treatment before discharge or re-use. Most of these effluent treatment processes utilize membranes as the physical. barrier for separation. The membranes used in water applications are expensive and alternative materials and production techniques will increase the viability of membrane separation processes. Experiments conducted on irradiated polyethylene showed that some of its properties were enhanced while others deteriorated. However, the enhanced properties make the polyethylene, in particular ultra-high molecular weight polyethylene, an ideal membrane material. The manufactured membranes were tested in extraction experiments, and satisfactory results were obtained. Permeation studies on the membranes compared favourably with similar studies done on commercially available membranes. An extraction rate of 1.08 g/(m2h) nickel was achieved. A preliminary cost evaluation showed that these membranes can be manufactured at a low cost (R13.45/m2). and can be applied as supported liquid membranes. Future research should focus on methods to decrease the brittleness and stiffness of the membranes. / Thesis (MIng)--PU for CHE, 1999

A crescente demanda por produtos eletrônicos e a capacidade cada vez maior de integração criaram sistemas extremamente complexos em chips, conhecidos como Systemon-Chip ou SoC. Seguindo em sentido oposto a esta tendência, os prazos (time-to-market) para que estes sistemas sejam construídos vem continuamente sendo reduzidos, obrigando que muito mais funcionalidades sejam implementadas em períodos cada vez menores de tempo. A necessidade de um maior controle de qualidade do produto final demanda a atividade de Verificação Funcional que consiste em utilizar um conjuntos de técnicas para estimular o sistema em busca de falhas. Esta atividade é a extremamente dispendiosa e necessária, consumindo até cerca de 80% do custo final do produto. É neste contexto que se insere este trabalho, propondo uma metodologia de Verificação Funcional chamada IVM que irá fornecer todos os subsídios para garantir a entrega de sistemas de alta qualidade, e ainda atingindo as rígidas restrições temporais impostas pelo mercado. Sendo baseado em metodologias já bastante difundidas e acreditadas, como o OVM e o VeriSC, o IVM definiu uma organização arquitetural e um fluxo de atividades que incorporou as principais características de ambas as abordagens que antes estavam disjuntas. Esta integração de técnicas e conceitos resulta em um fluxo de verificação mais eficiente, permitindo que sistemas atinjam o custo, prazo e qualidade esperados._________________________________________________________________________________________ ABSTRACT: The growing demand for electronic devices and its even higher integration capability created extremely complex systems in chips, known as System-on-Chip or SoC. In a opposite way to this tendency, the time-to-market for these systems be built have been continually reduced, forcing much more functionalities be implemented in even shorten time periods. The final product quality control is assured by the Functional Verification activity that consists in a set of techniques to stimulate a system in order to find bugs. This activity is extremely expensive and necessary, responding to around 80% of final product cost. In this context this work is inserted on, proposing a Functional Verification methodology called IVM that will provide all conditions to deliver high quality systems, while keeping the hard time restrictions imposed by the market. Based in well known and trusted methodologies, as OVM and VeriSC, the IVM defined an architectural organization and an activity flow that incorporates features of both approaches that were separated from each other. This techniques and concepts integration resulted in a more efficient verification flow, allowing systems to meet the desired budget, schedule and quality.

Impulse purchases on mobile applications are an important source of income for clothing companies in today's society. Thoughtful store communication on shopping apps is therefore necessary in the competitive clothing industry. Environmental elements are various communication tools in online visual merchandising (OVM) which have a great influence on consumers' purchasing behavior but whose impact on impulse purchases separately has not yet been explored. The purpose of the study is therefore to elucidate which environmental elements stimulate impulse buying behavior online on mobile shopping apps in the clothing industry. To investigate this, a qualitative study was conducted in the form of semi-structured interviews. According to the study, all environmental elements besides audio on video stimulate online impulse buying behavior on mobile shopping apps within the clothing industry. However, certain conditions exist for the execution of these environmental elements for this stimulus to occur. The study's results therefore show a problem that exists in securing which environmental elements stimulate impulse buying behavior when there are many embodiments of environmental elements that are experienced in different ways depending on who is exposed to them that causes an element to be able to stimulate but also prevent impulse purchases depending on this. / Försäljning genom impulsköp via mobilappar är en viktig inkomstkälla för klädföretag i dagens samhälle. Behovet av genomtänkt butikskommunikation på shoppingappar är därför stort i den konkurrenssatta klädbranschen. Miljömässiga element är olika kommunikationsredskap inom online visual merchandising (OVM) som har stort inflytande på konsumenters köpbeteende men vars påverkan på impulsköp var för sig ännu inte har utforskats. Syftet med studien är därför att belysa vilka miljömässiga element som stimulerar impulsköpbeteende online på mobila shoppingappar inom klädbranschen.  För att undersöka detta har en kvalitativ studie genomförts i form av semistrukturerade intervjuer. Enligt gällande studie stimulerar alla miljömässiga element förutom ljud till video till impulsköpbeteende online på mobila shoppingappar inom klädbranschen. Dock förekommer vissa premisser för utförandet av dessa miljömässiga element för att denna stimulans ska ske. Studiens resultat visar således en problematik som förekommer vid säkerställandet av vilka miljömässiga element som stimulerar till impulsköpbeteende då det förekommer många utföranden av miljömässiga element, som i sin tur upplevs på olika vis beroende på vem som exponeras för dem att det gör att ett element många gånger verkar kunna stimulera men också förhindra impulsköp beroende av detta.

No description available.