Programa de Pós-Graduação em Educação Matemática. Departamento de Matemática, Instituto de Ciências Exatas e Biológicas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2014-10-29T16:28:49Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_ProduçãoConhecimentoMatemático.pdf: 7622171 bytes, checksum: fc3b8b9bdbd5fd51069a4c66bcb03391 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2014-11-18T15:34:12Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_ProduçãoConhecimentoMatemático.pdf: 7622171 bytes, checksum: fc3b8b9bdbd5fd51069a4c66bcb03391 (MD5) / Made available in DSpace on 2014-11-18T15:34:12Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_ProduçãoConhecimentoMatemático.pdf: 7622171 bytes, checksum: fc3b8b9bdbd5fd51069a4c66bcb03391 (MD5) Previous issue date: 2014 / A presente pesquisa teve o objetivo de investigar a produção de ideias matemáticas acerca de funções de duas variáveis em um coletivo de seres humanos-com-mídias. Esta pesquisa apoia-se no constructo teórico seres-humanos-com-mídias, descrito por Borba e Villarreal (2005). Para este proposito, foram realizadas atividades relacionadas a temas inseridos no cálculo de funções de várias variáveis, versando principalmente sobre gráficos e domínio de funções de duas variáveis, curvas de nível, derivadas parciais e extremos. Tais atividades foram criadas para a utilização dos recursos oferecidos pelo software MAXIMA, considerando-se suas possibilidades e limitações, incluindo as potencialidades da visualização. Também foram pensadas de modo a favorecer a transição de cálculo de uma para várias variáveis. Esta pesquisa foi realizada em uma turma de engenharia na disciplina de Cálculo Diferencial e Integral III. Pelas suas características, trata-se de uma pesquisa com abordagem qualitativa na qual foram utilizados como instrumentos para a coleta dos dados: questionários, registros do desenvolvimento das atividades realizadas pelos estudantes e anotações do diário de campo do pesquisador. A análise dos dados fornece indícios de que existiu produção de conhecimento acerca dos temas abordados, sendo que cada mídia teve sua importância e influência nessa produção. ________________________________________________________________________ / ABSTRACT: The present study aimed to investigate the production of mathematical ideas for functions of two variables in a collective of human beings-with-media. This research relies on human beings-with-media-theoretical construct, described by Borba and Villarreal (2005). For this purpose, related topics included activities were held in the Calculus of functions of several variables, dealing mainly on graphics and domain functions of two variables, level curves, partial derivatives and extremes. Such activities were designed to use the features offered by the software MAXIMA, considering its possibilities and limitations, including the potential of visualization. And also were thought to promote the transition of calculation from one to several variables. This research was conducted in a class of engineering in the discipline of Differential and Integral Calculus III. Due to its characteristics, it is a qualitative research in which were used as tools for data collection: questionnaires, records of developed activities performed by the students and journal notes from the researcher's field records. The data analysis provides evidences that there was a production of knowledge about the topics covered, wherein each media has its importance and influence in this production.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-19T23:39:14Z (GMT). No. of bitstreams: 1 195201.pdf: 2939889 bytes, checksum: 66a63af622b6746b40c736a83ae8af89 (MD5) / Componentes de software oferecem um paradigma de desenvolvimento de software onde uma aplicação final será montada por meio da conexão desses componentes, independentes de linguagem e plataforma, adquiridos de terceiros ou desenvolvidos pelo próprio usuário. Com esse paradigma se pretende conseguir os benefícios de um desenvolvimento mais rápido de aplicações com um grau maior de qualidade e segurança e um custo menor do que o desenvolvimento tradicional de aplicações. Para possibilitar que as organizações adotem o desenvolvimento de aplicações baseado na utilização de componentes é preciso adotar uma metodologia de desenvolvimento padronizada, já utilizada com sucesso no mercado, promover a capacitação dos seus técnicos nessa nova tecnologia, bem como promover uma mudança organizacional que permita que as informações referentes a aspectos funcionais e não-funcionais dos componentes estejam disponíveis de maneira padrão, para que sejam possíveis uma busca e utilização mais eficientes. O objetivo principal deste trabalho é analisar os aspectos técnicos e gerenciais de algumas metodologias de desenvolvimento de aplicações e as dificuldades operacionais de implantação dessa tecnologia nas organizações. As metodologias RUP - Rational Unified Process, CATALYSIS e VINCIT foram selecionadas por já contarem com alguns anos de utilização. A utilização de uma das metodologias analisadas foi feita através do estudo de caso do desenvolvimento de um componente de uma Camada de Persistência para utilização de um banco de dados relacional por uma aplicação escrita em Java.

