A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Decentralized control design for nonlinear plants: a v-metric approach

In this paper, a new v-metric based approach is proposed to design decentralized controllers for multi-unit nonlinear plants that admit a set of plant decompositions in an operating space. Similar to the gap metric approach in literature, it is shown that the operating space can also be divided into several subregions based on a v-metric indicator, and each of the subregions admits the same controller structure. A comparative case study is presented to display the advantages of proposed approach over the gap metric approach. (C) 2000 Elsevier Science Ltd. All rights reserved.

Eye design and color signaling in a stomatopod crustacean Gonodactylus smithii

Many species of stomatopod crustaceans have multiple spectral classes of photoreceptors in their retinas. Behavioral evidence also indicates that stomatopods are capable of discriminating objects by their spectral differences alone, Most animals use only two to four different types of photoreceptors in their color vision systems, typically with broad sensitivity functions, but the stomatopods apparently include eight or more narrowband photoreceptor classes for color recognition. It is also known that stomatopods use several colored body regions in social interactions. To examine why stomatopods may be so 'concerned' with color, we measured the absorption spectra of visual pigments and intrarhabdomal filters, and the reflectance spectra from different parts of the bodies of several individuals of the gonodactyloid stomatopod species, Gonodactylus smithii. We then applied a model of multiple dichromatic channels for color encoding to examine whether the finely tuned color vision was specifically co-evolved with their complex color signals. Although the eye design of stomatopods seems suitable for detecting color signals of their own, the detection of color signals from other animals, such as reef fishes, can be enhanced as well. Color vision in G. smithii is therefore not exclusively adapted to detect its own color signals, but the spectral tuning of some photoreceptors (e.g. midband Rows 2 and 3) enhances the contrast of certain color signals to a large enough degree to make co-evolution between color vision and these rather specific color signals likely. Copyright (C) 2000 S. Karger AG, Basel.

Minimum-order stable recursive filter design via the genetic algorithm approach

In this paper, the minimum-order stable recursive filter design problem is proposed and investigated. This problem is playing an important role in pipeline implementation sin signal processing. Here, the existence of a high-order stable recursive filter is proved theoretically, in which the upper bound for the highest order of stable filters is given. Then the minimum-order stable linear predictor is obtained via solving an optimization problem. In this paper, the popular genetic algorithm approach is adopted since it is a heuristic probabilistic optimization technique and has been widely used in engineering designs. Finally, an illustrative example is sued to show the effectiveness of the proposed algorithm.

A method for the design of MRI radiofrequency coils based on triangular and pulse basis functions

This paper presents a numerical technique for the design of an RF coil for asymmetric magnetic resonance imaging (MRI) systems. The formulation is based on an inverse approach where the cylindrical surface currents are expressed in terms of a combination of sub-domain basis functions: triangular and pulse functions. With the homogeneous transverse magnetic field specified in a spherical region, a functional method is applied to obtain the unknown current coefficients. The current distribution is then transformed to a conductor pattern by use of a stream function technique. Preliminary MR images acquired using a prototype RF coil are presented and validate the design method. (C) 2002 Elsevier Science B.V. All rights reserved.

Ecological interface design for pasteurizer II: A process description of semantic mapping

Ecological interface design (EID) is proving to be a promising approach to the design of interfaces for complex dynamic systems. Although the principles of EID and examples of its effective use are widely available, few readily available examples exist of how the individual displays that constitute an ecological interface are developed. This paper presents the semantic mapping process within EID in the context of prior theoretical work in this area. The semantic mapping process that was used in developing an ecological interface for the Pasteurizer II microworld is outlined, and the results of an evaluation of the ecological interface against a more conventional interface are briefly presented. Subjective reports indicate features of the ecological interface that made it particularly valuable for participants. Finally, we outline the steps of an analytic process for using EID. The findings presented here can be applied in the design of ecological interfaces or of configural displays for dynamic processes.

α′ phase stability in Nd-Li-sialon systems

