Integrated power scheme simulator for human-system integration studies

We present a simulator of a hydropower company’s view of its scheme, and its broader market and network context, which has been developed to evaluate advanced displays for control room operations. Although simplified, the simulator captures all the main aspects of scheme operations. The simulator allows controlled studies to be performed that test the effectiveness of current vs advanced display concepts under normal vs unexpected operating conditions that can be scripted into the simulator.

Advantage of single-trial models for response to selection in wheat breeding multi-environment trials

An investigation was conducted to evaluate the impact of experimental designs and spatial analyses (single-trial models) of the response to selection for grain yield in the northern grains region of Australia (Queensland and northern New South Wales). Two sets of multi-environment experiments were considered. One set, based on 33 trials conducted from 1994 to 1996, was used to represent the testing system of the wheat breeding program and is referred to as the multi-environment trial (MET). The second set, based on 47 trials conducted from 1986 to 1993, sampled a more diverse set of years and management regimes and was used to represent the target population of environments (TPE). There were 18 genotypes in common between the MET and TPE sets of trials. From indirect selection theory, the phenotypic correlation coefficient between the MET and TPE single-trial adjusted genotype means [r(p(MT))] was used to determine the effect of the single-trial model on the expected indirect response to selection for grain yield in the TPE based on selection in the MET. Five single-trial models were considered: randomised complete block (RCB), incomplete block (IB), spatial analysis (SS), spatial analysis with a measurement error (SSM) and a combination of spatial analysis and experimental design information to identify the preferred (PF) model. Bootstrap-resampling methodology was used to construct multiple MET data sets, ranging in size from 2 to 20 environments per MET sample. The size and environmental composition of the MET and the single-trial model influenced the r(p(MT)). On average, the PF model resulted in a higher r(p(MT)) than the IB, SS and SSM models, which were in turn superior to the RCB model for MET sizes based on fewer than ten environments. For METs based on ten or more environments, the r(p(MT)) was similar for all single-trial models.

Formal considerations of rule-based messaging for Business Process Integration

In the last decade, with the expansion of organizational scope and the tendency for outsourcing, there has been an increasing need for Business Process Integration (BPI), understood as the sharing of data and applications among business processes. The research efforts and development paths in BPI pursued by many academic groups and system vendors, targeting heterogeneous system integration, continue to face several conceptual and technological challenges. This article begins with a brief review of major approaches and emerging standards to address BPI. Further, we introduce a rule-driven messaging approach to BPI, which is based on the harmonization of messages in order to compose a new, often cross-organizational process. We will then introduce the design of a temporal first order language (Harmonized Messaging Calculus) that provides the formal foundation for general rules governing the business process execution. Definitions of the language terms, formulae, safety, and expressiveness are introduced and considered in detail.

A Bronchoscopic scoring system for airway secretions - Airway cellularity and microbiological validation

There is currently no validated scoring system for quantification of airway secretions in children. A user friendly, valid scoring system of airway secretions during flexible bronchoscopy (FB) would be useful for comparative purposes in clinical medicine and research. The objective of this study was to validate our bronchoscopic secretion (BS) scoring system by examining the relationship between the amount of secretions seen at bronchoscopy with airway cellularity and microbiology. In 106 children undergoing FIB, the relationship of BS grades with bronchocalveolar lavage (BAL) cellularity and infective state (bacterial and viral infections) were examined using receptor operator curves (ROC). BAL was obtained according to European Respiratory Society guidelines; first lavage for microbiology and second lavage for cellularity Area under the ROC was significant for total cell count (TCC) and neutrophil % but not for lymphocyte %. BS grade significantly related to infection positive state (chi(2)(trend) = 5.85, P = 0,016). The area under the ROC for infection positive state versus BS grade was 0.645, 95% Cl 0.527-0.763. The BS scoring system is a valid method for quantifying airway secretions in children undergoing bronchoscopy The system related well to airway cellularity and neutrophilia, as well as to an airway infective state. However, the system is only complementary to cell counts and cultures and cannot replace these laboratory quantification techniques.

A sensor-based multimedia authentication system

