Self-explanation in adaptive systems based on runtime goal-based models

The behaviour of self adaptive systems can be emergent, which means that the system’s behaviour may be seen as unexpected by its customers and its developers. Therefore, a self-adaptive system needs to garner confidence in its customers and it also needs to resolve any surprise on the part of the developer during testing and maintenance. We believe that these two functions can only be achieved if a self-adaptive system is also capable of self-explanation. We argue a self-adaptive system’s behaviour needs to be explained in terms of satisfaction of its requirements. Since self-adaptive system requirements may themselves be emergent, we propose the use of goal-based requirements models at runtime to offer self-explanation of how a system is meeting its requirements. We demonstrate the analysis of run-time requirements models to yield a self-explanation codified in a domain specific language, and discuss possible future work.

A modelling and simulation environment for self-aware and self-expressive systems

Self-awareness and self-expression are promising architectural concepts for embedded systems to be equipped with to match them with dedicated application scenarios and constraints in the avionic and space-flight industry. Typically, these systems operate in largely undefined environments and are not reachable after deployment for a long time or even never ever again. This paper introduces a reference architecture as well as a novel modelling and simulation environment for self-aware and self-expressive systems with transaction level modelling, simulation and detailed modelling capabilities for hardware aspects, precise process chronology execution as well as fine timing resolutions. Furthermore, industrial relevant system sizes with several self-aware and self-expressive nodes can be handled by the modelling and simulation environment.

A survey of self-awareness and its application in computing systems

Novel computing systems are increasingly being composed of large numbers of heterogeneous components, each with potentially different goals or local perspectives, and connected in networks which change over time. Management of such systems quickly becomes infeasible for humans. As such, future computing systems should be able to achieve advanced levels of autonomous behaviour. In this context, the system's ability to be self-aware and be able to self-express becomes important. This paper surveys definitions and current understanding of self-awareness and self-expression in biology and cognitive science. Subsequently, previous efforts to apply these concepts to computing systems are described. This has enabled the development of novel working definitions for self-awareness and self-expression within the context of computing systems.

Self-organization in social tagging systems

Individuals often imitate each other to fall into the typical group, leading to a self-organized state of typical behaviors in a community. In this paper, we model self-organization in social tagging systems and illustrate the underlying interaction and dynamics. Specifically, we introduce a model in which individuals adjust their own tagging tendency to imitate the average tagging tendency. We found that when users are of low confidence, they tend to imitate others and lead to a self-organized state with active tagging. On the other hand, when users are of high confidence and are stubborn to change, tagging becomes inactive. We observe a phase transition at a critical level of user confidence when the system changes from one regime to the other. The distributions of post length obtained from the model are compared to real data, which show good agreement. © 2011 American Physical Society.

Revisiting goal-oriented models for self-aware systems-of-systems

Systems-of-systems (SoS) are systems resulted from the interaction among other independent constituent systems that collaborate to offer new functionalities towards accomplishing global missions. Each of these constituent systems accomplishes its individual missions and is able to contribute to the achievement of the global missions of the SoS, both being viewed as a set of associated goals. In the perspective of self-aware systems, SoS need to exhibit goal-awareness, i.e., They need to be aware of their own goals and of how their constituent systems contribute to their accomplishment. In this paper, we revisit goal-oriented concepts aiming at identifying and modeling goals at both SoS level and the constituent systems level. Moreover, we take advantage of such goal-oriented models to express the relationship among goals at these levels as well as to define how each constituent system can contribute to the accomplishment of global goals of an SoS. In addition, we shed light on important issues related to goal modeling in self-aware SoS to be addressed in future research.

Droplet etching of deep nanoholes for filling with self-aligned complex quantum structures

