290,144 research outputs found

    Application of Pattern Recognition Techniques to the Classification of Full-Term and Preterm Infant Cry

    Get PDF
    Objectives: Scientific and clinical advances in perinatology and neonatology have enhanced the chances of survival of preterm and very low weight neonates. Infant cry analysis is a suitable noninvasive complementary tool to assess the neurologic state of infants particularly important in the case of preterm neonates. This article aims at exploiting differences between full-term and preterm infant cry with robust automatic acoustical analysis and data mining techniques. Study design: Twenty-two acoustical parameters are estimated in more than 3000 cry units from cry recordings of 28 full-term and 10 preterm newborns. Methods: Feature extraction is performed through the BioVoice dedicated software tool, developed at the Biomedical Engineering Lab, University of Firenze, Italy. Classification and pattern recognition is based on genetic algorithms for the selection of the best attributes. Training is performed comparing four classifiers: Logistic Curve, Multilayer Perceptron, Support Vector Machine, and Random Forest and three different testing options: full training set, 10-fold cross-validation, and 66% split. Results: Results show that the best feature set is made up by 10 parameters capable to assess differences between preterm and full-term newborns with about 87% of accuracy. Best results are obtained with the Random Forest method (receiver operating characteristic area, 0.94). Conclusions: These 10 cry features might convey important additional information to assist the clinical specialist in the diagnosis and follow-up of possible delays or disorders in the neurologic development due to premature birth in this extremely vulnerable population of patients. The proposed approach is a first step toward an automatic infant cry recognition system for fast and proper identification of risk in preterm babies

    Implementing intelligent asset management systems (IAMS) within an industry 4.0 manufacturing environment

    Get PDF
    9th IFAC Conference on Manufacturing Modelling, Management and Control, MIM 2019; Berlin; Germany; 28 August 2019 through 30 August 2019. Publicado en IFAC-PapersOnLine 52(13), p. 2488-2493This paper aims to define the different considerations and results obtained in the implementation in an Intelligent Maintenance System of a laboratory designed based on basic concepts of Industry 4.0. The Intelligent Maintenance System uses asset monitoring techniques that allow, on-line digital modelling and automatic decision making. The three fundamental premises used for the development of the management system are the structuring of information, value identification and risk management

    Formalising responsibility modelling for automatic analysis

    Get PDF
    Modelling the structure of social-technical systems as a basis for informing software system design is a difficult compromise. Formal methods struggle to capture the scale and complexity of the heterogeneous organisations that use technical systems. Conversely, informal approaches lack the rigour needed to inform the software design and construction process or enable automated analysis. We revisit the concept of responsibility modelling, which models social technical systems as a collection of actors who discharge their responsibilities, whilst using and producing resources in the process. Responsibility modelling is formalised as a structured approach for socio-technical system requirements specification and modelling, with well-defined semantics and support for automated structure and validity analysis. The effectiveness of the approach is demonstrated by two case studies of software engineering methodologies

    iDREAM: a multidisciplinary methodology and integrated toolset for flight vehicle engineering

    Get PDF
    Rapid prototyping of flight vehicle engineering needs the use of two key elements: the data from the different building blocks and the required engineering tools to design vital subsystems of the flight vehicle. Politecnico di Torino in the framework of the I-DREAM, a GSTP contract carried out under the supervision of the European Space Agency (ESA), has developed a unique multidisciplinary methodology and integrated toolset able to support the rapid prototyping of a wide range of aerospace vehicles. iDREAM allows complementing the conceptual design activities with the economic viability and technological sustainability assessments. In detail, the iDREAM methodology consists of four main modules that can be used in a stand-alone mode and in an integrated activity flow, exploiting the implemented automatic connections. The first module consists of a well-structured MySQL database developed to support all the other modules, thanks to a unified connection guaranteed by an ad-hoc developed Database Management Library managing the operations of data input and output from/to the database throughout the tool modules. The second module consists of a vehicle design routine and a mission design routine, supporting the design of a new vehicle and mission concept and assessing the main performance of an already existing configuration. The vehicle design routine is called ASTRID-H, and it is the latest version of an in-house conceptual design tool integrating capabilities ranging from high-speed aircraft to lunar-landers design. The vehicle design routine automatically interfaces with ASTOS, a commercial software environment used for mission analysis optimization. Automatic interactions between the two routines inside the module have been ad-hoc developed and tested to guarantee good accuracy of the results. The third module consists of the economic viability module. Once the design is defined, it is possible to run a subsystem-level cost estimation. Using the subsystems’ masses estimated in the design routine, the parametric cost model provides useful insights on the potential development, manufacturing, and operating costs, as well as the cost and price per flight. Eventually, the developed methodology gives the possibility to generate a technology roadmap (fourth module). Supported by a database connection, the tool estimates each technology readiness and risk assessment, along with an indication of the necessary activities, missions, and future works. This paper describes the methodology and the integrated toolset in flight vehicle engineering of Microlaunchers. Eventually, the Electron mission would be used as a benchmark and validation study to showcase the tool’s results and accuracy for preliminary design studies

    Automatic allocation of safety requirements to components of a software product line

    Get PDF
    Safety critical systems developed as part of a product line must still comply with safety standards. Standards use the concept of Safety Integrity Levels (SILs) to drive the assignment of system safety requirements to components of a system under design. However, for a Software Product Line (SPL), the safety requirements that need to be allocated to a component may vary in different products. Variation in design can indeed change the possible hazards incurred in each product, their causes, and can alter the safety requirements placed on individual components in different SPL products. Establishing common SILs for components of a large scale SPL by considering all possible usage scenarios, is desirable for economies of scale, but it also poses challenges to the safety engineering process. In this paper, we propose a method for automatic allocation of SILs to components of a product line. The approach is applied to a Hybrid Braking System SPL design

    Practical Application Of Uml Activity Diagrams For The Generation Of Test Cases

    Get PDF
    Software testing and debugging represents around one third of total effort in development projects. Different factors which have influence on poor practices of testing have been identified through specific surveys. Amongst several, one of the most important is the lack of efficient methods to exploit development models for generating test cases. This paper presents a new method for automatically generating a complete set of functional test cases from UML activity diagrams complementing specification of use cases. Test cases are prioritized according to software risk information. Results from experiences with more than 70 software professionals/experts validate benefits of the method. Participants also confirm its interest and effectiveness for testing needs of industry

    A synthesis of logic and bio-inspired techniques in the design of dependable systems

    Get PDF
    Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that effectively combines these two techniques, schematically founded on the two pillars of formal logic and biology, from the early stages of, and throughout, the design lifecycle. Such a design paradigm would apply these techniques synergistically and systematically to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems, presented in the scope of the HiP-HOPS tool and technique, that brings these technologies together to realise their combined potential benefits. The paper begins by identifying current challenges in model-based safety assessment and then overviews the use of meta-heuristics at various stages of the design lifecycle covering topics that span from allocation of dependability requirements, through dependability analysis, to multi-objective optimisation of system architectures and maintenance schedules

    A synthesis of logic and biology in the design of dependable systems

    Get PDF
    The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years. Much of this development can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that combines effectively and throughout the design lifecycle these two techniques which are schematically founded on the two pillars of formal logic and biology. Such a design paradigm would apply these techniques synergistically and systematically from the early stages of design to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems that brings these technologies together to realise their combined potential benefits
    corecore