Made available in DSpace on 2015-07-13T12:10:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-13. Added 1 bitstream(s) on 2015-07-13T12:25:42Z : No. of bitstreams: 1 000832833.pdf: 4220972 bytes, checksum: 353a5f1dbeadc349ae233b496566f4d4 (MD5) / Este trabalho possui como principal objetivo elaborar e parametrizar uma comporta deslizante conforme norma AWWA C561. Inicialmente uma pequena revisão bibliográfica é apresentada com o intuito de fornecer o embasamento teórico necessário para realizar o projeto e a parametrização. Diversos modelos 3D são criados, com vãos de 200 x 200 mm até 1500 x 1500 mm para verificar a funcionalidade do projeto e da parametrização. Simulações em elementos finitos também foram realizadas utilizando os softwares Autodesk Inventor e ANSYS Workbench. Sendo o ANSYS um software específico para simulações em elementos finitos, os resultados obtidos no Inventor são comparados com os resultados do ANSYS para validar sua utilização quanto a obtenção de tensões de von Mises e deslocamento. Após a análise dos resultados concluiu-se que os valores simulados no Inventor são satisfatórios. Um cuidado especial deve ser tomado com a concentração de tensão encontrada na região dos apoios, onde o esforço cortante é predominante / This work, presents as its main objective to create and parameterize a project of a sliding gate according to AWWA C561. Initially, a theoretical review is presented with the intention to provide the theoretical foundation needed to accomplish the project and the parametrization. Different 3D models are created with the span varying from 200 x 200 until 1500x 1500 in order to verify the workability of the project and the parametrization. Finite elements simulations are performed using the software Autodesk Inventor and ANSYS Workbench. As the ANSYS is a specific software for finite elements simulations, the results obtained using the Inventor are compared to the results using ANSYS to validate its usage when obtaining von Mises stress and displacement. After analyzing the results, it was concluded that the values found in the Inventor simulations are satisfactory. A special attention must be taken with the stress concentration on the support region, where the shear stress is predominant

Made available in DSpace on 2014-06-11T19:29:40Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-08-08Bitstream added on 2014-06-13T19:38:57Z : No. of bitstreams: 1 chiuchi_ca_me_sjrp.pdf: 1041459 bytes, checksum: cef6ef685bb25f63fe4dab3de8a30762 (MD5) / A utilização de aplicações web como recurso de difusão de serviços e informações tem ganhado força na última década, tal fato leva à necessidade de se garantir a qualidade de tais web sites, como forma de possibilitar o acesso apropriado às informações, independentemente dos recursos utilizados, bem como agilidade para a efetivação dos diferentes serviços eventualmente disponibilizados aos usuários. Com a finalidade de contribuir para este processo, este trabalho propõe um conjunto de diretrizes capazes de nortear o desenvolvimento de web sites que contemplem as características de qualidade referentes a eficiência e portabilidade, definidas pela norma ISO 25010. Após a definição das diretrizes, foi realizado um estudo empírico baseado em uma análise observacional de diferentes web sites brasileiros, sendo 200 web sites da área acadêmica (programas de pós-graduação) e 100 web sites comerciais. O estudo permitiu constatar que a não adequação dos mesmos às diretrizes propostas pode levar a prejuízos ao acesso das informações e dos serviços disponibilizados. Com isso, conclui-se que o estabelecimento das diretrizes contribui para aumentar a qualidade dos web sites desenvolvidos nas diversas áreas de aplicação / The use of web applications as a resource for disseminating of information and services has gained strength in the recent decade, this points out the need to ensure the quality of such web sites, as a way to allow an appropriate access to information, regardless of the resources used and agility to realization of different services available to the users. In order to support this process, this work proposes a set of guidelines for guiding the development of web sites that contemplate quality characteristics, related to efficiency and portability, as defined by the ISO 25010. After the definition of the guidelines, it was conducted an empirical study based on an observational analysis of different Brazilian web sites, 200 web sites from the academic area (graduate programs) and 100 commercial web sites, which revealed that the inadequacy of the guidelines could lead to problems to access the information and available services. Thus, we conclude that the proposed guidelines helps improving the quality of web sites developed in several areas

