Da modelação matemática à simulação computacional: a experimentação matemática no ensino

Tese de Doutoramento em Ciências (área de especialização em Matemática).

On mappings preserving the sharp and star orders

The present paper is devoted to the study of linear maps preserving certain relations, such as the sharp partial order and the star partial order in semisimple Banach algebras and C*-algebras.

Relatório sobre “Surgical cases packages”

Problema apresentado pelo Hospital de Braga no 109th European Study Group with Industry 10 a 15 de maio de 2015. Departamento de Produção e Sistemas Escola de Engenharia da Universidade do Minho Guimarães Portugal 24 de julho de 2015

Auxetic effect of natural fiber knitted fabrics

Since they present a negative Poisson's radio, auxetic materials are different from conventional ones. These materials present an unusual behaviour: when stretched (elongated in the longitudinal direction), their cross-section is increased. There are two different ways to obtain auxetic materials: through polymers or through structures. It is possible to affirm that those obtained through fibrous structures are very recent and that few authors have been dedicated to their study. The main objective of this work is to study the effect of the negative Poisson

Transtornos mentais comuns e o uso de práticas de medicina complementar e alternativa: estudo de base populacional

OBJETIVO: Verificar a prevalência do transtorno mental comum (TMC) na população da cidade de Montes Claros, MG, e a existência de associação entre os fatores socioeconômicos e a utilização de práticas integrativas e complementares/medicina complementar e alternativa (PIC/MCA) com o TMC. MÉTODOS: Estudo transversal. População alvo: moradores de Montes Claros. A amostragem foi probabilística, com 3.090 pessoas. Utilizou-se formulário semi-estruturado e o self reporting questionnaire (SRQ-20) para identificação do TMC. Realizou-se regressão robusta de Poisson na análise com significância estatística considerada de p < 0,05. RESULTADOS: A prevalência de TMC foi de 23,2%, sendo 75% usuá­rios de PIC/MCA. Após controle para fatores de confusão, a prevalência de TMC foi maior naqueles com menor escolaridade (RP = 2,12; IC = 1,80-2,49); com menor nível econômico (RP = 1,92; IC = 1,07 - 3,44); com mais de 40 anos (RP = 1,30; IC = 1,15-1,48); do gênero feminino (RP = 2,99; IC = 1,50-3,58) e mais freqüente entre os que recorreram à homeopatia (RP = 1,52; IC = 1,12-2,08) e às benzedeiras (RP = 1,25; IC = 1,08-1,46). CONCLUSÕES: O TMC é muito freqüente na população de Montes Claros. As variáveis: escolaridade, nível econômico, idade e sexo, bem como a procura por homeopatia e benzedeiras estiveram associados ao TMC.

Depressão pós-parto e alterações de sono aos 12 meses em bebês nascidos na zona urbana da cidade de Pelotas/RS

OBJETIVO: Verificar se existe associação entre as alterações no sono dos bebês aos 12 meses de vida e a depressão pós-parto materna. MÉTODOS: Estudo do tipo transversal aninhado a uma coorte. A amostra foi constituída por mulheres que realizaram o acompanhamento pelo Sistema Único de Saúde (SUS), nas unidades básicas de saúde do município de Pelotas, e que tiveram seus partos a partir de junho/2006. Os bebês de 12 meses oriundos dessa gestação também fazem parte da amostra. Para avaliar a presença de sintomas depressivos nas mães, foi utilizada a Edinburgh Postnatal Depression Scale (EPDS) e foram investigados os seguintes comportamentos do sono dos bebês: horas de sono por dia, regularidade do horário para dormir e acordar, sono agitado e despertar noturno. Para análise, foi utilizada Regressão de Poisson. RESULTADOS: 35,7% dos bebês possuem alteração no padrão de sono. Após o ajuste ao modelo hierárquico proposto, a alteração no sono infantil manteve associação com a sintomatologia depressiva da mãe (p < 0,01). CONCLUSÕES: Os profissionais de saúde devem investigar rotineiramente os comportamentos de sono dos bebês e dar atenção à saúde mental das mães, a fim de identificar os problemas precocemente e oferecer suporte no manejo do sono dos bebês.

