Computabilidade no espaço dos intervalos reais: um modelo BSS intervalar

A matemática intervalar é uma teoria matemática originada na década de 60 com o objetivo de responder questões de exatidão e eficiência que surgem na prática da computação científica e na resolução de problemas numéricos. As abordagens clássicas para teoria da computabilidade tratam com problemas discretos (por exemplo, sobre os números naturais, números inteiros, strings sobre um alfabeto finito, grafos, etc.). No entanto, campos da matemática pura e aplicada tratam com problemas envolvendo números reais e números complexos. Isto acontece, por exemplo, em análise numérica, sistemas dinâmicos, geometria computacional e teoria da otimização. Assim, uma abordagem computacional para problemas contínuos é desejável, ou ainda necessária, para tratar formalmente com computações analógicas e computações científicas em geral. Na literatura existem diferentes abordagens para a computabilidade nos números reais, mas, uma importante diferença entre estas abordagens está na maneira como é representado o número real. Existem basicamente duas linhas de estudo da computabilidade no contínuo. Na primeira delas uma aproximação da saída com precisão arbitrária é computada a partir de uma aproximação razoável da entrada [Bra95]. A outra linha de pesquisa para computabilidade real foi desenvolvida por Blum, Shub e Smale [BSS89]. Nesta aproximação, as chamadas máquinas BSS, um número real é visto como uma entidade acabada e as funções computáveis são geradas a partir de uma classe de funções básicas (numa maneira similar às funções parciais recursivas). Nesta dissertação estudaremos o modelo BSS, usado para se caracterizar uma teoria da computabilidade sobre os números reais e estenderemos este para se modelar a computabilidade no espaço dos intervalos reais. Assim, aqui veremos uma aproximação para computabilidade intervalar epistemologicamente diferente da estudada por Bedregal e Acióly [Bed96, BA97a, BA97b], na qual um intervalo real é visto como o limite de intervalos racionais, e a computabilidade de uma função intervalar real depende da computabilidade de uma função sobre os intervalos racionais

The Interval Constructor on classes of ML-algebras

Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On the other hand, in order to deal with imprecision in the computational representation of real numbers, the use of intervals have been proposed, as it can guarantee that the results of numerical computation are in a bounded interval, controlling, in this way, the numerical errors produced by successive roundings. There are several ways to connect both areas; the most usual one is to consider interval membership degrees. The algebraic counterpart of ML is ML-algebra, an interesting structure due to the fact that by adding some properties it is possible to reach different classes of residuated lattices. We propose to apply an interval constructor to ML-algebras and some of their subclasses, to verify some properties within these algebras, in addition to the analysis of the algebraic aspects of them

Extensões multidimensionais para correntropia e suas aplicações em estimativas robustas

This present work uses a generalized similarity measure called correntropy to develop a new method to estimate a linear relation between variables given their samples. Towards this goal, the concept of correntropy is extended from two variables to any two vectors (even with different dimensions) using a statistical framework. With this multidimensionals extensions of Correntropy the regression problem can be formulated in a different manner by seeking the hyperplane that has maximum probability density with the target data. Experiments show that the new algorithm has a nice fixed point update for the parameters and robust performs in the presence of outlier noise.

Gestão da informação: um estudo de caso em um instituto de pesquisa tecnológica

Each two years the amount of available information in the world double. This is the Information Age, where the success depends on what one knows, not on what one has. A new economy appears with the capacity to generate, to store, to process and to apply effectively the knowledge, based on information, determining the companies productivity and competitiveness.The objective of this work is to understand the information management model of a technological research institute - CTGÁS (Gas Technology Center). The research has been done focused on the 5 main processes and the 15 support processes of the organization value chain , aiming to understand the information management in the organization based on Davenport´s Information Management model (1998). Therefore, it was necessary to identify how the necessary information for the organizational processes accomplishment are determined, obtained, distributed and used by the organization. The research can be classified as descriptive, regarding to its aims, and as a case study, related to the research ways. Interviews with the managers of the organization value chain processes have been carried through, with the objective to identify how they perceive the Information Management process that circulates in the organizational processes. Complementarily, a documentary research has been carried through, associated to the direct observation and procedures and actions follow up, involving the Information Management. The data treatment and analysis have been done from the authors theoretical support and from the managers interviews analysis, documents and processes observed by the researcher in the organization. It was noticed that the organization has raised its level of information needs that are not difficult to be determined and are satisfactorily obtained and distributed, although the majority of them are not structuralized, automatized or even classified regarding to its confidence. These peaces of information have good quality and are important, however they reflect a medium dependence on external and informal information, besides being used only in its great majority for people to know what and how to do something

Práticas da ti verde que contribuem para o desenvolvimento sustentável: um estudo de caso em indústrias do RN

This dissertation aims to describe the practices of Information Technology Green contributing to sustainable development, in computers and textile industries in the state of Rio Grande do Norte. The goal is to understand the importance and contribution of IT Green for sustainable development. The research methodology used involved a survey of the theoretical approach prepared, involving two case studies in industries of Rio Grande do Norte. The analysis was supported by an analysis of content, which allowed the understanding of the phenomenon of the Information Technology Green sustainable development in the case studies. In conclusion, is that the Green Information Technology contributes to sustainable development, even so through incipient aspects that highlight the competitive business with a focus on cost reduction, and efforts in sustainable practices

Práticas de governança de tecnologia da informação: um estudo de caso em empresas de telecomunicações do Rio Grande do Norte

This study aims to understand the general model of governance of information technology adopted by telecommunication companies operating in Rio Grande do Norte. The research methodology used involved a theoretical and empirical approach prepared, involving two case studies on companies in the telecommunications industry working in the state of Rio Grande do Norte. The study covered the area of IT organizations, through interviews with managers responsible for the area of Telecommunications / IT. To study in accordance with the approach and address the problem of research, this study was based on qualitative criteria, which enabled the understanding of how companies adopt the governance of information technology. In conclusion, it was found that the governance practices of information technology employees are incipient, but that meet the needs of business and that they intend to implement in specific areas and use other practices of IT governance