Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging

Developing a desirable framework for handling inconsistencies in software requirements specifications is a challenging problem. It has been widely recognized that the relative priority of requirements can help developers to make some necessary trade-off decisions for resolving con- flicts. However, for most distributed development such as viewpoints-based approaches, different stakeholders may assign different levels of priority to the same shared requirements statement from their own perspectives. The disagreement in the local levels of priority assigned to the same shared requirements statement often puts developers into a dilemma during the inconsistency handling process. The main contribution of this paper is to present a prioritized merging-based framework for handling inconsistency in distributed software requirements specifications. Given a set of distributed inconsistent requirements collections with the local prioritization, we first construct a requirements specification with a prioritization from an overall perspective. We provide two approaches to constructing a requirements specification with the global prioritization, including a merging-based construction and a priority vector-based construction. Following this, we derive proposals for handling inconsistencies from the globally prioritized requirements specification in terms of prioritized merging. Moreover, from the overall perspective, these proposals may be viewed as the most appropriate to modifying the given inconsistent requirements specification in the sense of the ordering relation over all the consistent subsets of the requirements specification. Finally, we consider applying negotiation-based techniques to viewpoints so as to identify an acceptable common proposal from these proposals.

Crossing Thresholds and Expanding Conceptual Spaces: Using Arts-Based Methods to Extend Teachers’ Perceptions of Literacy

The context for this paper is a teacher education program for adult literacy practitioners at Queen’s University Belfast in Northern Ireland. This paper describes and reflects on the use of arts-based approaches to enhance these practitioners’ conceptualizations of literacy, presenting their arts-based responses and their evaluations of the methods and their contrasting definitions of literacy at the start and the end of the course. The discussion raises questions about the inclusion of visual literacy in adult literacy teacher education programmes.

Fast automatic two-stage nonlinear model identification based on the extreme learning machine

It is convenient and effective to solve nonlinear problems with a model that has a linear-in-the-parameters (LITP) structure. However, the nonlinear parameters (e.g. the width of Gaussian function) of each model term needs to be pre-determined either from expert experience or through exhaustive search. An alternative approach is to optimize them by a gradient-based technique (e.g. Newton’s method). Unfortunately, all of these methods still need a lot of computations. Recently, the extreme learning machine (ELM) has shown its advantages in terms of fast learning from data, but the sparsity of the constructed model cannot be guaranteed. This paper proposes a novel algorithm for automatic construction of a nonlinear system model based on the extreme learning machine. This is achieved by effectively integrating the ELM and leave-one-out (LOO) cross validation with our two-stage stepwise construction procedure [1]. The main objective is to improve the compactness and generalization capability of the model constructed by the ELM method. Numerical analysis shows that the proposed algorithm only involves about half of the computation of orthogonal least squares (OLS) based method. Simulation examples are included to confirm the efficacy and superiority of the proposed technique.

Mass spectrometry-based metabolomics applied to the chemical safety of food

Mass spectrometry (MS)-based metabolomics is emerging as an important field of research in many scientific areas, including chemical safety of food. A particular strength of this approach is its potential to reveal some physiological effects induced by complex mixtures of chemicals present at trace concentrations. The limitations of other analytical approaches currently employed to detect low-dose and mixture effects of chemicals make detection very problematic. Besides this basic technical challenge, numerous analytical choices have to be made at each step of a metabolomics study, and each step can have a direct impact on the final results obtained and their interpretation (i.e. sample preparation, sample introduction, ionization, signal acquisition, data processing, and data analysis). As the application of metabolomics to chemical analysis of food is still in its infancy, no consensus has yet been reached on defining many of these important parameters. In this context, the aim of the present study is to review all these aspects of MS-based approaches to metabolomics, and to give a comprehensive, critical overview of the current state of the art, possible pitfalls, and future challenges and trends linked to this emerging field. (C) 2010 Elsevier Ltd. All rights reserved.

Home-based support for palliative care families:challenges and recommendations

Providing adequate supportive services for the families of palliative care patients is a core principle of palliative care. Caring for a patient with terminal illness at home involves a considerable commitment on the part of family caregivers, and attention must be given to the caregiver's needs as well as those of the patient. Although a home death may be preferred by patients and promoted by healthcare agencies as a cost-effective option, it may be an ideal that is not often realised. Enhanced supportive care strategies can ameliorate the challenges facing families of palliative care patients cared for at home. All health professionals need to improve the standard of family-centred palliative care, and more evidence-based approaches are required.

