O presente trabalho apresenta um estudo numérico bidimensional sobre a otimização da geometria de um dispositivo conversor de energia das ondas do mar em energia elétrica. O objetivo principal é, através da modelagem computacional de um dispositivo cujo principio de funcionamento é o de Coluna de Água Oscilante (CAO) e do emprego de Constructal Design, maximizar a conversão da energia das ondas do mar em energia elétrica. Essa técnica é baseada na Teoria Constructal. O aspecto inédito deste trabalho, em relação aos estudos disponíveis na literatura, é o fato de levar em conta o clima de ondas de uma dada região e, a partir disso, dimensionar o dispositivo de modo que ele tenha um desempenho otimizado. Para tanto, foi empregado o método Constructal Design, os graus de liberdade empregados são: H1/L (razão entre a altura e o comprimento da câmara CAO) e H3 (profundidade de submersão do dispositivo CAO). A relação H2/l (razão entre altura e comprimento da chaminé de saída da câmara CAO) é considerada um parâmetro fixo. Foram realizados estudos levando em conta uma onda em escala de laboratório e um espectro de ondas real. Foi também realizado um estudo sobre a influência da perda de carga da turbina através de uma restrição física. Para a solução numérica foi empregado um código comercial de dinâmica dos fluidos computacional, FLUENT®, baseado no Método de Volumes Finitos (MVF). A geometria e a geração a malha foi realizada no software GAMBIT®. O modelo multifásico Volume of Fluid (VOF) é aplicado no tratamento da interação água-ar. O domínio computacional é representado por um tanque de ondas com o dispositivo CAO acoplado. Os resultados obtidos mostram que é possível estabelecer uma razão de H1/L ótimo, conhecendo-se o clima de ondas, ou seja, o recomendável é que esta razão seja igual a quatro vezes a altura da onda dividido pelo comprimento da onda incidente. / The present work presents a two-dimensional numerical study about the geometric optimization of an ocean Wave Energy Converter (WEC) into electrical energy. The main goal is, through computational modeling of a device whose operating principle is the Oscillating Water Column (OWC) and from employment Constructal Design, to maximize the conversion of energy of ocean waves into electricity. This technique is based on Constructal Theory. The inedited aspect of this work comparing to the available studies is that it takes into account the wave climate of a given region to design the device so that it achieves optimum performance. Constructal Design is employed varying the degrees of freedom H1/L (ratio between the height and length of OWC chamber) and H3 (lip submergence). While the relation H2/l (ratio between height and length of chimney) is kept fixed. Studies were performed considering a wave on a laboratory scale and a spectrum of real waves. Yet a study of the influence of the turbine pressure losses was performed using a physical constraint. For the numerical solution it is used the Computational Fluid Dynamic (CFD) commercial code FLUENT®, based on the Finite Volume Method (FVM). The geometry and mesh generation was performed in GAMBIT ® software. The multiphasic Volume of Fluid (VOF) model is applied to tackle with the water-air interaction. The computational domain is represented by an OWC device coupled with the wave tank. The results show that it is possible to establish a relationship of H1 / L optimum, if the wave climate is know. It is recommended that this ratio be equal to four times the height of the wave divided by the length of the incident wave.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-15T15:44:40Z No. of bitstreams: 1 ANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdf: 1111308 bytes, checksum: d22b0170a207a14988449565a953bfb2 (MD5) / Made available in DSpace on 2018-08-15T15:44:40Z (GMT). No. of bitstreams: 1 ANA KARINA DE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2008..pdf: 1111308 bytes, checksum: d22b0170a207a14988449565a953bfb2 (MD5) Previous issue date: 2008-05-16 / A necessidade de sistemas cada vez mais complexos é uma realidade em quase todas as áreas de aplicação da eletrônica. Os avanços recentes da microeletrônica possibilitam o surgimento de soluções inovadoras para diversos problemas do mundo moderno, devido à criação, em ritmo cada vez mais acelerado, de sistemas digitais de qualidade, sendo possível integrar dezenas de milhões de transistores em um único chip, com baixo custo operacional. Esses sistemas estão em constante evolução, impulsionada pelo desenvolvimento da indústria de semicondutores. Assim, há fortes pressões de mercado para a disponibilização de novos produtos com um número cada vez maior de funcionalidades. As implementações dos circuitos eletrônicos complexos necessitam da utilização de metodologias eficientes e automatizadas, que auxiliem na diminuição das falhas de projeto, a exemplo da metodologia de verificação funcional denominada VeriSC, que fornece testbenches e utiliza a biblioteca SCV (SystemC Verification Library), mas se restringe à verificação de circuitos digitais que processam transações temporais síncronas. O trabalho desenvolvido consiste na criação de um mecanismo de implementação de transações temporais, aplicada à metodologia de verificação funcional VeriSC, tornando-a uma metodologia de verificação eficiente também para circuitos digitais capazes de processar transações temporais assíncronas. / The necessity for more complex systems is a reality in almost all electronic application areas. Recent advances in microelectronics make possible the appearance of innovative solutions for several problems of the modern world, due to the creation in accelerated rhythm of quality digital systems, allowing the integration of tens of millions of transistors in a single chip with low operational cost. Those systems are in constant evolution promoted by the development of the semiconductors industry. Thus, there are strong pressures from the market to make new products available with an increasing number of functionalities. Implementations of complex electronic circuits must use of efficient and automated verification methodologies, which help in reducing design failures. In this context VeriSC, a functional verification methodology which provides testbenches and uses the SCV Library (SystemC Verification Library), but it is restricted to the digital circuit verification that has only synchronous time transactions. This work consists in creating a mechanism for the implementation of time transactions, applied to the VeriSC functional verification methodology, and in making it an efficient methodology for digital circuits capable of processing asynchronous time transactions.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-17T14:18:41Z No. of bitstreams: 1 EDEMBERG ROCHA DA SILVA - DISSERTAÇÃO PPGCC 2003..pdf: 1169743 bytes, checksum: 2feda912b0a385f167ab5d5d55ea5a71 (MD5) / Made available in DSpace on 2018-08-17T14:18:41Z (GMT). No. of bitstreams: 1 EDEMBERG ROCHA DA SILVA - DISSERTAÇÃO PPGCC 2003..pdf: 1169743 bytes, checksum: 2feda912b0a385f167ab5d5d55ea5a71 (MD5) Previous issue date: 2003-12-22 / Capes / Padrões de projeto são considerados uma das mais valiosas tecnologias para produzir software de qualidade. Uma técnica para melhorar o uso de padrões é identificar suas realizações e inferir um conhecimento para melhorá-las. Esta tarefa de encontrar todas as realizações de padrões em um projeto caracteriza-se por ser tediosa para o engenheiro de software. Nessa dissertação apresentamos um sistema assistente para programadores e arquitetos de software, chamado SAMOA (Sistema de Apoio a Modelagem Orientada a Objetos de Aplicações). Este sistema é um assistente interativo para automatizar o trabalho de detecção de realizações de padrões de projetos. Basicamente, o SAMOA é capaz de automaticamente (i) encontrar padrões aplicados em diagramas de classes UML e em fontes JAVA; (ii) produzir possíveis criticas sobre esses padrões. Depois que esses são detectados, um conjunto de críticas de projetos são verificadas para testar se a realização dos padrões pode ser melhorada. E (iii) instanciar padrões visando à geração de código do mesmo, na linguagem de programação Java. Foi implementado um protótipo do sistema que realiza as atividades (i) e (iii). Abordamos, também, quais diferenciais nosso sistema tem em relação aos demais existentes / Design patterns are considered one of the most valuable technologies to produce quality software. A technique to improve the use of patterns is to identify their realizations and to induce a knowlege to enhance their use. This work to find all pattern realizations in a software design can be tedious for the software engineer. In this dissertation we show an assistant system for programmers and software architets, called SAMOA (Sistema de Apoio a Modelagem Orientada a Objetos de Aplicações). This system is an interactive assistant to automate the work of detection of the realizations of design patterns. On principle, SAMOA is able to automatically (i) find patterns applied in UML diagrams and in JAVA;sources (ii) make critiques about these patterns. If a pattern has been detected, a set of design critiques are verified to test if the realization of the pattern can be improved. And (iii) instanciate patterns to aim an automatic code generation in the JAVA programming language. We have implemented a prototype of the system that realizes activities (i) and (iii). We also discuss , wich properties differentiate our system from existing others.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-27T17:05:09Z No. of bitstreams: 1 FRANCISCO PETRÔNIO ALENCAR DE MEDEIROS - DISSERTAÇÃO PPGCC 2003..pdf: 3495874 bytes, checksum: 26f2cedd183b05f7571147e29242352b (MD5) / Made available in DSpace on 2018-08-27T17:05:09Z (GMT). No. of bitstreams: 1 FRANCISCO PETRÔNIO ALENCAR DE MEDEIROS - DISSERTAÇÃO PPGCC 2003..pdf: 3495874 bytes, checksum: 26f2cedd183b05f7571147e29242352b (MD5) Previous issue date: 2003-02-26 / Esse trabalho apresenta o processo de construção e implementação do módulo TAOSGraph da ferramenta iTAOS. iTAOS é uma ferramenta gráfica que implementa o formalismo TAOS (Task and Action Oriented System) concebida para acompanhar o projetista de interfaces durante a fase de análise e descrição da tarefa dentro de um processo de desenvolvimento de interfaces, verificando a completude e consistência da representação. TAOS-Graph foi desenvolvido utilizando a metodologia MEDITE, uma metodologia guiada por modelos e baseada na tarefa para construção de interfaces ergonômicas. Os artefatos gerados ao final de cada etapa do processo de desenvolvimento de TAOS-Graph foram: a descrição TAOS da tarefa, a especificação conceitual da interação e o código da interface. Como recomenda a metodologia, foi realizada uma inspeção de conformidade da ferramenta iTAOS com as partes 14 (Menus), 16 (Manipulação direta) e 17 (Formulários) do padrão ISO 9241. / This work presents the process of construction and implementation of the TAOSGraph module of the iTAOS tool. iTAOS is a graphical tool that implements the TAOS formalism (Task and Action Oriented System) and is responsible for accompanying the interface designer (iTAOS user) during domain task’s description and analysis phases within the interface development process, verifying the completeness and the consistency of the representation. TAOS-Graph was developed using the methodology MEDITE, a methodology guided for models and based in the task for construction of ergonomic interfaces. The artefacts generated to the end of each stage of the development process of TAOS-Graph had been: description TAOS of the task, the conceptual specification of the interaction and the code of the interface. As recommends the methodology, iTAOS was carried through an inspection of conformity with the parts 14, 16 and 17 of the standard ISO 9241.

