Submitted by Simone Souza (simonecgsouza@hotmail.com) on 2017-09-19T15:36:22Z No. of bitstreams: 1 DISS_2014_Jacqueline Neres Castilho.pdf: 770755 bytes, checksum: 8366f4930177c9447816c41a265e2d81 (MD5) / Approved for entry into archive by Jordan (jordanbiblio@gmail.com) on 2017-09-26T12:36:48Z (GMT) No. of bitstreams: 1 DISS_2014_Jacqueline Neres Castilho.pdf: 770755 bytes, checksum: 8366f4930177c9447816c41a265e2d81 (MD5) / Made available in DSpace on 2017-09-26T12:36:48Z (GMT). No. of bitstreams: 1 DISS_2014_Jacqueline Neres Castilho.pdf: 770755 bytes, checksum: 8366f4930177c9447816c41a265e2d81 (MD5) Previous issue date: 2014-07-21 / CAPES / Os inibidores da enzima conversora de angiotensina (ECA) além de inibirem formação da angiotensina II (Ang II) são imunoreguladores capazes de inibir a produção de citocinas proinflamatórias, como o fator de necrose tumoral-alfa (TNF-α), assim como estimular a secreção de interleucinas (IL) anti-inflamatórias, como a IL-10. Entretanto, os efeitos desses medicamentos sobre a produção de anticorpos ainda não estão bem entendidos em camundongos normais. Portanto, os objetivos do presente trabalho é avaliar os efeitos do enalapril e do captopril sobre a resposta humoral e a produção de citocinas no modelo murino. Para se verificar a possível ação imunoreguladora dos inibidores da ECA, enalapril e do captopril, sobre a resposta humoral, foram avaliados os níveis de IgG1 e IgM anti-OVA em soros de camundongos C57Bl/6 imunizados com OVA em presença de gel de hidróxido de alumínio com ou sem tratamento com enalapril ou captopril. A IL-5 foi avaliada em soros coletados no final do experimento. A análise dos anticorpos anti-OVA e da IL-5 foi feita por ensaios imunoenzimático (ELISA), nos quais foram também incluídos soros dos animais controle, que foram injetados com salina tamponada com fosfato (PBS) e deixados sem tratamento. A análise estatística dos resultados dos anticorpos anti-OVA mostrou que não houve diferença significante nos níveis de IgG1 e IgM específicas para OVA comparando-se os animais não tratados com aqueles que foram tratados com enalapril ou captopril. A IL-5 foi detectada somente em dois dos cinco animais imunizados e não tratados e dois camundongos do grupo controle. A partir dos resultados, pode-se concluir que nem enalapril nem captopril regulam, de forma significante, a produção de IgG1 e IgM anti-OVA. Como todos os animais imunizados e tratados com enalapril ou captopril apresentaram níveis séricos de IL-5 abaixo do limite de detecção (4 pμ/mL) da reação usada para avaliá-la, não é possível afirmar que esses medicamentos inibem a produção da IL-5 sistêmica no modelo estudado. / Angiotensin-converting enzyme (ACE) inhibitors block the formation of angiotensin II (Ang II). They are also immunoregulatory drugs capable of inhibiting the production of proinflammatory cytokines such as tumor necrosis factor-alpha (TNF-α) as well as stimulate secretion of anti-inflammatory interleukins (IL), such as IL-10. However, the effects of these drugs on antibody production are not well understood in normal mice. Therefore, the objectives of this study are to evaluate the effects of enalapril and captopril on the humoral response and cytokine production in murine model. To verify the possible immunoregulatory action of ACE inhibitors, enalapril and captopril on the humoral response, we assessed the levels of IgM and IgG1 anti-OVA in sera of C57Bl/6 mice immunized with OVA in the presence of hydroxide gel aluminum with and without treatment with captopril or enalapril. IL-5 was assessed in sera collected at the end of the experiment. Analysis of anti-OVA antibodies and IL-5 was performed by enzyme-linked immunosorbent assays (ELISA), which were also included sera of control animals which were injected with phosphate buffered saline (PBS) and left untreated. Statistical analysis of the results of anti-OVA antibodies showed no significant difference in the levels of IgG1 and IgM specific for OVA comparing untreated animals with those treated with enalapril or captopril. IL-5 was detected in two of the five immunized animals and untreated. Two out of five mice in the control group also presented IL-5. From the results it can be concluded that captopril and enalapril do not significantly regulate the production of IgG1 and anti-OVA IgM. As all immunized animals that were treated with enalapril or captopril showed serum IL-5 levels below the detection limit (4 pμ/mL) of the reaction used to evaluate it, we can not state that these drugs inhibit the production of systemic IL-5 in this model.