Rule-Based Intrusion Detection System for SCADA Networks

Increased complexity and interconnectivity of Supervisory Control and Data Acquisition (SCADA) systems in Smart Grids potentially means greater susceptibility to malicious attackers. SCADA systems with legacy communication infrastructure have inherent cyber-security vulnerabilities as these systems were originally designed with little consideration of cyber threats. In order to improve cyber-security of SCADA networks, this paper presents a rule-based Intrusion Detection System (IDS) using a Deep Packet Inspection (DPI) method, which includes signature-based and model-based approaches tailored for SCADA systems. The proposed signature-based rules can accurately detect several known suspicious or malicious attacks. In addition, model-based detection is proposed as a complementary method to detect unknown attacks. Finally, proposed intrusion detection approaches for SCADA networks are implemented and verified using a ruled based method.

Intrusion Detection System for IEC 60870-5-104 Based SCADA Networks

Increased complexity and interconnectivity of Supervisory Control and Data Acquisition (SCADA) systems in Smart Grids potentially means greater susceptibility to malicious attackers. SCADA systems with legacy communication infrastructure have inherent cyber-security vulnerabilities as these systems were originally designed with little consideration of cyber threats. In order to improve cyber-security of SCADA networks, this paper presents a rule-based Intrusion Detection System (IDS) using a Deep Packet Inspection (DPI) method, which includes signature-based and model-based approaches tailored for SCADA systems. The proposed signature-based rules can accurately detect several known suspicious or malicious attacks. In addition, model-based detection is proposed as a complementary method to detect unknown attacks. Finally, proposed intrusion detection approaches for SCADA networks are implemented and verified via Snort rules.

What Are the Effects of Teaching Evidence-Based Health Care (EBHC)? Overview of Systematic Reviews

Background

An evidence-based approach to health care is recognized internationally as a key competency for healthcare practitioners. This overview systematically evaluated and organized evidence from systematic reviews on teaching evidence-based health care (EBHC).

Methods/Findings

We searched for systematic reviews evaluating interventions for teaching EBHC to health professionals compared to no intervention or different strategies. Outcomes covered EBHC knowledge, skills, attitudes, practices and health outcomes. Comprehensive searches were conducted in April 2013. Two reviewers independently selected eligible reviews, extracted data and evaluated methodological quality. We included 16 systematic reviews, published between 1993 and 2013. There was considerable overlap across reviews. We found that 171 source studies included in the reviews related to 81 separate studies, of which 37 are in more than one review. Studies used various methodologies to evaluate educational interventions of varying content, format and duration in undergraduates, interns, residents and practicing health professionals. The evidence in the reviews showed that multifaceted, clinically integrated interventions, with assessment, led to improvements in knowledge, skills and attitudes. Interventions improved critical appraisal skills and integration of results into decisions, and improved knowledge, skills, attitudes and behaviour amongst practicing health professionals. Considering single interventions, EBHC knowledge and attitude were similar for lecture-based versus online teaching. Journal clubs appeared to increase clinical epidemiology and biostatistics knowledge and reading behavior, but not appraisal skills. EBHC courses improved appraisal skills and knowledge. Amongst practicing health professionals, interactive online courses with guided critical appraisal showed significant increase in knowledge and appraisal skills. A short workshop using problem-based approaches, compared to no intervention, increased knowledge but not appraisal skills.

Conclusions

EBHC teaching and learning strategies should focus on implementing multifaceted, clinically integrated approaches with assessment. Future rigorous research should evaluate minimum components for multifaceted interventions, assessment of medium to long-term outcomes, and implementation of these interventions.

Application examples of performance-based specification and quality control

This chapter presents an overview on several performance-based approaches for concrete durability specification and conformity assessment of the as-built structure.

Solubility parameter based screening methods for early stage formulation development of itraconazole amorphous solid dispersions