Neste estudo investigam-se as possibilidades de Cenários Educacionais Informatizados como alternativas estratégicas de uso de produtos da tecnologia informática para o desenvolvimento de processos cognitivos. São propostos indicadores de aprendizagem na forma de Pegadas Cognitivas. Tais Pegadas são o resultado gráfico de uma distribuição espacial de pontos correspondentes aos indicadores de aprendizagem e suas dimensões nos cenários pesquisados. Em cada caso, a “pegada” resulta da ligação entre tais pontos, formando um diagrama onde a disposição dos indicadores, comparando-se as situações ideal e real, permitiu avaliar o desvio em que se encontra a situação real, comparativamente à situação ideal. Sua construção permitiu simbolizar a provisoriedade de cada situação de aprendizagem e inspirar ações para as correções que se fizerem necessárias. Utilizaram-se: software de modelagem computacional – Modellus; espaços virtuais de comunicação – chat, e-mail, listas de discussão, whiteboard, forms, entre outros; Mapas Conceituais/Mentais; imagens e representações; ações ligadas às atividades endógenas permanentes dos aprendizes em função de seu imaginário e dos espaços virtuais e recursos da telemática em atividades de aprendizagem, na área de físico-química, visando ao estudo de como ocorrem as reações químicas. A partir dos resultados obtidos realizou-se o confronto entre as possibilidades reais do ambiente com o imaginado, sobre o tema, por alunos do ensino médio que integram o grupo denominado Grupo Imagem. O caminho que representa a linha mestra deste referencial teórico encontra-se nas Ciências Cognitivas no que se refere às questões relativas às formas de representação, às estratégias cognitivas utilizadas pelo sistema humano de processamento de informação e às aplicações de modelagem computacional em situações de aprendizagem. Considerou-se uma abordagem que leva em conta arquiteturas cognitivas e influências do meio ambiente sobre a capacidade humana de aprender. Aprender no sentido de assimilar novas informações, armazená-las e, ao acessá-las, desenvolver estratégias cognitivas que promovam a evolução das estruturas do conhecimento, numa dinâmica caracterizada pela inovação, pela capacidade humana de estar constantemente em mudança, através de ações situadas, contextualizadas, na Sociedade da Informação, geradora da Sociedade do Conhecimento. Tal sociedade impõe desafios a ser enfrentados com estratégias que permitam a todos, independente de sua situação na escala social, a acessibilidade e a mobilidade informacional e de tecnologias cada vez mais especializadas em todas as áreas, sejam acadêmicas, econômicas ou de bem-estar pessoal que produzam não apenas a mundialização de recursos materiais e físicos, mas que incluam as diferenças de pensamentos e ações que permitem aos seres humanos serem individuais e únicos em sua essência. A Aprendizagem à Distância – AAD – utilizada neste fazer investigatório evidenciou competência para solucionar as dificuldades relativas à flexibilidade dos programas disponíveis para compor cenários educacionais que privilegiem a aprendizagem significativa, em escolas de ensino médio, por exigirem novos posicionamentos e novas habilidades de educandos e de educadores. Entre as habilidades de aprendizagem individual e coletiva que os aprendizes devem possuir ou desenvolver para cooperar com o grupo em AAD, destacam-se: autonomia, responsabilidade, liderança, capacidade para negociação e decisão, capacidade de inferência, dedução, possibilidade de realização de análise e síntese, regras de conduta que permitam a convivência e as trocas de conhecimentos.

