Made available in DSpace on 2011-03-23T21:19:40Z (GMT). No. of bitstreams: 0 / Item created via OAI harvest from source: http://www.bdtd.ufpa.br/tde_oai/oai2.php on 2011-03-23T21:19:40Z (GMT). Item's OAI Record identifier: oai:bdtd.ufpa.br:302 / O estresse ocupacional constitui-se numa preocupação da Organização Mundial de Saúde - OMS, considerando as suas conseqüências para a qualidade de vida do indivíduo, bem como para o seu desempenho profissional. A atividade policial militar é considerada uma das mais estressantes, estando exposta ao desenvolvimento da síndrome de burnout, em decorrência das peculiaridades das atividades laborais. Este estudo teve como instrumento a técnica projetiva, Pirâmides Coloridas de Pfister, desenvolvida com 56 policiais militares, distribuídos em dois grupos de 28 participantes, onde vivenciaram o estresse em situação diferenciada, um submetido a situações acentuadas de tensão e pressão, provocadas por uma situação especial, curso de qualificação técnico-profissional para participar de um grupamento especializado e o outro vivenciava o estresse do dia-a-dia da atividade policial ostensiva na rua. O objetivo consistia em verificar se houve diferença no desempenho no instrumento utilizado com relação às cores escolhidas, aspecto formal e cores em dupla. Os resultados indicam que o desempenho no teste é pouco afetado pela situação especial vivenciada por um dos grupos. Mas há no desempenho de ambos os grupos indícios de que alguns aspectos de personalidade dos grupos de policiais podem ser requeridos para enfrentar a rotina estressora, sendo sugerido a comparação do seu desempenho com os de outros profissionais civis.

Inspirado nas técnicas utilizadas por pintores que sobrepõem camadas de tintas de diversos matizes na geração de uma tela artística e também observando-se a distribuição da quantidade dos cones na retina do olho humano na interpretação destas cores, este trabalho propõe uma técnica de processamento de imagens baseada na mistura de cores. Trata-se de um método de quantização de cores estático que expressa a proporção das cores preto, azul, verde, ciano, vermelho, magenta, amarelo e branco obtida pela representação binária da cor que compõe os pixels de uma imagem RGB com 8 bits por canal. O histograma da mistura é denominado de misturograma e gera planos que interceptam o espaço RGB, definindo o espaço de cor HSM (Hue, Saturation and Mixture). A posição destes planos dentro do cubo RGB é modelada por meio da distribuição dos cones sensíveis aos comprimentos de onda curta (Short), média (Middle) e longa (Long) consideradas para a retina humana. Para demonstrar a aplicabilidade do espaço de cor HSM, é proposta, neste trabalho, a segmentação dos pixels de uma imagem digital em pele humana ou não pele com o uso dessa nova abordagem. Para análise de desempenho da mistura de cores foi implementado um método tradicional no espaço de cor RGB e também usando uma distribuição Gaussiana nos espaços de cores HSV e HSM. Os resultados obtidos demonstram o potencial da técnica que emprega a mistura de cores para a segmentação de imagens digitais coloridas. Verificou-se também que, baseando-se apenas na camada mais significativa da mistura de cores, gera-se a imagem esboço de uma imagem facial denominada esboço da face. Os resultados obtidos comprovam o bom desempenho do esboço da face em aplicações CBIR. / Inspired on the techniques used by painters to overlap layers of various hues of paint to create oil paintings, and also on observations of the distribution of cones in human retina for the interpretation of these colors, this thesis proposes an image processing technique based on color mixing. This is a static color quantization method that expresses the mixture of black, blue, green, cyan, red, magenta, yellow and white colors quantified by the binary weight of the color that makes up the pixels of an RGB image with 8 bits per channel. The mixture histogram, called a mixturegram, generates planes that intersect the RGB color space, defining the HSM (Hue, Saturation and Mixture) color space. The position of these planes inside the RGB cube is modeled by the distribution of cones sensitive to the short (S), middle (M) and long (L) wave lengths of the human retina. To demonstrate the applicability of the HSM color space, this thesis proposes the segmentation of the pixels of a digital image of human skin or non-skin using this new approach. The performance of the color mixture is analyzed by implementing a traditional method in the RGB color space and by a Gaussian distribution in the HSV and HSM color spaces. The results demonstrate the potential of the proposed technique for color image segmentation. It was also noted that, based only on the most significant layer of the colors mixture, it is possible generates the face sketch image. The results show the performance of the face sketch image in CBIR applications.

