O processo de Mineração de Dados inicia-se com o entendimento do domínio da aplicação, considerando aspectos como os objetivos da aplicação e as fontes de dados. Em seguida, é realizado o pré-processamento dos dados e a extração de padrões. Após a etapa de extração de padrões, vem a de pós-processamento, na qual o conhecimento é avaliado quanto a sua qualidade e/ou utilidade a fim de ser utilizado para apoio a algum processo de tomada de decisão. Recentemente, as pesquisas têm se voltado para problemas de regressão, porém a regressão em Mineração de Dados preditiva é uma questão pouco explorada dentro do processo de extração de conhecimento de bases de dados, sendo de grande relevância o estudo de métodos para a exploração de tarefas desse tipo. Alguns trabalhos vêm sendo realizados no Laboratório de Inteligência Computacional (LABIC) em temas relacionados ao processo de Extração de Conhecimento de Bases de Dados e Textos e na construção de um ambiente computacional para extração de conhecimento de dados denominado DlSCOVER. Para apoiar a construção de um modelo de regressão simbólico e o pós-processamento de problemas de regressão foi proposto e desenvolvido o Ambiente \'RTJ^FL, Esse ambiente viabiliza a avaliação de regras de regressão, inclusive disponibilizando estratégias para o cálculo da matriz de contingência e consequente utilização de todas as medidas derivadas dessa matriz para avaliação de regras de regressão; a combinação de regressores homogéneos e heterogéneos para melhorar a precisão dos regressores e a integração e poda de regras de regressão obtidas de diferentes amostras ou algoritmos. Essas funcionalidades do Ambiente íR$í\'I*PE incrementam a potencialidade do Ambiente DlSCOVER quanto ao tratamento de regressão. / Data Mining process begins with the understanding of the application domain, considering aspects as application objectives and data sources. Then, the data pre-processing and pattern extraction is realized. After the pattern extraction stage, one proceeds with the post-processing, in which the knowledge is evaluated as regards its quality and/or usefulness in order to use this knowledge to support a decision making process. Recently, much attention has been given to regression problems. However, regression in predictive Data Mining is a little explored subject in the knowledge discovery from database process, what makes the study of exploration methods very relevant. Some work in areas related to the Knowledge Discovery of Data and Text Bases process have been accomplished at LABIC (Laboratório de Inteligência Computacional) which motivated the construction of a computational environment for knowledge extraction called DlSCOVER. The WfnPFL environment was proposed and developed to aim the symbolic regression model construction and the regression problems post-processing, This environment makes possible the evaluation of regression rules, providing strategies for contingency table calculation and the subsequent utilization of ali measures derived from this table for regression rules evaluation. Moreover, the system also provides the combination of homogeneous and heterogeneous regressors to improve the regressor precision and the integration and pruning of regression rules obtained from different samples or algorithms. These functionalities of Ú&&PE increase the DlSCOVER potentiality in relation to regression treatmet.

No início dos anos 90, o pesquisador Mark Weiser vislumbrou uma forma de computação baseada na integração transparente entre tecnologia e atividades humanas a qual denominou computação ubíqua. Idealizada como uma mudança no paradigma de interação entre usuários e computadores, a computação ubíqua tem como temas de pesquisa interfaces naturais, aplicações cientes de contexto e aplicações de captura e acesso de atividades humanas. Desenvolvidos para apoiar serviços dedicados de captura, de armazenamento e de processamento de informações de contexto, esforços como Context Fabric, EventHeap e Gaia não exploram a plataforma de Web Services como alternativa para o tratamento da heterogeneidade entre aplicações; além disso, as dimensões de contexto propostas na literatura não são apoiadas diretamente. Este trabalho teve como propósito investigar e formalizar um conjunto de operações para armazenamento e recuperação de informações de contexto com base nas dimensões propostas na literatura: who, when, where, what, why e how. Como resultado, desenvolveu-se um núcleo de operações, denominado Context Kernel, implementado como um Web Service. Neste trabalho sao apresentadas a modelagem do Context Kernel, as especificações dos serviços em WSDL, a linguagem padrão para descrição de Web Services, e das APIs implementadas para acesso ao Context Kernel por aplicações Java e PHP. / In the 90s, the researcher Mark Weiser envisioned a form of computation based on the transparent integration between technology and human s activlties which called ubiquitous computing. Idealized as a change in the paradigm of interaction between users and computers, the ubiquitous computing has as research themes natural interfaces, context awareness applications and capture and access applications. Recent work including Context Fabric, EventHeap and Gaia support the manipulation of context information by means of mechanisms that do not exploit the Web Services platform; moreover, the context dimensions proposed in the literature are not supported directly. Aiming at providing support to the development of context awareness applications, this work has investigated a set of operations for the storage and retrieval of context information based on the dimensions proposed in literature: who, when, where, what, why and how. As result, the Context Kernel has been modelled and implemented as operations formalized as a Web Service: the Context Kernel is presented by means of the specification of the services described in WSDL, the standard language for the description of Web Services, and the APIs allowing access the Web Service by Java and PHP applications.