Existem vários problemas clássicos na área de pesquisa operacional que trabalham com o tema vinculado à designação de veículos em um sistema logístico, entre eles o Problema de Escalonamento de Veículos com Múltiplas Garagens (MDVSP). Esses modelos são largamente utilizados e representam uma das etapas essenciais para o planejamento de trânsito em massa (HAGHANI e BANIHASHEMI, 2002). Tratando-se de sistemas logísticos reais, dificilmente encontra-se um ambiente onde os veículos devem partir e chegar a uma única garagem, por isso torna-se necessário o planejamento das seqüências de viagens de modo a reduzir os custos de deslocamentos com o aproveitamento das múltiplas garagens distribuídas geograficamente. Infelizmente, considerando a complexidade exponencial do MDVSP, muitas vezes sua aplicação torna-se inviável na solução de problemas reais. Por essa razão, poucos trabalhos abordam o MDVSP de modo a conseguir solucionar o problema para uma grande quantidade de viagens e garagens. A maioria das pesquisas trabalha com instâncias inferiores a 500 viagens e quatro garagens, mostrando-se pouco aplicáveis. Esse estudo refere-se a um trabalho de pesquisa operacional que aborda soluções de problemas de escalonamento de veículos com múltiplas garagens (MDVSP) considerando sua aplicabilidade em sistemas reais. Tendo em vista a complexidade exponencial do MDVSP, nesse estudo optou-se por tratar o problema através de uma abordagem baseada na redução do espaço de estados e na utilização de heurísticas. Durante essa pesquisa três procedimentos de redução do espaço de estados foram adotados. Os resultados apontam que é possível reduzir em até 98% o número de variáveis nesses problemas sem comprometer uma solução satisfatória ou ótima. Além dos procedimentos de redução do espaço de estados, foi desenvolvido um procedimento de buscar a solução do MDVSP. Através desse último procedimento foi possível resolver o MDVSP com até 3000 viagens e oito garagens. Sendo assim, nesse estudo desenvolveram-se modelos que servem para o planejamento de um sistema logístico através da aplicação de cenários, com vistas a permitir a geração e análise de alternativas de escalonamento. Objetivou-se com isso, fornecer ao sistema logístico um modelo amplo que permita a escolha da ação mais conveniente e eficiente a ser tomada em modelos compostos por diversas garagens. / There are many classics problems in operations research concerning optimal assignment vehicles in logistical system. The multiple depot vehicle scheduling problem (MDVSP) is one of them. This problem is largely used to represent and solve mass transit planning (HAGHANI e BANIHASHEMI, 2002). Considering a real logistical system, it is very difficult to find out a situation where the vehicles must leave and come to only one depot. In general, the shipping company has several depots located at different sites in a network. In this way, it is strongly necessary to reduce cost through the planning of sequence trips taking into account multiple depots geographically distributed. Unfortunately, the exponential complexity of the MDVSP reduces, in the most cases, the applicability of this problem in the real world. For this reason, few researchers address the MDVSP to solve real world problems considering a large number of trips and depots. The majority of the research dealing with the MDVSP works with instances lower than 500 trips and four depots, what can be considered a major constraint for its practical use. The main objective of this work is to solve the MDVSP for very large instances. A state space reduction approach combined with heuristic procedures are developed to obtain a realistic way of solving this complex problem. In this research, three state space reduction procedures were developed. The results appointed that is possible to reduce until 98% of variables in the MDVSP without jeopardizing an optimal solution. Furthermore, heuristic procedures were developed to obtain solutions without relaxing any realworld constraint of the problem. The solution procedure developed was compared with wellknown available instances. The method is able to solve the MDVSP with 3000 trips and eight depots in less than 11 minutes. Although the solution process does not obtain the best solution in all tested instances, it is by far the quickest.

