基于形式描述的编译优化自动测试方法与技术研究

编译优化是现代编译器不可缺少的重要功能。编译优化技术在过去几十年里取得了显著进展，对提升程序运行速度、节省存储空间、节省能耗等起到了不可替代的作用。然而，编译优化的可靠性却不尽人意。编译优化技术种类多、处理复杂而且可复用性弱，容易出错，即便是成熟的编译器，也不断有与编译优化相关的bug被发现出来。编译器的可靠性对软件产品的可靠性和安全性有直接影响，随着编译优化在现代编译器中的比重不断增加，编译优化的可靠性也日益受到人们的关注。 软件测试是保障编译优化可靠性的基本技术手段之一，然而，编译优化测试涉及测试程序编写、测试执行等过程，人工完成相当费时费力，因此有必要研究编译优化自动测试方法，以提高编译优化测试的效率。基于这一实际需求，Intel、MEI (Matsushita Electric Industrial)、DaimlerChrysler AG等业界产商近年来也相继与有关研究机构开展合作，研究编译优化自动测试方法。 目前已有的编译器自动测试方法中大多数都是以程序设计语言的语法和语义为主要依据，适用于测试语法检查、语义检查、代码生成等基本编译功能，对于编译优化的测试则缺乏针对性，测试效率较低，而已有的若干种面向编译优化的自动测试方法也存在着对编译优化刻画不够准确、自动化程度不高等缺陷。 本文提出一种基于形式描述的编译优化自动测试方法(TEMCOFS)，其实现过程分为四个阶段，即：(1) 建立编译优化形式描述；(2) 分析编译优化描述的正确性；(3) 基于编译优化形式描述自动生成测试程序；(4) 自动执行测试。在TEMCOFS方法框架下，本文分别研究了编译优化形式化描述方法、编译优化描述正确性分析方法和基于形式描述的两种自动测试方法，实现了三类典型优化—表达式优化、数据流优化、循环优化的自动测试，主要工作包括： (1) 在编译优化形式描述方面，除了应用前人研究成果—TRANS语言描述了表达式优化和数据流优化之外，还对TRANS语言进行了扩展，建立了循环优化的形式描述机制； (2) 在编译优化正确性分析方面，首先证明了揭示程序数据依赖关系对程序变换正确性影响的依赖基础定理，为循环优化正确性分析提供了基础，然后探讨了编译优化正确性分析的一般方法； (3) 在测试自动执行方面，提出了编译优化自动变形测试执行方法，该方法将变形测试思想引入编译优化测试中，利用测试程序等价性质实现测试结果的自动判定，能够避免传统方法中测试结果判定所存在的问题； (4) 在测试程序自动生成方面，分别对应两种测试自动执行方法—比照法和变形法提出了基于编译优化形式描述的测试程序自动生成方法，能够根据表达式优化、数据流优化、循环优化的形式描述自动生成测试程序集。 在GCC编译器上的实验表明，基于本文方法自动生成的测试程序集可使GCC的编译优化模块较快达到较高的测试覆盖率。与其他编译器自动测试方法相比，本文方法对编译优化测试的针对性较好，自动化程度也较高。总而言之，本文方法对于提高编译优化测试效率、保障优化编译器的质量具有较好的实用和参考价值。

Proof of InAs/GaAs self-organized quantum dot lasing and the experimental determination of local Strain effect on the band structures

Confirmation of quantum dot lasing have been given by photoluminescence and electro-luminescence spectra. Energy levels of QD laser are distinctively resolved due to band filling effect, and the lasing energy of quantum dot laser is much lower than quantum well laser. The energy barrier at InAs/GaAs interface due to the built-in strain in self-organized system has been determined experimentally by deep level transient spectroscopy (DLTS). Such barrier has been predicted by previous theories and can be explained by the apexes appeared in the interface between InAs and GaAs caused by strain.

Photovoltage and luminescence study of stacked InAs/GaAs self-organized quantum dots

The ground and excited state excitonic transitions of stacked InAs self-organized quantum dots (QDs) in a laser diode structure are studied. The interband absorption transitions of QDs are investigated by non-destructive PV spectra, indicating that the strongest absorption is related to the excited states with a high density and coincides with the photon energy of lasing emission. The temperature and excitation (electric injection) intensity dependences of photoluminescence and electroluminescence indicate the influence of state filling effect on the luminescence of threefold stacked QDs. The results indicate that different coupling channels exist between electronic states in both vertical and lateral directions.

Effects of Air Pollution Control on Climate

Urban air pollution and climate are closely connected due to shared generating processes (e.g., combustion) for emissions of the driving gases and aerosols. They are also connected because the atmospheric lifecycles of common air pollutants such as CO, NOx and VOCs, and of the climatically important methane gas (CH4) and sulfate aerosols, both involve the fast photochemistry of the hydroxyl free radical (OH). Thus policies designed to address air pollution may impact climate and vice versa. We present calculations using a model coupling economics, atmospheric chemistry, climate and ecosystems to illustrate some effects of air pollution policy alone on global warming. We consider caps on emissions of NOx, CO, volatile organic carbon, and SOx both individually and combined in two ways. These caps can lower ozone causing less warming, lower sulfate aerosols yielding more warming, lower OH and thus increase CH4 giving more warming, and finally, allow more carbon uptake by ecosystems leading to less warming. Overall, these effects significantly offset each other suggesting that air pollution policy has a relatively small net effect on the global mean surface temperature and sea level rise. However, our study does not account for the effects of air pollution policies on overall demand for fossil fuels and on the choice of fuels (coal, oil, gas), nor have we considered the effects of caps on black carbon or organic carbon aerosols on climate. These effects, if included, could lead to more substantial impacts of capping pollutant emissions on global temperature and sea level than concluded here. Caps on aerosols in general could also yield impacts on other important aspects of climate beyond those addressed here, such as the regional patterns of cloudiness and precipitation.

Estratégias locais e globais na indústria automobilística brasileira

Este estudo caracteriza as estratégias de internacionalização das grandes fabricantes mundiais de veículos, caracteriza as estratégias adotadas por suas filiais no Brasil e faz um confronto entre estratégias locais e internacionais. Através do estudo de caso de cinco grandes montadoras (General Motors, Volkswagen, Toyota, DaimlerChrysler e Renault-Nissan), mostra-se que as estratégias de internacionalização das matrizes dessas empresas são muito semelhantes entre si e que as estratégias seguidas por suas filiais, que parecem buscar alinhá-las com as estratégias das respectivas matrizes, também se parecem muito. São discutidas as implicações desses achados para o futuro do ramo no Brasil e as oportunidades que esta situação apresenta para o país.

Sistema aprimorado de gestão ambiental : um estudo de caso na empresa Tritec Motors Ltda

Um sistema de gestão ambiental fornece uma estrutura eficiente para uma empresa gerenciar suas responsabilidades ambientais, sendo também um componente essencial em sua estratégia comercial. O presente trabalho descreve a implantação de um sistema de gestão ambiental na empresa Tritec Motors Ltda, de acordo com a norma NBR ISO 14001:1996, a fim de garantir um gerenciamento adequado de riscos, com um desempenho ambiental melhorado, refletindo na imagem corporativa, entre outros benefícios. Partindo da experiência de outras implantações similares realizadas pela corporação DaimlerChrysler em várias partes do mundo, a Tritec Motors implantou seu sistema aprimorado de gestão ambiental. A metodologia utilizada para implantar este sistema foi a criação de um plano de trabalho detalhado, baseado nos cinco princípios de um sistema de gestão ambiental: comprometimento, planejamento, implementação, medição e análise crítica. O plano de trabalho permitiu a implantação do sistema de gestão ambiental, que resultou na conquista do certificado ISO 14001. Este trabalho também apresenta um conjunto de propostas adicionais, como a criação de um calendário ambiental, a implantação de uma sistemática de auditorias em processadores de resíduos e o desenvolvimento de um software de gerenciamento ambiental, que irão garantir a manutenção e o aprimoramento do sistema de gestão ambiental da empresa.

Natural fibers based composites - Technical and social issues

Brazil is the only country in South America to have an automotive supplier sector based on natural fibers. New opportunities are arising due to an increase demand by the car makers in applying natural fibers in their parts. Several crop fibers have been developed in Brazil. Among them can be listed caroa, piacava, pupunha, mutum and others of regional application. For the automotive industry, which requires large quantities with uniform quality, the alternatives are sisal (170,000 ton/yr), curaua (150 ton/yr in 2003), malva, 200 ton/yr; Brazil is the single largest producer country of sisal, and commercially, the only one in curaua. For South America, the alternatives are fique in Colombia, abaca in equator, flax in Argentina and curaua in Venezuela. It must be understood by the target countries of drugs, is that crop fiber can be an economic alternative to coca in the Andes region, therefore an instrument of land reform and drug reduction plantations. Several companies have a strong program of apply natural fibers based components in their products: Volkswagen do Brazil, DaimlerChrysler, General Motors do Brazil. Among their suppliers can be listed companies such Pematec (curaua), Toro (sisal, coir and jute), Incomer (sisal and jute), Ober (jute, curaua), Indaru (jute and sisal), Antolin (imported kenaf,) Tapetes Sao Carlos (sisal), Poematec (coir) and Art-Gore, with Woodstock'' wood and natural fibers). Figures about production and demand are discussed in the paper.

Natural fiber reinforced unsaturated polyester composites - An approach on compression molding

This work has been performed at Tapetes Sao Carlos-Brazil with the cooperation of the DaimlerChrysler Research Center Team in Ulm - Germany. The objective of the present paper is to report the results obtained with natural fiber reinforced unsaturated polyester (UP) composites, concerning surface quality measurements. The fibers that have been chosen for this work were sisal and curaua. The samples were produced by compression molding technique and afterwards submitted to three different tests, namely: a) thermal aging; b) water absorption and c) artificial weathering. The surface parameters measured before and after the tests were gloss, haze, short and long-waviness. The results have shown that after the tests there is a high loss of gloss, a high increase in haze, and a high increase in short and long-waviness as well. Curaua reinforced composites had a slightly better behavior when compared with sisal reinforced composites. The effect of the presence of filler and the addition of thermoplastic polyester (TP) on the material behavior has not been evidently detected. This result shows that the conventional technology/methods applied to UP-Fiberglass systems cannot be transferred to natural fibers without any modification. The fiber-matrix interaction and its response to the presence of additives must be fully understood before a successful processing route can be developed for painted natural fibers reinforced UP. Copyright © 2001 Society of Automotive Engineers, Inc.

Avaliação da utilização do atual Diesel (combustível) comercial brasileiro (ano de referência 2003-2004) para motores com gerenciamento eletrônico de combustível e sistema de recirculação de gases de escape (EGR), certificados pela legislação EPA, 2004

Pós-graduação em Engenharia Mecânica - FEG

Interactive simulation of flexible parts

Computer simulations play an ever growing role for the development of automotive products. Assembly simulation, as well as many other processes, are used systematically even before the first physical prototype of a vehicle is built in order to check whether particular components can be assembled easily or whether another part is in the way. Usually, this kind of simulation is limited to rigid bodies. However, a vehicle contains a multitude of flexible parts of various types: cables, hoses, carpets, seat surfaces, insulations, weatherstrips... Since most of the problems using these simulations concern one-dimensional components and since an intuitive tool for cable routing is still needed, we have chosen to concentrate on this category, which includes cables, hoses and wiring harnesses. In this thesis, we present a system for simulating one dimensional flexible parts such as cables or hoses. The modeling of bending and torsion follows the Cosserat model. For this purpose we use a generalized spring-mass system and describe its configuration by a carefully chosen set of coordinates. Gravity and contact forces as well as the forces responsible for length conservation are expressed in Cartesian coordinates. But bending and torsion effects can be dealt with more effectively by using quaternions to represent the orientation of the segments joining two neighboring mass points. This augmented system allows an easy formulation of all interactions with the best appropriate coordinate type and yields a strongly banded Hessian matrix. An energy minimizing process accounts for a solution exempt from the oscillations that are typical of spring-mass systems. The use of integral forces, similar to an integral controller, allows to enforce exactly the constraints. The whole system is numerically stable and can be solved at interactive frame rates. It is integrated in the DaimlerChrysler in-house Virtual Reality Software veo for use in applications such as cable routing and assembly simulation and has been well received by users. Parts of this work have been published at the ACM Solid and Physical Modeling Conference 2006 and have been selected for the special issue of the Computer-Aided-Design Journal to the conference.

A COMUNICAÇÃO DE MERCADO, O LUXO E A CONSTRUÇÃO DA MARCA MERCEDES-BENZ: TEMPO VERSUS CONCEITOS

A marca Mercedes-Benz é uma marca legendária e está presente no imaginário do consumidor quando o assunto é automóvel. A história dessa importante indústria automobilística ultrapassa os 100 anos (1902-2008) e a cada dia impressiona ainda mais com novos modelos, sinônimo de tecnologia, qualidade, segurança e luxo. Este trabalho visa analisar e compreender o processo de comunicação da marca Mercedes-Benz, que surgiu em 1902 (como Mercedes), depois como Mercedes-Benz (1926), DaimlerChyrsler (1998), atualmente como Daimler AG (matriz Alemanha) e Mercedes-Benz do Brasil Ltda., e que permanece fortalecida e prestigiada no seu segmento, de acordo com os números e informações apresentadas, ratificadas por profissionais do setor automotivo e especialistas em luxo. Faz parte deste estudo abordar a forma e o significado da marca, representada por sua logomarca em toda a sua trajetória: esboço inicial, mudanças e desenho atual (parte gráfica) bem como as mensagens transmitidas e comunicação com o mercado. A metodologia consiste em realizar um levantamento bibliográfico por meio de: publicações, periódicos, documentos internos, dissertações e teses, que contenham informações sobre a marca Mercedes-Benz desde o seu momento inicial até o atual, visando estabelecer uma comparação entre os períodos, sobretudo no cenário nacional. O trabalho irá tratar o assunto como um estudo de caso, por se tratar de uma análise organizacional e gerencial, que compreendem fenômenos contemporâneos inseridos na vida real. O estudo tem como referência a Comunicação Integrada de Marketing, como linha de pesquisa e a Comunicação Especializada, como área de concentração.(AU)

A COMUNICAÇÃO DE MERCADO, O LUXO E A CONSTRUÇÃO DA MARCA MERCEDES-BENZ: TEMPO VERSUS CONCEITOS

A marca Mercedes-Benz é uma marca legendária e está presente no imaginário do consumidor quando o assunto é automóvel. A história dessa importante indústria automobilística ultrapassa os 100 anos (1902-2008) e a cada dia impressiona ainda mais com novos modelos, sinônimo de tecnologia, qualidade, segurança e luxo. Este trabalho visa analisar e compreender o processo de comunicação da marca Mercedes-Benz, que surgiu em 1902 (como Mercedes), depois como Mercedes-Benz (1926), DaimlerChyrsler (1998), atualmente como Daimler AG (matriz Alemanha) e Mercedes-Benz do Brasil Ltda., e que permanece fortalecida e prestigiada no seu segmento, de acordo com os números e informações apresentadas, ratificadas por profissionais do setor automotivo e especialistas em luxo. Faz parte deste estudo abordar a forma e o significado da marca, representada por sua logomarca em toda a sua trajetória: esboço inicial, mudanças e desenho atual (parte gráfica) bem como as mensagens transmitidas e comunicação com o mercado. A metodologia consiste em realizar um levantamento bibliográfico por meio de: publicações, periódicos, documentos internos, dissertações e teses, que contenham informações sobre a marca Mercedes-Benz desde o seu momento inicial até o atual, visando estabelecer uma comparação entre os períodos, sobretudo no cenário nacional. O trabalho irá tratar o assunto como um estudo de caso, por se tratar de uma análise organizacional e gerencial, que compreendem fenômenos contemporâneos inseridos na vida real. O estudo tem como referência a Comunicação Integrada de Marketing, como linha de pesquisa e a Comunicação Especializada, como área de concentração.(AU)