Strain-free epitaxial quantum dots (QDs) are fabricated by a combination of Al local droplet etching (LDE) of nanoholes in AlGaAs surfaces and subsequent hole filling with GaAs. The whole process is performed in a conventional molecular beam epitaxy (MBE) chamber. Autocorrelation measurements establish single-photon emission from LDE QDs with a very small correlation function g (2)(0)≃ 0.01 of the exciton emission. Here, we focus on the influence of the initial hole depth on the QD optical properties with the goal to create deep holes suited for filling with more complex nanostructures like quantum dot molecules (QDM). The depth of droplet etched nanoholes is controlled by the droplet material coverage and the process temperature, where a higher coverage or temperature yields deeper holes. The requirements of high quantum dot uniformity and narrow luminescence linewidth, which are often found in applications, set limits to the process temperature. At high temperatures, the hole depths become inhomogeneous and the linewidth rapidly increases beyond 640 °C. With the present process technique, we identify an upper limit of 40-nm hole depth if the linewidth has to remain below 100 μeV. Furthermore, we study the exciton fine-structure splitting which is increased from 4.6 μeV in 15-nm-deep to 7.9 μeV in 35-nm-deep holes. As an example for the functionalization of deep nanoholes, self-aligned vertically stacked GaAs QD pairs are fabricated by filling of holes with 35 nm depth. Exciton peaks from stacked dots show linewidths below 100 μeV which is close to that from single QDs.

Intrusion Detection Systems in SDN-based Self-Healing PMU Networks

Nowadays, Power grids are critical infrastructures on which everything else relies, and their correct behavior is of the highest priority. New smart devices are being deployed to be able to manage and control power grids more efficiently and avoid instability. However, the deployment of such smart devices like Phasor Measurement Units (PMU) and Phasor Data Concentrators (PDC), open new opportunities for cyber attackers to exploit network vulnerabilities. If a PDC is compromised, all data coming from PMUs to that PDC is lost, reducing network observability. Our approach to solve this problem is to develop an Intrusion detection System (IDS) in a Software-defined network (SDN). allowing the IDS system to detect compromised devices and use that information as an input for a self-healing SDN controller, which redirects the data of the PMUs to a new, uncompromised PDC, maintaining the maximum possible network observability at every moment. During this research, we have successfully implemented Self-healing in an example network with an SDN controller based on Ryu controller. We have also assessed intrinsic vulnerabilities of Wide Area Management Systems (WAMS) and SCADA networks, and developed some rules for the Intrusion Detection system which specifically protect vulnerabilities of these networks. The integration of the IDS and the SDN controller was also successful. \\To achieve this goal, the first steps will be to implement an existing Self-healing SDN controller and assess intrinsic vulnerabilities of Wide Area Measurement Systems (WAMS) and SCADA networks. After that, we will integrate the Ryu controller with Snort, and create the Snort rules that are specific for SCADA or WAMS systems and protocols.

DIFFUSE-INTERFACE FIELD APPROACH TO MODELING SELF-ASSEMBLY OF HETEROGENEOUS COLLOIDAL SYSTEMS AND RELATED DIPOLE-DIPOLE INTERACTION PHENOMENA

Colloid self-assembly under external control is a new route to fabrication of advanced materials with novel microstructures and appealing functionalities. The kinetic processes of colloidal self-assembly have attracted great interests also because they are similar to many atomic level kinetic processes of materials. In the past decades, rapid technological progresses have been achieved on producing shape-anisotropic, patchy, core-shell structured particles and particles with electric/magnetic charges/dipoles, which greatly enriched the self-assembled structures. Multi-phase carrier liquids offer new route to controlling colloidal self-assembly. Therefore, heterogeneity is the essential characteristics of colloid system, while so far there still lacks a model that is able to efficiently incorporate these possible heterogeneities. This thesis is mainly devoted to development of a model and computational study on the complex colloid system through a diffuse-interface field approach (DIFA), recently developed by Wang et al. This meso-scale model is able to describe arbitrary particle shape and arbitrary charge/dipole distribution on the surface or body of particles. Within the framework of DIFA, a Gibbs-Duhem-type formula is introduced to treat Laplace pressure in multi-liquid-phase colloidal system and it obeys Young-Laplace equation. The model is thus capable to quantitatively study important capillarity related phenomena. Extensive computer simulations are performed to study the fundamental behavior of heterogeneous colloidal system. The role of Laplace pressure is revealed in determining the mechanical equilibrium of shape-anisotropic particles at fluid interfaces. In particular, it is found that the Laplace pressure plays a critical role in maintaining the stability of capillary bridges between close particles, which sheds light on a novel route to in situ firming compact but fragile colloidal microstructures via capillary bridges. Simulation results also show that competition between like-charge repulsion, dipole-dipole interaction and Brownian motion dictates the degree of aggregation of heterogeneously charged particles. Assembly and alignment of particles with magnetic dipoles under external field is studied. Finally, extended studies on the role of dipole-dipole interaction are performed for ferromagnetic and ferroelectric domain phenomena. The results reveal that the internal field generated by dipoles competes with external field to determine the dipole-domain evolution in ferroic materials.

