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.

A marca temporal nos enunciados jornalísticos

Este trabalho objetivou descrever como são constituídos os enunciados temporais em Português Brasileiro, através da aplicação do Modelo casual da UFSC (1995). A partir de cenas coletadas do contexto esportivo jornalístico são analisados os enunciados temporais nos quais estão manifestos predicadores básicos e metafóricos e seus respectivos papéis temáticos, ou casos. É de interesse desse trabalho, também, estudar a relação temporal posterior estabelecida pelo conector depois e as nuances de sentido advindas do contexto para sua interpretação, que se instituem nas macrocenas selecionadas. Dessa forma, aplicou-se o modelo a 102 predicadores básicos, cuja natureza temporal foi confirmada; a 18 predicadores metafóricos, dos quais 13 efetuam movimento semântico do campo L para o T, e a 113 macrocenas, dentre as quais 75 foram interpretadas estabelecendo uma relação temporal posterior não-imediata entre os estados de coisas, evidenciada pela junção temporal associada à preposição de.

Reusing values in a dynamic conditional execution architecture

A Execução Condicional Dinâmica (DCE) é uma alternativa para redução dos custos relacionados a desvios previstos incorretamente. A idéia básica é buscar todos os fluxos produzidos por um desvio que obedecem algumas restrições relativas à complexidade e tamanho. Como conseqüência, um número menor de previsões é executado, e assim, um número mais baixo de desvios é incorretamente previsto. Contudo, tal como outras soluções multi-fluxo, o DCE requer uma estrutura de controle mais complexa. Na arquitetura DCE, é observado que várias réplicas da mesma instrução são despachadas para as unidades funcionais, bloqueando recursos que poderiam ser utilizados por outras instruções. Essas réplicas são geradas após o ponto de convergência dos diversos fluxos em execução e são necessárias para garantir a semântica correta entre instruções dependentes de dados. Além disso, o DCE continua produzindo réplicas até que o desvio que gerou os fluxos seja resolvido. Assim, uma seção completa do código pode ser replicado, reduzindo o desempenho. Uma alternativa natural para esse problema é reusar essas seções (ou traços) que são replicadas. O objetivo desse trabalho é analisar e avaliar a efetividade do reuso de valores na arquitetura DCE. Como será apresentado, o princípio do reuso, em diferentes granularidades, pode reduzir efetivamente o problema das réplicas e levar a aumentos de desempenho.

COMFALA : modelo computacional do processo de compreensão da fala

Esta Tese apresenta a investigação de técnicas computacionais que permitam a simulação computacional da compreensão de frases faladas. Esta investigação é baseada em estudos neurocognitivos que descrevem o processamento do cérebro ao interpretar a audição de frases. A partir destes estudos, realiza-se a proposição do COMFALA, um modelo computacional para representação do processo de compreensão da fala. O COMFALA possui quatro módulos, correspondentes às fases do processamento cerebral: processamento do sinal de fala, análise sintática, análise semântica e avaliação das respostas das análises. Para validação do modelo são propostas implementações para cada módulo do COMFALA. A codificação do sinal se dá através das transformadas ondeletas (wavelets transforms), as quais permitem uma representação automática de padrões para sistemas conexionistas (redes neurais artificiais) responsáveis pela análise sintática e semântica da linguagem. Para a análise sintática foi adaptado um sistema conexionista de linguagem escrita. Por outro lado, o sistema conexionista de análise semântica realiza agrupamentos por características prosódicas e fonéticas do sinal. Ao final do processo, compara-se a saída sintática com a semântica, na busca de uma melhor interpretação da fala.

Da descrição lexicográfica : o caso dos adjetivos estéticos no português brasileiro

Tendo como objetivo a investigação acerca da descrição lexicográfica dos adjetivos estéticos, este trabalho observou como se estruturam a microestrutura, no enfoque da descrição sintático-semântica, e a macroestrutura, no que toca à organização lexical, de adjetivos do campo semântico da estética, em dicionários vernaculares do português brasileiro. Fundamentaram a análise dos dados os conceitos, definições e metodologia de elaboração de artigos de dicionário da Teoria Lexicológica Explicativo-Combinatória, bem como das pesquisas léxicosemânticas presentes no Dicionário Explicativo-Combinatório do Francês Contemporâneo. Observou-se que os adjetivos descritos nos dicionários vernaculares carecem da informação lexical que é passível de ser delineada apenas mediante uma descrição sintático-semântica acurada e rigorosa, em termos de lexicografia com base lexicológica. Os resultados apontam para a necessidade de serem estruturadas as entradas lexicais de adjetivos estéticos em obras lexicográficas, com base na sua caracterização sintático-semântica, que envolve, entre outras, questões de tipologia denotacional e inter-relação sintaxesemântica.

Astrha : um ambiente gráfico, dinâmico e interativo para internet baseado em hiper-animações e na teoria dos autômatos

