O presente trabalho trata da verificação e design de sistemas complexos, especificamente da verificação de sistemas de tempo real concorrentes e distribuídos. Propõe-se uma técnica enumerativa para a verificação formal de modelos que permite determinar a validade de propriedades quantitativas, além das qualitativas. A técnica proposta separa a construção do espaço de estados dos algoritmos de rotulação das fórmulas temporais, o que possibilita a diminuição da complexidade do processo de verificação, tornando-o viável para aplicações práticas. A técnica proposta foi inicialmente aplicada sobre modelos de redes de Petri temporizadas e depois em uma rede unificada chamada GHENeSys para aproveitar as características de abstração, hierarquia e de elementos de interação chamados pseudo-boxes. A definição da rede GHENeSys foi modificada para permitir a modelagem de sistemas onde os requisitos temporais devem ser expressos através de atrasos e prazos como e o caso dos sistemas de tempo real. A rede suporta ainda mecanismos de refinamento tanto para os elementos ativos quanto os passivos. A demonstração da manutenção de propriedades como invariantes, vivacidade, limitação assim como da validade de fórmulas lógicas no processo de refinamento constitui um aspecto fundamental no projeto de sistemas complexos, e foi portanto revista em detalhes para a rede GHENeSys. Alguns exemplos práticos são apresentados para avaliar o desempenho dos algoritmos e um estudo de caso finaliza a apresentação, onde se pode contrastar os algoritmos propostos com os implementados na ferramenta UPPAAL. / This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the state space construction, allowing a better result in the verification process. This model-checking approach shows itself valuable in practical applications. This approach was first applied to systems modeled by Time Petri Nets and further extended to a unified net called GHENeSys, which includes abstraction and hierarchy concepts as well as elements for data and control interchange, called pseudo-boxes. The GHENeSys definition was modified in order to deal with systems in which temporal requirements can be expressed through delays and deadlines as in the real-time systems. The GHENeSys environment supports a refinement technique applied to both passive and active elements. Net properties like invariants, liveness, boundedness and also the validity of temporal formulas was proved to be maintained through the refinement process if some conditions are satisfied. Such characteristics are useful to deal with complex systems design. Some experiments based on well known academic articles were used to avaliate the performance of the algorithms and a case study is presented in order to compare obtained results with those obtained using the UPPAAL tool.

by Leung Wing-shan, Queenie. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2002. / Includes bibliographical references (leaves 79-82). / Abstracts in English and Chinese. / Abstract --- p.iii / Acknowledgements --- p.v / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Current Problem --- p.4 / Chapter 1.2 --- Research Proposal --- p.6 / Chapter 1.3 --- Research Target --- p.8 / Chapter 1.4 --- Thesis Overview --- p.9 / Chapter 2 --- Fuzzy Logic and Fuzzy Petri Net --- p.11 / Chapter 2.1 --- Background --- p.13 / Chapter 2.2 --- Fuzzy sets --- p.15 / Chapter 2.3 --- Operations on fuzzy sets --- p.18 / Chapter 2.4 --- Fuzzy logic --- p.20 / Chapter 2.5 --- Weighted Fuzzy Petri Net --- p.23 / Chapter 2.6 --- Fuzzy reasoning --- p.25 / Chapter 2.7 --- More about fuzzy logic --- p.29 / Chapter 2.8 --- Chapter Summary --- p.31 / Chapter 3 --- Dynamic Certainty Factor --- p.32 / Chapter 3.1 --- Definition --- p.32 / Chapter 3.1.1 --- Background --- p.33 / Chapter 3.1.2 --- Examples --- p.37 / Chapter 3.2 --- Advantages --- p.43 / Chapter 3.2.1 --- Best reasoning --- p.43 / Chapter 3.2.2 --- Independency --- p.46 / Chapter 3.2.3 --- Interaction effect --- p.49 / Chapter 3.3 --- Chapter Summary --- p.51 / Chapter 4 --- Experiment --- p.53 / Chapter 4.1 --- Transformation Definition --- p.54 / Chapter 4.2 --- Case Study --- p.61 / Chapter 4.2.1 --- Example 1 --- p.61 / Chapter 4.2.2 --- Example 2 --- p.63 / Chapter 4.3 --- Analysis --- p.65 / Chapter 4.3.1 --- Comparisons --- p.65 / Chapter 4.3.2 --- Discussion --- p.67 / Chapter 4.4 --- Chapter Summary --- p.68 / Chapter 5 --- Conclusion --- p.69 / Chapter 5.1 --- Final Summary --- p.69 / Chapter 5.2 --- Deficiency and Improvement --- p.71 / Chapter 5.3 --- Future Research Aspect --- p.73 / Appendix --- p.75 / Chapter A --- Data Details --- p.76 / Bibliography --- p.79

