Sound pressure level (SPL) is known to cause stress in cattle but is often overlooked as a potential source of fear for cattle when designing handling equipment. Current literature does not offer guidelines for the design of equipment with regard to SPL. It is, however, recommended that handling equipment should be designed to minimize the SPL during handling. The purpose of this experiment was to measure stress levels in a group of cattle which were subjected to a series of varying sounds in order to determine a design threshold limit for handling equipment. Treatments included two frequencies, 1 kHz and 8 kHz, and three intensities, 40, 80, and 120dB. These treatments were assigned to the cattle using a completely randomized two by three factorial design replicated three times for a total of 18 animals being tested. A computer generated noise at each level was played back to the animals once a week for 6 weeks. Stress levels were measured using both physiological (heart rate and eye temperature) and physical (sudden movement) measures. Experiments yielded mixed results and did not prove that any of the sound pressure levels tested had any great effect on the stress level of the cattle.

A manipulação neonatal promove alterações neuroendócrinas e comportamentais em ratos. Os efeitos conhecidos deste procedimento não são observáveis após gonadectomia neonatal e antes da instalação da puberdade, sugerindo que os hormônios esteróides gonadais modulam os efeitos da manipulação neonatal. Este trabalho teve como objetivo investigar uma possível modulação dos efeitos da manipulação neonatal sobre comportamentos e a resposta ao estresse da PRL e do LH. O efeito da manipulação neonatal sobre a atividade noradrenérgica no PVN induzida por estresse também foi avaliada. A manipulação neonatal consistiu em manipular os filhotes do 1° ao 10° dia de vida. Os animais foram estudados na idade adulta. No experimento 1, o comportamento no campo aberto e as respostas da PRL e do LH ao estresse por contenção foram analisados em ratos e ratas nas fases do diestro, proestro e estro. No experimento 2, os animais nãomanipulados e manipulados foram submetidos à gonadectomia fictícia, gonadectomia e gonadectomia seguida de reposição hormonal de testosterona nos machos e estradiol nas fêmeas. Três semanas após as cirurgias, o comportamento no campo aberto e as respostas da PRL e do LH ao estresse foram realizados. No experimento 3 ratos machos e fêmeas em diestro foram subdivididos em basal e estresse. As concentrações plasmáticas de PRL foram determinadas por radioimunoensaio e os conteúdos de NA e MHPG foram determinados através de detecção eletroquímica. Ratos machos manipulados permaneceram mais tempo nos quadrantes centrais e ratas apresentaram aumento da duração de locomoção no campo aberto ao longo do ciclo estral. A gonadectomia em ratos machos e fêmeas manipulados reduziu a duração de locomoção no campo aberto e em ratas reduziu a freqüência de entrada nos quadrantes centrais. A manipulação neonatal reduziu a resposta da PRL e do LH ao estresse em ratos machos. Em ratas na fase do estro foi observada uma menor resposta da PRL ao estresse quando comparadas às ratas nãomanipuladas na fase do estro. O mesmo ocorreu com a resposta do LH ao estresse em ratas manipuladas nas fases do proestro e do estro. A redução da resposta da PRL ao estresse em ratas manipuladas foi observada apenas em ratas submetidas à ovariectomia fictícia. Ratas manipuladas não apresentaram aumento da razão MHPG/NA no PVN após aplicação do estresse. Os efeitos da manipulação neonatal sobre comportamentos em ratos machos e fêmeas e sobre a resposta da PRL ao estresse em fêmeas parecem depender da presença de hormônios esteróides gonadais. A ciclicidade dos hormônios esteróides gonadais durante o ciclo estral influencia os efeitos da manipulação neonatal sobre a resposta da PRL e do LH ao estresse em ratas. A manipulação neonatal reduz a responsividade do sistema noradrenérgico ao estresse em fêmeas. / Neonatal handling promotes neuroendocrine and behavioral changes in rats. Known effects of this procedure are not perceived after neonatal gonadectomy and before puberty, suggesting that gonadal steroids hormones modulate the effects of neonatal handling. The objective of this work is to investigate a possible modulation of the neonatal handling effects in behaviors and the stress response of PRL and LH. The neonatal handling effect over noradrenergic activity in PVN induced by stress was also evaluated. Neonatal handling consisted in handling pups from the 1º to the 10º day of life. Animals were studied in adult age. In experiment 1, the behavior in open field and the PRL and LH responses to stress through restraint were analised in male and female rats in diestrus, proestrus and estrus phases. In experiment 2, non-handled and handled animals were submitted to sham gonadectomy, gonadectomy and gonadectomy followed by testosterone hormonal replacement in males and estradiol hormonal replacement in females. Three weeks after surgery, open field behavior and PRL and LH responses to stress were conducted. In experiment 3 male and female rats in diestrus were grouped in basal and stress. PRL plasm levels were determined through radioimmunoassay and NA and MHPG contents were determined through electrochemical detection. Handled male rats remained more time in central squares and female rats showed an increase in locomotion duration in open field through estral cycle. Gonadectomy in male rats and handled females reduced locomotion duration in open field and in female rats reduced the frequency in central squares. Neonatal handling reduced PRL and LH response to stress in male rats. In the estrus phase of female rats was observed a lower PRL response to stress when compared to non-handled female rats in estrus phase. The same happened with LH response to stress in female handled rats in proestrus and estrus phases. The reduction in PRL response to stress in handled female rats was observed only in female rats submitted to sham ovariectomy. Handled female rats do not showed increase in MHPG/NA quocient in PVN after stress application. Neonatal handling effects over behaviors seems to depend of the gonadal steroids hormones presence. The cycling of gonadal steroids hormones during estral cycle influences the effects of neonatal handling over PRL and LH response to stress in female rats. Neonatal handling reduces the responsivity of the noradrenergic system to stress.

