Dissertationen zum Thema „Atomicita“

Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomicky. Analyzátor Atomer se tudíž snaží takové sekvence hledat a poté zjišťovat, pro které z nich může být v některých jiných bězích programu porušena atomicita. Autor této diplomové práce ve své bakalářské práci navrhl a implementoval první verzi nástroje Atomer jako zásuvný modul aplikačního rámce Facebook Infer. V této diplomové práci je navržena nová a výrazně vylepšená verze analyzátoru Atomer. Cílem vylepšení je zvýšení jak škálovatelnosti, tak přesnosti. Kromě toho byla přidána podpora pro několik původně nepodporovaných programovacích vlastností (včetně např. možnosti analyzovat programy napsané v jazycích C++ a Java nebo podpory pro reentrantní zámky nebo stráže zámků, tzv. "lock guards"). Prostřednictvím řady experimentů (včetně experimentů s reálnými programy a reálnými chybami) se ukázalo, že nová verze nástroje Atomer je skutečně mnohem obecnější, přesnější a lépe škáluje.

L'utilisation massive des plateformes multi-cœurs et multi-processeurs a pour effet de favoriser la programmation parallèle à mémoire partagée. Néanmoins, exploiter efficacement et de manière correcte le parallélisme sur ces plateformes reste un problème de recherche ouvert. De plus, leur modèle d'exécution sous-jacent, et notamment les modèles de mémoire "relâchés", posent de nouveaux défis pour les outils d'analyse statiques et dynamiques. Dans cette thèse nous abordons deux aspects importants dans le cadre de la programmation sur plateformes multi-cœurs et multi-processeurs: l'optimisation de sections critiques implémentées selon l'approche pessimiste, et l'analyse dynamique de flots d'informations. Les sections critiques définissent un ensemble d'accès mémoire qui doivent être exécutées de façon atomique. Leur implémentation pessimiste repose sur l'acquisition et le relâchement de mécanismes de synchronisation, tels que les verrous, en début et en fin de sections critiques. Nous présentons un algorithme générique pour l'acquisition/relâchement des mécanismes de synchronisation, et nous définissons sur cet algorithme un ensemble de politiques particulier ayant pour objectif d'augmenter le parallélisme en réduisant le temps de possession des verrous par les différentes threads. Nous montrons alors la correction de ces politiques (respect de l'atomicité et absence de blocages), et nous validons expérimentalement leur intérêt. Le deuxième point abordé est l'analyse dynamique de flot d'information pour des exécutions parallèles. Dans ce type d'analyse, l'enjeu est de définir précisément l'ordre dans lequel les accès à des mémoires partagées peuvent avoir lieu à l'exécution. La plupart des travaux existant sur ce thème se basent sur une exécution sérialisée du programme cible. Ceci permet d'obtenir une sérialisation explicite des accès mémoire mais entraîne un surcoût en temps d'exécution et ignore l'effet des modèles mémoire relâchées. A contrario, la technique que nous proposons permet de prédire l'ensemble des sérialisations possibles vis-a-vis de ce modèle mémoire à partir d'une seule exécution parallèle ("runtime prediction"). Nous avons développé cette approche dans le cadre de l'analyse de teinte, qui est largement utilisée en détection de vulnérabilités. Pour améliorer la précision de cette analyse nous prenons également en compte la sémantique des primitives de synchronisation qui réduisent le nombre de sérialisations valides. Les travaux proposé ont été implémentés dans des outils prototype qui ont permit leur évaluation sur des exemples représentatifs.

Mereological models are often used to account for distributive reference, which arises when the denotation of a linguistic expression holds of certain parts of the plurality to which it is applied. It is general praxis in the theory of distributivity to employ structural atoms, which are entities that lack proper parts, to represent the base entities of which pluralities are formed. This thesis offers a revision of the notion of atom used in the theory of distributivity and argues in favor of employing relative atoms, which are entities that are atomic only with respect to a certain property. With relative atoms, we can account for why atomic and nonatomic parts of a plurality can equally be involved in distributive reference, in accordance with newly obtained empirical evidence. We can also capture the unexpected ways in which Hungarian reduplicated numerals and reciprocal constructions interact.
Els models mereològics s’utilitzen sovint per explicar la referència distributiva, que apareix quan la denotació d’una expressió lingüística conté certes parts de la pluralitat a la qual s’aplica. El fet d’utilitzar àtoms estructurals, que són entitats sense parts pròpies, per representar les entitats bàsiques sobre les quals es formen les pluralitats és una pràctica habitual a la teoria de distributivitat. Aquesta tesi ofereix una revisió de la noció d’àtom utilitzada a la teoria de distributivitat i exposa arguments a favor de la utilització d’àtoms relatius, que són entitats atòmiques només en relació amb una propietat determinada. Gràcies als àtoms relatius podem explicar perquè les parts atòmiques i no atòmiques d’una pluralitat poden estar involucrades en la referència distributiva, segons proves empíriques obtingudes recentment. A més, podem reflectir les diferents maneres imprevistes amb què interactuen els numerals reduplicats i les construccions recíproques en hongarès.

The objective of this dissertation was to determine the class of domains that are both almost Dedekind and atomic. To investigate this question we constructed a global object called the norm, and used it to determine properties that a domain must have to be both atomic and almost Dedekind. Additionally we use topological notions on the spectrum of a domain to determine atomicity. We state some theorems with regard to ACCP and class groups. The lemmas and theorems in this dissertation answer in part the objective. We conclude with a chapter of future study that aims to approach a complete answer to the objective.

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.
Fundação para a Ciência e Tecnologia - research project Synergy-VM(PTDC/EIA-EIA/113613/2009)

In this dissertation, we examine atomicity in rings with zero divisions. We begin by examining the relationship between a ring’s level of atomicity and the highest level of irreducibility shared by the ring’s irreducible elements. Later, we chose one of the higher forms of atomicity and identify ways of building large classes of examples of rings that rise to this level of atomicity but no higher. Characteristics of the various types of irreducible elements will also be examined. Next, we extend our view to include polynomial extensions of rings with zero divisors. In particular, we focus on properties of the three forms of maximal common divisors and how a ring’s classification as an MCD, SMCD, or VSMCD ring affects its atomicity. To conclude, we identify some unsolved problems relating to the topics discussed in this dissertation.

An integral domain D is atomic if every non-zero non-unit is a product of irreducibles. More generally, D is quasi-atomic if every non-zero non-unit divides some product of atoms. Arbitrary integral domains, however, cannot be assumed to be quasi-atomic in general; factorization in a non-atomic D can be subtle. We outline a novel method of qualifying the quasi-atomicity of D by studying ascending filtrations of localizations of D and the associated groups of divisibility. This approach yields structure theorems, cochain complexes, and cohomological results. We take care to present examples of integral domains exhibiting the spectrum of factorization behavior and we relate the results of our new method to factorization in D.

Formal methods are a useful tool for increasing the confidence in the correctness of computer programs with respect to their specifications. Formal methods allow designers to model specifications and these formal models can then be reasoned about in a rigourous way. Formal methods for sequential processes are well-understood, however formal methods for concurrent programs are more difficult, because of the interference which may arise when programs run concurrently. Rely-guarantee reasoning is a well-established formal method for modelling concurrent programs. Rely-guarantee conditions offer a tractable and compositional approach to reasoning about concurrent programs, by allowing designers to reason about the interference inherent in concurrent systems. While useful, there are certain weaknesses in rely-guarantee conditions. In particular, the requirement for rely-guarantee conditions to describe whole-state updates can make large specifications unwieldy. Similarly, it can be difficult to describe problems which exhibit distinct phases of execution. The main contribution of this thesis is to show ways in which these two weaknesses of rely-guarantee reasoning can be addressed. In turn, this enhances the usability of rely-guarantee conditions. Atomicity refinement is a potentially useful tool for simplifying the development of concurrent programs. The central idea is that designers can record (possibly unrealistic) atomicity assumptions about the eventual implementation of a program. This fiction of atomicity simplifies the design process by avoiding the difficult issue of interference. It is then necessary to identify ways in which this atomicity can be relaxed and concurrent execution introduced. This thesis also argues that the choice of data representation plays an important role in achieving atomicity refinement. In addition, this thesis presents an argument that rely-guarantee conditions and VDM offer a potentially fruitful approach to atomicity refinement. Specifically, rely-conditions can be used to represent assumptions about atomicity and the refinement rules of VDM allow different data representations to be introduced. To this end, a more usable approach to rely-guarantee reasoning would benefit the search for a usable form of atomicity refinement. All of these points are illustrated with a novel development of Simpson’s Four-Slot, a mechanism for asynchronous communication between processes.