Este trabalho busca avaliar o efeito da sobrepressão interna na avaliação crítica de engenharia (ECA) de dutos submersos sujeitos a flambagem lateral controlada, que essencialmente consiste na análise de carregamentos combinados associados a grandes deformações longitudinais. O objetivo principal é avaliar a viabilidade da adoção de corpos-de-prova SENT na avaliação da resistência à fratura em dutos sujeitos a esforços combinados utilizando procedimentos analíticos que incorporam do aumento das forças motrizes devido à sobrepressão interna. Este estudo apresenta uma revisão sobre os procedimentos de ECA utilizados em dutos submersos e sobre o efeito da pressão interna na capacidade de deformação de dutos. Os procedimentos adotados atualmente e procedimentos alternativos são discutidos e implementados em um problema prático envolvendo diferentes razões de diâmetros por espessuras, expoentes de encruamento, níveis de sobrepressão e deformação longitudinal. Alguns casos selecionados são comparados com soluções elasto-plásticas de J, e.g. EPRI. Os resultados apresentados fornecem uma boa compreensão sobre as vantagens e limitações de cada procedimento, incluindo a possibilidade de estender sua aplicação além do limite normativo de 0,4% de deformação longitudinal. / This work aims to evaluate the effect of internal overpressure on the engineering critical assessment (ECA) of submarine pipelines subjected to controlled lateral buckling, which essentially consists of the analysis of combined loading with large longitudinal strains at the buckle crown. The main goal is to evaluate the feasibility of using SENT specimens to characterize the fracture resistance in the assessments of pipelines subjected to combined loadings using analytical procedures that takes into account the increase of crack driving force due to internal overpressure. This study presents a revision about ECA procedures used in submarine pipelines and about the effect of biaxial stresses their tensile strain capacity. Both standard and alternative procedures are discussed and implemented in a practical problem involving different diameter to thickness ratios, hardening exponents, levels of internal pressure and longitudinal strain. Some selected cases are compared with full elastic-plastic J solutions, e.g. EPRI. The results provide useful insights regarding the advantage and limitations of each procedure, including the possibilities to extend their applicability beyond the standard limit of 0,4% of longitudinal strain.

