El marc algebraic en què es situa aquesta memòria és l'introduït per Brown i Suzko a [BS], marc que gira entorn la definició de lògica abstracta; una lògica abstracta “L” és una parella (A,C) formada per una àlgebra abstracta “A” i un sistema clausura “C” sobre A, conjunt suport d' “A”. La noció clàssica de lògica corn un conjunt de fórmules ben formades sobre les quals es té un conjunt d'axiomes i unes regles d'inferència queda així com un cas particular, prenent com “A” el conjunt de fórmules ben formades i com “C” la família de subconjunts d' “A” que contenen els axiomes i són tancats per les regles de deducció, Els elements de “C” s'anomenen tancats, si bé A. Monteiro i els seus seguidors els anomenen sistemes deductius. La noció de lògica abstracta té l'encert de tractar la part algebraica, “A”, i la part lògica, “C”, d'una lògica com un únic objecte matemàtic, i a més obre un ampli camp investigador en intentar relacionar classes de lògiques abstractes amb classes d'àlgebres. El primer treball en aquesta línia és l'estudi de la relació entre lògiques clàssiques (abstractes) i àlgebres de Boole fet per Bloom i Browm a [BSB], i a ell han seguit una llarga llista d'estudis del mateix tipus d'entre els quals cal destacar, per la seva influència sobre aquesta memòria, els realitzats per J.M. Font i V. Verdú sobre la lògica dels reticles distributius, les lògiques de De Morgan i les lògiques modals S4 i S5. L'objectiu de la present memòria, que també va en aquesta línia, és la definició i l'estudi, el més complet possible en aquesta perspectiva, d'una classe de lògiques que he anomenat lògiques modals tetravalents (LMTs). Les LMTs són un tipus de lògiques modals (amb operador modal “M”) sobre lògiques de De Morgan (i per tant tetravalorades) que mantenen una estreta relació amb la varietat de les àlgebres modals tetravalents (AMTs). La memòria està dividida en cinc capítols; el primer està dedicat a introduir la notació que es farà servir i les nocions preliminars tant d'àlgebra universal com de lògiques abstractes. Recullo sense demostració tots aquells resultats que faré servir i que apareixen en diversos articles de la bibliografia, només incloc les demostracions en algun cas on no les he trobades explicitades. En el segon capítol introdueixo la definició de AMT i enuncio les principals propietats d'aquestes àlgebres. En el tercer capítol introdueixo la noció de LQMT (no necessàriament finitària) i de LMT (finitària) generalitzant les propietats de la proposició 2.30, taI com abans he exposat. En el capítol quart estudio les lògiques sobre una àlgebra abstracta “A” projectivament generades per famílies d’homomorfismes de de la lògica formada per M(4-m) i el sistema clausura de tots els filtres. En el cinquè i últim capítol estudio les LMTs des d'una perspectiva més lògica (en contraposició a la perspectiva algebraica dels capítols anteriors). / The aim of this paper is to define and study some kind of abstract logics (we have named them tetravalent modal logics (TMLs)) which are related to the tetravalent modal algebras (TMAs). We have study the TMA from a logic perspective and we introduce the TMLs as the generalization of the logic or all filters on a TML to algebras or suitable type. With the techniques of modern algebraic logic we study the properties or TMLs and their relationship with the M(4-m) algebra, generator of the TMAs variety. This relationship will allow us lo give a semantic definition or TML; indeed, on an algebra or a suitable type, the TMLs are obtained generating projectively by suitable families of homomorphisms from the logic formed by M(4-m) and all its fillers. On the sentential algebra we define a deductive system, in the sense or Blok and Pigozzi, closely connected with the TMLs. We study the matrices, the generalized matrices and the models. We conclude proving that the TMLs are not algebraizables; thus, their study isn't a part of the general theory of Blok's and Pigozzi's aIgebraizables logics.