Formal methods are mathematically based techniques and tools to model software and hardware systems. Event-B is a formal method that emerged over the last decade as an evolution of classical B. Event-B is supported by an open and extensible Eclipse-based tool-set, called Rodin. Rodin provides an integrated environment supporting the whole process of multi-stage modelling and handling of the associated proofs. Rodin extensibility is exploited by developing a number of plug-ins to extend the main platform capabilities. During recent years, Event-B and Rodin have been used to model some real-world complex systems and prove consistency properties of them. However developing models of large and complex systems is not an easy task, since it can result in complex models and difficult proofs. There are some techniques in Event-B which can help to tackle the difficulties of modelling complex systems; refinement and model decomposition are two examples. Atomicity decomposition was recently introduced as another technique to help with the structuring of refinement-based development of complex systems in Event-B. In this research, we have investigated how the development process with Event-B can be enriched further by using the atomicity decomposition approach. The atomicity decomposition approach provides a graphical notation to structure refinement and to support the explicit sequencing of events in an Event-B model. In this approach, modelling usually starts with a single atomic event of the system which is split to two or more sub-events in the next refinement level. We have further developed the atomicity decomposition patterns and features. A formal description of the atomicity decomposition language is presented. The transformation rules from an atomicity decomposition diagram to the Event-B model are defined. The atomicity decomposition diagrams can be transformed to Event-B models using these rules. Exploiting the extensibility of the Rodin platform, a Rodin plug-in tool was developed to provide atomicity decomposition support in Event-B. The modelling and tool extensions developed in this thesis are applied to two complex case studies, the Media Channel System and the BepiColombo System. We present an evaluation of the atomicity decomposition approach using insights gained from these case studies.

Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2017-12-11T16:00:35Z No. of bitstreams: 1 Gianlucca_Oliveira_Puglia_dis.pdf: 2043630 bytes, checksum: f7fc70f33d1d15b56eded8458fbed2fa (MD5)
Approved for entry into archive by Tatiana Lopes (tatiana.lopes@pucrs.br) on 2017-12-18T11:25:26Z (GMT) No. of bitstreams: 1 Gianlucca_Oliveira_Puglia_dis.pdf: 2043630 bytes, checksum: f7fc70f33d1d15b56eded8458fbed2fa (MD5)
Made available in DSpace on 2017-12-18T11:49:55Z (GMT). No. of bitstreams: 1 Gianlucca_Oliveira_Puglia_dis.pdf: 2043630 bytes, checksum: f7fc70f33d1d15b56eded8458fbed2fa (MD5) Previous issue date: 2017-03-21
As tecnologias de mem?rias n?o-vol?teis s?o uma grande promessa na ?rea de arquitetura de computadores e ? esperado que sejam poderosas ferramentas para solucionar os problemas referentes a manipula??o eficiente de dados dos dias de hoje. Estas tecnologias prov?m alta performance e acesso em granularidade de bytes com a distinta vantagem de serem persistentes. Por?m, afim de explorar estas tecnologias em todo seu potencial, os sistemas e arquiteturas de hoje precisam buscar meios de se adaptar a esta nova forma de acessar dados e de superar os desafios que v?m com ela.Trabalhos existentes na ?rea j? prop?em m?todos para adaptar as arquiteturas existentes para o uso de NVM bem como formas inovadoras de empregar estas mem?rias em futuras aplica??es. No entanto, o suporte dos sistemas operacionais a estas solu??es, ainda que existente, ainda ? muito limitado. Neste trabalho, n?s apresentamos duas varia??es da chamada de sistema msync, modeladas para explorar as caracter?sticas das tecnologias de NVM e garantir consist?ncia para os dados dos usu?rios. Ambas s?o solu??es simples que permitem aos usu?rios definirem checkpoints de seus arquivos usando a sintaxe comum de sistemas de arquivos. N?s implementamos e testamos estes m?todos sobre o sistema operacional Linux utilizando como base um sistema de arquivo nativamente voltado a NVM. Nossos resultados mostram que estes mecanismos s?o capazes de garantir a integridade dos arquivos mesmo na presen?a de falhas no sistema enquanto mant?m uma performance razo?vel.
Upcoming non-volatile memory technologies are a big promise in computer architecture and are expected to be powerful tools to address today?s issues regarding efficient data manipulation. They provide high performance and byte granularity while also having the distinct advantage of being persistent. However in order to explore these technologies to their full potential, existing systems and architecture must adapt to this new way of working with data and workaround the challenges that come with it. Existing work in the area already proposes methods to adapt existing architecture to NVM as well as innovative ways to employ these memories in future applications. However operating system support to such NVM-enabled solutions, although existent, still very limited. In this work, we present two variations of the existing mmap system call, designed to both explore NVM characteristics and provide user data consistency. Both are very simple solutions that allow users to control the persistence and define checkpoints to their files while using the common mapped file syntax. We have implemented and tested these methods over Linux using a NVM file system as our base. Our results show that these mechanisms can ensure file integrity in the presence of system failures while also providing a reasonable performance.

Dissertação para obtenção do Grau de Mestre em Engenharia Informática
The multi-core paradigm has propelled shared-memory concurrent programming to an important role in software development. Its use is however limited by the constructs that provide a layer of abstraction for synchronizing access to shared resources. Reasoning with these constructs is not trivial due to their concurrent nature. Data-races and deadlocks occur in concurrent programs, encumbering the programmer and further reducing his productivity. Even though the constructs should be as unobtrusive and intuitive as possible, performance must also be kept high compared to legacy lock-based mechanism. Failure to guarantee similar performance will hinder a system from adoption. Recent research attempts to address these issues. However, the current state of the art in concurrency control mechanisms is mostly code-centric and not intuitive. Its codecentric nature requires the specification of the zones in the code that require synchronization,contributing to the decentralization of concurrency bugs and error-proneness of the programmer. On the other hand, the only data-centric approach, AJ [VTD06], exposes excessive detail to the programmer and fails to provide complete deadlock-freedom. Given this state of the art, our proposal intends to provide the programmer a set of unobtrusive data-centric constructs. These will guarantee desirable security properties: composability, atomicity, and deadlock-freedom in all scenarios. For that purpose, a lower level mechanism (ResourceGroups) will be used. The model proposed resides on the known concept of atomic variables, the basis for our concurrency control mechanism. To infer the efficiency of our work, it is compared to Java synchronized blocks, transactional memory and AJ, where our system demonstrates a competitive performance and an equivalent level of expressivity.
RepComp project(PTDC/EIA-EIA/108963/2008)

Orientador: Roy Edward Bruns
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-03T12:09:22Z (GMT). No. of bitstreams: 1 Haiduke_RobertoLuizAndrade_D.pdf: 2680501 bytes, checksum: f3c3720268089811f1de7744220a9d0f (MD5) Previous issue date: 2003
Doutorado

Orientador : Yuji Takahata
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-03T22:49:06Z (GMT). No. of bitstreams: 1 Motta_LuizFrederico_M.pdf: 15694240 bytes, checksum: 6ce69cbd7eff6e70570485ab3b611cbc (MD5) Previous issue date: 2004
Mestrado

Orientador: Vitor Baranauskas
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação
Made available in DSpace on 2018-08-03T16:29:19Z (GMT). No. of bitstreams: 1 JingGuo_Zhao_D.pdf: 1072525 bytes, checksum: 187cf6bcaca16a2f362527ac4d87c3d5 (MD5) Previous issue date: 2003
Doutorado

Orientador: Solange Cadore
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-13T13:12:41Z (GMT). No. of bitstreams: 1 Matoso_Erika_D.pdf: 946241 bytes, checksum: 56f70c56da8e0c3fb10d01d26c121fb7 (MD5) Previous issue date: 2009
Resumo: Os polímeros são um grupo importante de materiais de engenharia pela sua facilidade de produção e uma larga faixa de propriedades e aplicações. O acetato de polivinila (PVAc) é produzido pela polimerização do acetato de vinila em presença de um catalisador. Suas principais aplicações estão na indústria de tintas, vernizes e adesivos. Neste trabalho foi desenvolvido um método de digestão de amostras de acetato de polivinila (látex base PVAc) em emulsão aquosa para determinação de As, B, Ba, Bi, Cd, Cr, Cu, Fe, Hg, Ni, Pb, Sb, Se e Sn, utilizando a técnica de espectrometria de emissão ótica em plasma de argônio indutivamente acoplado (ICP OES). Foram testados diferentes procedimentos de digestão da amostra (calcinação, digestão ácida à baixa e à alta temperatura e digestão assistida por microondas em frasco fechado) com a finalidade de se obter o método mais exato, mais preciso, com maior sensibilidade e com um menor tempo. Os melhores resultados para a determinação dos elementos estudados em acetato de polivinila foram obtidos utilizando-se a digestão assistida por microondas em frasco fechado. Nas condições otimizadas, a solução após digestão apresentou 0,1% de CCR (conteúdo de carbono residual), as recuperações obtidas ficaram na faixa de 98 a 105% para o produto de base (PVAc), com desvio padrão relativo (RSD) na faixa de 1,0 a 5,1% e limites de quantificação entre 0,003 e 0,294 mg kg. A exatidão do método proposto foi avaliada, também, pela análise de material de referência certificado, com resultados considerados satisfatórios para a maioria dos elementos. A aplicação do método desenvolvido em amostras de cola com base PVAc mostrou valores abaixo do limite de quantificação (LOQ) para a maioria dos elementos analisados, com exceção de Fe, Cu, Cr e Ni. No entanto, para estes elementos, os valores encontrados estão abaixo daqueles recomendados pelas agências reguladoras. A determinação de Cu por GF AAS em amostras de PVAc, sem a etapa prévia de preparação de amostra, mostrou resultados satisfatórios de recuperação e uma maior sensibilidade, com limite de quantificação de 0,001 mg kg
Abstract: Polymers are an important group of engineering materials because they are easily produced and have many applications. Polyvinyl acetate is produced by polymerization of vinyl acetate in presence of a catalyst and finds numerous applications in the manufacture of emulsion paints, varnishes and adhesives. A digestion method for the determination of de As, B, Ba, Bi, Cd, Cr, Cu, Fe, Hg, Ni, Pb, Sb, Se e Sn by Inductively Coupled Argon Plasma Optical Emission Spectrometry (ICP OES) in samples of polyvinyl acetate water emulsions was developed. The sample was treated by different procedures in order to determine the best treatment. In this way, calcination, acid digestions at low and high temperature and digestion by microwave radiation were studied. The best results for the determination of elements in polyvinyl acetate were achieved using microwave digestion. Under optimum conditions, only 0.1% of total organic carbon (TOC) was found as residue and recoveries between 98 and 105% for base product (PVAc) with RSD between 1.0 and 5.1% and quantification limits between 0.003 and 0.294 mg kg were obtained. The accuracy was also evaluated analyzing certified reference materials with satisfactory results. The application of the developed method in PVAc glue samples showed lower results than quantification limits for most elements, except Fe, Cu, Cr and Ni. But the found values are lower than those recommended by regulation agencies. Cupper determination by GF AAS in PVAc samples without treatment showed good results for recoveries and better sensibility (quantification limit: 0,001 mg kg)
Doutorado
Quimica Analitica
Doutor em Ciências

