Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Multiple sequence alignment correction using constraints

Trabalho apresentado no âmbito do European Master in Computational Logics, como requisito parcial para obtenção do grau de Mestre em Computational Logics

Estimation of infection rate in epidemic models with multiple populations

Dissertação para obtenção do Grau de Mestre em Matemática e Aplicações Especialização em Actuariado, Estatística e Investigação Operacional

Combining open and closed world reasoning for the semantic web

Dissertação para obtenção do Grau de Doutor em Informática

Single operation multiple data - paralelismo de dados ao nível da sub-rotina

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Three transducers for one photodetector: essays for optical communications

Dissertation presented to obtain the PhD degree in Electrical and Computer Engineering - Electronics

Linear amplification with multiple nonlinear devices

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e Computadores

Marcadores inflamatórios de instabilidade da placa aterosclerótica coronária : caraterização e potencial utilização clínica

RESUMO:Introdução: Reviu-se o conhecimento epidemiológico, fisiopatológico e clínico atual sobre a doença coronária, da sua génese até ao evento agudo, o Enfarte Agudo do Miocárdio (EAM). Valorizou-se, em especial, a teoria inflamatória da aterosclerose, que foi objeto de grandes desenvolvimentos na última década. Marcadores de instabilidade da placa aterosclerótica coronária: Aprofundou-se o conhecimento da placa aterosclerótica coronária instável. Descreveram-se detalhadamente os biomarcadores clínicos e laboratoriais associados à instabilidade da placa, com particular ênfase nos mecanismos inflamatórios. Objetivos:Estão divididos em dois pontos fundamentais:(1) Estudar em doentes com EAM a relação existente entre as moléculas inflamatórias: Interleucina-6 (IL-6), Fator de Necrose Tumoral-α (TNF-α) e Metaloproteinase de Matriz-3 (MMP3), não usados em contexto clínico, com um marcador inflamatório já em uso clínico: a Proteína C-Reativa ultrassensível (hs-CRP). Avaliar a relação de todas as moléculas inflamatórias com um biomarcador de lesão miocárdica: a Troponina Cardíaca I (cTnI). (2) Avaliar, no mesmo contexto de EAM, a Resposta de Fase Aguda (RFA) . Pretende-se demonstrar o impacto deste fenómeno, com repercussão clínica generalizada, no perfil lipídico e nos biomarcadores inflamatórios dos doentes. Métodos:(1) Estudo observacional prospetivo de doentes admitidos consecutivamente por EAM (grupo EAM) numa única unidade coronária, após exclusão de trauma ou infeção. Doseamento no sangue periférico, na admissão, de IL-6, TNF-α, MMP3, hs-CRP e cTnI. Este último biomarcador foi valorizado também nos valores séricos obtidos 6-9 horas depois. Procedeu-se a correlação linear (coeficiente de Pearson, de Rho-Spearman e determinação do R2) entre os 3 marcadores estudados com os valores de hs-CRP e de cTnI (valores da admissão e 6 a 9 horas após). Efetuou-se o cálculo dos coeficientes de regressão linear múltipla entre cTnI da admissão e cTnI 6-9h após, com o conjunto dos fatores inflamatórios estudados. (2) Estudo caso-controlo entre o grupo EAM e uma população aleatória de doentes seguidos em consulta de cardiologia, após exclusão de eventos cardiovasculares de qualquer território (grupo controlo) e também sem infeção ou trauma. Foram doseados os mesmos marcadores inflamatórios no grupo controlo e no grupo EAM. Nos dois grupos dosearam-se, ainda, as lipoproteínas: Colesterol total (CT), Colesterol HDL (HDLc), com as suas subfrações 2 e 3 (HDL 2 e HDL3), Colesterol LDL oxidado (LDLox),Triglicéridos (TG), Lipoproteína (a) [Lp(a)], Apolipoproteína A1 (ApoA1), Apolipoproteína B (ApoB) e Apolipoproteína E (ApoE). Definiram-se, em cada grupo, os dados demográficos, fatores de risco clássicos, terapêutica cardiovascular e o uso de anti-inflamatórios. Procedeu-se a análise multivariada em relação aos dados demográficos, fatores de risco e à terapêutica basal. Compararam-se as distribuições destas mesmas caraterísticas entre os dois grupos, assim como os valores séricos respetivos para as lipoproteínas estudadas. Procedeu-se à correlação entre as moléculas inflamatórias e as lipoproteínas, para todos os doentes estudados. Encontraram-se os coeficientes de regressão linear múltipla entre cada marcador inflamatório e o conjunto das moléculas lipídicas, por grupo. Finalmente, efetuou-se a comparação estatística entre os marcadores inflamatórios do grupo controlo e os marcadores inflamatórios do grupo EAM. Resultados: (1) Correlações encontradas, respetivamente, Pearson, Rho-Spearman e regressão-R2: IL-6/hs-CRP 0,549, p<0,001; 0,429, p=0,001; 0,302, p<0,001; MMP 3/hsCRP 0,325, p=0,014; 0,171, p=0,202; 0,106, p=0,014; TNF-α/hs-CRP 0,261, p=0,050; 0,315, p=0,017; 0,068, p=0.050; IL-6/cTnI admissão 0,486, p<0,001; 0,483, p<0,001; 0,236, p<0,001; MMP3/cTnI admissão 0,218, p=0,103; 0,146, p=0,278; 0,048, p=0,103; TNF-α/cTnI admissão 0,444, p=0,001; 0,380, p=0,004; 0,197, p=0,001; IL-6/cTnI 6-9h 0,676, p<0,001; 0,623, p<0,001; 0,456, p<0,01; MMP3/cTnI 6-9h 0,524, p=0,001; 0,149, p=0,270; 0,275, p<0,001; TNF-α/cTnI 6-9h 0,428, p=0,001, 0,452, p<0,001, 0,183, p<0,001. A regressão linear múltipla cTnI admissão/marcadores inflamatórios produziu: (R=0,638, R2=0,407) p<0,001 e cTnI 6-9h/marcadores inflamatórios (R=0,780, R2=0,609) p<0,001. (2) Significância da análise multivariada para idade (p=0,029), IMC>30 (p=0.070), AAS (p=0,040) e grupo (p=0,002). Diferenças importantes entre as distribuições dos dados basais entre os dois grupos (grupo controlo vs EAM): idade (47,95±11,55 vs 68,53±2,70 anos) p<0.001; sexo feminino (18,18 vs 22,80%) p=0,076; diabetes mellitus (9,09% vs 36,84%) p=0,012; AAS (18,18 vs 66,66%) p<0,001; clopidogrel (4,54% vs 66,66%) p=0,033; estatinas (31,81% vs 66,14%) p=0,078; beta-bloqueadores (18,18% vs 56,14%) p=0,011; anti-inflamatórios (4,54% vs 33,33%) p=0,009. Resultados da comparação entre os dois grupos quanto ao padrão lipídico (média±dp ou mediana/intervalo interquartil, grupo controlo vs EAM): CT (208,45±35,03 vs 171,05±41,63 mg/dl) p<0,001; HDLc (51,50/18,25 vs 42,00/16,00 mg/dl) p=0,007; HDL2 (8,50/3,25 vs 10,00/6,00 mg/dl) p=0,292; HDL3 (41,75±9,82 vs 31,75±9,41 mg/dl) p<0,001; LDLox (70,00/22,0 vs 43,50/21,00 U/L) p<0,001; TG (120,00/112,50 vs 107,00/86,00 mg/dl) p=0,527; Lp(a) (0,51/0,73 vs 0,51/0,50 g/L) p=0,854; ApoA1 (1,38±0,63 vs 1,19±0,21 g/L) p=0,002; ApoB (0,96±0,19 vs 0,78±0,28 g/L) p=0,004; ApoE (38,50/10,00 vs 38,00/17,00 mg/L) p=0,574. Nas correlações lineares entre as variáveis inflamatórias e as variáveis lipídicas para todos os doentes, encontrámos uma relação negativa entre IL-6 e CT, HDLc, HDL3, LDLox, ApoA1 e ApoB. A regressão múltipla marcadores inflamatórios/perfil lipídico (grupo controlo) foi: hs-CRP (R=0,883, R2=0,780) p=0,022; IL-6 (R=0,911, R2=0,830) p=0,007; MMP3 (R=0,498, R2=0,248) p=0,943; TNF-α (R=0,680, R2=0,462) p=0,524. A regressão múltipla marcadores inflamatórios/perfil lipídico (grupo EAM) foi: hs-CRP (R=0,647, R2=0,418) p=0,004; IL-6 (R=0,544, R2=0,300), p=0,073; MMP3 (R=0,539, R2=0,290) p=0,089; TNF-α (R=0,595; R2=0,354) p=0,022. Da comparação entre os marcadores inflamatórios dos dois grupos resultou (mediana/intervalo interquartil, grupo controlo vs EAM): hs-CRP (0,19/0,27 vs 0,42/2,53 mg/dl) p=0,001, IL-6 (4,90/5,48 vs 13,07/26,41 pg/ml) p<0,001, MMP3 (19,70/13,70 vs 10,10/10,40 ng/ml) p<0,001;TNF-α (8,67/6,71 vs 8,26/7,80 pg/dl) p=0,805. Conclusões: (1) Nos doentes com EAM, existe correlação entre as moléculas inflamatórias IL-6, MMP3 e TNF-α, quer com o marcador inflamatório hs-CRP, quer com o marcador de lesão miocárdica cTnI. Esta correlação reforça-se para os valores de cTnI 6-9 horas após admissão, especialmente na correlação múltipla com o grupo dos quatro marcadores inflamatórios. (2) IL-6 está inversamente ligada às lipoproteínas de colesterol; hs-CRP e IL-6 têm excelentes correlações com o perfil lipídico valorizado no seu conjunto. No grupo EAM encontram-se níveis séricos mais reduzidos para as lipoproteínas de colesterol. Para TNF-α não foram encontradas diferenças significativas entre os grupos, as quais foram observadas para a IL-6 e hs-CRP (mais elevadas no grupo EAM). Os valores de MMP3 no grupo controlo estão mais elevados. ABSTRACT: 0,524, p=0,001; 0,149, p=0,270; 0,275, p<0,001; TNF-α/cTnI 6-9h 0,428, p=0,001, 0,452, p<0,001, 0,183, p<0,001. A regressão linear múltipla cTnI admissão/marcadores inflamatórios produziu: (R=0,638, R2=0,407) p<0,001 e cTnI 6-9h/marcadores inflamatórios (R=0,780, R2=0,609) p<0,001. (2) Significância da análise multivariada para idade (p=0,029), IMC>30 (p=0.070), AAS (p=0,040) e grupo (p=0,002). Diferenças importantes entre as distribuições dos dados basais entre os dois grupos (grupo controlo vs EAM): idade (47,95±11,55 vs 68,53±2,70 anos) p<0.001; sexo feminino (18,18 vs 22,80%) p=0,076; diabetes mellitus (9,09% vs 36,84%) p=0,012; AAS (18,18 vs 66,66%) p<0,001; clopidogrel (4,54% vs 66,66%) p=0,033; estatinas (31,81% vs 66,14%) p=0,078; beta-bloqueadores (18,18% vs 56,14%) p=0,011; anti-inflamatórios (4,54% vs 33,33%) p=0,009. Resultados da comparação entre os dois grupos quanto ao padrão lipídico (média±dp ou mediana/intervalo interquartil, grupo controlo vs EAM): CT (208,45±35,03 vs 171,05±41,63 mg/dl) p<0,001; HDLc (51,50/18,25 vs 42,00/16,00 mg/dl) p=0,007; HDL2 (8,50/3,25 vs 10,00/6,00 mg/dl) p=0,292; HDL3 (41,75±9,82 vs 31,75±9,41 mg/dl) p<0,001; LDLox (70,00/22,0 vs 43,50/21,00 U/L) p<0,001; TG (120,00/112,50 vs 107,00/86,00 mg/dl) p=0,527; Lp(a) (0,51/0,73 vs 0,51/0,50 g/L) p=0,854; ApoA1 (1,38±0,63 vs 1,19±0,21 g/L) p=0,002; ApoB (0,96±0,19 vs 0,78±0,28 g/L) p=0,004; ApoE (38,50/10,00 vs 38,00/17,00 mg/L) p=0,574. Nas correlações lineares entre as variáveis inflamatórias e as variáveis lipídicas para todos os doentes, encontrámos uma relação negativa entre IL-6 e CT, HDLc, HDL3, LDLox, ApoA1 e ApoB. A regressão múltipla marcadores inflamatórios/perfil lipídico (grupo controlo) foi: hs-CRP (R=0,883, R2=0,780) p=0,022; IL-6 (R=0,911, R2=0,830) p=0,007; MMP3 (R=0,498, R2=0,248) p=0,943; TNF-α (R=0,680, R2=0,462) p=0,524. A regressão múltipla marcadores inflamatórios/perfil lipídico (grupo EAM) foi: hs-CRP (R=0,647, R2=0,418) p=0,004; IL-6 (R=0,544, R2=0,300), p=0,073; MMP3 (R=0,539, R2=0,290) p=0,089; TNF-α (R=0,595; R2=0,354) p=0,022. Da comparação entre os marcadores inflamatórios dos dois grupos resultou (mediana/intervalo interquartil, grupo controlo vs EAM): hs-CRP (0,19/0,27 vs 0,42/2,53 mg/dl) p=0,001, IL-6 (4,90/5,48 vs 13,07/26,41 pg/ml) p<0,001, MMP3 (19,70/13,70 vs 10,10/10,40 ng/ml) p<0,001;TNF-α (8,67/6,71 vs 8,26/7,80 pg/dl) p=0,805. Conclusões: (1) Nos doentes com EAM, existe correlação entre as moléculas inflamatórias IL-6, MMP3 e TNF-α, quer com o marcador inflamatório hs-CRP, quer com o marcador de lesão miocárdica cTnI. Esta correlação reforça-se para os valores de cTnI 6-9 horas após admissão, especialmente na correlação múltipla com o grupo dos quatro marcadores inflamatórios. (2) IL-6 está inversamente ligada às lipoproteínas de colesterol; hs-CRP e IL-6 têm excelentes correlações com o perfil lipídico valorizado no seu conjunto. No grupo EAM encontram-se níveis séricos mais reduzidos para as lipoproteínas de colesterol. Para TNF-α não foram encontradas diferenças significativas entre os grupos, as quais foram observadas para a IL-6 e hs-CRP (mais elevadas no grupo EAM). Os valores de MMP3 no grupo controlo estão mais elevados. ------------- ABSTRACT: Introduction: We reviewed the epidemiology, pathophysiology and current clinical knowledge about coronary heart disease, from its genesis to the acute myocardial infarction (AMI). The inflammatory theory for atherosclerosis, which has undergone considerable development in the last decade, was especially detailed. Markers of coronary atherosclerotic vulnerable plaque: The clinical and laboratory biomarkers associated with the unstable coronary atherosclerotic plaque vulnerable plaque are detailed. An emphasis was placed on the inflammatory mechanisms. Objectives: They are divided into two fundamental points: (1) To study in AMI patients, the relationship between the inflammatory molecules: Interleukin-6 (IL-6), Tumor Necrosis Factor-α (TNF-α) and Matrix metalloproteinase-3 (MMP3), unused in the clinical setting, with an inflammatory marker in clinical use: ultrasensitive C-reactive protein (hs-CRP), as well as a biomarker of myocardial injury: cardiac troponin I (cTnI). (2) To study, in the context of AMI, the Acute Phase Response (APR). We intend to demonstrate the impact of that clinical relevant phenomenon in the lipid profile and inflammatory biomarkers of our patients. Methods: (1) Prospective observational study of patients consecutively admitted for AMI (AMI group) in a single coronary care unit, after exclusion of trauma or infection. A peripheral assay at admission for IL-6, TNF-α, MMP3, hs-CRP and cTnI was performed. The latter was also valued in assays obtained 6-9 hours after admission. Linear correlation (Pearson's correlation coefficient, Spearman Rho's correlation coefficient and R2 regression) was performed between the three markers studied and the values of hs-CRP and cTnI (on admission and 6-9 hours after admission). Multiple linear regression was also obtained between cTnI on admission and 6-9h after, with all the inflammatory markers studied. (2) Case-control study between the AMI group and a random population of patients from an outpatient cardiology setting (control group). Cardiovascular events of any kind and infection or trauma were excluded in this group. The same inflammatory molecules were assayed in control and AMI groups. The following lipoproteins were also assayed: total cholesterol (TC), HDL cholesterol (HDLc) and subfractions 2 and 3 (HDL2 and HDL 3), oxidized LDL cholesterol (oxLDL), Triglycerides (TG), Lipoprotein (a) [Lp(a)], Apolipoprotein A1 (apoA1), Apolipoprotein B (ApoB) and Apolipoprotein E (ApoE). Demographics, classical risk factors, cardiovascular therapy and the use of anti-inflammatory drugs were appreciated in each group. The authors conducted a multivariate analysis with respect to demographics, risk factors and baseline therapy. The distribution of the same baseline characteristics was compared between the two groups, as well as the lipoprotein serum values. A correlation was performed between each inflammatory molecule and each of the lipoproteins, for all the patients studied. Multiple linear regression was determined between each inflammatory marker and all the lipid molecules per group. Finally, the statistical comparison between the inflammatory markers in the two groups was performed. Results: (1) The correlation coefficients recorded, respectively, Pearson, Spearman's Rho and regression-R2, were: IL-6/hs-CRP 0.549, p <0.001; 0.429, p=0.001; 0.302, p <0.001; MMP 3/hsCRP 0.325, p=0.014; 0.171, p=0.202; 0.106, p=0.014; TNF-α/hs-CRP 0.261, p=0.050; 0.315, p=0.017; 0.068, p=0.050; IL-6/admission cTnI 0.486, p<0.001; 0.483, p<0.001; 0.236, p<0.001; MMP3/admission cTnI 0.218, p=0.103; 0.146, p=0.278; 0.048, p=0.103; TNF-α/admission cTnI 0.444, p=0.001; 0.380, p=0.004; 0.197, p=0.001; IL-6/6-9 h cTnI 0.676, p<0.001; 0.149, p<0.001; 0.456, p <0.01; MMP3/6-9h cTnI 0.428, p=0.001; 0.149, p<0.001; 0.183, p=0.001; TNF-α/6-9 h cTnI 0.676, p<0,001; 0.452, p<0.001; 0.183, p<0,001. The multiple linear regression admission cTnI/inflammatory markers produced: (R=0.638, R2=0.407) p<0.001 and 6-9 h cTnI/inflammatory markers (R=0.780, R2=0.609) p<0.001. (2) Significances of the multivariate analysis were found for age (p=0.029), IMC>30 (p=0.070), Aspirin (p=0.040) and group (p=0.002). Important differences between the baseline data of the two groups (control group vs AMI): age (47.95 ± 11.55 vs 68.53±12.70 years) p<0.001; gender (18.18 vs 22.80%) p=0.076; diabetes mellitus (9.09% vs 36. 84%) p=0.012; Aspirin (18.18 vs. 66.66%) p<0.001; Clopidogrel (4, 54% vs 66.66%) p=0.033; Statins, 31.81% vs 66.14%, p=0.078, beta-blockers 18.18% vs 56.14%, p=0.011; anti-inflammatory drugs (4.54% vs 33.33%) p=0.009. Significant differences in the lipid pattern of the two groups (mean±SD or median/interquartile range, control group vs AMI): TC (208.45±35.03 vs 171.05±41.63 mg/dl) p<0.001; HDLc (51.50/18.25 vs 42.00/16.00 mg/dl) p=0.007; HDL2 (8.50/3.25 vs 10.00/6.00 mg/dl) p=0.292; HDL3 (41.75±9.82 vs 31.75±9.82 mg/dl) p<0.01; oxLDL (70.00/22.0 vs 43.50/21.00 U/L) p <0.001; TG (120.00/112.50 vs 107.00/86.00 mg/dl) p=0.527; Lp(a) (0.51/0.73 vs 0,51/0.50 g/L) p=0.854; apoA1 (1.38±0.63 vs 1.19±0.21 g/L) p=0.002; ApoB (0.96± 0.39 vs 0.78±0.28 g/L) p=0.004; ApoE (38.50/10,00 vs 38.00 /17,00 mg/L) p=0.574. In the linear correlations between inflammatory variables and lipid variables for all patients, we found a negative relationship between IL-6 and TC, HDLc, HDL3, ApoA1 and ApoB. The multiple linear regression inflammatory markers/lipid profile (control group) was: hs-CRP (R= 0.883, R2=0.780) p=0.022; IL6 (R=0.911, R2=0.830) p=0.007; MMP3 (R=0.498, R2=0.248) p=0.943; TNF-α (R=0.680, R2=0.462) p=0.524. For the linear regression inflammatory markers/lipid profile (AMI group) we found: hs-CRP (R=0.647, R2=0.418) p=0.004; IL-6 (R=0.544, R2=0.300) p=0.073; MMP3 (R=0.539, R2 =0.290) p=0.089; TNF-α (R=0.595, R2=0.354) p=0.022. The comparison between inflammatory markers in both groups (median/interquartile range, control group vs AMI) resulted as: hs-CRP (0.19/0.27 vs 0.42/2.53 mg/dl) p=0.001; IL-6 (4.90/5.48 vs 13.07/26.41 pg/ml) p<0.001; MMP3 (19.70/13.70 vs 10.10/10.40 ng/ml) p<0.001; TNF-α (8.67/6.71 vs 8.26/7.80 pg/dl) p=0.805. Conclusions: (1) In AMI patients there is a correlation between the inflammatory molecules IL-6, TNF-α and MMP3 with both the inflammatory marker hs-CRP and the ischemic marker cTnI. This correlation is strengthened for the cTnI at 6-9h post admission, particularly in the multiple linear regression to the four inflammatory markers studied. (2) IL-6 correlates negatively with the cholesterol lipoproteins. Hs-CRP and IL-6 are strongly correlated to the whole lipoprotein profile. AMI patients display reduced serum lipid levels. For the marker TNF-α no significant differences were found between groups, which were observed for IL-6 and hs-CRP (higher in the AMI group). MMP3 values are higher in the control group.