Fatores associados a sintomas de transtornos alimentares entre escolares da rede pública da cidade do Salvador, Bahia

OBJETIVO: Identificar prevalência e fatores associados aos sintomas de transtornos alimentares entre escolares. MÉTODOS: Estudo transversal envolvendo 365 escolares, de 7 a 14 anos de idade, do ensino fundamental de Salvador/BA. Aplicou-se nos escolares < 12 anos o Teste de Comportamentos Alimentares e Imagem Corporal e, naqueles > 13 anos de idade, o Teste de Atitudes Alimentares-26, o Teste de Investigação Bulímica de Edinburgh e o Teste de Imagem Corporal. O Child Behavior Checklist foi aplicado para todos os escolares. Coletaram-se dados antropométricos e alimentares, sobre estilo de vida, demográficos, socioeconômicos e puberais. Na análise estatística utilizou-se regressão de Poisson. RESULTADOS: Sintomas de transtornos alimentares estavam presentes em 23% dos escolares. Idade (RP: 1,25; IC95%: 1,11-1,40), insatisfação com imagem corporal (RP: 4,23; IC95%: 2,53-7,08), problema de comportamento de internalização (RP: 1,78; IC95%: 1,11-2,85), substituição das refeições por consumo de balas (RP: 2,14; IC95%: 1,24-3,69), maior consumo de frutas e outros vegetais (RP: 2,49; IC95%: 1,55-3,99) e escolaridade materna de 5ª a 8ª série (RP: 1,95; IC95%: 1,06-3,58) associaram-se ao aumento da ocorrência dos sintomas de transtornos alimentares. CONCLUSÃO: Observou-se alta prevalência de sintomas de transtornos alimentares entre os escolares; fatores sociodemográficos e comportamentais estavam associados ao evento.

A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.

Influência da família no consumo de crack

Objetivo Dimensionar a contribuição de características de grupos familiares de usuários de crack tanto em situações de consumo quanto na promoção da cessação do uso da substância. Métodos Estudo observacional, transversal, misto, com delineamento quantitativo (estatísticas descritiva e analítica, por regressão de Poisson robusta) e qualitativo (análise temática de conteúdos de entrevistas individuais semiestruturadas). Resultados Foram analisados dados oriundos de entrevistas com 519 usuários de crack, dos quais 48,3% referiram já ter feito uso compartilhado com algum familiar. A relação mais referida para compartilhamento do crack foi a conjugal, indicada por 30,6% dos entrevistados. A estimativa das razões de prevalência do desfecho abstinência na data da entrevista, por regressão de Poisson robusta controlada para fatores de confusão, para usuários de crack que referiram uso compartilhado com irmãos, foi de 0,940 (IC95%: 0,885-0,999; p = 0,045), tendo os que não referiram como referência. Na dimensão qualitativa, 20 entrevistados expuseram livremente modalidades de envolvimento dos familiares com o uso da droga, alguns indicando oposição ao consumo, outros estímulo, ou oferta, além da influência recíproca entre consumo de crack e conflitos familiares ou um ambiente considerado negativo. Além disso, os entrevistados que informaram ter familiares em tratamento em saúde mental tiveram 9% mais probabilidade de estar em uso cessado por 12 semanas ou mais (RP = 1,09; IC95%: 1,03-1,15; p = 0,005). Conclusão Os grupos familiares aparecem não somente como fator de proteção, mas também como importante fator de risco para o uso do crack, e sua inclusão como grupo primário de atendimento se justifica com essas evidências.

Ansiedade e baixo nível motivacional associados ao fracasso na cessação do tabagismo

