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.

Do incumprimento das responsabilidades parentais ao ilícito de subtracção de menor

Dissertação de mestrado em Direito das Crianças, Família e Sucessões

Perfis de vinculação, coparentalidade e ajustamento familiar em pais recém-divorciados: diferenças no ajustamento psicológico

O objectivo deste estudo foi identificar, através de uma análise de cluster, perfis de regulação individualdiádica-sistémica em pais récem-divorciados (N=81) com base na vinculação, coparentalidade e ajustamentofamiliar. Três padrões de regulação foram identificados: regulado-seguro (RS), desregulado-ansioso (DA) e desregulado-evitante (DE). O grupo RS mostrou níveis mais elevados de segurança na vinculação, maior qualidade na coparentalidade e no ajustamento familiar que os grupos DA e DE. A coparentalidade e o funcionamento familiar foram as dimensões que melhor diferenciaram os clusters. Avaliando o ajustamento psicológico dos pais recém-divorciados em função dos perfis encontrados, o grupo RS apresentou maiores níveis de ajustamento psicológico do que os restantes dois grupos. Não foram encontradas diferenças no ajustamento psicológico entre os grupos DA e DE.

The Portuguese version of the Psychological Adjustment to Separation Test-Part A (PAST-A): a study with recently and non-recently divorced adults

Past research has demonstrated that divorced adults show more health problems and psychological distress than married adults. Considering the high prevalence rates of divorce among Western countries, new and robust measures should be developed to measure psychological distress after this specific transition in adulthood. The aim of this study was to adapt and validate a Portuguese version of the Psychological Adjustment to Separation Test-Part A (PAST-A; Sweeper and Halford in J Family Psychol 20(4):632–640, 2006). PAST-A is a self-report measure that assesses two key dimensions of separation adjustment problems: lonely-negativity and former partner attachment. Psychometric properties of the Portuguese version of PAST-A were assessed in terms of factor structure, internal consistency, and convergent and divergent validity, in an online convenience sample with divorced adults (N = 460). The PAST-A two-factor structure was confirmed by exploratory and confirmatory factor analyses, with each factor demonstrating very satisfactory internal consistency and good convergence. In terms of discriminant validity, the Portuguese PAST-A reveals a distinct factor from psychological growth after divorce. The results provided support for the use of the Portuguese PAST-A with divorced adults and also suggested that the explicative factors of the psychological adjustment to divorce may be cross-cultural stable. The non-existence of validated divorce-related well-being measures and its implications for divorce research are also discussed.

Psychometric properties of the Portuguese version of the Posttraumatic Growth Inventory Short Form among divorced adults

The aim of this study was to develop and validate a Portuguese version of the Short Form of the Posttraumatic Growth Inventory (PTGI-SF). Using an online convenience sample of Portuguese divorced adults (N = 482), we confirmed the oblique five-factor structure of the PTGI-SF by confirmatory factor analysis. The results demonstrated the measurement invariance across divorce initiator status groups. Total score and factors of PTGI-SF showed good internal consistency, with the exception of the New Possibilities factor, which revealed an acceptable reliability. The Portuguese PTGI-SF showed a satisfactory convergent validity. In terms of discriminant validity, posttraumatic growth assessed by the Portuguese PTGI-SF was a distinct factor from posttraumatic psychological adjustment. These preliminary findings suggest the cultural adaptation and also psychometric properties of the present Portuguese PTGI-SF to measure posttraumatic growth after personal crisis.

Ajustamento da criança à separação ou divórcio dos pais