Esta tese apresenta o estudo dos casos de desligamentos de cinco professores da Escola de Comunicações e Artes da Universidade de São Paulo (ECA/USP) durante o regime militar (1969-1979): Jean Claude Bernardet, Thomaz Farkas, José Freitas Nobre, Jair Borin e José Marques de Melo. O objetivo desta pesquisa foi entender, por meio de documentos, depoimentos e pesquisa bibliográfica, a perseguição a intelectuais e cientistas na ditadura militar. O propósito foi realizar um estudo de caso para compreender como funcionava a lógica de investigações e controles dos expurgos nas universidades nesse contexto histórico brasileiro. Além disso, esta investigação tratou das diferentes estratégias de expurgos realizadas na USP, dentre elas as chamadas \"cassações brancas\", nas quais docentes não eram cassados formalmente, mas eram desligados dos quadros universitários sumariamente, sem justificativas. Para entender esses fenômenos, tratamos das trajetórias dos docentes desde o ingresso na ECA/USP, passando pelo desligamento, até o retorno na década de 1980 após a Lei da Anistia. Para tanto, utilizamos como base metodológica o método historiográfico, o paradigma indiciário e qualitativo de análise. Assim, dentro das discussões de que temos participado do Observatório de Comunicação, Censura e Liberdade de Expressão da ECA/USP, pudemos concluir que a intimidação e a autocensura foram preponderantes nas práticas de interdição dos dispositivos de vigilância nas universidades, gerando grandes consequências para a produção de conhecimento, principalmente no que se referiu à área de comunicação. / This thesis presents the study of the cases of dismissals of five professors of the School of Communications and Arts of the University of São Paulo (ECA/USP) during the military regime (1969-1979): Jean Claude Bernardet, Thomaz Farkas, José Freitas Nobre, Jair Borin and José Marques de Melo. The objective of this research was to understand, through documents, testimonies and bibliographic research, the persecution of intellectuals and scientists in the military dictatorship. The purpose was to carry out a case study to understand how the logic of investigations and controls of purges in universities in this Brazilian historical context worked. In addition, this investigation dealt with the different strategies of purges carried out at USP, among them the so-called \"white cassation\", in which teachers were not formally revoked, but were summarily dismissed from university staff without justification. In order to understand these phenomena, we have examined the trajectories of teachers since joining the ECA/USP, passing through the dismissal, until the return in the 1980s, after the Amnesty Law. For that, we use as methodological basis the historiographic method, the indiciary paradigm and qualitative analysis. Thus, within the discussions that we have participated in the Observatory of Communication, Censorship and Freedom of Expression of ECA/USP, we could conclude that intimidation and self-censorship were preponderant in the practices of interdiction of surveillance devices in universities, generating great consequences for the knowledge production, especially in the area of communications.

Detta kandidatexamensarbete syftar till att finna felmoder på Scanias kopplingssystem för framtida självkörande lastbilar. Detta görs genom att fokusera på ECA (Electronic Clutch Actuator), hävarm och lager. FMEA är en riskanalys som används för att kartlägga felmoder, felorsaker och deras feleffekter. Med en 10-gradig skala görs en bedömning med avseende på tre parametrar: felsannolikhet, allvarlighetsgrad och upptäckbarhet. Ett riskprioteringstal, RPN, fås genom att multiplicera dessa. Metoder som vi använt i vår studie är ett studiebesök på SCANIA, litteraturstudier och FEM-analys av hävarmen. De sex vanligaste felmoder som identifierats för lagret är utmattning, nötning (adhesiv och abrasiv), korrosion, plastisk deformation, elektrisk korrosion och sprickbildning/brott. De vanligaste orsakerna till lagerfel kan klassificeras till områdena smörjning, montering, hantering, design och driftförhållanden. Där innefattas bl.a. främmande partiklar (smuts, nötningspartiklar), monteringsfel, linjeringsfel, otillräcklig smörjning och överbelastning. All hantering av lager är viktig då lagerfel är en kombination av flera orsaker. Enligt experter är hävarmen välkonstruerad med hög säkerhetsfaktor. Den största orsaken till fel är på grund av intilliggande komponenter som exempelvis lager och ECA. Hög temperatur ökar spänningar och deformationer väsentligt. Bristande smörjmedel i lagren vid hävarmen har identifieras som en huvudorsak till funktionsfel. Enligt experterna från reparationsverkstaden fungerar ECA enheten smidigt med väldigt lågt fel sannolikhet. / This bachelor thesis aims at finding the failure modes at Scania's clutch system for future selfdriving trucks. The examined components are the ECA (Electronic Clutch Actuator), the fork and the release bearings. The FMEA- tool was used for the mapping the failure modes, their causes and effects. This assessment is made using a 10-grade scale with respect to three parameters: occurrence, degree of severity and detectability. A risk priority number RPN, is calculated by multiplying the aforementioned numbers. The methods that we used are a study trip to SCANIA's facilities, the relevant literature on the subject, and the FEM-analyses of the fork. The six most frequent failure modes identified at the release bearing are (fatigue), wear (adhesive and abrasive), corrosion, plastic deformation, electrically induced corrosion and fractures/crack formation. The most common causes for release bearing failures are classified into smearing, assembly, handling, design and runtime circumstances. They include among others exogenous particles (dirt, wear particles), assembly errors, misalignment, insufficient (grease) and excessive loads. All handling of the release bearings is important because release bearing errors have several causes. According to experts, the clutch fork is well-designd with a high safety factor. The most common failure mode causes are a result of interactions with neighbouring components e.g. release bearing and ECA. High temperatures increase the stresses and the deformation of the components substantially. Insufficient amount of lubricant in the release bearing is identified as the main reason of failure. According to experts from the repair workshop, the ECA unit works smoothly and with a low probability of error.

