Using context and preferences to implement self-adapting pervasive computing applications

Applications that exploit contextual information in order to adapt their behaviour to dynamically changing operating environments and user requirements are increasingly being explored as part of the vision of pervasive or ubiquitous computing. Despite recent advances in infrastructure to support these applications through the acquisition, interpretation and dissemination of context data from sensors, they remain prohibitively difficult to develop and have made little penetration beyond the laboratory. This situation persists largely due to a lack of appropriately high-level abstractions for describing, reasoning about and exploiting context information as a basis for adaptation. In this paper, we present our efforts to address this challenge, focusing on our novel approach involving the use of preference information as a basis for making flexible adaptation decisions. We also discuss our experiences in applying our conceptual and software frameworks for context and preference modelling to a case study involving the development of an adaptive communication application.

Janus Hybramers: Self-Adapting Amphiphilic Hyperbranched Polymers

Janus structures have attracted a great deal of interest because of their fascinating properties and potential for applications. In this study, we demonstrate that hyperbranched polymers, bearing randomly placed docosyl (C22 alkyl segment) and PEG segments on their periphery, can readily reconfigure so as to segregate the alkyl and PEG segments, thereby generating Janus-type structures that we have termed Janus hybramers. DSC studies clearly reveal an endothermic transition that corresponds to the melting of the docosyl domains, while Langmuir isotherms demonstrate that these polymers form stable monolayers that appear to undergo a slight densification beyond a critical surface pressure; this suggested possible crystallization of the docosyl segments at the air-water interface. AFM studies of the transferred monolayers reveal various interesting aggregate morphologies at different surface pressures suggestive of island formation at the air-water interface; at the same time they also provided an estimate of the monolayer thickness. These Janus HBPs also form vesicles as evident from TEM and AFM studies; the AFM height of the deposited vesicles, as expected, was roughly 4 times that of the monolayer. SAXS studies revealed the formation of lamellar structures; the interlamellar spacing was largest when the relative mole fractions of docosyl and PEG segments were similar, but the spacing decreased when the mole fraction of either of these peripheral segments is substantially smaller; this suggested the possible presence of interdigitation within the domains of the minor component.

Self-Adapting Peripherally Heterofunctionalized Hyperbranched Polymers: Formation of Janus and Tripodal Structures

A peripherally clickable hyperbranched polyester carrying numerous propargyl terminal groups was prepared by a simple melt transesterification polycondensation of a suitably designed AB(2) monomer; this clickable hyperscaffold was then transformed into a variety of different derivatives by using the Cu-catalyzed azide-yne click reaction. Functionalization of the periphery with equimolar quantities of mutually immiscible segments, such as hydrocarbon, fluorocarbon, and PEG, yielded frustrated molecular systems that readapt and form structures wherein the immiscible segments appear to self-segregate to generate either Janus structures (when two immiscible segments are present) or tripodal structures (when three immiscible segments are present). Evidence for such self-segregation was obtained from a variety of studies, such as differential scanning calorimetry, Langmuir isotherms, AFM imaging, and small-angle X-ray scattering measurements. Crystallization of one or more of the peripheral segments reinforced this self-segregation; the weight-fraction-normalized enthalpies of melting associated with the different domains revealed a competition between the segments to optimize their crystalline organization. When one or more of the segments are amorphous, the remaining segments crystallize more effectively and consequently exhibit a higher melting enthalpy. AFM images of monolayers, transferred from the Langmuir trough, revealed that the thickness matches the expected values; furthermore, contact angle measurements clearly demonstrated that the monolayer films are fairly hydrophobic, and in the case of the tripodal hybramers, the presence of domains of hydrocarbon and fluorocarbon appears to impart nanoscale chemical heterogeneity that is reflected in the strong hysteresis in the advancing and receding contact angles.

Best Proximity Points of Generalized Semicyclic Impulsive Self-Mappings: Applications to Impulsive Differential and Difference Equations

