Made available in DSpace on 2015-12-04T11:45:31Z (GMT). No. of bitstreams: 1 Jair_Joao_dos_Santos_Coelho.pdf: 50949629 bytes, checksum: bc02481840aa5a75859b4c748c6c95bb (MD5) Previous issue date: 2003-06-16 / To research means to gather knowledge. Such knowledge may arise from various sources; sources such as readings, case studies, fact investigations, document analysis, phenomena observations and any other sort of knowledge gathering activities. However, to gather knowledge is not enough. Spreading and sharing knowledge is what counts. Having in mind this concept and also having noticed the lack of literature concerning the use of cost-based systems inside medical institutions, we present here a research on the practice of a conceptual model of activity-based costs inside a Dialysis Unit, whose cost-object is the hemodyalitical session. We also verify the use and acceptance rates by the involved professionals of the aforementioned system by means of a case study followed by interviews. The ABC System has been chosen due to the belief that it is one of the best cost systems available, especially inside a health;-service environment, due to the fact that it aims to track the spending of resources by activities which are, in turn, themselves consumed by products and services. Firstly, the project presents a panorama of the Brazilian hospital system, describing the scenario in which of the country Dialysis Units are inserted. It also analyzes medical aspects related to dialysis such as chronic renal insufficiency and the dialytical processes, both very relevant and important themes in Nephrology. Secondly, we analyze the relevant aspects of the process of choosing a cost system as well as the advantages and disadvantages of each available system. Finally, we perform a case study, which follows a conceptual model, and then evaluate the use and acceptance rates of the cost system by means of various interviews with professionals involved in Nephrology. The research has indicated that the involved in Nephrology professionals find that the ABC System seems adequate for the Dialysis Unit because it allows for a more accurate analysis of the activities and tasks comprised under a dialytical session, which is the ultimate cost-object of this study. / Pesquisar compreende buscar conhecimento sob as mais diversas formas, como: leituras, estudo de caso, investiga????o de fatos, an??lises de documentos, observa????es de fen??menos dentre v??rias outras formas. Entretanto, buscar conhecimento n??o basta, ?? preciso divulg??-lo, partilh??-lo. Com base nesta vis??o e tendo evidenciado a escassez de literatura existente sobre a utiliza????o de sistemas de custos nas institui????es hospitalares, esta pesquisa objetiva oferecer sua contribui????o, apresentando a aplica????o de um modelo conceitual de custeio baseado em atividades em uma Unidade de Di??lise, cujo objeto de custo ?? a sess??o de hemodi??lise, bem como verificar a utiliza????o e aceita????o do referido sistema mediante um estudo de caso seguido de entrevistas. Foi escolhido o Sistema ABC em decorr??ncia deste m??todo estar sendo apontado como uma das melhores metodologias de custeio, principalmente na ??rea de sa??de, na medida em que busca rastrear os recursos consumidos pelas atividades que s??o consumidas pelos produtos ou servi??os. Inicialmente este trabalho apresenta um panorama do sistema hospitalar brasileiro, descreve o cen??rio das unidades de di??lise no pa??s, abordando aspectos da medicina ligados ?? di??lise como, a insufici??ncia renal cr??nica e os processos dial??ticos, temas estes de fundamental import??ncia na ??rea de nefrologia. Em seguida ?? feita uma an??lise sobre os aspectos relevantes na escolha do sistema de custos, observando as vantagens e desvantagens de cada sistema. Finalmente, aplica-se o estudo de caso que segue um modelo conceitual, e mediante entrevistas com profissionais da ??rea de nefrologia apura-se tanto a utiliza????o quanto a aceita????o deste sistema. A pesquisa revela que o m??todo ABC, para os profissionais da ??rea de nefrologia, ?? adequado para a Unidade de Di??lise por permitir uma an??lise mais apurada nas atividades e tarefas impl??citas na sess??o de hemodi??lise (objeto de custo deste estudo).