Objetivo: O presente artigo procura relacionar e analisar evidências empíricas e teóricas sobre o impacto e os fatores associados ao impacto da separação ou divórcio dos pais no ajustamento da criança. Método: Realizou-se uma revisão agregativa da literatura, recorrendo às palavras-chave “divorce adjustment”, “child divorce” e “divorce impact”, nas bases de dados JSTOR, PsycInfo, SciELO e Medline e em livros da especialidade. Resultados: Respostas adaptativas e desadaptativas da criança são descritas, assim como potenciais resultados positivos. São principalmente discutidos os fatores mediadores e moderadores frequentemente referenciados na literatura no impacto da separação ou divórcio dos pais no ajustamento da criança. Entre esses estão: características da criança, problemas financeiros, sintomatologia psicopatológica dos pais, qualidade das práticas parentais e conflito interparental. Conclusão: Com base nas evidências empíricas e perspectivando o divórcio como uma transição desenvolvimental, levantamos a hipótese de que os problemas de ajustamento apresentados pelas crianças com pais divorciados possam ser mais bem explicados por outros fatores do que pelo divórcio/separação per se. Finalmente assumimos uma inovação conceptual de que essa transição familiar pode significar uma oportunidade de crescimento e de promoção desenvolvimental.

Pais por inteiro: avaliação preliminar da eficácia de uma intervenção em grupo para pais divorciados

O artigo trata da avaliação preliminar da eficácia do Pais por Inteiro (PApi), uma intervenção em grupo com pais divorciados, implementada com a finalidade de melhorar a adaptação ao divórcio, a coparentalidade e a binuclearidade familiar. Os participantes (n= 16) foram equitativamente distribuídos em um grupo experimental (sujeito a intervenção) e um grupo de controlo. Os grupos mostraram-se semelhantes nas medidas dependentes pré-intervenção. Os resultados evidenciaram uma melhoria entre o pré e pós-teste no ajustamento ao divórcio e na qualidade da coparentalidade no grupo experimental, e uma melhoria no pós-teste no ajustamento também no grupo experimental. Estas melhorias não existiram no grupo de controlo. Estes resultados sugerem a eficácia do PApi em termos do melhor ajustamento pósdivórcio e coparentalidade.

Adaptação ao divórcio e relações coparentais: contributos da teoria da vinculação

Neste artigo propõe-se uma contribuição da teoria da vinculação na compreensão dos processos de adaptação dos adultos ao seu divórcio e como a desvinculação ao ex-cônjuge interfere na coparentalidade pós-divórcio. Este artigo formula duas hipóteses teóricas. A primeira hipótese afirma que o divórcio, enquanto processo relacional, deve ser lido como um momento de perda que germina reacções psicológicas similares às experienciadas pelos viúvos, tal como descreve Bowlby no modelo de perda da figura de vinculação, estando dependente dos estilos de vinculação dos adultos. A segunda hipótese sustenta que a coparentalidade pós-divórcio é predita pelos estilos de vinculação e pela qualidade da reorganização da vinculação dos pais. Finalmente, uma integração teórica é apresentada, operacionalizada numa proposta de investigação futura neste domínio.

“PApi – Pais por Inteiro” Programa de intervenção em grupo para o ajustamento pessoal e a promoção da coparentalidade positiva em pais divorciados

O presente artigo apresenta o programa de intervenção em grupo para pais divorciados, Pais por Inteiro (PApi). Fundamentados na revisão da literatura com a qual o artigo se inicia, os objectivos gerais do programa – promover a coparentalidade positiva, a construção de um projecto de binuclearidade familiar e a reflexão e aprofundamento das trajectórias individuais de cada pai – são descritos, assim como as três macrocomponentes psicoterapêuticas ao longo das quais estes objectivos se desenvolvem – exposição dos processos de divórcio, partilha experiencial e treino de competências e mudança desenvolvimental. O artigo oferece ainda, no final, uma mais detalhada clarificação dos objectivos, materiais e actividades planeadas para cada das dez sessões que compõem o PApi.

Qualidade da vinculação e dos relacionamentos significativos na gravidez

