7,205 research outputs found

    Energy-Based Optimal Ranking of the Interior Modes for Reduced-Order Models under Periodic Excitation

    Get PDF
    This paper introduces a novel method for ranking and selecting the interior modes to be retained in the Craig-Bampton model reduction, in the case of linear vibrating systems under periodic excitation. The aim of the method is to provide an effective ranking of such modes and hence an optimal sequence according to which the interior modes should be progressively included to achieve a desired accuracy of the reduced-order model at the frequencies of interest, while keeping model dimensions to a minimum. An energy-based ranking (EBR) method is proposed, which exploits analytical coefficients to evaluate the contribution of each interior mode to the forced response of the full-order system. The application of the method to two representative systems is discussed: an ultrasonic horn and a vibratory feeder. The results show that the EBR method provides a very effective ranking of the most important interior modes and that it outperforms other state-of-the-art benchmark techniques

    MetTeL: A Generic Tableau Prover.

    Get PDF

    Categorical Ontology of Complex Systems, Meta-Systems and Theory of Levels: The Emergence of Life, Human Consciousness and Society

    Get PDF
    Single cell interactomics in simpler organisms, as well as somatic cell interactomics in multicellular organisms, involve biomolecular interactions in complex signalling pathways that were recently represented in modular terms by quantum automata with ‘reversible behavior’ representing normal cell cycling and division. Other implications of such quantum automata, modular modeling of signaling pathways and cell differentiation during development are in the fields of neural plasticity and brain development leading to quantum-weave dynamic patterns and specific molecular processes underlying extensive memory, learning, anticipation mechanisms and the emergence of human consciousness during the early brain development in children. Cell interactomics is here represented for the first time as a mixture of ‘classical’ states that determine molecular dynamics subject to Boltzmann statistics and ‘steady-state’, metabolic (multi-stable) manifolds, together with ‘configuration’ spaces of metastable quantum states emerging from complex quantum dynamics of interacting networks of biomolecules, such as proteins and nucleic acids that are now collectively defined as quantum interactomics. On the other hand, the time dependent evolution over several generations of cancer cells --that are generally known to undergo frequent and extensive genetic mutations and, indeed, suffer genomic transformations at the chromosome level (such as extensive chromosomal aberrations found in many colon cancers)-- cannot be correctly represented in the ‘standard’ terms of quantum automaton modules, as the normal somatic cells can. This significant difference at the cancer cell genomic level is therefore reflected in major changes in cancer cell interactomics often from one cancer cell ‘cycle’ to the next, and thus it requires substantial changes in the modeling strategies, mathematical tools and experimental designs aimed at understanding cancer mechanisms. Novel solutions to this important problem in carcinogenesis are proposed and experimental validation procedures are suggested. From a medical research and clinical standpoint, this approach has important consequences for addressing and preventing the development of cancer resistance to medical therapy in ongoing clinical trials involving stage III cancer patients, as well as improving the designs of future clinical trials for cancer treatments.\ud \ud \ud KEYWORDS: Emergence of Life and Human Consciousness;\ud Proteomics; Artificial Intelligence; Complex Systems Dynamics; Quantum Automata models and Quantum Interactomics; quantum-weave dynamic patterns underlying human consciousness; specific molecular processes underlying extensive memory, learning, anticipation mechanisms and human consciousness; emergence of human consciousness during the early brain development in children; Cancer cell ‘cycling’; interacting networks of proteins and nucleic acids; genetic mutations and chromosomal aberrations in cancers, such as colon cancer; development of cancer resistance to therapy; ongoing clinical trials involving stage III cancer patients’ possible improvements of the designs for future clinical trials and cancer treatments. \ud \u

    Process Comprehension for Interoperable CNC Manufacturing

    Get PDF
    Over the last 40 years manufacturing industry has enjoyed a rapid growth with the support of various computer-aided systems (CAD, CAPP, CAM etc.) known as CAx. Since the first Numerically Controlled (NC) machine appeared in 1952, there have been many advances in CAx resource capabilities. The information integration and interoperability between different manufacturing resources has become an important and popular research area over the last decade. Computer Numerically Controlled (CNC) machines are an important link in the manufacturing chain and the major contributor to the production capacity of manufacturing industry today. However, most of the research has focused on the information integration of upper systems in the CAD/CAPP /CAM/CNC manufacturing chain, leaving the shop floor as an isolated information island. In particular, there is limited opportunity to capture and feed shopfloor knowledge back to the upper systems. Furthermore, the part programs for the machines are not exchangeable due to the. machine specific postprocessors. Thus there is a further need to consider information interoperability between different CNC machine and other systems. This research investigates the reverse transformation of the CNC part programmes into higher level of process information, entitled process comprehension, to enable the shopfloor interoperability. A novel framework of universal process comprehension is specified and designed. The framework provides a reverse direction of information flow from the CNC machine to upper CAx systems, enabling the interoperability and recycling of the shopfloor knowledge. A prototype implementation of the framework is realised and utilised to demonstrate the functionalities through three industrially inspired test components. The major contribution of this research to knowledge is the new vision of the shopfloor interoperability associated with process knowledge capture and reuse. The research shows that process comprehension of part programmes can provide an effective solution to the issues of the shopfloor interoperability and knowledge reuse in manufacturing industries.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

    Feature Nets: behavioural modelling of software product lines

    Get PDF
    Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines

    Technology for large space systems: A special bibliography with indexes (supplement 03)

    Get PDF
    A bibliography containing 217 abstracts addressing the technology for large space systems is presented. State of the art and advanced concepts concerning interactive analysis and design, structural concepts, control systems, electronics, advanced materials, assembly concepts, propulsion, solar power satellite systems, and flight experiments are represented

    On the Logic of TLA+

    Get PDF
    TLA+ is a language intended for the high-level specification of reactive, distributed, and in particular asynchronous systems. Combining the linear-time temporal logic TLA and classical set-theory, it provides an expressive specification formalism and supports assertional verification
    • …
    corecore