Practical domain-specific debuggers using the Moldable Debugger framework

Understanding the run-time behavior of software systems can be a challenging activity. Debuggers are an essential category of tools used for this purpose as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to introspect and interact with the running systems, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This mismatch creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort, as developers need to recover concrete domain concepts using generic mechanisms. To reduce this gap, and increase the efficiency of the debugging process, we propose a framework for developing domain-specific debuggers, called the Moldable Debugger, that enables debugging at the level of the application domain. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. To ensure the proposed model has practical applicability (i.e., can be used in practice to build real debuggers), we discuss, from both a performance and usability point of view, three implementation strategies. We further motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.

A Novel Framework for Real-time Traffic Flow Parameter Estimation from Aerial Videos

Thesis (Master's)--University of Washington, 2016-06

Adsorption of N-2, Ar, acetone, chloroform and acetone-chloroform mixture on carbon black in the framework of molecular layer structure theory (MLST)

Adsorption of pure nitrogen, argon, acetone, chloroform and acetone-chloroform mixture on graphitized thermal carbon black is considered at sub-critical conditions by means of molecular layer structure theory (MLST). In the present version of the MLST an adsorbed fluid is considered as a sequence of 2D molecular layers, whose Helmholtz free energies are obtained directly from the analysis of experimental adsorption isotherm of pure components. The interaction of the nearest layers is accounted for in the framework of mean field approximation. This approach allows quantitative correlating of experimental nitrogen and argon adsorption isotherm both in the monolayer region and in the range of multi-layer coverage up to 10 molecular layers. In the case of acetone and chloroform the approach also leads to excellent quantitative correlation of adsorption isotherms, while molecular approaches such as the non-local density functional theory (NLDFT) fail to describe those isotherms. We extend our new method to calculate the Helmholtz free energy of an adsorbed mixture using a simple mixing rule, and this allows us to predict mixture adsorption isotherms from pure component adsorption isotherms. The approach, which accounts for the difference in composition in different molecular layers, is tested against the experimental data of acetone-chloroform mixture (non-ideal mixture) adsorption on graphitized thermal carbon black at 50 degrees C. (C) 2005 Elsevier Ltd. All rights reserved.

A new approach to control of MIMO processes with static nonlinearities using an extended IMC framework

In this paper, a new control design method is proposed for stable processes which can be described using Hammerstein-Wiener models. The internal model control (IMC) framework is extended to accommodate multiple IMC controllers, one for each subsystem. The concept of passive systems is used to construct the IMC controllers which approximate the inverses of the subsystems to achieve dynamic control performance. The Passivity Theorem is used to ensure the closed-loop stability. (c) 2005 Elsevier Ltd. All rights reserved.

A flexible and practical framework for reporting on ecologically sustainable development for wild capture fisheries

The principles of sustainable development (or ecologically sustainable development as it is known in Australia) are now accepted as the foundation for natural resource management worldwide and there are increasing community expectations that they will be implemented explicitly. Previous attempts to assess sustainable development for fisheries have mostly failed because the methods have been too restrictive, often attempting to develop a single set of indicators. In 2000, all the fishery agencies and major stakeholder groups in Australia supported the development of a National ESD Framework. This initiative resulted in a practical system being generated through the results of a series of case studies and stakeholder workshops. The Australian National ESD Framework divides ESD into eight major components within the three main categories of ecological well-being, human well-being and ability to contribute: Four main steps are used to complete an ESD report for a fishery: (1) identify relevant issues, (2) prioritise these using risk assessment, (3) complete appropriately detailed reports on each issue and (4) compile the material into a report. The tools to assist this process are now available and have been used to generate reports for many Australian fisheries. (C) 2004 Elsevier B.V. All rights reserved.

Specification and validation of process constraints for flexible workflows

Workflow systems have traditionally focused on the so-called production processes which are characterized by pre-definition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes. In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of pockets of flexibility which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts. (c) 2004 Elsevier Ltd. All rights reserved.

A process for the systematic review of community-based rehabilitation evaluation reports: formulating evidence for policy and practice

A methodological framework for conducting a systematic, mostly qualitative, meta-synthesis of community-based rehabilitation (CBR) project evaluation reports is described. Developed in the course of an international pilot study, the framework proposes a systematic review process in phases which are strongly collaborative, methodologically rigorous and detailed. Through this suggested process, valuable descriptive data about CBR practice, strategies and outcomes may be synthesized. It is anticipated that future application of this methodology will contribute to an improved evidence base for CBR, which will facilitate the development of more appropriate policy and practice guidelines for disability service delivery in developing countries. The methodology will also have potential applications in areas beyond CBR, which are similarly. evidence poor' (lacking empirical research) but 'data rich' (with plentiful descriptive and evaluative reports).

First-principles quantum simulations of dissociation of molecular condensates: Atom correlations in momentum space

We investigate the quantum many-body dynamics of dissociation of a Bose-Einstein condensate of molecular dimers into pairs of constituent bosonic atoms and analyze the resulting atom-atom correlations. The quantum fields of both the molecules and atoms are simulated from first principles in three dimensions using the positive-P representation method. This allows us to provide an exact treatment of the molecular field depletion and s-wave scattering interactions between the particles, as well as to extend the analysis to nonuniform systems. In the simplest uniform case, we find that the major source of atom-atom decorrelation is atom-atom recombination which produces molecules outside the initially occupied condensate mode. The unwanted molecules are formed from dissociated atom pairs with nonopposite momenta. The net effect of this process-which becomes increasingly significant for dissociation durations corresponding to more than about 40% conversion-is to reduce the atom-atom correlations. In addition, for nonuniform systems we find that mode mixing due to inhomogeneity can result in further degradation of the correlation signal. We characterize the correlation strength via the degree of squeezing of particle number-difference fluctuations in a certain momentum-space volume and show that the correlation strength can be increased if the signals are binned into larger counting volumes.

Quality of service in flexible workflows through process constraints

Workflow technology has delivered effectively for a large class of business processes, providing the requisite control and monitoring functions. At the same time, this technology has been the target of much criticism due to its limited ability to cope with dynamically changing business conditions which require business processes to be adapted frequently, and/or its limited ability to model business processes which cannot be entirely predefined. Requirements indicate the need for generic solutions where a balance between process control and flexibility may be achieved. In this paper we present a framework that allows the workflow to execute on the basis of a partially specified model where the full specification of the model is made at runtime, and may be unique to each instance. This framework is based on the notion of process constraints. Where as process constraints may be specified for any aspect of the workflow, such as structural, temporal, etc. our focus in this paper is on a constraint which allows dynamic selection of activities for inclusion in a given instance. We call these cardinality constraints, and this paper will discuss their specification and validation requirements.

Supporting the software testing process through specification animation

Achieving consistency between a specification and its implementation is an important part of software development. In this paper, we present a method for generating passive test oracles that act as self-checking implementations. The implementation is verified using an animation tool to check that the behavior of the implementation matches the behavior of the specification. We discuss how to integrate this method into a framework developed for systematically animating specifications, which means a tester can significantly reduce testing time and effort by reusing work products from the animation. One such work product is a testgraph: a directed graph that partially models the states and transitions of the specification. Testgraphs are used to generate sequences for animation, and during testing, to execute these same sequences on the implementation.

Organizations driving positive social change:a review and an integrative framework of change processes

Academic and practitioner interest in how market-based organizations can drive positive social change (PSC) is steadily growing. This paper helps to recast how organizations relate to society. It integrates research on projects stimulating PSC – the transformational processes to advance societal well-being – which is fragmented across different streams of research in management and related disciplines. Focusing on the mechanisms at play in how organizations and their projects affect change in targets outside of organizational boundaries, we 1) clarify the nature of PSC as a process, 2) develop an integrative framework that specifies two distinct PSC strategies, 3) take stock of and offer a categorization scheme for change mechanisms and enabling organizational practices, and 4) outline opportunities for future research. Our conceptual framework differentiates between surface- and deep-level PSC strategies understood as distinct combinations of change mechanisms and enabling organizational practices. These strategies differ in the nature and speed of transformation experienced by the targets of change projects and the resulting quality (pervasiveness and durability), timing, and reach of social impact. Our findings provide a solid base for integrating and advancing knowledge across the largely disparate streams of management research on Corporate Social Responsibility, Social Entrepreneurship, and Base of the Pyramid, and open up important new avenues for future research on organizing for PSC and on unpacking PSC processes.