Syftet med uppsatsen är att ta fram en mall för intern dokumenthantering och projektstyrning åt byggföretaget Byggtec Gävleborg AB. För att komma fram till resultatet har jag till använt mig av intervjuer av olika tjänstemän på Byggtec. Jag har även gjort litteraturstudier genom 4 tidskrifter med inriktning mot byggbranschen, samt studerat liknande system som redan finns på marknaden. Totalt så intervjuades 3 byggplatschefer samt den ekonomiansvarige och VD:n, detta gav en god uppfattning om vilka områden som borde täckas upp på plattformen, det gav även en bild av hur de vill att arbetet med plattformen ska utföras. Intervjuerna som gjordes handlade om de olika byggplatschefernas arbetssätt i dagsläget, samt hur de vill att plattformen ska byggas upp och hur de vill att den ska användas. Rapporten är avgränsad till att tillgodose Byggtec Gävleborg ABs behov då det är för dem studien är gjord, men trots att den är avgränsad till Byggtec så fungerar upplägget lika bra även åt andra byggföretag. Detta resulterade i en mall som lämpar sig bra att spara de viktigaste och mest användbara dokumenten under ett byggprojekt i. Mallen innehåller även de viktigaste dokument och handlingar som kan tänkas användas i framtida bruk. / The purpose with this essay is to obtain a template for internal document management and project control for the company Byggtec Gävleborg AB. To achieve the results I mostly have used interviews of different officials at Byggtec. Other methods that has been used is literature studies through different magazines and also studying similar systems that are already on the market. Totally 3 construction site managers, the financial officer and the CEO were interviewed. This gave a good perception of what subjects that should be covered by the platform. It also gave a picture of how they wanted the work with the platform would be done. The interviews who were held was how the construction site managers work today, how they want the platform to be constructed and how they want it to be used. The report is limited to meet the requirements of Byggtec Gävleborg AB. It is for them the report has been done. Although it is limited for them the report layout would be suitable for any building company. This gave as result a template useable to save the most important documents during a constructing project. The template also contains the most important documents which may be used for future use. / <p>Betyg 170707, H14.</p>