Orientador: Rogéria Cristiane Gratão de Souza / Banca: Tereza Gonçalves Kirner / Banca: Carlos Roberto Valêncio / Resumo: A utilização de aplicações web como recurso de difusão de serviços e informações tem ganhado força na última década, tal fato leva à necessidade de se garantir a qualidade de tais web sites, como forma de possibilitar o acesso apropriado às informações, independentemente dos recursos utilizados, bem como agilidade para a efetivação dos diferentes serviços eventualmente disponibilizados aos usuários. Com a finalidade de contribuir para este processo, este trabalho propõe um conjunto de diretrizes capazes de nortear o desenvolvimento de web sites que contemplem as características de qualidade referentes a eficiência e portabilidade, definidas pela norma ISO 25010. Após a definição das diretrizes, foi realizado um estudo empírico baseado em uma análise observacional de diferentes web sites brasileiros, sendo 200 web sites da área acadêmica (programas de pós-graduação) e 100 web sites comerciais. O estudo permitiu constatar que a não adequação dos mesmos às diretrizes propostas pode levar a prejuízos ao acesso das informações e dos serviços disponibilizados. Com isso, conclui-se que o estabelecimento das diretrizes contribui para aumentar a qualidade dos web sites desenvolvidos nas diversas áreas de aplicação / Abstract: The use of web applications as a resource for disseminating of information and services has gained strength in the recent decade, this points out the need to ensure the quality of such web sites, as a way to allow an appropriate access to information, regardless of the resources used and agility to realization of different services available to the users. In order to support this process, this work proposes a set of guidelines for guiding the development of web sites that contemplate quality characteristics, related to efficiency and portability, as defined by the ISO 25010. After the definition of the guidelines, it was conducted an empirical study based on an observational analysis of different Brazilian web sites, 200 web sites from the academic area (graduate programs) and 100 commercial web sites, which revealed that the inadequacy of the guidelines could lead to problems to access the information and available services. Thus, we conclude that the proposed guidelines helps improving the quality of web sites developed in several areas / Mestre