This paper is devoted to the study of convergence properties of distances between points and the existence and uniqueness of best proximity and fixed points of the so-called semicyclic impulsive self-mappings on the union of a number of nonempty subsets in metric spaces. The convergences of distances between consecutive iterated points are studied in metric spaces, while those associated with convergence to best proximity points are set in uniformly convex Banach spaces which are simultaneously complete metric spaces. The concept of semicyclic self-mappings generalizes the well-known one of cyclic ones in the sense that the iterated sequences built through such mappings are allowed to have images located in the same subset as their pre-image. The self-mappings under study might be in the most general case impulsive in the sense that they are composite mappings consisting of two self-mappings, and one of them is eventually discontinuous. Thus, the developed formalism can be applied to the study of stability of a class of impulsive differential equations and that of their discrete counterparts. Some application examples to impulsive differential equations are also given.

Synthesis and performance of itaconic acid/acrylamide/sodium styrene sulfonate as a self-adapting retarder for oil well cement

This journal is © The Royal Society of Chemistry. A novel self-adapting retarder itaconic acid/acrylamide/sodium styrene sulfonate (IA/AM/SSS, hereinafter referred to as PIAS) was synthesized by free-radical, aqueous-solution polymerization and characterized by FTIR and TG. The optimum reaction conditions of polymerization were obtained from orthogonal experiments (L3³) and subsequent data analysis. According to the evaluation as a retarder, the PIAS made it possible to obtain both a long thickening time and a swift compressive strength development for cement slurry, and therefore the applicable range of bottom hole circulation temperatures to the cement slurry has been widened to 60-180°C. Moreover, the working mechanism of the self-adapting retarder PIAS was found to rely on the change of spatial structure of the molecules to retard the hydration of the cement. This paper also expounds that the delayed coagulation of the cement slurry is attributed to adsorption, chelation and "poisoning" effects of the PIAS molecules on the surface of hydrated particles or ions through XRD and SEM analyses.

Unanticipated Partial Behavioral Reflection: Adapting Applications at Runtime

Dynamic, unanticipated adaptation of running systems is of interest in a variety of situations, ranging from functional upgrades to on-the-fly debugging or monitoring of critical applications. In this paper we study a particular form of computational reflection, called unanticipated partial behavioral reflection, which is particularly well-suited for unanticipated adaptation of real-world systems. Our proposal combines the dynamicity of unanticipated reflection, i.e. reflection that does not require preparation of the code of any sort, and the selectivity and efficiency of partial behavioral reflection. First, we propose unanticipated partial behavioral reflection which enables the developer to precisely select the required reifications, to flexibly engineer the metalevel and to introduce the meta behavior dynamically. Second, we present a system supporting unanticipated partial behavioral reflection in Squeak Smalltalk, called Geppetto, and illustrate its use with a concrete example of a web application. Benchmarks validate the applicability of our proposal as an extension to the standard reflective abilities of Smalltalk.

Self-adapting parallel metric-space search engine for variable query loads