Intention recognition, commitment and their roles in the evolution of cooperation

Dissertação para obtenção do Grau de Doutor em Informática

Aconselhamento médico na prevenção da doença e promoção da saúde : análise a propósito do consumo de tabaco

RESUMO - O consumo de tabaco foi responsável por 100 milhões de mortes no século XX. Apesar dos grandes avanços alcançados no controlo deste problema a nível mundial, sob os auspícios da OMS, no contexto da Convenção-Quadro para o Controlo do Tabaco da OMS, se não forem adoptadas medidas consistentes e efectivas de saúde pública, a morbi-mortalidade que lhe está associada continuará a aumentar durante o presente século. A promoção da cessação tabágica constitui a estratégia populacional que permitirá obter ganhos em saúde a mais curto prazo. Embora a larga maioria dos fumadores faça, ao longo da vida, várias tentativas para parar de fumar sem apoio, apenas uma pequena minoria consegue manter-se abstinente a longo prazo. Os médicos de Medicina Geral e Familiar são, de entre todos os profissionais de saúde, os que podem intervir de modo mais consistente e efectivo neste âmbito e que melhores resultados obtêm na cessação tabágica dos pacientes fumadores, dado o vínculo terapêutico e a interacção frequente e continuada que com eles estabelecem ao longo do seu ciclo de vida. O aconselhamento breve, tendo por base a adopção de um estilo de comunicação motivacional centrado no paciente, adaptado aos estádios de mudança comportamental, tem-se revelado efectivo no apoio à mudança de comportamentos relacionados com a saúde e à resolução da ambivalência que caracteriza este processo. A revisão de literatura evidenciou o facto de os médicos nem sempre intervirem nas áreas preventivas e de promoção da saúde, em particular na área da cessação tabágica, com o investimento e a continuidade desejáveis. Por outro lado, muitos pacientes fumadores referem nunca ter sido aconselhados pelo seu médico a deixar de fumar.. Não são conhecidos estudos de âmbito nacional que permitam conhecer esta realidade, bem como os factores associados às melhores práticas de intervenção ou as barreiras sentidas pelos médicos de MGF à actuação nesta área. O presente trabalho teve como objectivos: (i) avaliar a hipótese de que os médicos que disseram adoptar o método clínico centrado no paciente teriam atitudes mais favoráveis relativamente à cessação tabágica e uma maior probabilidade de aconselhar os seus pacientes a parar de fumar; (ii) estudar a relação entre as atitudes, a percepção de auto-eficácia, a expectativa de efectividade e as práticas de aconselhamento sobre cessação tabágica, auto-referidas pelos médicos; (iii) Identificar as variáveis preditivas da adopção de intervenções breves de aconselhamento adaptadas ao estádio de mudança comportamental dos pacientes fumadores; (iv) identificar as barreiras e os incentivos à adopção de boas práticas de aconselhamento nesta área. A população de estudo foi constituída pelo total de médicos de medicina geral e familiar inscritos na Associação Portuguesa de Médicos de Clínica Geral, residentes em Portugal. Para recolha de informação, foi utilizado um questionário de resposta anónima, de autopreenchimento, aplicado por via postal a 2942 médicos, em duas séries de envio. O questionário integrou perguntas fechadas, semifechadas, escalas de tipo Likert e escalas de tipo visual analógico. Para avaliação da adopção do método clínico centrado no paciente, foi usada a Patient Practitioner Orientation Scale (PPOS). O tratamento estatístico dos dados foi efectuado com o Programa PASW Statistics (ex-SPSS), versão 18. Foram utilizados: o índice de α de Cronbach, diversos testes não paramétricos e a análise de regressão logística binária. Foi obtida uma taxa de resposta de 22,4%. Foram analisadas 639 respostas (67,4% de mulheres e 32,6% de homens). Referiram ser fumadores 23% dos homens e 14% das mulheres. Foi identificada uma grande carência formativa em cessação tabágica, tendo apenas 4% dos médicos afirmado não necessitar de formação nesta área. Responderam necessitar de formação em entrevista motivacional 66%, em prevenção da recaída 59%, de treino numa consulta de apoio intensivo 55%, em intervenção breve 54% e em terapêutica farmacológica 55%. Cerca de 92% dos respondentes consideraram que o aconselhamento para a cessação tabágica é uma tarefa que faz parte das suas atribuições, mas apenas 76% concordaram totalmente com a realização de uma abordagem oportunística deste assunto em todos os contactos com os seus pacientes. Como prática mais frequente, perante um paciente em preparação para parar, 85% dos médicos disseram tomar a iniciativa de aconselhar, 79% avaliar a motivação, 67% avaliar o grau de dependência, 60% marcar o “dia D” e 50% propor terapêutica farmacológica. Apenas 21% assumiram realizar com frequência uma intervenção breve com pacientes em preparação (5 Ás); 13% uma intervenção motivacional com pacientes não motivados para mudar (5 Rs) e 20% uma intervenção segundo os princípios da entrevista motivacional, relativamente a pacientes ambivalentes em relação à mudança. A análise multivariada de regressão logística permitiu concluir que as variáveis com maior influência na decisão de aconselhar os pacientes sobre cessação tabágica foram a percepção de auto-eficácia, o nível de atitudes negativas, a adopção habitual do Programa-tipo de cessação tabágica da DGS, a posse de formação específica nesta área e a não identificação de barreiras ao aconselhamento, em particular organizacionais ou ligadas ao processo de comunicação na consulta. Embora se tenha confirmado a existência de associação entre a adopção do método clínico centrado no paciente e as atitudes face à cessação tabágica, não foi possível confirmar plenamente a associação entre a adopção deste método e as práticas autoreferidas de aconselhamento. Os médicos que manifestaram um nível baixo ou moderado de atitudes negativas, uma percepção elevada de auto-eficácia, que nunca fumaram, que referiram adoptar o Programa-tipo de cessação tabágica e que não identificaram barreiras organizacionais apresentaram uma maior probabilidade de realizar uma intervenção breve (“5 Ás”) de aconselhamento de pacientes fumadores em preparação para parar de fumar. Nunca ter fumado apresentou-se associado a uma probabilidade de realizar uma intervenção breve (“5 Ás”) com frequência, superior à verificada entre os médicos que referiram ser fumadores (Odds-ratio ajustado = 2,6; IC a 95%: 1,1; 5,7). Os médicos com o nível de auto-eficácia no aconselhamento mais elevado apresentaram uma probabilidade superior à encontrada entre os médicos com o menor nível de auto-eficácia de realizar com frequência uma intervenção breve de aconselhamento, integrando as cinco vertentes dos “5 Ás” (Odds ratio ajustado = 2,6; IC a 95%: 1,3; 5,3); de realizar uma intervenção motivacional breve com fumadores renitentes a parar de fumar (Odds ratio ajustado = 3,1; IC a 95%: 1,4; 6,5) ou de realizar com frequência uma intervenção motivacional com pacientes em estádio de ambivalência (Odds ratio = 8,8; IC a 95%: 3,8; 19,9). A falta de tempo, a falta de formação específica e a falta de equipa de apoio foram as barreiras ao aconselhamento mais citadas. Como factores facilitadores de um maior investimento nesta área, cerca de 60% dos médicos referiram a realização de um estágio prático de formação; 57% a possibilidade de dispor do apoio de outros profissionais; cerca de metade a melhoria da sua formação teórica. Cerca de 25% dos médicos investiria mais em cessação tabágica se dispusesse de um incentivo financeiro e 20% se os pacientes demonstrassem maior interesse em discutir o assunto ou existisse uma maior valorização desta área por parte dos colegas e dos órgãos de gestão. As limitações de representatividade da amostra, decorrentes da taxa de resposta obtida, impõem reservas à possibilidade de extrapolação destes resultados para a população de estudo, sendo de admitir que os respondentes possam corresponder aos médicos mais interessados por este tema e que optam por não fumar. Outra importante limitação advém do facto de não ter sido estudada a vertente relativa aos pacientes, no que se refere às suas atitudes, percepções e expectativas quanto à actuação do médico neste campo. Pesem embora estas limitações, os resultados obtidos revelaram uma grande perda de oportunidades de prevenção da doença e de promoção da saúde. Parece ter ficado demonstrada a importante influência que as atitudes, em especial as negativas, e as percepções, em particular a percepção de auto-eficácia, podem exercer sobre as práticas de aconselhamento auto-referidas. Todavia, será necessário aprofundar os resultados agora encontrados com estudos de natureza qualitativa, que permitam compreender melhor, por um lado, as percepções, expectativas e necessidades dos pacientes, por outro, as estratégias de comunicação que deverão ser adoptadas pelo médico, atendendo à complexidade do problema e ao tempo disponível na consulta, tendo em vista aumentar a literacia dos pacientes para uma melhor autogestão da sua saúde. Parece ter ficado igualmente patente a grande carência formativa neste domínio. A adopção do modelo biomédico como paradigma da formação médica pré e pós-graduada, proposto, há precisamente cem anos, por Flexner, tem contribuído para a desvalorização das componentes psicoemocionais e sociais dos fenómenos de saúde e de doença, assim como para criar clivagens entre cuidados curativos e preventivos e entre medicina geral e familiar e saúde pública. Porém, o actual padrão de saúde/doença próprio das sociedades desenvolvidas, caracterizado por “pandemias” de doenças crónicas e incapacitantes, determinadas por factores de natureza sociocultural e comportamental, irá obrigar certamente à revisão daquele paradigma e à necessidade de se (re)adoptarem os grandes princípios Hipocráticos de compreensão dos processos de saúde/doença e do papel da medicina.