Made available in DSpace on 2017-07-21T18:15:29Z (GMT). No. of bitstreams: 1 Tanize Tomasi Alves.pdf: 5660560 bytes, checksum: 85c33634c8c0413f77fab09e4f769c5d (MD5) Previous issue date: 2013-03-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work aims to investigate the Quilombol Community of Santa Cruz through its interpersonal relationships. This community is placed on the rural zone of Ponta Grossa, state of Paraná. Therefore, the research finds to capture the relational space of this Quilombol Community by of its life‟ experience, identifying the individual and the social ties that allows continuous contacts between them, being relatives, relative for godfather or godmother, neighborhood, friendship/affinity, laboral or sympathy. To understand this complexity, this work takes as referential the concepts of space/spatiality, by Massey and Dardel, social interaction, by Goffman and social nets by Bott, Scherer-Warren and Barnes. Over the adoption of techniques and methodologies as participant observation, dense description, objective hermeneutic and interactional analysis in different events of social interaction, identify the existence of a placed social net, what ties connect them to external individual, overcoat, neighbors residents of Sutil Quilombol Community, of ethnics colonies (white-Russian, germans-russian, Italians, Polishes) and the near urban districts. Internally, the community detaches to be of relative gender, all the individual are linked themselves by relatives ties. It reveals daily the constitution of an organized group that has common objectives, interdependent papers and a shared culture. The relationships of Santa Cruz Quilombols inside of his organized group or social net are lived as in daily occasions how in casual and traditional situations. / A Comunidade Quilombola de Santa Cruz, localizada na zona rural do município de Ponta Grossa, Paraná, tornou-se o foco da presente investigação através da análise de seus relacionamentos interpessoais. Buscou-se apreender a espacialidade relacional desta comunidade quilombola a partir de sua experiência vivencial, identificando os indivíduos e os laços sociais que permitem contatos contínuos entre eles, sejam laços de parentesco sanguíneo ou parentesco por apadrinhamento e compadrio, vizinhança, amizade/afinidade, laboral ou solidariedade. Para entender essa complexidade, se adotou os conceitos de espaço/espacialidade de Massey e Dardel, interação social de Goffman e redes sociais de Bott, Scherer-Warren e Barnes. Através da adoção de técnicas e metodologias como observação participante, descrição densa, hermenêutica objetiva e análise interacional em distintos eventos de interação social, identificou-se a existência de uma rede social localizada, cujos laços os conectam a indivíduos externos, sobretudo, moradores vizinhos da Comunidade Quilombola do Sutil, das colônias étnicas (russo-brancos, russo-alemães, italianos, poloneses) e de bairros urbanos próximos. Internamente, a comunidade se destaca por ser do tipo parental, todos os indivíduos estão ligados entre si por laços de parentesco. Estes no seu cotidiano revelam ainda a constituição de um grupo organizado, que tem objetivos comuns, papéis interdependentes e uma cultura partilhada. As relações dos quilombolas de Santa Cruz dentro de seu grupo organizado ou de sua rede social são vivenciadas tanto em ocasiões cotidianas, quanto em situações casuais e tradicionais.

To explore the potential of packaging design structures in menswear. While packaging design and fashion design are two distinctively different fields,their methodologies are distinctively similar.To compare packaging and garment design is therefore to compare their development process and purpose in terms of structure, material, color and print, as well as aspects concerning production and marketing. Both fields aim to create designs that are functional as well as aesthetically pleasing within their particular context; the fundamental contextual difference being that packaging is conceived for a product and garments conceived for a body. Focusing on structure, both packaging and fashion design may use product templates to facilitate mass production. In fashion design these templates are called construction patterns; in packaging design templates are called packaging nets or development nets. Both construction patterns and packaging nets are 2-d structures that gain a three dimensional form according to a construction system, e.g. constructing a box from a flat element using folding techniques. For this bachelor degree work the aim is to explore the potential of packaging design structures in menswear. The result is a lineup of outfits generated by the adoption of packaging nets as construction patterns for garments. Since the outfits are created using packaging design principles and methods, they challenge the contextual distinction both between garment and packaging, and between body and product. By considering garments as packaging for the body, the collection blurs the line between fashion design and packaging design. I believe that the intersection of these two branches of design allows us not only to discover new forms of expression and construction, but also to gain a new perspective on fashion design practice. In addition to structural properties, by also considering the graphic aspect of packaging design, this collection highlights the importance of product differentiation and thus serves as a starting point for future fashion experiments with product branding. / Program: Fashion Design