O estudo apresentado neste artigo destinou-se a investigar a qualidade da vinculação e das relações significativas na gravidez. Mais precisamente, teve por objectivos (1) determinar as características sociais e demográficas e as condições anteriores de existência que se associam e permitem prever um estilo de vinculação (in)seguro e (2) estimar o impacto do estilo de vinculação na qualidade do relacionamento e do apoio por parte do companheiro e de uma outra pessoa significativa, na gravidez. Uma amostra de 130 grávidas (66 adolescentes e 64 adultas) foi avaliada no último trimestre de gestação quanto ao estilo de vinculação e à qualidade do relacionamento e do apoio por parte do companheiro e de uma outra pessoa significativa (com base na Attachment Style Interview, ASI; Bifulco, Figueiredo, Guedeney, Gorman, Hays et al., 2004; Bifulco, Moran, Ball & Bernazzani, 2002a; Bifulco, Moran, Ball & Lillie, 2002b). A amostra foi recolhida na Maternidade de Júlio Dinis (Porto) e é bastante heterogénea do ponto de vista social e demográfico, em características como: a idade, o nível educacional, o estado civil, o estatuto ocupacional e o tipo de agregado familiar, embora fundamentalmente constituída por grávidas primíparas. Os resultados mostram que um estilo inseguro de vinculação pode ser previsto na sequência de separação ou divórcio parental durante a infância ou adolescência e quando a grávida está desempregada, e que a gravidez na adolescência se associa ao estilo de vinculação desligado. Mostram ainda que um estilo inseguro de vinculação permite prever um pior relacionamento na gravidez, quer com o companheiro, quer com a outra pessoa significativa, principalmente a presença de relações discordantes com o companheiro e de relações apáticas com a outra pessoa significativa. As estratégias emaranhadas afectam a relação com o companheiro (em aspectos como menos confiança, menos suporte emocional e mais interacção negativa), mas não a relação com a outra pessoa significativa; enquanto as estratégias desligadas afectam a relação com a outra pessoa significativa (em aspectos como menos actividades partilhadas e menos interacção positiva), mas não a relação com o companheiro, e as estratégias amedrontadas afectam o relacionamento, tanto com o companheiro (em aspectos como menor sentimento de ligação) quanto com a outra pessoa significativa (em aspectos como menos confiança). De acordo com a Teoria da Vinculação, conclui-se que condições adversas de existência (anteriores e actuais) propiciam vinculação insegura e que o estilo de vinculação interfere na qualidade do relacionamento com o companheiro e com outras pessoas significativas, nomeadamente na capacidade da grávida recorrer a apoio.

Pervasive adaptive data acquisition gateway for critical healthcare

The data acquisition process in real-time is fundamental to provide appropriate services and improve health professionals decision. In this paper a pervasive adaptive data acquisition architecture of medical devices (e.g. vital signs, ventilators and sensors) is presented. The architecture was deployed in a real context in an Intensive Care Unit. It is providing clinical data in real-time to the INTCare system. The gateway is composed by several agents able to collect a set of patients’ variables (vital signs, ventilation) across the network. The paper shows as example the ventilation acquisition process. The clients are installed in a machine near the patient bed. Then they are connected to the ventilators and the data monitored is sent to a multithreading server which using Health Level Seven protocols records the data in the database. The agents associated to gateway are able to collect, analyse, interpret and store the data in the repository. This gateway is composed by a fault tolerant system that ensures a data store in the database even if the agents are disconnected. The gateway is pervasive, universal, and interoperable and it is able to adapt to any service using streaming data.

Modelado multi-dominio de máquinas eléctricas. Multi-domain modeling of electric machines

