Formalising behaviour trees with CSP

Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements axe modelled as single trees which later on are integrated into a model of the system as a whole. We develop a formal semantics for a subset of Behaviour Trees using CSP. This work, on one hand, provides tool support for Behaviour Trees. On the other hand, it builds a front-end to a subset of the CSP notation and gives CSP users a new modelling strategy which is well suited to the challenges of requirements engineering.

Abstract specification in Object-Z and CSP

A number of integrations of the state-based specification language Object-Z and the process algebra CSP have been proposed in recent years. In developing such integrations, a number of semantic decisions have to be made. In particular, what happens when an operation's precondition is not satisfied? Is the operation blocked, i.e., prevented from occurring, or can it occur with an undefined result? Also, are outputs from operations angelic, satisfying the environment's constraints on them, or are they demonic and not influenced by the environment at all? In this paper we discuss the differences between the models, and show that by adopting a blocking model of preconditions together with an angelic model of outputs one can specify systems at higher levels of abstraction.

Concentrating solar power + desalination plants (CSP+D): models and performance analysis

Tese submetida à Universidade de Lisboa, Instituto Superior Técnico e aprovada em provas públicas para a obtenção do Grau de Doutor em Sistemas Sustentáveis de Energia.

Dentine Bond Strength And Antimicrobial Activity Evaluation Of Adhesive Systems.

This study evaluated the dentine bond strength (BS) and the antibacterial activity (AA) of six adhesives against strict anaerobic and facultative bacteria. Three adhesives containing antibacterial components (Gluma 2Bond (glutaraldehyde)/G2B, Clearfil SE Protect (MDPB)/CSP and Peak Universal Bond (PUB)/chlorhexidine) and the same adhesive versions without antibacterial agents (Gluma Comfort Bond/GCB, Clearfil SE Bond/CSB and Peak LC Bond/PLB) were tested. The AA of adhesives and control groups was evaluated by direct contact method against four strict anaerobic and four facultative bacteria. After incubation, according to the appropriate periods of time for each microorganism, the time to kill microorganisms was measured. For BS, the adhesives were applied according to manufacturers' recommendations and teeth restored with composite. Teeth (n=10) were sectioned to obtain bonded beams specimens, which were tested after artificial saliva storage for one week and one year. BS data were analyzed using two-way ANOVA and Tukey test. Saliva storage for one year reduces the BS only for GCB. In general G2B and GCB required at least 24h for killing microorganisms. PUB and PLB killed only strict anaerobic microorganisms after 24h. For CSP the average time to eliminate the Streptococcus mutans and strict anaerobic oral pathogens was 30min. CSB showed no AA against facultative bacteria, but had AA against some strict anaerobic microorganisms. Storage time had no effect on the BS for most of the adhesives. The time required to kill bacteria depended on the type of adhesive and never was less than 10min. Most of the adhesives showed stable bond strength after one year and the Clearfil SE Protect may be a good alternative in restorative procedures performed on dentine, considering its adequate bond strength and better antibacterial activity.

O risco espacial e fatores associados ao edentulismo em idosos em município do Sudeste do Brasil

Objetivou-se identificar fatores associados ao edentulismo e o seu risco espacial em idosos. Foi realizado um estudo transversal em uma amostra de 372 indivíduos de 60 anos e mais, no Município de Botucatu, São Paulo, Brasil, em 2005. Razões de prevalência brutas e ajustadas foram estimadas por meio de regressão de Poisson, com estimativa robusta da variância e procedimentos de modelagem hierárquica. A análise espacial foi realizada por estimativas de densidade de Kernel. A prevalência de edentulismo foi de 63,17%. Os fatores sociodemográficos associados ao edentulismo foram a baixa escolaridade, o aumento do número de pessoas por cômodo, não possuir automóvel e idade mais avançada, presença de comorbidades, ausência de um cirurgião-dentista regular e ter realizado a última consulta há três anos ou mais. A análise espacial mostrou maior risco nas áreas periféricas. Obteve-se uma melhor compreensão da perda dentária entre os idosos, subsidiando o planejamento de ações em saúde coletiva.

Cárie dentária em população ribeirinha do Estado de Rondônia, Região Amazônica, Brasil, 2005/2006