Desenvolvimento de um ensaio de hibridação múltipla (MHA-MULTIPLE REGION HYBRIDIZATION ASSAY) para identificação presumível de vírus da imunodeficiência humana do tipo 1 (HIV-1) dos subtipos B, G e de formas recombinantes CRF14_BG e CRF02_AG circulantes em Portugal

A maioria dos métodos utilizados na caracterização genética do HIV-1 baseia-se na análise de regiões específicas do genoma viral, fornecendo informação parcial sobre o mesmo e, por consequência, revelando-se inadequados para a identificação de vírus recombinantes. O único método que permite uma caracterização integral do genoma viral passa pela sua sequenciação completa. No entanto, este é um método dispendioso, laborioso e de difícil implementação quando se pretende a análise de elevados números de amostras. Como alternativa a este último, o conjunto de métodos genericamente designados de MHA (Multiple Region Hybridization Assay) baseiam-se na amplificação, por PCR em tempo-real, de várias regiões ao longo do genoma viral e na sua caracterização com sondas específicas (TaqMan). Tendo este modelo por base, o objectivo deste estudo foi o desenvolvimento de um ensaio de hibridação múltipla (MHABG0214) passível de ser aplicado ao estudo de um elevado número de amostras. Este método foi desenvolvido tendo como objectivo a genotipagem as estirpes circulantes dominantes na epidemia Portuguesa, nomeadamente os subtipos B, G e formas genéticas recombinantes CRF02_AG e CRF14_BG. Com base em alinhamentos de sequências de referência de genoma completo, delinearam-se primers universais e subtipo-específicos para a amplificação de diversas regiões codificantes distribuídas ao longo do genoma do HIV-1 (Gag, Protease, Transcriptase Reversa, Integrase, Rev, Gp120 e Gp41). A optimização foi efectuada, inicialmente, para um conjunto de amostras de referência e seguidamente avaliada num conjunto de 50 amostras clínicas. O MHABG0214 foi implementado numa estratégia de PCR em tempo-real, numa detecção dependente de SYBR® Green I para todas as regiões ou, como alternativa, usando sondas TaqMan (Gp41). Apresentamos ainda uma estratégia em que a análise de resultados se baseia, simplesmente, numa abordagem usando PCR/gel de agarose convencional. Estas abordagens constituem ferramentas úteis na identificação das estirpes de HIV-1 em Portugal.

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática