From inconsistency handling to non-canonical requirements management: A logical perspective

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.

Semi-empirical methods for determining the efflux velocity from a ship's propeller

The present study proposed the semi-empirical methods for determining the efflux velocity from a ship's propeller. Ryan [1] defined the efflux velocity as the maximum velocity taken from a time-averaged velocity distribution along the initial propeller plane. The Laser Doppler Anemometry (LDA) and Computational Fluid Dynamics (CFD) were used to acquire the efflux velocity from the two propellers with different geometrical characteristics. The LDA and CFD results were compared in order to investigate the equation derived from the axial momentum theory. The study confirmed the validation of the axial momentum theory and its linear relationship between the efflux velocity and the multiplication of the rotational speed, propeller diameter and the square root of thrust coefficient. The linear relationship of these two terms is connected by an efflux coefficient and the value of this efflux coefficient reduced when the blade number increased.

An effective method for comparing the turbulence intensity from LDA measurements and CFD predictions within a ship propeller jet

The mean velocity and turbulence intensity are the two main inputs to investigate the ship propeller induced seabed scouring resulting from a vessel is manoeuvring within a port where the underkeel clearances are low. More accurate data including the turbulence intensity is now available by using the laser doppler anemometry (LDA) measurement system and computational fluid dynamics (CFD) approach. Turbulence intensity has a loose definition, which is the velocity fluctuation as the root mean square (RMS) referenced to a mean flow velocity. However, the velocity fluctuation and mean velocity can be the overall value includingx, y and z directions or the value of a single component. LDA and CFD results were obtained from two different acquisition systems (Dantec LDA system and Fluent CFD package) and therefore the outputs cannot be compared directly. An effective method is proposed for comparing the turbulence intensity between the experimental measurements and the computational predictions within a ship propeller jet. The flow patterns of turbulence intensity within a ship propeller jet are presented by using the LDA measurements and CFD results from turbulence models of standard k-e, RNG k-e, realizable k–e, standard k–?, SST k–?and Reynolds stresses.

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.

Safe moving and handling of patients: an inter-professional approach

A gap in the medical undergraduate curriculum on safe moving and handling of patients was identified, and a project to enhance moving and handling education for undergraduates in various healthcare disciplines was undertaken. A team of nurses, doctors, physiotherapists and e-learning professionals developed a cross-discipline e-learning resource, piloted with medical and nursing students at Queen’s University Belfast. One outcome of the project was the development of a deeper recognition of the common curriculum across healthcare disciplines.

Modelling Cohesive-Frictional Particulate Solids for Bulk Handling Applications

Many powders and particulate solids are cohesive in nature and the strength often exhibits dependence on the consolidation stress. As a result, the stress history in the material leading up to a handling scenario needs to be considered when evaluating its handleability. This paper outlines the development of a DEM contact model accounting for plasticity and adhesion force, which is shown to be suitable for modelling the stress history dependent cohesive strength. The model was used to simulate the confined consolidation and the subsequent unconfined loading of iron ore fines with particle sizes up to 1.18mm. The predicted flow function was found to be comparable to the experimental results. 

A steady ship: A quiet year for the United Kingdom Supreme Court

This piece reviews the decisions issued by the UK's Supreme Court during 2014, comparing the output with the previous year's and highlighting some particularly important cases.