Nos últimos anos muito tem se pesquisado na área de arquiteturas paralelas de computadores, devido ao fato da melhora de desempenho nas arquiteturas sequenciais não estar acompanhando as necessidades crescentes de capacidade de processamento. Entre as arquiteturas paralelas, um grupo que tem recebido especial atenção por parte dos pesquisadores é o de redes neurais. Uma rede neural é uma arquitetura baseada em paralelismo massivo, na interconexão de numerosos elementos simples de processamento segundo uma determinada topologia e com uma regra de aprendizagem. As redes neurais tem tido grande importância na área de reconhecimento de padrões e diversas aplicações em reconhecimento de caracteres, imagem e voz tem sido desenvolvidas. Outra área de aplicação das redes neurais é o processamento de sinais. A característica de adaptabilidade das redes neurais torna-as apropriadas à utilização em aplicações, onde as características do sinal, ou do meio, são variáveis ou não totalmente conhecidas, como filtros adaptativos. O objetivo deste trabalho é mostrar as aplicações de redes neurais nesta área. Na primeira parte do trabalho foram implementadas aplicações de redes neurais à filtragem utilizando diversas topologias e modelos de neurônios. Os modelos implementados são aqui apresentados juntamente com os resultados das simulações. A segunda parte do trabalho consiste na aplicação de um modelo de redes neurais a um problema bem específico, a separação de sinais a partir de diversas combinações destes sinais. A solução implementada foi baseada no algoritmo proposto por Jutten em [JUT 87]. Além da aplicação deste algoritmo, o problema envolve a análise espectral do sinal, e a reconstrução do sinal original a partir de suas componentes, após efetuada a separação. Neste trabalho é efetuado um estudo sobre este algoritmo, é proposta uma alteração para sua aplicação a sinais de voz, e são mostrados os resultados obtidos na aplicação deste sistema à separação de sinais de voz de diversos locutores. / A lot of research has recently been done in parallel architectures, due to the fact that the improvement in the performance of sequential architectures has not accompanied the growing needs of processing power. Among the parallel architectures, one that has received special attention of the researchers is neural nets. A neural net is an architecture based on massive parallelism, interconection of many processing elements according to one topology and a learning rule. This technology has acquired great importance in the area of pattern recognition and many apllications in recognition of characters, images and voice have been developed. Another area of application of neural nets is signal processing. The characteristic of adaptability of neural nets makes them appropriate to the use of applications where the characteristics of the signal or the environment are variable or not completely known, like adaptive filters. The goal of this work is showing some applications of neural nets in signal processing. In the first part of the work applications of neural nets to filtering using different topologies and models of neurons have been implemented. These models are presented here with the results of these simulations. The second part consists of the application of a neural network model to a very specific problem, the separation of signals from combinations of these signals. The solution implemented was based in the algorithm proposed by Jutten [JUT 87][HER 88]. This problem involves, besides the application of this algorithm, signal spectral analysis and reconstruction of the original signal from the components after the separation is accomplished. After describing the study of the algorithm which has been carried on, the work finishes with the proposal of a modification which would allow the enhancement of its range of applications, namely, to the field of voice signal processing. The results of this other kind of application are consequently shown.