Objectives: This article uses conventional and newly extended solubility parameter (δ) methods to identify polymeric materials capable of forming amorphous dispersions with itraconazole (itz). Methods: Combinations of itz and Soluplus, Eudragit E PO (EPO), Kollidon 17PF (17PF) or Kollidon VA64 (VA64) were prepared as amorphous solid dispersions using quench cooling and hot melt extrusion. Storage stability was evaluated under a range of conditions using differential scanning calorimetry and powder X-ray diffraction. Key findings: The rank order of itz miscibility with polymers using both conventional and novel δ-based approaches was 17PF > VA64 > Soluplus > EPO, and the application of the Flory–Huggins lattice model to itz–excipient binary systems corroborated the findings. The solid-state characterisation analyses of the formulations manufactured by melt extrusion correlated well with pre-formulation screening. Long-term storage studies showed that the physical stability of 17PF/vitamin E TPGS–itz was poor compared with Soluplus and VA64 formulations, and for EPO/itz systems variation in stability may be observed depending on the preparation method. Conclusion: Results have demonstrated that although δ-based screening may be useful in predicting the initial state of amorphous solid dispersions, assessment of the physical behaviour of the formulations at relevant temperatures may be more appropriate for the successful development of commercially acceptable amorphous drug products.

Risk, Recovery and Capacity: Competing or Complementary Approaches to Mental Health Social Work

Mental health social workers have a central role in providing support to people with mental health problems and in the use of coercion aimed at dealing with risk. Mental health services have traditionally focused on monitoring symptoms and ascertaining the risks people may present to themselves and/or others. This well-intentioned but negative focus on deficits has contributed to stigma, discrimination and exclusion experienced by service users. Emerging understandings of risk also suggest that our inability to accurately predict the future makes risk a problematic foundation for compulsory intervention. It is therefore argued that alternative approaches are needed to make issues of power and inequality transparent. This article focuses on two areas of practice: the use of recovery based approaches, which promote supported decision making and inclusion; and the assessment of a person’s ability to make decisions, their mental capacity, as a less discriminatory gateway criterion than risk for compulsory intervention.

A novel fluorescence-based assay for the rapid detection and quantification of cellular deoxyribonucleoside triphosphates

Current methods for measuring deoxyribonucleoside triphosphates (dNTPs) employ reagent and labor-intensive assays utilizing radioisotopes in DNA polymerase-based assays and/or chromatography-based approaches. We have developed a rapid and sensitive 96-well fluorescence-based assay to quantify cellular dNTPs utilizing a standard real-time PCR thermocycler. This assay relies on the principle that incorporation of a limiting dNTP is required for primer-extension and Taq polymerase-mediated 5-3' exonuclease hydrolysis of a dual-quenched fluorophore-labeled probe resulting in fluorescence. The concentration of limiting dNTP is directly proportional to the fluorescence generated. The assay demonstrated excellent linearity (R(2) > 0.99) and can be modified to detect between ∼0.5 and 100 pmol of dNTP. The limits of detection (LOD) and quantification (LOQ) for all dNTPs were defined as <0.77 and <1.3 pmol, respectively. The intra-assay and inter-assay variation coefficients were determined to be <4.6% and <10%, respectively with an accuracy of 100 ± 15% for all dNTPs. The assay quantified intracellular dNTPs with similar results obtained from a validated LC-MS/MS approach and successfully measured quantitative differences in dNTP pools in human cancer cells treated with inhibitors of thymidylate metabolism. This assay has important application in research that investigates the influence of pathological conditions or pharmacological agents on dNTP biosynthesis and regulation.

A Parametric Study of a Drive by Bridge Inspection System Based on the Morlet Wavelet

Many of the bridges currently in use worldwide are approaching the end of their design lives. However, rehabilitating and extending the lives of these structures raises important safety issues. There is also a need for increased monitoring which has considerable cost implications for bridge management systems. Existing structural health monitoring (SHM) techniques include vibration-based approaches which typically involve direct instrumentation of the bridge and are important as they can indicate the deterioration of the bridge condition. However, they can be labour intensive and expensive. In the past decade, alternative indirect vibration-based approaches which utilise the response of a vehicle passing over a bridge have been developed. This paper investigates such an approach; a low-cost approach for the monitoring of bridge structures which consists of the use of a vehicle fitted with accelerometers on its axles. The approach aims to detect damage in the bridge while obviating the need for direct instrumentation of the bridge. Here, the effectiveness of the approach in detecting damage in a bridge is investigated using a simplified vehicle-bridge interaction (VBI) model in theoretical simulations and a scaled VBI model in a laboratory experiment. In order to identify the existence and location of damage, the vehicle accelerations are recorded and processed using a continuous Morlet wavelet transform and a damage index is established. A parametric study is carried out to investigate the effect of parameters such as the bridge span length, vehicle speed, vehicle mass, damage level and road surface roughness on the accuracy of results.