Since the mid 80, DNA fingerprinting has revolutionized forensic science, providing a powerful tool for research, currently being widely used in studies of paternity. Laboratories that work with forensic analysis of DNA carry increasing amounts of such studies and encourage the use of software systems that help with this type of analysis. One of the requirements for software of this magnitude is reliability, considering the level of detail of the study. Thus, it is interesting the use of formal methods. In this work, a software system called THÊMIS is built. THÊMIS uses Bayesian Networks as knowledge representation about studies of paternity, using inferences to obtain the results required by the forensic genetics regarding the calculation of the Index of Paternity (IP) / Fundação de Amparo a Pesquisa do Estado de Alagoas / Desde meados da década de 80, a tipagem do DNA (DNA fingerprinting) tem revolucionado a ciência forense, provendo uma poderosa ferramenta de investigação, sendo atualmente bastante utilizada em estudos de paternidade. Os laboratórios que trabalham com a análise forense de DNA realizam quantidades cada vez maiores de estudos desse tipo, incitando o uso de sistemas de software que auxiliem essa análise. Dentre as características essenciais para softwares dessa magnitude, está a confiabilidade, haja vista a minuciosidade do estudo. Dessa forma, é interessante o uso de métodos formais na execução de tais estudos. Neste trabalho, é construído um sistema de software, denominado THÊMIS, que utiliza o ferramental das Redes Bayesianas como meio de representação do conhecimento acerca de estudos de paternidade, obtendo por meio de inferências os resultados requeridos pela genética forense no que tange ao cálculo do Índice de Paternidade (IP)