Il metodo variazionale è uno schema computazionale che permette il calcolo approssimato dell’energia e della funzione d’onda dello stato fondamentale di una grande varietà di sistemi quantistici che compaiono in fisica molecolare, atomica e nucleare. In questa tesi vengono illustrati il metodo variazionale e le sue modalità di implementazione. Vengono poi descritte diverse applicazioni: lo studio di alcuni sistemi atomici, quali l’atomo di idrogeno, di elio e l’atomo muonico, e del deutone, per ricavarne un’approssimazione dell’autovalore di energia dello stato fondamentale; si studia infine l’interazione tra nucleoni per stimare il raggio d’azione del potenziale di Yukawa e le condizioni per l’esistenza di stati legati.

Orientador: Roberto de Toledo Assumpção
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-07-18T05:29:08Z (GMT). No. of bitstreams: 1 Braga_AdrianaFrancoBueno_M.pdf: 1709458 bytes, checksum: 8599ea64042c078ec0b9cde17d4f444a (MD5) Previous issue date: 1993
Resumo: o Brasil possui uma posição de destaque como segundo maior produtor mundial de silício. Este material tem emprego em setores industriais variados, como, o metalúrgico (na produção de ligas de aço e de aluminio), a produção de organosilanos e uma pequena fração representada pela indústria microeletrônica. Este último segmento, apesar de ser o menor, apresenta um caráter importante, devido ao crescimento tecnológico nesta àrea na última década e do, conseqüente, capital envolvido. A eficiência de um dispositivo, produzido pela indústria microletrônica, està associada à concentração de impurezas. Dessa forma o controle da presença de elementos quimicos em concentrações definidas é muito importante. O trabalho propõe a técnica de Espectroscopia de Absorção Atômica como uma alternativa viável de anàlise quimica. Um estudo da preparação da amostra bem como uma avaliação dos fenômenos de interferência no método de análise empregado, são mostrados através da determinação em chama de Alumínio, Ferro, Titânio, Manganês, Cálcio e Cromo
Abstract: Metallurgical-grade silicon is used in the manufacture of a wide range industry fields (metalurgical steel and aluminium alloys, organosilicon industry and microelectronics). Special problems exist in the analysis of material used in microelectronics (raw material and final product) . Analytical methods with very good absolute detection limits are needed to qnalytical problems occurring in the analysis. Atomic Absorption Spectroscopy (AAS) has been used in the last ten years in silicon analisys. The present work reports atomic absorption methods developed for the determination of AI, Fe, Ti, Mn, Ca, and Cr impurities in metalurgical- grade silicon. An study of sample preparation, and interfering phenomenon in analisys analisys. method, are present in flame analysis
Mestrado
Mestre em Engenharia Mecânica

Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java scheduler. Basically forces certain parts of the code  to be executed atomically. The proposed architecture uses bytecode instrumentation to be able to track and influence the execution. The architecture and algorithms were implemented and tested on multiple case studies.

A multidatabase system (MDBMS) is a facility that allows users to access data located in multiple autonomous database management systems (DBMSs) at different sites. To ensure global atomicity for multidatabase transactions, a reliable global atomic commitment protocol is a possible solution. In this protocol a centralized transaction manager (TM) receives global transactions, submits subtransactions to the appropriate sites via AGENTS. An AGENT is a component of MDBS that runs on each site; AGENTS after receiving subtransactions from the transaction manager perform the transaction and send the results back to TM. We have presented a unique proof-of-concept, a JAVA application for an Agent Based Transaction Manager that preserves global atomicity. It provides a user friendly interface through which reliable atomic commitment protocol for global transaction execution in multidatabase environment can be visualized. We demonstrated with three different test case scenarios how the protocol works. This is useful in further research in this area where atomicity of transactions can be verified for protocol correctness.

Orientadores: Vitor Baranauskas, Ioshiaki Doi
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica
Made available in DSpace on 2018-07-20T11:56:28Z (GMT). No. of bitstreams: 1 Chang_DahgeChiadin_M.pdf: 6030293 bytes, checksum: 5ec0e1b1c28ec83130ec230e8ef7412a (MD5) Previous issue date: 1995
Resumo: Após se descobrir que o silício pode emitir luz visível em uma condição bem particular, ou seja, através de uma excitação no estado poroso, foram feitos estudos sobre o fenômeno e se verificou que há uma relação da porosidade do silício com o comprimento de onda emitido. Esta propriedade de luminescência abre uma vasta gama de aplicações uma vez que o silício é um material muito conhecido e disponível. Este trabalho tem como propósito a uma melhor compreensão das propriedades estruturais deste material e fazer uma relação entre os tipos de materiais obtidos com o processo de fabricação. Para o estudo foi utilizado o microscópio de força atômica (MFA), um equipamento específico para a análise de superficies, e a obtenção do silício poroso (PS) pelo processo eletroquímico. Estudou-se amostras obtidas para várias condições de processo e obtido o perfil do material pelas análises do MFA, permitindo com os resultados obtidos auxiliar em obter PS com características superficiais específicas
Abstract: After the discovery that silicon could emit visible light in porous state, many studies have been done to identify the relationship between the porosity of the silicon and the emitted light wavelenghí. The luminescente property makes possible wide range of potencial aplications. In this study propous the surface structural property of porous silicon is measured and related to the fabrication processo the samples were prepared by the eletrochemical dilution process and studied by the Atomic Force Microscopeo
Mestrado
Mestre em Engenharia Elétrica

Orientador: Pedro Faria dos Santos Filho
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-03T18:13:30Z (GMT). No. of bitstreams: 1 Melo_MarleneRios_M.pdf: 6694927 bytes, checksum: 9e5b4e7905f948ff41a80844998fe398 (MD5) Previous issue date: 2002
Mestrado

Multicore and Internet cloud systems have been widely adopted in recent years and have resulted in the increased development of concurrent programs. However, concurrency bugs are still difficult to test and debug for at least two reasons. Concurrent programs have large interleaving space, and concurrency bugs involve complex interactions among multiple threads. Existing testing solutions for concurrency bugs have focused on exposing concurrency bugs in the large interleaving space, but they often do not provide debugging information for developers to understand the bugs. To address the problem, this thesis proposes techniques that help developers in debugging concurrency bugs, particularly for locating the root causes and for understanding them, and presents a set of empirical user studies that evaluates the techniques. First, this thesis introduces a dynamic fault-localization technique, called Falcon, that locates single-variable concurrency bugs as memory-access patterns. Falcon uses dynamic pattern detection and statistical fault localization to report a ranked list of memory-access patterns for root causes of concurrency bugs. The overall Falcon approach is effective: in an empirical evaluation, we show that Falcon ranks program fragments corresponding to the root-cause of the concurrency bug as "most suspicious" almost always. In principle, such a ranking can save a developer's time by allowing him or her to quickly hone in on the problematic code, rather than having to sort through many reports. Others have shown that single- and multi-variable bugs cover a high fraction of all concurrency bugs that have been documented in a variety of major open-source packages; thus, being able to detect both is important. Because Falcon is limited to detecting single-variable bugs, we extend the Falcon technique to handle both single-variable and multi-variable bugs, using a unified technique, called Unicorn. Unicorn uses online memory monitoring and offline memory pattern combination to handle multi-variable concurrency bugs. The overall Unicorn approach is effective in ranking memory-access patterns for single- and multi-variable concurrency bugs. To further assist developers in understanding concurrency bugs, this thesis presents a fault-explanation technique, called Griffin, that provides more context of the root cause than Unicorn. Griffin reconstructs the root cause of the concurrency bugs by grouping suspicious memory accesses, finding suspicious method locations, and presenting calling stacks along with the buggy interleavings. By providing additional context, the overall Griffin approach can provide more information at a higher-level to the developer, allowing him or her to more readily diagnose complex bugs that may cross file or module boundaries. Finally, this thesis presents a set of empirical user studies that investigates the effectiveness of the presented techniques. In particular, the studies compare the effectiveness between a state-of-the-art debugging technique and our debugging techniques, Unicorn and Griffin. Among our findings, the user study shows that while the techniques are indistinguishable when the fault is relatively simple, Griffin is most effective for more complex faults. This observation further suggests that there may be a need for a spectrum of tools or interfaces that depend on the complexity of the underlying fault or even the background of the user.

Nell’ultima decade, il microscopio a forza atomica, non solo si è distinto come strumento di indagine topografica, ma sempre più spesso è utilizzato dai ricercatori come nano indentatore per misurare le proprietà meccaniche su scala nanometrica tramite la produzione di curve di forza puntuali, pratica utile soprattutto in campioni come i tessuti biologici. Un’interessante applicazione della misura delle proprietà meccaniche su scala nanometrica è la realizzazione di imaging che possano caratterizzare la superficie del campione a seconda della proprietà prescelta. Per realizzare un imaging delle proprietà meccaniche di un campione su scala nanometrica, occorre innanzitutto elaborare i dati grezzi forniti dallo strumento, processo che risulta difficile da svolgere manualmente soprattutto quando la mole di dati assume proporzioni considerevoli, in questi casi un approccio automatizzato all’elaborazione dei dati AFM diviene di vitale importanza per utilizzare lo strumento in analisi su larga scala e per limitare gli interventi dell’utente. Il processo di automatizzazione però presenta alcuni ostacoli nella sua realizzazione che spesso ne inficiano la robustezza. Un software che elabora autonomamente un set di curve di forza prodotte da un AFM dovrà gestire ogni eventuale anomalia presente nei dati grezzi. In questa tesi sono presentati due script sperimentali per l’elaborazione automatizzata dei dati AFM, entrambi realizzati e computati tramite Scilab. Il primo script presentato realizza misure puntuali; dato un set di curve appartenenti allo stesso punto, permette di mettere in relazione l’andamento delle varie proprietà meccaniche di interesse, compreso il modulo di Young, di ogni curva del data set. Il secondo script realizza due tipi di immagine della superficie analizzata: una mostra la variazione del modulo di Young in scala nanometrica, la seconda ricostruisce l’immagine del campione utilizzando la deviazione standard del modulo elastico come parametro.