Made available in DSpace on 2013-08-07T18:43:22Z (GMT). No. of bitstreams: 1 000414772-Texto+Completo-0.pdf: 3624388 bytes, checksum: c10fabbfe10eccf72e794ff38d0dacb4 (MD5) Previous issue date: 2009 / Increasingly, software organizations are concerned about improving the product and the process by which the product was made. For that, organizations use models of maturity, which indicates the collection of metrics to control their processes. However, in most of the time they make e ort in collecting and storing these data but do not pay attention on their quality. Since making decision process is based on metric, if this metric is not reliable consequently the making decision process will not be. In this sense, a proper assessment of the quality of such data is the rst step to ensure that the metrics can be used in sucient reliability. An approach that can assist this assessment is related to the use of date provenance associated with a mechanism of logical inference. This research proposes an architecture for assessing the quality of data e ort composed of four main components: 1-a metric provenance database, 2- a model of inference based on fuzzy logic, 3-a database for storing ratings of quality and 4 - an analytical model for analysis of historical data of quality of e ort. The contribution of this work is to provide an assessment of data quality metrics of e ort in Software Development Process, searching evident the reasons for a low quality. Having the model of inference it is possible assigning levels of quality to the data, and thus enabling the identication of those who are actually useful to a decision making trust. / Cada vez mais as organizações de software estão preocupadas com melhoria do seu processo e consequentemente do seu produto. Para isso, as organizações utilizam modelos de maturidade, os quais indicam a coleta de métricas para o controle de seus processos. No entanto, o esforço com relação a essas métricas está relacionado à sua intensa coleta e utilização e não é dada a devida atenção à qualidade dos dados das mesmas. O impacto da falta de qualidade dos dados dessas métricas é refletido diretamente nos custos da organização visto que as métricas embasam o processo de tomada de decisão o qual pode ser de baixa confiabilidade devido os seus dados de base também o serem. Uma avaliação adequada da qualidade desses dados é o primeiro passo para garantir que as métricas possam ser usadas com a devida confiabilidade. Uma abordagem que pode auxiliar essa avaliação está relacionada ao uso de data provenance (proveniência de dados) associado a um mecanismo de inferência lógica. Este trabalho propõe uma arquitetura para avaliação da qualidade de dados de esforço composta por quatro principais componentes: 1-uma base de data provenance de métricas, 2-um modelo de inferência baseado em fuzzy logic, 3-uma base de dados para armazenamento de avaliações e 4- um modelo analítico para análise de histórico de qualidade de dados de esforço. A contribuição deste trabalho é prover uma avaliação da qualidade dos dados de métricas de esforço em PDS, buscando evidenciar as razões da eventual baixa qualidade. Através do modelo de inferência, é possível atribuir níveis de qualidade aos dados possibilitando assim a identicação daqueles que são efetivamente úteis para um processo de tomada de decisão confiável. Além disso, de acordo com seus níveis de qualidade, os dados podem ser direcionados para diferentes tipos de acompanhamento do projeto, cujos níveis de exigência de qualidade podem ser distintos.