Orientador: Roger Josef Zem / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-24T00:26:04Z (GMT). No. of bitstreams: 1 Barcelos_AndreEmanuelDiniz_M.pdf: 2372571 bytes, checksum: f4cb6c156947ee100acaeadc4f4a692e (MD5) Previous issue date: 1998 / Resumo: Neste trabalho, uma nova metodologia para a análise de sistemas de processos que utilizam água para transferência de massa é estudada. O procedimento é baseado em conceitos da área de Pinch Ana/ysis. O método se baseia no conceito fundamental de que água contaminada em um processo pode ser utilizada em outro processo se os gradientes mínimos de concentração forem mantidos para cada contaminante. Numa primeira etapa, o consumo mínimo de água limpa é predito a partir das características dos diferentes processos consumidores de água, permitindo a identificação da quantidade mínima de efluente a ser tratada. A determinação do consumo mínimo de água é feita através da construção da curva composta limite a partir dos perfis limite de água. Nos sistemas onde apenas um contaminante é transferido (monocontaminante), a curva composta limite é obtida através da combinação direta dos perfis limite. Entretanto, nos sistemas onde mais de um contaminante é transferido (multicontaminante), os perfis limite precisam so1Ter ajustes no domínio da concentração e da massa retirada, antes da construção da curva composta limite. Foi desenvolvido um novo algo ritmo matemático e seu respectivo programa baseados no algoritmo proposto por Wang e Smith (1994), que fornece como resultado, o valor do consumo mínimo de água para sistemas monocontaminantes e multicontaminantes. O algoritmo de Wang so1Teu modificações que permitiram uma redução nas restrições inicialmente impostas. Numa segunda etapa, o consumo mínimo de água é utilizado para projetar a rede de distribuição / Abstract: In this work, a new methodology for water-using process analysis is shown. The procedure is based on Pinch Analysis concepts. The method is based on the concept that contaminated water from one process may be used in other process if the minimum driving force for mass transfer for each contarninant is maintained. In the first stage, the rninimum freshwater consumption is predicted from the different characteristics of the water-using process, allowing for the identification of the rninimum wastewater amount to be treated. The minimum water use is read from the water composite curves, based on the water use profiles of each process. For single contaminant systems, the composite curve is given by the straight combination of the profiles, while for multiple-contarninant systems the profiles need to be shifted to satisfy composition constraints. A new algorithm and the related program were developed, based on the algorithm proposed by Wang and Smith (1994), that gives the minimum water consumption for single contaminant and multiple contaminant systems. Wang' s algorithm was modified to allow the reduction of initially imposed restrictions. In the second stage, the minimum freshwater targeted is used to design the water flow network / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Submitted by Jannyceli Cavalcanti (jannyceli.mayara@ufpe.br) on 2018-11-23T21:51:23Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Luiz Artur Botelho da Silva.pdf: 1218185 bytes, checksum: 69cc0d0c435dec8ba8baa8f18e632052 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-23T22:03:44Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Luiz Artur Botelho da Silva.pdf: 1218185 bytes, checksum: 69cc0d0c435dec8ba8baa8f18e632052 (MD5) / Made available in DSpace on 2018-11-23T22:03:44Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Luiz Artur Botelho da Silva.pdf: 1218185 bytes, checksum: 69cc0d0c435dec8ba8baa8f18e632052 (MD5) Previous issue date: 2015-07-31 / Sistemas distribuídos têm sido implementados em uma grande diversidade de domínios de aplicação, tais como: Finanças e comércio, com os sistemas de comércio eletrônico para compra de produtos pela Internet; Assistência Médica, que tem como exemplo o uso de prontuários eletrônicos online e a telemedicina no apoio a diagnóstico remoto ou serviços mais avançados, tais como cirurgia remota; Educação, onde podem ser destacadas as ferramentas de ensino baseadas na Web, tais como ambientes virtuais de aprendizagem à distância; Transporte e Logística, que usam tecnologias de localização; Gestão ambiental, que utiliza tecnologia de sensores para controlar e gerenciar o ambiente natural e com isso garantir um alerta precoce de catástrofes naturais, como terremotos, inundações ou tsunamis. Apesar de sua popularidade, existem vários desafios a serem vencidos ao projetar sistemas distribuídos. Dentre eles, podemos citar a heterogeneidade e o controle de concorrência. Alguns desses desafios podem ser solucionados usando-se um middleware, que é um software de conectividade que encapsula um conjunto de serviços e que reside entre a aplicação e o sistema operacional. Os sistemas de middleware permitem ainda que aplicações distintas se comuniquem abstraindo do usuário final como esse processo é realizado. O desenvolvimento de um middleware é uma atividade complexa, pois ao mesmo tempo que ele precisa esconder das aplicações distribuídas a complexidade dos mecanismos de concorrência e comunicação de baixo nível providos pelo sistema operacional, é preciso fornecer um conjunto crescente de serviços, tais como serviços de segurança e transação. Para tratar a complexidade mencionada , sistemas de middleware têm sido projetados com o uso de vários padrões de projeto especificamente definidos para a construção deste tipo de software. Além do uso destes padrões, há um esforço crescente para a adoção de novos paradigmas de programação no desenvolvimento de sistemas de middleware, em particular o paradigma funcional. Isso porque esses paradigmas oferecem nativamente recursos que lidam melhor com paralelismo e concorrência do que a maioria dos paradigmas presentes em linguagens de programação convencionais. Neste contexto, o objetivo deste trabalho é projetar e implementar um middleware, chamado FLiMSy, usando a linguagem de programação funcional Scala. FLiMSy foi projetado utilizando os padrões de projeto de middleware conhecidos como Remoting Patterns. Para avaliar a implementação proposta, foi realizado um experimento com o objetivo de medir o tempo de reposta do FLiMSy e também analisar as facilidades de se usar os recursos puramente funcionais de Scala no desenvolvimento de um middleware orientado a objetos. / Distributed systems have been implemented in a wide variety of application domains, such as Finance and trade with e-commerce systems to buy products over the Internet; Healthcare, such as the use of online electronic medical records and telemedicine to support remote diagnostics or more advanced services, such as remote surgery; Education, which can be highlighted the teaching tools based on the Web, such as virtual environments distance learning; Transportation and Logistics, using geolocation technologies; Environmental stewardship, which uses sensor technology to control and manage the natural environment and thus provide early warning of natural disasters such as earthquakes, floods or tsunamis. Despite of its popularity, there are several challenges that need to be overcomed when we design distributed system, which include heterogeneity and concurrency control. Some of these challenges can be solved using a middleware, which is a connectivity software that encapsulates a set of services that lies on between the application and the operation system. The development of a middleware is a complex task, because it needs at the same time hide the complexity of the concurrency mechanism and the low level communication provided by the operation system from the distributed application, and needs also provide a set of increasing services, such as security service and transaction. To deal with mentioned complexity, middleware system has been design using specified design pattern to build this kind of software. Aside the usage of these design patterns, there is an increase effort to adopt new paradigm of programming to develop middleware softwares, in particular a funcional paradigm. That is because these paradigms natively offer features that deal better with parallelism and concurrency than most of the paradigms present in conventional programming languages. Within this context, the goal of this project is design and develop a middlware called FLiMSy, using Scala as funcional programming language. FLiMSy was developed using middleware’s desing patterns known as Remoting Patterns. To evaluate the proposed implementation, an experiment was conducted in order to measure the response time of FLiMSy and also review the facilities of using purely functional features of Scala in developing a middleware object-oriented.