Utilizzando il metodo variazionale si studiano alcuni sistemi con l’obiettivo di approssimare l’energia del loro stato fondamentale. I casi trattati in questa tesi vertono su problemi di natura atomica, quali la descrizione degli atomi di idrogeno, elio e dell’atomo muonico, e su problemi di carattere nucleare, quali la stima dell’ampiezza del potenziale di Yukawa e la descrizione del deutone.

La investigació recent en adquisició de segones llengües des d’una perspectiva generativista (GenSLA) ha intentat donar compte del reacoblament dels trets sintàctics i semàntics dels articles (Cho & Slabakova, 2014) i els noms (Choi, Ionin, & Zhu, 2018) en anglès L2, però no ha convertit aquests resultats en una pedagogia pràctica (Whong, Whong, Marsden, & Gil, 2013). L’objectiu d’aquesta tesi és examinar propostes prèvies (Lopez, 2017; Sabir, 2018) que recomanen materials didàctics (Marsden & Slabakova, 2019) per investigar l’adquisició dels articles i els tipus de noms en anglès L2 per part de parlants de xinès mandarí L1 en contextos d’instrucció diferents. La pregunta d’investigació principal pretén analitzar si utilitzar un enfocament didàctic basat en investigacions en el camp de GenSLA i ILLA és beneficiós. Seguint investigacions prèvies de Lopez (2017) i Sabir (2018), aquesta tesi pretén contribuir a aquest camp creant un context instruccional nou anomenat “linguistically-informed instruction”. Basat en la Feature Reassembly Hypothesis (Lardiere, 2008, 2009a, 2009b), la Bottleneck Hypothesis (Slabakova, 2008, 2009a, 2009b), i la Cline of Difficulty (Slabakova, 2009a), aquesta nova pedagogia ensenya articles i tipus de noms en anglès L2 a través d’universals semàntics: [± definite] per a articles i [± atomic] i [± count] per noms. Quatre preguntes de recerca principals analitzen els efectes de la instrucció: (1) Fins a quin punt els trets de la L1 són presents en els articles i tipus de noms en anglès L2 dels participants abans de la intervenció didàctica, mesurat per les diferències potencials entre els resultats dels aprenents de la L2 i els parlants nadius? (2) Intervé el tipus de context d’instrucció en el reacoblament dels trets L1 dels articles i els tipus de nom a la L2? (3) Quin tipus d’instrucció generarà millors resultats en el reacoblament dels trets L1 dels articles i els tipus de nom a la L2 en el post-test immediat i el no-immediat? (4) Quin és l’efecte del tipus de tasca utilitzada en la millora general dels resultats i la seva interacció amb el tipus d’instrucció? Per avaluar l’efecte dels tipus d’instrucció, es van utilitzar tres grups de participants parlants de xinès mandarí L1, anglès L2: (i) un grup que va rebre una hora de “Linguistically-informed instruction”, (ii) un grup que va rebre una hora d’instrucció utilitzant el llibre de text tradicional, i (iii) un grup que no va rebre instrucció extra. Es va analitzar els participants abans de la intervenció, immediatament després i tres setmanes després utilitzant una “elicited sentence imitation task”, una “acceptability judgment task” i una “forced-choice elicitation task”. Els nostres resultats van evidenciar que els aprenents van mostrar patrons no nadius en el seu reacoblament dels trets L2 abans de la intervenció. Després deel post-test immediat i no immediat, els resultats van evidenciar que els aprenents que van rebre “linguistically-informed instruction” i els que van rebre instrucció tradicional van començar a reacoblar seus trets L1 als de la L2. L’anàlisi també mostra que els aprenents “linguistically-informed” van millorar més el seu coneixement lingüístic que els aprenents tradicionals i els que no van rebre instrucció. Finalment, es va evidenciar una interacció entre tipus d’instrucció i tipus de tasca, per la qual la “linguistically-informed instruction” sembla desenvolupar el coneixement implícit a curt termini. L’anàlisi general dels resultats suggereix que si la “linguistically-informed instruction” s’implementés de manera sistemàtica durant tot un curs, podria causar un aprenentatge més efectiu que la instrucció tradicional a l’hora d’ensenyar conceptes lingüístics complexos.
La investigación reciente en adquisición de segundas lenguas desde una perspectiva generativista (GenSLA) ha intentado dar cuenta del ensamblaje de los rasgos sintácticos y semánticos de los artículos (Cho & Slabakova, 2014) y los nombres (Choi, Ionin, & Zhu, 2018) en inglés L2, pero no ha convertido estos resultados en una pedagogía práctica (Whong, Whong, Marsden, & Gil, 2013). El objetivo de esta tesis es examinar propuestas previas (Lopez, 2017; Sabir, 2018) que recomiendan materiales didácticos (Marsden & Slabakova, 2019) para investigar la adquisición de los artículos y los tipos de nombres en inglés L2 por parte de hablantes de chino mandarín L1 en contextos de instrucción distintos. La pregunta de investigación principal pretende analizar si utilizar un enfoque didáctico basado en investigaciones en el campo de GenSLA y ISLA es beneficioso. Siguiendo investigaciones previas de Lopez (2017) y Sabir (2018), esta tesis pretende contribuir a este campo creando un contexto instruccional nuevo llamado “linguistically-informed instruction”. Basado en la Feature Reassembly Hypothesis (Lardiere, 2008, 2009a, 2009b), la Bottleneck Hypothesis (Slabakova, 2008, 2009a, 2009b), y la Cline of Difficulty (Slabakova, 2009a), esta nueva pedagogía enseña artículos y tipos de nombres en inglés L2 a través universales semánticos: [±definite] para artículos y [±atomic] y [±count] para nombres. Cuatro preguntas de investigación principales analizan los efectos de la instrucción: (1) ¿Hasta qué punto los rasgos de la L1 están presentes en los artículos y tipos de nombres en inglés L2 de los participantes antes de la intervención didáctica, medido por las diferencias potenciales entre los resultados de los aprendices de la L2 y los hablantes nativos? (2) ¿Interviene el tipo de contexto de instrucción en el reensamblaje de los rasgos L1 de los artículos y los tipos de nombre en la L2? (3) ¿Qué tipo de instrucción generará mejores resultados en el reensamblaje de los rasgos L1 de los artículos y los tipos de nombre en la L2 en el post-test inmediato y el no-inmediato? (4) ¿Cuál es el efecto del tipo de tarea utilizada en la mejora general de los resultados y su interacción con el tipo de instrucción? Para evaluar el efecto de los tipos de instrucción, se utilizaron tres grupos de participantes hablantes de chino mandarín L1, inglés L2: (i) un grupo que recibió una hora de “linguistically-informed instruction”, (ii) un grupo que recibió una hora de instrucción utilizando el libro de texto tradicional, y (iii) un grupo que no recibió instrucción extra. Se analizó a los participantes antes de la intervención, inmediatamente después y tres semanas después utilizando una “elicited sentence imitation task”, una “acceptability judgment task” y una “forced-choice elicitation task”. Nuestros resultados evidenciaron que los aprendices mostraron patrones no nativos en su ensamblaje de los rasgos L2 antes de la intervención. Después del post-test inmediato y no inmediato, los resultados evidenciaron que los aprendices que recibieron “linguistically-informed instruction” y los que recibieron instrucción tradicional empezaron a reensamblar sus rasgos L1 a los de la L2. El análisis también muestra que los aprendices “linguistically-informed” mejoraron más su conocimiento lingüístico que los aprendices tradicionales y los que no recibieron instrucción. Finalmente, se evidenció una interacción entre tipo de instrucción y tipo de tarea, por la que la “linguistically-informed instruction” parece desarrollar el conocimiento implícito a corto plazo. El análisis general de los resultados sugiere que si la “linguistically-informed instruction” se implementara de manera sistemática durante todo un curso, podría causar un aprendizaje más efectivo que la instrucción tradicional a la hora de enseñar conceptos lingüísticos complejos.
Recent Generative Second Language Acquisition (GenSLA) research has tried to account for the assembly of syntactic and semantic features of L2-English articles (Cho & Slabakova, 2014) and nouns (Choi, Ionin, & Zhu, 2018), but has done little to turn these results into practical teaching pedagogy (Whong, Marsden, & Gil, 2013). Traditional language pedagogy is not guided by theoretical principles, and GenSLA has yet to thoroughly investigate the role of instruction in acquisition. Therefore, the primary goal of this dissertation is to test previous proposals (Lopez, 2017; Sabir, 2018) that make recommendations for innovating teaching material (Marsden & Slabakova, 2019) by investigating the acquisition of L2-English articles and noun types by L1-Mandarin speakers in different instructional contexts with the hopes of contributing to the limited number of Instructed Second Language Acquisition (ISLA) studies motivated by GenSLA theoretical findings. We attempt to do this and explore the overarching question of whether or not creating a teaching and learning environment that is informed by both GenSLA research and ISLA pedagogy is beneficial. Following the previous research by Lopez (2017) and Sabir (2018), this dissertation seeks to contribute to this limited field by creating a new instructional context termed linguistically-informed instruction. Informed by the Feature Reassembly Hypothesis (Lardiere, 2008, 2009a, 2009b), the Bottleneck Hypothesis (Slabakova, 2008, 2009a, 2009b), and the Cline of Difficulty (Slabakova, 2009a), this new instructional pedagogy teaches L2-English articles and noun types through semantic universals: [±definite] for articles and [±atomic] and [±count] for nouns. We investigate the effects of instruction through four primary research questions: (1) To what extent will L1 features be present in the participants’ L2-English articles and noun types prior to intervention, as measured by the potential differences between the L2 learners’ and native speakers’ performance? (2) Does type of instruction mediate the reassembly of L1 article and noun type features for the L2? (3) What type of instruction will lead to greater gains in the reassembly of L1 article and noun type features for the L2 at both immediate and delayed post-test? (4) What is the effect of task type on overall improvement and its interaction with type of instruction? To evaluate the effect of instruction, three L1-Mandarin, L2-English participant groups were established: (i) a group which received one hour of linguistically-informed instruction, (ii) a group which received one hour of instruction using their traditional textbook, and (iii) a group which received no extra instruction. The participants were tested prior to intervention, immediately following intervention, and three weeks following intervention using an elicited-sentence imitation task, an acceptability judgment task, and a forced-choice elicitation task. Our results found that the learners displayed non-native patterns in their assembly of L2 article and noun type features prior to instruction. At immediate and delayed post-test, we found that both linguistically-informed and traditional instruction learners began to reassemble their L1 features for the L2. Our analysis also revealed that linguistically-informed learners made greater gains in linguistic knowledge than the traditional instruction learners and learners with no extra instruction. Finally, we found an interaction between instructional intervention and task type, revealing that linguistically-informed instruction may be the most beneficial in building up short-term implicit knowledge. The overall significance of our results suggests that if linguistically-informed instruction were implemented in a systematic way, it may lead to greater gains than traditional instruction when teaching complex linguistic concepts.

