Improving the Semantics of Conceptual-Modeling Grammars:A New Perspective on an Old Problem

A core activity in information systems development involves understanding the
conceptual model of the domain that the information system supports. Any conceptual model is ultimately created using a conceptual-modeling (CM) grammar. Accordingly, just as high quality conceptual models facilitate high quality systems development, high quality CM grammars facilitate high quality conceptual modeling. This paper seeks to provide a new perspective on improving the quality of CM grammar semantics. For the past twenty years, the leading approach to this topic has drawn on ontological theory. However, the ontological approach captures just half of the story. It needs to be coupled with a logical approach. We show how ontological quality and logical quality interrelate and we outline three contributions of a logical approach: the ability to see familiar conceptualmodeling problems in simpler ways, the illumination of new problems, and the ability to prove the benefit of modifying CM grammars.

Multiphysics Simulation of Thermal Plasma Produced by Lightning Strike on Aircraft Structures

A novel numerical technique is proposed to model thermal plasma of microseconds/milliseconds time-scale effect. Modelling thermal plasma due to lightning strike will allow the estimation of electric current density, plasma pressure, and heat flux at the surface of the aircraft structure. These input data can then be used for better estimation of the mechanical/thermal induced damage on the aircraft structures for better protection systems design. Thermal plasma generated during laser cutting, electric (laser) welding and other plasma processing techniques have been the focus of many researchers. Thermal plasma is a gaseous state that consists from a mixture of electrons, ions, and natural particles. Thermal plasma can be assumed to be in local thermodynamic equilibrium, which means the electrons and the heavy species have equal temperature. Different numerical techniques have been developed using a coupled Navier Stokes – Heat transfer – Electromagnetic equations based on the assumption that the thermal plasma is a single laminar gas flow. These previous efforts focused on generating thermal plasma of time-scale in the range of seconds. Lighting strike on aircraft structures generates thermal plasma of time-scale of milliseconds/microseconds, which makes the previous physics used not applicable. The difficulty comes from the Navier-Stokes equations as the fluid is simulated under shock load, this introducing significant changes in the density and temperature of the fluid.

Synthesisable FFT cores

Methods are presented for developing synthesisable FFT cores. These are based on a modular approach in which parameterisable blocks are cascaded to implement the computations required across a range of typical FFT signal flow graphs. The underlying architectural approach combines the use of a digital serial data organisation with generic commutator blocks to produce systems that offer 100% processor utilisation with storage requirements less than previous designs. The approach has been used to create generators for the automated synthesis of FFT cores that are portable across a broad range of silicon technologies. Resulting chip designs are competitive with manual methods but with significant reductions in design times.

Automated versus non-automated weaning for reducing the duration of mechanical ventilation for critically ill adults and children: a cochrane systematic review and meta-analysis

IntroductionAutomated weaning systems may improve adaptation of mechanical support for a patient’s ventilatory needs and facilitate systematic and early recognition of their ability to breathe spontaneously and the potential for discontinuation of ventilation. Our objective was to compare mechanical ventilator weaning duration for critically ill adults and children when managed with automated systems versus non-automated strategies. Secondary objectives were to determine differences in duration of ventilation, intensive care unit (ICU) and hospital length of stay (LOS), mortality, and adverse events.MethodsElectronic databases were searched to 30 September 2013 without language restrictions. We also searched conference proceedings; trial registration websites; and article reference lists. Two authors independently extracted data and assessed risk of bias. We combined data using random-effects modelling.ResultsWe identified 21 eligible trials totalling 1,676 participants. Pooled data from 16 trials indicated that automated systems reduced the geometric mean weaning duration by 30% (95% confidence interval (CI) 13% to 45%), with substantial heterogeneity (I2 = 87%, P <0.00001). Reduced weaning duration was found with mixed or medical ICU populations (42%, 95% CI 10% to 63%) and Smartcare/PS™ (28%, 95% CI 7% to 49%) but not with surgical populations or using other systems. Automated systems reduced ventilation duration with no heterogeneity (10%, 95% CI 3% to 16%) and ICU LOS (8%, 95% CI 0% to 15%). There was no strong evidence of effect on mortality, hospital LOS, reintubation, self-extubation and non-invasive ventilation following extubation. Automated systems reduced prolonged mechanical ventilation and tracheostomy. Overall quality of evidence was high.ConclusionsAutomated systems may reduce weaning and ventilation duration and ICU stay. Due to substantial trial heterogeneity an adequately powered, high quality, multi-centre randomized controlled trial is needed.

Physicochemical Investigation of Adiponitrile-Based Electrolytes for Electrical Double Layer Capacitor