A manipulação neonatal promove alterações neuroendócrinas e comportamentais em ratos. Os efeitos conhecidos deste procedimento não são observáveis após gonadectomia neonatal e antes da instalação da puberdade, sugerindo que os hormônios esteróides gonadais modulam os efeitos da manipulação neonatal. Este trabalho teve como objetivo investigar uma possível modulação dos efeitos da manipulação neonatal sobre comportamentos e a resposta ao estresse da PRL e do LH. O efeito da manipulação neonatal sobre a atividade noradrenérgica no PVN induzida por estresse também foi avaliada. A manipulação neonatal consistiu em manipular os filhotes do 1° ao 10° dia de vida. Os animais foram estudados na idade adulta. No experimento 1, o comportamento no campo aberto e as respostas da PRL e do LH ao estresse por contenção foram analisados em ratos e ratas nas fases do diestro, proestro e estro. No experimento 2, os animais nãomanipulados e manipulados foram submetidos à gonadectomia fictícia, gonadectomia e gonadectomia seguida de reposição hormonal de testosterona nos machos e estradiol nas fêmeas. Três semanas após as cirurgias, o comportamento no campo aberto e as respostas da PRL e do LH ao estresse foram realizados. No experimento 3 ratos machos e fêmeas em diestro foram subdivididos em basal e estresse. As concentrações plasmáticas de PRL foram determinadas por radioimunoensaio e os conteúdos de NA e MHPG foram determinados através de detecção eletroquímica. Ratos machos manipulados permaneceram mais tempo nos quadrantes centrais e ratas apresentaram aumento da duração de locomoção no campo aberto ao longo do ciclo estral. A gonadectomia em ratos machos e fêmeas manipulados reduziu a duração de locomoção no campo aberto e em ratas reduziu a freqüência de entrada nos quadrantes centrais. A manipulação neonatal reduziu a resposta da PRL e do LH ao estresse em ratos machos. Em ratas na fase do estro foi observada uma menor resposta da PRL ao estresse quando comparadas às ratas nãomanipuladas na fase do estro. O mesmo ocorreu com a resposta do LH ao estresse em ratas manipuladas nas fases do proestro e do estro. A redução da resposta da PRL ao estresse em ratas manipuladas foi observada apenas em ratas submetidas à ovariectomia fictícia. Ratas manipuladas não apresentaram aumento da razão MHPG/NA no PVN após aplicação do estresse. Os efeitos da manipulação neonatal sobre comportamentos em ratos machos e fêmeas e sobre a resposta da PRL ao estresse em fêmeas parecem depender da presença de hormônios esteróides gonadais. A ciclicidade dos hormônios esteróides gonadais durante o ciclo estral influencia os efeitos da manipulação neonatal sobre a resposta da PRL e do LH ao estresse em ratas. A manipulação neonatal reduz a responsividade do sistema noradrenérgico ao estresse em fêmeas. / Neonatal handling promotes neuroendocrine and behavioral changes in rats. Known effects of this procedure are not perceived after neonatal gonadectomy and before puberty, suggesting that gonadal steroids hormones modulate the effects of neonatal handling. The objective of this work is to investigate a possible modulation of the neonatal handling effects in behaviors and the stress response of PRL and LH. The neonatal handling effect over noradrenergic activity in PVN induced by stress was also evaluated. Neonatal handling consisted in handling pups from the 1º to the 10º day of life. Animals were studied in adult age. In experiment 1, the behavior in open field and the PRL and LH responses to stress through restraint were analised in male and female rats in diestrus, proestrus and estrus phases. In experiment 2, non-handled and handled animals were submitted to sham gonadectomy, gonadectomy and gonadectomy followed by testosterone hormonal replacement in males and estradiol hormonal replacement in females. Three weeks after surgery, open field behavior and PRL and LH responses to stress were conducted. In experiment 3 male and female rats in diestrus were grouped in basal and stress. PRL plasm levels were determined through radioimmunoassay and NA and MHPG contents were determined through electrochemical detection. Handled male rats remained more time in central squares and female rats showed an increase in locomotion duration in open field through estral cycle. Gonadectomy in male rats and handled females reduced locomotion duration in open field and in female rats reduced the frequency in central squares. Neonatal handling reduced PRL and LH response to stress in male rats. In the estrus phase of female rats was observed a lower PRL response to stress when compared to non-handled female rats in estrus phase. The same happened with LH response to stress in female handled rats in proestrus and estrus phases. The reduction in PRL response to stress in handled female rats was observed only in female rats submitted to sham ovariectomy. Handled female rats do not showed increase in MHPG/NA quocient in PVN after stress application. Neonatal handling effects over behaviors seems to depend of the gonadal steroids hormones presence. The cycling of gonadal steroids hormones during estral cycle influences the effects of neonatal handling over PRL and LH response to stress in female rats. Neonatal handling reduces the responsivity of the noradrenergic system to stress.