Orientador: Antonio Luiz Pires Valente
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-07-21T18:33:56Z (GMT). No. of bitstreams: 1 Montero_Larisse_M.pdf: 3956813 bytes, checksum: c8ee78b679471cde209b666586c90473 (MD5) Previous issue date: 1996
Mestrado

Ce travail de recherche aborde la fiabilité de la coordination de services exprimée comme des propriétés non-fonctionnelles (e. G. La performance, la sécurité, l'atomicité, la persistance, etc. ) qui doivent être assurées et renforcées en cours d'exécution. Les systèmes existants, les modèles et les langages fournissent aujourd'hui des solutions ad hoc qui tissent la logique applicative avec les aspects non-fonctionnels, conduisant à des applications difficiles à faire évoluer et à maintenir. Notre approche favorise la séparation et la personnalisation d'aspects tels que la fiabilité. Nous proposons le modèle de contrats COBA pour décrire l'association des propriétés non fonctionnelles à une coordination de services, et l'évaluation des contrats grâce aux stratégies pour les vérifier et les renforcer en cours d'exécution. Une expérimentation et une validation du modèle ont été réalisées à travers la mise en œuvre de ROSE, un moteur d'exécution de coordinations de services fiables
This research work addresses reliability of services coordination expressed as nonfunctional properties (e. G. , performance, security, atomicity, persistency, etc) that must be ensured and enforced at execution time. Existing systems, models and languages provide ad-hoc solutions that weave the application logic, expressed as services coordination, with non functional properties, leading to applications difficult to evolve and maintain. In contrast, our approach promotes separation of concerns such that reliability can be personalized for a given services coordination where some services can run under persistent connection conditions, others participate in atomic executions, etc. Therefore, we propose a contract model for associating non-functional properties to a service coordination and associated contract evaluation strategies for verifying and enforcing them at run time. A proof of concept is presented, ROSE is a reliable services coordination execution engine able to add exception handling and atomicity properties to a given services coordination

Questo elaborato affronta il processo di raffreddamento di una miscela di gas, composta da atomi di Rubidio e Potassio, ponendo particolare attenzione alla fase di evaporazione. Viene studiato il raffreddamento simpatetico ed in particolare vengono analizzati tutti i processi fisici che hanno luogo all'interno della trappola ibrida.

L’obiettivo di questa tesi è esfoliare mediante tecnica LPE qualche layer di grafite ed analizzare il campione ottenuto mediante la tecnica AFM. Negli studi sperimentali svolti nell’ambito di questa tesi sono state condotte tre tipologie di esperimenti: 1) analisi della grafite minerale prima del trattamento di esfoliazione; 2) esfoliazione LPE di grafite fissata su substrato di muscovite, in bagno ultrasonico con acqua bidistillata; 3) esfoliazione LPE di grafite fissata su muscovite, in bagno ultrasonico con azoto liquido. L’ultrasonicazione ha portato al distacco ed isolamento di frammenti di grafite di forma tipicamente triangolare e di dimensioni laterali micrometriche, i quali si sono depositati sul substrato di muscovite e ridepositati sulla grafite stessa. Inoltre ho osservato la presenza di diversi DLG (double-layer graphene) e addirittura la presenza di SLG (single-layer graphene) estesi alcune centinaia di nm. L’analisi AFM ha mostrato la presenza di bordi cristallografici definiti, a volte con la presenza di angoli di 120° e ha mostrato il fenomeno del “folding”.

Orientador: Rezende Gomes dos Santos
Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica
Made available in DSpace on 2018-07-14T00:01:43Z (GMT). No. of bitstreams: 1 Moreira_AntonioLucianoSeabra_D.pdf: 3747561 bytes, checksum: e505c7e4042aee622064de7bc8634fe5 (MD5) Previous issue date: 1991
Resumo: Este trabalho apresenta um método analítico para o estudo da difusão atômica no estado sólido em sistemas binários com fluxos atômicos uni¬direcional, radial cilíndrico e radial esférico com somente uma fase, nos quais nã.o ocorram transformações de fases. Inicialmente é realizada uma revisão bibliográfica dos principais métodos propostos para a análise da difusão atômica nestes sistemas. Em seguida são desenvolvidos fatores geométricos de correção e efetuadas mudanças de variáveis que, introdu¬zidos na equação diferencial da difusão atômica unidirecional, permitem a conversão de um sistema para outro. A equação diferencial modificada é resolvida utilizando-se uma solução exata conhecida, baseada na função erro, quando são determinadas as equações que representam a posição da interface de difusão em função do tempo e os perfis de concentrações de So¬luto em função da posição e do tempo durante o processo. A precisão das equações analíticas obtidas é verificada através de comparações com resul¬tados numéricos. Posteriormente é realizado um estudo comparativo entre os parâ.metros de difusão atômica de cada um dos sistemas considerados. Finalmente são apresentadas possíveis aplicações do método desenvolvido na solução de problemas práticos envolvendo o fenômeno em questão
Abstract: In this work an analytical method is proposed to study diffusion pro¬cess in the solid state in binary systems consisting of only one phase with unidirectional, cylindrical and spherical atomic fluxo Initially a literature survey is carried out regarding some of the most important methods ap¬plied to diffusion process in these systems. The method is developed from the differential equation which treats this process in systems with unidirec¬tional atomic flux, that is modified by geometric correlation and convenient changes of variables. The modified differential equation is solved by using a well known exact solution based on the error function and equations are obtained to analyse both the position of the diffusion interface as a func¬tion of time and the concentration profiles as a function of the position and time. The predictions furnished by the analytical method are compared with numerical results. A comparative study of diffusion process in planar, cylindrical and spherical geometries is ais o presented. Finally possible ap¬plications of the proposed method to the solution of practical problems are discussed.
Doutorado
Doutor em Engenharia Mecânica

Orientador: Wilson de Figueiredo Jardim
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-07-21T09:43:18Z (GMT). No. of bitstreams: 1 Windmoller_ClaudiaCarvalhinho_D.pdf: 3136554 bytes, checksum: 5c92be66556b1873f44c96fdda3b07ca (MD5) Previous issue date: 1996
Doutorado