L'évaluation de l'implication des récepteurs B [indice] 1 dans plusieurs pathologies est difficile car le temps de demi-vie des antagonistes est de très courte durée. Afin d'obtenir des antagonistes puissants et résistants au métabolisme enzymatique, plusieurs méthodes ont été utilisées: la cyclisation, introduction d'un lien pseudopeptidique, d'un espaceur ou d'acides aminés de configuration D, non-naturels avec ou sans méthylation. Ces différentes méthodes ont toutes été utilisées dans cette étude en modifiant la structure du R-715 (Ac-Lys[D[bêta]Nal[exposant]7 ,Ile[exposant]8 ]desArg[exposant]9 BK) ou de la desArg[exposant]9 BK. Dix analogues ont été obtenus: [Tableau omis.] L'affinité des composés pour le récepteur B [indice] 1 a été évaluée par essais fonctionnels in vitro sur la veine ombilicale humaine et leur résistance enzymatique à l'enzyme de conversion de l'angiotensine I (ECA) par des essais biochimiques in vitro. Les différentes stratégies utilisées ont permis de développer plusieurs composés résistants au métabolisme par l'ECA: R715c, R905, R955, R954, R909, R982 et R981. De plus, parmi les composés synthétisés, plusieurs ont gardé plus de 10% de l'activité antagoniste du R715: R905, R955, R954, R891 et R909. Quatre composés se distinguent pour avoir acquis une résistance enzymatique en plus de conserver une bonne activité antagoniste sur le récepteur B [indice] 1 : R905, R955, R954 et R909. Parmi les stratégies utilisées, l'utilisation du lien pseudopeptidique Phe [exposant] 5 -Ser [exposant] 6 dans le R905, du résidue Chg [exposant] 5 dans le R909, ainsi que la méthylation de la Phe [exposant] 5 dans le R955 et R954 se sont démarqués par leur efficacité. Parmi les autres objectifs du projet se trouve l'étude des interactions entre le ligand antagoniste et le récepteur B [indice] 1 . Avec les multiples modifications utilisées, il a été possible d'augmenter notre connaissance de ces interactions et de proposer des groupements nécessaires à ces interactions.

