Can(Plan)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information

The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of Can(Plan) into Can(Plan)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent's beliefs. These epistemic states are stratified to make them commensurable and to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions are affected by uncertainty and we define an appropriate form of lookahead planning.

Deep Salience: Visual Salience Modeling via Deep Belief Propagation

Visual salience is an intriguing phenomenon observed in biological neural systems. Numerous attempts have been made to model visual salience mathematically using various feature contrasts, either locally or globally. However, these algorithmic models tend to ignore the problem’s biological solutions, in which visual salience appears to arise during the propagation of visual stimuli along the visual cortex. In this paper, inspired by the conjecture that salience arises from deep propagation along the visual cortex, we present a Deep Salience model where a multi-layer model based on successive Markov random fields (sMRF) is proposed to analyze the input image successively through its deep belief propagation. As a result, the foreground object can be automatically separated from the background in a fully unsupervised way. Experimental evaluation on the benchmark dataset validated that our Deep Salience model can consistently outperform eleven state-of-the-art salience models, yielding the higher rates in the precision-recall tests and attaining the best F-measure and mean-square error in the experiments.

Experimental and Numerical Benchmarking of an Improved Impeller Meanline Modelling Method for Automotive Turbocharger Centrifugal Compressors

After the development of a new single-zone meanline modelling technique, benchmarking of the technique and the modelling methods used during its development are presented. The new meanline model had been developed using the results of three automotive turbocharger centrifugal compressors, and single passage CFD models based on their geometry.

The target of the current study was to test the new meanline modelling method on two new centrifugal compressor stages, again from the automotive turbocharger variety. Furthermore the single passage CFD modelling method used in the previous study would be again employed here and also benchmarked.

The benchmarking was twofold; firstly test the overall performance prediction accuracy of the single-zone meanline model. Secondly, test the detailed performance estimation of the CFD model using detailed interstage static pressure tappings.

The final component of this study exposed the weaknesses in the current modelling methods used (explicitly during this study). The non-axisymmetric flow field at the leading and trailing edges for the two compressors was measured and is presented here for the complete compressor map, highlighting the distortion relative to the tongue.

An Evaluation of Vaneless Diffuser Modelling Methods as a Means of Improving the Off-Design Performance Prediction of Centrifugal Compressors

An evaluation of existing 1-D vaneless diffuser design tools in the context of improving the off-design performance prediction of automotive turbocharger centrifugal compressors is described. A combination of extensive gas stand test data and single passage CFD simulations have been employed in order to permit evaluation of the different methods, allowing conclusions about the relative benefits and deficiencies of each of the different approaches to be determined. The vaneless diffuser itself has been isolated from the incumbent limitations in the accuracy of 1-D impeller modelling tools through development of a method to fully specify impeller exit conditions (in terms of mean quantities) using only standard test stand data with additional interstage static pressure measurements at the entrance to the diffuser. This method allowed a direct comparison between the test data and 1-D methods through sharing common inputs, thus achieving the aim of diffuser isolation.

Crucial to the accuracy of determining the performance of each of the vaneless diffuser configurations was the ability to quantify the presence and extent of the spanwise aerodynamic blockage present at the diffuser inlet section. A method to evaluate this critical parameter using CFD data is described herein, along with a correlation for blockage related to a new diffuser inlet flow parameter ⚡, equal to the quotient of the local flow coefficient and impeller tip speed Mach number. The resulting correlation permitted the variation of blockage with operating condition to be captured.

An evaluation of strain softening of glacial tills as a result of pore pressure dynamics.

Deep-seated progressive failures of cuttings in heavily overconsolidated clays have been observed in the field and are well documented, especially for London Clays (Potts, Kovacevic, & Vaughan, 1997; Smethurst, Powrie, & Clarke, 2006; Take, 2003), however, the process of softening and the development of a rupture surface in other clays, including the clay fraction of glacial tills, is still to be established. Recent decades have witnessed extreme weather conditions in Northern Ireland with dry summers and wet winters. The dynamics of this pore pressure variation can trigger strength reduction and progressive plastic straining, both of which will lead to slope failure. The aim of this research is to evaluate the effect of pore pressure variations on the deformation and long-term stability of large cuttings in glacial tills in Northern Ireland. This paper outlines the overall research program and presents initial laboratory findings (Carse, 2013).