Orientador: Roney J. Poppi
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-03T21:55:15Z (GMT). No. of bitstreams: 1 Balbinot_Leoberto_M.pdf: 4559423 bytes, checksum: ae1594b628c06ed33d229de50ee4b67b (MD5) Previous issue date: 2003
Resumo: Redes neurais artificiais são algoritmos que tentam imitar o comportamento do cérebro humano. Mapas auto-organizáveis (SOM) de Kohonen consistem de um tipo de rede neural artificial não-supervisionada constituída por uma única camada de neurônios. Seu objetivo é projetar dados de alta dimensão num espaço de dimensão reduzida, sendo útil na classificação e visualização de dados de alta dimensão. Neste trabalho foram realizadas três aplicações de SOM: algas, polímeros e solos. Na primeira aplicação, um conjunto de 11 amostras de algas abrangendo 11 espécies e 2 grupos taxonômicos foi estudado. Os sinais analíticos usados são as concentrações de metais das algas, obtidos por ICP OES. Utilizaram-se dois métodos de abertura das algas: digestão sob microondas e por ultra-som. A classificação distinguiu as algas em função de seus grupos taxonômicos, assim como demonstrou que os dois métodos de abertura são diferentes. Na segunda aplicação foi estudada a degradação de poliolefinas pigmentadas (empregadas na confecção de pára-choques automotivos) através de dados obtidos por FTIR. Analisou-se o efeito de um dos constituintes da formulação quanto à sua natureza fotoquímica: negro de fumo comum (NFcm) e condutor (NFcd). O estudo indicou a formulação mais fotoestável e sugeriu uma sinergia entre o NFcd e o pigmento TiO2, presentes na formulação mais estável. Na terceira aplicação parâmetros físicos, químicos e biológicos de solos foram utilizados para avaliar as suas qualidades e o efeito sobre eles dos manejos orgânico e convencional. No manejo convencional emprega-se defensivos e fertilizantes sintéticos, enquanto que na agricultura orgânica utilizam-se materiais naturais. O uso de SOM permitiu a distinção dos solos em função do emprego ou não do manejo e do seu tipo. O estudo mostrou maior conservação dos solos cujo manejo é orgânico, assim como correlações entre parâmetros, e entre parâmetros e tipos de manejos
Abstract: Artificial neural networks (ANN) attempt to imitate the human brain behaviour. Kohonen self-organizing maps (SOM) consist of a kind of unsupeNised ANN formed by a single layer of neurons. It projects high-dimensional data into a low-dimensional space; it is used for classification and visualization of high-dimensional data sets. This work reports three SOM applications: algaes, injection molded copolymers and soils. In the first application, an 11 samples algae set belonging to 11 species and two taxonomíc groups were analyzed. The data used correspond to the algaes metal concentratíons, obtained by means of ICP OES. Two different methods to extract metais were tested: microwave digestion and ultra-sound. Classification has distinguished algaes by considering their taxonomic groups and demonstrated that the two sample preparation methods are, in fact, different. The second application is a study of the photostabilization of injection molded co-polymers containing Ti02, whose formulation is used on car bumpers, with data generated by FTIR. One ana/ysed the effect of a constituent with relation to its photochemistry nature: conducting (CCB) and non conducting (CB) carbon black. It was found the more photostable formulation, as well as the results has pointed to a synergism effect between CCB and Ti02 present in the more stable formulation. In the third application chemica/, physical and biological soil parameters were used to evaluate its quality and the organic and conventional practices of management. Conventional practices use synthetic defensives and fertilizers, while organic agriculture employs only natural materiais. SOM has allowed the distinction between presence or absence of soil management, and their types. The results showed better conservation of soils with organic management, as well as correlations among parameters and among parameters and managements were identified.
Mestrado
Mestre em Química

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Química, Florianópolis, 2015.
Made available in DSpace on 2015-11-24T03:10:26Z (GMT). No. of bitstreams: 1 336122.pdf: 1784794 bytes, checksum: fa72ea520524bfd2f79dd33a1ba0aa45 (MD5) Previous issue date: 2015
Este trabalho está subdividido em dois estudos. O primeiro estudo descreve uma nova abordagem para a análise direta de amostra sólida utilizando plataformas termoplásticas de amido (TPS) para a determinação de Mo e V por HR-CS GF AAS. A plataforma TPS foi preparada em parceria com Julyetty C. da Silva a partir de uma mistura de amido de milho comercial com sorbitol como agente plastificante em uma proporção de 70/30 (m/m). Diferentes parâmetros que afetam a composição do filme, tais como o tipo e proporção de plastificante, foram avaliadas, tendo em conta o comportamento no tubo de grafite quando a plataforma TPS foi sujeita ao programa de aquecimento. A nova abordagem tem demonstrado aumentar o tempo de vida do tubo de grafite significativamente devido a uma cauda menos pronunciada dos sinais de absorvância de tais elementos, o que torna possível reduzir o tempo de atomização e limpeza significativamente, em comparação com a utilização de uma plataforma de grafite convencional. Efeitos de memória foram reduzidos com a utilização da plataforma à base de amido, resultando em maior precisão. Foram utilizadas as linhas de ressonância principais em 313,259 nm para Mo e 318,398 nm para o V. O LOD e mo foram de 25 pg e 7 pg para Mo, e 130 pg e 18 pg para V, respectivamente. A exatidão foi avaliada pela análise de CRM?s, incluindo NIST 1577b (fígado bovino), NCS ZC 71001 (fígado bovino), NIST 1568a (farinha de arroz) e NIST 1649a (pó urbano) para Mo, e BCR 180 (carvão), NIST 1649a (pó urbano), IAEA-336 (líquen) e NIST 1648a (material particulado urbano) para V.A segunda parte consiste no desenvolvimento de um método para determinação sequencial/simultânea de Cd, Ni e Sb com espectrometria de absorção atômica de alta resolução com forno de grafite (HR-CS GF AAS). O uso de modificadores permanentes como Pd, Ir, Ru e Zr e Pd/Mg foi investigado para determinar as melhores condições de trabalho e as temperaturas de compromisso entre os elementos. Para o Cd foi utilizado o comprimento de onda em 228,802 nm, e na determinação simultânea foram utilizados os comprimentos de onda em 231,096 nm para o Ni e em 231,147 nm para o Sb. O programa de temperatura se mostrou efetivo, e a determinação de três elementos em um mesmo programa de temperatura acelera o processo de análise e aumenta a vida útil do tubo de grafite. Esse fator, associado à menor utilização de argônio, diminui os custos da análise, tornando a GF AAS mais interessante. O limite de detecção (LOD) e massa característica (mo) foram de 1 pg e 16 pg para Cd, 0,06 ng e 20 pg para Ni e 0,06 ng e29 pg para Sb, respectivamente. A exatidão foi avaliada utilizando materiais de referência certificados incluindo CTA-VTL-2 (folhas de tabaco de Virgínia) e BCR 679 (repolho branco).

Abstract : This work is divided in two studies. The first part describes a new approach for direct solid sample analysis using thermoplastic starch (TPS) platforms for the determination of Mo and V by HR-CS GF AAS. The TPS platform was prepared in collaboration with Julyetty C. da Silva from a mixture of commercial corn starch (28% amylase and 72% amylopectin), with sorbitol as the plasticizer in a 70/30 mass-based ratio. Different parameters affecting the film composition, such as the proportion and plasticizer type, were evaluated taking into account the behavior in the graphite tube when the TPS was subjected to the heating program. The new sample introduction approach has been shown to increase the lifetime of the graphite tube significantly due to a much less pronounced tailing of the absorbance signals of elements such as Mo or V, which makes it possible to reduce atomization and cleaning times, compared to the use of a conventional graphite platform. Memory effects were significantly reduced using the starch-based platform, resulting in improved precision. Was used 313,259 nm for Mo and 318,398 nm for V. The detection limit and characteristic mass were determined as 25 pg and 7 pg for Mo, and 130 pg and 18 pg for V, respectively. The accuracy was confirmed by the analysis of a series of certified reference materials, including NIST 1577b (bovine liver), NCS ZC 71001 (beef liver), NIST 1568a (rice flour) and NIST 1649a (urban dust) for Mo, and BCR 180 (coal), NIST 1649a (urban dust), IAEA-336 (lichen) and NIST 1648a (particulate matter) for V.The second part of this work is the development of a method for sequential/simultaneous determination of Cd, Ni and Sb by high-resolution continuum source graphite furnace atomic absorption spectrometry (HR-CS GF AAS). The use of permanent modifiers such as Pd, Ir, Ru, Zr and Pd/Mg has been investigated to achieve the best working condition and to evaluate which temperatures were applicable. For Cd was used 228.802 nm and for the simultaneous determination were used 231.096 nm and 231.147 nm for Ni and Sb respectively. The temperature program was effective, and the determination of the three elements using the same temperature program speeds up the analysis and increases the lifespan of the graphite tube. This factor, associated with the less use of argon, reduces the cost of analyses, making the GF AAS even more interesting. The limit of detection (LOD) and the characteristic mass (mo) were 1 pg and 16 pg for Cd, 0.06 ng and 20 pg for Ni and 0.06 pg to 29 pg for Sb, respectively. Accuracy wasconfirmed using the certified reference materials CTA-VTL-2 (Virginia tobacco leaves) and BCR 679 (white cabbage).

Orientador: Marco Aurelio Zezzi Arruda
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-08T22:29:56Z (GMT). No. of bitstreams: 1 Matos_GeraldoDomingues_D.pdf: 2963776 bytes, checksum: 63761ac61fa005bd6133cb5e9831941d (MD5) Previous issue date: 2007
Resumo: O objetivo desta Tese foi a ampliação das potencialidades do método TS-FF-AAS, no que diz respeito à melhora da sensibilidade para Cd e Co. Com relação ao Cd, foi desenvolvido um procedimento de pré-concentração em linha em uma minicoluna contendo bagaço de uva. Inicialmente, foi realizada uma caracterização físico-química do material adsorvente empregando espectrometria na região do infravermelho, ressonância magnética nuclear de C, análise termogravimétrica, difratometria de raios-X e microscopia eletrônica de varredura. As variáveis otimizadas incluem o pH de adsorção, tipo, concentração e volume do eluente e vazão de pré-concentração. O procedimento apresentou faixa linear de 0,11-5 mg/L, limite de detecção (LD) de 0,03 mg/L e precisão de 5%, além da boa estabilidade do material. O ganho no LD foi de 16 vezes em relação a TS-FF-AAS sem a etapa de pré-concentração. A exatidão foi confirmada com o uso de materiais de referência certificados, ao nível de 95% de confiança. Para o Co, foi desenvolvido um procedimento com derivatização em linha com posterior quantificação por TS-FF-AAS. Assim, foram estudados alguns complexantes, sendo o dietilditiocarbamato de sódio o mais adequado. Os parâmetros otimizados foram: pH de complexação, volume e concentração do complexante, volume de amostra, composição dos gases da chama e área total de furos do tubo de níquel. Estas duas últimas apresentaram-se como os mais importantes. O uso do complexante proporcionou uma maior eficiência de vaporização da amostra, comprovado por meio de filmagens de formação do spray térmico. O procedimento apresentou faixa linear de 23-400 mg/L e LD de 7 mg/L, o que representa um ganho de 17 vezes em relação a FAAS. A exatidão foi verificada empregando materiais de referência certificados com concordância com valores certificados ao nível de 95% de confiança.
Abstract: The main objective of this Thesis was the improvement of the TS-FF-AAS technique concerning sensitivity for Cd and Co. For Cd, an on-line preconcentration procedure in a mini-column containing grape bagasse was developed. Initially, physical-chemical characterization of this material was made using infrared spectroscopy, nuclear magnetic resonance C, thermogravimetric analysis, X-ray difractometry and scanning electron microscope. The optimized variables include the pH of sorption, type, concentration and volume of the eluent and preconcentration flow rate. The procedure provided linear range from 0.11-5.0 mg/L, limit of detection (LD) of 0.03 mg/L and precision of 5% as well as good stability of the material. The gain in the power of detection was of 16-fold when compared to TS-FF-AAS without preconcentration step. The accuracy was confirmed by using certified reference materials. For Co, a procedure using on-line derivatization and quantification by TS-FF-AAS was developed. In this way, some complexing agents were evaluated and the most appropriate was sodium diethyldithiocarbamate. The optimized parameters were complexation pH, complexing volume and concentration, sample volume, flame composition and nickel tube with total hole area. These two last were the most important. The use of complexing agents provided a larger vaporization efficiency of the sample, checked by means of filming of formation of the thermospray. This procedure provided a linear range from 23-400 mg/L and LD of 7 mg/L, what represents a gain of 17-fold in relation to FAAS. The accuracy was evaluated using certified reference materials with agreement with certificate values at the 95% confidence level.
Doutorado
Quimica Analitica
Doutor em Quimica