A primeira parte da Tese é dedicada ao estudo de processos de adsorção de filmes de poli(o−etoxianilina) (POEA) a partir de uma solução. As condições otimizadas para produção de filmes homogêneos foram soluções de DMAc e água, em pH>5. Empregamos espalhamento de raios X de baixo ângulo (SAXS) para investigar POEA em soluções aquosas, incluindo DMAc, em vários pHs e tipos de dopantes. Utilizando procedimento ab initio, envelopes de baixa resolução foram gerados e observou−se domínios esféricos, para os polímeros dopados com HCl, SAA e CSA, com raios de giro variando entre 15 e 60 Å, enquanto que para POEA processada com TSA a morfologia foi fibrilar, com raio de giro de aproximadamente 40 Å. A morfologia dos filmes é dominada pelas características da solução, até tempos de imersão de 5s. Para tempos maiores, ocorre difusão e os domínios no filme − analisados por microscopia de força atômica (AFM) − crescem após um processo de nucleação. O crescimento inclui coalescência, com crescimento em 2 e 3D para os regimes de tempo de 10 a 60 s. Uma consequência importante destes resultados é que a adsorção é governada por processos na escala mesoscópica, e não mais molecular. O tamanho das cadeias de POEA foi estimado com medidas de curvas de força, na chamada espectroscopia de força atômica (AFS), em que cadeias poliméricas adsorvidas na ponta do AFM eram destacadas durante a retração da ponta. O tamanho estimado variou entre 860 e 1200 Å, consistente com a massa molar da POEA determinada por cromatografia por exclusão de tamanho (HPSEC). Na segunda parte da tese, estudamos mecanismos de transporte de carga elétrica em polianilinas e derivados. O resultado mais significativo foi a comprovação da existência de ilhas metálicas nos filmes, por intermédio de mapas de adesão obtidos por AFS. A evidência veio da identificação de regiões em amostras de POEA fracamente dopadas em que predominavam as forças repulsivas de dupla camada. Essas ilhas parecem ser formadas por cristalitos, uma vez que seus tamanhos determinados por microscopia eletrônica de transmissão (TEM) coincidem aproximadamente com as dimensões dos cristalitos obtidos da análise de dados de XRD empregando o método de Reitveld. Da análise dos tamanhos das ilhas condutoras, foi possível propor que o transporte de carga em POEA deve obedecer o modelo VRH (Variable Range Hopping) para pH ≥ 3,0. Por outro lado, para pH ≤ 2,0, aparece um número muito maior de pequenas ilhas (≈ 20Å), próximas entre si, o que permitiria transporte por tunelamento, de acordo com o modelo GMM (Granular Metallic Model). Após demonstrar a presença de ilhas condutoras, restava determinar se os portadores eram pólarons ou bipólarons. De medidas de espectroscopia de fotoelétrons de raios X (XPS), observamos que para amostras de POEA altamente dopadas(pH ≤ 3,0) os pólarons dominam, entretanto para sistemas com baixo grau de dopagem (pH ≈5,0)aparecem bipólarons. Resultados de modelagem molecular confirmaram a presença de bipólarons em PANI e pólarons em POEA e POMA. Para sistemas com baixo grau de dopagem encontrou−se ordem de ligação com caráter benzenóide (80%) e com caráter quinóide (20%), ou seja, confirmando a presença de bipólarons / In the first part of the thesis, we deal with adsorption processes from solution for the formation of poly(o−ethoxyaniline) POEA films. Optirnized conditions for fabrication of homogeneous films were DMAc⁄water solutions with pH > 5. Small angle X−ray scattering (SAXS) was used to investigate POEA in aqueous and DMAc⁄water solutions, for various pHs (i.e. degrees of doping) and types of dopand. Molecular modeling of the SAXS data indicated globular morphology for POEA doped with HCl, SAA and camphor sulfonic acid (CSA) with granules radii varying from 15 to 60 Å, while for POEA treated with p−tolyl sufonic acid (TSA) a fibrillar morphology was observed with gyration radius of ca. 40 Å. As for the adsorbed films, for short times of adsorption, up to 5 s, morphology is dominated by the characteristics of the solution, such as size of the globules. For longer adsorption times, diffusion occurs and the domains in the film − as seen with atomic force rnicroscopy (AFM) − grow after an initial nucleation process. In this growth coalescence takes place, with growth in 2D and 3D for time regimes from 10 to 60 s of adsorption. One important consequence of these results is that adsorption appears to be governed by mechanisms occurring in the mesoscale rather than at the molecular level. The size of the chains was estimated through atomic force spectroscopy measurements (AFS), in force−curve experiments in which polymer chains adsorbed onto the AFM tip were detached upon retracting the tip. The sizes estimated were in the range between 860 and 1200 Å, consistent with the molecular weight of the polymer determined by high−performance size exclusion chromatography (HPSEC). The second part of the thesis addresses mechanisms for charge transport in polyanilines and derivatives. Most significantly, the existence of conducting islands was demonstrated in adhesion maps obtained with AFS, whose size could be determined more precisely with transmission electron microscopy (TEM). This evidence came from measurements of doublelayer repulsive forces in small domains in weakly doped POEA films. Such islands are apparently made of crystalline domains of POEA, for their sizes roughly coincide with the diameter of the crystallites obtained in SAXS with the Reitveld refinement method. Upon analyzing the size of the conducting islands from TEM images, we could conjecture that in POEA charge transport should obey the variable−range hopping (VRH) model for pH pH ≥ 3.0. On the other hand, for pH ≤ 2.0, there is a larger number of closely packed small islands, whose average distance is much smaller (≈ 20Å), which would allow charge transport via tunneling according to the granular metallic model (GMM). Having demonstrated that conducting islands exist in the POEA films, we then tried to determine whether polarons or bipolarons were the main charge carriers. From X−ray photoelectron spectroscopy (XPS) data, we showed that for highly doped POEA (pH ≤ 3.0), polarons predominate, while for samples with low doping levels (pH ≈5.0) bipolarons also appear. Molecular modeling results confirmed the presence of bipolarons in PANI and polarons in POEA and POMA. For low doping samples, the benzenoid character accounted for 80% of the bonds, thus demonstrating the presence of bipolarons