Using geotechnical and LIDAR spatial monitoring to determine key environmental slope instability thresholds of a Jurassic coastal landslide: Straidkilly Point, Northern Ireland, UK.

The Antrim Coast Road stretching from the seaport of Larne in the East of Northern Ireland to the famous Giant’s Causeway in the North has a well-deserved reputation for being one of the most spectacular roads in Europe (Day, 2006). At various locations along the route, fluid interactions between the problematic geology, Jurassic Lias Clay and Triassic Mudstone overlain by Cretaceous Limestone and Tertiary Basalt, and environmental variables result in frequent instances of slope instability within the vadose zone. During such instances of instability, debris flows and composite mudflows encroach on the carriageway posing a hazard to road users. This paper examines the site investigative, geotechnical and spatial analysis techniques currently being implemented to monitor slope stability for one site at Straidkilly Point, Glenarm, Northern Ireland. An in-depth understanding of the geology was obtained via boreholes, resistivity surveys and laboratory testing. Environmental variables recorded by an on-site weather station were correlated with measured pore water pressure and soil moisture infiltration dynamic data.
Terrestrial LiDAR (TLS) was applied to the slope for the monitoring of failures, with surveys carried out on a bi-monthly basis. TLS monitoring allowed for the generation of Digital Elevation Models (DEMs) of difference, highlighting areas of recent movement, erosion and deposition. Morphology parameters were generated from the DEMs and include slope, curvature and multiple measures of roughness. Changes in the structure of the slope coupled with morphological parameters are characterised and linked to progressive failures from the temporal monitoring. In addition to TLS monitoring, Aerial LiDARi datasets were used for the spatio-morphological characterisation of the slope on a macro scale. Results from the geotechnical and environmental monitoring were compared with spatial data obtained through Terrestrial and Airborne LiDAR, providing a multi-faceted approach to slope stability characterization, which facilitates more informed management of geotechnical risk by the Northern Ireland Roads Service.

Estimation of the small strain stiffness of glacial till using geophysical methods and barometric loading response

Stiffness values in geotechnical structures can range over many orders of magnitude for relatively small operational strains. The typical strain levels where soil stiffness changes most dramatically is in the range 0.01-0.1%, however soils do not exhibit linear stress-strain behaviour at small strains. Knowledge of the in situ stiffness at small strain is important in geotechnical numerical modelling and design. The stress-strain regime of cut slopes is complex, as we have different principle stress directions at different positions along the potential failure plane. For example, loading may be primarily in extension near the toe of the slope, while compressive loading is predominant at the crest of a slope. Cuttings in heavily overconsolidated clays are known to be susceptible to progressive failure and subsequent strain softening, in which progressive yielding propagates from the toe towards the crest of the slope over time. In order to gain a better understanding of the rate of softening it would be advantageous to measure changes in small strain stiffness in the field.

Learning Bayesian Networks with Thousands of Variables

We present a method for learning Bayesian networks from data sets containing thousands of variables without the need for structure constraints. Our approach is made of two parts. The first is a novel algorithm that effectively explores the space of possible parent sets of a node. It guides the exploration towards the most promising parent sets on the basis of an approximated score function that is computed in constant time. The second part is an improvement of an existing ordering-based algorithm for structure optimization. The new algorithm provably achieves a higher score compared to its original formulation. Our novel approach consistently outperforms the state of the art on very large data sets.

Affections dermatologiques et troubles dépressifs : leur association chez les personnes âgées du Québec

