On detecting faults for Boolean expressions

Fault based testing aims at detecting hypothesized faults based on specifications or program source. There are some fault based techniques for testing Boolean expressions which are commonly used to model conditions in specifications as well as logical decisions in program source. The MUMCUT strategy has been proposed to generate test cases from Boolean expressions. Moreover, it detects eight common types of hypothesized faults provided that the original expression is in irredundant disjunctive normal form, IDNF. Software practitioners are more likely to write the conditions and logical decisions in general form rather than IDNF. Hence, it is interesting to investigate the fault detecting capability of the MUMCUT strategy with respect to general form Boolean expressions. In this article, we perform empirical studies to investigate the fault detection capability of the MUMCUT strategy with respect to general form Boolean expressions as well as mutated expressions. A mutated expression can be obtained from the original given Boolean expression by making a syntactic change based on a particular type of fault.

Situation awareness acquired from monitoring process plants – the Process Overview concept and measure

We introduce Process Overview, a situation awareness characterisation of the knowledge derived from monitoring process plants. Process Overview is based on observational studies of process control work in the literature. The characterisation is applied to develop a query-based measure called the Process Overview Measure. The goal of the measure is to improve coupling between situation and awareness according to process plant properties and operator cognitive work. A companion article presents the empirical evaluation of the Process Overview Measure in a realistic process control setting. The Process Overview Measure demonstrated sensitivity and validity by revealing significant effects of experimental manipulations that corroborated with other empirical results. The measure also demonstrated adequate inter-rater reliability and practicality for measuring SA based on data collected by process experts.

Practitioner Summary: The Process Overview Measure is a query-based measure for assessing operator situation awareness from monitoring process plants in representative settings.     

Transient temperature responses of hydronic radiant floor heating system by different pipe embedding depth and water supply condition

"Ondol" is a Korean unique heating system. It is a specific radiant floor heating system using combustion heat of briquette or timber in Korea. Such traditional "Ondol" is changed to radiant heating system with pipe-coil embedded in the floor or slab. This study has contributed to the understandings of the transient behaviours of Ondol-heated floor panels and enclosure exposed to this type of heating system. The result is that the water supply temperature had a large effect on the rate of increase in floor surface and room air temperature. But, in spite of a higher water supply temperature, the heat flow rate was not increased considerably. The shallow pipe embedding depths, of course, result in a low heat flow rate.     

Power supply - The economies of power quality - Balancing the costs of power protection against the losses that may be suffered is often a difficult problem for power engineers

The subject of power quality embraces a very wide and diverse field of both system and customer problems. There are many requirements for appropriate solutions, from simple power factor corrections of a load to sophisticated load flow control in a high-voltage transmission system. It can be simply defined as the quality of power supplied to the end user. The evaluation of power quality improvement alternatives is an exercise in economics. Utility engineers must evaluate the economic impacts of the power quality variations against the costs of improving performance for the different available alternatives. The best choice will depend on the costs of the solution and its total operating costs. Improving facility performance during power quality variations can result in significant savings and can be a competitive advantage. Therefore, it is important for customers and suppliers to work together in identifying the best alternative for achieving the required level of performance     

CyberWalk: a web-based distributed virtual walkthrough environment

A distributed virtual walkthrough environment allows users connected to the geometry server to walk through a specific place of interest, without having to travel physically. This place of interest may be a virtual museum, virtual library or virtual university. There are two basic approaches to distribute the virtual environment from the geometry server to the clients, complete replication and on-demand transmission. Although the on-demand transmission approach saves waiting time and optimizes network usage, many technical issues need to be addressed in order for the system to be interactive. CyberWalk is a web-based distributed virtual walkthrough system developed based on the on-demand transmission approach. It achieves the necessary performance with a multiresolution caching mechanism. First, it reduces the model transmission and rendering times by employing a progressive multiresolution modeling technique. Second, it reduces the Internet response time by providing a caching and prefetching mechanism. Third, it allows a client to continue to operate, at least partially, when the Internet is disconnected. The caching mechanism of CyberWalk tries to maintain at least a minimum resolution of the object models in order to provide at least a coarse view of the objects to the viewer. All these features allow CyberWalk to provide sufficient interactivity to the user for virtual walkthrough over the Internet environment. In this paper, we demonstrate the design and implementation of CyberWalk. We investigate the effectiveness of the multiresolution caching mechanism of CyberWalk in supporting virtual walkthrough applications in the Internet environment through numerous experiments, both on the simulation system and on the prototype system.     

