A Framework supporting collaboration on the distributed design of integrated systems

The work described in this thesis aims to support the distributed design of integrated systems and considers specifically the need for collaborative interaction among designers. Particular emphasis was given to issues which were only marginally considered in previous approaches, such as the abstraction of the distribution of design automation resources over the network, the possibility of both synchronous and asynchronous interaction among designers and the support for extensible design data models. Such issues demand a rather complex software infrastructure, as possible solutions must encompass a wide range of software modules: from user interfaces to middleware to databases. To build such structure, several engineering techniques were employed and some original solutions were devised. The core of the proposed solution is based in the joint application of two homonymic technologies: CAD Frameworks and object-oriented frameworks. The former concept was coined in the late 80's within the electronic design automation community and comprehends a layered software environment which aims to support CAD tool developers, CAD administrators/integrators and designers. The latter, developed during the last decade by the software engineering community, is a software architecture model to build extensible and reusable object-oriented software subsystems. In this work, we proposed to create an object-oriented framework which includes extensible sets of design data primitives and design tool building blocks. Such object-oriented framework is included within a CAD Framework, where it plays important roles on typical CAD Framework services such as design data representation and management, versioning, user interfaces, design management and tool integration. The implemented CAD Framework - named Cave2 - followed the classical layered architecture presented by Barnes, Harrison, Newton and Spickelmier, but the possibilities granted by the use of the object-oriented framework foundations allowed a series of improvements which were not available in previous approaches: - object-oriented frameworks are extensible by design, thus this should be also true regarding the implemented sets of design data primitives and design tool building blocks. This means that both the design representation model and the software modules dealing with it can be upgraded or adapted to a particular design methodology, and that such extensions and adaptations will still inherit the architectural and functional aspects implemented in the object-oriented framework foundation; - the design semantics and the design visualization are both part of the object-oriented framework, but in clearly separated models. This allows for different visualization strategies for a given design data set, which gives collaborating parties the flexibility to choose individual visualization settings; - the control of the consistency between semantics and visualization - a particularly important issue in a design environment with multiple views of a single design - is also included in the foundations of the object-oriented framework. Such mechanism is generic enough to be also used by further extensions of the design data model, as it is based on the inversion of control between view and semantics. The view receives the user input and propagates such event to the semantic model, which evaluates if a state change is possible. If positive, it triggers the change of state of both semantics and view. Our approach took advantage of such inversion of control and included an layer between semantics and view to take into account the possibility of multi-view consistency; - to optimize the consistency control mechanism between views and semantics, we propose an event-based approach that captures each discrete interaction of a designer with his/her respective design views. The information about each interaction is encapsulated inside an event object, which may be propagated to the design semantics - and thus to other possible views - according to the consistency policy which is being used. Furthermore, the use of event pools allows for a late synchronization between view and semantics in case of unavailability of a network connection between them; - the use of proxy objects raised significantly the abstraction of the integration of design automation resources, as either remote or local tools and services are accessed through method calls in a local object. The connection to remote tools and services using a look-up protocol also abstracted completely the network location of such resources, allowing for resource addition and removal during runtime; - the implemented CAD Framework is completely based on Java technology, so it relies on the Java Virtual Machine as the layer which grants the independence between the CAD Framework and the operating system. All such improvements contributed to a higher abstraction on the distribution of design automation resources and also introduced a new paradigm for the remote interaction between designers. The resulting CAD Framework is able to support fine-grained collaboration based on events, so every single design update performed by a designer can be propagated to the rest of the design team regardless of their location in the distributed environment. This can increase the group awareness and allow a richer transfer of experiences among them, improving significantly the collaboration potential when compared to previously proposed file-based or record-based approaches. Three different case studies were conducted to validate the proposed approach, each one focusing one a subset of the contributions of this thesis. The first one uses the proxy-based resource distribution architecture to implement a prototyping platform using reconfigurable hardware modules. The second one extends the foundations of the implemented object-oriented framework to support interface-based design. Such extensions - design representation primitives and tool blocks - are used to implement a design entry tool named IBlaDe, which allows the collaborative creation of functional and structural models of integrated systems. The third case study regards the possibility of integration of multimedia metadata to the design data model. Such possibility is explored in the frame of an online educational and training platform.