Résumé : Les liens entre les maladies dermatologiques et les troubles de santé mentale, dont la dépression, sont reconnus depuis longtemps. Cependant, peu d’études de population ont examiné cette problématique et aucune n’a été faite auprès des aînés. Le but de ce mémoire est d’explorer l’association entre les affections dermatologiques et les troubles dépressifs chez les personnes âgées vivant à domicile. Pour ce faire, deux études ont été réalisées. La première visait à décrire les caractéristiques dermatologiques de la population à l’étude et la deuxième avait pour but de tester l’hypothèse d’une association bidirectionnelle entre les problèmes mentionnés. Il s’agit d’une analyse secondaire des données de l’Enquête sur la Santé des Aînés (ESA) qui a été menée auprès d’un échantillon représentatif de la population âgée (≥ 65 ans) vivant à domicile au Québec. Des mesures répétées à un an d’intervalle (T1 et T2) ont été obtenues auprès de 2 cohortes successives fixes. Les données de l’enquête ESA ont été appariées à celles des registres de la Régie de l’assurance maladie du Québec (RAMQ). Les troubles dépressifs ont été définis en se basant sur les critères du DSM-IV et les affections dermatologiques ont été mesurées à partir de deux sources de données (enquête et registres administratifs de la RAMQ). Des modèles autorégressifs bivariés ont été utilisés pour tester l’hypothèse d’association bidirectionnelle entre les affections dermatologiques et les troubles dépressifs. Nos résultats ont montré que près de 13% et 21% des répondants ont rapporté des affections dermatologiques auto-rapportées ou avaient été diagnostiqués selon les registres de la RAMQ. En plus, près de 6% des participants rapportaient un trouble dépressif probable au T1 et au T2. Nos résultats suggèrent la présence d’une association synchronique (transversale) entre les affections dermatologiques et les troubles dépressifs. Ce projet souligne l’importance d’évaluer et d’explorer la cooccurrence de ces deux pathologies afin d’améliorer la prise en charge des individus atteints simultanément par ces deux problèmes. Nous suggérons l'inclusion des affections dermatologiques dans les futures études épidémiologiques visant à explorer les liens entre les troubles de santé mentale et de santé physique chez les personnes âgées.//Abstract : The relationship between skin conditions and mental health disorders, which includes depression, has long been recognized. However, few population - based studies have examined this issue and none were carried out in older - adults. The aim of this project was to explore the associations between skin conditions and depressive disorders affecting the elderly living at home. To do this, two studies were conducted; the first aimed to describe the dermatological features of the study population. The second was designed to test the hypothesis of a bidirectional association between the conditions mentioned above. We carried out secondary data analyses from data collected in the Study on the Health of Seniors (ESA ) survey, which consisted of a representative sample of the elderly population (≥ 65 years) living at home in Quebec. Two repeated measurements one year apart (T1 and T2) were obtained from two fixed successive cohorts. Participants in both phases of the investigation and with available health service information from Quebec’s health insurance plan agency (Régie de l'assurance maladie du Québec - RAMQ) were selected for this project. Depressive disorders were defined based on DSM - IV criteria and dermatological conditions were measured from two data sources (survey and administrative records). Cross - lagged panel models were used to test the hypothesis of association between the two mentioned conditions. Our results showed that nearly 13% and 21% of respondents have self - reported and diagnosed skin conditions, respectively. In addition, about 6% of participants reported symptoms that were consistent with a probable depressive disorder on T1 and T2. Our results suggested the presence of synchronous (cross - sectional) associations between skin conditions and depressive disorders in the elderly. This research highlights the importance of assessing and exploring the co - occurrence of these two conditions to improve the management of individuals who are affected. We suggest the inclusion of dermatological conditions in future/further studies exploring the comorbidity between mental and physical health in the older adults.

The rise and demise of a book-review magazine interpreting the cultural work of Books in Canada (1971-2008)