Effectiveness of a biomarker-based exclusion of ventilator-acquired pneumonia to reduce antibiotic use: protocol for a randomised controlled trial (VAPrapid-2):Study protocol for a randomised controlled trial

Background Ventilator-acquired pneumonia (VAP) is a common reason for antimicrobial therapy in the intensive care unit (ICU). Biomarker-based diagnostics could improve antimicrobial stewardship through rapid exclusion of VAP. Bronchoalveloar lavage (BAL) fluid biomarkers have previously been shown to allow the exclusion of VAP with high confidence. Methods/Design This is a prospective, multi-centre, randomised, controlled trial to determine whether a rapid biomarker-based exclusion of VAP results in fewer antibiotics and improved antimicrobial management. Patients with clinically suspected VAP undergo BAL, and VAP is confirmed by growth of a potential pathogen at > 104 colony-forming units per millilitre (CFU/ml). Patients are randomised 1:1, to either a ‘biomarker-guided recommendation on antibiotics’ in which BAL fluid is tested for IL-1β and IL-8 in addition to routine microbiology testing, or to ‘routine use of antibiotics’ in which BAL undergoes routine microbiology testing only. Clinical teams are blinded to intervention until 6 hours after randomisation, when biomarker results are reported to the clinician. The primary outcome is a change in the frequency distribution of antibiotic-free days (AFD) in the 7 days following BAL. Secondary outcome measures include antibiotic use at 14 and 28 days; ventilator-free days; 28-day mortality and ICU mortality; sequential organ failure assessment (SOFA) at days 3, 7 and 14; duration of stay in critical care and the hospital; antibiotic-associated infections; and antibiotic-resistant pathogen cultures up to hospital discharge, death or 56 days. A healthcare-resource-utilisation analysis will be calculated from the duration of critical care and hospital stay. In addition, safety data will be collected with respect to performing BAL. A sample size of 210 will be required to detect a clinically significant shift in the distribution of AFD towards more patients having fewer antibiotics and therefore more AFD. Discussion This trial will test whether a rapid biomarker-based exclusion of VAP results in rapid discontinuation of antibiotics and therefore improves antibiotic management in patients with suspected VAP.

Violation of Bell inequalities in larger Hilbert spaces: robustness and challenges

We explore the challenges posed by the violation of Bell-like inequalities by d-dimensional systems exposed to imperfect state-preparation and measurement settings. We address, in particular, the limit of high-dimensional systems, naturally arising when exploring the quantum-to-classical transition. We show that, although suitable Bell inequalities can be violated, in principle, for any dimension of given subsystems, it is in practice increasingly challenging to detect such violations, even if the system is prepared in a maximally entangled state. We characterize the effects of random perturbations on the state or on the measurement settings, also quantifying the efforts needed to certify the possible violations in case of complete ignorance on the system state at hand.

On the Ontological Quality and Logical Quality of Conceptual-Modeling Grammars: The Need for a Dual Perspective

A core activity in information systems development involves building a conceptual model of the domain that an information system is intended to support. Such models are created using a conceptual-modeling (CM) grammar. Just as high-quality conceptual models facilitate high-quality systems development, high-quality CM grammars facilitate high-quality conceptual modeling. This paper provides a new perspective on ways to improve the quality of the semantics of CM grammars. For many years, the leading approach to this topic has relied on ontological theory. We show, however, that the ontological approach captures only half the story. It needs to be coupled with a logical approach. We explain how the ontological quality and logical quality of CM grammars interrelate. Furthermore, we outline three contributions that a logical approach can make to evaluating the quality of CM grammars: a means of seeing some familiar conceptual-modeling problems in simpler ways; the illumination of new problems; and the ability to prove the benefit of modifying existing CM grammars in particular ways. We demonstrate these benefits in the context of the Entity-Relationship grammar. More generally, our paper opens up a new area of research with many opportunities for future research and practice.

Adaptive backstepping droop controller design for multi-terminal high-voltage direct current systems

Wind power is one of the most developed renewable energy resources worldwide. To integrate offshore wind farms to onshore grids, the high-voltage direct current (HVDC) transmission cables interfaced with voltage source converters (VSCs) are considered to be a better solution than conventional approaches. Proper DC voltage indicates successive power transfer. To connect more than one onshore grid, the DC voltage droop control is one of the most popular methods to share the control burden between different terminals. However, the challenges are that small droop gains will cause voltage deviations, while higher droop gain settings will cause large oscillations. This study aims to enhance the performance of the traditional droop controller by considering the DC cable dynamics. Based on the backstepping control concept, DC cables are modelled with a series of capacitors and inductors. The final droop control law is deduced step-by-step from the original remote side. At each step the control error from the previous step is considered. Simulation results show that both the voltage deviations and oscillations can be effectively reduced using the proposed method. Further, power sharing between different terminals can be effectively simplified such that it correlates linearly with the droop gains, thus enabling simple yet accurate system operation and control.