Metodologias de prognóstico de falhas têm atraído a atenção da indústria aeronáutica devido à necessidade de aperfeiçoar o planejamento da manutenção, maximizar a vida útil em operação dos equipamentos, aumentar a disponibilidade e a segurança, minimizar os custos de operação e manutenção ao longo da vida útil do sistema. O presente trabalho tem por objetivo propor uma metodologia de prognóstico de falhas baseada em modelo para o sistema de atuação do leme da aeronave EMBRAER 190. Esta metodologia consiste em modelar, simular, extrair características e analisar a condição real do sistema, com o intuito de realizar previsões acerca do tempo de vida remanescente do atuador do sistema. Os resultados são avaliados através da inserção de falhas incipientes em modelos simulados de um atuador para o sistema de leme da aeronave EMBRAER 190. Assim, uma estimativa do instante da falha é obtida com um grau de confiança associado.

Software Product Line Engineering (SPLE) is an approach used in the development of similar products, which explores the systematic reuse of software artifacts. The SPLE process has several activities executed to ensure software quality. Quality assurance is of vital importance for achieving and maintaining a high quality of all kinds of artifacts, such as products and processes. Testing activities are widely used in the industry for quality management. However, the effort for applying testing is usually high, and increasing the testing efficiency is a major concern of all systems engineering activities. A common means of increasing efficiency is automation of the test execution and the test design. Automated test design can be performed using approaches such as Model-Based Testing (MBT) in which the real behavior of a software system is compared to an abstract test model. Several techniques, processes, and strategies were developed for SPLE testing, but still many problems are open in this area of research. The challenge in focus is the reduction of the overall test effort required to test SPLE products. Test effort can be reduced by maximizing test reuse using models that take advantage of the similarity between products. The thesis goal is to automate the generation of small test-suites with high fault detection and low test redundancy between products. To achieve the goal, equivalent tests are identified for a set of products using complete and configurable test-suites. Two research directions are explored, one is product-based centered, and the other is product line-centered. For test design, test-suites that have full fault coverage were generated from state machines with and without feature constraints. A prototype implementation tool was developed for test design automation. In addition, the proposed approach was evaluated using examples, experimental studies, and an industrial case study for the automotive domain. The results indicates test effort reduction of 36% in the first research direction for a product line with 24 products, and in the second research direction increasing test effort reduction based on the number of products that require testing. For 6 products 15% reduction (from case study), and for 20 random products 50% reduction (from experimental studies). / Engenharia de Linha de Produto de Software (SPLE) é uma abordagem utilizada no desenvolvimento de produtos similares, que explora a reutilização sistemática de artefatos de software. O processo da SPLE executa várias atividades para garantir a qualidade do software. Atividades de garantia de qualidade são fundamentais para alcançar e manter altos níveis de qualidade em todos os tipos de artefatos de software, tais como produtos e processos. Atividades de teste são amplamente utilizadas na indústria para o gerenciamento de qualidade. No entanto, o esforço para a aplicação de testes geralmente é alto e melhorar a eficiência dos testes é um desafio relacionado a todas as atividades da engenharia de sistemas. Uma maneira de melhorar a eficiência da atividade de teste é automatizar a geração e execução dos testes. A geração automática de testes pode ser realizada por abordagens tais como o Teste Baseado em Modelos (TBM), em que o comportamento real do sistema de software é comparado a um modelo de teste abstrato. Várias técnicas, processos e estratégias foram desenvolvidas para o teste de SPLE, contudo, existem diversos desafios nessa área de pesquisa. O desafio em foco é a redução do esforço geral de teste necessário para testar produtos da SPLE. O esforço de teste pode ser reduzido maximizando o reuso de teste usando modelos que representam variabilidades entre os produtos. O objetivo da tese é automatizar a geração de compactos conjuntos de testes com alta capacidade de detecção de falhas e baixa redundância de teste entre produtos. Para alcançar tal objetivo, testes equivalentes são identificados para um conjunto de produtos usando conjuntos de teste completos e configuráveis. Duas direções de pesquisa são exploradas, uma centrada no produto e a outra centrada na linha de produto. Foram gerados conjuntos de teste que tenham cobertura de falhas completa a partir de máquinas de estado com e sem restrições de características. A implementação de uma ferramenta foi desenvolvida para automatizar a geração de teste. Além disso, a abordagem proposta foi avaliada usando exemplos, estudos experimentais e um estudo de caso industrial. Os resultados indicam uma redução de esforço de teste de 36% na primeira direção de pesquisa para uma linha com 24 produtos, e na segunda linha de pesquisa uma redução incremental com mais produtos a serem testados. Para 6 produtos uma redução de 15% (do estudo de caso), e para 20 produtos randomicos uma redução de 50% (dos estudos experimentais).