Solução da equação de difusão-advecção para uma CLP não-homogênea e não-estacionária pelo método GILTT

Neste trabalho é apresentada a solução da equação de difusão-advecção transiente para simular a dispersão de poluentes na Camada Limite Planetária. A solução é obtida através do método analítico GILTT (Generalized Integral Laplace Transform Technique) e da técnica de inversão numérica da quadratura de Gauss. A validação da solução é comprovada utilizando as concentraçãos obtidas a partir do modelo com as obtidas experimentalmente pelo Experimento de Copenhagen. Nesta comparação foram utilizados os perfis de vento potencial e logaritmo e os parâmetros de turbulência propostos por Degrazia et al (1997) [19] e (2002) [17]. Os melhores resultados foram obtidos utilizando o perfil de vento potencial e o coeficiente de difusão propostos por Degrazia et al (1997). A influência da velocidade vertical é mostrada através do comportamento das concentrações de poluentes na pluma. Além disso, as velocidades verticais e longitudinais geradas pelo Large Eddy Simulation (LES) foram colocadas no modelo para poder simular uma camada limite turbulenta mais realística, a qual apresentou resultados satisfatórios quando comparados com os disponíveis na literatura.

Escala de coping religioso-espiritual (escala CRE) : tradução, adaptação e validação da escala rcope, abordando relações com saúde e qualidade de vida

OBJETIVOS: A importância do coping religioso espiritual (CRE) nas áreas da saúde e qualidade de vida (QV), e a falta de instrumentos brasileiros para avalia-lo são apontadas pela literatura científica. Este estudo objetivou realizar a versão brasileira da RCOPE Scale, gerando a Escala de Coping Religioso Espiritual (Escala CRE), e examinar a relação entre CRE, saúde e QV. MÉTODO: A primeira fase deste estudo compreendeu: tradução por especialistas da RCOPE, adaptação à cultura brasileira, teste piloto com 50 estudantes de nível médio e superior. A segunda abrangeu teste de campo e processo de validação. Os 616 participantes [65% mulheres, 13-DQRV p=18,44)], foram acessados em um dos seguintes locais que freqüentavam: instituições religiosas ou grupos espirituais (74,4%), universidades (13,5%), clínicas para tratamento de saúde (9,1%) e Web Mail (2,9%). Eles completaram vários instrumentos: Consentimento Livre/Esclarecido, Questionário Geral (questões demográficas, socioeconômicas, religiosas, de saúde), Escala CRE, Escala de Atitude Religiosa e WHOQOL-bref. RESULTADOS: Análises fatoriais geraram uma Escala CRE com duas dimensões: CRE Positivo (CREP) (8 fatores, 66 itens) e CRE Negativo (CREN) (4 fatores, 21 itens). Foram criados quatro índices principais para avaliar os respondentes: as médias CREP e CREN, os escores de CRE TOTAL e Razão CREN/CREP. A Escala CRE demonstrou validade de construto, critério, conteúdo e bons níveis de fidedignidade. Testes Qui-quadrado para Classificação Subjetiva de Saúde (7categorias) mostraram problemas de saúde (PS) físicos relacionados a altos escores de CRE TOTAL e baixos de Razão CREN/CREP; PS emocionais, acrescidos ou não de PS físicos, mostraram resultado inverso. Ainda, QV e CRE TOTAL estiveram positiva e significativamente correlacionados. O CREN esteve negativamente correlacionado à QV em grau maior do que o CREP esteve positivamente correlacionado com QV. Usando Testes t de Student, aqueles que tiveram altos escores de CRE TOTAL mostraram maiores níveis de QV em todos os domínios do WHOQOL-bref, além de maior Classificação Objetiva de Saúde (Likert 5-pontos). Ademais, aqueles que tiveram altos níveis de QV demonstraram maior uso de CREP e menor de CREN. CONCLUSÕES: A Escala CRE é válida e fidedigna, permite aplicação clínica e em pesquisas em locais para tratamento de saúde públicos ou privados. PS físicos podem ser motivadores e educadores do uso do CRE. PS emocionais podem dificultar um melhor uso do CRE, sugerindo que intervenções psicológicas poderiam facilitar o processo. Além disso, CRE e QV são construtos correlacionados. Uma proporção mínima de 2CREP:1CREN (Razão CREN/CREP menor/igual 0,5) foi proposta para se obter um efeito benéfico geral do CRE na QV. Evidências sugerem que intervenções focadas no processo de CRE poderiam ser benéficas e efetivas para agentes de saúde pública pelo seu potencial de reduzir custos de intervenções e pelo seu impacto significante na saúde e QV da população. Os próximos passos seriam: utilização de metodologias experimentais longitudinais para melhor avaliar os efeitos do CRE na saúde e na QV, elaboração de uma Escala CRE Abreviada, investigação aprofundada da influência da variável idade na relação CRE-Saúde e testes de proporção e causais, para verificar a direção da correlação, entre CRE e QV.

