Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas, Programa de Pós-Graduação em Direito, Florianópolis, 2008. / Made available in DSpace on 2012-10-24T05:26:34Z (GMT). No. of bitstreams: 1 267240.pdf: 4201601 bytes, checksum: efef026b8a5051606359995f225c0f53 (MD5) / O estágio em que se encontra debate filosófico-jurídico da atualidade ainda se mantém na polêmica entre o positivismo jurídico (postura voluntarista) e os anti-positivismos (posturas racionalistas), em que o positivismo jurídico realça o papel descritivo da atividade do jurista, que ao encarar o Direito como sistema deve tratar de reconhecer o Direito validamente contido no interior de dito sistema e enfrentar seus problemas de redundância, de lacunas, de contradições, de vagueza, de ambigüidade de suas normas e assim por diante; ao passo que as teorias anti-positivistas com maior destaque na atualidade destacam o caráter argumentativo do Direito e esperam fornecer critérios para a otimização na tomada de decisões jurídicas, critérios esses que podem conter inclusive valorações morais. A presente tese não toma partido em favor de uma ou outra posição nessa polêmica, e não o faz porque a aplicação da lógica ao Direito, objeto central da discussão, prescinde de comprometimento com qualquer que seja a teoria do Direito analisada, haja vista que a lógica é de tal modo abstrata que pode estar a serviço de todas elas, como ferramenta de auxílio para o tratamento racional dos problemas que surgirem no interior dessas teorias. Preocupa-se, isto sim, com um aspecto singular da atividade jurídica, que é a utilização da técnica do precedente como regra de razão que exclui ou, ao menos, ajuda a atenuar a discricionariedade na interpretação e aplicação do Direito, técnica essa que pode ser aperfeiçoada com a aplicação de sistemas especialistas legais a partir da proposta e criação de modelos informáticos baseados em lógicas paraconsistentes, independentemente da teoria do Direito que se adote. Diante da crise por que passa a razão desde o início do século XX e as conseqüências dessa crise sobre a filosofia da ciência, constata-se que essa crise foi bastante frutífera para a teoria do conhecimento, sendo que desse contexto se extrai o marco metodológico da tese, em especial a adoção da idéia de verdade pragmática e o acolhimento do método axiomático para lidar com os problemas jurídicos. Sob esse enfoque, trilha-se o caminho percorrido pela história da filosofia do Direito tendo-se como baliza o problema da justiça a fim de que os problemas jurídicos a que se propõe oferecer guias para solução sejam explicitados. Descreve-se, então, o posicionamento teórico das correntes do pensamento jurídico que, ao tratarem da relação entre Direito e moral, apresentaram diversas propostas, desde a forma assumida pelo positivismo jurídico contemporâneo, que admite a discricionariedade e insiste na separação entre Direito e moral; passando pelos formuladores de teorias da argumentação que pretendem fornecer critérios objetivos de verificabilidade de correção de decisões; e chegando mesmo à proposta de que sempre deverá ser possível, em todos os casos, a tomada de uma decisão justa. A partir daí se introduz a idéia de universalização das decisões como um bom critério formal e objetivo de justiça; e dentro dele se lança a idéia de auto-precedente, isto é, a doutrina ou os critérios adotados pelo próprio juiz ou tribunal para a resolução de casos anteriores, em que o respeito ao precedente supõe, nessa concepção, uma exigência de autocongruência, procedimento esse que, em princípio, dirige-se ao passado como fidelidade a casos anteriores, mas que se remete também # e principalmente # ao futuro, neste caso como consciência de que um bom critério de resolução será o que deverá ser aplicado também para resolver casos posteriores, ou seja, o critério que se possa pretender que se transforme em precedente. Para a realização da tarefa acima mencionada, propõe-se a utilização da lógica formal como ferramenta. Para tanto, inicialmente se apresentam aspectos históricos da disciplina da lógica, em especial a criação das lógicas paraconsistentes por Newton da Costa; após o que se parte para a demonstração da possibilidade de aplicação da lógica formal ao Direito; e, por fim, indica-se a aplicação de cálculos lógicos paraconsistentes na construção de sistemas especialistas legais que sirvam como instrumento de controle de racionalidade de auxílio ao intérprete na tomada de suas decisões jurídicas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Sócio-Econômico. Programa de Pós-Graduação em Administração. / Made available in DSpace on 2013-07-16T02:53:17Z (GMT). No. of bitstreams: 1 223997.pdf: 754261 bytes, checksum: ba2471b60e650b87fa3cf7a2f90d6ea8 (MD5) / O propósito deste estudo consiste em propor um modelo que utiliza a lógica nebulosa para a análise da rentabilidade de empresas. Neste estudo, entrevistou-se uma amostra de vinte analistas financeiros para identificar junto aos mesmos os principais índices que revelam a rentabilidade de empresas do setor de alimentos, utilizando-se dados de sessenta e três empresas do setor de alimentos publicados pelo Valor1000 do Jornal Valor Econômico, edição 2004. De acordo com a escala de Matarazzo (2003), os dados coletados foram analisados e classificados e a cada índice de rentabilidade foi atribuída uma variável qualitativa conforme sua posição em relação ao decil. Utilizando-se um software específico (Matlab®) definiram-se as funções de pertinência e implementaram-se 2401 regras de inferência para implementação do sistema. Os resultados obtidos pelo sistema nebuloso, utilizando diferentes métodos de defuzzificação, foram confrontados com a avaliação de analistas financeiros do Banco de Desenvolvimento do Extremo Sul - BRDE. Os resultados dessa pesquisa demonstram que modelos nebulosos podem ser utilizados como ferramentas eficazes no auxílio e na validação dos pareceres de especialistas na análise de rentabilidade das empresas.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: f. 133-141 / A computação autonômica assume que, cada vez mais, a indústria de Tecnologia da Informação (TI) cria sistemas mais complexos. As operações realizadas em nosso dia a dia, das mais simples às mais complicadas, se tornam mais e mais dependentes dos sistemas / Autonomic computing assumes that each time the Information Technology industry creates more complex systems. The operations carried through day by day, since the simplest one to the most complicated, become more dependents of the technological systems. In

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T16:52:12Z (GMT). No. of bitstreams: 1 82432.pdf: 1408678 bytes, checksum: 850bfa1126230477e1b8c803f6a3e46d (MD5) Previous issue date: 1990 / Os engenheiros encarregados da conservação rodoviária (bem como de outras áreas da engenharia) usam bom senso, intuição, analogia e experiência pessoal para resolver problemas desta área. Este conjunto de processos, denominados heurísticos, oferece uma dificuldade muito grande para ser armazenado em um programa convencional de computador, utilizando técnicas tradicionais de programação. A inteligência artificial, no entanto, dá condições para que isto ocorra, via construção de um sistema especialista, permitindo que o processo contínuo de aquisição de conhecimento na área de conservação rodoviária possa ser preservado. O computador, poderia assim, ser um excelente consultor de quem o engenheiro poderá ter uma segunda opinião na solução de problemas referentes à conservação rodoviária. Esta é a proposta de CONSER, um sistema especialista para apoio à escolha de estratégias de conservação de rodovias não pavimentadas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T17:22:56Z (GMT). No. of bitstreams: 1 82772.pdf: 1816824 bytes, checksum: de58698be965d6e8d87a904a833b12d9 (MD5) Previous issue date: 1991 / O objetivo central desta dissertação foi o de elaborar um Sistema Especialista para ajudar na elaboração de recomendações para agricultores no que tange ao controle da sarna da macieira no Sul do Brasil. O objetivo atende uma demanda específica do sistema de pesquisa agropecuária de Santa Catarina. Uma avaliação benefício/custo do sistema desenvolvido indicou uma alta taxa de retorno para o investimento na sua elaboração. Paralelamente procurou-se organizar de modo suscinto e genérico as etapas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T18:50:59Z (GMT). No. of bitstreams: 1 94772.pdf: 3181071 bytes, checksum: 60a9fc7f692fd6f486fc9779eb7658b9 (MD5) Previous issue date: 1994 / Nos postos de trabalho de controle e regulação de sistemas complexos, o potencial de uso de sistemas especialistas de apoio ao homem no desenvolvimento de sua tarefa, principalmente na tomada de decisões e nos tratamentos de informação, é considerável. No entanto, estes sistemas apresentam diversas limitações de caráter técnico, devido, principalmente a não consideração das características fisiológicas e psicológicas do operador e do trabalho realmente desenvolvido, levando muitas vezes, a não obtenção do sucesso esperado. Neste sentido, a análise ergonômica do trabalho pode contribuir em muito para enriquecer o conhecimento em relação ao operador e sua atividade. Assim, pode-se modelar os processos de resolução de problemas, numa estrutura conceptual ou informatizada, coerente com as estruturas da ação e limitações humanas. O estudo aqui apresentado, foi realizado no Centro de Operações do Sistema da CELESC (Centrais Elétricas de Santa Catarina), onde está em processo de implementação um sistema automatizado de supervisão do sistema. Este trabalho estabelece a partir da análise ergonômica do trabalho, um modelo de desenvolvimento de um sistema inteligente de apoio à operação, que deverá indicar e orientar a aplicação de procedimentos e instruções relacionados com a função de recomposição do sistema de transmissão elétrica, em casos de ocorrências imprevistas. A partir de uma análise inicial, foi delimitado o trabalho em função dos aspectos mais relevantes. Em seguida, aplicou-se a metodologia de análise ergônomica na situação atual (CELESC), assim como nas situações de referência automatizadas (ELETROSUL, COPEL), visando levantar principalmente a atividade real, os seus aspectos críticos, condicionantes e determinantes e a influência destes no desempenho dos supervisores do sistema, para finalmente, realizar a reconstituição da atividade futura provável. Baseados nestes resultados são determinados os objetivos e requisitos do sistema de apoio à operação. No modelo de desenvolvimento desse sistema, são descritas as principais características da possível estrutura funcional do sistema, isto é, representação do conhecimento, interface e processo de inferência. Para fins de teste e avaliação, foi desenvolvida uma maquete do sistema de apoio à operação. Por último, são apresentadas as conclusões e recomendações.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T19:49:02Z (GMT). No. of bitstreams: 1 100849.pdf: 2916243 bytes, checksum: 5e3671efc2f5ddbff4814454d80d2d09 (MD5) Previous issue date: 1995 / O sensoriamento remoto da terra com satélites e aeronaves está intimamente relacionado e dependente de tecnologia em computação com processamento de dados para análise de imagens digitais desde 1960. O sensoriamento remoto ao longo da história vem abrindo novos campos de pesquisa e conduzindo a avanços no ?pool? de capacidades do computador, como a incrementação de memória, velocidade e outros avanços que resultam na resolução de cores através de poderosos gráficos. Imagens de satélites constituem uma ferramenta extremamente poderosa e de custo relativamente baixo, na solução de vários problemas de recursos naturais, como por exemplo, o monitoramento da cobertura vegetal para facilitar o controle sobre desmatamento e queimadas; a identificação e avaliação de áreas cultivadas para auxiliar na previsão de safras e permitir o planejamento de áreas urbanas para análise e planejamentos macroeconômicos. Embora existam disponíveis no Brasil desde 1975, ainda hoje desenvolvem-se metodologias de uso dessas imagens nas várias áreas de aplicação: análise ambiental, florestas, agricultura, geologia e cartografia. Apesar da falta de conhecimento técnico a respeito desta ferramenta dificultar sua maior disseminação, o uso de imagens de satélites tem aumentado ano a ano. A utilização de técnicas de inteligência artificial, como sistemas especialistas para a especificação de produtos de imagens de satélites e a utilização adequada dos produtos obtidos pelos diferentes sensores, faz-se necessário para auxiliar o usuário leigo em sensoriamento remoto na tarefa de especificar um produto imagem, dado um conjunto de recursos disponíveis, ou seja, saber qual o produto a ser utilizado para extrair a informação desejada da imagem gerada.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2016-01-08T19:59:46Z (GMT). No. of bitstreams: 1 100877.pdf: 3307133 bytes, checksum: 67ea44703f91d48f3c1de551a83c2863 (MD5) Previous issue date: 1995 / Análise dos aspectos relacionados a construção e utilização de sistemas especialistas. Mostra os principais conceitos, o histórico da evolução destes sistemas e as funções e características dos elementos que os compõem. As formas de representação e armazenamento do conhecimento, as técnicas de raciocínio ou inferência e as ferramentas utilizadas no desenvolvimento são abordados detalhadamente. É especificado, e implementado em PROLOG, um protótipo de uma ferramenta para a construção de sistemas especialistas baseados em regras de produção. Com o protótipo é realizada uma aplicação experimental sobre uma base de conhecimentos na área médica. A aplicação experimental permite o diagnóstico de algumas doenças comuns do aparellho digestivo e respiratório.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:05:29Z (GMT). No. of bitstreams: 1 103906.pdf: 3072312 bytes, checksum: 086273c101eae289905ae0929fa27c1a (MD5) Previous issue date: 1995 / Esta tese tem por objetivo apresentar uma solução ao problema da classificação e diagnóstico de irregularidades detectadas em materiais de natureza fibrosa que ocorrem na fiação têxtil, mediante a interpretação de dados fornecidos pelo regularímetro. Um estudo de diversas propostas implementando discriminadores neurais para classificar irregularidades constatadas é apresentado, culminando com a seleção de implementações comprovadas como mais eficientes. Adicionalmente é apresentada a implementação de uma ferramenta de sistema especialista baseada em regras de reprodução em um banco de conhecimentos, este último objetivando a utilização de informações provenientes da etapa classificatória para inferir diagnósticos adequados. A implementação computacional da fase de detecção e classificação e da fase de diagnóstico foram realizadas de forma a construir um sistema integrado, como proposta de solução semi-automatizada. Seu uso constitui uma ferramenta de apoio ao processo decisório de especialista têxtil em regulametria. A eficácia do sistema proposto é analisada mediante tabulação de dados estatísticos coletados a partir de conjuntos de simulações de irregularidades sob estratificação de diversas variáveis de controle.

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, 2014. / Made available in DSpace on 2016-01-15T14:40:30Z (GMT). No. of bitstreams: 1 336955.pdf: 2763605 bytes, checksum: 07c8d276c6efc2525413259bb9f38a2c (MD5) Previous issue date: 2014 / Em um curto espaço de tempo, a computação em nuvem evoluiu de mais um buzzword do mercado para um paradigma e modelo de serviço e entrega de recursos amplamente consolidado e aceito. Mesmo que ainda existam lacunas e divergências sobre conceitos e padrões, fato inegável é a expansão e utilização da Nuvem como modelo computacional. Neste contexto novos desafios surgem, entre eles a necessidade de monitorar tais infraestruturas complexas e heterogêneas, de forma a possibilitar a análise de grandes volumes de dados gerados, para tarefas de importância primordial para este modelo, como faturamento de recursos utilizados, identificação de falhas e predição de comportamentos. Tendo em vista este universo dinâmico e de rápidas mudanças, a presente arquitetura é apresentada, propondo um modelo de monitoramento não intrusivo, cujo foco está no armazenamento e recuperação de dados para a construção de sistemas autônomos utilizando aprendizado de máquina. Este trabalho visa evoluir o estado da arte ao propor uma arquitetura autônoma para o monitoramento de Nuvens, tanto privadas quanto híbridas e públicas.<br> / Abstract : In a very short timespan, Cloud Computing has evolved from another market buzzword to a widely accepted and consolidated computing model. Even though there are still gaps and disagreements about concepts and patterns, an undeniable fact is the expansion and wide use of the Cloud as a computing model. In this context there are new challenges, including the need to monitor such complex and heterogeneous infrastructures, in order to enable the analysis of large volumes of data generated for tasks of paramount importance like billing, consolidated reports, detect failures and predict future issues. Given this dynamic and rapidly changing universe, the proposed architecture is presented, proposing a non-intrusive monitoring model, whose focus is the information storage and retrieval allowing the construction of autonomous systems using machine learning. This work aims to advance the state of the art by proposing an autonomous architecture for Clouds monitoring.