La mémoire transactionnelle est un mécanisme de plus en plus populaire pour la programmation parallèle et concurrente. Dans la plupart des implantations, l’emboîtement de transactions n’est pas possible ce qui pénalise la modularité. Plutôt que les transactions, qui sont un choix possible d’implantation, nous considérons directement la notion de section atomique. Dans un objectif d’améliorer la modularité et l’expressivité, nous considérons un langage impératif simple étendu avec des instructions de parallélisme avec lancement et attente de processus légers et une instruction de section atomique à portée syntaxique, depuis laquelle des processus légers peuvent s’échapper. Dans ce contexte notre première contribution est la définition précise de l’atomicité et de la bonne synchronisation. Nous prouvons que pour des traces bien formées, la dernière implique la forme forte de la première. Ceci est fait sur des traces d’exécution abstraites dans le sens où nous ne définissons par précisément la syntaxe et la sémantique opérationnelle d’un langage de programmation. Cette première partie de notre travail peut être considérée comme une spécification pour un tel langage. Nous avons utilisé l’assistant de preuve Coq pour modéliser et prouver nos résultats. Notre deuxième contribution est la définition formelle du langage Atomic Fork Join (AFJ). Nous montrons que les traces de sa sémantique opérationnelle vérifient effectivement les conditions de bonne formation définies précédemment. La troisième contribution est la compilation de programmes AFJ en programmes Lock Unlock Fork Join (LUFJ) un langage avec processus léger et verrous mais sans sections atomiques. Nous étudions la correction de la compilation de AFJ vers LUFJ
Transactions are becoming a popular mechanism for parallel and concurrent programming. In most implementations the nesting of transactions is not supported which hinders modularity. Rather than transactions, which are an implementation choice, we consider directly the notion of atomic section. For the sake of modularity with we consider a simple imperative language with fork/join parallelism and lexically scoped nested atomic sections from which threads can escape. In this context, our first contribution is the precise definition of atomicity, well-synchronisation and the proof that the latter implies the strong form of the former. This is done on execution traces without being specific to a language syntax and operational semantics. This first part of our work could be considered as a specification for the design and implementation of such a parallel language. A formalisation of our results in the Coq proof assistant is also available. Our second contribution is a formal definition of the Atomic Fork Join (AFJ) language and its operational semantics. We show that it indeed satisfies the conditions previously defined. The third contribution of our work is a compilation procedure of AFJ programs to programs another language with threads and locks but without atomic sections, named Lock Unlock Fork Join (LUFJ). We study the correctness of the compilation from AFJ to LUFJ

Orientador: José Anchieta Gomes Neto
Banca: Paulo Clairmont Feitosa de Lima
Banca: Mirian Cristina dos Santos
Banca: Silvana Ruella de Oliveira
Banca: Carolina Lourencetti
Resumo: O objetivo desta Tese de Doutorado foi avaliar o método de adição de padrão interno empregando técnicas espectroscópicas. Inicialmente o método de adição de padrão interno foi aplicado no modo convencional na determinação de Ca e Mg em amostras biodiesel e urina por espectrometria de absorção atômica em chama de alta resolução e fonte contínua e na determinação de ureia em urina por espectroscopia Raman. Para fins comparativos, todas as amostras e materiais certificados foram também analisados pelos métodos de calibração externa, adição de padrão e padronização interna. Nitrato, Sr e Mn foram selecionados como padrões internos para ureia, Ca e Mg, respectivamente. Para avaliar a exatidão do método na determinação de Ca e Mg foram analisados nove materiais de referência certificados (CRM) e os resultados obtidos foram concordantes a 95% de confiança com os valores certificados (teste t). Para ureia a exatidão foi avaliada por meio de comparação dos resultados obtidos pelo método de adição de padrão interno e por um método de referência. Todos os resultados obtidos foram concordantes entre si (teste t pareado) ao nível de 95% de confiança. A exatidão do método também foi checada por meio de testes de adição e recuperação: Ca (93 - 119%), Mg (100 - 116%) e ureia (99 - 105%). A desvantagem do método de adição de padrão interno convencional foi o volume total de amostra utilizado, a quantidade de soluções analíticas empregadas e a baixa frequência analítica. No entanto, este probl... (Resumo completo, clicar acesso eletrônico abaixo)
Abstract: The aim of this Doctoral Thesis was to evaluation of the internal standard addition method employing spectroscopic techniques. Initially, traditional standard addition method was applied for Ca and Mg determination in biodiesel and urine samples by high-resolution continuum source flame atomic absorption spectrometry and for urea determination in urine samples by Raman spectroscopy. For comparison purposes, all samples and certified materials were also analyzed by external calibration, standard addition and internal standardization methods. Nitrate, Sr and Mn were selected as internal standards for urea, Ca and Mg, respectively. In order to verify the accuracy for Ca and Mg determination were analyzed nine certified reference materials (CRM), the results were in agreement with certified values at the 95% confidence level (t-test). For urea, the accuracy was evaluated by comparison of the results obtained by internal standard addition and a reference method. All results were in agreement at 95% confidence level (paired t-test) with each other. The accuracy was also checked by addition and recovery tests: Ca (93 - 119%), Mg (100 - 116%) and urea (99 - 105%). The drawbacks of traditional internal standard addition were the total volume of sample used, the amount of analytical solutions employed and the lower sample throughput. However, these problems were solved with the development of flow systems and the use of a concentration gradient. The internal standard addition by flow g... (Complete abstract click electronic access below)
Doutor

Orientadores : Nivaldo Baccan, Solange Cadore
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-08-03T15:24:31Z (GMT). No. of bitstreams: 1 Dias_VeraMariadaCosta_D.pdf: 3913829 bytes, checksum: 37f6784fb5950cd92289b5b9695576a5 (MD5) Previous issue date: 2002
Doutorado

Orientador: Bernardino Ribeiro de Figueiredo
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Geociencias
Made available in DSpace on 2018-08-04T03:39:11Z (GMT). No. of bitstreams: 1 Rossin_Ricardo_M.pdf: 638276 bytes, checksum: dbc3ed410cb58a3cbb0250def39fe7c5 (MD5) Previous issue date: 2005
Resumo: As diferentes toxicidades das espécies de arsênio (As) tornam a sua determinação individual essencial para uma acurada avaliação de riscos. Neste trabalho foram avaliadas as condições experimentais sob distintas concentrações ácidas, presença de agente pré-redutor (L-cisteína) e concentração do redutor (NaBH4), para quantificação das espécies inorgânicas de As em águas por HG-AAS. Para As total, com 1% de L-cisteína, foi definido 0,05 mol L-1 de HNO3 e 0,6% (m/v) de NaBH4. A determinação seletiva de As(III) foi realizada pelo uso de uma concentração reduzida (0,1% m/v) de NaBH4. Para amostras naturais, sem preservantes, as mesmas devem ser refrigeradas e protegidas da luz e a análise da especiação de As ser realizada imediatamente, para evitar alteração na distribuição das espécies. A acidificação com HNO3 a 0,05 mol L-1, em amostras refrigeradas e protegidas da luz, se mostrou eficiente na preservação das espécies inorgânicas de As em águas por um período de até 4 meses. Porém, a adição de EDTA 0,0125 mol L-1 ocasionou pequena variação na distribuição das espécies num período de 3 meses. A aplicação dos procedimentos em águas do Quadrilátero Ferrífero - MG, revelou concentrações de As total variando entre 6 e 2070 µg L-1 e As(III) de 2 a 43 µg L-1. Os resultados de As total em amostras de águas naturais e material de referência certificado por HG-AAS apresentaram boa concordância com os obtidos pelo uso da técnica de espectrometria de massas (ICP-MS). O método adotado constitui uma maneira simples, rápida e econômica de avaliar a distribuição das espécies inorgânicas de As em águas, sendo que a concentração de As(V) pode ser determinada pela diferença entre as concentrações de As total e As(III). Os resultados indicam, ainda, que as quantidades de As presentes nas águas da região são fortemente condicionadas pelas atividades de lavra e beneficiamento mineral, e que a distribuição das espécies de As é controlada basicamente pelo Eh das águas
Abstract: Recognition of the significant differences in toxicity among arsenic species (As) makes the individual determination of these species essential for accurate risk assessments. Experimental conditions were evaluated under acid, NaBH4 distinct concentrations and L-cistein pre-reduction to quantify the inorganic arsenic species in waters by HG-AAS. Total As was measured with L-cistein at 1 % (m/v) in 0.05 mol L-1 HNO3 and 0.6 % (m/v) NaBH4. A selective As(III) determination was carried with 0.1% (m/v) NaBH4. Natural waters without addition of any chemical compound for preservation should be cooled, kept in the dark and As speciation conducted as soon as possible to avoid species distribution changes. HNO3 0.05 mol L-1 acidified, cooled and dark storage samples shown effective preservation of inorganic arsenic species up to 4 months. Samples with EDTA 0.0125 mol L-1 addition shown small transformation among As compounds over a period of 3 months. Total As contents varied from 6 to 2070 µg L-1 and As(III) from 2 to 43 µg L-1 in waters from the Brazil - MG - Iron Quadrangle. Results using HG-AAS and ICP-MS in natural waters and standard reference material were fairly consistent. The HG-AAS adopted method might be a simple and economic way to evaluate the inorganic As species in waters and also the As(V) can be determinate by the difference between total As and As(III). Results shown that As level in waters of studied region is mining activity related and Eh controls the relative amount of As(V) and As(III)
Mestrado
Metalogenese
Mestre em Geociências