Agents and SCT based self* control architecture for production systems

Otto-von-Guericke-Universität Magdeburg, Fakultät für Maschinenbau, Dissertation, 2016

Sperimentazione di Deep Metric Loss per Self-Supervised Information Retrieval Systems su CORD19.

Dopo lo sviluppo dei primi casi di Covid-19 in Cina nell’autunno del 2019, ad inizio 2020 l’intero pianeta è precipitato in una pandemia globale che ha stravolto le nostre vite con conseguenze che non si vivevano dall’influenza spagnola. La grandissima quantità di paper scientifici in continua pubblicazione sul coronavirus e virus ad esso affini ha portato alla creazione di un unico dataset dinamico chiamato CORD19 e distribuito gratuitamente. Poter reperire informazioni utili in questa mole di dati ha ulteriormente acceso i riflettori sugli information retrieval systems, capaci di recuperare in maniera rapida ed efficace informazioni preziose rispetto a una domanda dell'utente detta query. Di particolare rilievo è stata la TREC-COVID Challenge, competizione per lo sviluppo di un sistema di IR addestrato e testato sul dataset CORD19. Il problema principale è dato dal fatto che la grande mole di documenti è totalmente non etichettata e risulta dunque impossibile addestrare modelli di reti neurali direttamente su di essi. Per aggirare il problema abbiamo messo a punto nuove soluzioni self-supervised, a cui abbiamo applicato lo stato dell'arte del deep metric learning e dell'NLP. Il deep metric learning, che sta avendo un enorme successo soprattuto nella computer vision, addestra il modello ad "avvicinare" tra loro immagini simili e "allontanare" immagini differenti. Dato che sia le immagini che il testo vengono rappresentati attraverso vettori di numeri reali (embeddings) si possano utilizzare le stesse tecniche per "avvicinare" tra loro elementi testuali pertinenti (e.g. una query e un paragrafo) e "allontanare" elementi non pertinenti. Abbiamo dunque addestrato un modello SciBERT con varie loss, che ad oggi rappresentano lo stato dell'arte del deep metric learning, in maniera completamente self-supervised direttamente e unicamente sul dataset CORD19, valutandolo poi sul set formale TREC-COVID attraverso un sistema di IR e ottenendo risultati interessanti.

Self-reported Diabetes In Older People: Comparison Of Prevalences And Control Measures.

The objective of this study was to analyze the prevalence of diabetes in older people and the adopted control measures. Data regarding older diabetic individuals who participated in the Health Surveys conducted in the Municipality of Sao Paulo, SP, ISA-Capital, in 2003 and 2008, which were cross-sectional studies, were analyzed. Prevalences and confidence intervals were compared between 2003 and 2008, according to sociodemographic variables. The combination of the databases was performed when the confidence intervals overlapped. The Chi-square (level of significance of 5%) and the Pearson's Chi-square (Rao-Scott) tests were performed. The variables without overlap between the confidence intervals were not tested. The age of the older adults was 60-69 years. The majority were women, Caucasian, with an income of between > 0.5 and 2.5 times the minimum salary and low levels of schooling. The prevalence of diabetes was 17.6% (95%CI 14.9;20.6) in 2003 and 20.1% (95%CI 17.3;23.1) in 2008, which indicates a growth over this period (p at the limit of significance). The most prevalent measure adopted by the older adults to control diabetes was hypoglycemic agents, followed by diet. Physical activity was not frequent, despite the significant differences observed between 2003 and 2008 results. The use of public health services to control diabetes was significantly higher in older individuals with lower income and lower levels of education. Diabetes is a complex and challenging disease for patients and the health systems. Measures that encourage health promotion practices are necessary because they presented a smaller proportion than the use of hypoglycemic agents. Public health policies should be implemented, and aimed mainly at older individuals with low income and schooling levels. These changes are essential to improve the health condition of older diabetic patients.