O objetivo foi analisar experiência de cárie dentária na população ribeirinha residente às margens dos rios Machado e Preto (Rondônia, Brasil), em 2005 e 2006. Foram examinados 469 indivíduos com formulário preconizado pela Organização Mundial da Saúde, sob luz natural e utilização de espátulas de madeira e sonda CPI. Na faixa etária de 4-5 anos de idade, ceod = 4,30 e 19,64% livres de cárie; 6-10 anos, CPOD = 1,04, ceod = 3,52, 17,05% livres de cárie; aos 12 anos, CPOD = 2,65 e 30,76% livres de cárie; aos 18 anos, CPOD = 5,41 e 19,51% livres de cárie; 35-44 anos, CPOD = 17,74 e 2,98% livres de cárie; 65-74 anos, CPOD = 21,56 e 4,34% livres de cárie. Na análise por componentes, constatou-se que o componente cariado tem maior prevalência nas idades de 0-3, 4-5, 6-10, 12 e 18 anos. Em adultos e idosos, o componente que mais contribui é o perdido. Conclui-se que a população apresenta índices de cárie dentária elevados, sendo necessária a atuação em âmbito educativo, preventivo e curativo.

Dor nos dentes e gengivas e fatores associados em adolescentes brasileiros: análise do inquérito nacional de saúde bucal SB-Brasil 2002-2003

Estimou-se a prevalência de dor nos dentes e gengivas e fatores associados em adolescentes brasileiros de 15 a 19 anos de idade. Foram utilizadas informações de 16.126 adolescentes participantes do levantamento epidemiológico nacional de saúde bucal - SB Brasil 2002-2003. O desfecho foi o relato de dor nos dentes e gengivas nos últimos seis meses. As variáveis exploratórias foram: renda per capita, escolaridade, condição de estudo, sexo, cor da pele, idade, localização geográfica da residência, tipo de serviço odontológico utilizado pela última vez, tempo decorrido da última consulta odontológica, índice CPO-D e seus componentes, cálculo dentário e o índice de estética dental. Foram realizadas análises brutas e múltiplas utilizando a regressão de Poisson. A prevalência da dor de dentes e gengivas foi de 35,6% (IC95%: 34,8-36,4). A prevalência de dor foi maior nas meninas, naqueles pertencentes a famílias com baixa renda per capita, nos não estudantes e estudantes de escola pública e naqueles com baixa escolaridade para a idade. Indivíduos que apresentaram altos níveis de cárie e cálculo dentário também apresentaram maiores prevalências do desfecho. A dor nos dentes e gengivas em adolescentes pode ser considerada um problema relevante em saúde pública sugerindo a necessidade de ações preventivas e de promoção da saúde.

Etiology of cutaneous leishmaniasis and anthropophilic vectors in Juruti, Pará State, Brazil

In a preliminary study in Juruti, a mining municipality in western Pará State, Brazil, 12 out of 21 patients suspected of presenting cutaneous leishmaniasis showed positive PCR (SSUrDNA and G6PD): Leishmania (Viannia) braziliensis (9/12; 75%) and L. (V.) sp. (3/12; 25%). Entomological studies in the same location revealed the presence of 12 different phlebotomine species (n =105). One of the most common species was Lutzomyia (Psychodopygus) complexa (17%) which is both highly anthropophilic and a known vector of L. (V.) braziliensis in other regions of Pará. These preliminary findings should serve to guide future epidemiological surveillance in Juruti.

Epidemiologia da leishmaniose tegumentar americana no Estado do Acre, Amazônia brasileira