Resumo não disponível

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Civil, Florianópolis, 2009 / Made available in DSpace on 2012-10-24T15:41:46Z (GMT). No. of bitstreams: 1 273849.pdf: 13970127 bytes, checksum: b9533468e6b97f89003eb966feeb5bd0 (MD5) / Este projeto tem por objetivo o desenvolvimento de um método para elaboração de um Mapa Interativo de Sugestão de Uso do Espaço, utilizando o conceito de árvore de decisão, como apoio à decisão ao planejamento e gerenciamento do uso do espaço. Os dados são obtidos dos trabalhos de mapeamento e, pelos cruzamentos de mapas temáticos em ambiente de Sistema de Informações Geográficas, são armazenados em geodatabase e operados por lógica difusa. As informações contidas no geodatabase são integradas e analisadas por meio de árvore de decisão, através de uma interface que se utiliza dos programas fuzzyTech® e MSAccess®, realimentando o geodatabase com os resultados obtidos pela análise. Estes dados são então acessados pelo ArcGis® para a elaboração do Mapa Interativo de Sugestão de Uso do Espaço. A aplicação e validação do método proposto são realizadas com a elaboração do Mapa Interativo de Sugestão de Uso do Espaço para a Ilha de São Francisco do Sul - SC. / In this study we aimed at the development of a method for the elaboration of an interactive map of suggestion for space use, applying the concept of soft decision tree, as support to the decision, planning and administration of land use. The data are obtained from mapping works and from thematic map cross-ings in geographical information system environment. They are stored in geodatabase, and operated by fuzzy logic. The information contained in the geodatabase is integrated and ana-lyzed by a soft decision tree, through an interface that uses fuz-zyTech® and MSAccess®, refilling the geodatabase with the results obtained by the analysis. These data are then ac-cessed by ArcGis® for the elaboration of the interactive map of suggestion for space use. The application and validation of the proposed method is accomplished with the elaboration of the interactive map of suggestion for space use on the Island of São Francisco do Sul - SC.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T05:51:50Z (GMT). No. of bitstreams: 1 283517.pdf: 2220589 bytes, checksum: 528c30fa82205547caceb86fe0ca834e (MD5) / A reserva antecipada de recursos é um mecanismo importante para garantir maior aproveitamento na utilização dos recursos disponíveis em ambientes multi-clusters distribuídos. Este mecanismo permite, por exemplo, que um usuário forneça parâmetros com o objetivo de satisfazer determinados requisitos no momento da execução de uma aplicação. Esta previsibilidade permite que o sistema alcance maiores níveis de QoS. Entretanto, a complexidade das configurações de larga escala e as mudanças dinâmicas verificadas nesses sistemas limitam o suporte à reserva antecipada. O presente trabalho de pesquisa caracteriza-se pela proposta de uma abordagem de reserva antecipada utilizando os paradigmas de ontologias e lógica difusa. Esta proposta permite que uma aplicação reserve mais de um cluster por tarefa, e, também, que requisite uma grande diversidade de recursos. Em adição, a disponibilidade local dos recursos é verificada localmente de forma dinâmica, evitando conflitos futuros no momento da alocação. Foram realizadas comparações relativas a outros trabalhos e os resultados experimentais, utilizando simulações de configurações de multi-clusters, indicam que o mecanismo proposto alcançou com sucesso flexibilidade para tarefas que requisitaram alto processamento, permitindo um balanceamento adequado de processos entre clusters.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T13:47:59Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T20:39:18Z : No. of bitstreams: 1 286963.pdf: 210735 bytes, checksum: 6061ece010ef13cadcd9287e17c9083f (MD5) / Nos equipamentos médico-hospitalares - EMH são incorporados constantemente novas tecnologias. No Brasil, a ANVISA estabelece e normatiza prescrições para que os EMH adquiridos pelos Estabelecimentos de Assistência à Saúde - EAS tenham garantia de disponibilidade no uso. Estas normas e prescrições determinam que os EMH sejam fáceis de operar, com condições seguras de uso, e atendam às normas e regulamentos técnicos de segurança, desempenho, instalação e uso. Entre os vários atributos requeridos para garantir a disponibilidade do EMH, a mantenabilidade foi identificada como a mais significativa na preparação das especificações técnicas para o processo de aquisição pelos EAS. Assim, o objetivo geral deste trabalho é desenvolver uma metodologia para análise de mantenabilidade de EMH no processo de aquisição. Para isto foi desenvolvida uma investigação científica do tipo descritivo-analítico, de natureza qualitativa, fundamentada num estudo de caso. Para alcançar o objetivo proposto foi estruturada a metodologia de análise de mantenabilidade, focada na preparação das especificações técnicas no processo de aquisição do EMH, a partir da análise do EMH a ser processada em nível de seu(s) sistema(s), subsistema(s) e componente(s). Para exemplificar a metodologia, fez-se uma aplicação em um aparelho de anestesia. A metodologia desenvolvida foi estruturada em quatro passos: Passo 1 - Registrar e identificar os indicadores de mantenabilidade do EMH; Passo 2 - Definir peso dos indicadores de mantenabilidade, com a aplicação da Matriz Grau de Influência, baseada na comparação por pares do método AHP; Passo 3 - Calcular o Índice Geral de mantenabilidade, utilizando-se o método Singleton da Lógica Fuzzy; Passo 4 - Apresentar resultados. Como suporte, foi desenvolvida uma ferramenta computacional protótipo para a Análise da Mantenabilidade - AnaMan. A aplicação da metodologia resulta em um Índice Geral de mantenabilidade, representado por um valor numérico que indica a mantenabilidade do EMH. A aplicação feita e a avaliação por especialista demonstraram que a metodologia pode ser usada como um instrumento para a tomada de decisão no processo de aquisição de novos EMH, com melhor probabilidade de sucesso em relação à disponibilidade.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Civil / Made available in DSpace on 2012-10-25T21:40:39Z (GMT). No. of bitstreams: 1 300098.pdf: 2737707 bytes, checksum: 438015c362f713487bf48997afe3cf34 (MD5) / O sistema de transmissão de energia elétrica demanda restrições quanto à utilização de suas áreas adjacentes devido à alta-tensão dos cabos de energia. Apesar das restrições serem instituídas por lei, há um crescente número de ocupações irregulares nestas áreas. Considerando a finalidade de monitoramento e gestão nas Faixas de Servidão - áreas adjacentes à linha de transmissão - o estudo apresentado tem por objetivo estabelecer um modelo a partir das premissas da Lógica Difusa para indicar a propensão em relação à invasão em um trecho de transmissão localizado no Estado de Santa Catarina, gerenciado pela Eletrosul/Eletrobrás Centrais Elétricas, indicando as áreas que atraem novas invasões. A atratividade foi gerada através da integração de quatro variáveis consideradas determinantes para que haja ocupação, a citar a) Uso e ocupação do solo, b) Proximidade das vias, c) Declividade e d) Distanciamento das torres. O produto final caracterizou um modelo de propensão à invasão que possibilita desenvolver ações preventivas pela concessionária nos locais da Faixa de servidão apontados com altas chances de invasão.