This research focuses on automatically adapting a search engine size in response to fluctuations in query workload. Deploying a search engine in an Infrastructure as a Service (IaaS) cloud facilitates allocating or deallocating computer resources to or from the engine. Our solution is to contribute an adaptive search engine that will repeatedly re-evaluate its load and, when appropriate, switch over to a dierent number of active processors. We focus on three aspects and break them out into three sub-problems as follows: Continually determining the Number of Processors (CNP), New Grouping Problem (NGP) and Regrouping Order Problem (ROP). CNP means that (in the light of the changes in the query workload in the search engine) there is a problem of determining the ideal number of processors p active at any given time to use in the search engine and we call this problem CNP. NGP happens when changes in the number of processors are determined and it must also be determined which groups of search data will be distributed across the processors. ROP is how to redistribute this data onto processors while keeping the engine responsive and while also minimising the switchover time and the incurred network load. We propose solutions for these sub-problems. For NGP we propose an algorithm for incrementally adjusting the index to t the varying number of virtual machines. For ROP we present an ecient method for redistributing data among processors while keeping the search engine responsive. Regarding the solution for CNP, we propose an algorithm determining the new size of the search engine by re-evaluating its load. We tested the solution performance using a custom-build prototype search engine deployed in the Amazon EC2 cloud. Our experiments show that when we compare our NGP solution with computing the index from scratch, the incremental algorithm speeds up the index computation 2{10 times while maintaining a similar search performance. The chosen redistribution method is 25% to 50% faster than other methods and reduces the network load around by 30%. For CNP we present a deterministic algorithm that shows a good ability to determine a new size of search engine. When combined, these algorithms give an adapting algorithm that is able to adjust the search engine size with a variable workload.

The Human in the Loop: User Participation in Self-Adaptive Software

Self-adaptive software provides a profound solution for adapting applications to changing contexts in dynamic and heterogeneous environments. Having emerged from Autonomic Computing, it incorporates fully autonomous decision making based on predefined structural and behavioural models. The most common approach for architectural runtime adaptation is the MAPE-K adaptation loop implementing an external adaptation manager without manual user control. However, it has turned out that adaptation behaviour lacks acceptance if it does not correspond to a user’s expectations – particularly for Ubiquitous Computing scenarios with user interaction. Adaptations can be irritating and distracting if they are not appropriate for a certain situation. In general, uncertainty during development and at run-time causes problems with users being outside the adaptation loop. In a literature study, we analyse publications about self-adaptive software research. The results show a discrepancy between the motivated application domains, the maturity of examples, and the quality of evaluations on the one hand and the provided solutions on the other hand. Only few publications analysed the impact of their work on the user, but many employ user-oriented examples for motivation and demonstration. To incorporate the user within the adaptation loop and to deal with uncertainty, our proposed solutions enable user participation for interactive selfadaptive software while at the same time maintaining the benefits of intelligent autonomous behaviour. We define three dimensions of user participation, namely temporal, behavioural, and structural user participation. This dissertation contributes solutions for user participation in the temporal and behavioural dimension. The temporal dimension addresses the moment of adaptation which is classically determined by the self-adaptive system. We provide mechanisms allowing users to influence or to define the moment of adaptation. With our solution, users can have full control over the moment of adaptation or the self-adaptive software considers the user’s situation more appropriately. The behavioural dimension addresses the actual adaptation logic and the resulting run-time behaviour. Application behaviour is established during development and does not necessarily match the run-time expectations. Our contributions are three distinct solutions which allow users to make changes to the application’s runtime behaviour: dynamic utility functions, fuzzy-based reasoning, and learning-based reasoning. The foundation of our work is a notification and feedback solution that improves intelligibility and controllability of self-adaptive applications by implementing a bi-directional communication between self-adaptive software and the user. The different mechanisms from the temporal and behavioural participation dimension require the notification and feedback solution to inform users on adaptation actions and to provide a mechanism to influence adaptations. Case studies show the feasibility of the developed solutions. Moreover, an extensive user study with 62 participants was conducted to evaluate the impact of notifications before and after adaptations. Although the study revealed that there is no preference for a particular notification design, participants clearly appreciated intelligibility and controllability over autonomous adaptations.

Food Volume Computation for Self Dietary Assessment Applications

There is great demand for easily-accessible, user-friendly dietary self-management applications. Yet accurate, fully-automatic estimation of nutritional intake using computer vision methods remains an open research problem. One key element of this problem is the volume estimation, which can be computed from 3D models obtained using multi-view geometry. The paper presents a computational system for volume estimation based on the processing of two meal images. A 3D model of the served meal is reconstructed using the acquired images and the volume is computed from the shape. The algorithm was tested on food models (dummy foods) with known volume and on real served food. Volume accuracy was in the order of 90 %, while the total execution time was below 15 seconds per image pair. The proposed system combines simple and computational affordable methods for 3D reconstruction, remained stable throughout the experiments, operates in near real time, and places minimum constraints on users.

数值软件自适应性能优化搜索过程评价技术研究

随着计算机硬件的快速变化,如何充分利用计算机资源,使软件性能尽可能逼近处理器峰值是人们关心的问题.针对特定硬件平台手工优化程序,或者依赖编译器优化技术,存在人工介入,难与硬件更新同步等问题.而采用自适应性能优化技术实现的高性能数学软件包(SANS)如FFTW,ATLAS,PHiPAC,OSKI等,可有效解决前两种方法存在的问题,降低开发成本,提高软件可移植性.针对自适应性能优化技术中,优化参数搜索过程十分耗时的问题,提出对优化搜索过程的评价指标Pt,并给出用此指标控制优化搜索过程的方法.实验表明运用该指标可以在较短的时间内得到一个合理的性能值.

数值计算软件包自适应性能优化若干关键技术及评价标准研究

为了能够充分使用计算机资源，使软件运行能够尽可能地接近计算机峰值性能，研究人员 一直在努力。一个思路是为计算机开发优秀的编译器，并使用编译器相关技术对软件进行 性能优化；作为补充，另一个思路是开发能够共用的核心软件包，通过提高核心软件包中 程序的性能提高调用核心库的软件系能。 但科学计算中针对特定的计算机平台和特定的用户问题进行性能调优仍然是一个困难的问 题。速度和可移植性是数值计算软件开发中的一对矛盾。自适应性能优化技术正是为了 解 决数值计算软件中的可移植性问题和进行自动性能优化而提出的，科学家们希望数值计 算 软件能够动态地获悉计算环境的变化以及待求解问题的特征，根据需要改变自身以适应 这些变化以及多种复杂的问题情况，并且在多种求解方法中进行决策以选择最优的解决方 法来求解问题。 本文调研了使用自适应性能优化技术的几个著名软件包：~ATLAS，~SPARSITY，~OSKI以及数字 信号处理领域的快速傅立叶变换软件包FFTW，在此基础上，重点分析和比较了自适应性能 优化的关键技术，着重介绍了矩阵乘计算、MPI通信操作、快速傅立叶变换中涉及的经验搜 索、算法选择和自动代码生成等技术在这些软件包中的应用。 在深入调研的基础上，结合实际应用需求，本文还提出了自适应性能优化过程的新的评价 指标，试图权衡优化效果和优化时间开销，并在不同的实验平台上针对ATLAS的优化过程进 行的实验和过程评价，实验表明，综合优化效果和优化开销能够有效地发现ATLAS自适应优 化过程的特征。将其应用到实际开发和调优过程中，能够在不损失性能的前提下，节省优化时间。 论文最后对HPCC测试软件包在IBM刀片机群上进行了对比测试，发现了测试平台存在的性能 瓶颈，并消除了该瓶颈。表明HPCC软件包确实可以有效的发现被测平台存在的性能瓶颈问 题。

数字图像处理中多窗口下的自适应中值滤波

根据心理物理学、神经生理学、认知神经学等学科在视觉认知领域的部分研究成果，结合机器视觉、图像处理领域在图像增强方面已经提出的一些方法，提出了结合先验知识的多窗口结构下的分块中值滤波方法，在每一个窗口内单独进行处理与分析，突出了视觉处理目的，减少了运算量， 节省数据存储空间，达到了令人满意的滤波效果，能够在原始图像比较复杂的情况下，较好地对其进行预处理，可以改善、提高后期图像处理过程，如图像分割、图像分析的正确性和有效性。

模糊自适应PID在磁悬浮系统中的应用

针对EMS型磁悬浮列车悬浮系统的非线性、迟滞性及模型不确定的特点,本文采用了模糊自适应整定PID控制技术来满足其对动态和静态性能的要求。仿真结果表明模糊自适应整定PID控制器学习精度高、收敛速度快、在系统同时存在磁悬浮系统参数的变化和负载扰动时.具有较强的鲁棒性和抗干扰能力。

Mandated prevention in child welfare: Considerations from a framework shaping ethical inquiry

Summary: This article outlines a framework for approaching ethical dilemmas arising from the development, evaluation and implementation of child welfare policies. As such, it is relevant to policy-makers, social researchers and social workers. The central tenets of the framework are developed by drawing on ideas from moral philosophy and critical social theory. These ideas are presented as axioms, theorems and corollaries, a format which has been employed in the social sciences to offer a rational justification for a set of claims. • Findings: This process of reasoning leads to four principle axioms that are seen to shape the ethical scrutiny of social policy: 1) problematizing knowledge; 2) utilizing structured forms of inquiry to enhance understanding; 3) engendering enabling communication with those affected by the ethical concern; and 4) enhancing self-awareness. • Applications: The four axioms are then applied, by way of example, to the current and contentious, 'third way' policy of mandated prevention in child welfare, where the aim is to obviate deleterious outcomes in later life. It is argued that the framework can be applied beyond this specific concern to other pressing, ethical challenges in child welfare.