Direct Adhesive Pin-retained Restorations For Severely Worn Dentition Treatment: A 1.5-year Follow-up Report.

Excessive occlusal surface wear can result in occlusal disharmony, functional and esthetic impairment. As a therapeutic approach, conventional single crowns have been proposed, but this kind of treatment is complex, highly invasive and expensive. This case report describes the clinical outcomes of an alternative minimally invasive treatment based on direct adhesive-pin retained restorations. A 64-year-old woman with severely worn dentition, eating problems related to missing teeth and generalized tooth hypersensitivity was referred for treatment. Proper treatment planning based on the diagnostic wax-up simulation was used to guide the reconstruction of maxillary anterior teeth with direct composite resin over self-threading dentin pins. As the mandibular remaining teeth were extremely worn, a tooth-supported overdenture was installed. A stabilization splint was also used to protect the restorations. This treatment was a less expensive alternative to full-mouth rehabilitation with positive esthetic and functional outcomes after 1.5 years of follow-up.

Morphological analysis of glass, carbon and glass/carbon fiber posts and bonding to self or dual-cured resin luting agents

OBJECTIVE: The aim of this study was to evaluate the morphology of glass (GF), carbon (CF) and glass/carbon (G/CF) fiber posts and their bond strength to self or dual-cured resin luting agents. MATERIAL AND METHODS: Morphological analysis of each post type was conducted under scanning electron microscopy (SEM). Bond strength was evaluated by microtensile test after bisecting the posts and re-bonding the two halves with the luting agents. Data were subjected to two-way ANOVA and Tukey's test (α=0.05). Failure modes were evaluated under optical microscopy and SEM. RESULTS: GF presented wider fibers and higher amount of matrix than CF, and G/CF presented carbon fibers surrounded by glass fibers, and both involved by matrix. For CF and GF, the dual-cured material presented significantly higher (p<0.05) bond strength than the self-cured agent. For the dual agent, CF presented similar bond strength to GF (p>0.05), but higher than that of G/CF (p<0.05). For the self-cured agent, no significant differences (p>0.05) were detected, irrespective of the post type. For GF and G/CF, all failures were considered mixed, while a predominance of adhesive failures was detected for CF. CONCLUSION: The bonding between fiber posts and luting agents was affected by the type of fibers and polymerization mode of the cement. When no surface treatment of the post is performed, the bonding between glass fiber post and dual-cured agent seems to be more reliable.

Socioeconomic Differences in Preferences and Willingness-to-Pay for Insulin Delivery Systems in Type 1 and Type 2 Diabetes

Background: An evaluation of patients' preferences is necessary to understand the demand for different insulin delivery systems. The aim of this study was to investigate the association between socioeconomic status (SES) and patients' preferences and willingness to pay (WTP) for various attributes of insulin administration for diabetes management. Methods: We conducted a discrete choice experiment (DCE) to determine patients' preferences and their WTP for hypothetical insulin treatments. Both self-reported annual household income and education completed were used to explore differences in treatment preferences and WTP for different attributes of treatment across different levels of SES. Results: The DCE questionnaire was successfully completed by 274 patients. Overall, glucose control was the most valued attribute by all socioeconomic groups, while route of insulin delivery was not as important. Patients with higher incomes were willing to pay significantly more for better glucose control and to avoid adverse events compared to lower income groups. In addition, they were willing to pay more for an oral short-acting insulin ($Can 71.65 [95% confidence interval, $40.68, $102.62]) compared to the low income group ($Can 9.85 [95% confidence interval, 14.86, 34.56; P < 0.01]). Conversely, there were no differences in preferences when the sample was stratified by level of education. Conclusions: This study revealed that preferences and WTP for insulin therapy are influenced by income but not by level of education. Specifically, the higher the income, the greater desire for an oral insulin delivery system, whereas an inhaled route becomes less important for patients.