A arquitetura IP Multimedia Subsystem, proposta pelo consórcio 3rd Generation Partnership Project como base para o suporte à convergência entre telefonia móvel e a Internet, define uma série de elementos arquiteturais, entre os quais, o componente Call Session Control Function e o protocolo Session Initiation Protocol. Session Initiation Protocol é um protocolo da camada de aplicação utilizado para estabelecer, modificar e terminar sessões multimídia entre dispositivos. Em redes baseadas na arquitetura IP Multimedia Subsystem, o Session Initiation Protocol é o responsável pela comunicação entre dispositivos e a rede, e entre os componentes responsáveis pelo gerenciamento de sessão. Nos últimos anos, estudos detectaram degradação de desempenho em redes baseadas na arquitetura IP Multimedia Subsystem em função das características centralizadas do Session Initiation Protocol e dos componentes de gerenciamento de sessão. Este trabalho apresenta uma arquitetura distribuída para redes baseadas em IP Multimedia Subsystem, tendo como fundamento o paradigma de computação paralela baseado em espaço de tuplas onde os servidores são organizados em uma rede P2P, com objetivo de prover uma infraestrutura escalável e tolerante a falhas. A validação da arquitetura em termos de desempenho e escalabilidade se deu através de modelagem formal e simulação com Redes de Petri Coloridas. / The IP Multimedia Subsystem architecture, proposed by the 3rd Generation Partnership Project consortium as basis to support the convergence between mobile networks and the Internet, defines a set of architectural elements, among them, the Call Session Control Function and the Session Initiation Protocol. The Session Initiation Protocol is an application layer protocol used to establish, modify and terminate sessions between devices. On the IP multimedia subsystem based network, the Session Initiation Protocol play a key role on the communication between devices and the network, and between session management components. In the last years, studies have detected a performance bottleneck on IP multimedia subsystem networks due to centralized characteristic of the Session Initiation Protocol and in Session Control components. This work shows a distributed architecture for IP Multimedia Subsystem networks based on the tuple space paradigm, and the servers structured in a P2P network, aiming to achieve a scalable and fault-tolerant infrastructure. The validation of the architecture on the performance and scalability took place through the Coloured Petri Net formal modeling and simulation.

The advance of medicine and Information Technology (IT) has allowed the emergence of new techniques and medical device to provide direct or indirect improvements to the people's health, such as the minimally invasive surgical techniques and new devices for diagnosis and patient monitoring (HOLSBACH; NETO; HOLSBACH, 2013). The use of such devices provides a better diagnosis procedure and better diseases treatment, shorter hospital stay, convenience and privacy, as well as the possibility of the patient to proceed with home treatment. However, the growth of the number of devices is not always based on quality. The poor quality of such device is a problem that may compromise people's health. Therefore, in order to mitigate the risks of failures during the development of these medical devices, the manufacturers must follow safety standards specifications, such as the International Organization for Standardization (ISO) 14971 (ABNT - ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS, 2009) and the technique Failure Mode, Effects and Criticality Analysis (FMECA). The ISO 14971 was specified to guide the controls and basic care to be observed by the manufacturer throughout the development of all stages during the medical device's life cycle. According to this standard, security is freedom from unacceptable risk, and the discovery and verification if the risk is unacceptable or not happen during the risk management process. However the ISO 14971 was described in natural language, which is an error-prone description, ambiguous and is susceptible to problems such as misunderstanding of the stages of the risk management process, creating too complex process which will be difficult to be applied or too simplistic that does not address all risk management. Within this context, we use the ISO 14971 standard with the FMECA technique to provide a case study that performs the security specification of the Electrogastrography (EGG) device. This case study was performed at the Federal University of Alagoas Hospital, with the support of an expert in the development of biomedical signal acquisition systems. This case study was the basis to develop a Colored Petri Net that describes the risk management process, reducing the problems on natural language descriptions. In addition, this model helps in the verification and the validation steps of medical devices manufacturing and allows the use of modeling as a tool for teaching and training the risk management process. / O avanço da medicina e da tecnologia da informação (TI) tem propiciado o surgimento de novas técnicas e equipamentos que, gradativamente, oferecem melhorias diretas ou indiretas à saúde dos pacientes como, por exemplo, as técnicas cirúrgicas minimamente invasivas e os novos equipamentos para diagnóstico e monitoramento de pacientes (HOLSBACH; NETO; HOLSBACH, 2013). É com a utilização destes equipamentos que se torna possível ter melhores condições de diagnóstico e tratamento de doenças, menor tempo de internação, maior praticidade e privacidade, permitindo inclusive ao paciente proceder com o tratamento domiciliar, contudo, o crescimento da quantidade de dispositivos nem sempre está aliada à qualidade. A má qualidade destes equipamentos é um problema que pode comprometer a saúde do paciente e do operador e, por isso, se faz necessária a utilização de técnicas e padrões que permitam a fabricação de equipamentos médicos mais seguros, tais como a técnica Análise dos Modos de Falha Efeitos e Criticidade (FMECA) e o padrão International Organization for Standardization (ISO) 14971 (ABNT - ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS, 2009). A ISO 14971 foi desenvolvida com o propósito de indicar os controles e os cuidados básicos que devem ser observados pelo fabricante em todo o ciclo de vida de um equipamento médico. De acordo com esta ISO, segurança é a ausência de riscos não aceitáveis e a verificação se os riscos encontrados são aceitáveis ou não acontece durante o processo de gerenciamento de risco, porém, os fabricantes ao adotar o gerenciamento de risco descrito em linguagem natural, que é ambígua, estão suscetíveis a problemas tais como, falta de compreensão das etapas do processo de gerenciamento de risco, criação de processo demasiadamente complexo ao qual terão dificuldade de aplicar ou simplista demais que não contempla todo o gerenciamento de risco. Com a finalidade de solucionar o supracitado problema é apresentado neste trabalho um estudo de caso explorando o processo de gerenciamento de risco baseado na ISO 14971 com a técnica FMECA, com o objetivo de realizar a especificação de segurança de um equipamento médico de Eletrogastrografia (EGG). Esse estudo de caso foi realizado no Hospital Universitário da Universidade Federal de Alagoas e contou com o auxílio de um especialista em desenvolvimento de sistemas de aquisição de sinais biomédicos. Esse estudo é a base para a construção do modelo formal em Redes de Petri Coloridas do processo de gerenciamento de risco. O modelo em Redes de Petri Coloridas auxilia no entendimento da ISO, ao reduzir a subjetividade inerente a descrição em linguagem natural. Além disto, este modelo auxilia nas etapas de verificação e validação do equipamento médico e possibilita uso do modelo como uma ferramenta didática para o ensino e treinamento do processo de gerenciamento de risco.