Made available in DSpace on 2014-10-09T12:37:18Z (GMT). No. of bitstreams: 0
Made available in DSpace on 2014-10-09T14:09:06Z (GMT). No. of bitstreams: 1 02029.pdf: 4740189 bytes, checksum: ff05d787c5ab98b675cc36bbe2b0c062 (MD5)
Tese (Doutoramento)
IPEN/T
Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP

Orientador: Marcia Miguel Castro Ferreira
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica
Made available in DSpace on 2018-07-20T16:59:35Z (GMT). No. of bitstreams: 1 Souza_AlexandreAraujode_M.pdf: 5528376 bytes, checksum: 9abf71d84d25f07c897f751ce2627724 (MD5) Previous issue date: 1994
Mestrado

Made available in DSpace on 2014-06-11T19:29:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2002-07Bitstream added on 2014-06-13T19:38:10Z : No. of bitstreams: 1 oliveira_ap_me_araiq.pdf: 969605 bytes, checksum: 08894db2e370b558f0425c8e9627ff5d (MD5)
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Este trabalho propõe um método para a determinação direta e simultânea de Al, As, Cu, Fe, Mn e Ni em álcool etílico hidratado combustível (AEHC) por espectrometria de absorção atômica em forno de grafite (GFAAS), empregando tubo de grafite com aquecimento transversal (THGA) e corretor de fundo por efeito Zeeman longitudinal. Foram avaliados dois tipos de modificadores: a mistura nitrato de paládio + nitrato de magnésio, e o modificador permanente W/Rh. No primeiro caso, as curvas analíticas foram obtidas injetando-se 10 mL das soluções de referência (2,0, 5,0, 10, 20, 30, 40 e 50 mg L-1 Al, As, Cu, Fe, Mn e Ni em meio 0,28 mol L-1 HNO3 ) + 10 mL de etanol P.A. + 5 mL Pd(NO3)2+ 3 mL Mg(NO3)2. Para determinar os analitos, foram injetados 10 mL de amostra + 10 mL de solução 0,28 mol L-1 HNO3 + 5 mL Pd(NO3)2 + 3 mL Mg(NO3)2. No teste de adição e recuperação, foram injetados 10 mL de amostra + 10 mL de solução 60 mg L-1 Al, As, Cu, Fe, Mn e Ni em meio 0,28 mol L-1 HNO3+ 5 mL Pd(NO3)2 + 3 mL Mg(NO3)2. Todas as medidas foram feitas em absorbância integrada e em triplicata. O programa de aquecimento otimizado (temperatura, tempo de rampa, tempo de patamar) foi o seguinte: secagem 1 (120oC, 1 s, 10 s); secagem 2 (150oC, 5 s, 25 s); pirólise (1200oC, 10 s, 20 s); atomização (2200oC, 1 s, 6 s) e limpeza (2550oC, 1 s, 3 s). As massas características foram 37 pg Al, 73 pg As, 31 pg Cu, 16 pg Fe, 9 pg Mn e 44 pg Ni e o tempo de vida do atomizador foi equivalente a aproximadamente 250 ciclos de aquecimento. Os desvios padrões relativos (n=12) foram £3%, £6%, £2%, £3,4%, £1,3% e £2% para Al, As, Cu, Fe, Mn e Ni, respectivamente. As recuperações dos analitos adicionados às amostras coletadas em postos de abastecimento da cidade de Araraquara variaram entre 77-112%, 92-114%, 104-113%, 91-116%, 91-122% e 93-116% para Al, As, Cu, Fe, Mn e Ni, respectivamente...
This work describes a method for direct and simultaneous determination of Al, As, Cu, Fe, Mn and Ni in fuel ethanol by electrothermal atomic absorption spectrometry (GFAAS) with transversely heated graphite atomizer (THGA) and longitudinal Zeeman-effect background corrector. The following modifiers were evaluated: a) the mixture Pd(NO3)2 + 3 æL Mg(NO3)2; b) W/Rh as permanent modifier. Regards to Pd/Mg(NO3)2, analytical curves were obtained by injecting 10 æL of each analytical solutions (2.0, 5.0, 10, 20, 30, 40 and 50 æg L-1 Al, As, Cu, Fe, Mn, Ni in 0.28 mol L-1 HNO3) plus 10 æL of ethanol P.A. plus 5 æL Pd(NO3)2 plus 3 æL Mg(NO3)2. For determination, 10 æL of samples plus 10 æL of 0.28 mol L-1 nitric acid solution plus 5 æL Pd(NO3)2 + 3 æL Mg(NO3)2 were sequentially injected. For analyte addition tests, 10 æL sample plus 10 æL of 60 æg L-1 Al, As, Cu, Fe, Mn e Ni containing 0.28 mol L-1 HNO3 plus 5 æL Pd(NO3)2 plus 3 æL Mg(NO3)2 were sequentially injected. All measurements were carried out in triplicate and integrated absorbance. The optimized heating program of graphite tube (temperature, ramp time, hold time) was: dry 1 (120oC, 1 s, 10 s); dry 2 (150oC, 5 s, 25 s); pirolysis (1200oC, 10 s, 20 s); atomization (2200oC, 1 s, 6 s) and clean (2550oC, 1 s, 3 s). The characteristic masses were calculated as 37 pg Al, 73 pg As, 31 pg Cu, 16 pg Fe, 9 pg Mn and 44 pg Ni. The lifetime of atomizer was equivalent to ca. 250 heating cycles. Relative standard deviations (n=12) were =3%, =6%, =2%, =3.4%, =1.3% and =2% for Al, As, Cu, Fe, Mn and Ni, respectively. The recoveries of Al, As, Cu, Fe, Mn and Ni added to fuel ethanol samples varied from 77 to 112%, 92 to 114%, 104 to 113%, 91 to 116%, 91 to 122% and 93 to 116%, respectively. Accuracy was checked for Al, As, Cu, Fe, Mn and Ni determination in 20 samples purchased at a local gas stations in Araraquara city, Brazil... (Complete abstract, access undermentioned electronic address)

Per esperimenti di interferometria atomica d’avanguardia risulta sempre più indispensabile un’accurata descrizione analitica degli impulsi laser nel regime di transizione quasi-Bragg. Lo scopo di questa tesi è di mettere a confronto due teorie analitiche per la diffrazione di onde di materia tramite luce laser, andandone a paragonare i risultati. In particolare il recente modello di Siemss et al., che propone un’interpretazione intuitiva basata sul teorema adiabatico, sarà messo a confronto con l’approccio preesistente basato sulle contribuzioni di Mueller et al. Entrambi i modelli sono stati programmati in ambiente Python con libreria per l'analisi quantistica Qutip, per determinare la fedeltà ai risultati numerici delle aree in cui valga la condizione di Bragg secondo i due modelli analitici.

Orientadora: Edilene Cristina Ferreira
Banca: Clóvis Augusto Ribeiro
Banca: Débora Marcondes Bastos Pereira Milori
Resumo: O biocarvão tem grande importância agrícola como condicionador de solo porque é produzido a partir da pirólise de diferentes biomassas, até mesmo as consideradas descartáveis do ponto de vista alimentar ou energético e apresenta propriedades agrícolas importantes, tais como retenção de água, fornecimento de nutrientes para as plantas, auxilia no crescimento de microrganismos e atua sobre sequestro de CO2 atmosférico, retornando C ao solo. Além disso, devido aos seus sítios ativos, o biocarvão pode adsorver nutrientes, aumentando sua propriedade como condicionador de solo e apresentando potencial para ser usado como fertilizante de liberação gradual. No âmbito do controle de qualidade, a avaliação rápida de nutrientes nesses fertilizantes à base de biocarvão é essencial para fins agrícolas. Por isso, a proposta deste trabalho foi desenvolver métodos analíticos simples, utilizando espectrometria de emissão óptica com plasma induzido por laser (LIBS) para determinar Ca, K, P e N em fertilizantes de biocarvão produzidos a partir de biomassa de eucalipto, bananeira e amendoim. A técnica LIBS foi empregada por apresentar atraentes características para ser aplicada em análise direta de biocarvão e por ser uma técnica consonante com a química verde. Ressalta-se que a decomposição por via úmida desse tipo de amostra requer a utilização de ácidos concentrados, peróxido de hidrogênio, altas pressões e elevadas temperaturas. Na determinação de Ca foi utilizada a linha de emissão 612,14 n... (Resumo completo, clicar acesso eletrônico abaixo)
Mestre