Since the beginning of the digital TV in Brazil that the expression interactivity is even more present in our lives. Understanding how the viewer behaves in front of the TV is the aim of many surveys in different areas. Therefore, thinking about the need to understand the interactive behavior of the viewer or the whole population in front of the TV, and also evaluating the evolution of the tools that allow the interactivity, this research suggests the map of the interactivity, registering all the reactions of the viewer in front of the TV and storing it in the set-top box. After gathering all this data we suggest an evaluation by modeling expressed in the underlying graph to the teoria de questionários written by Picard in sixties / Desde a implantação da Televisão Digital no Brasil que o termo interatividade ficou ainda mais presente. Entender como o telespectador comporta-se diante da televisão é objeto de estudo em diversas áreas. Assim, pensando na necessidade de entender o comportamento interativo do telespectador ou de uma população diante da televisão, e avaliando a evolução das ferramentas que proporcionam a interatividade, este trabalho propõe o mapeamento da interatividade, com o registro de todos os passos do telespectador diante da televisão e armazenado em seu set-top box. Com estes registros propõe-se uma avaliação dos dados por meio de uma modelagem expressa em forma de grafos subjacentes à teoria de questionários descrita por Picard nos anos sessenta

Some stochastic phenomena can some way cause meaningful damages to the nature and human being as well. Among these phenomena there is the variable meteorological rainfall, which is the most important one for the agricultural and environmental activities developed in the tropical regions. Although its record has been taking as one of the simplest ones it s difficult, in some places, its measurement due to the lack of a well distributed pluviometer station net in most of the regions or due to mistakes occurred during the measured caused by badly calibrated instruments. The computational model has been more and more accepted and applied as a technique that allows to the analysts from different segments to verify or offer solutions with the efficiency required to the problems with whom they deal with daily in several areas of the human activities. The rainfall, through its relevance in the socio-economical context, mainly in regions where people live predominantly with an agricultural economy, the lack of rain causes a large loss in the productive sector and also causes the rural exodus. In this context, the variable rainfall is studied in this research work, using computational model techniques, monitored throughout 100 years, from 1911 to 2010, as a way to better understand its behavior, making possible that way, to generate appropriated information for the decision making / Alguns fenômenos estocásticos podem de alguma forma, causar danos significativos à natureza e ao ser humano. Entre esses fenômenos se encontra a variável meteorológica precipitação pluviométrica, que é a mais importante para as atividades agrícolas e ambientais desenvolvidas nas regiões tropicais. Embora seu registro seja tido como um dos mais simples torna-se difícil, em alguns locais, a sua medição dada a falta de uma rede de estações pluviométricas bem distribuídas na maioria das regiões ou pela ocorrência de erros de medição causados por instrumentos mal calibrados. A modelagem computacional tem sido cada vez mais aceita e empregada como uma técnica que permite aos analistas dos mais diversos segmentos, verificarem ou encaminharem soluções, com a profundidade desejada, aos problemas com os quais lidam diariamente, nas mais diversas áreas de atividades humanas. A precipitação pluviométrica, pela sua relevância no contexto sócio-econômico, principalmente em regiões onde predominantemente se convive com uma economia agrícola, a falta de chuva acarreta grandes perdas no setor produtivo e também acarreta o êxodo rural. Nesse contexto, a variável precipitação pluviométrica é estudada neste trabalho de pesquisa, utilizando-se de técnicas de modelagem computacional, monitorada ao longo de cem anos, de 1911 a 2010, como forma de melhor entender o seu comportamento, podendo assim, gerar informações pertinentes para a tomada de decisão