Objetivo Analisar a associação entre as características sociodemográficas, status do tabagismo, grau de motivação, nível de ansiedade, depressão e de estresse com o fracasso em pacientes de um programa de cessação de tabagismo. Métodos Estudo de corte transversal realizado com pacientes que procuraram os programas de cessação do tabagismo de Cuiabá/MT, Brasil. Todos os fumantes matriculados no início desses programas, durante o período de maio a agosto de 2012, foram convidados a participar deste estudo, totalizando 216 pacientes. Os instrumentos utilizados foram o questionário Perfil Sociodemográfico, Teste de Fagerström (FTND), URICA, Inventário de Ansiedade de Beck (BAI), Inventário de Depressão de Beck (BDI) e Inventário de Sintomas de Stress de Lipp (ISSL). Os dados foram digitados duplamente em programa Epidata versão 3.1, e para análise dos dados foi utilizado um modelo de regressão de Poisson. Resultados Foram encontradas associações do fracasso terapêutico com as seguintes variáveis: faixa etária jovem (RP = 1,68; IC 95% 1,11-2,56); menor tempo de tabagismo (RP = 1,32; IC 95% 1,09-1,61); maior consumo de cigarros/dia (RP = 1,24; IC 95% 1,01-1,52) e menor grau de motivação (RP = 1,55; IC 95% 1,04-2,30). No modelo final (RPa), ficaram associadas ao fracasso as variáveis: menor tempo de tabagismo (RPa 1,53; IC 95% 1,07-2,32), maior carga tabágica (RPa 1,48; IC 95% 1,12-1,95), baixo nível de motivação (RPa 1,58; IC 95% 1,07-2,32) e alto nível de ansiedade (RPa 1,22; IC 95% 1,01-1,48). Conclusão Baixo nível motivacional (Contemplação e Pré-contemplação), alto nível de ansiedade (moderado/grave), menor tempo de tabagismo e alta carga tabágica estão associados ao fracasso terapêutico.

Binge eating prevalence according to obesity degrees and associated factors in women

Objective Investigate binge eating (BE) prevalence in women according to the obesity degree and assess the associated factors. Methods Cross-sectional study with female adults presenting body mass index (BMI) ≥ 35 kg/m2. The analyzed variables were: sociodemographics, health status, obesity history, lifestyle, eating behavior and obesity degree. In order to analyse BE it was used the Binge Eating Scale (BES), which is considered positive when BES ≥ 18 points. Prevalence and prevalence ratios (PR) were calculated with confidence intervals (CI) of 95%. Multivariate analysis was carried out using Poisson regression. Results BE prevalence was 53.2%, and the prevalence in super superobese women (BMI ≥ 60 kg/m2) was 75%. After multivariate analysis, associations were observed between the age group 40-49 years old (PR = 2.0; 95% CI = 1.2-3.4) and the “snacking habit” (PR = 1.9; 95% CI = 1.2-2.9). Conclusion The prevalence of BE in severe obese women was high. Association with the “snacking habit” can be a BE marker that should be monitored in the severely obese individuals that fit this profile.

Benzodiazepine use and associated factors in elderly in the city of Dourados, MS, Brazil

ABSTRACT Objective The use of benzodiazepines (BZD) and associated factors in the elderly of Dourados, MS, Brazil was investigated. Methods This is a cross-sectional population-based study using a multistage sampling design. Participants were 1,022 individuals aged ≥ 60 years. Measurements socioeconomic status, schooling, demographic aspects, marital status, physical activity, hospitalizations, self-rated health, use of alcohol beverages and smoking were assessed by standard questionnaire. The drugs used were obtained by checking the prescription or package and classified according to the Anatomical Therapeutic Chemical Index. Chi-square test, Chi-square for linear tendency, Fisher's exact test and Poisson regression were used to assess association between variables. Results The prevalence of use of BZD was 6.5% (CI95%: 5.1-8.2%). The oldest group (PR: 1.60 for 70-79 years and PR: 1.79 for ≥ 80 years), non-use of alcohol (PR: 4.14) and use of antidepressants (PR: 8.73) were the statistically associated characteristics. Conclusions The prevalence of use of BZD in the study population was low, similar to findings of more recent Brazilian studies and lower than those obtained in international studies. The prevalence of use of BZD increased with aging and use of antidepressants.

Desenvolvimento de materiais auxéticos para aplicações estruturais

Dissertação de mestrado integrado em Engenharia Civil