A COMUNICAÇÃO DE MERCADO, O LUXO E A CONSTRUÇÃO DA MARCA MERCEDES-BENZ: TEMPO VERSUS CONCEITOS

A marca Mercedes-Benz é uma marca legendária e está presente no imaginário do consumidor quando o assunto é automóvel. A história dessa importante indústria automobilística ultrapassa os 100 anos (1902-2008) e a cada dia impressiona ainda mais com novos modelos, sinônimo de tecnologia, qualidade, segurança e luxo. Este trabalho visa analisar e compreender o processo de comunicação da marca Mercedes-Benz, que surgiu em 1902 (como Mercedes), depois como Mercedes-Benz (1926), DaimlerChyrsler (1998), atualmente como Daimler AG (matriz Alemanha) e Mercedes-Benz do Brasil Ltda., e que permanece fortalecida e prestigiada no seu segmento, de acordo com os números e informações apresentadas, ratificadas por profissionais do setor automotivo e especialistas em luxo. Faz parte deste estudo abordar a forma e o significado da marca, representada por sua logomarca em toda a sua trajetória: esboço inicial, mudanças e desenho atual (parte gráfica) bem como as mensagens transmitidas e comunicação com o mercado. A metodologia consiste em realizar um levantamento bibliográfico por meio de: publicações, periódicos, documentos internos, dissertações e teses, que contenham informações sobre a marca Mercedes-Benz desde o seu momento inicial até o atual, visando estabelecer uma comparação entre os períodos, sobretudo no cenário nacional. O trabalho irá tratar o assunto como um estudo de caso, por se tratar de uma análise organizacional e gerencial, que compreendem fenômenos contemporâneos inseridos na vida real. O estudo tem como referência a Comunicação Integrada de Marketing, como linha de pesquisa e a Comunicação Especializada, como área de concentração.(AU)

Natural fibers based composites - Technical and social issues

Brazil is the only country in South America to have an automotive supplier sector based on natural fibers. New opportunities are arising due to an increase demand by the car makers in applying natural fibers in their parts. Several crop fibers have been developed in Brazil. Among them can be listed caroa, piacava, pupunha, mutum and others of regional application. For the automotive industry, which requires large quantities with uniform quality, the alternatives are sisal (170,000 ton/yr), curaua (150 ton/yr in 2003), malva, 200 ton/yr; Brazil is the single largest producer country of sisal, and commercially, the only one in curaua. For South America, the alternatives are fique in Colombia, abaca in equator, flax in Argentina and curaua in Venezuela. It must be understood by the target countries of drugs, is that crop fiber can be an economic alternative to coca in the Andes region, therefore an instrument of land reform and drug reduction plantations. Several companies have a strong program of apply natural fibers based components in their products: Volkswagen do Brazil, DaimlerChrysler, General Motors do Brazil. Among their suppliers can be listed companies such Pematec (curaua), Toro (sisal, coir and jute), Incomer (sisal and jute), Ober (jute, curaua), Indaru (jute and sisal), Antolin (imported kenaf,) Tapetes Sao Carlos (sisal), Poematec (coir) and Art-Gore, with Woodstock'' wood and natural fibers). Figures about production and demand are discussed in the paper.