Submitted by Maicon Juliano Schmidt (maicons) on 2015-07-07T14:06:44Z No. of bitstreams: 1 Guilherme Callegaro Sesterheim.pdf: 2426478 bytes, checksum: a117a25708449aeacc29b10c7a0e280b (MD5) / Made available in DSpace on 2015-07-07T14:06:44Z (GMT). No. of bitstreams: 1 Guilherme Callegaro Sesterheim.pdf: 2426478 bytes, checksum: a117a25708449aeacc29b10c7a0e280b (MD5) Previous issue date: 2013-01-31 / Nenhuma / Este trabalho foi desenvolvido com o objetivo de melhorar a experiência do usuário com o desktop de dispositivos que usam sistema operacional Android através de identificação de contextos de uso. Os contextos de uso foram identificados através de registros de uso de aplicativos durante utilização dos mesmos. Para tanto, diferentes técnicas foram estudadas, tanto para entender a localização do dispositivo, como também para identificar e analisar diversos trabalhos relacionados de diferentes áreas. Para entender a localização do dispositivo, diferentes hardwares e as maneiras de interagir com os mesmos foram estudadas. Hardwares de Bluetooth, Wireless, GPS, NFC, Infravermelho e acelerômetro foram estudados e sua interação foi testada para obter informações e então armazená-las. Trabalhos da área também foram estudados, tendo desde dispositivos criados com o propósito de identificar localização, até alterações no comportamento de aplicações que estamos acostumados a usar com o propósito de deixa-las mais específicas. Como resultado deste trabalho, um protótipo funcional foi criado com o propósito de melhorar a experiência do usuário com o desktop de seu smartphone. Uma maneira inteligente de arranjar e destacar os ícones do desktop, e também de alertar o usuário sobre recomendações de aplicativos baseadas em histórico de uso, foi feita para ajuda-lo com suas tarefas usuais. / This work was developed aiming to improve the user experience in mobile devices’ desktop that uses Android operational system using context identification. The use contexts were identified through application use registers created during their utilization. For that, different techniques were used, such as to understand the device’s localization, and also to identify the related works in different problems found in different areas. To understand the device’s localization, different hardwares and the ways to interact with them were studied. Bluetooth, Wireless, GPS, NFC, Infrared and accelerometer hardware were searched and their interaction were tested to obtain and to store their information. Works related to the area were studied, finding since entire devices created specifically to identify the localization, and other ones created to change the application’s behavior we are used to use with the purpose of making it more specific. As result of this work, a functional prototype was created to enhance the user experience with his smartphone’s desktop. A more intelligent way to rearrange and to detach the desktop icons, and also to alert the user about the recommendation, was made to help him with his usual tasks.