A evolução das tecnologias de rede estão impulsionando o avanço da área da computação pervasiva. O projeto ISAM (Infra-estrutura de Suporte às Aplicações Móveis Distribuídas), em desenvolvimento no IIjUFRGS, tem como foco atender as demandas de pesquisa desta área e tem como premissa uma abordagem integrada na concepção do ambiente de desenvolvimento e do ambiente de execução. O EXEHDA (Execution Environrnent for High Distributed Applications) constitui o ambiente de execução do ISAM, sendo responsável pela gerência do processamento das aplicações pervasivas.Esta dissertação propõe um frarnework de escalonamento denominado TiPS concebido como um módulo do EXEHDA. O escopo de pesquisa do TiPS tem como tônica o escalonamento na computação pervasiva e a sua concepção na forma de um framework permite a utilização de diferentes estratégias de escalonamento, através da troca de seus componentes mesmo durante a execução. A modelagem do TiPS considera o uso de inteligência artificial baseada em redes bayesianas na proposição da heurística de escalonamento a ser empregada no seu framework. A utilização de redes bayesianas tem por objetivo o tratamento das incertezas relacionadas à elevada dinamicidade típica do ambiente de computação pervasiva. O TiPS foi implementado em Java, com suas funcionalidades integradas aos outros serviços do EXEHDA. Neste sentido foi desenvolvido para gerenciar o frmnework do TiPS, um módulo para a ferramenta EXEHDA-AMI, utilizada para gerenciar o EXEHDA como um todo. O TiPS foi comparado com outros dois escalonadores, para tanto foi desenvolvida uma aplicação de teste e um módulo de geração sintética de carga para promover a dinamicidade do contexto de execução. Os resultados obtidos com o T'iPS foram promissores e apontam para a viabilidade do emprego de heurísticas de escalonamento que envolvem técnicas de inteligência artificial na computação pervasiva. / The evolution of the network technologies are strengthening the pervasive computing development. The ISAM (Infm-estrutum de Suporte às Aplicações Pervasivas) is under development in the II/UFRGS and has as it's main focus on assisting the research dernands related to this therne, and its approach is to integrate the development environmellt and the execution environment. The EXEHDA (Executioll Environrnent for High Distributed Applications) constitutes the execution environment of ISAM, being responsib1e for the management of the pervasive applications execution. This dissertation proposes a framework for scheduling called TiPS, which was conceived as an EXEHDA module. The research scope of TiPS has as its tonic the scheduling in the pervasive computing environrnent, and its conception as a framework permits the use of different scheduling strategies, by the exchange of its components even during the execution. The TiPS rnodelillg considers the integration of all artificial illtelligence strategy based on bayesian networks, within the scheduling frarnework. The use of bayesiall networks has the objective to handle the uncertainties related to the highly dynamic behavior, which is typical in the pervasive computing. TiPS was irnplemellted in Java and its functionalities were integrated to other EXEHDA services, in this sense it was also developed a management module to the EXEHDA-AMI tool, which is used to manage EXEHDA. TiPS was compared to two other schedulers, for this comparison it was developed a test application and a synthetic load generator to create dynamics of the execution environment. The results obtained by TiPS points to the viability of the use of scheduling heuristics based on artificial intelligence tools in the pervasive computing.

The objective of this study was to examine the handling influence on breath rate and plasma corticosterone in adult common voles. Furthermore, the examination of relationship between physiological and personality traits was performed. A device consisting of chamber, pressure sensor and oscilloscope measured the breath rate. Enzyme-linked immunosorbent assay (ELISA) was used for corticosterone analysis. Behavioural characteristics were assessed in Open field test (OFT) and Elevated Plus Maze (EPM). The results did not prove the significant impact on resting breath rate and plasma corticosterone level. However, the handled individuals had nearly significantly lower stress breath rate compared to the non-handled individuals. Significant relationship between breath rate and behavioural traits was not detected. Nevertheless, the individuals with lower stress-induced plasma corticosterone performed significantly longer exploration in Elevated Plus Maze.

A inseminação artificial intracervical superficial em ovinos é uma técnica simples, de baixo custo e eficiente no emprego do sêmen fresco. Por outro lado, particularidades do aparelho reprodutivo da fêmea ovina, a quantidade de células espermáticas que sobrevivem ao pós-congelamento bem como a capacitação precoce de espermatozóides durante o processo de criopreservação, impedem o emprego desta técnica com sêmen criopreservado, fazendo-se necessária a deposição intrauterina, com auxílio da laparoscopia. Desconhece-se a eficiência da inseminação artificial intracervical superficial em ovinos, empregando-se sêmen criopreservado e capacitado in vitro. O experimento foi realizado com objetivo de determinar as taxas de prenhez com o sêmen criopreservado e capacitado in vitro. Os animais foram divididos aleatoriamente em 5 grupos: sêmen fresco (SF); sêmen congelado cervical (SCC); sêmen congelado laparoscopia (SCL); sêmen congelado capacitado cervical (SCCC); e sêmen congelado capacitado laparoscopia (SCCL). Todas as fêmeas receberam doses inseminantes com concentração de 200x106 sptz. As inseminações ocorreram em um período de 52 a 60 horas após a retirada dos dispositivos de progesterona. Os diagnósticos de prenhez foram realizados com auxílio da ultrassonografia 30 dias após as inseminações. As taxas de prenhez observadas foram: No grupo SF 42,30% (11/26), SCC 23,07% (6/26), SCL 54,16% (13/24), SCCC 25,92% (7/27), SCCL 48,14% (13/27), não existindo diferença estatística entre os grupos experimentais. O experimento realizado mostrou que é possível obter prenhez, empregando sêmen criopreservado e capacitado in vitro, na inseminação artificial pela via cervical em ovinos. / The superficial intracervical insemination in sheep is a simple, low cost and efficient technique using fresh semen. Still, the particularities of the female tract, the amount of sperm cells wich survive and the early capacitation during the cryopreservation process, difficult the use of this technique with cryopreserved semen, maaing it's necessary to intrauterine with the aid of laparoscopy. It's unanown the efficiency of superficial intracervical insemination in ovine, using cryopreserved and in vitro capacitated semen. The experiment was carried out with the objective to determine the pregnancy rate of ewes inseminated with cryopreserved and in vitro capacitated semen. The females were randomly distributed among five experimental groups: fresh semen (SF), frozen semen cervical (SCC), frozen semen laparoscopy (SCL), frozen semen in vitro capacitated cervical (SCCC), frozen semen in vitro capacitated laparoscopy (SCCL). All females received dosis with 00x106sptz per insemination. The inseminations were performed from to 60 hours after the withdrawal of progesterone implants. The pregnancy diagnosis was conducted by ultrasongraphy 30 days after inseminations. The observed pregnancy rates was: SF ,30% (113 6), SCC 3,07% (63 6), SCL ,16% (133 ) SCCC %, SCCL 4,1 % (133 7). our experiment showed that in sheep it's viable the superficial cervical artificial insemination using cryopreserved and in vitro capacitated semen.