Flexible Gaussian process wind field models

This technical report builds on previous reports to derive the likelihood and its derivatives for a Gaussian Process with a modified Bessel function based covariance function. The full derivation is shown. The likelihood (with gradient information) can be used in maximum likelihood procedures (i.e. gradient based optimisation) and in Hybrid Monte Carlo sampling (i.e. within a Bayesian framework).

Is there a special kind of "reading" for translation? An empirical investigation of reading in the translation process

The role of reading in translation is rarely discussed in the literature. Translation has mainly been discussed within a product-oriented framework. The more process-oriented approaches of recent years have taken notice of reading as a component activity of the translation process. However, few empirical studies have been completed which address the role of reading in translation. The way a person reads, and the result of that reading (some sort of mental representation of the text or text segment), will depend on the reader's purposes and motivations. The present empirical study indicates that while the translator's reading of a text may be to some extent more thorough and deliberate than that of an ordinary reader, it is not likely to be markedly so. The study also indicates a significant variability in the way translators "read for translation". This suggests the existence of alternate strategies in this kind of reading.

An account of the sustainable development process in Bangladesh

With the accelerating industrialization process, even further increasing population and mass deforestation, ‘sustainability’ as a concept has only recently been popularized in Bangladesh. This paper sheds light on the sustainable development process in Bangladesh. It points out the major challenges to this process and identifies the motivating factors for a sustainable society in Bangladesh. The paper concludes with some strategies that are considered essential for the development of a sustainable society in Bangladesh, e.g., strong and effective regulatory framework, emphasis on rural entrepreneurship, development of indigenous technology and an integrated environmental management system.

Managing healthcare performance in analytical framework

Purpose – The purpose of the paper is to develop an integrated framework for performance management of healthcare services. Design/methodology/approach – This study develops a performance management framework for healthcare services using a combined analytic hierarchy process (AHP) and logical framework (LOGFRAME). The framework is then applied to the intensive care units of three different hospitals in developing nations. Numerous focus group discussions were undertaken, involving experts from the specific area under investigation. Findings – The study reveals that a combination of outcome, structure and process-based critical success factors and a combined AHP and LOGFRAME-based performance management framework helps manage performance of healthcare services. Practical implications – The proposed framework could be practiced in hospital-based healthcare services. Originality/value – The conventional approaches to healthcare performance management are either outcome-based or process-based, which cannot reveal improvement measures appropriately in order to assure superior performance. Additionally, they lack planning, implementing and evaluating improvement projects that are identified from performance measurement. This study presents an integrated approach to performance measurement and implementing framework of improvement projects.