User requirements of multimedia authentication are various. In some cases, the user requires an authentication system to monitor a set of specific areas with respective sensitivity while neglecting other modification. Most current existing fragile watermarking schemes are mixed systems, which can not satisfy accurate user requirements. Therefore, in this paper we designed a sensor-based multimedia authentication architecture. This system consists of sensor combinations and a fuzzy response logic system. A sensor is designed to strictly respond to given area tampering of a certain type. With this scheme, any complicated authentication requirement can be satisfied, and many problems such as error tolerant tamper method detection will be easily resolved. We also provided experiments to demonstrate the implementation of the sensor-based system

The design and implementation of a repository for the management of spatial data integrity constraints

This paper reviews the key features of an environment to support domain users in spatial information system (SIS) development. It presents a full design and prototype implementation of a repository system for the storage and management of metadata, focusing on a subset of spatial data integrity constraint classes. The system is designed to support spatial system development and customization by users within the domain that the system will operate.

How do practitioners use conceptual modeling in practice?

Much research has been devoted over the years to investigating and advancing the techniques and tools used by analysts when they model. As opposed to what academics, software providers and their resellers promote as should be happening, the aim of this research was to determine whether practitioners still embraced conceptual modeling seriously. In addition, what are the most popular techniques and tools used for conceptual modeling? What are the major purposes for which conceptual modeling is used? The study found that the top six most frequently used modeling techniques and methods were ER diagramming, data flow diagramming, systems flowcharting, workflow modeling, UML, and structured charts. Modeling technique use was found to decrease significantly from smaller to medium-sized organizations, but then to increase significantly in larger organizations (proxying for large, complex projects). Technique use was also found to significantly follow an inverted U-shaped curve, contrary to some prior explanations. Additionally, an important contribution of this study was the identification of the factors that uniquely influence the decision of analysts to continue to use modeling, viz., communication (using diagrams) to/from stakeholders, internal knowledge (lack of) of techniques, user expectations management, understanding models' integration into the business, and tool/software deficiencies. The highest ranked purposes for which modeling was undertaken were database design and management, business process documentation, business process improvement, and software development. (c) 2005 Elsevier B.V. All rights reserved.

Advanced Asia's health systems in comparison

There is growing interest in comparing patterns of social and health service development in advanced Asian economies. Most publications concentrate broadly on a range of core social services such as education, housing, social security and health care. In terms of those solely focused on health, most discuss arrangements in specific countries and territories. Some take a comparative approach, but are focused on presentation and discussion of expenditure, resourcing and service utilization data. This article extends the comparative analysis of advanced Asian health systems, considering the cases of Japan, South Korea, Taiwan, Hong Kong and Singapore. The article provides basic background information, and delves into common concerns among the world's health systems today including primary care organization, rationing and cost containment, service quality, and system integration. Conclusions include that problems exist in 'classifying' the five diverse systems; that the systems face common pressures; and that there are considerable opportunities to enhance primary care, service quality and system integration. (c) 2006 Elsevier Ireland Ltd. All rights reserved.

Performance comparisons between greedy and lagrange algorithms in adaptive MIMO MC-CDMA systems

This paper describes two algorithms for adaptive power and bit allocations in a multiple input multiple output multiple-carrier code division multiple access (MIMO MC-CDMA) system. The first is the greedy algorithm, which has already been presented in the literature. The other one, which is proposed by the authors, is based on the use of the Lagrange multiplier method. The performances of the two algorithms are compared via Monte Carlo simulations. At present stage, the simulations are restricted to a single user MIMO MC-CDMA system, which is equivalent to a MIMO OFDM system. It is assumed that the system operates in a frequency selective fading environment. The transmitter has a partial knowledge of the channel whose properties are measured at the receiver. The use of the two algorithms results in similar system performances. The advantage of the Lagrange algorithm is that is much faster than the greedy algorithm. ©2005 IEEE

User dyads in software testing: bypassing the need for expert observers