El objetivo general de este proyecto es desarrollar nuevos modelos multi-dominio de máquinas eléctricas para aplicaciones al control y al diagnóstico de fallas. Se propone comenzar con el modelo electromagnético del motor de inducción en base a circuitos magnéticos equivalentes (MEC) validándolo por medio de simulación y de resultados experimentales. Como segundo paso se pretende desarrollas modelos térmicos y mecánicos con el objetivo que puedan ser acoplados al modelo electromagnético y de esta estudiar la interacción de los dominios y se validará mediante resultados de simulación y experimentales el modelo completo. Finalmente se pretende utilizar el modelo multi-dominio como una herramienta para la prueba de nuevas estrategias de control y diagnóstico de fallas. The main objective of this project is the development of new multi-domain models of electric machines for control and fault diagnosis applications. The electromagnetic modeling of the induction motor (IM) will be done using the magnetic equivalent circuits approach. This model will be validated by simulation and by experimental results. As a second step of this project, new mechanical and thermal models for the IM will be developed, with the objective of coupling these models with the electromagnetic one. With this multi-domain model it will be possible to study the interaction between each others. After that, the complete model will be validated by simulation and experimental results. Finally, the model will be used as a tool for testing new control and fault diagnosis strategies.

Результаты деформографических наблюдений в зоне правобережного разлома на территории арочной плотины Ингурской ГЭС.

ჩატარებულია ენგურის კაშხლის ქვეშ გამავალი რღვევის ზონაში დაყენებული კვარცის დეფორმოგრაფის (ექსტენზომეტრის) 30-წლიანი ფოტომასალის ანალიზი.

middleware for cooperating mobile embedded systems

Mobile embedded systems, wireless communication, real-time systems, real-time scheduling, communication protocols, cooperation, reliability and fault-tolerance, middleware

Contribution to the geology of Thailand and implications for the geodynamic evolution of Southeast Asia

