De acordo com a ABIFA (Associação Brasileira de Indústrias de Fundição), a produção de metais não-ferrosos em março de 2006 no País foi de 279.353 toneladas, sendo que deste montante, a região de São Paulo responde por 77.011t, com 26.593 trabalhadores relacionados com a manufatura destes metais. Escumar, mexer, vazar, agitar, encher e outras operações associadas às fundições podem provocar a liberação de grandes quantidades de emanações. Assim podem ser liberadas no ambiente onde são usados metais derretidos, poeiras metálicas, que são pequenas partículas sólidas no ar, e fumos, partículas sólidas ainda menores. As inalações de fumos metálicos são mais perigosas que as das poeiras metálicas porque os fumos metálicos podem ser absorvidos mais facilmente pelos pulmões. As fundições de metais não ferrosos utilizam basicamente lingotes de latão (Cobre (Cu) Zinco (Zn)), nas quais os níveis de Cu variam de 68 a 98 %, e os de Zn de 2 -32 %, dependendo das características do latão. Além dos componentes primários da liga, aproximadamente 5 % da formulação contém outros metais, dentre eles: chumbo, cádmio, arsênio, estanho, ferro, fósforo, manganês e níquel. Uma vez que os trabalhadores nas fundições estão expostos a diversos compostos, é importante avaliar os níveis de lesões que possam refletir um efeito aditivo, sinérgico ou antagônico acarretado por esses compostos. No presente trabalho foram avaliados os níveis dos metais Pb, Cd, Mn e Ni no ar dos ambientes de trabalho, procurando correlacioná-los aos níveis destes metais no sangue e urina dos trabalhadores expostos em fundições de metais não ferrosos. Além disso, dois marcadores de dano oxidativo, o primeiro ao nível periférico MDA (malondialdeído) e o segundo ao intracelular DNA (8-oxo-7,8-dihidro-2\'-desoxiguanosina) foram eleitos como indicadores de efeito à exposição ocupacional. Os métodos analíticos propostos apresentaram-se sensíveis, precisos e exatos para as análises dos elementos no ar do ambiente de trabalho, como indicadores de dose interna e de efeito. As concentrações obtidas são consoantes a trabalhos populacionais com exposição a metais. A análise de dano oxidativo, no caso da exposição aos metais citados acima nestas empresas, permitiu investigar se essa exposição simultânea leva a danos biológicos mesmo no caso de os níveis isolados dos compostos estarem dentro dos limites de exposição considerados seguros. / According to ABIFA (Brazilian Foundry Producers Association), the total amount of non ferrous production in March 2006 was 279.353 tons, the São Paulo region respond per 77.011 tons, with 26.593 workers in this manufacture process. Mould, leak, melt, tune, clean and other foundry assembly line steps can release amounts of metal dust or fine particulate matter in the occupational setting. The metallic fume inhalation depends on the size of the particulate material, and this relates the toxicology profile. The non ferrous foundries raw material basically use brass alloys, mainly composed by Cu (cupper) 68 to 98 % and Zn (zinc) 2 32 % in formulation. Furthermore, other metals can be added as Pb (lead), Ni (nickel), Cd (cadmium) and manganese (Mn) to grant specific characteristic such as hardness and resistance to heat. Since the workers in foundries are exposed to various compounds, it is important to evaluate the levels of injury that may reflect an additive effect, synergistic or antagonistic caused by these compounds. The present study aimed to evaluate the levels of two markers of oxidative damage, the first level peripheral MDA (malonaldehyde) and the second intracellular DNA (8-oxo-7 ,8-dihydro-2 \'-deoxyguanosine), trying to correlate them to levels of the metals Pb, Cd, Ni and Mn found in the blood and urine of workers exposed to non-ferrous metal smelters. The methods proposed showed to be sensitive, precise and accurate for the analysis of elements in the air of the workplace, as indicators of internal dose and effect. The concentrations obtained in population studies are consistent with exposure to metals. Analysis of oxidative damage in case of exposure to the metals mentioned above these companies allowed to investigate whether the simultaneous exposure leads to biological damage even if the levels of the compounds are isolated within the exposure limits considered safe.

A UML é uma notação gráfica utilizada na modelagem de sistemas orientados a objetos, em diferentes domínios da computação. Por ser simples de utilizar, em relação a outras formas de modelagem, a UML é amplamente difundida entre os desenvolvedores de software, tanto na academia quanto na indústria. Entre as suas vantagens, encontram-se: (i) a representação visual das relações entre classes e entidades, pois ao se utilizar de diagramas, a UML facilita o entendimento e a visualização das relações dentro do sistema modelado; (ii) a legibilidade e usabilidade, sem que seja necessário a leitura do código do sistema, uma vez que um desenvolvedor pode compreender quais partes do código são redundantes ou reutilizadas; e (iii) uma ferramenta de planejamento, ao auxiliar na definição do que deve ser feito, antes que a implementação comece de fato, além de poder produzir código e reduzir o tempo de desenvolvimento. Todavia, a UML possui desvantagens, tais como: (i) ambiguidade entre elementos UML diferentes, devido a sobreposição dos diagramas; e (ii) falta de uma semântica clara, o qual geralmente faz com que a semântica da linguagem de programação seja adotada. Para mitigar essas desvantagens, pesquisadores buscam atribuir uma semântica formal à UML. Esse tipo de semântica é encontrado em modelos formais, onde o sistema modelado é livre de ambiguidades e possui uma semântica clara e precisa. Por sua vez, os modelos formais não são simples de serem criados e compreendidos por desenvolvedores. O grau de conhecimento em formalismo necessário para utilizar tal modelo é alto, o que faz com que seu uso seja menos difundido, comparado com a notação gráfica não formal da UML. Apesar dos esforços dos pesquisadores, as técnicas de formalização semântica da UML apresentam, no geral, um problema pouco abordado: apesar de utilizar a UML para modelar o sistema, o artefato final dessas técnicas é um trace formal. Considerando o conhecimento comum de um desenvolvedor de software, esse trace dificulta a análise dos problemas, encontrados pelos model checkers, e a correção dos mesmos no modelo UML. Com o objetivo de auxiliar o desenvolvedor na compreensão dos resultados formais (o trace citado), esta tese de doutorado apresenta uma abordagem baseada em Model-driven Architecture (MDA) capaz de representar as informações dos resultados formais dentro de um modelo UML. Por meio de transformações do modelo UML, essas representações, definidas utilizando a abordagem, auxiliam o desenvolvedor a visualizar o fluxo de execução do model checker dentro do modelo UML. Assim, acredita-se que as vantagens obtidas pela formalização semântica da UML podem ser mais difundidas e utilizadas pelos desenvolvedores, principalmente na indústria. / UML is a graphical notation used for modeling object-oriented software systems in different domains in computer science. Being simple to use, compared to other modeling techniques, UML is widespread among software developers, both in academia and industry. Among its advantages are: (i) the visual representation of the relationships between classes and entities, as when using diagrams, UML facilitates understanding and visualization of relationships within the modeled system; (ii) readability and usability without having to read the system code, since a developer can understand which parts of the code are redundant or reusable; and (iii) a planning tool, helping to define what needs to be done before the implementation actually begins, as well as being able to produce code and reduce development time. However, the UML also has disadvantages, such as: (i) ambiguity between different UML elements due to overlapping diagrams; and (ii) lack of clear semantics, which generally causes the semantics of the programming language to be adopted. To mitigate these disadvantages, researchers seek to assign a formal semantics to the UML. This type of semantics is found in formal models, where the modeled system is free of ambiguity and has a clear and precise semantics. On the other hand, formal models are not simple to create and understand by developers. The degree of formalism knowledge required to use such a model is high, which makes their use less widespread, compared to UML non-formal graphical notation. Despite the researchers efforts, in general the techniques that formalize the UML semantics has a problem that is forgotten: although using the UML to model the system, the final artifact of these techniques is a formal trace. Considering the common knowledge of a software developer, this trace makes it difficult to analyze the problems encountered by model checkers and to correct them in the UML model. In order to assist the developer in understanding the formal results (the trace above), this thesis presents an approach based on Model-driven Architecture (MDA) capable of representing the information of the formal results in the UML model. Through UML model transformations, these representations, set using the approach, help the developer to visualize the execution flow of the model checker within the UML model. Thus, we believe that the advantages obtained by formalizing the UML semantics may be more widespread and used by developers, especially in industry.

L'objectif de ce travail de thèse est de proposer un canevas sémantique intégrant un méta-modèle et des outils de raisonnement permettant à tout concepteur de système ubiquitaire de mettre en oeuvre facilement des mécanismes de gestion des politiques de la vie privée. Le canevas proposé intègre une architecture middleware générique qui offre des composants pour définir, administrer et contrôler l'application des politiques de confidentialité. Notre approche proposée est hybride. Elle est fondée sur l’ingénierie dirigée par les modèles et sur un raisonnement à base d'ontologies et de règles d'inférence opérant selon l'hypothèse du monde clos. Le méta-modèle proposé est caractérisé par un niveau d'abstraction et d'expressivité élevé permettant de définir des politiques de gestion de la vie privée indépendamment du domaine d'application pouvant être adaptées à différents contextes. Il définit, aussi, un cadre conceptuel pour établir des modèles de règles génériques et décidables permettant de prendre des décisions de contrôle cohérentes pour la protection de la vie privée. Ces modèles de règles sont mis en oeuvre grâce au langage de règles SmartRules permettant de mettre en oeuvre un contrôle adaptatif. Ce dernier est basé sur un raisonnement non-monotone et une représentation des instances de concepts selon la supposition du nom unique. Nous avons validé le canevas proposé à travers un scénario typique mettant en oeuvre des services d'assistance ambiante sensibles à la vie privée de personne âgée. / This thesis aims at proposing a semantic framework that integrates a meta-model and reasoning tools allowing any ubiquitous system designer to easily implement mechanisms to manage privacy policies. The proposed framework includes a generic middleware architecture that provides components to define, manage and monitor the implementation of privacy policies. Our approach is an hybrid one based on Model-Driven Engineering and a reasoning based on ontologies and inference rules operating on the assumption of the closed world. The proposed meta-model is characterized by a high level of abstraction and expressiveness to define privacy policies management regardless of the domain application and can be adapted to different contexts. It defines, also, a conceptual framework for generic decidable modelling rules to make consistent control decisions on user privacy. These model rules are implemented using the SmartRules language that could implement an adaptive control. The latter is based on a non-monotonic reasoning and representation of instances of concepts according to the unique name assumption. We have validated the proposed semantic framework through a typical scenario that implements support ambient intelligence privacy-aware services for elderly.

Uma das principais atividades dos enfoques de desenvolvimento de software centrados em modelos, como por exemplo a Arquitetura Dirigida por Modelo (Model Driven Architecture - MDA), é o processo de transformação de modelos. Geralmente, um passo preliminar para a transformação dos modelos é o mapeamento dos elementos do meta-modelo fonte nos elementos do meta-modelo alvo. Este trabalho apresenta uma aplicação de uma técnica de mapeamento de modelos denominada tecelagem de modelos. Esta técnica permite ao usuário definir a semântica das ligações estabelecidas entre os elementos do meta-modelo fonte e os elementos do meta-modelo alvo. A semântica é definida através de tipos fortes associados às ligações. O presente trabalho analisa, através de dois experimentos, alguns aspectos da geração de modelos de transformação de modelos no arcabouço MDA, utilizando a técnica de tecelagem de modelos. A análise utiliza duas alternativas de especificação de transformação de modelos a título de comparação: a que usa somente uma linguagem de especificação de modelos de transformação e a que usa a técnica de tecelagem de modelos. Os aspectos analisados são: a reutilização de trechos de código escritos na linguagem de geração de especificações de transformação e a reutilização de decisões de projeto (design) no mapeamento entre dois meta-modelos distintos. / One of the main activities of the model-centric approaches of software development, as for example the Model Driven Architecture (MDA), is the process of model transformation. Usually, a preliminary step for model transformation is the mapping of source metamodel elements into target metamodel elements. This work presents an application of a technique for model mapping called model weaving. This technique allows the user to define the semantics of the links binding source metamodel elements and target metamodel elements. The semantics is defined through types associated to links. The work analyzes, through two experiments, some aspects of the generation of models transformation in the MDA framework, using a technique known as model weaving. The analysis, for comparison purposes, uses two techniques of model transformation specification: one using only a specification language for model transformation specification and another using model weaving. The analyzed aspects are: the reuse of pieces of code written in the language that generates the transformation of specifications and the reuse of design decisions in the mapping between two distinct metamodels.

De acordo com a ABIFA (Associação Brasileira de Indústrias de Fundição), a produção de metais não-ferrosos em março de 2006 no País foi de 279.353 toneladas, sendo que deste montante, a região de São Paulo responde por 77.011t, com 26.593 trabalhadores relacionados com a manufatura destes metais. Escumar, mexer, vazar, agitar, encher e outras operações associadas às fundições podem provocar a liberação de grandes quantidades de emanações. Assim podem ser liberadas no ambiente onde são usados metais derretidos, poeiras metálicas, que são pequenas partículas sólidas no ar, e fumos, partículas sólidas ainda menores. As inalações de fumos metálicos são mais perigosas que as das poeiras metálicas porque os fumos metálicos podem ser absorvidos mais facilmente pelos pulmões. As fundições de metais não ferrosos utilizam basicamente lingotes de latão (Cobre (Cu) Zinco (Zn)), nas quais os níveis de Cu variam de 68 a 98 %, e os de Zn de 2 -32 %, dependendo das características do latão. Além dos componentes primários da liga, aproximadamente 5 % da formulação contém outros metais, dentre eles: chumbo, cádmio, arsênio, estanho, ferro, fósforo, manganês e níquel. Uma vez que os trabalhadores nas fundições estão expostos a diversos compostos, é importante avaliar os níveis de lesões que possam refletir um efeito aditivo, sinérgico ou antagônico acarretado por esses compostos. No presente trabalho foram avaliados os níveis dos metais Pb, Cd, Mn e Ni no ar dos ambientes de trabalho, procurando correlacioná-los aos níveis destes metais no sangue e urina dos trabalhadores expostos em fundições de metais não ferrosos. Além disso, dois marcadores de dano oxidativo, o primeiro ao nível periférico MDA (malondialdeído) e o segundo ao intracelular DNA (8-oxo-7,8-dihidro-2\'-desoxiguanosina) foram eleitos como indicadores de efeito à exposição ocupacional. Os métodos analíticos propostos apresentaram-se sensíveis, precisos e exatos para as análises dos elementos no ar do ambiente de trabalho, como indicadores de dose interna e de efeito. As concentrações obtidas são consoantes a trabalhos populacionais com exposição a metais. A análise de dano oxidativo, no caso da exposição aos metais citados acima nestas empresas, permitiu investigar se essa exposição simultânea leva a danos biológicos mesmo no caso de os níveis isolados dos compostos estarem dentro dos limites de exposição considerados seguros. / According to ABIFA (Brazilian Foundry Producers Association), the total amount of non ferrous production in March 2006 was 279.353 tons, the São Paulo region respond per 77.011 tons, with 26.593 workers in this manufacture process. Mould, leak, melt, tune, clean and other foundry assembly line steps can release amounts of metal dust or fine particulate matter in the occupational setting. The metallic fume inhalation depends on the size of the particulate material, and this relates the toxicology profile. The non ferrous foundries raw material basically use brass alloys, mainly composed by Cu (cupper) 68 to 98 % and Zn (zinc) 2 32 % in formulation. Furthermore, other metals can be added as Pb (lead), Ni (nickel), Cd (cadmium) and manganese (Mn) to grant specific characteristic such as hardness and resistance to heat. Since the workers in foundries are exposed to various compounds, it is important to evaluate the levels of injury that may reflect an additive effect, synergistic or antagonistic caused by these compounds. The present study aimed to evaluate the levels of two markers of oxidative damage, the first level peripheral MDA (malonaldehyde) and the second intracellular DNA (8-oxo-7 ,8-dihydro-2 \'-deoxyguanosine), trying to correlate them to levels of the metals Pb, Cd, Ni and Mn found in the blood and urine of workers exposed to non-ferrous metal smelters. The methods proposed showed to be sensitive, precise and accurate for the analysis of elements in the air of the workplace, as indicators of internal dose and effect. The concentrations obtained in population studies are consistent with exposure to metals. Analysis of oxidative damage in case of exposure to the metals mentioned above these companies allowed to investigate whether the simultaneous exposure leads to biological damage even if the levels of the compounds are isolated within the exposure limits considered safe.

Uma das principais atividades dos enfoques de desenvolvimento de software centrados em modelos, como por exemplo a Arquitetura Dirigida por Modelo (Model Driven Architecture - MDA), é o processo de transformação de modelos. Geralmente, um passo preliminar para a transformação dos modelos é o mapeamento dos elementos do meta-modelo fonte nos elementos do meta-modelo alvo. Este trabalho apresenta uma aplicação de uma técnica de mapeamento de modelos denominada tecelagem de modelos. Esta técnica permite ao usuário definir a semântica das ligações estabelecidas entre os elementos do meta-modelo fonte e os elementos do meta-modelo alvo. A semântica é definida através de tipos fortes associados às ligações. O presente trabalho analisa, através de dois experimentos, alguns aspectos da geração de modelos de transformação de modelos no arcabouço MDA, utilizando a técnica de tecelagem de modelos. A análise utiliza duas alternativas de especificação de transformação de modelos a título de comparação: a que usa somente uma linguagem de especificação de modelos de transformação e a que usa a técnica de tecelagem de modelos. Os aspectos analisados são: a reutilização de trechos de código escritos na linguagem de geração de especificações de transformação e a reutilização de decisões de projeto (design) no mapeamento entre dois meta-modelos distintos. / One of the main activities of the model-centric approaches of software development, as for example the Model Driven Architecture (MDA), is the process of model transformation. Usually, a preliminary step for model transformation is the mapping of source metamodel elements into target metamodel elements. This work presents an application of a technique for model mapping called model weaving. This technique allows the user to define the semantics of the links binding source metamodel elements and target metamodel elements. The semantics is defined through types associated to links. The work analyzes, through two experiments, some aspects of the generation of models transformation in the MDA framework, using a technique known as model weaving. The analysis, for comparison purposes, uses two techniques of model transformation specification: one using only a specification language for model transformation specification and another using model weaving. The analyzed aspects are: the reuse of pieces of code written in the language that generates the transformation of specifications and the reuse of design decisions in the mapping between two distinct metamodels.

Šiame darbe siekiama padidinti informacijos sistemų kūrimo proceso automatizavimo laipsnį, taip palengvinant IS kūrėjų darbą. Darbe tobulinamas IS reikalavimų analizės ir transformavimo į projektą metodas EMDA (angl. Extended Model Driven Approach), kuris automatizuoja transformaciją iš reikalavimų į projekto modelį. Ši transformacija skirta paslaugų informacinėms sistemoms ir remiasi vienu pasiūlytu architektūriniu būsenų koordinatoriaus šablonu, pagal kurį atlieka transformaciją ir reikalavimų į projektą. Šiame darbe EMDA metodas tobulinamas, sukuriant transformaciją iš reikalavimų į projekto modelį, remiantis kitu informacinių sistemų kūrimo metodu RUP (angl. Rational Unified Process) bei MVC (angl. Model-View-Controller) architektūriniu šablonu. Darbe aprašomas siūlomas transformavimo algoritmas ir jo realizacija, panaudojant CASE įrankį MagicDraw. Sukurtas sistemos vedlys (angl. Wizard) leidžia išvengti klasių diagramos kūrimo rankiniu būdu, taip automatizuojant diagramos (ir jos elementų) kūrimą. / This work aims to increase the degree of automation of information system development process, thus facilitating the work of developers. Extended Model Driven Approach (EMDA) automates the transformation from the requirements to the design model, based on only one architectural pattern (State Coordinator) and performs the transformation using this pattern. The method proposed in this work was developed by creating a transformation of the requirements to the project model, based on other information systems development approach RUP (Rational Unified Process) and MVC (Model-View-Controller) architectural pattern. The proposed transformation algorithm was implemented in as an extension to CASE tool MagicDraw. Developed system wizard automates the creation of class diagram (and its elements).

I shall argue in this thesis that Zakes Mda's novels Ways of Dying (l995a) and She Plays with the Darkness (1995b) are magic realist texts that are representative of the hybrid nature of this literary mode. Furthermore I shall demonstrate that Ways of Dying (l995a) and She Plays with the Darkness (1995b) share common elements with a variety of magic realist texts. Mda's own creative and literary consciousness has been shaped by an intellectual background stemming from tertiary education at Ph.D level, his teaching positions at various international universities, and his knowledge of African folk-culture. The seemingly contesting streams of Western education and African mysticism are not presented as sources of conflict in Mda's novels, but rather as syncretic forces of potential transformative power. Mda displays in his project as a novelist, the continuing concerns of black writers who saw the novel as a tool for socio-political change. My thesis therefore also investigates the extent to which Mda's use of magic realism in the novels mentioned above, signals a radical shift in literary representation by South African black writers who wrote in English. Mda's novels transcend Black Consciousness-inspired protest that characterised black literature in the 1970's and 1980's. His use of tropes associated with magic realism, African folk-culture, the apocalyptic and carnivalesque has enabled him to create a discursive space for South African black writers on the international stage, and foregrounds a movement towards literature that offers opposition to being classified as merely ''black writing". The death of the old order in South Africa and the birth of a new one, invites questioning and analysis of the position of the self during a period of cataclysmic change. That the apocalypse brings with it both death and renewal could be seen within the context of post modernist visions of the erosion of the self and death as the ultimate reality. Mda's novels, Ways of Dying (l995a) and She Plays with the Darkness (1995b), are the first English narratives by a South Afiican black author that can claim affinities with postcolonial writers such as Carpentier, Marquez, Okri and Rushdie. These writers reflect in their narratives, the infinite possibilities of magic realism in reclaiming the self submerged by the colonial experience. I shall attempt, in Chapter One, a survey of specific theoretical assumptions relevant to magic realism. Chapter Two will provide biographical details of Zakes Mda the playwright, poet, theatre practitioner, film producer and novelist and the importance of magic realism in his writings. Chapter Three is an analysis of Mda's published plays and points to the early uses of elements consistent with magic realism in his work. Chapters Four and Five are investigations into Mda's use of magic realism in Ways of Dying (1995) and She Plays with the Darkness (1995), respectively. / Thesis (Ph.D.)-University of Durban-Westville, 1998.

Buvo nustatyta, kad redukuoto glutationo koncentraciją pelių kepenyse kadmis padidino po 8 val. 35 proc., o po 14 dienų sumažino 35 proc. Po 8 val., tiek cinkas, tiek selenas taip pat padidino redukuoto glutationo koncentraciją, atitinkamai, 27 proc. ir 17 proc. Įvertinant malondialdehido koncentraciją pelių kepenyse, buvo nustatyta, kad kadmis padidino malondialdehido koncentraciją po 8, 24 val. ir 14 dienų, atitinkamai, 336 proc., 218 proc. ir 182 proc. Veikiant cinkui ir selenui, malondialdehido koncentracija pelių kepenyse padidėjo po 24 val. ir 14 dienų, atitinkamai, 325 proc. ir 437 proc., o po 14 dienų, atitinkamai, 162 proc. ir 288 proc. Taigi, cinkas pajėgus apsaugoti redukuotą glutationą nuo oksidacijos tik 8 val., o po ilgesnio laiko redukuotas glutationas išeikvojamas. Po 8 ir 24 val. tiek cinkas, tiek selenas pelių kepenyse geba apsaugoti lipidus nuo peroksidacijos, o po 14 dienų redukuotą glutationą nuo oksidacijos ir lipidus nuo peroksidacijos apsaugo tik žaliosios arbatos ekstraktas. / It was determined, that after 8 h cadmium increased glutathione concentration by 35 % while after 14 days decreased by 35 %. After 8 h both zinc and selenium also increased reduced glutathione concentration, respectively, 27 % and 17 %. Evaluating malondialdehyde concentration in mice liver, it was established, that cadmium increased malondialdehyde concentration after 8, 24 h and 14 days, respectively, 336 %, 218 % and 182 %. When mice liver were affected with zinc and selenium, malondialdehyde concentration increased after 24 h, respectively, 325 % and 437 % and after 14 days, respectively, 162 % and 288 %. To sum up, zinc can protect reduced glutathione from oxidation in mice liver just for 8 h, and after a longer period reduced glutathione is depleted. After 8, 24 h and 14 days both, zinc and selenium are eager to protect liver from lipid peroxidation and after 14 days reduced glutathione from oxidation. Lipids from peroxidation process can protect only green tea extract.

Zugl.: Oldenburg, Univ., Diss., 2008 / Hergestellt on demand