Made available in DSpace on 2016-12-23T14:01:52Z (GMT). No. of bitstreams: 1 DJENANE SOARES ALVES 2007.pdf: 11367417 bytes, checksum: 7155345519710907cdc729e5dae5b1ae (MD5) Previous issue date: 2007-07-12 / The text brings memory fragments from the individuals which report pieces of the quotidian lived by the T.A.P.A UFES group inside the know-do needlework nets along with the accomplished curriculum at the Art Center of UFES during graduation. It defends the dimension of the curriculum that cares about the uses that individuals make out of the prescript documents and about the daily cheating to the regulamentation that resides in the academy. It shows how, in the course of the last decade, many different curriculum proposals were formulated to License at Visual Arts and Bachelor at Plastic Arts although there is a significative separation between the departments and buildings that compose the Art Center, making the space-time in to a place that separates the practices from the theories. Emphasizes the acting of the group of students which found out strategies to overcome the instituted and make art works and art studs actually happen, which as a matter of fact provoked a pluri-multi-inter-poli-disciplinarity in the classes coursed. Discusses the dimension that the individuals´ accomplishments reach when surpass the curriculum grate and propose other more creative forms of actually living the curriculum coursed in the quotidian. It considerates absolutely necessary the horizontality of relation experienced between students and teachers, expanding possibilities to the effectuation of art works. Accomplishes the investigation of quotidian and applies metodogical paths which includes memory ransom and narratives, emphasizing the accomplished curriculum as know-do nets, standing out the uses of it in the lived experiences. Emphasizes that the rebellion acts in front of the regulamentation makes the exchanges of know-do more true and legitimate by being based on life and then surpassing the writings. It believes that it is in the experience of quotidian that actually happens the accomplishments of things that prescriptions can not reach. / O texto traz fragmentos de memórias dos sujeitos que narram partes do cotidiano vivido pelo grupo T.A.P.A-UFES na tessitura de redes de saberesfazeres com o currículo realizado no Centro de Artes da UFES durante a graduação. Defende a dimensão do currículo que se importa com os usos que os sujeitos fazem dos documentos prescritos e com as burlas diárias às regulações que habitam a escola. Mostra como que ao longo da última década diversas propostas curriculares foram formuladas para os cursos de Licenciatura em Artes Visuais e Bacharelado em Artes Plásticas apesar de haver uma marcante separação entre os departamentos e prédios que compõem o Centro de Artes tornando este espaçotempo num lugar que separa as práticas das teorias. Enfatiza a atuação da turma de alunos que encontrou táticas para superar o instituído e fazer acontecer trabalhos e estudos artísticos que de fato provocavam uma pluri-multi-inter-poli-disciplinaridade nas aulas cursadas. Discute a dimensão que as realizações dos sujeitos alcançam quando extrapolam a grade curricular e propõem outras formas mais criativas de viver o currículo realizado no cotidiano. Considera imprescindível a relação de horizontalidade que foi vivida entre os estudantes e os professores, abrindo possibilidades para a efetivação de trabalhos. Realiza a investigação com o cotidiano e emprega caminhos metodológicos que passam pelo resgate da memória e pelas narrativas, enfatizando o currículo realizado como redes de saberesfazeres e destacando os usos deste no vivido. Enfatiza que os atos de rebeldia diante da regulação tornam a troca de saberesfazeres mais verdadeira e legítima porque partem da vida e superam os escritos. Acredita que é na vivência do cotidiano que se dá de fato a realização do que as prescrições não podem alcançar.

Dentro do conceito de "Edifício Inteligente", que tem como objetivo a otimização da infra-estrutura física e do ambiente em relação a aspectos de produtividade e comportamentais, este trabalho apresenta uma metodologia para modelagem e simulação de estratégias de gerenciamento de sistemas de ar condicionado onde focaliza-se a integração do ar condicionado com os demais sistemas de um edifício. Para tanto introduz-se uma abordagem híbrida onde são considerados aspectos de Sistemas a Eventos Discretos e de Sistemas de Variáveis Contínuas. Como estudo de caso apresenta-se a modelagem do sistema de ar condicionado do Prédio dos Ambulatórios do Hospital das Clínicas da Faculdade de Medicina de São Paulo, para o qual se aplica o método proposto para análise do tratamento de perturbações no sistema de ar condicionado resultantes de variações da carga térmica. / Considering "Intelligent Buildings", which have as one of its purpose to improve its structure and environment in order maximise the effectiveness of its occupants, this work introduce a methodology for modelling and simulation of HVAC systems. The focus is on the integration of the HVAC system with other building systems. A hybrid approach is introduced to consider both discrete and continuous aspects. As case study, we present the models for the Ambulatory Building of Hospital of the Medical School of São Paulo University. Particularly, the proposed methodology is used to analyse if the response of the HVAC system to thermal load variations can be enhanced, improving the thermal comfort, when integration between systems is considered.