Abstract The purpose of this study is to unravel the geodynamic evolution of Thailand and, from that, to extend the interpretation to the rest of Southeast Asia. The methodology was based in a first time on fieldwork in Northern Thailand and Southernmost Myanmar, using a multidisciplinary approach, and then on the compilation and re-interpretation, in a plate tectonics point of view, of existing data about the whole Southeast Asia. The main results concern the Nan-Uttaradit suture, the Chiang Mai Volcanic Belt and the proposition of a new location for the Palaeotethys suture. This led to the establishment of a new plate tectonic model for the geodynamic evolution of Southeast Asia, implying the existence new terranes (Orang Laut and the redefinition of Shan-Thai) and the role of the Palaeopacific Ocean in the tectonic development of the area. The model proposed here considers the Palaeotethys suture as located along the Tertiary Mae Yuam Fault, which represents the divide between the Cimmerian Sibumasu terrane and the Indochina-derived Shan-Thai block. The term Shan-Thai, previously used to define the Cimmerian area (when the Palaeotethys suture was thought to represented by the Nan-Uttaradit suture), was redefined here by keeping its geographical location within the Shan States of Myanmar and Central-Northern Thailand, but attributing it an East Asian Origin. Its detachment from Indochina was the result of the Early Permian opening of the Nan basin. The Nan basin closed during the Middle Triassic, before the deposition of Carnian-Norian molasse. The modalities of the closure of the basin imply a first phase of Middle Permian obduction, followed by final eastwards subduction. The Chiang Mai Volcanic Belt consists of scattered basaltic rocks erupted at least during the Viséan in an extensional continental intraplate setting, on the Shan-Thai part of the Indochina block. The Viséan age was established by the dating of limestone stratigraphically overlying the basalts. In several localities of the East Asian Continent, coeval extensional features occur, possibly implying one or more Early Carboniferous extensional events at a regional scale. These events occurred either due to the presence of a mantle plume or to the roll-back of the Palaeopacific Ocean, subducting beneath Indochina and South China, or both. The Palaeopacific Ocean is responsible, during the Early Permian, for the opening of the Song Ma and Poko back-arcs (Vietnam) with the consequent detachment of the Orang Laut Terranes (Eastern Vietnam, West Sumatra, Kalimantan, Palawan, Taiwan). The Late Triassic/Early Jurassic closure of the Eastern Palaeotethys is considered as having taken place by subduction beneath its southern margin (Gondwana), due to the absence of Late Palaeozoic arc magmatism on its northern (Indochinese) margin and the presence of volcanism on the Cimmerian blocks (Mergui, Lhasa). Résumé Le but de cette étude est d'éclaircir l'évolution géodynamique de la Thaïlande et, à partir de cela, d'étendre l'interprétation au reste de l'Asie du Sud-Est. La méthodologie utilisée est basée dans un premier temps sur du travail de terrain en Thaïlande du nord et dans l'extrême sud du Myanmar, en se basant sur une approche pluridisciplinaire. Dans un deuxième temps, la compilation et la réinterprétation de données préexistantes sur l'Asie du Sud-est la été faite, dans une optique basée sur la tectonique des plaques. Les principaux résultats de ce travail concernent la suture de Nan-Uttaradit, la « Chiang Mai Volcanic Belt» et la proposition d'une nouvelle localité pour la suture de la Paléotethys. Ceci a conduit à l'établissement d'un nouveau modèle pour l'évolution géodynamique de l'Asie du Sud-est, impliquant l'existence de nouveaux terranes (Orang Laut et Shan-Thai redéfini) et le rôle joué par le Paléopacifique dans le développement tectonique de la région. Le modèle présenté ici considère que la suture de la Paléotethys est située le long de la faille Tertiaire de Mae Yuam, qui représente la séparation entre le terrain Cimmérien de Sibumasu et le bloc de Shan-Thai, d'origine Indochinoise. Le terme Shan-Thai, anciennement utilise pour définir le bloc Cimmérien (quand la suture de la Paléotethys était considérée être représentée par la suture de Nan-Uttaradit), a été redéfini ici en maintenant sa localisation géographique dans les états Shan du Myanmar et la Thaïlande nord-centrale, mais en lui attribuant une origine Est Asiatique. Son détachement de l'Indochine est le résultat de l'ouverture du basin de Nan au Permien Inférieur. Le basin de Nan s'est fermé pendant le Trias Moyen, avant le dépôt de molasse Carnienne-Norienne. Les modalités de fermeture du basin invoquent une première phase d'obduction au Permien Moyen, suivie par une subduction finale vers l'est. La "Chiang Mai Volcanic Belt" consiste en des basaltes éparpillés qui ont mis en place au moins pendant le Viséen dans un contexte extensif intraplaque continental sur la partie de l'Indochine correspondant au bloc de Shan-Thai. L'âge Viséen a été établi sur la base de la datation de calcaires qui surmontent stratigraphiquement les basaltes. Dans plusieurs localités du continent Est Asiatique, des preuves d'extension plus ou moins contemporaines ont été retrouvées, ce qui implique l'existence d'une ou plusieurs phases d'extension au Carbonifère Inférieur a une échelle régionale. Ces événements sont attribués soit à la présence d'un plume mantellique, ou au rollback du Paléopacifique, qui subductait sous l'Indochine et la Chine Sud, soit les deux. Pendant le Permien inférieur, le Paléopacifique est responsable pour l'ouverture des basins d'arrière arc de Song Ma et Poko (Vietnam), induisant le détachement des Orang Laut Terranes (Est Vietnam, Ouest Sumatra, Kalimantan, Palawan, Taiwan). La fermeture de la Paléotethys Orientale au Trias Supérieur/Jurassique Inférieur est considérée avoir eu lieu par subduction sous sa marge méridionale (Gondwana), à cause de l'absence de magmatisme d'arc sur sa marge nord (Indochinoise) et de la présence de volcanisme sur les blocs Cimmériens de Lhassa et Sibumasu (Mergui). Résumé large public L'histoire géologique de l'Asie du Sud-est depuis environ 430 millions d'années a été déterminée par les collisions successives de plusieurs continents les uns avec les autres. Il y a environ 430 millions d'années, au Silurien, un grand continent appelé Gondwana, a commencé à se «déchirer» sous l'effet des contraintes tectoniques qui le tiraient. Cette extension a provoqué la rupture du continent et l'ouverture d'un grand océan, appelé Paléotethys, éloignant les deux parties désormais séparées. C'est ainsi que le continent Est Asiatique, composé d'une partie de la Chine actuelle, de la Thaïlande, du Myanmar, de Sumatra, du Vietnam et de Bornéo a été entraîné avec le bord (marge) nord de la Paléotethys, qui s'ouvrait petit à petit. Durant le Carbonifère Supérieur, il y a environ 300 millions d'années, le sud du Gondwana subissait une glaciation, comme en témoigne le dépôt de sédiments glaciaires dans les couches de cet âge. Au même moment le continent Est Asiatique se trouvait à des latitudes tropicales ou équatoriales, ce qui permettait le dépôt de calcaires contenant différents fossiles de foraminifères d'eau chaude et de coraux. Durant le Permien Inférieur, il y a environ 295 millions d'années, la Paléotethys Orientale, qui était un relativement vieil océan avec une croûte froide et lourde, se refermait. La croûte océanique a commencé à s'enfoncer, au sud, sous le Gondwana. C'est ce que l'on appelle la subduction. Ainsi, le Gondwana s'est retrouvé en position de plaque supérieure, par rapport à la Paléotethys qui, elle, était en plaque inférieure. La plaque inférieure en subductant a commencé à reculer. Comme elle ne pouvait pas se désolidariser de la plaque supérieure, en reculant elle l'a tirée. C'est le phénomène du «roll-back ». Cette traction a eu pour effet de déchirer une nouvelle fois le Gondwana, ce qui a résulté en la création d'un nouvel Océan, la Neotethys. Cet Océan en s'ouvrant a déplacé une longue bande continentale que l'on appelle les blocs Cimmériens. La Paléotethys était donc en train de se fermer, la Neotethys de s'ouvrir, et entre deux les blocs Cimmériens se rapprochaient du Continent Est Asiatique. Pendant ce temps, le continent Est Asiatique était aussi soumis à des tensions tectoniques. L'Océan Paléopacifique, à l'est de celui-ci, était aussi en train de subducter. Cette subduction, par roll-back, a déchiré le continent en détachant une ligne de microcontinents appelés ici « Orang Laut Terranes », séparés du continent par deux océans d'arrière arc : Song Ma et Poko. Ceux-ci sont composés de Taiwan, Palawan, Bornéo ouest, Vietnam oriental, et la partie occidentale de Sumatra. Un autre Océan s'est ouvert pratiquement au même moment dans le continent Est Asiatique : l'Océan de Nan qui, en s'ouvrant, a détaché un microcontinent appelé Shan-Thai. La fermeture de l'Océan de Nan, il y a environ 230 millions d'années a resolidarisé Shan-Thai et le continent Est Asiatique et la trace de cet événement est aujourd'hui enregistrée dans la suture (la cicatrice de l'Océan) de Nan-Uttaradit. La cause de l'ouverture de l'Océan de Nan peut soit être due à la subduction du Paléopacifique, soit aux fait que la subduction de la Paléotethys tirait le continent Est Asiatique par le phénomène du « slab-pull », soit aux deux. La subduction du Paléopacifique avait déjà crée de l'extension dans le continent Est Asiatique durant le Carbonifère Inférieur (il y a environ 340-350 millions d'années) en créant des bassins et du volcanisme, aujourd'hui enregistré en différents endroits du continent, dont la ceinture volcanique de Chiang Mai, étudiée ici. A la fin du Trias, la Paléotethys se refermait complètement, et le bloc Cimmérien de Sibumasu entrait en collision avec le continent Est Asiatique. Comme c'est souvent le cas avec les grands océans, il n'y a pas de suture proprement dite, avec des fragments de croûte océanique, pour témoigner de cet évènement. Celui-ci est visible grâce à la différence entre les sédiments du Carbonifère Supérieur et du Permieñ Inférieur de chaque domaine : dans le domaine Cimmérien ils sont de type glaciaire alors que dans le continent Est Asiatique ils témoignent d'un climat tropical. Les océans de Song Ma et Poko se sont aussi refermés au Trias, mais eux ont laissé des sutures visibles