Nanoemulsões catiônicas como sistemas de liberação de oligonucleotídeos : formulação e caracterização físico-química

Nanoemulsões catiônicas têm sido recentemente consideradas como potenciais sistemas de liberação de oligonucleotídeos. O objetivo do presente trabalho foi avaliar a influência da adição de quantidades crescentes dos lipídeos catiônicos estearilamina (EA), oleilamina (OA) ou DOTAP (DT) sobre propriedades físico-químicas de nanoemulsões como sistemas de liberação de um oligonucleotídeo modelo (pdT16). As formulações foram preparadas pelo procedimento de emulsificação espontânea. As nanoemulsões constituídas de triglicerídeos de cadeia média, lecitina de gema de ovo, glicerol, quantidades crescentes dos lipídeos catiônicos (até 20 mM) e água foram caracterizadas em termos de diâmetro médio, pH, potencial zeta e viscosidade. Baseado nos resultados obtidos, as formulações contendo EA, OA e DT na concentração de 2 mM foram selecionadas para a continuidade do trabalho, uma vez que apresentam diâmetro de gotícula e potencial zeta de cerca de 250 nm e 40-50 mV, respectivamente. A taxa de associação do pdT16 às nanoemulsões foi determinada, indiretamente, pelo doseamento deste, na fase aquosa externa após separação em membranas de ultrafiltração/centrifugação, por meio de espectrofotometria no UV. A maior taxa de associação do pdT16 foi detectada para a formulação contendo o lipídeo catiônico DT (até ~70 mg/g de fase interna). Evidências adicionais da associação do pdT16 com as nanoemulsões foram detectadas pelo aumento do diâmetro de gotícula, inversão do potencial zeta e morfologia das gotículas. Em uma última etapa, um estudo preliminar da liberação do pdT16 foi realizado especialmente para a formulação contendo o lipídeo catiônico DT. O fator de diluição e relação de cargas [+/-] foram identificados como os principais parâmetros que influenciam a liberação do pdT16 a partir das nanoemulsões. Em conclusão, o conjunto dos resultados obtidos demonstra a influência da concentração e da natureza do lipídeo catiônico empregado sobre as propriedades físico-químicas de nanoemulsões catiônicas como sistemas de liberação de oligonucleotídeos.

Dinamicização da distribuição do ônus da prova no processo civil brasileiro