Efetuou-se estudo estatístico descritivo em 8.516 casos de leishmaniose tegumentar americana no Estado do Acre, Brasil, no período de 2001 a 2006 (segundo período), comparando-se com os resultados de publicação anterior com dados no mesmo estado entre 1992 e 1997 (primeiro período). A prevalência no estado mais que dobrou entre os dois momentos (55,7/10 mil habitantes de 1992 a 1997 e 128,5/10 mil habitantes entre 2001 e 2006. O sexo masculino foi o mais acometido (68,8%, n = 5.860) no segundo período. A média das idades foi de 26,3 anos, valor discretamente menor do que o do primeiro período. Pacientes com baixa escolaridade foram os mais acometidos pela doença. As demais variáveis avaliadas foram zona de residência, ocupação, critério de diagnóstico, forma clínica, tratamento, recidiva, tempo para procurar tratamento e evolução da doença. Conclui-se que houve piora nos indicadores epidemiológicos da leishmaniose tegumentar americana avaliados no estado entre os períodos estudados.

Air pollution and hospital admissions for respiratory diseases in the subequatorial Amazon: a time series approach

The objective of the study is to evaluate the effect of the daily variation in concentrations of fine particulate matter (diameter less than 2.5µm - PM2.5) resulting from the burning of biomass on the daily number of hospitalizations of children and elderly people for respiratory diseases, in Alta Floresta and Tangará da Serra in the Brazilian Amazon in 2005. This is an ecological time series study that uses data on daily number of hospitalizations of children and the elderly for respiratory diseases, and estimated concentration of PM2.5. In Alta Floresta, the percentage increases in the relative risk (%RR) of hospitalization for respiratory diseases in children were significant for the whole year and for the dry season with 3-4 day lags. In the dry season these measurements reach 6% (95%CI: 1.4-10.8). The associations were sig-nificant for moving averages of 3-5 days. The %RR for the elderly was significant for the current day of the drought, with a 6.8% increase (95%CI: 0.5-13.5) for each additional 10µg/m3 of PM2.5. No as-sociations were verified for Tangara da Serra. The PM2.5 from the burning of biomass increased hospitalizations for respiratory diseases in children and the elderly.

Relação entre depressão pós-parto e disponibilidade emocional materna

A depressão pós-parto é um transtorno de alta prevalência que pode comprometer a qualidade da relação mãe-criança. Este estudo pretende determinar a prevalência do referido transtorno, comparar a interação mãe-bebê nos grupos com e sem depressão e verificar a relação entre depressão, apoio social e estilos de relacionamento e disponibilidade emocional maternos. As participantes eram gestantes que pretendiam dar à luz no Hospital Universitário da Universidade de São Paulo entre dezembro de 2006 e dezembro de 2008. A prevalência de depressão pós-parto em nossa amostra foi 28%. Não houve diferença significativa na relação mãe-criança no grupo com e sem depressão. Encontrou-se correlação positiva entre sensibilidade materna e escolaridade e entre sensibilidade e certas dimensões de apoio social e estilo de relacionamento. Conclui-se que a prevalência de depressão pós-parto em nossa amostra é mais alta que a média mundial, mas a sintomatologia depressiva não interfere significativamente na qualidade da interação mãe-bebê. A sensibilidade materna é influenciada por fatores sócio-cognitivos e afetivos.

Self-disclosure of HIV diagnosis to sexual partners by heterosexual and bisexual men: a challenge for HIV/AIDS care and prevention

This study investigated the disclosure of HIV-positive serostatus to sexual partners by heterosexual and bisexual men, selected in centers for HIV/AIDS care. In 250 interviews, we investigated disclosure of serostatus to partners, correlating disclosure to characteristics of relationships. The focus group further explored barriers to maintenance/establishment of partnerships and their association with disclosure and condom use. Fear of rejection led to isolation and distress, thus hindering disclosure to current and new partners. Disclosure requires trust and was more frequent to steady partners, to partners who were HIV-positive themselves, to female partners, and by heterosexuals, occurring less frequently with commercial sex workers. Most interviewees reported consistent condom use. Unprotected sex was more frequent with seropositive partners. Suggestions to enhance comprehensive care for HIV-positive men included stigma management, group activities, and human rights-based approaches involving professional education in care for sexual health, disclosure, and care of "persons living with HIV".

Limites do cuidado: representações e processos inconscientes sobre a população na porta de entrada de um hospital de emergência

Este artigo apresenta parte dos resultados de uma investigação voltada para a análise dos limites e possibilidades que os processos intersubjetivos e inconscientes presentes nos serviços de saúde estabelecem para o exercício da solidariedade, para a cooperação e para a produção do cuidado com a vida. Elegeu-se como estudo de caso um hospital público de emergência, situado no Município do Rio de Janeiro, Brasil. A Psicossociologia francesa, de inspiração clínica psicanalítica, a teoria psicanalítica sobre os processos intersubjetivos e grupais e a Psicodinâmica do Trabalho são os referenciais centrais que orientaram o desenho da investigação e a análise do material empírico. As representações psíquicas e os processos inconscientes relativos à população e suas demandas, produzidos pelos trabalhadores de saúde do hospital estudado, foram analisados, discutindo-se suas conseqüências sobre a produção do cuidado. Algumas imagens se destacaram, como a "carência", utilizada como uma categoria encobridora da diversidade da demanda, num processo inconsciente de múltiplas reduções: da negação do sofrimento social à negação da condição de humanidade dos pacientes.

Adaptação transcultural e consistência interna do Early Trauma Inventory (ETI)

As experiências traumáticas precoces são um fator de risco preditivo de problemas psicopatológicos futuros. O Early Trauma Inventory (ETI) é um instrumento que avalia em indivíduos adultos experiências traumáticas ocorridas antes dos 18 anos de idade. Tal instrumento foi traduzido, transculturalmente adaptado e sua consistência interna foi avaliada. Vítimas de violência que preencheram os critérios de inclusão e exclusão foram submetidas a uma entrevista diagnóstica (SCID-I) e ao ETI. Foram incluídos 91 pacientes com o transtorno do estresse pós-traumático (TEPT). O alfa de Cronbach nos diferentes domínios variou de 0,595-0,793, e o escore total foi de 0,878. A maior parte dos itens nos vários domínios, com exceção do abuso emocional, apresentou índices de correlação interitem entre 0,51-0,99. A versão adaptada foi útil tanto na clínica quanto na pesquisa. Apresentou boa consistência interna e na correlação interitem. O ETI é um instrumento válido, com boa consistência para se avaliar a presença de história de traumas precoces em indivíduos adultos.