A enzima conversora de angiotensina (ECA) catalisa a conversão de angiotensina I (Ang I) no vasoconstritor angiotensina II (Ang II) e hidrolisa a bradicinina (BK). ECA somática (sECA) possui dois domínios homólogos (N e C) que têm 60% de identidade. Embora estas duas regiões tenham homologia grande, o sítio catalítico C-domínio exibe uma atividade três vezes maior do que o N-domínio na hidrolise de Ang I in vivo. Este fato torna interessante o desenvolvimento de novos estudos de inibidores ou a melhoria dos já existentes. O objetivo deste estudo foi obter a região Ala959 até Ser1066 do Cdomínio da sECA (c-sECA), em uma estrutura conformacional semelhante à estrutura nativa. Nós amplificamos a sequência correspondente ao sítio catalítico da c-sECA com 324pb e clonamos esta sequência no vetor pET 28a(+). O segmento (nomeado de pET28_c-sECA) foi expresso em sistema bacteriano. A proteína foi expressa na forma solúvel e a purificação foi feita em uma única etapa utilizando a coluna de afinidade His-tag, a qual produziu a proteína pura. Análises estruturais por dicroísmo circular e fluorescência confirmaram que a proteína recombinante estava na conformação correta, e os ensaios de atividade mostraram que a c-sECA possui atividade enzimática e é inibida por lisinopril. / The angiotensin-converting enzyme (ACE) catalyzes the conversion of angiotensin I (Ang I) to the vasoconstrictor angiotensin II (Ang II) and the hydrolysis of bradykinin (BK). Human somatic ACE (sACE) has two homologous domains (N and C) that show 60% identity. Although these two regions have high homology, the catalytic site of the C-domain exhibits three times more activity than that of the N-domain in the hydrolysis of Ang I in vivo. This fact necessitates the development of new inhibitors or the improvement of existing ones. This study aimed to obtain the Ala959 to Ser1066 catalytic region of C-domain of sACE (c-sACE) in a structural conformation that resembles the native structure. We amplified the 324-bp sequence corresponding to the catalytic site of c-sACE and cloned this sequence into a pET28a(+) vector. The segment (named pET28_c-sACE) was expressed in a bacterial system. The expressed protein segment was soluble, and its purification was performed in one step using a His-tag affinity column. Structural analysis by circular dichroism and fluorescence confirmed that the purified protein is correctly folded, and an activity assay showed that c-sACE possesses enzymatic activity and is inhibited by lisinopril.

A enzima conversora de angiotensina (ECA) catalisa a conversão de angiotensina I (Ang I) no vasoconstritor angiotensina II (Ang II) e hidrolisa a bradicinina (BK). ECA somática (sECA) possui dois domínios homólogos (N e C) que têm 60% de identidade. Embora estas duas regiões tenham homologia grande, o sítio catalítico C-domínio exibe uma atividade três vezes maior do que o N-domínio na hidrolise de Ang I in vivo. Este fato torna interessante o desenvolvimento de novos estudos de inibidores ou a melhoria dos já existentes. O objetivo deste estudo foi obter a região Ala959 até Ser1066 do Cdomínio da sECA (c-sECA), em uma estrutura conformacional semelhante à estrutura nativa. Nós amplificamos a sequência correspondente ao sítio catalítico da c-sECA com 324pb e clonamos esta sequência no vetor pET 28a(+). O segmento (nomeado de pET28_c-sECA) foi expresso em sistema bacteriano. A proteína foi expressa na forma solúvel e a purificação foi feita em uma única etapa utilizando a coluna de afinidade His-tag, a qual produziu a proteína pura. Análises estruturais por dicroísmo circular e fluorescência confirmaram que a proteína recombinante estava na conformação correta, e os ensaios de atividade mostraram que a c-sECA possui atividade enzimática e é inibida por lisinopril. / The angiotensin-converting enzyme (ACE) catalyzes the conversion of angiotensin I (Ang I) to the vasoconstrictor angiotensin II (Ang II) and the hydrolysis of bradykinin (BK). Human somatic ACE (sACE) has two homologous domains (N and C) that show 60% identity. Although these two regions have high homology, the catalytic site of the C-domain exhibits three times more activity than that of the N-domain in the hydrolysis of Ang I in vivo. This fact necessitates the development of new inhibitors or the improvement of existing ones. This study aimed to obtain the Ala959 to Ser1066 catalytic region of C-domain of sACE (c-sACE) in a structural conformation that resembles the native structure. We amplified the 324-bp sequence corresponding to the catalytic site of c-sACE and cloned this sequence into a pET28a(+) vector. The segment (named pET28_c-sACE) was expressed in a bacterial system. The expressed protein segment was soluble, and its purification was performed in one step using a His-tag affinity column. Structural analysis by circular dichroism and fluorescence confirmed that the purified protein is correctly folded, and an activity assay showed that c-sACE possesses enzymatic activity and is inhibited by lisinopril.