Multi-agent systems (MASs) can be used to model phenomena that can be decomposed into several interacting agents which exist within an environment. In particular, they can be used to model human and animal societies, for the purpose of analysing their properties by computational means. This thesis is concerned with the automated analysis of a particular kind of such social models, namely, those based on behaviourist principles, which contrasts with the more dominant cognitive approaches found in the MAS literature. The hallmark of behaviourist theories is the emphasis on the definition of behaviour in terms of the interaction between agents and their environment. In this manner, not merely re exive actions, but also learning, drives, and emotions can be defined. More specifically, in this thesis we introduce a formal agent architecture (specified with the Z Notation) based on the Behaviour Analysis theory of B. F. Skinner, and provide a suitable formal notion of environment (based on the pi-calculus process algebra) to bring such agents together as an MAS. Simulation is often used to analyse MASs. The techniques involved typically consist in implementing and then simulating a MAS several times to either collect statistics or see what happens through animation. However, simulations can be used in a more verification-oriented manner if one considers that they are actually explorations of large state-spaces. In this thesis we propose a novel verification technique based on this insight, which consists in simulating a MAS in a guided way in order to check whether some hypothesis about it holds or not. To this end, we leverage the prominent position that environments have in the MASs of this thesis: the formal specification of the environment of a MAS serves to compute the possible evolutions of the MAS as a transition system, thereby establishing the state-space to be investigated. In this computation, agents are taken into account by being simulated in order to determine, at each environmental state, what their actions are. Each simulation execution is a sequence of states in this state-space, which is computed on-the-fly, as the simulation progresses. The hypothesis to be investigated, in turn, is given as another transition system, called a simulation purpose, which defines the desirable and undesirable simulations (e.g., \"every time the agent does X, it will do Y later\"). It is then possible to check whether the MAS satisfies the simulation purpose according to a number of precisely defined notions of satisfiability. Algorithmically, this corresponds to building a synchronous product of these two transitions systems (i.e., the MAS\'s and the simulation purpose) on-the-fly and using it to operate a simulator. That is to say, the simulation purpose is used to guide the simulator, so that only the relevant states are actually simulated. By the end of such an algorithm, it delivers either a conclusive or an inconclusive verdict. If conclusive, it becomes known whether the MAS satisfies the simulation purpose with respect to the observations made during simulations. If inconclusive, it is possible to perform some adjustments and try again. In summary, then, in this thesis we provide four novel elements: (i) an agent architecture; (ii) a formal specification of the environment of these agents, so that they can be composed into an MAS; (iii) a structure to describe the property of interest, which we named simulation purpose; and (iv) a technique to formally analyse the resulting MAS with respect to a simulation purpose. These elements are implemented in a tool, called Formally Guided Simulator (FGS). Case studies executable in FGS are provided to illustrate the approach. / Sistemas multi-agentes (SMAs) podem ser usados para modelar fenômenos que podem ser decompostos em diversos agentes que interagem entre si dentro de um ambiente. Em particular, eles podem ser usados para modelar sociedades humanas e animais, com a finalidade de se analisar as suas propriedades computacionalmente. Esta tese trata da análise automatizada de um tipo particular de tais modelos sociais, a saber, aqueles baseados em princípios behavioristas, o que contrasta com as abordagens cognitivas mais dominante na literatura de SMAs. A principal característica das teorias behaviorista é a ênfase na descrição do comportamento em termos da interação entre agentes e seu ambiente. Desta forma, não apenas ações refl exivas, mas também de aprendizado, motivações, e as emoções podem ser definidas. Mais especificamente, nesta tese apresentamos uma arquitetura de agentes formal (especificada através da Notação Z) baseada na teoria da Análise do Comportamento de B. F. Skinner, e fornecemos uma noção adequada e formal de ambiente (com base na álgebra de processos pi-calculus) para colocar tais agentes juntos em um SMA. Simulações são freqüentemente utilizadas para se analisar SMAs. As técnicas envolvidas tipicamente consistem em simular um SMA diversas vezes, seja para coletar estatísticas, seja para observar o que acontece através de animações. Contudo, simulações podem ser usadas de forma a pertmitir a realização de verificações automatizadas do SMA caso sejam entendidas como explorações de grandes espaços-de-estados. Nesta tese propomos uma técnica de verificação baseada nessa observação, que consiste em simular um SMA de uma forma guiada, a fim de se determinar se uma dada hipótese sobre ele é verdadeira ou não. Para tal fim, tiramos proveito da importância que os ambientes têm nesta tese: a especificação formal do ambiente de um SMA serve para calcular as evoluções possíveis do SMA como um sistema de transição, estabelecendo assim o espaço-de-estados a ser investigado. Neste cálculo, os agentes são levados em conta simulando-os, a fim de determinar, em cada estado do ambiente, quais são suas ações. Cada execução da simulação é uma seqüência de estados nesse espaço-de-estados, que é calculado em tempo de execução, conforme a simulação progride. A hipótese a ser investigada, por sua vez, é dada como um outro sistema de transição, chamado propósito de simulação, o qual define as simulações desejáveis e indesejáveis (e.g., \"sempre que o agente fizer X, ele fará Y depois\"). Em seguida, é possível verificar se o SMA satisfaz o propósito de simulação de acordo com uma série de relações de satisfatibilidade precisamente definidas. Algoritmicamente, isso corresponde a construir um produto síncrono desses dois sistemas de transições (i.e., o do SMA e o do propósito de simulação) em tempo de execução e usá-lo para operar um simulador. Ou seja, o propósito de simulação é usado para guiar o simulador, de modo que somente os estados relevantes sejam efetivamente simulados. Ao terminar, um tal algoritmo pode fornecer um veredito conclusivo ou inconclusivo. Se conclusivo, descobre-se se o SMA satisfaz ou não o propósito de simulação com relação às observações feitas durante as simulações. Se inconclusivo, é possível realizar alguns ajustes e tentar novamente. em resumo, portanto, nesta tese propomos quatro novos elementos: (i) uma arquitetura de agente, (ii) uma especificação formal do ambiente desses agentes, de modo que possam ser compostos em um SMA, (iii) uma estrutura para descrever a propriedade de interesse, a qual chamamos de propósito de simulação, e (iv) uma técnica para se analisar formalmente o SMA resultante com relação a um propósito de simulação. Esses elementos estão implementados em uma ferramenta, denominada Simulador Formalmente Guiado (FGS, do inglês Formally Guided Simulator). Estudos de caso executáveis no FGS são fornecidos para ilustrar a abordagem.

O teste de software engloba diferentes técnicas, métodos e conceitos capazes de garantir a qualidade dos mais variados tipos de sistemas. Dentre tais técnicas, encontra-se o teste baseado em Máquinas de Estados Finitos (MEFs), que visa a garantir a conformidade entre a implementação e a especificação de um software. Com esse propósito, diversos métodos foram propostos para a geração de seqüências de verificação que garantam cobertura total das possíveis falhas existentes em uma implementação. A maioria dos métodos conhecidos são baseados na utilização de seqüências de distinção. Esse recurso, porem, não existe para toda MEF. Alguns métodos buscam a geração de seqüências de verificação baseados em recursos alternativos as seqüências de distinção, contudo, as seqüências geradas são exponencialmente longas. Este trabalho apresenta um método para geração de seqüências de verificação que visa a reduzir o tamanho das seqüências geradas para o domínio de MEFs que não dispõem de seqüência de distinção. Para isso, o método proposto baseia-se na utilização de conjuntos de distinção. Uma avaliação experimental foi realizada afim de mensurar a redução proporcionada pelo método proposto em relação aos principais métodos existentes na literatura. Com esse intuito, foram geradas MEFs aleatórias sob a perspectiva diferentes fatores. Em relação a variação do número de estados, os resultados indicaram reduções acima de 99; 5% em comparação com os métodos existentes, quando analisadas 75% das MEFs geradas / Software testing involves several techniques, methods, and concepts employed to guarantee a high level of quality in different application domains. Among such techniques, Finite State Machine (FSM) based testing aims to guarantee the conformance between the implementation and the specification of a system under test. In this context, several methods were proposed to generate checking sequences that cover all the possible faults existing in an implementation. Most of these methods are based on a special sequence, named distinguishing sequence, which does not exist for every minimal machine. Some methods were proposed to generate checking sequences based on alternative solutions in order to be applied on FSMs that do not have distinguishing sequences. However, these methods generate checking sequences exponentially long. This work proposes a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the main existing methods. In the experiments, we used random FSMs that have different configurations of states, inputs, and outputs. Concerning the variation of number of states, the results show reductions higher than 99:5% in comparison with the existing methods for 75% of the experimented machines

A realização de atividades de teste é indispensável para a garantia da qualidade de um produto e para a identificação de defeitos, diminuindo custos de manutenção e evitando ao máximo o risco do cliente encontrar esses defeitos. Nessa linha, testes baseados em modelos têm se mostrado atrativos, pois o custo de geração de casos de testes e de correção de defeitos tende a ser menor. Devido à sua simplicidade conceitual e expressividade na descrição do comportamento de um sistema, um dos modelos mais usados e pesquisados na área de teste baseado em modelos são as Máquinas de Estados Finitos (MEFs). Por meio de MEFs e com apoio de ferramentas apropriadas, a geração de casos de testes para avaliar os comportamentos esperados de um sistema é automatizada, reduzindo tanto o custo da geração e da manutenção quanto as falhas humanas. Desta forma, a aplicabilidade de métodos de geração de casos de teste baseados em modelos no contexto de sistemas embarcados vem sendo investigada. O objetivo deste trabalho de mestrado consiste em investigar a aplicabilidade dos métodos de geração em cenários de teste reais, com foco em sistemas embarcados, identificando as difi- culdades e limitações do processo, bem como os requisitos essenciais para a adequação dos métodos de geração propostos na literatura e de ferramentas de apoio à atividade de teste. O foco principal do projeto é a implementação de mecanismos que atendam aos requisitos levantados, visando a usabilidade, segurança e portabilidade da ferramenta / Test activities are essential to ensure the quality of products and identify faults to reduce maintenance costs and avoid that the client finds these faults. In this sense, model-based tests have been proved useful, because the cost of generating test cases and fault correction tend to be smaller. Due to its conceptual simplicity and expressiveness in describing the behavior of a system, Finite State Machines (FSM) have been used and researched in the model-based testing area. FSMs, employed with the support of appropriate tools, enable the generation of test cases in an automated way to assess the expected behavior of a system, reducing both the generation and maintenance costs and human failures. Thus, the applicability of test cases generation methods based on models in the context of embedded systems should be investigated. Test cases generation methods based on FSM are designed to derive test cases from the model. In this context, this work aims to investigate the applicability of generation methods in real-world scenarios, focusing embedded systems. It should identify the difficulties and limitations of the process, as well as the essential requirements for the adequacy of generation methods proposed in the literature and tools to support the test activity. The main focus of the project is the implementation of mechanisms that meet the elicited requirements in order to provide usability, security and tool portability

O Projeto Genoma Humano do Câncer (PGHC), financiado pela FAPESP e pelo Instituto Ludwig de Pesquisa sobre o câncer, buscou identificar os genes expressos nos tipos mais comuns de câncer no Brasil. Tal projeto conseguiu identificar aproximadamente um milhão de seqüências de genes de tumores freqüentes no Brasil. A contribuição brasileira foi maior para tumores de cabeça e pescoço, mama e cólon. Uma das iniciativas mais recentes e estimuladas pelo PGHC é o projeto Genoma Clínico, o qual visa desenvolver novas formas de diagnóstico e tratamento do câncer através do estudo de genes expressos. A partir da análise molecular de tecidos saudáveis e neoplásicos em diferentes estágios, é possível identificar marcadores de prognóstico, permitindo escolhas de terapias mais adequadas e eficientes. A proteína hnRNP K foi identificada como um desses marcadores, em neoplasias da região da cabeça e pescoço, sendo objetivo deste estudo a aplicação de técnicas de bioinformática e modelagem molecular no planejamento baseado em estrutura de candidatos a fármacos antineoplásicos que bloqueiem a atividade da proteína. A proteína hnRNP K apresenta diversas funções e é encontrada nos mais diversos compartimentos celulares, interferindo, basicamente, no sistema de expressão gênica. Essa proteína apresenta 3 domínios KH, os quais são responsáveis por sua ligação à moléculas de DNA e RNA. Modelos de boa qualidade dos domínios KH foram construídos através da estratégia de modelagem molecular por homologia estrutural. Após screening virtual em bases de dados de compostos (330.000 aproximadamente) com propriedades drug-like, 15 compostos com potencial de interação com o domínio KH3 foram selecionados. Os modos de ligação para cada um dos mesmos no sítio ligante do domínio KH3 foram sugeridos por simulações de docking e apresentaram um bom encaixe espacial com os sítios receptores virtuais calculados pelos campos de interação molecular. Simulações de dinâmica molecular foram realizadas com o intuito de avaliar a estabilidade dos compostos selecionados, que também foram avaliados quanto à presença de grupamentos toxicofóricos em sua estrutura. / The Brazilian Project Genoma Câncer (PGHC) supported by FAPESP and the Ludwig Institute for Cancer Research, intended to identify the genes involved in the most common cases of cancer in Brazil. In this project about a million of gene sequences were identified. The major contribution was made in breast, colorectal and head and neck cancers. The results obtained stimulated the creation of another project, called Genoma Clínico, which intend to develop new trends in treatments and diagnosis of cancer based on the study of expressed genes. Analyzing healthy and neoplasic tissues in different stages, it is possible to identify molecular markers related to the prognosis of cancer, allowing the use of more efficient therapies. The hnRNP K protein was identified as a molecular marker in head and neck cancer, where the objective of this work lies in the application of bioinformatics and molecular modeling strategies by structure-based drug design to identify potential antineoplasic drug candicates that could act against hnRNP K protein. The hnRNP K protein is encountered in all cellular compartments and act, basically, in the gene expression pathways. Its structure is composed by three KH domains that mediate interactions with DNA and RNA molecules. High quality models of KH domains were built by homology modeling. After the virtual screening simulations performed with drug-like compound databases, containing approximately 330.000 compounds, 15 were selected as potential ligands of KH3 domain of hnRNP K. The binding modes suggested for these compounds, by docking simulations, presented a good spatial fit when compared with the virtual receptor sites calculated by molecular interaction fields. Molecular dynamics simulations were performed in order to evaluate de stability of the binding modes suggested. The potential ligands were also evaluated to identify toxicophoric features in its chemical structures.

Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo fato de existirem apenas um pequeno número de metodologias e ferramentas adequadas que dêem suporte a esse desenvolvimento. O primeiro objetivo deste trabalho é propor uma metodologia de desenvolvimento que possibilite, a partir de uma especificação formal em notação Z, produzir uma implementação dessa especificação em Java. Essa metodologia centra-se na geração do esqueleto da aplicação Java e na instrumentação desse esqueleto com mecanismos de verificação de condições (invariantes, pré e pós-condições) e rastreamento de violações dessas condições. Através desses mecanismos, possibilita-se intercalar desenvolvimento formal e informal no processo global de desenvolvimento de software. O segundo objetivo é desenvolver uma ferramenta que implemente parte dessa metodologia, produzindo uma implementação parcial que deverá ser complementada pelo usuário. / Formal specifications are useful for describing what a system should do, without defining how, and, owing to its formal nature, it is possible to analyse them systematically. However useful formal specifications are, their usage as part of the software development process is rather rare. This is, in part, due to the scarcity of both methodologies and tools that support this development. The first goal of this work is to define a software development methodology that enables the developer to produce a Java application from a formal specification written in Z. This methodology will rely strongly on the generation of Java application skeletons and instrumentation of the generated code with means of verifying conditions (invariants, pre and post-conditions) e tracing violations of these conditions. Through this mechanisms, it is possible to mix formal and informal development in the global software development process. The second goal of this work is to develop a tool that will implement part of this methodology, producing a partial implementation that must be complemented by the developer.

Mesmo com a evolução tecnológica em vários setores, a área de enfermagem tem tido investimentos escassos em pesquisa e desenvolvimento capazes de atender suas expectativas, principalmente no campo da inteligência artificial. As expectativas dos enfermeiros convergem à melhora de seus processos clínicos que resultará em uma maior aproximação de seus pacientes. Além disso, há dificuldade em reunir diagnósticos de enfermagem nos hospitais, onde diversos registros clínicos e procedimentos preenchidos manualmente e armazenados ainda em folhas de papel. Esta condição compromete a legibilidade dos documentos envolvidos nos processos hospitalares, e seu arquivamento torna o processo de levantamento de informações moroso, o que acaba por inviabilizar a pesquisa à qual poderia resultar em informações importantes para melhora do processo de tomada de decisões. O objetivo desta dissertação foi trazer o estado da arte em inteligência artificial focado em raciocínio baseado em casos e sua aplicação na sistematização da assistência de enfermagem. No sentido de validar o modelo levantado foi criado um protótipo para apresentar uma aplicação que pudesse auxiliar os enfermeiros em seus processos clínicos, armazenando suas experiências em uma base de casos para futuras pesquisas. O protótipo consistiu em digitalizar diagnósticos de enfermagem pediátrica, e inserção em uma base de casos, com o intuito de avaliar a eficácia do protótipo na manipulação destes casos, em uma estrutura propicia para recuperação, adaptação, indexação e comparação de casos. Esta dissertação apresenta como resultado uma ferramenta computacional para a área da saúde, empregando uma das técnicas de inteligência artificial, Raciocínio Baseados em Casos. Os resultados foram satisfatórios devido ao alto índice de aprovação nos quesitos confiabilidade, funcionalidade, usabilidade e eficiência conforme as normas ISO/ABNT de qualidade em software. / Even with the development of technology in many industries, the nursing sector has had low investment in research and development, mainly in the field of artificial intelligence. The expectations of nurses converge to improvement over his clinical procedures that will result in a closer relationship with their patients. Moreover, there is difficulty in finding nursing diagnoses in hospitals, while clinical records and procedures are completed manually and stored even on paper. This condition compromises the readability of documents involved in the admissions process, and archiving that also becomes time-consuming process of information gathering, which derail research that could result in important information for improved decision-making. The objective of this dissertation was to bring the state of the art regarding artificial intelligence focusing on Case-Based Reasoning and its application in the systematization of nursing care. In order to validate the model a prototype was set up to demonstrate an application that would assist nurses in their clinical files, storing their experiences in a case base for future research. The prototype was to scan diagnosis pediatric nursing, and insertion into a case base in order to evaluate the effectiveness of the prototype in handling those cases. It also provides a framework for recovery, adaptation, indexing, and comparison of cases. This dissertation presents results in a computational tool for health employing one of the techniques of artificial intelligence: Case-Based Reasoning. The results were satisfactory due to high rate in terms of structure reliability, functionality, usability and efficiency according to ISO / ABNT quality in software.

Gestão de custos é uma preocupação crescente nas empresas, impulsionada num contexto de recursos escassos e concorrência cada vez mais acirrada. O aumento verificado na complexidade dos mercados e, como um reflexo, no incremento de linhas de produtos e serviços oferecidos pelas empresas aos seus clientes, tornou a mensuração dos custos um grande desafio. A tarefa de determinar desde uma política comercial por segmento até a definição do preço de venda depende fundamentalmente da correta mensuração dos custos sob diversas perspectivas, especialmente por cliente. Neste contexto, a suposição básica do estudo é de que o custo para servir pode colaborar com informações que permitem obter uma melhor avaliação do desempenho de seus clientes. A metodologia adotada no presente trabalho é de uma pesquisa bibliográfica, exploratória e com a elaboração de um estudo de caso de uma indústria de alimentos. O principal objetivo da pesquisa de verificar se o uso do conceito de custo para servir melhoraria a informação para o gerenciamento dos clientes foi atingido ao se obter dados mais específicos e detalhados dos mesmos, permitindo identificar as discrepâncias em sua rentabilidade. Os objetivos secundários de fornecer uma abordagem conceitual e de apontar as etapas e informações necessárias para a mensuração do custo para servir foram alcançados através da pesquisa bibliográfica e do estudo de caso. Como método de mensuração do custo dos processos relativos ao atendimento aos clientes, encontrou-se o ABC como a única forma de estabelecer a correta medida. O estudo de caso revelou um comportamento da dispersão da lucratividade dos clientes da empresa semelhante a teoria pesquisada, reforçando-a de forma ilustrativa e operacional. Os resultados encontrados na margem de servir, onde 52% dos clientes apresentaram margem negativa são considerados reveladores, e evidenciam que, numa empresa com diversidade de produtos e serviços, a informação do custo para servir pode ser vital para estabelecer a alocação de recursos aos clientes através de uma política comercial. Por tratar-se de estudo de caso único com suas especificidades, há ressalvas quanto à possibilidade de generalizações. Algumas limitações encontradas para a obtenção de informações para a pesquisa, como insolvência de clientes ou níveis de estoque por unidade de produto, servem de recomendação para aprimoramento em futuros estudos. / Cost management is a growing concern among companies, driven by lack of resources and fierce competition. Increased market complexity and, consequently, the wider range of products and services that companies provide to their customers have turned cost measurement into a great challenge. The task to determine a series of steps - from a commercial policy by segment to the definition of the sales price - lies basically on proper cost measurement under different views, particularly by customer. In this context, the basic assumption of this study is that the cost to serve may provide information to better assess customer performance. The methodology used in this study is a bibliographical, exploratory survey and includes a case study of a food company. The primary objective is to verify whether the cost-to-serve concept would improve the information required for customer management by providing more specific and detailed data and allowing for the identification of any discrepancies in profitability. Secondary objectives – to provide a conceptual approach and identify the steps and information required to measure cost to serve - were achieved with the bibliographical research and case study. As to the method to measure the cost of processes related to customer service, ABC was the only one that provided the correct measure. The case study showed a scattered profitability among the company´s users, similar to the theory addressed in the study, highlighting it with illustrative examples and operations. The results for margin to serve (in which 52% of the customers had a negative margin) are surprising, and show that in a company with a wide range of products and services, information on the cost to serve can be critical to allocate resources to customers based on a commercial policy. This is a single, specific study, therefore it should not be generalized. Some of the restrictions faced during data collection, such as customer insolvency or inventory level by product unit should be further improved in future studies.