Esta dissertação tem como objetivo principal analisar o cabimento, no direito processual brasileiro, de uma distribuição dinâmica das regras do ônus da prova. Na primeira parte, são analisados o conceito, o objeto e a finalidade da prova, com apontamento da distinção entre fontes e meios. Após, são estudados o conceito de ônus da prova e sua distinção da obrigação, dando ênfase aos seus aspectos objetivo e subjetivo e às principais teorias, antigas e modernas, que tratam dos critérios para a distribuição do ônus da prova. Estudou-se, em seguida, os principais fenômenos relacionados ao ônus da prova, quais sejam a distribuição, cuja regra geral está no art. 333 do CPC, e a redistribuição como gênero, tendo com espécies a redistribuição strictu sensu, cabível em casos de probatio diabolica e em excepcionais casos em que a prova se apresenta difícil por fatores externos ao processo, e a inversão, cujo exemplo, no direito pátrio, é o art. 6o, inc. VIII, do CDC. Na segunda parte do trabalho, são apresentadas duas novas teorias sobre a distribuição do ônus da prova: a visão solidarista do ônus da prova e a teoria dinâmica dos ônus probatórios. Por fim, ante a necessidade de flexibilização das atuais regras gerais de distribuição do ônus da prova e, ao mesmo tempo, controle do excessivo subjetivismo judicial, analisa-se o cabimento da aplicação da teoria dinâmica no direito brasileiro, apontando-se os parâmetros para a decisão judicial que a aplique. Do estudo, concluiu-se que o direito processual brasileiro admite a aplicação da teoria dinâmica dos ônus probatórios em face da incidência do princípio da igualdade, dos poderes instrutórios do juiz e do dever de lealdade, boa-fé e colaboração das partes. Concluiuse, ainda, que embora possa acontecer em momento diverso, o momento mais oportuno para a ocorrência da redistribuição do ônus da prova é a audiência preliminar, não podendo se verificar, em nenhuma hipótese, surpresa às partes, sob pena de ferimento ao princípio do contraditório. Quanto à decisão judicial que aplica a teoria dinâmica, deve esta levar em conta que tal aplicação é de caráter excepcionalíssimo, devendo ser bem fundamentada.

Mapeamento da Bacia do Camaquã com a utilização de dados geofísicos, eologia e sensoriamento remoto

A análise tectono-estratigráfica da Bacia do Camaquã, uma sequência vulcanosedimentar do Neoproterozóico ao Eoproterozóico com depósitos de Cu (Au, Ag), Zn e Pb, é aqui apresentada com a utilização de ferramentas de sensoriamento remoto, gravimetria e perfilagem de poço. Nas imagens LANDSAT TM demarcou-se as concentrações de lineamentos junto as principais estruturas regionais e delimitou-se quatro domínios estruturais de acordo com a orientação dos trends dos lineamentos estruturais. Os perfis de poços que abrangem as formações Guaritas e Bom Jardim evidenciam eventos tectônicos com deformação rúptil e dúctil-ruptil, estabelecendo-se diferentes fácies tectonoestratigráficas de seqüências deposicionais (ambiente deltáico) e sequência deformacionais. Nos poços observa-se a variação da densidade com a profundidade entre poços, indicando a presença de duas aloformações de compactação distintas. Com base nos dados gravimétricos locais e regionais pode-se delimitar anomalias gravimétricas do embasamento, pacotes sedimentares de espessuras distintas em subsuperfície, com espessamento para NE, como também valores diferenciados para as principais unidades sedimentares da região estudada, bem como uma compartimentação escalonada da bacia do Camaquã. Ferramentas computacionais complementam a análise gravimétrica e de perfilagem geofísica, possibilitando a integração das técnicas já relacionadas e a formatação de dois perfis esquemáticos EW e SW-NE da bacia. Estes perfis auxiliam na visualização dos limites estruturais e formato da bacia, trazendo importantes informações para o modelo geológico da Bacia do Camaquã.