This interdisciplinary study examines the contribution that a book-review magazine makes to the cultural identity of its readers. It is the result of reflections on the cultural work of Books in Canada , on whether or not this periodical was a cultural worksite and if that is the case how it performed that cultural work. In addition, it interrogates factors that may have contributed to the magazine's demise. The study affirms that Books in Canada, a cultural enterprise from 1971 to 2008, mirrored and helped to shape book and literary culture in Canada through its circulation, through the personalities of its editors, through its front covers and through its reviewers and their reviews. Furthermore, it proposes that the demise of the enterprise was due to a combination of factors. The study begins with an introduction to book reviewing and special-interest magazines. Chapter I examines the interplay between selected visual and textual contents published in Books in Canada in its founding years. These components reflected and helped to fuel the cultural nationalism that was sweeping Canada subsequent to the 1967 World's Fair in Montreal. There were also persistent rumours and comments about the magazine that caused certain"cracks in the foundation" to appear. Chapter II compares the aims and editorial challenges of Val Clery, founder of Books in Canada , with those of Adrien Thério, founder of Lettres québécoises, and of the editors of the magazines' twentieth-anniversary issues, Paul Stuewe in the case of the former and André Vanasse in the case of the latter. Evidence in the content of the magazine, editorial and otherwise, indicated that the"contracts" that the editors made with their readers over the years were similar, to reflect and shape a cultural identity, but the result of their"projects," that is, the nature of those identities, was distinctly different. Evidently then, personal aims, preferences and political leanings of editors can have a major impact on the content of a book-review magazine and thus on the cultural work that it does. Therefore, in Chapter III, I focus on selected contents published during the tenures of two of Books in Canada 's key editors, Paul Stuewe and Olga Stein, in order to understand ways that their choices constituted a form of cultural work. The second part of this chapter moves from an analysis of the cultural work of editors to an examination of the cultural work of reviewers. Here, through a close-reading of a selection of reviews published in Books in Canada, and in other periodicals, I argue that reviewers do cultural work in the way that they negotiate their presence in a review, and in how they signal that presence through lexical choices and through the degree of intellectual interaction that they invite. Intellectual interaction is at the core of Chapter IV.This chapter consists of close readings of some of the"billboards" of the enterprise, that is, the front covers of Books in Canada , in order to show how these important components do cultural work by requiring readers to make an intellectual leap from image to text. Chapter V suggests that book reviews, the company's"bills of goods," do cultural work in much the same way as the paratexts of a book. One of my own reviews is offered as a case-study along with a number of other reviews of how central components of a book-review magazine do cultural work through the illocutionary force of their sentences. The first part of Chapter VI, the final chapter, measures the legacy of the magazine, in particular, the annual Books in Canada First Novel Award. Created in 1976, this prize is awarded to the author of the novel judged by a Books in Canada prize committee to be the best first novel in English of the year. The second part of Chapter VI sheds light on factors that may have contributed to the closure of the enterprise, including the copyright uproar that accompanied the agreement that Adrian Stein, publisher of Books in Canada and Olga Stein's husband, made in 2001 with the online book merchant, Amazon.com. Furthermore, this penultimate section of the study suggests that one of the most important factors in the magazine's demise was the decision by the Steins to exploit their position as owners, publisher, and editor of a book-review periodical, a government-subsidized one at that, to publish their own lengthy pre-trial defense of Conrad Black. The chapter then zooms back from the particular to the general with a broader consideration of the impact of technology and globalization on the book industry and on the ability of Books in Canada to survive in any form, print or digital.

La Bibliothèque du Code civil : un ouvrage au confluent de la tradition et de la modernité

La Bibliothèque du Code civil de Charles-Chamilly de Lorimier et Charles-Albert Vilbon, parue au cours de la seconde moitié du XIXe siècle, demeure un des ouvrages de référence marquants de la production juridique québécoise. Les artisans de cet ouvrage présentent le droit civil comme un héritage du passé. L’oeuvre, par sa valorisation des anciens auteurs, propose une lecture du Code civil qui s’inscrit dans la tradition. En même temps, elle se révèle un outil adapté à la transformation que connaît alors la pratique du droit. La Bibliothèque constitue un témoin éloquent de l’évolution de la culture juridique québécoise.