Muitas vezes, a construção de modelos de objetos ou processos é não apenas conveniente mas também necessária para que se possa analisar e manipular processos ou objetos reais de maneira mais fácil e barata. Existem vários tipos de modelos, entre os quais os modelos computacionais. Estes são, geralmente, criados utilizando sistemas de modelagem interativos, como os sistemas de modelagem de sólidos, intensamente utilizados nas áreas de projeto e construção de peças, aviões, automóveis, etc... Esses modeladores podem utilizar várias técnicas de. modelagem geométrica para descrever um objeto, como os modelos por fronteira (\"Boundary Representation\", BRep) e os modelos CSG (\"Constructive Solid Geometry\"). Este trabalho trata da técnica de modelagem por fronteira e relata a construção de um primeiro protótipo do Sistema de Modelagem de Sólidos Tridimensionais (SMS), que está sendo desenvolvido no ICMSC-USP, São Carlos. Esse protótipo é constituído de um subsistema gerenciador de representações, responsável pelo acesso e atualização da representação B-Rep (interna), e uma interface simples contendo algumas operações de descrição de objetos. O sistema teve seu desenvolvimento baseado no \"Paradigma da Orientação a Objetos\". Uma discussão sobre modelagem de sólidos e modeladores de sólidos é apresentada, juntamente com a descrição do projeto orientado a objetos e a implementação do protótipo. / The creation of object or process models is not only convenient but necessary to analyze and manipulate real processes and objetcs at a low cost in a simpler way. Among the several types of models, used by professionals in different areas are the computer models. These models are usually created using interactive modeling systems such as the solids modeling systems extensive by used in the design of airplanes, mechanical parts, automobiles, etc... These modelers make use of a variety of geometric modeling techniques to represent objects, such as both the B-Rep (Boundary Representation) and the ÇSG (Constructive Solid Geometry) models. This work discusses the B-Rep solid modeling technique and reports the construction of the first 3D Solid Modeling System (SMS) prototype. II is being developed at the ICMSC-USP, in São Carlos. The prototype is composed by both a B-Rep Representation Manager Subsystem, responsible for accessing and updating the (internai) B-Rep representation, and a simple interface with \"sweeping-based\" operations for describing the objects. Its design followed the object-oriented approach. A general discussion about solid modeling and solid modelers are also presentexl. It is also presented a description of the object-oriented project for the prototype and its implementation.

Este trabalho descreve a implementação do Protótipo de um Editor Sensível à Sintaxe (PEGSS). Nesta versão o Editor oferece a edição sensível à sintaxe para um subconjunto das linguagens Pascal, C e FORTRAN. Programas sintaticamente corretos são construídos através da requisição pelo usuário de gabaritos que correspondem aos comandos e pela descrição das expressões. É proposto um modo único de representação interna dos programas editados sob o contexto desse Editor. Assim, um conjunto de ferramentas pode beneficiar-se dessa forma de representação. Por exemplo, é permitido que programas escritos em um linguagem sejam obtidos em qualquer das outras linguagens contempladas pelo Editor. Além disso, pode ser efetuada a adição de novas linguagens pertencentes a um mesmo paradigma, pois a construção dessa representação interna prevê esta extensão. Neste trabalho são apresentadas as caracteristicas do PEGSS: a estrutura utilizada para a exibição dos seus programas, a representação interna destes programas, a manipulação das expressões e, finalmente, como foram especificados e implementados os módulos principais que compõem este Sistema. / This work describes the construction of the Prototype of an Editor Sensible to Sintax(PEGSS). In this version the Editor offers the edition sensible to sintax to a subgroup of the Pascal , C and FORTRAN languages. Programs syntatically correct are build through the requirement by the templates users that correspond to the command and through the description of the expressions. It\'s proposed an only manner of intern representation of programs editored under a context of this Editor. So, a group of tools can be benefited of this representations form. For instance, it is allowed that programs written in a language are obtained in any of the other languages suported by the Editor. Besides, the adition of new languages belonging to same paradigm can be made, therefore the construction of this intern representation foresees this expansion. In this work the caracteristics of the PEGSS are presented: the structure utilized to an exibition of its programs, the intern representation of these programs, the manipulation of the expressions and, finally, how were specified and build the main modulus that arrange this system.

O objetivo deste trabalho é o de apresentar o desenvolvimento e a implementação de um sistema para auxílio, aos usuários da área médica, no processo de alocação de rins a serem transplantados em pacientes com problemas renais. A idéia básica do sistema desenvolvido é a de utilizar um Sistema de Base de Dados para manter e gerenciar as informações relevantes para o processo de alocação de rins\' e um Sistema Baseado em Conhecimento responsável especificamente pelo processo de alocação. Durante a fase de desenvolvimento, contou-se com o auxilio do especialista no domínio de transplantes renais, Prof. Dr. Agenor Ferraz, médico e docente do Hospital das Clínicas da Faculdade de Medicina de Ribeirão Preto - USP. Buscou-se, também, utilizar as normas definidas pelo Protocolo São Paulo Interior Transplante. / Not available

O projeto e a implementação de Servidores de Nomes constituem fases importantes na construção de Sistemas Computacionais Distribuídos, pois esses módulos são encarregados de armazenar e fornecer informações para todo o sistema, garantindo seu funcionamento correto e seguro. Este trabalho apresenta um estudo detalhado sobre o serviço de nomeação, discutindo a maneira como é oferecido através dos servidores de nomes presentes na maioria dos ambientes computacionais distribuídos baseados em rede local. Ênfase especial é dada à descrição da estrutura e detalhes de implementação do \"SENA\" (SErvidor de Nomes baseado em Atributos), o qual se baseia no Paradigma de Nomeação Baseado em Atributos. Essa abordagem, adicionada ao ambiente de implementação, possibilita a obtenção de um servidor de nomes abrangente, que permite o gerenciamento de espaços de nomes em ambientes computacionais heterogêneos, sendo também capaz de atender solicitações tanto de outros módulos do sistema distribuído, como de usuários, através de um conjunto de funções, a partir das quais novas funções podem ser criadas pelos próprios usuários. As características apresentadas pelo SENA, levam à conclusão de que servidores de nomes baseados em atributos constituem uma alternativa extremamente atrativa na integração de espaços de nomes independentes, permitindo também a participação dos usuários na criação de serviços de nomeação personalizados. Portanto, um servidor de nomes baseado em atributos constitue um núcleo básico sobre o qual serviços de nomeação especializados podem ser construídos. / The design and implementation of name serves are fundamental stages in the construction of Distributed Computing Systems, because they store and provide information in order to guarantee correct and safe execution of the system. This MSC dissertation shows a detailed study of naming service and the way it is offerred by name servers adopted in LAN-based distributed environments. Special emphasis is given on the description of the development of \"SENA\" (an Attributed-based Name SErver), that follows the Attibuted-based Naming Paradigm. This approach yields a flexible name server, that allows a heterogeneous name space management, able to attend request received either from other modules of the distributed system, or from users, always by means of the server asic functions or even new functions created from the basic ones. The characteristics presented by SENA show that an attributed-based name server is an attractive for the integration of integration of independent name spaces; they also allow the system users to buld customized naming services. Therefore an attributed-based name server builds a kernel over which new specialized naming can be implemented.

Sistemas Reativos podem ser definidos como sistemas que interagem direta ou indiretamente com o ambiente, recebendo e emitindo estímulos do mesmo, e que devem produzir os resultados corretos dentro de intervalos de tempo previamente especificados. Várias técnicas gráficas existem para modelar sistemas reativos, podendo-se citar Máquinas de Estados Finitos, Redes de Petri e Statecharts. Esta última tem se mostrado eficaz na especificação de sistemas reativos, pois além de possuir uma notação visual concisa e intuitiva, ainda possui sintaxe e semântica definidas formalmente. Este trabalho trata de uma técnica de validação de modelos, denominada \"Execução Programada\" e de sua integração ao ambiente Statechart Simulator (StatSim), que é um ambiente composto de ferramentas para edição e simulação de statecharts. Na Execução Programada, o modelo comportamental do sistema sob desenvolvimento é simulado a partir de eventos gerados através de distribuições probabilísticas e é controlado por um programa que indica o que deve ser feito em cada passo. Como resultado final, além da simulação dinâmica visual, dois relatórios são fornecidos ao usuário: um contendo análises estatísticas da execução e outro contendo o registro de todas as configurações atingidas, passo a passo. Uma revisão de ambientes e ferramentas para especificação de sistemas reativos é apresentada, enfatizando-se a sua capacidade para simulação dos modelos criados. Como aspecto central do trabalho, uma linguagem para controle da execução programada , denominada Linguagem de Controle de Execução (LCE), é proposta. A LCE é, inicialmente, discutida informalmente, para depois ser discutida formalmente. Em seguida, mostra-se a implementação da LCE e sua integração ao ambiente StatSim, dentro do Módulo de Execução Programada (MEP). Para ilustrar o funcionamento da LCE alguns exemplos são apresentados e discutidos. / Reactive Systems can be defined as systems that interact directly or undirectly with the environment, receiving and emiting stimuli from/to it, and must to produce correct results within specified time intervals. Many graphical techniques exit to model reactive systems, such as Finite States Machines, Petri Nets and Statecharts. Statecharts proved a very efficient tool for reactive systems specification, having a concise and intuitive visual notation and a formaly defined sintax and semantics. The two main concerns of this work are: a technique for model validation called \"Programmed Execution\" and its integration to the Statechart Simulator (StatSim) environment, which is an integrated set of tools for edition and simulation of statecharts. In the \"Progranuned Execution\", a system control model of a system under developement is simulated from events generated according to probabilistic distributions and is controlled by a program that states what is to be done at each step. As results, besides the dynamic visual simulation, two reports are available: a statistical analysis about the simulation and a log file of ali configurations reached during the simulation, step by step. A survey of environments and tools for reactive systems specification able to simulate the models created is presented. A language to control the execution of a model, called Execution Control Language (ECL), is also presented. The ECL syntax and semantics are discussed and formaly defined. Its implementation and integration into the StatSim environment, within the Programmed Execution Module (PEM), is shown. Some examples are presented and discussed to illustrate the use of ECL.

Esta dissertação apresenta um sistema auxiliar de arquivos baseado em disco WORM, desenvolvido com o propósito de proporcionar aos servidores de arquivos de um ambiente computacional distribuído, procedimentos para transferência de arquivos originalmente armazenados em disco magnético, para disco WORM. O mecanismo proposto é transparente ao usuário e tem como objetivos aumentar tanto a segurança quanto a disponibilidade de espaço no servidor de arquivos. Estes objetivos são atingidos através da replicação de arquivos importantes e da transferência de arquivos de baixa probabilidade de acesso. Considerando-se os aspectos de segurança e de disponibilidade de espaço, três tipos de arquivos para gravação em WORM são propostos: crítico (quando o usuário necessita da disponibilidade do arquivo mesmo em presença de falhas), normal (qualquer arquivo regular do sistema) e morto (alguns arquivos eliminados do sistema). O sistema auxiliar de arquivos WORM foi implementado utilizando-se recursos da linguagem de programação C e do sistema operacional MINIX, simulando- se o disco ótico WORM através de disquete. / This dissertation discusses a WORM-based auxiliar file system, developed to improve LAN-based file servers by means of special file-transfer procedures, allowing files originally stored on Winchester disks to be moved to WORM disks. The transfer-mechanism proposed is user-transparent and aims to improve both the file-server security and disk space availability. Security is improved by means of replication of important files on the WORM system; disk-space usage is optimized by moving files with low-access probability to the WORM system. Three types of files are proposed to implement the transfer-mechanism: special files (available even when failures occur); ordinary files (any regular file of the system) and unused files (files that have been removed from the system). The auxiliar file system was implemented in a MINIX-based environment (using the C programming language) and emulates the WORM disk on floppy-disk.

Este trabalho é dedicado ao estudo da estabilidade de Equações Diferenciais Retardadas usando Funções Dicotômicas. Inicialmente, alguns conceitos sobre Função Dicotômica e os teoremas para estabilidade e estabilidade assintótica são estabelecidas. Várias aplicações deste método também são feitas. Chamamos a atenção para a equação x\'(t) = -λx(t) + λf(x(t - 1)) que tem sido amplamente usada em muitos campos. A força do método pode ser apreciada pelo aperfeiçoamento de muitos resultados e pela simplicidade dos \"funcionais\" empregados. Nesse sentido, um bom exemplo é dado pela equação x\'(t) = -b(t)x(t - r). Apesar de eliminarmos várias hipóteses restritivas no estudo da referida equação, conseguimos, ainda assim, ampliar a região de estabilidade em termos dos parâmetros. Alguns resultados sobre soluções que tendem a zero de maneira oscilatória e sobre equações com retardamento infinito são obtidos. / This work is devoted to the study of the stability of Retarded Differential Equations using Dichotomic Maps. Firstly, some concepts about Dichotomic Maps and the theorems for stability and asymptotic stability are established. Several applications of this method are also made. We call attention to the equation x\'(t) = -λx(t) + λf(x(t - 1)) that has been widely used in many fields. The power of the method can be appreciated by the improvements of many results and by the simplicity of the \"functionals\" that are employed. In this context, the study of the equation x\'(t) = -b(t)x(t - r) shows to be a nice example. In this study, in spite of dropping some restrictive conditions, we still could determine a large region of the stability in terms of the parameters. Some results about solutions that go to zero in an oscillatory way and about equations with infinite delays are also obtained.