This paper arises out of a research study into the online help facilities provided in popular software applications such as word processors. Its particular focus is on experimental methods of evaluating the effectiveness and usability of those facilities. Focus groups, questionnaires, and online surveys had already been used in other phases of the study, but it was judged that these approaches would be unsuitable for measuring effectiveness and usability because they are susceptible to respondents' subjectivity. Direct observation of people working on set word-processing tasks was ruled out initially because of a lack of trained observers; it would have taken too long for the investigator to observe a large enough sample by himself. Automatic recording of users' actions was also rejected, as it would have demanded equipment and/or software that was not available and seemed too expensive to acquire. The approach and techniques described here were an attempt to overcome these difficulties by using observers drawn from the same population of students that provided the test subjects; as a by-product, this may also have enhanced the acceptability (and hence possibly the validity) of the experiments by reducing the exam pressure perceived by participants.

Polyethism and comparability of termite choice assays in a model system using Microcerotermes turneri (Termitidae : Termitinae): Implications for standardised testing techniques

Traditional measures of termite food preference assess consequences of foraging behavior such as wood consumption, aggregation and/or termite survivorship. Although studies have been done to investigate the specifics of foraging behavior this is not generally integrated into choice assay experiments. Here choice assays were conducted with small isolated (orphaned) groups of workers and compared with choice assays involving foragers from whole nests (non-orphaned) in the laboratory. Aggregation to two different wood types was used as a measure of preference. Specific worker caste and instars participating in initial exploration were compared between assay methods, with samples of termites taken from nest carton material and sites where termites were feeding. Aggregation results differ between choice assay techniques. Castes and instars responsible for initial exploration, as determined in whole nest trials, were not commonly found exploring in isolated group trials, nor were they numerous in termites taken from active feeding sites. Consequently the use of small groups of M. turneri worker termites extracted from active feeding sites may not be appropriate for use in choice assays.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

Aberrant protective force generation during neural provocation testing and the effect of treatment in patients with neurogenic cervicobrachial pain

Background: Observation of the occurrence of protective muscle activity is advocated in assessment of the peripheral nervous system by means of neural provocation tests. However, no studies have yet demonstrated abnormal force generation in a patient population. Objectives: To analyze whether aberrations in shoulder girdle-elevation force during neural tissue provocation testing for the median nerve (NTPTI) can be demonstrated, and whether possible aberrations can be normalized following cervical mobilization. Study Design: A single-blind randomized comparative controlled study. Setting: Laboratory setting annex in a manual therapy teaching practice. Participants: Twenty patients with unilateral or bilateral neurogenic cervicobrachial pain. Methods: During the NTPTI, we used a load cell and electrogoniometer to record continuously the shoulder-girdle elevation force in relation to the available range of elbow extension. Following randomization, we analyzed the immediate treatment effects of a cervical contralateral lateral glide mobilization technique (experimental group) and therapeutic ultrasound (control group). Results: On the involved side, the shoulder-girdle elevation force occur-red earlier, and the amount of force at the end of the test was substantially, though not significantly, greater than that on the uninvolved side at the corresponding range of motion. Together with a significant reduction in pain perception after cervical mobilization, a clear tendency toward normalization of the force curve could be observed, namely, a significant decrease in force generation and a delayed onset. The control group demonstrated no differences. Conclusions: Aberrations in force generation during neural, provocation testing are present in patients with neurogenic pain and can be normalized with appropriate treatment modalities.

A framework and tool support for the systematic testing of model-based specifications

Formal specifications can precisely and unambiguously define the required behavior of a software system or component. However, formal specifications are complex artifacts that need to be verified to ensure that they are consistent, complete, and validated against the requirements. Specification testing or animation tools exist to assist with this by allowing the specifier to interpret or execute the specification. However, currently little is known about how to do this effectively. This article presents a framework and tool support for the systematic testing of formal, model-based specifications. Several important generic properties that should be satisfied by model-based specifications are first identified. Following the idea of mutation analysis, we then use variants or mutants of the specification to check that these properties are satisfied. The framework also allows the specifier to test application-specific properties. All properties are tested for a range of states that are defined by the tester in the form of a testgraph, which is a directed graph that partially models the states and transitions of the specification being tested. Tool support is provided for the generation of the mutants, for automatically traversing the testgraph and executing the test cases, and for reporting any errors. The framework is demonstrated on a small specification and its application to three larger specifications is discussed. Experience indicates that the framework can be used effectively to test small to medium-sized specifications and that it can reveal a significant number of problems in these specifications.