QUEIROZ FILHO, Carlos Alberto Batista de. Um mecanismo de tratamento de excessões sensível ao contexo para sistemas ubíquos orientados a tarefas. 2012. 96 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2012. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T11:44:28Z No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-14T15:27:51Z (GMT) No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) / Made available in DSpace on 2016-07-14T15:27:51Z (GMT). No. of bitstreams: 1 2012_dis_cabqueirozfilho.pdf: 1970524 bytes, checksum: 4c0037e9a7ae7b752cee99522d45b0b2 (MD5) Previous issue date: 2012 / The main purpose of ubiquitous computing is to provide information and features needed to help people in their daily tasks, proactively and transparently, at any time and anywhere. The development of ubiquitous systems involves a set of challenging requirements, including: context awareness, which allows systems to adapt their behavior to respond appropriately in the face of environmental changes, and dependability, which is related to the ability of systems provide a service which offer strong indications that are reliable. Regarding the attributes of dependability, neglecting them can bring grievances from small to severe risks to the physical integrity of the users. Exception handling is a major fault tolerance techniques used in software development to achieve greater levels of dependability. This technique, even though it is widely used in traditional software development, it is still not widely used in the development of ubiquitous systems. This is due to challenging requirements and characteristics of this type of system, among which we highlight the sensitivity to the context and distribution, which can make the necessary possibilities of handling exceptions in a system as a whole is greater than the sum of possibilities for exception handling of the parts that compose it. Therefore, this dissertation aims to propose a mechanism for exception handling context-sensitive ubiquitous systems for task-oriented. The proposed mechanism is available through a framework called foreheads, which allows the reuse mechanism. By using this framework, system functionality can be implemented on an abstraction task, which responds appropriately to changes in context, detecting and treating exceptional situations. To validate the proposed mechanism was implemented a prototype system of parking control ubiquitous as a proof of concept, which focuses on demonstration of how the tasks are implemented that make up this system and how they are defined exceptions contextual and their handlers. / O principal propósito da Computação Ubíqua é o fornecimento de informações e funcionalidades necessárias para ajudar as pessoas em suas tarefas cotidianas, de maneira proativa e transparente, a qualquer instante e em qualquer lugar. O desenvolvimento de sistemas ubíquos envolve um conjunto de requisitos desafiadores, dentre eles: sensibilidade ao contexto, que permite que os sistemas adaptem o seu comportamento para responder de forma apropriada diante de mudanças do ambiente; e dependabilidade, que está relacionado à capacidade dos sistemas de prestarem um serviço os quais ofereçam fortes indícios de que são confiáveis. Em relação aos atributos de dependabilidade, negligenciá-los pode trazer desde pequenas insatisfações até graves riscos à integridade física dos usuários. O tratamento de exceções é uma das principais técnicas de tolerância a faltas empregadas no desenvolvimento de software para atingir maiores níveis de dependabilidade. Essa técnica, apesar de já ser amplamente utilizada no desenvolvimento de software tradicional, ainda é pouco empregada no desenvolvimento de sistemas ubíquos. Isso ocorre em virtude das características e requisitos desafiadores desse tipo de sistema, dentre os quais se destacam a sensibilidade ao contexto e a distribuição, a qual pode fazer com que as possibilidades necessárias de tratamento de exceções de um sistema como um todo seja maior do que a soma das possibilidades de tratamento de exceções das partes que o compõe. Portanto, essa dissertação tem como objetivo propor um mecanismo de tratamento de exceções sensível ao contexto para sistemas ubíquos orientados a tarefas. O mecanismo proposto é disponibilizado através de um framework, denominado FRonTES, que permite a reutilização do mecanismo. Através da utilização desse framework, funcionalidades do sistema podem ser implementadas sob uma abstração de tarefa, que responde de maneira adequada a mudanças de contexto, detectando e tratando situações excepcionais. Para a validação do mecanismo proposto foi implementado um protótipo de sistema de controle de estacionamento ubíquo como uma prova de conceito, que foca na demonstração de como são implementadas as tarefas que compõem esse sistema e como são definidas as exceções contextuais e seus tratadores.