O sistema de elevadores como equipamento para o transporte vertical de pessoas e bens é um componente fundamental no projeto de edifícios e, neste âmbito, a disponibilidade e eficiência do seu serviço deve ser objeto de cuidadosa análise em função de sua influência no desempenho e produtividade das atividades dos usuários do prédio. Neste contexto e considerando especificamente os edifícios inteligentes cuja finalidade é a otimização a nível estrutural e funcional do edifício como um todo, e onde a integração entre seus sistemas cumpre um papel fundamental para atingir estes objetivos, o presente trabalho propõe uma metodologia para a modelagem de sistemas de elevadores nestes prédios, que considera a sua integração com outros sistemas prediais. A abordagem empregada no desenvolvimento deste trabalho baseia-se na caracterização dos sistemas de elevadores como sistemas a eventos discretos (SED), pois sua dinâmica é definida através da ocorrência de eventos e a manutenção de estados discretos. Assim, na metodologia utiliza-se técnicas derivadas das redes de Petri (redes de Petri interpretadas), de comprovada eficiência para a modelagem, análise e controle de SEDs. Estas ferramentas são usadas através de uma abordagem estrutural, onde o sistema é modelado em diferentes níveis de abstração: um modelo conceitual obtido pelo uso da técnica PFS (Production Flow Schema) em um primeiro nível, e o refinamento deste para modelos funcionais através do uso do MFG (Mark Flow Graph) e suas extensões, onde são preservadas as estruturas das atividades do nível superior e são descritos os detalhes em um nível funcional. A metodologia proposta confirmou ser útil e eficiente para a modelagem do sistema de elevadores em edifícios inteligentes, ao permitir a especificação do modelo funcional de todo o sistema (objeto de controle e sistema de controle) e das estratégias que facilitam a sua integração com outros sistemas prediais / The elevator system as mean for the vertical transport of people and goods is a fundamental component in the design of buildings. The availability and efficiency of this service must be object of careful analysis due to its influence on the performance and productivity of the building users' activities. In intelligent buildings, the purpose is the optimization of its structural and functional levels and where also the integration between all building systems accomplishes a fundamental role to reach these objectives. In this context, this work proposes a methodology for the modeling of elevator systems in these buildings, which consider your integration with others buildings systems. The approach developed in this work is based on the characterization of elevator systems as Discrete Event Systems (DES), since the dynamic behavior is defined through the discrete events and discrete states. The proposed methodology uses techniques, that are derived of interpreted Petri nets, which has been proven as an efficient tool for modeling, analysis and control of DES. In this context, systems are modeled in different levels of abstraction: a conceptual model which is obtained by using the PFS (Production Flow Schema) technique level, and a functional model by using MFG (Mark Flow Graph) and its extensions. The MFG abstraction level describes details in a functional form, where are preserved the description activities of previous levels. The methodology proposal confirmed to be useful and efficient to elevator systems modeling, when allowing the functional specification of the whole system (object of control and control system), and strategies that facilitate its integration with others building systems.