The formability and stability of the alpha-sialon (alpha') phase was investigated in multi-cation Nd-Li-sialon systems. Four samples were prepared, ranging from a pure Nd-sialon to a pure Li-sialon, with two intermediate samples being prepared with either lithium or neodymium replacing the other alpha'-stabilising additive by 20 eq.%, as to maintain an equivalent design composition in all samples. After sintering, all samples were subsequently heat treated up to 192 h at 1450 and 1300 degreesC. While significant quantities of the beta'-sialon (beta' phase were found in most samples, the high-lithium Li-Nd-sialon sample was found to be almost pure a' phase after sintering. Furthermore, the long-term stability of the a' phase on heat treatment was also found to be superior in both multi-cation samples than in either of the single-alpha'-stabilising-cation samples. This is thought to be related to improved retention of the lithium in the multi-cation systems, as much of the lithium was found to volatilise during sintering in the neodymium-free sample. (C) 2002 Elsevier Science Ltd. All rights reserved.

Designing teams for first-of-a-kind, complex systems using the initial phases of cognitive work analysis: Case study

We present a technique for team design based on cognitive work analysis (CWA). We first develop a rationale for this technique by discussing the limitations of conventional approaches for team design in light of the special characteristics of first-of-a-kind, complex systems. We then introduce the CWA-based technique for team design and provide a case study of how we used this technique to design a team for a first-of-a-kind, complex military system during the early stages of its development. In addition to illustrating the CWA-based technique by example, the case study allows us to evaluate the technique. This case study demonstrates that the CWA-based technique for team design is both feasible and useful, although empirical validation of the technique is still necessary. Applications of this work include the design of teams for first-of-a-kind, complex systems in military, medical, and industrial domains.

Unitary R-matrices for topological quantum computing

The main problem with current approaches to quantum computing is the difficulty of establishing and maintaining entanglement. A Topological Quantum Computer (TQC) aims to overcome this by using different physical processes that are topological in nature and which are less susceptible to disturbance by the environment. In a (2+1)-dimensional system, pseudoparticles called anyons have statistics that fall somewhere between bosons and fermions. The exchange of two anyons, an effect called braiding from knot theory, can occur in two different ways. The quantum states corresponding to the two elementary braids constitute a two-state system allowing the definition of a computational basis. Quantum gates can be built up from patterns of braids and for quantum computing it is essential that the operator describing the braiding-the R-matrix-be described by a unitary operator. The physics of anyonic systems is governed by quantum groups, in particular the quasi-triangular Hopf algebras obtained from finite groups by the application of the Drinfeld quantum double construction. Their representation theory has been described in detail by Gould and Tsohantjis, and in this review article we relate the work of Gould to TQC schemes, particularly that of Kauffman.

Modelling of cold-formed purlin-sheeting systems .1. Full model

Purlin-sheeting systems used for roofs and walls commonly take the form of cold-formed channel or zed section purlins, screw-connected to corrugated sheeting. These purlin-sheeting systems have been the subject of numerous theoretical and experimental investigations over the past three decades, but the complexity of the systems has led to great difficulty in developing a sound and general model. This paper presents a non-linear elasto-plastic finite element model, capable of predicting the behaviour of purlin-sheeting systems without the need for either experimental input or over simplifying assumptions. The model incorporates both the sheeting and the purlin, and is able to account for cross-sectional distortion of the purlin, the flexural and membrane restraining effects of the sheeting, and failure of the purlin by local buckling or yielding. The validity of the model is shown by its good correlation with experimental results. A simplified version of this model, which is more suitable for use in a design environment, is presented in a companion paper. (C) 1997 Elsevier Science Ltd.

The Thrombin Receptor Antagonist for Clinical Event Reduction in Acute Coronary Syndrome (TRA.CER) trial: study design and rationale

Background The protease-activated receptor 1 (PAR-1), the main platelet receptor for thrombin, represents a novel target for treatment of arterial thrombosis, and SCH 530348 is an orally active, selective, competitive PAR-1 antagonist. We designed TRA.CER to evaluate the efficacy and safety of SCH 530348 compared with placebo in addition to standard of care in patients with non-ST-segment elevation (NSTE) acute coronary syndromes (ACS) and high-risk features. Trial design TRA.CER is a prospective, randomized, double-blind, multicenter, phase III trial with an original estimated sample size of 10,000 subjects. Our primary objective is to demonstrate that SCH 530348 in addition to standard of care will reduce the incidence of the composite of cardiovascular death, myocardial infarction (MI), stroke, recurrent ischemia with rehospitalization, and urgent coronary revascularization compared with standard of care alone. Our key secondary objective is to determine whether SCH 530348 will reduce the composite of cardiovascular death, MI, or stroke compared with standard of care alone. Secondary objectives related to safety are the composite of moderate and severe GUSTO bleeding and clinically significant TIMI bleeding. The trial will continue until a predetermined minimum number of centrally adjudicated primary and key secondary end point events have occurred and all subjects have participated in the study for at least I year. The TRA.CER trial is part of the large phase III SCH 530348 development program that includes a concomitant evaluation in secondary prevention. Conclusion TRA.CER will define efficacy and safety of the novel platelet PAR-1 inhibitor SCH 530348 in the treatment of high-risk patients with NSTE ACS in the setting of current treatment strategies. (Am Heart J 2009; 158:327-34.)

Safety Profile of Trocar and Insufflation Needle Access Systems in Laparoscopic Surgery

BACKGROUND: The most common laparoscopic complications are associated with trocar insertion. The purpose of this study was to develop an objective method of evaluating the safety profile of various access devices used in laparoscopic surgery. STUDY DESIGN: In 20 swine, 6 bladed and 2 needle access devices were evaluated. A force profile was determined by measuring the force required to drive the trocar or needle through the fascia and into the peritoneum, at 0 and 10 mmHg. The amount Of tissue deformation, the length of blade exposed, and the duration of exposure were measured using a high-speed digital imaging system. RESULTS: The needle system without the sheath required the least driving force and had the most favorable force profile. In contrast, the bladed, nonretractable trocar system required a higher driving force and a rapid loss of resistance. Insertion under a pneumoperitoneum did not significantly alter the force profile of the various access devices except for the amount of tissue deformation. With the bladed system, the blade itself was exposed for an average of 0.5 to 1.0 seconds for a distance of 4.5 to 5.0 cm. In comparison, the needle system was exposed for 0.2 seconds for a distance of 1.8 cm. CONCLUSIONS: We developed a reproducible method of measuring the forces required to place the access systems, their pattern of resistance loss, and the characteristics of the blade exposure. These parameters may provide an adjunctive and objective measurement of safety, allowing for more direct comparison between various trocar designs. (J Am Coll Surg 2009;209:222-232. (C) 2009 by the American College of Surgeons)

Rationale and design of a randomized placebo-controlled trial assessing the effects of etiologic treatment in Chagas` cardiomyopathy: The BENznidazole Evaluation For Interrupting Trypanosomiasis (BENEFIT)

Background Benznidazole is effective for treating acute and chronic (recently acquired) Tryponosoma cruzi infection (Chagas` disease). Recent data indicate that parasite persistence plays a pivotal role in the pathogenesis of chronic Chagas` cardiomyopathy. However, the efficacy of trypanocidal therapy in preventing clinical complications in patients with preexisting cardiac disease is unknown. Study Design BENEFIT is a multicenter, randomized, double-blind, placebo-controlled clinical trial of 3,000 patients with Chagas` cardiomyopathy in Latin America. Patients are randomized to receive benznidazole (5 mg/kg per day) or matched placebo, for 60 days. The primary outcome is the composite of death; resuscitated cardiac arrest; sustained ventricular tachycardia; insertion of pacemaker or cardiac defibrillator; cardiac transplantation; and development of new heart failure, stroke, or systemic or pulmonary thromboembolic events. The average follow-up time will be 5 years, and the trial has a 90% power to detect a 25% relative risk reduction. The BENEFIT program also comprises a substudy evaluating the effects of benznidazole on parasite clearance and an echo substudy exploring the impact of etiologic treatment on left ventricular function. Recruitment started in November 2004, and >1,000 patients have been enrolled in 35 centers from Argentina, Brazil, and Colombia to date. Conclusion This is the largest trial yet conducted in Chagas` disease. BENEFIT will clarify the role of trypanocidal therapy in preventing cardiac disease progression and death.

A Dynamical Modeling to Study the Adaptive Immune System and the Influence of Antibodies in the Immune Memory

Immunological systems have been an abundant inspiration to contemporary computer scientists. Problem solving strategies, stemming from known immune system phenomena, have been successfully applied to chall enging problems of modem computing. Simulation systems and mathematical modeling are also beginning use to answer more complex immunological questions as immune memory process and duration of vaccines, where the regulation mechanisms are not still known sufficiently (Lundegaard, Lund, Kesmir, Brunak, Nielsen, 2007). In this article we studied in machina a approach to simulate the process of antigenic mutation and its implications for the process of memory. Our results have suggested that the durability of the immune memory is affected by the process of antigenic mutation.and by populations of soluble antibodies in the blood. The results also strongly suggest that the decrease of the production of antibodies favors the global maintenance of immune memory.