Made available in DSpace on 2015-05-08T14:53:27Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2050762 bytes, checksum: d03ea0191257aa516c9df03c51af0335 (MD5) Previous issue date: 2011-09-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This study proposes a systematic method for evaluating the performance of service delivery through process modeling and failure analysis. The implementation of the proposal took place in a distribution company of electricity (COELCE), in which he was elected New Process Connections as an object of study for the following reasons: This process helps to reduce the deficit of households without electricity in the country and showed a high rate of irregularities pointed out by regulators from providing that service here has to justify the choice of process and not the company. This is a case study, with secondary data were collected in books, websites, internal documents COELCE and scientific publications (journals, dissertations and theses). We obtained the primary data in reading and statistical analysis of company documents to the investigator assigned by the managers of the process, meetings with experts COELCE before, during and after field research, and intensive direct observation of the teams responsible for the physical connections of the units consumers. The methodology proposed by the tool is composed of colored Petri nets for modeling process New Links and techniques of failure analysis (FTA Fault Tree Analysis) and FMEA (Failure Mode and Effects Analysis). The systematic validation enabled: first - viewing different phases and activities of the process; second - identification of critical functions and potential failure of the process, the third - the formulation of action plan by the researcher to improve the process of New Connections. The action plan was endorsed by the group of experts COELCE, which collaborates with the research, from the exploratory phase. The use of integrated techniques proposed in this paper contributes to scientific knowledge by using the approach of process modeling and analysis techniques of failures in service businesses, especially in regard to the reduced number of work in this area. It is noteworthy that the systematics can be applied to other companies in the services sector can contribute in improving the performance of the processes analyzed. / Este estudo propõe uma sistemática para avaliar o desempenho da prestação de serviços por meio da modelagem de processos e análise de falha. A aplicação da proposta ocorreu em uma empresa de distribuição de energia elétrica (COELCE), na qual elegeu-se o Processo de Novas Ligações como objeto de estudo pelos seguintes motivos: esse processo contribui para reduzir o déficit de domicílios sem energia elétrica no país e apresentava elevado índice de irregularidades apontadas pelos órgãos reguladores da prestação desse serviço público. Trata-se de um estudo de caso cujos dados secundários foram coletados em livros, sites, documentos internos da COELCE e publicações científicas (periódicos, dissertações e teses). Obteve-se os dados primários em leitura e tratamento estatístico de documentos da empresa cedidos ao pesquisador pelos gestores do processo, reuniões com especialistas da COELCE, antes, durante e após pesquisa de campo, e observação direta intensiva das equipes responsáveis pelas ligações físicas das unidades consumidoras. A sistemática proposta é composta pela ferramenta redes de Petri Coloridas para modelagem do Processo de Novas Ligações e as técnicas de análise de falhas FTA (Fault Tree Analysis) e FMEA (Failure Mode and Effects Analysis). A validação da sistemática permitiu: primeiro - visualização de diferentes fases e atividades do processo; segundo identificação de funções críticas e falhas potenciais do processo; terceiro - formulação de plano de ação pelo pesquisador para melhoria do Processo de Novas Ligações. O plano de ação foi validado pelo grupo de especialistas da COELCE, que colabora com a pesquisa, desde a fase exploratória. A utilização das técnicas de forma integrada proposta neste trabalho contribui para o conhecimento científico por utilizar a abordagem de modelagem de processos e técnicas de análise de falhas em empresas de serviço, principalmente no que tange ao reduzido número de trabalho nesta área. Vale ressaltar que a sistemática pode ser aplicada em outras empresas do setor de serviços podendo contribuir na melhoria do desempenho dos processos analisados.

Made available in DSpace on 2015-03-03T15:08:46Z (GMT). No. of bitstreams: 1 RicardoWA.pdf: 1646499 bytes, checksum: efcc744c6ff7cea26befa0adbedb8c6a (MD5) Previous issue date: 2005-09-02 / Este trabalho apresenta uma t?cnica de verifica??o formal de Sistemas de Racioc?nio Procedural, PRS (Procedural Reasoning System), uma linguagem de programa??o que utiliza a abordagem do racioc?nio procedural. Esta t?cnica baseia-se na utiliza??o de regras de convers?o entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, s?o apresentadas regras de convers?o de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verifica??o formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verifica??o das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional dispon?vel para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de convers?o PRS-RPC, podemos ser levados a querer fazer esta convers?o de maneira estritamente manual. No entanto, a probabilidade de introdu??o de erros na convers?o ? grande, fazendo com que o esfor?o necess?rio para garantirmos a corretude da convers?o manual seja da mesma ordem de grandeza que a elimina??o de eventuais erros diretamente no programa PRS original. Assim, a convers?o automatizada ? de suma import?ncia para evitar que a convers?o manual nos leve a erros indesej?veis, podendo invalidar todo o processo de convers?o. A principal contribui??o deste trabalho de pesquisa diz respeito ao desenvolvimento de uma t?cnica de verifica??o formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de convers?o de PRS para RPC. A segunda fase ? concernente ao desenvolvimento de um conversor para fazer a transforma??o de maneira automatizada dos programas PRS para as RPCs. A convers?o autom?tica ? poss?vel, porque todas as regras de convers?o apresentadas seguem leis de forma??o gen?ricas, pass?veis de serem inclu?das em algoritmos

