41,955 research outputs found

    IT Service Alignment Verification of Quantitative Properties in Service Design

    Get PDF
    Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Systemic Enterprise Architecture Method (SEAM). This allows us to specify the service alignment constraints with what we call a feasibility constraint. We translate the SEAM model into Scala code, where the feasibility constraint is mapped to a constraint of a Scala function. We then check the Scala function’s verification condition with the Leon verification tool. An alignment is achieved if no counterexample is found. If a counterexample exists, it allows to detect which service component is at the source of the misalignment

    A review of issues and strategies in nondestructive evaluation of fiber reinforced structural composites

    Get PDF
    Techniques for quantitative assessment of the mechanical strength and integrity of fiber composites during manufacture and service and following repair operations are presented. Problems and approaches are discussed relative to acceptance criteria, calibrating standards, and methods for nondestructive evaluation of composites in strength-critical applications. Acousto-ultrasonic techniques provide the methods of choice in this area

    A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows

    Get PDF
    This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes. Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques. The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base. The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete. After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system. A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling

    A Review of Prosthetic Interface Stress Investigations

    Get PDF
    Over the last decade, numerous experimental and numerical analyses have been conducted to investigate the stress distribution between the residual limb and prosthetic socket of persons with lower limb amputation. The objectives of these analyses have been to improve our understanding of the residual limb/prosthetic socket system, to evaluate the influence of prosthetic design parameters and alignment variations on the interface stress distribution, and to evaluate prosthetic fit. The purpose of this paper is to summarize these experimental investigations and identify associated limitations. In addition, this paper presents an overview of various computer models used to investigate the residual limb interface, and discusses the differences and potential ramifications of the various modeling formulations. Finally, the potential and future applications of these experimental and numerical analyses in prosthetic design are presented

    Flight service evaluation of an advanced composite empennage component on commercial transport aircraft. Phase 1: Engineering development

    Get PDF
    The empennage component selected for this program is the vertical fin box of the L-1011 aircraft. The box structure extends from the fuselage production joint to the tip rib and includes the front and rear spars. Various design options were evaluated to arrive at a configuration which would offer the highest potential for satisfying program objectives. The preferred configuration selected consists of a hat-stiffened cover with molded integrally stiffened spars, aluminum trussed composite ribs, and composite miniwich web ribs with integrally molded caps. Material screening tests were performed to select an advanced composite material system for the Advanced Composite Vertical Fin (ACFV) that would meet the program requirements from the standpoint of quality, reproducibility, and cost. Preliminary weight and cost analysis were made, targets established, and tracking plans developed. These include FAA certification, ancillary test program, quality control, and structural integrity control plans

    Fabrication of slender struts for deployable antennas

    Get PDF
    A procedure for manufacturing long slender graphite tubing is desired. Such tubing has considerable application in truss supported spacecraft applications. The motivation for the selection of the tubing size developed in this program is for use as struts in a NASA, Langley Research Center truss supported antenna concept. The manufacturing procedure uses the LMSC vertical winding machine. A procedure for fabricating graphite epoxy tubing with an aluminum foil inner and outer wrap was also developed. The aluminum foil provides a vapor barrier, significantly improves the thermal conductivity, and provides an excellent thermal control surface

    Astrometry.net: Blind astrometric calibration of arbitrary astronomical images

    Full text link
    We have built a reliable and robust system that takes as input an astronomical image, and returns as output the pointing, scale, and orientation of that image (the astrometric calibration or WCS information). The system requires no first guess, and works with the information in the image pixels alone; that is, the problem is a generalization of the "lost in space" problem in which nothing--not even the image scale--is known. After robust source detection is performed in the input image, asterisms (sets of four or five stars) are geometrically hashed and compared to pre-indexed hashes to generate hypotheses about the astrometric calibration. A hypothesis is only accepted as true if it passes a Bayesian decision theory test against a background hypothesis. With indices built from the USNO-B Catalog and designed for uniformity of coverage and redundancy, the success rate is 99.9% for contemporary near-ultraviolet and visual imaging survey data, with no false positives. The failure rate is consistent with the incompleteness of the USNO-B Catalog; augmentation with indices built from the 2MASS Catalog brings the completeness to 100% with no false positives. We are using this system to generate consistent and standards-compliant meta-data for digital and digitized imaging from plate repositories, automated observatories, individual scientific investigators, and hobbyists. This is the first step in a program of making it possible to trust calibration meta-data for astronomical data of arbitrary provenance.Comment: submitted to A

    Elastic-plastic defect interaction in (a)symmetrical double edge notched tension specimens

    Get PDF
    Interaction of defects tends to intensify their crack driving force response compared to the situation where these defects act independently. The interaction between multiple defects is addressed in engineering critical assessment standards like BS7910 and ASME B&PV Section XI. Nonetheless, the accuracy of these rules is open to debate since all of them are based on re-characterization procedures which in essence introduce conservativeness. The authors have developed a fully parametric finite element (FE) model able to generate multiple notches in different topologies, in order to investigate their interaction effect. An experimental validation study is conducted to verify the FE model in terms of CTOD response and surface strain distribution. To that end, symmetrically and asymmetrically double edge notched tension specimens are tensile tested and their deformation monitored by means of 3D digital image correlation. In this study the CTOD is opted as a local criterion to evaluate the interaction between notches. These results are compared with an evaluation of strain patterns on a specimen’s surface, as a global interaction evaluation. Through this comparison a deeper understanding is gained to allow us to develop a novel approach to address flaw interaction. Moreover, the validation of the FE model allows future studies of interaction between other defect types (e.g., semi-elliptical, surface breaking) in plate-like geometries
    • …
    corecore