Resumo: A aplicabilidade da rede de comunicação junto com o avanço tecnológico é constantemente explorada pelos projetistas de automação e controle, pois, estas vertentes podem melhorar o desempenho de um processo industrial. O padrão IEEE 1451, surge em meio a estes desafios, com intuito de homologar conceitos e tecnologias para implementar uma rede de transdutores inteligentes. Neste trabalho desenvolveu-se uma plataforma de hardware/software para ser utilizada na automação industrial, tanto cabeamento como sem fio, de acordo com os padrões IEEE 1451.2 e IEEE 1451.5. Essa plataforma, denominada neste trabalho por plataforma IEEE 1451, é composta por um hardware, o Módulo de Interface para Transdutores (TIM - Transducer Interface Module), e por um software Processador de Aplicação para Rede de Comunicação (NCAP - Network Capable Application Processor). A lógica de controle e as especificações dos transdutores (TEDS - Transducer Electronics Data Sheet) foram inseridas no TIM por meio da programação (linguagem C/C++) do processador NIOS II e o hardware sintetizado em FPGA da família Cyclone II, especificamente na placa de desenvolvimento DE2 da Altera Corporation. A programação do processador NIOS II baseou-se em um template definido neste trabalho como IEEE 1451 que possui funções e bibliotecas específicas para atender às funcionalidades das aplicações e das normas IEEE 1451. O NCAP possui características de um software supervisório e foi desenvolvido com tecnologia Java no ambiente NetBeans IDE (Integrated Development Environment) versão 6.5. Entre as principais funções deste NCAP está a capacidade de enviar e receber os dados através da porta RS232, geração de relatório incluindo a TEDS, interface gráfica dinâmica e identificação de usuários. A plataforma IEEE 1451 foi testada... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Designers usually exploit the fast evolution of technology along with the application of communication networks to improve the performance on industrial processes. The IEEE 1451 standard comes to aid in the development of networks of intelligent transducers, by defining concepts and technologies used in their implementations. This works intends to provide an application consisting of a hardware/software platform to be used in industrial automation, either wireless or not, according to the 1451.2 and 1451.5 IEEE standards. This IEEE 1451 platform is composed by a hardware part, the Transducer Interface Module (TIM), and a software part, the Network Capable Application Processor (NCAP). The control logic and the transducer specifications (TEDS - Transducer Electronics Data Sheet) were inserted in the TIM by programming in C/C++ a NIOS II processor, synthesized in a FPGA of the Cyclone II family, using the DE2 development board from Altera Corporation. The NIOS II programming was based on an IEEE 1451 template, with functions and libraries to implement the functionalities of the IEEE 1451 applications and guidelines. The NCAP software resembles a supervisory system and was developed in Java in the NetBeans integrated development environment, version 6.5. Amongst its main functions are the capabilities of report generation including TEDS, a dynamic graphical interface, user identification and the ability to send and receive data through a RS232 port. This IEEE 1451 platform was tested in the automation of different applications, demonstrating its flexibility and rapid prototyping suited for the development of control systems. Other advantages are the use of an object oriented language in the development of the NCAP software, which facilitates the code reuse, and the use of reconfigurable hardware for the TIM implementation. The results from this work showed that the technology applied... (Complete abstract click electronic access below) / Orientador: Alexandre César Rodrigues da Silva / Coorientador: Aparecido Augusto de Carvalho / Banca: Dionizio Paschoareli Junior / Banca: Luis Carlos Origa de Oliveira / Banca: Eduardo do Valle Simões / Banca: Mauro Conti Pereira / Doutor