Made available in DSpace on 2014-12-17T14:56:05Z (GMT). No. of bitstreams: 1 GustavoFS.pdf: 1361196 bytes, checksum: fe1a67dcdb84a334e6c49247c8c68a06 (MD5) Previous issue date: 2005-01-21 / Image compress consists in represent by small amount of data, without loss a visual quality. Data compression is important when large images are used, for example satellite image. Full color digital images typically use 24 bits to specify the color of each pixel of the Images with 8 bits for each of the primary components, red, green and blue (RGB). Compress an image with three or more bands (multispectral) is fundamental to reduce the transmission time, process time and record time. Because many applications need images, that compression image data is important: medical image, satellite image, sensor etc. In this work a new compression color images method is proposed. This method is based in measure of information of each band. This technique is called by Self-Adaptive Compression (S.A.C.) and each band of image is compressed with a different threshold, for preserve information with better result. SAC do a large compression in large redundancy bands, that is, lower information and soft compression to bands with bigger amount of information. Two image transforms are used in this technique: Discrete Cosine Transform (DCT) and Principal Component Analysis (PCA). Primary step is convert data to new bands without relationship, with PCA. Later Apply DCT in each band. Data Loss is doing when a threshold discarding any coefficients. This threshold is calculated with two elements: PCA result and a parameter user. Parameters user define a compression tax. The system produce three different thresholds, one to each band of image, that is proportional of amount information. For image reconstruction is realized DCT and PCA inverse. SAC was compared with JPEG (Joint Photographic Experts Group) standard and YIQ compression and better results are obtain, in MSE (Mean Square Root). Tests shown that SAC has better quality in hard compressions. With two advantages: (a) like is adaptive is sensible to image type, that is, presents good results to divers images kinds (synthetic, landscapes, people etc., and, (b) it need only one parameters user, that is, just letter human intervention is required / Comprimir uma imagem consiste, basicamente, em represent?-la atrav?s de uma menor quantidade de dados, sem para tanto comprometer a qualidade da imagem. A grande import?ncia da compress?o de dados fica evidente quando se utiliza quantidade muito grande de informa??es e espa?os pequenos para armazenamento. Com esse objetivo ? que se apresenta esse trabalho no qual desenvolveu-se um m?todo para a compress?o de imagens coloridas e multiespectrais baseado na quantidade de informa??o contida em cada banda ou planos da imagem. Este m?todo foi chamado de Compress?o Auto-Adaptativa (C.A.A.), no qual cada banda da imagem ? comprimida com uma taxa de compress?o diferente, buscando um melhor resultado de forma a manter a maior parte da informa??o. A t?cnica baseia-se na compress?o com maior taxa para a banda com maior redund?ncia, ou seja, menor quantidade de informa??o e com taxas mais amenas ?s bandas com informa??o mais significativa. O CAA utiliza duas transformadas de imagens como elementos ativos da compress?o. A Transformada Cosseno Discreta (DCT) e a An?lise de Componentes Principais (PCA). A Imagem original (sem compress?o) ? processada pelo sistema CAA no espa?o RGB, sob o qual ? aplicado a transformada PCA, que leva a imagem para um novo espa?o (ou planos de dados), no qual as informa??es est?o descorrelacionadas. Neste espa?o gerado pela PCA, realiza-se a DCT em cada um dos planos individualmente, e, atrav?s de um limiar calculado em fun??o do resultado da PCA e de um par?metro de compress?o fornecido pelo usu?rio, ? que alguns elementos da matriz gerada pela DCT s?o descartados. Por fim realiza-se, respectivamente, a DCT e PCA inversas, reconstruindo assim uma aproxima??o da imagem. Quando comparada com a compress?o realizada pela tradicional JPEG (Joint Photographic Experts Group), a CAA apresenta, em m?dia, resultados cerca de 10 % melhores no que diz respeito a MSE (Mean Square Root), com duas grandes vantagens, por ser adaptativa, ? sens?vel ao tipo de imagem, ou seja, apresenta bons resultados em diversos tipos de imagens (sint?tica, paisagens, pessoas, e etc.), e, necessita apenas um par?metro de compress?o determinado pelo usu?rio

Esta tese descreve uma abordagem para a utilização da informação de cores no sistema de visão artificial com inspiração biológica denominada Cyvis-1. Considerando-se que grande parte da literatura sobre segmentação de imagens se refere a imagens em níveis de cinza, informações cromáticas na segmentação permanecem uma área que ainda deve ser mais bem explorada e para a qual se direcionou o interesse da presente pesquisa. Neste trabalho, o subsistema de cor do Cyvis-1 é definido, mantendo-se o vínculo com os princípios que inspiram o sistema de visão como um todo: hierarquia, modularidade, especialização do processamento, integração em vários níveis, representação efetiva da informação visual e integração com conhecimento de nível alto. O subsistema de cor se insere neste escopo, propondo uma técnica para segmentação de imagens coloridas baseada em mapas auto-organizáveis para a classificação dos pontos da imagem. A segmentação incorpora a determinação do número de classes sem supervisão, tornando o processo mais independente de intervenção humana. Por este processo de segmentação, são produzidos mapas das regiões encontradas e um mapa de bordas, derivado das regiões. Uma segunda proposta do trabalho é um estudo comparativo do desempenho de técnicas de segmentação por bordas. A comparação é feita em relação a um mapa de bordas de referência e o comportamento de várias técnicas é analisado segundo um conjunto de atributos locais baseados em contrastes de intensidade e cor. Derivada desta comparação, propõe-se também uma combinação para a geração de um mapa de bordas a partir da seleção das técnicas segundo seus desempenhos locais. Finalmente, integrando os aspectos anteriores, é proposta urna estruturação do módulo de cor, adicionalmente com a aquisição de imagens, a análise de formas e o reconhecimento de objetos poliédricos. Há, neste contexto, a integração ao módulo de estéreo, que proporciona o cálculo de dados tridimensionais, essenciais para o reconhecimento dos objetos. Para cada parte deste trabalho são propostas formas de avaliação para a validação dos resultados, demonstrando e caracterizando a eficiência e as limitações de cada uma. / This thesis describes an approach to color information processing in the biologically-inspired artificial vision system named Cyvis-1. Considering that most of the current literature in image segmentation deals with gray level images, color information remains an incipient area, which has motivated this research. This work defines the color subsystem within the Cyvis-1 underlying phylosophy, whose main principles include hierarchy, modularity, processing specialization, multilevel integration, effective representation of visual information, and high-level knowledge integration. The color subsystem is then introduced according to this framework, with a proposal of a segmentation technique based on self-organizing maps. The number of regions in the image is achieved through a unsupervised clustering approach, so no human interaction is needed. Such segmentation technique produces region oriented representation of the classes, which are used to derive an edge map. Another main topic in this work is a comparative study of the edge maps produced by several edge-oriented segmentation techniques. A reference edge map is used as standard segmentation, to which other edge maps are compared. Such analysis is carried out by means of local attributes (local gray level and \"color\" contrasts). As a consequence of the comparison, a combination edge map is also proposed, based on the conditional selection of techniques considering the local attributes. Finally, the integration of two above topics is proposed, which is characterized by the design of the color subsystem of Cyvis-1, altogether with the modules for image acquisition, shape analysis and polyhedral object recognition. In such a context, the integration with the stereo subsystem is accomplished, allowing the evaluation of the three-dimensional data needed for object recognition. Assessment and validation of the three proposals were carried out, providing the means for analyzing their efficiency and limitations.

Neste trabalho foi desenvolvida uma metodologia de avaliação e monitoramento de pacientes com úlceras de perna baseada nas características dos tecidos internos dessas feridas. Os tecidos internos podem ser classificados como granulado, fibrina e necrosado, e a avaliação da área de cada um desses tecidos fornece para o clínico dados referentes ao estado da úlcera.A metodologia extrai essas informações a partir de imagens digitalizadas das lesões. Para tanto, a área referente à úlcera é segmentada e em seguida a área interna processada por uma rede neural, que tem o propósito de classificar cada ponto para um dos tecidos analisados. Os algoritmos desenvolvidos operam sobre imagens coloridas, já que cada tecido em uma imagem só pode ser identificado por sua cor. Este trabalho propõe ainda uma metodologia de extração de características das lesões através de uma forma não invasiva utilizando, para tanto, algoritmos de visão computacional. / The aim of this work was the development of a monitoring and evaluation methodology of leg ulcers patients based on the features of the inner tissues of these wounds. The internal tissues can be classified as granulation, slough and necrotic, and the evaluation of the area of each one of these tissues can be used by the specialist to help with the patient''s diagnosis. The methodology extracts these information from the wound digitized images. For this, the wound area is segmented and the inner region or the segmented area is processed by a neural network that classifies each point of the analyzed tissues. The developed algorithms operate on color images since each tissue in an image can only be analyzed by its colors. In this work has also proposed a feature extraction methodology of the wounds through a non-invasive way using computer vision algorithms.

O uso de técnicas e métodos formais contribui para o desenvolvimento de sistemas confiáveis. No entanto, apesar do rigor obtido, em geral, é necessário que essas técnicas sejam complementadas com atividades de teste e validação. Deve-se ressaltar que o custo para eliminar erros encontrados nas etapas iniciais de desenvolvimento é menor do que quando esses erros são encontrados nas fases posteriores. Dessa forma, é essencial a condução de atividades de VV&T - Verificação, Validação e Teste - desde as primeiras fases de desenvolvimento. Critérios de teste, como uma forma sistemática de avaliar e/ou gerar casos de teste de qualidade e, dessa forma, contribuir para aumentar a qualidade da atividade de teste, têm sido investigados para o teste de especificação de Sistemas Reativos. A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não considerado é a cobertura alcançada, visto que, em geral, a aplicação exaustiva não é viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações, este trabalho propõe a aplicação do critério de teste Análise de Mutantes para o teste de Redes de Petri Coloridas. Neste trabalho foram almejados três objetivos principais, os quais podem ser divididos em estudos teóricos, estudos empíricos e automatização. No contexto de estudos teóricos, foi realizada a definição e embasamento teórico para possibilitar a aplicação da Análise de Mutantes no contexto de Redes de Petri Coloridas. Além disso, investigaram-se mecanismos genéricos para a descrição e geração de mutantes. Definiu-se um algoritmo para a geração de casos de teste baseado na Análise de Mutantes. No contexto de estudos empíricos, foram conduzidos estudos de caso para avaliar a aplicabilidade e eficácia dos resultados teóricos obtidos. Finalmente, no contexto de automatização, foram desenvolvidas ferramentas de apoio à aplicação da Análise de Mutantes. / The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found in the later phases. Therefore, the accomplishment of VV&T activities - Verification, Validation and Test - starting at the first development phases is essential. Testing criteria, as a systematic way to evaluate and/or generate test cases, contributing, therefore, to improve the quality of the test activity, have been proposed for testing reactive systems specifications. A technique that has been steadily employed for specifying the behavioural aspect of reactive systems is the coloured Petri nets. Although there are several analysis and validation techniques, a usually neglected aspect is the achieved coverage, given that, in general, the exhaustive application is not feasible due to its high cost. Considering the relevance of establishing systematic methods for the test and validation of coloured Petri nets based specification, this work proposes the investigation of the viability of applying Mutation Testing to test coloured Petri nets. In this work three main goals were pursued, which can be grouped in: theoretical studies, empirical studies and tool development. In the context of theoretical studies, it was accomplished the definition of theoretical concepts to enable the application of Mutant Analysis in the context of coloured Petri nets. Moreover, a mutation-based algorithm was defined to generate test sequences for Petri nets. In the context of empirical studies, case studies were carried out to evaluate the applicability and effectiveness of the achieved theoretical results. Finally, in the context of tool development, tools for supporting the application of Mutation Testing were developed.