Submitted by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-08-01T17:59:43Z No. of bitstreams: 1 JeeserAlvesdeAlmeidaDissertacao2011.pdf: 1154152 bytes, checksum: cb07bfde220ffa2bad6a1787164f6cea (MD5) / Approved for entry into archive by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-08-01T18:00:00Z (GMT) No. of bitstreams: 1 JeeserAlvesdeAlmeidaDissertacao2011.pdf: 1154152 bytes, checksum: cb07bfde220ffa2bad6a1787164f6cea (MD5) / Made available in DSpace on 2017-08-01T18:00:00Z (GMT). No. of bitstreams: 1 JeeserAlvesdeAlmeidaDissertacao2011.pdf: 1154152 bytes, checksum: cb07bfde220ffa2bad6a1787164f6cea (MD5) Previous issue date: 2011-03-01 / Predictive equations have been widely used to determine indirect maximal oxygen uptake (VO2max) as it can evaluate a large number of people with low cost and, in most cases, nearing the specificity of some sports. However, the VO2max can be influenced by various environmental and genetic factors, the validity of these equations on estimating VO2max of young brazilians should be further studied. This investigation includes two studies with young physically active brazilians. The first one evaluated the validity of a predictive equation proposed by Cureton et al., (1995) in estimating VO2max from the 1600m running performance, and also to suggest a new and specific predictive equation for physically active brazilians. . The second study examined the possible influence of I/D polymorphism of ACE genotype on determining the real and predicted VO2max in these participants. For the study I thirty young and physically active underwent both to a 1600m running test and an incremental cardiopulmonary exercise test (IT) on a treadmill with analysis of expired gases. The participants were divided into two groups (G1 and G2) being that in G1 the new equation was generated (Simples linear regretion between mean velocity at 1600m and VO2max) while its validity was examined in G2. When applied on the results of G2, a One Way ANOVA showed no statistical difference and a high correlation between VO2max obtained by the predictive equation generated in G1 [VO2max = (0.177 * 1600Vm) + 8.101] with the values of IT (50.1 ??7.2 mL.kg-1.min-1 vs 50.1 ??7.1 mL.kg-1.min-1) (P>0.05) (R = 0.81). However the VO2max results determined from equation of Cureton et al., (1995) [VO2peak = -8.41 (MRW) +0.34 (MRW) 2 + 0.21 (Age x Gender) ??? 0.84 (BMI) + 108.94] (44.2?? 6.5mL.kg-1.min-1) differed from both IT and the values obtained from the new proposed equation (P<0.05). The concordance between methods was confirmed by Bland and Altman technique. For the study 2, 57 participants underwent the same procedures as study 1, but had their DNA extracted and were genotyped for the insertion/deletion (I/D) polymorphism of the ACE gene. The participants were separated into three groups accordingly to the I/D polymorphism of ACE gene (being allocated either in DD, ID, or II group). The results revealed significantly lower 1600m velocity as well as VO2max for DD carriers compared to II and ID individuals (45.6 ??1.81 mL.kg-1.min-1 vs 51.9 ?? 0.79 mL.kg-1.min-1 vs 54.4 ?? 0.96 mL.kg-1.min-1) (P <0.01). On the other hand, a within-group analysis revealed that VO2max obtained in IT did not differ from that calculated by the equation generated in Study I. Moreover, the equation generated in Study I was considered valid for estimating the VO2max in physically active young adults through a 1600m running test despite of being II, ID or DD carrier. Although the influence of I/D polymorphism of ACE gene on VO2max and middle distance performance , the accuracy of the proposed equation on predicting VO2max did not suffer interference from the I/D polymorphism of the ACE gene. / Equa????es de predi????o t??m sido amplamente utilizadas na determina????o indireta do consumo m??ximo de oxig??nio (VO2max), pois podem avaliar um grande n??mero de pessoas com baixo custo e, na maioria das vezes, chegando pr??ximo ?? especificidade de algumas modalidades esportivas. Contudo, sabendo-se que o VO2max pode ser influenciado por diversos fatores ambientais e gen??ticos, a validade destas equa????es em estimar o VO2max de brasileiros jovens deve ser melhor estudada. A presente disserta????o integra dois estudos realizados com jovens estudantes fisicamente ativos. O objetivo do primeiro estudo foi analisar a validade da equa????o proposta por Cureton et al. (1995) em estimar o VO2max dos participantes a partir do teste de corrida de 1600m, al??m de sugerir e verificar a validade de uma nova equa????o de predi????o espec??fica para brasileiros fisicamente ativos, a partir do desempenho no mesmo teste. O segundo estudo examinou a poss??vel influ??ncia do polimorfismo I/D do gene da enzima conversora de angiotensina (ECA) sobre a determina????o direta e indireta do VO2max nestes participantes. Foram recrutados, para o estudo I, trinta homens jovens e fisicamente ativos que realizaram um teste de corrida de 1600m e um teste incremental (TI) ergoespirom??trico em esteira com an??lise de gases expirados para determina????o direta do VO2max. Os participantes foram divididos em dois grupos (G1 e G2), sendo que no G1 a nova equa????o foi gerada (Regress??o linear simples entre VO2max e velocidade m??dia em 1600m 1600Vm) enquanto que a validade foi analisada no G2. Quando aplicada nos resultados do G2, ANOVA One Way revelou n??o haver diferen??a estat??stica entre o VO2max obtido pela equa????o de predi????o gerada no G1 [VO2max=(0,177*1600Vm) +8,101] com os valores do TI (50,1+7,2 mL.kg-1.min-1 vs 50,1+7,1 mL.kg-1.min-1), apresentando alta correla????o entre si (r=0,81). Entretanto, a equa????o de Cureton et al (1995) [VO2peak = -8,41(MRW) + 0,34 (MRW) 2 + 0,21 (Age x Gender) -0,84 (BMI) + 108,94] (44,2+6,5 mL.kg-1.min-1) mostrou-se diferente do TI bem como dos valores obtidos com a nova equa????o proposta (P<0,05). A an??lise de concord??ncia entre os m??todos foi analisada pela t??cnica de Bland & Altman. A partir desta nova equa????o, 57 participantes integraram o Estudo II e realizaram os mesmos procedimentos metodol??gicos, contudo tiveram seu DNA extra??do e foram genotipados para o polimorfismo I/D do gene da ECA. Assim, os participantes foram separados em tr??s grupos diferentes, de acordo com os gen??tipos do gene da ECA (DD ID II). Os resultados revelaram valores significativamente mais baixos de VO2max para indiv??duos DD quando comparados com os indiv??duos ID e II (45,6 +1,81 mL.kg-1.min-1) (51,9 +0,79 mL.kg-1.min-1) e54,4+0,96 mL.kg-1.min-1) respectivamente (P<0,01). Quando comparados o VO2max obtido no TI e o estimado pela equa????o gerada no Estudo I, para cada grupo espec??fico, n??o foram observadas diferen??as estat??sticas intra-grupos. Portanto, a equa????o que foi gerada no Estudo I foi considerada v??lida para estimar o VO2max de indiv??duos jovens fisicamente ativos atrav??s do teste de corrida em 1600m. Apesar do polimorfismo I/D do gene da ECA poder influenciar os valores de VO2max bem como o desempenho em provas de m??dia dist??ncia (1600m), a precis??o da equa????o proposta para predi????o do VO2max n??o sofreu interfer??ncia do polimorfismo I/D do gene da ECA.

Rule-based systems implemented as event-condition-action (ECA) rules utilize a powerful and flexible paradigm when it comes to specifying systems that need to react to complex situation in their environment. Rules can be specified to react to combinations of events occurring at any time in any order. However, the behavior of a rule based system is notoriously hard to analyze due to the rules ability to interact with each other. Formal methods are not utilized in their full potential for enhancing software quality in practice. We argue that seamless support in a high-level paradigm specific tool is a viable way to provide industrial system designers with powerful verification techniques. This thesis targets the issue of formally verifying that a set of specified rules behaves as indented. The prototype tool REX (Rule and Event eXplorer) is developed as a proof of concept of the results of this thesis. Rules and events are specified in REX which is acting as a rule-based front-end to the existing timed automata CASE tool UPPAAL. The rules, events and requirements of application design are specified in REX. To support formal verification, REX automatically transforms the specified rules to timed automata, queries the requirement properties in the model-checker provided by UPPAAL and returns results to the user of REX in terms of rules and events. The results of this thesis consist of guidelines for modeling and verifying rules in a timed automata model-checker and experiences from using and building a tool implementing the proposed guidelines. Moreover, the result of an industrial case study is presented, validating the ability to model and verify a system of industrial complexity using the proposed approach. / Avhandlingen presenterar en ny ansats för att formellt verifiera regel-baserade system. En verktygsprototyp, REX, är utvecklad inom ramen för detta projekt i syfte att stödja ansatsen genom realisering av de teoretiska resultaten. De regler som avses är Event-Condition-Action (ECA) regler, vilket betyder att en regel exekverar ett stycke kod (Action) om ett villkor (Condition) är sant när en specifik händelse (Event) inträffar. ECA-regler är användbara för att speci¯cera beteendet av system som måste reagera på komplexa situationer i sin interagerande miljö. En regel kan till exempel reagera på en kombination av händelser som kan inträffa när som helst och i vilken ordning som helst. Avhandlingen fokuserar på hur man med hjälp av formella metoder kan påvisa att en regelmängd beter sig som förväntat. Användandet av formella metoder för att öka kvalitén på mjukvara är inte så utbrett som det skulle kunna vara. Några av anledningarna kan vara att formella metoder anses svåra att använda och att de kräver extra tid och kunskap. Avhandlingen handlar om en approach där utvecklare kan uttrycka sitt system i ett för dem enkelt språk och där detaljer rörande det formella verktyget döljs av ett verktyg som sköter interaktionen med det formella verktyget. Regler och händelser specificeras som indata till verktyget REX som agerar som en regelbaserad front-end till det formella verktyget UPPAAL. Regler, händelser och egenskaper som modellen ska uppfylla specificeras i REX. Formell verifiering stöds genom att REX automatiskt överför regler och egenskaper till en tidsautomat som kan verifieras av Uppaal. REX startar model-checkern i UPPAAL och returnerar resultatet från analysen till användaren. Resultatet från avhandlingen består av riktlinjer för hur man kan modellera och verifiera regler i en tidsautomat samt erfarenheter från att bygga och använda ett verktyg som implementerar dessa riktlinjer. Därutöver presenteras resultat från experiment och en fallstudie som genomförts för att validera den framtagna ansatsen.

<p>Eftersom databaser blir allt vanligare och används mer och mer inom allt större områden är det viktigt att finna modelleringsspråk som kan modellera egenskaperna för databashanteringssystemen under analys och design fasen. Aktiva databashanteringssystem har egenskapen att automatiskt kunna reagera på händelser som uppkommer. Aktiva databashanteringssystem klarar av att hantera s.k. ECA-regler. ECA-regler består av händelse, villkor och handling. För att kunna modellera aktiva databashanteringssystem krävs att det är möjligt att modellera ECA-regler. Ett modelleringsspråk som anses kunna modellera ECA-regler är UML. Berndtsson och Calestam (2001) anser dock att det finns brister i UML och har därför skapat en extension UML-A som bättre klarar av att uttrycka ECA-regler.</p><p>Detta arbete undersöker ifall det finns några semantiska skillnader mellan UML och UML-A. Jämförelsen sker genom att ett antal exempelregler skapas och att dessa modelleras i både UML-A och UML. Modellerna utvärderas både semantiskt och grafiskt för att se ifall skillnader kan påvisas mellan modelleringsspråken. Resultaten som kommit fram i detta arbete är att det finns klara semantiska skillnader mellan UML och UML-A när det gäller ECA-regler. De brister som funnits hos UML har inte kunnat identifieras i UML-A vilket tyder på att UML-A mycket väl skulle kunna användas för att modellera ECA-regler och därmed även aktiva databashanteringssystem.</p>