Esta pesquisa, batizada Astrha (Automata Structured Hyper-Animation), tem suas raízes no projeto “Hyper Seed - Framework, Ferramentas e Métodos para Sistemas Hipermídia voltados para EAD via WWW” que possui, entre seus objetivos e metas: (a) o desenvolvimento de uma fundamentação matemática para a unificação, de maneira coerente e matematicamente rigorosa, de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos; (b) a construção e validação de um protótipo de sistema com suporte à criação de conteúdo multimídia e hipermídia com ênfase em educação assistida por computador; (c) a definição e aplicação de estudos de caso. Atender às demandas acadêmicas e construtoras supra citadas, no que se refere à unificação de especificações de sistemas hipermídia e animações baseadas na Teoria dos Autômatos, em nível conceitual, é o objetivo principal do Astrha. Mais especificamente, unificar conceitos das especificações Hyper-Automaton; Hyper- Automaton: Avaliações Interativas; eXtensible Hyper-Automaton (XHA) e Animação Bidimensional para World Wide Web (AGA). Para resolvê-las, propõe uma solução em cinco fases. A primeira constitui-se numa investigação conceitual sobre unificação de ambientes hipermídia com animações por computador, da qual conclui-se que as hiperanimações são uma resposta adequada ao contexto. Em seguida, um autômato finito não-determinístico, reflexivo, com saídas associadas às transições, denominado Astrha/M, é especializado para modelar, formalmente, estruturas hiper-animadas. Na terceira fase, uma linguagem de quarta geração denominada Astrha/L é proposta com a finalidade de proporcionar semântica à ambientes hiper-animados. Construída a partir da metalinguagem XML, é composta de quatro dialetos: (1) Mealy, que traduz o modelo Astrha/M; (2) Environment, que oferece opções de configuração e documentação; (3) Hyper, linguagem hipermídia, de sintaxe simples, que oferece hiperligações estendidas; (4) Style, especificação de estilos em cascata e de caracteres especiais. A quarta fase é a modelagem e construção do protótipo, denominado Astrha/E, através das linguagens UML e Java, respectivamente, com uso de tecnologias de software livre, resultando em um applet interativo, dinâmico, multimídia, que oferece características e propriedades de uma hiper-animação, traduzindo não-determinismos em escolhas pseudo-aleatórias e reflexividades em inoperabilidades aparentes. Por fim, a quinta fase trata de estudos de caso aplicados em educação a distância, em diversas áreas, de onde se conclui sua validade como conceito, modelo e ferramenta para programas educacionais que utilizam a Internet como meio de auxílio ao aprendizado.

Um estudo da relação entre o padrão transferencial e a aliança terapêutica de pacientes em psicoterapia psicanalítica

Introdução: A discussão sobre a relação entre transferência e aliança terapêutica iniciou na primeira metade do século passado. Um de seus marcos foi a polêmica entre Anna Freud (1927) e Melanie Klein (1926). A primeira ressaltava o papel do ego, salientando a importância da aliança terapêutica. A segunda não considerava o conceito de aliança terapêutica. Acreditava que a relação pacienteterapeuta teria origem nas relações primitivas de objeto, na relação da criança com o seio. A controvérsia sobre a questão prosseguiu, sendo a Escola Psicologia do Ego a que mais defendia o papel da aliança como autônoma, não influenciada pelos impulsos inconscientes. Após o Congresso de Genebra, em 1955, o posicionamento de muitos autores foi se modificando. Até mesmo integrantes da Psicologia do Ego passaram a não distinguir completamente estes dois conceitos e, de maneira geral, a literatura mostra uma tendência neste sentido. Porém, este assunto ainda apresenta contradições e existem poucos estudos empíricos exploratórios publicados. Objetivo: Esta dissertação tem como objetivo geral investigar a relação entre padrão transferencial e aliança terapêutica através do uso dos instrumentos Relationship Patterns Questionnaire – RPQ (KURTH et al., 2002; KURTH et al., 2004) – e The Revised Helping Alliance questionnaire – HAq-II (LUBORSKY et al., 1996), respectivamente. Método: Primeiramente, procedeu-se a adaptação transcultural do RPQ para o Português do Brasil, que envolveu a obtenção de licença dos autores, tradução, retrotradução, obtenção da equivalência semântica, consenso com profissionais da área da Psiquiatria e Psicologia e interlocução com a população alvo. Numa segunda fase de trabalhos, procedeu-se à investigação empírica a partir de estudo transversal com 63 pacientes do ambulatório de Psicoterapia Psicanalítica do Hospital de Clínicas de Porto Alegre e seus 27 terapeutas. Foram aplicados, então, os instrumentos para avaliação da transferência e aliança terapêutica. A coleta dos dados foi feita com duração média de uma hora, individualmente, para cada paciente. Os terapeutas preencheram a versão correspondente do HAq-II. Resultados: Observou-se relação significativa entre algumas variáveis do padrão transferencial e a qualidade da aliança terapêutica, como escores mais altos na variável submissão à mãe e ao pai e aliança terapêutica forte percebida pelo paciente; escores mais altos na escala de ataque à mãe e ao pai e aliança terapêutica fraca percebida pelo paciente. Muitas variáveis do RPQ não apresentaram relação significativa com a qualidade da aliança terapêutica. Discussão: Os achados sugeriram que, muitas vezes, a aliança terapêutica pode estar relacionada com estereótipos de conduta dirigidos, no passado, às figuras primárias, o que a colocaria como manifestação da transferência. Outras variáveis de transferência não se mostraram relacionadas com a aliança, o que pode ser um fato ou reflexo de limitação metodológica, como número de sujeitos insuficiente ou limitações nos instrumentos usados neste estudo. Conclusão: A aliança terapêutica nem sempre se apresenta como entidade autônoma, livre de conflitos. É importante que a mesma seja entendida e não somente julgada como a parte estável e positiva da relação. Isto pode ser verdade em muitos casos, mas, em outros, a aliança terapêutica pode estar vinculada a fantasias inconscientes que desencadeiam o processo da transferência.