Dynamic invariant detection is a software analysis technique that uses traces of function entry and exit from executing programs and infers partial specifications that characterize the observed behavior. The specifications are reported as logical precondition and postcondition expressions (invariants) that relate arguments, instance variables, and results. Detectors typically generate large collections of invariants, among which most are true but few are interesting or useful. Refining this flood of invariants into a useful subset often requires manual tuning through configuration options and modification of the program under analysis. Our research asks whether we can improve dynamic invariant detection by enabling explicit abstractions to be declared and applied to a program under analysis and whether this is practical; this dissertation shows that it is indeed practical and useful. Given a concrete program we can synthesize a model program composed of functions and modules that are abstractions of selected concrete modules. When we execute the model program in parallel with its underlying concrete program and apply dynamic invariant detection, we obtain abstracted invariants that can reveal the behavior of the underlying concrete program. We developed the Alembic system to support and experiment with the above technique, enabling a practical method for steering the invariant detection process and shaping the analysis to produce more refined results than obtainable via traditional means. Alembic provides a simple language for defining abstractions and managing detection experiments; the system generates the necessary instrumentation, representation classes, and functions, freeing the analyst to focus on the expression of abstractions and detection experiments. Alembic currently leverages the invariant detection capability of Daikon, a powerful first-generation detector, to analyze synthetic traces on abstractions. However, the principles we demonstrate apply to any detector and language that observes function entry and exit. We present some applications of this technique to example problems and then evaluate Alembic on production code such as the Guava class library. Our research suggests new uses for existing detectors and enables the design and evaluation of features to inform the next generation of dynamic invariant detection systems. This dissertation includes previously unpublished co-authored material.

A fim de contribuir para o conhecimento da composição química da aguardente de cana de açúcar e da eficiência de algumas etapas de sua produção, verificou-se o perfil qualitativo e quantitativo de 15 ácidos orgânicos (ácidos acético, lático , glicólico, pirúvico, oxálico, malônico, succínico, glutárico, caprico, citramálico, málico, láurico, cítrico, mirístico e palmítico) num total de 98 amostras de aguardentes, sendo 15 delas (destiladas e coletadas diretamente de alambiques), para cada fração de \"cabeça\", \"coração\" e \"cauda\". Destas, cinco amostras (oriundas do mesmo vinho) também foram destiladas tanto em colunas quanto em alambiques, para efeito de comparação. As demais são aguardentes prontas para o consumo, as quais foram atribuídas as qualidades de envelhecidas e descansadas. O objetivo deste trabalho é conhecer os perfis químicos qualitativo e quantitativo dos ácidos orgânicos em aguardentes de cana de açúcar, procurando correlacioná-los com o processo de destilação da bebida. O método de análise dos ácidos orgânicos consiste numa pré-concentração da amostra através da secagem completa de 20 mL de aguardente à temperatura ambiente e posterior adição de 200 µL de solução derivatizante. Um cromatógrafo para fase gasosa (CG) Hewlett-Packard modelo 5890, equipado com detector de ionização por chama, e uma coluna capilar DB-5 (5%-Phenyl-methylpolysiloxane) com dimensões de 50 m x 0,20 mm x 0,33 µm, foram utilizados durante a execução do trabalho. Para o tratamento dos resultados analíticos, efetuou-se a aplicação de métodos multivariados de análises (quimiometria), a fim de se observar tanto as similaridades entre os destilados de alambiques e colunas, quanto as frações de \"cauda\", \"coração\" e \"cabeça\", do destilado de alambique, como também observar as correlações entre a análise sensorial de aguardentes envelhecidas e descansadas, com os teores ácidos das mesmas. / In order to contribute to the knowledge of sugar cane spirits chemical composition and better understanding of the different distillation process during beverage\'s production, the qualitative and quantitative profile of 15 organic acids (acetic, lactic, glycolic, pyruvic, oxalic, malonic, succinic, glutaric, capric, citramalic, malic, lauric, citric, myristic and palmitic) have been studied in 98 sugar cane spirits samples. Fifteen of them (distilled and collected directly from alembics) for each fraction \"head\", \"heart\" and \"tail\". Five of these samples (obtained from the same wine) were distilled in both columns and stills, for comparison effect. The aim of this work is know the qualitative and quantitative chemistry profiles of organic acids in sugarcane spirits, correlate them with distillation process of drink. The methodology adopted for organic acids analysis was based on sample pre-concentration through complete drying 20 mL of spirit at room temperature and subsequent addition of 200 µL derivatizing solution. Hewlett-Packard 5890 model gas chromatograph (GC) equipped with flame ionization detector and capillary column DB-5 (5%-Phenyl-methylpolysiloxane) with dimensions of 50 m x 0.20 mm x 0.33 µm was used in this study. Multivariate analysis methods (chemometrics) were applied to the analytical results in order to observe similarities between alembic and column spirits, three fractions from alembic distillate and to evaluate the correlation between sensory analysis proprieties of aged and \"rested\" sugarcane spirits and to their acids contents.