Video-based analysis of Gait pathologies

L’analyse de la marche a émergé comme l’un des domaines médicaux le plus im- portants récemment. Les systèmes à base de marqueurs sont les méthodes les plus fa- vorisées par l’évaluation du mouvement humain et l’analyse de la marche, cependant, ces systèmes nécessitent des équipements et de l’expertise spécifiques et sont lourds, coûteux et difficiles à utiliser. De nombreuses approches récentes basées sur la vision par ordinateur ont été développées pour réduire le coût des systèmes de capture de mou- vement tout en assurant un résultat de haute précision. Dans cette thèse, nous présentons notre nouveau système d’analyse de la démarche à faible coût, qui est composé de deux caméras vidéo monoculaire placées sur le côté gauche et droit d’un tapis roulant. Chaque modèle 2D de la moitié du squelette humain est reconstruit à partir de chaque vue sur la base de la segmentation dynamique de la couleur, l’analyse de la marche est alors effectuée sur ces deux modèles. La validation avec l’état de l’art basée sur la vision du système de capture de mouvement (en utilisant le Microsoft Kinect) et la réalité du ter- rain (avec des marqueurs) a été faite pour démontrer la robustesse et l’efficacité de notre système. L’erreur moyenne de l’estimation du modèle de squelette humain par rapport à la réalité du terrain entre notre méthode vs Kinect est très prometteur: les joints des angles de cuisses (6,29◦ contre 9,68◦), jambes (7,68◦ contre 11,47◦), pieds (6,14◦ contre 13,63◦), la longueur de la foulée (6.14cm rapport de 13.63cm) sont meilleurs et plus stables que ceux de la Kinect, alors que le système peut maintenir une précision assez proche de la Kinect pour les bras (7,29◦ contre 6,12◦), les bras inférieurs (8,33◦ contre 8,04◦), et le torse (8,69◦contre 6,47◦). Basé sur le modèle de squelette obtenu par chaque méthode, nous avons réalisé une étude de symétrie sur différentes articulations (coude, genou et cheville) en utilisant chaque méthode sur trois sujets différents pour voir quelle méthode permet de distinguer plus efficacement la caractéristique symétrie / asymétrie de la marche. Dans notre test, notre système a un angle de genou au maximum de 8,97◦ et 13,86◦ pour des promenades normale et asymétrique respectivement, tandis que la Kinect a donné 10,58◦et 11,94◦. Par rapport à la réalité de terrain, 7,64◦et 14,34◦, notre système a montré une plus grande précision et pouvoir discriminant entre les deux cas.

Stereo-Based Head Pose Tracking Using Iterative Closest Point and Normal Flow Constraint

In this text, we present two stereo-based head tracking techniques along with a fast 3D model acquisition system. The first tracking technique is a robust implementation of stereo-based head tracking designed for interactive environments with uncontrolled lighting. We integrate fast face detection and drift reduction algorithms with a gradient-based stereo rigid motion tracking technique. Our system can automatically segment and track a user's head under large rotation and illumination variations. Precision and usability of this approach are compared with previous tracking methods for cursor control and target selection in both desktop and interactive room environments. The second tracking technique is designed to improve the robustness of head pose tracking for fast movements. Our iterative hybrid tracker combines constraints from the ICP (Iterative Closest Point) algorithm and normal flow constraint. This new technique is more precise for small movements and noisy depth than ICP alone, and more robust for large movements than the normal flow constraint alone. We present experiments which test the accuracy of our approach on sequences of real and synthetic stereo images. The 3D model acquisition system we present quickly aligns intensity and depth images, and reconstructs a textured 3D mesh. 3D views are registered with shape alignment based on our iterative hybrid tracker. We reconstruct the 3D model using a new Cubic Ray Projection merging algorithm which takes advantage of a novel data structure: the linked voxel space. We present experiments to test the accuracy of our approach on 3D face modelling using real-time stereo images.