12,671 research outputs found
Identifying component modules
A computer-based system for modelling component dependencies and identifying component modules is presented. A variation of the Dependency Structure Matrix (DSM) representation was used to model component dependencies. The system utilises a two-stage approach towards facilitating the identification of a hierarchical modular structure. The first stage calculates a value for a clustering criterion that may be used to group component dependencies together. A Genetic Algorithm is described to optimise the order of the components within the DSM with the focus of minimising the value of the clustering criterion to identify the most significant component groupings (modules) within the product structure. The second stage utilises a 'Module Strength Indicator' (MSI) function to determine a value representative of the degree of modularity of the component groupings. The application of this function to the DSM produces a 'Module Structure Matrix' (MSM) depicting the relative modularity of available component groupings within it. The approach enabled the identification of hierarchical modularity in the product structure without the requirement for any additional domain specific knowledge within the system. The system supports design by providing mechanisms to explicitly represent and utilise component and dependency knowledge to facilitate the nontrivial task of determining near-optimal component modules and representing product modularity
VIRTUE : integrating CFD ship design
Novel ship concepts, increasing size and speed, and strong competition in the global maritime market require that a ship's hydrodynamic performance be studied at the highest level of sophistication. All hydrodynamic aspects need to be considered so as to optimize trade-offs between resistance, propulsion (and cavitation), seakeeping or manoeuvring. VIRTUE takes a holistic approach to hydrodynamic design and focuses on integrating advanced CFD tools in a software platform that can control and launch multi-objective hydrodynamic design projects. In this paper current practice, future requirements and a potential software integration platform are presented. The necessity of parametric modelling as a means of effectively generating and efficiently varying geometry, and the added-value of advanced visualization, is discussed. An illustrating example is given as a test case, a container carrier investigation, and the requirements and a proposed architecture for the platform are outlined
Recommended from our members
A Framework for Multiaccess Support for Unreliable Internet Traffic using Multipath DCCP
Mobile nodes are typically equipped with multiple radios and can connect to multiple radio access networks (e.g. WiFi, LTE and 5G). Consequently, it is important to design mechanisms that efficiently manage multiple network interfaces for aggregating the capacity, steering of traffic flows or switching flows among multiple interfaces. While such multi-access solutions have the potential to increase the overall traffic throughput and communication reliability, the variable latencies on different access links introduce packet delay variation which has negative effect on the application quality of service and user quality of experience. In this paper, we present a new IP-compatible multipath framework for heterogeneous access networks. The framework uses Multipath Datagram Congestion Control Protocol (MP-DCCP) - a set of extensions to regular DCCP - to enable a transport connection to operate across multiple access networks, simultaneously. We present the design of the new protocol framework and show simulation and experimental testbed results that (1) demonstrate the operation of the new framework, and (2) demonstrate the ability of our solution to manage significant packet delay variation caused by the asymmetry of network paths, by applying pluggable packet scheduling or reordering algorithms
Quantitative Verification: Formal Guarantees for Timeliness, Reliability and Performance
Computerised systems appear in almost all aspects of our daily lives, often in safety-critical scenarios such as embedded control systems in cars and aircraft
or medical devices such as pacemakers and sensors. We are thus increasingly reliant on these systems working correctly, despite often operating in unpredictable or unreliable environments. Designers of such devices need ways to guarantee that they will operate in a reliable and efficient manner.
Quantitative verification is a technique for analysing quantitative aspects of a system's design, such as timeliness, reliability or performance. It applies formal methods, based on a rigorous analysis of a mathematical model of the system, to automatically prove certain precisely specified properties, e.g. ``the airbag will always deploy within 20 milliseconds after a crash'' or ``the probability of both sensors failing simultaneously is less than 0.001''.
The ability to formally guarantee quantitative properties of this kind is beneficial across a wide range of application domains. For example, in safety-critical systems, it may be essential to establish credible bounds on the probability with which certain failures or combinations of failures can occur. In embedded control systems, it is often important to comply with strict constraints on timing or resources. More generally, being able to derive guarantees on precisely specified levels of performance or efficiency is a valuable tool in the design of, for example, wireless networking protocols, robotic systems or power management algorithms, to name but a few.
This report gives a short introduction to quantitative verification, focusing in particular on a widely used technique called model checking, and its generalisation to the analysis of quantitative aspects of a system such as timing, probabilistic behaviour or resource usage.
The intended audience is industrial designers and developers of systems such as those highlighted above who could benefit from the application of quantitative verification,but lack expertise in formal verification or modelling
On green routing and scheduling problem
The vehicle routing and scheduling problem has been studied with much
interest within the last four decades. In this paper, some of the existing
literature dealing with routing and scheduling problems with environmental
issues is reviewed, and a description is provided of the problems that have
been investigated and how they are treated using combinatorial optimization
tools
Simulation of Mixed Critical In-vehicular Networks
Future automotive applications ranging from advanced driver assistance to
autonomous driving will largely increase demands on in-vehicular networks. Data
flows of high bandwidth or low latency requirements, but in particular many
additional communication relations will introduce a new level of complexity to
the in-car communication system. It is expected that future communication
backbones which interconnect sensors and actuators with ECU in cars will be
built on Ethernet technologies. However, signalling from different application
domains demands for network services of tailored attributes, including
real-time transmission protocols as defined in the TSN Ethernet extensions.
These QoS constraints will increase network complexity even further.
Event-based simulation is a key technology to master the challenges of an
in-car network design. This chapter introduces the domain-specific aspects and
simulation models for in-vehicular networks and presents an overview of the
car-centric network design process. Starting from a domain specific description
language, we cover the corresponding simulation models with their workflows and
apply our approach to a related case study for an in-car network of a premium
car
CHANGE-READY MPC SYSTEMS AND PROGRESSIVE MODELING: VISION, PRINCIPLES, AND APPLICATIONS
The last couple of decades have witnessed a level of fast-paced development of new ideas, products, manufacturing technologies, manufacturing practices, customer expectations, knowledge transition, and civilization movements, as it has never before. In today\u27s manufacturing world, change became an intrinsic characteristic that is addressed everywhere. How to deal with change, how to manage it, how to bind to it, how to steer it, and how to create a value out of it, were the key drivers that brought this research to existence. Change-Ready Manufacturing Planning and Control (CMPC) systems are presented as the first answer. CMPC characteristics, change drivers, and some principles of Component-Based Software Engineering (CBSE) are interwoven to present a blueprint of a new framework and mind-set in the manufacturing planning and control field, CMPC systems. In order to step further and make the internals of CMPC systems/components change-ready, an enabling modeling approach was needed. Progressive Modeling (PM), a forward-looking multi-disciplinary modeling approach, is developed in order to modernize the modeling process of today\u27s complex industrial problems and create pragmatic solutions for them. It is designed to be pragmatic, highly sophisticated, and revolves around many seminal principles that either innovated or imported from many disciplines: Systems Analysis and Design, Software Engineering, Advanced Optimization Algorisms, Business Concepts, Manufacturing Strategies, Operations Management, and others. Problems are systemized, analyzed, componentized; their logic and their solution approaches are redefined to make them progressive (ready to change, adapt, and develop further). Many innovations have been developed in order to enrich the modeling process and make it a well-assorted toolkit able to address today\u27s tougher, larger, and more complex industrial problems. PM brings so many novel gadgets in its toolbox: function templates, advanced notation, cascaded mathematical models, mathematical statements, society of decision structures, couplers--just to name a few. In this research, PM has been applied to three different applications: a couple of variants of Aggregate Production Planning (APP) Problem and the novel Reconfiguration and Operations Planning (ROP) problem. The latest is pioneering in both the Reconfigurable Manufacturing and the Operations Management fields. All the developed models, algorithms, and results reveal that the new analytical and computational power gained by PM development and demonstrate its ability to create a new generation of unmatched large scale and scope system problems and their integrated solutions. PM has the potential to be instrumental toolkit in the development of Reconfigurable Manufacturing Systems. In terms of other potential applications domain, PM is about to spark a new paradigm in addressing large-scale system problems of many engineering and scientific fields in a highly pragmatic way without losing the scientific rigor
Recommended from our members
Decision support for build-to-order supply chain management through multiobjective optimization
This paper aims to identify the gaps in decision-making support based on
multiobjective optimization for build-to-order supply chain management (BTOSCM).
To this end, it reviews the literature available on modelling build-to-order
supply chains (BTO-SC) with the focus on adopting multiobjective optimization
(MOO) techniques as a decision support tool. The literature has been classified based
on the nature of the decisions in different part of the supply chain, and the key
decision areas across a typical BTO-SC are discussed in detail. Available software
packages suitable for supporting decision making in BTO supply chains are also
identified and their related solutions are outlined. The gap between the modelling and
optimization techniques developed in the literature and the decision support needed in
practice are highlighted and future research directions to better exploit the decision
support capabilities of MOO are proposed
- âŚ