Real-valued fixed-complexity sphere decoder for high dimensional QAM-MIMO systems

The development of high performance, low computational complexity detection algorithms is a key challenge for real-time Multiple-Input Multiple-Output (MIMO) communication system design. The Fixed-Complexity Sphere Decoder (FSD) algorithm is one of the most promising approaches, enabling quasi-ML decoding accuracy and high performance implementation due to its deterministic, highly parallel structure. However, it suffers from exponential growth in computational complexity as the number of MIMO transmit antennas increases, critically limiting its scalability to larger MIMO system topologies. In this paper, we present a solution to this problem by applying a novel cutting protocol to the decoding tree of a real-valued FSD algorithm. The new Real-valued Fixed-Complexity Sphere Decoder (RFSD) algorithm derived achieves similar quasi-ML decoding performance as FSD, but with an average 70% reduction in computational complexity, as we demonstrate from both theoretical and implementation perspectives for Quadrature Amplitude Modulation (QAM)-MIMO systems.

Chip design for high-performance DSP

Advances in silicon technology have been a key development in the realisation of many telecommunication and signal processing systems. In many cases, the development of application-specific digital signal processing (DSP) chips is the most cost-effective solution and provides the highest performance. Advances made in computer-aided design (CAD) tools and design methodologies now allow designers to develop complex chips within months or even weeks. This paper gives an insight into the challenges and design methodologies of implementing advanced highperformance chips for DSP. In particular, the paper reviews some of the techniques used to develop circuit architectures from high-level descriptions and the tools which are then used to realise silicon layout.

Risk assessment of patient handling with ambulance stretcher systems (ramp/(winch), easi-loader, tail-lift) using biomechanical failure criteria

The research aims to carry out a detailed analysis of the loads applied by the ambulance workers when loading/unloading ambulance stretchers. The forces required of the ambulance workers for each system are measured using a load cell in a force handle arrangement. The process of loading and unloading is video recorded for all the systems to register the posture of the ambulance workers in different stages of the process. The postures and forces exerted by the ambulance workers are analyzed using biomechanical assessment software to examine if the work loads at any stage of the process are harmful. Kinetic analysis of each stretcher loading system is performed. Comparison of the kinetic analysis and measurements shows very close agreement for most of the cases. The force analysis results are evaluated against derived failure criteria. The evaluation is extended to a biomechanical failure analysis of the ambulance worker's lower back using 3DSSPP software developed at the Centre for Ergonomics at the University of Michigan. The critical tasks of each ambulance worker during the loading and unloading operations for each system are identified. Design recommendations are made to reduce the forces exerted based on loading requirements from the kinetic analysis. © 2006 IPEM.

Voltage over-scaling:A cross-layer design perspective for energy efficient systems

Today's multi-media electronic era is driven by the increasing demand for small multifunctional devices able to support diverse services. Unfortunately, the high levels of transistor integration and performance required by such devices lead to an unprecedented increase of on-chip power that significantly limits the battery lifetime and even poses reliability concerns. Several techniques have been developed to address the power increase, but voltage over-scaling (VOS) is considered to be one of the most effective ones due to the quadratic dependence of voltage on dynamic power consumption. However, VOS may not always be applicable since it increases the delay in all paths of a system and may limit high performance required by today's complex applications. In addition, application of VOS is further complicated since it increases the variations in transistor characteristics imposed by their tiny size which can lead to large delay and leakage variations, making it difficult to meet delay and power budgets. This paper presents a review of various cross-layer design options that can provide solutions for dynamic voltage over-scaling and can potentially assist in meeting the strict power budgets and yield/quality requirements of future systems. © 2011 IEEE.

Containing the Nanometer "Pandora-Box": Cross-Layer Design Techniques for Variation Aware Low Power Systems

The demand for richer multimedia services, multifunctional portable devices and high data rates can only been visioned due to the improvement in semiconductor technology. Unfortunately, sub-90 nm process nodes uncover the nanometer Pandora-box exposing the barriers of technology scaling-parameter variations, that threaten the correct operation of circuits, and increased energy consumption, that limits the operational lifetime of today's systems. The contradictory design requirements for low-power and system robustness, is one of the most challenging design problems of today. The design efforts are further complicated due to the heterogeneous types of designs ( logic, memory, mixed-signal) that are included in today's complex systems and are characterized by different design requirements. This paper presents an overview of techniques at various levels of design abstraction that lead to low power and variation aware logic, memory and mixed-signal circuits and can potentially assist in meeting the strict power budgets and yield/quality requirements of future systems.