Made available in DSpace on 2009-11-18T19:01:24Z (GMT). No. of bitstreams: 1 AngeloBinot.pdf: 1048556 bytes, checksum: 9078a685c051f0a71436f3742a7325c2 (MD5) Previous issue date: 2005 / This work tries to comprehend, throw the prism of the Institutional Theory, the structural process of organizational field of cachaça¿s handicraft producers¿ from a Brazilian countryside region. The role of values and traditions on the determination of the structure and decision making on this industry are analyzed. It is necessary to research historic, economic and social facts, and confront them to the formation of Brazilian society to understand the field¿s formulation. An important aspect of this research is the mapping of isomorphic process and the comparison of the field¿s institutional degree, before and after the changes. It was noticed that the alteration on perception of Cachaça in the national market and the entrance of a new actor oriented by functional rationality are the major reasons for the mimetic changes on this field. As a contribution, this study confirms the applicability of Institutional Theory on analysis of specific fields and shows how this field has structured itself. / Neste estudo, procura-se entender, segundo o prisma da Teoria Institucional, o processo de estruturação do campo das organizações produtoras de cachaça artesanal em Bananal, interior do estado de São Paulo. São analisadas questões como a influência dos valores e tradições compartilhados pela sociedade na determinação da estrutura e tomada de decisão dos alambiques artesanais. Por isso, a base para se entender a formação deste campo é o levantamento histórico de fatores econômicos e sociais frente a características inerentes à formação da sociedade brasileira. Um dos focos dessa pesquisa está no mapeamento de processos isomórficos e na comparação do grau de institucionalização do campo antes e depois das mudanças. Acredita-se que a alteração da percepção do produto Cachaça no mercado interno e a entrada de um novo produtor orientado por características de racionalidade funcional tenham influenciado mudanças de cunho mimético neste campo, podendo-se também, utilizar os resultados deste estudo para corroborar a aplicação da Teoria Institucional na aplicação de análises de campos específicos.

A fim de contribuir para o conhecimento da composição química da aguardente de cana de açúcar e da eficiência de algumas etapas de sua produção, verificou-se o perfil qualitativo e quantitativo de 15 ácidos orgânicos (ácidos acético, lático , glicólico, pirúvico, oxálico, malônico, succínico, glutárico, caprico, citramálico, málico, láurico, cítrico, mirístico e palmítico) num total de 98 amostras de aguardentes, sendo 15 delas (destiladas e coletadas diretamente de alambiques), para cada fração de \"cabeça\", \"coração\" e \"cauda\". Destas, cinco amostras (oriundas do mesmo vinho) também foram destiladas tanto em colunas quanto em alambiques, para efeito de comparação. As demais são aguardentes prontas para o consumo, as quais foram atribuídas as qualidades de envelhecidas e descansadas. O objetivo deste trabalho é conhecer os perfis químicos qualitativo e quantitativo dos ácidos orgânicos em aguardentes de cana de açúcar, procurando correlacioná-los com o processo de destilação da bebida. O método de análise dos ácidos orgânicos consiste numa pré-concentração da amostra através da secagem completa de 20 mL de aguardente à temperatura ambiente e posterior adição de 200 µL de solução derivatizante. Um cromatógrafo para fase gasosa (CG) Hewlett-Packard modelo 5890, equipado com detector de ionização por chama, e uma coluna capilar DB-5 (5%-Phenyl-methylpolysiloxane) com dimensões de 50 m x 0,20 mm x 0,33 µm, foram utilizados durante a execução do trabalho. Para o tratamento dos resultados analíticos, efetuou-se a aplicação de métodos multivariados de análises (quimiometria), a fim de se observar tanto as similaridades entre os destilados de alambiques e colunas, quanto as frações de \"cauda\", \"coração\" e \"cabeça\", do destilado de alambique, como também observar as correlações entre a análise sensorial de aguardentes envelhecidas e descansadas, com os teores ácidos das mesmas. / In order to contribute to the knowledge of sugar cane spirits chemical composition and better understanding of the different distillation process during beverage\'s production, the qualitative and quantitative profile of 15 organic acids (acetic, lactic, glycolic, pyruvic, oxalic, malonic, succinic, glutaric, capric, citramalic, malic, lauric, citric, myristic and palmitic) have been studied in 98 sugar cane spirits samples. Fifteen of them (distilled and collected directly from alembics) for each fraction \"head\", \"heart\" and \"tail\". Five of these samples (obtained from the same wine) were distilled in both columns and stills, for comparison effect. The aim of this work is know the qualitative and quantitative chemistry profiles of organic acids in sugarcane spirits, correlate them with distillation process of drink. The methodology adopted for organic acids analysis was based on sample pre-concentration through complete drying 20 mL of spirit at room temperature and subsequent addition of 200 µL derivatizing solution. Hewlett-Packard 5890 model gas chromatograph (GC) equipped with flame ionization detector and capillary column DB-5 (5%-Phenyl-methylpolysiloxane) with dimensions of 50 m x 0.20 mm x 0.33 µm was used in this study. Multivariate analysis methods (chemometrics) were applied to the analytical results in order to observe similarities between alembic and column spirits, three fractions from alembic distillate and to evaluate the correlation between sensory analysis proprieties of aged and \"rested\" sugarcane spirits and to their acids contents.