User-centric content negotiation for effective adaptation service in mobile computing

We address the challenges of building a good content adaptation service for mobile devices and propose a decision engine that is user-centric with QoS awareness, which can automatically negotiate for the appropriate adaptation decision to use in the synthesis of an optimal adapted version. The QoS-sensitive approach complements the lossy nature of the transcoding operations. The decision engine will look for the best trade off among various parameters in order to reduce the loss of quality in various domains. Quantitative methods are suggested to measure the QoS of the content versions in various quality domains. Based on the particular user perception and other contextual information on the client capability, the network connection, and the requested content, the proposed negotiation algorithm will determine a content version with a good aggregate score. We have built a prototype document adaptation system for PDF documents to demonstrate the viability of our approach.     

Trying to adopt systems development methodologies — a case-based exploration of business users' interests

Information systems methodologies are an important component of the IS infrastructure and a primary device for organizing systems development work. Evidence suggests that methodology adoption and use are problematic. This research seeks to generate insight into business users' interest in adoption through detailed examination of a case. A framework is developed for organizing relevant research findings. The field research methods are described and details of the case reported. The case highlights the role of business managers in methodology adoption and the influence of business pressures originating in the strategic environment. Analysis shows the organizing framework to require extension to include a more direct role for business decision makers. it is argued that previous research has obscured the legitimate concern of business with systems development methodologies. As business increasingly asserts its interest in and control over IS, it will be necessary to give greater consideration to the needs of business in the selection and adoption of methodologies.     

Designing learning objects that afford learners the experience of important variations in Chinese characters

Effective teaching should focus the attention of learners to its essential aspects. It follows that instructional software can be designed in such a way that allows learners to experience the important variations in the critical aspects of the content to be learned. This paper reports on the experience of designing such special kinds of instructional learning objects for the learning of Chinese characters. The design of these learning objects takes into consideration not only what Chinese characters are all about but also how learners commonly make errors while they learn to write the characters. Out of the analysis of these learners' errors, variations in the structural features of Chinese characters were pulled out and embodied in the design of the learning objects. Learners tinkering with the learning objects can thus implicitly develop a sense of the structural features or regularity of Chinese characters, which most importantly should prepare the learners to learn more new characters in the future. The main proposal of this paper is the notion of this variation‐affording instructional software that allows learners to attend to the essential aspects of what is to be learned. Furthermore, the idea of the learning object also differs from other instructional software in its small, self‐contained and reusable nature, such that teachers can flexibly embed the learning objects into their own teaching materials.     

Failure-Oriented Path Restoration Algorithm for Survivable Networks

In this article, a new polynomial-time approximation algorithm called Service Path Local Optimization (SPLO) is proposed for the online restoration problem. SPLO is shown to perform competitively with existing offline heuristics algorithm in terms of spare capacity. SPLO is designed for online computation where only one request is computed at any one time, and the decision making does not depend on future requests. The polynomial-time and online nature of the algorithm makes SPLO suitable for use in real-time on-demand path request applications. SPLO can be combined with a non-polynomial post-processing component that re-optimizes the backup paths. Significant reductions in spare capacity requirements are achievable at the expense of higher computation time. Further, the potential for SPLO as an algorithm in traffic engineering applications is investigated by looking at the performance impact when source-destination-based traffic aggregation is applied. We also introduce a new concept called path intermix where the service path?s allocated bandwidth can be used by the backup paths protecting that particular service path.