Ao longo das últimas décadas, o paradigma de sistemas críticos em segurança vem sofrendo transformações como forma de se adequar às novas necessidades demandadas, tais como redução de custos e aumento da produtividade. No Sistema de Gerenciamento de Tráfego Aéreo, esta transformação é preconizada pelo paradigma CNS/ATM (Communication, Navigation, Surveillance / Air Traffic Management), baseado no uso de novas tecnologias digitais, sobretudo satélites, aplicadas à comunicação, à vigilância, à navegação e ao gerenciamento do tráfego aéreo. O CNS/ATM visa reduzir as restrições do atual paradigma de tráfego aéreo como forma de atender sua crescente demanda, mantendo (ou melhorando) os atuais níveis de segurança. Porém, esta mudança de paradigma traz consigo novos desafios e necessidades, sobretudo, quanto à forma de se avaliar os sistemas resultantes. Em face destes novos desafios e problemas enfrentados, este trabalho propôs um método de avaliação de risco, constituído pela união dos métodos \"absoluto\" e \"relativo\" preconizados pela Organização da Aviação Civil Internacional (OACI), pelo emprego do formalismo das redes de Petri Fluidas e Estocásticas (RPFE) na modelagem dos sistemas, e pela comparação entre os valores de métricas de segurança estimados para o sistema avaliado e para um sistema legado. Este método foi aplicado para avaliar a segurança na mudança do atual paradigma de vigilância aérea, baseado em equipamentos Radar, para o paradigma de Vigilância Dependente Automática por Radiodifusão (ADS-B). Como conclusões, o método proposto mostrou-se promissor para avaliar a segurança de sistemas baseados nos atuais paradigmas de sistema críticos em segurança, especialmente o CNS/ATM, onde o formalismo das RPFE proporcionou modelar suas principais características, e a simulação por eventos discretos permitiu estimar as métricas desejadas. Além disso, a ADS-B mostrou-se uma aplicação viável para a vigilância no Sistema de Controle de Tráfego Aéreo, sendo capaz de reduzir o nível de exposição das aeronaves a eventos de perda de separação e, assim, melhorar os níveis de segurança do tráfego aéreo. / In last decades, the safety critical systems paradigm has changing to adapt itself to new necessities, such as costs reduction and productivity demand growth. In the Air Traffic System, those changes are ruled by CNS/ATM paradigm (Communication, Navigation, Surveillance / Air Traffic Management), based on new digital Technologies, mainly Satellites, applied to Communication, Surveillance, Navigation and Air Traffic Management. CNS/ATM intends to reduce the restrictions of current air traffic paradigm, enabling the growth of air traffic capacity without affecting current safety levels. However, this new paradigm brings together new challenges and needs, mainly related to safety assessment. In face of these new challenges, this work proposed a method of risk assessment constituted by the union of the \"absolute\" and \"relative\" assessment methods adopted by the International Civil Aviation Organization (ICAO), by modeling systems using Fluid Stochastic Petri Nets (FSPN) formalism, and by comparison between safety metrics obtained from proposed and legacy system simulations. This method was applied to assess a new concept of air traffic surveillance, named \"Automatic Dependent Surveillance - Broadcasting\" (ADS-B). As main conclusions, the proposed method was promising to assess system safety properties based on current safety critical system paradigm, especially the CNS/ATM, where FSPN formalism provided important modeling capabilities and discrete event simulation allowed estimating the desired safety metric. Besides, ADS-B has meaningfully reduced the separation losses risks and, therefore, it could be used to air traffic control surveillance system to improve capacity and/or safety levels of air traffic system.

Pacientes críticos tratados em uma UTI comumente apresentam quadros severos de hiperglicemia. Estudos mostram que o controle da glicemia a níveis restritos leva à melhoria no prognóstico de tais pacientes. O controle glicêmico é feito através da medição freqüente da glicemia através de um exame de \"ponta de dedo\", aliada à infusão de insulina, numa atividade bastante trabalhosa para a equipe de enfermagem. Nos últimos anos, surgiram os primeiros sistemas comerciais de monitoramento contínuo de glicose para uso ambulatorial. Entretanto, há uma série de limitações que dificultam seu uso em uma UTI. No presente trabalho, foi desenvolvido um sistema de monitoramento contínuo de glicose para pacientes críticos hiperglicêmicos, batizado de vMonGluco. Esse sistema utiliza um monitor contínuo de glicose, disponível comercialmente, conectado a um palmtop, de forma a obter leituras de glicose em tempo real. Os dados coletados são enviados a um servidor seguindo a norma Health Level Seven (HL7). O servidor redireciona os dados a um monitor de beira de leito, disponibilizando as leituras de maneira prática. As informações também são armazenadas em um sistema de Prontuário Eletrônico do Paciente. Testes realizados em pacientes comprovaram a validade das leituras obtidas. Assim, com o presente trabalho, espera-se trazer uma contribuição prática e significativa no tratamento de pacientes críticos hiperglicêmicos. / Critical patients in an ICU usually experience severe hyperglycemia. Studies show that the control of glycemia to restricted levels can increase the prognosis of these patients. This control is usually done through the frequent reading of glycemia using a fingerstick test, together with the infusion of insulin, in a troublesome activity for the nursery team. In the last few years, the first commercial glucose monitoring systems for ambulatory use have been created. However, several difficulties limit its use in an ICU. In the present work, a continuous glucose monitoring system, named as vMonGluco, was developed. The system uses a commercially available continuous glucose monitor connected to a palmtop, in order to get glucose readings in real time. The collected data are sent to a server using the Health Level Seven (HL7) standard. The server redirects the data to a bedside monitor, so the readings can be accessed in practical way. The information is also stored in an Electronic Health Record system. Tests applied to patients showed the validity of the obtained readings. This way, with the present work, it is expected to bring a practical and significant contribution to the treatment of critical hyperglycemic patients.