ROCHA, Lincoln Souza. CAEHV: um método para verificação de modelos do tratamento de exceção sensível ao contexto em sistemas ubíquos. 2013. 113 f. Tese (Doutorado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-20T12:34:03Z No. of bitstreams: 1 2013_tese_lsrocha.pdf: 1533788 bytes, checksum: a51ba242829e63d58d2f966281d49c4a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-25T11:59:14Z (GMT) No. of bitstreams: 1 2013_tese_lsrocha.pdf: 1533788 bytes, checksum: a51ba242829e63d58d2f966281d49c4a (MD5) / Made available in DSpace on 2016-07-25T11:59:14Z (GMT). No. of bitstreams: 1 2013_tese_lsrocha.pdf: 1533788 bytes, checksum: a51ba242829e63d58d2f966281d49c4a (MD5) Previous issue date: 2013 / The context-aware adaptive software, also known as self-adaptive software, represents a specic class of complex software systems, which has as primary requirement the ability to monitor its execution environment (physical and logical) and reacts upon change, either adapting its internal structure and behavior or performing automatic tasks. In ubiquitous environments, context-aware adaptive software plays a fundamental role, as it must be designed to interact with the physical environment, aiming to transparently supporting users in their daily activities, improving or hiding the interaction between human and computer. In that direction, the application domain in which context-aware adaptive software may be applied is broad (e.g., smart home, mobile visit guide, gaming, health or rescue missions), requiring a high-degree of reliability, not only capable of performing its functional requirements, but also dealing with abnormal conditions, avoiding occasional failures. Although context-aware exception handling has been used to improve robustness and reliability levels of context-aware adaptive software, it requires from the software designers a good understanding of the application domain, turning out to be a complex and error-prone activity. In order to achieve the expected results of using context-aware exception handling, it is mandatory to follow a rigorous design approach, trying to minimize the number of design faults. In this scenario, this doctoral thesis proposes a method for model checking context-aware exception handling, named CAEH!(Context-Aware Exception Handling Verication). It provides a set of abstractions that permits designers to model the context-aware exceptional behavior and translates it to a Kripke structure. Additionally, a set of behavior properties is established, attempting to aid designers to identify specic types of design faults. To evaluate the feasibility of the proposed method, a tool, called JCAEH!, for modeling and verication of context-aware exceptional behavior is developed, and fault injection scenarios are modeled to analyze its eectiveness in identifying design faults. / Os sistemas de software adaptativos sensíveis ao contexto, também conhecidos como auto-adaptativos, representam uma classe particular de sistemas de software complexos. Esse tipo de sistema de software tem como requisito básico observar o ambiente (físico e lógico) em que executa e reagir de forma apropriada às mudanças, quer seja adaptando sua estrutura e comportamento ou executando tarefas de forma automática. Nos ambientes ubíquos, o software adaptativo sensível ao contexto assume um papel fundamental, sendo projetado para interagir com o ambiente físico com intuito de auxiliar as pessoas, de forma transparente, na execução das suas atividades cotidianas, tornando a interação humano-computador mais natural. Devido ao seu amplo domínio de aplicação (e.g., casas inteligentes, guias móveis de visitação, jogos, saúde e missões de resgate), os sistemas de software adaptativo sensível ao contexto precisam ser confiáveis, para cumprir com a sua função e lidar com situações anormais, evitando eventuais falhas. Nesse sentido, o tratamento de exceção sensível ao contexto vem sendo empregado na melhoria dos níveis de robustez e confiabilidade desse tipo de sistema de software. Entretanto, o projeto e implementação do tratamento de exceção sensível ao contexto exige dos projetistas insights e expertise de domínio, sendo uma atividade complexa e propensa a erros. Desse modo, para que o tratamento de exceção sensível ao contexto atinja os objetivos esperados, é necessário que ele seja projetado de forma rigorosa, buscando eliminar ao máximo o número de faltas de projeto (design faults). Nesse cenário, esta tese de doutorado propõe um método para verificação de modelos do tratamento de exceção sensível ao contexto, denominado CAEHV (Context-Aware Exception Handling Verification). O CAEHV provê um conjunto de abstrações que permitem aos projetistas modelarem o comportamento excepcional sensível contexto e mapeá-lo para uma estrutura de Kripke. Além disso, um conjunto de propriedades comportamentais é estabelecido com o intuito de auxiliar os projetistas no processo de identificação de determinados tipos de faltas de projeto. Por fim, com o objetivo de avaliar a viabilidade do método, uma ferramenta para a modelagem e verificação do comportamento excepcional sensível ao contexto foi desenvolvida e cenários de injeção de faltas (fault injection) foram modelados para analisar a sua efetividade na identificação de faltas de projeto no modelo.