Hercules killed the Hydra of Lerna in a bloody battle-the second of the labor tasks imposed upon him in atonement for his hideous crimes. The Hydra was a horrible, aggressive mythological monster with many heads and poisonous blood, whose heads multiplied each time one of them was severed. This paper explores some mathematical methods about this interesting epic battle. A generalization of the original Kirby & Paris model is proposed, concerning a general heads reproduction pattern. We also study the connection of this model with Goodstein ultra-growing and recursive sequences. As an interesting application, we next analyze the inevitable death of another huge monster of our modern era: the Internet.

Submitted by Deyver Bordin null (bordindeyver@gmail.com) on 2016-04-27T19:25:46Z No. of bitstreams: 1 Dissertação-Deyver_Bordin.pdf: 2427410 bytes, checksum: 6d5ca64d19abc0fa03677b3f587d6e74 (MD5) / Approved for entry into archive by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br) on 2016-04-29T22:04:41Z (GMT) No. of bitstreams: 1 bordin_d_me_tupa.pdf: 2427410 bytes, checksum: 6d5ca64d19abc0fa03677b3f587d6e74 (MD5) / Made available in DSpace on 2016-04-29T22:04:41Z (GMT). No. of bitstreams: 1 bordin_d_me_tupa.pdf: 2427410 bytes, checksum: 6d5ca64d19abc0fa03677b3f587d6e74 (MD5) Previous issue date: 2016-02-29 / O tomate é uma importante cultura, não só em termos de produção, mas também em valor econômico, por ser uma hortaliça bastante industrializada e ainda conta com um aumento da produção per capita anual no Brasil, o que coloca o produto em destaque, além de estar diariamente na dieta alimentar de grande parte da população. Para o cultivo do tomate, duas preocupações devem ser levadas em conta: a quantidade de água, pois a baixa umidade do solo restringe seu crescimento reduzindo, sua produção e a qualidade da água que será utilizada na irrigação do tomateiro, pois, esta deve estar livre de contaminantes biológicos, teor de sais inferior a 1,5 g L-1 para evitar o murchamento foliar nos horários mais quentes do dia, queimadura do ápice e dos bordos da folha pela morte do tecido foliar e até mesmo da planta. Visando economia de recursos e aumento na produtividade no cultivo do tomate, o presente trabalho teve como objetivo desenvolver um sistema computacional para a avaliação da cultura do tomate híbrido (Licopersicum esculentum). Em que foi utilizado um sistema baseado em regras fuzzy por meio do software Matlab® utilizando dados biométricos da cultura do tomate submetido em diferentes níveis de irrigação e salinidade, sendo avaliado ao longo do ciclo. O experimento foi realizado em uma casa de vegetação da UNESP/FCA. Para tanto, foi utilizado a linguagem Delphi, os dados do experimento e a modelagem fuzzy. Este software possibilita ao produtor um indicativo da viabilidade de produção, além de fornecer subsídios para avaliar e manejar de forma eficiente e eficaz, assim sendo uma poderosa ferramenta de tomada de decisão, que visa obter maior produtividade e economia dos recursos hídrico e enérgicos. / The tomato is an important crop, not only in terms of production, but also in economic value, being a vegetable very industrialized and also includes an increase in annual per capita production in Brazil, which puts the product highlighted, and be daily in the diet of most of the population. For growing tomatoes, two concerns should be taken into account: the amount of water because of the low soil moisture restricts its growth reducing production and quality of water to be used in tomato irrigation, therefore it must be free of biological contaminants, salt content less than 1.5 g L-1 to prevent leaf wilting in the hottest times of the day, apex burn and leaf edges of the death of leaf tissue and even the plant. Aiming to save resources and increase productivity in growing tomatoes, this study aimed to develop a computer system for the evaluation of hybrid tomato crop (Licopersicum esculentum). It was used a system based on fuzzy rules using the Matlab software using biometric data of the tomato crop submitted at different levels of irrigation and salinity, and evaluated over the cycle. The experiment was conducted in a greenhouse at UNESP/FCA. Therefore, we used the Delphi language, experimental data and fuzzy modeling. This software enables the producer indicative of production feasibility, and provide subsidies to assess and manage efficiently and effectively, making it a powerful decision-making tool, which aims to achieve greater productivity and economy of water and energetic resources.

Reconoce y describe porqué en los textos publicitarios de algunos avisos impresos es el aspecto verbal (proposiciones) más ostensivo que las imágenes. Asimismo, explica la capacidad ostensiva que puede tener el aspecto verbal (proposiciones), dentro de un aviso publicitario, la cual permite focalizar y retener la atención del potencial cliente, así como ser estímulo directo para la activación del proceso de inferencia sin necesidad de utilizar muchas imágenes. En cuanto a la metodología de investigación es de tipo descriptivo. Utiliza un corpus conformado por 10 avisos publicitarios, nueve de ellos fueron extraídos de la revista Somos y uno de un panel difundido en una céntrica avenida de la ciudad de Lima. Tanto los anuncios de la revista como el del panel fueron publicados entre los años 2007 y 2015. Respecto al procedimiento del análisis, se explica las funciones lingüísticas que cumplen las categorías léxicas y gramaticales dentro de una proposición, se describe cómo intervienen los niveles léxico-semántico y morfológicos en la creación de nuevos términos o neologismo, así como las figuras retóricas que contiene cada proposición (si es que las contiene), se reconoce a los lexemas ostensivos y se explica cómo estos operan y cómo son dirigidos por el Principio de Relevancia. / Tesis