LIMA, Rafael de. CatchML: uma linguagem de domínio específico para modelagem do tratamento de exceção sensível ao contexto. 2013. 111 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2013. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T15:18:44Z No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-20T13:54:36Z (GMT) No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) / Made available in DSpace on 2016-07-20T13:54:36Z (GMT). No. of bitstreams: 1 2013_dis_rlima.pdf: 1916774 bytes, checksum: 8d3c896a97a4692523fcd35305e73f1e (MD5) Previous issue date: 2013 / In ubiquitous systems, due to the complexity added by the use of contextual information, the application of context aware exception handling (CAEH) techniques has many challenges and in the literature several approaches have been found to define concepts and abstractions useful for modeling CAEH. However, only one of these approaches proposes a method for specification and verification of models in the field of ubiquitous systems, which provides a tool for specifying the CAEH model using a Java API, and also generates an error report to a text file. The disadvantage of this approach is that the designer should strive to understand programming details that are irrelevant to the analysis process of the exceptional behavior of the system. Then, this work aims to propose a domain specific language for modeling CAEH, which provides abstractions and constructors that allow to express relevant concepts and make the task of designing CAEH models simpler and more intuitive. In addition, the language is integrated with the tool mentioned before that allows automatic model verification. The errors generated by the verifier are now shown directly in the source code making their identification and correction easier for the designer. In order to evaluate the language, a case study is conducted to provide evidence of its viability as an alternative to modeling CAEH. / Em sistemas ubíquos, devido à complexidade inserida pela utilização de informações contextuais, a aplicação de técnicas de tratamento de exceção sensível ao contexto (TESC) tem sido objeto de estudo para muitos pesquisadores. Na literatura são encontradas diversas abordagens que definem conceitos e abstrações úteis para modelagem de TESC. Entretanto, apenas uma dessas abordagens propõe um método para especificação e verificação de modelos no domínio de sistemas ubíquos o qual fornece uma ferramenta para especificação do modelo de TESC através de uma API Java, e gera ainda um relatório de erros em um arquivo texto. A desvantagem dessa abordagem é que o projetista deve se esforçar para entender detalhes de programação irrelevantes ao processo de análise do comportamento excepcional do sistema. Esta dissertação tem portanto como objetivo propor uma linguagem de domínio específico para modelagem de TESC, com o intuito de oferecer abstrações e construtores que permitem expressar conceitos pertinentes e tornar a tarefa de projetar modelos de TESC mais simples e intuitiva. Além disso, a linguagem é integrada com a ferramenta citada anteriormente, o que permite realizar a verificação do modelo de forma automática. Os erros gerados pelo verificador são mostrados agora diretamente no código do modelo facilitando a identificação e correção dos mesmos pelo projetista. A fim de avaliar a linguagem, um estudo de caso é realizado para fornecer indícios de sua viabilidade como alternativa para modelagem de TESC.

La thèse s'inscrit dans le cadre du projet européen VENUS. Dans ce contexte, la photogrammétrie est utilisée pour produire des relevés 3D sur les objets. La connaissance sur ces objets provient à la fois de l'archéologie sous-marine et de la photogrammétrie. Les informations étant structurées, hiérarchisées et parfois incomparables, nous nous sommes intéressés aux bases de croyance partiellement préordonnées. Par ailleurs, l'acquisition des données peut conduire à l'apparition d'incohérence. Nous avons étendu l'approche des R-ensembles à la restauration de la cohérence. Nous avons également proposé un cadre de travail pour la révision de bases de croyance partiellement préordonnées et deux relations d'inférence lexicograhique. nous avons fourni pour ces approches une mise en oeuvre en utilisant la programmation logique avec ASP. Finalement, nous avons implanté notre méthode de restauration de la cohérence dans le contexte de VENUS et nous l'avons testé sur les relevés issus du projet. / This PHD has been performed within the European VENUS project. In this context, photogrammetry is used to produced 3D survey on objects and the knowledge on studied artefacts comes from both underwater archaeology and photogrammetry. This information being structured, hierachized and sometimes incomparable, we focused on partially preordered belief bases. Data acquisition possibly leads to inconsistency. We extended the Removed Set approach to inconsistency handling. To compare subsets of formulae to remove in order to restore consistency, we introduced the lexicographic comparator. Moreover, we proposed a new framework for the revision of partially preordered belief bases and two lexicographic inference relations. We proposed an implementation stemming from ASP. Finally, we implemented our inconsistency handling method in the VENUS context and we provided an experimental study on 3D surveys of the project.