This paper describes the specification and implementation of a computational system entitled Evolutionary Support System for the Analysis of Accounting Statements (ESAAS), which aims to optimize decision making, and uses variations of the genetic algorithm from Holland. In its specification, there is a population formed by chromosomes that are vectors over a ternary alphabet with size corresponding to the number of account statements contained in the type of analysis chosen by the user. The ESAAS diagnoses the financial and economic situation of commercial, industrial companies or service providers, whether they are classified as micro, small, average, average-large or large companies. The diagnosis done by ESAAS was based on the analyzes of liquidity, debt profitability, added value, average terms, vertical and horizontal analyzes; and in the diagnosis of the analytical combination of liquidity, profitability and debt with the vertical analysis, showing as a justification, the influence of each of the accounts or group of financial accounts involved. The system receives as input a set of indexes, total values of the accounts or groups of accounts of financial accounting standards of the company that will be considered in a determinted period, consisting of consecutive years, being considered the minimum of three years. To validate the ESAAS, tests were performed with data obtained from the financial statements from companies in the years 2008, 2009 and 2010. The system was implemented in the eclipse compiler, using the JAVA programming language. The results achieved in the calculation of the quotients obtained in all the seven types of analyzes performed achieved 100% of correctness. Therefore concluding that the ESAAS infers knowledge to decision-making, through diagnostic reports generated. / Este trabalho descreve a especificação e a implementação de um sistema computacional, intitulado de Sistema Evolutivo de Apoio à Análise de Demonstrações Contábeis (SEADC), que visa otimizar a tomada de decisão, e utiliza variações do algoritmo genético de Holland. Possui em sua especificação uma população formada por cromossomos que são vetores sobre um alfabeto ternário, com tamanho correspondente ao número de contas contábeis contidas no tipo de análise escolhida pelo usuário. O SEADC faz o diagnóstico da situação financeira e econômica de empresas comerciais, industriais ou prestadoras de serviço, sejam elas classificadas como micro, pequena, média, média-grande ou grande empresa. O diagnóstico realizado pelo SEADC foi baseado nas análises de liquidez, endividamento, rentabilidade, valor adicionado, prazos médios, análises vertical e horizontal; e no diagnóstico da combinação das análises de liquidez, rentabilidade e endividamento com a análise vertical, mostrando, como justificativa, a influência de cada uma das contas ou grupo de contas contábeis envolvidos. O sistema recebe como entrada um conjunto de índices, valores dos saldos das contas ou grupos de contas contábeis de demonstrações padronizadas da empresa que será analisada, em um determinado período, composto por anos consecutivos, sendo considerado o mínimo de três anos. Para validar o SEADC foram realizados testes com dados obtidos de demonstrações contábeis de empresas nos anos de 2008, 2009 e 2010. O sistema foi implementado no compilador eclipse, usando-se linguagem de programação JAVA. Os resultados alcançados no cálculo dos quocientes obtidos em todos os sete tipos de análises realizadas alcançaram 100% de corretude. Conclui-se, portanto, que o SEADC infere conhecimento à tomada de decisão, através dos relatórios de diagnósticos gerados.