检索结果-内蒙古大学图书馆

9th World Conference on Information systems and Technologies (WorldCIST)

作者： Yang, Pengfei Lu, Jinzhi Feng, Lei Wu, Shouxuan Wang, Guoxin Kiritsis, Dimitris Beijing Zhongke Fengchao Ltd Beijing Peoples R China Swiss Fed Inst Technol Lausanne Lausanne Switzerland KTH Royal Inst Technol Stockholm Sweden Beijing Inst Technol Sch Mech Engn Beijing Peoples R China

ISBN: (纸本)9783030726508;9783030726515

model-based systems engineering (MBSE) is a noval approach to support complex system development by formalizing system artifacts and development using models. Though MBSE models provide a completely structural formalisms about system development for system developers, such large of domain specific knowledge represented by models cannot be captured as what the developers expect. This leads to a big challenge when MBSE can be widely used for complex system development. In this paper, a knowledge management approach is proposed to support an intelligent question answering scenario when implementing MBSE in system lifecycle. We make use of the GOPPRR approach to support MBSE formalisms which are transformed to knowledge graph models. Then such models provide cues for intelligent question answers through reasoning. In the case study, we make use of an auto-braking system scenario to develop MBSE models and to implement the intelligent question answering. Finally, we find the availability of our approach is evaluated which the domain engineers enable to capture their domain knowledge more efficiently.

关键词： Knowledge management model-based system engineering Knowledge graph modeling Knowledge reasoning

来源：评论

学校读者我要写书评

暂无评论

Classification of Simulation models for the model-based Design of Plastic-Metal Hybrid Joints

引用

Procedia CIRP 2022年 109卷 37-42页

作者： Kathrin Spütz Julius Berges Georg Jacobs Joerg Berroth Christian Konrad Institute for Machine Elements and Systems Engineering of the RWTH Aachen Schinkelstr. 10 52062 Aachen Germany

Laser-based hybrid joints (LBHJ) are promising due to low processing time and costs compared to conventional joining technologies. During the design of LBHJs, considering interactions between different domains (engineering, production, controlling) is required. This yields potential for a cross-domain design and optimization. However, considering the interactions is challenging and leads to iterations and inefficiency in product development. To map the interactions and exploit the potential of LBHJs, model-based systems engineering (MBSE) is a promising approach. With MBSE, domain models are integrated into a central system model and the model parameters are interconnected. To support a model-based design of LBHJs in the different phases of product development, usually several models are required. Therefore, multiple models in different fidelities for the same purpose exist (e.g. finite element and analytical models for joint strength estimation). Currently, this results in complex system models that are difficult to understand, reuse, extend, and maintain. The application of MBSE for the design of LBHJ is therefore inhibited. To overcome this deficit, the integration and linkage of domain models in the system model must be formally structured. Therefore, this paper presents a SysML metamodel, which classifies the domain models, defines their standardized structure and specifies their integration and linkage within the system model. The formal structuring is based on the classification criteria purpose. For each purpose, a superordinate model is built and connected to the domain models. To avoid complex system models that are vulnerable to changes, only superordinate domain models are linked with each other. Domain models can thus be easily replaced, without affecting the consistency of the system model. The results show that system models, built with this approach, can be easily created and used for the model-based design of LBHJs. Furthermore, interactions between

关键词： model-based system engineering Laser-based hybrid joints model chains model integration model execution

来源：评论

学校读者我要写书评

暂无评论

Ontology-based system to support industrial system design for aircraft assembly

引用

IFAC-PapersOnLine 2022年第2期55卷 175-180页

作者： Xiaodu Hu Rebeca Arista Xiaochen Zheng Joachim Lentes Jyri Sorvari Jinzhi Lu Fernando Ubis Dimitris Kiritsis Fraunhofer IAO/University Stuttgart IAT Nobelstrasse 12 70569 Stuttgart Germany Airbus SAS 2 Rond-Point Emile Dewoitine 31700 Blagnac France École Polytechnique Fédérale de Lausanne (EPFL) Lausanne 1015 Switzerland Visual Components Oy Vänrikinkuja 2 FIN-02600 Espoo Finland

The development of an aircraft industrial system is a complex process which faces the challenge of digital discontinuity in multidisciplinary engineering due to various interfaces between different digital tools, leading to extra development time and costs. This paper proposes an ontology-based system, aiming at functionality integration and design process automation, by models for Manufacturing methodology principles. A tool-agnostic modelling, simulation and validation platform with Discrete Event Simulation and 3D simulation is enabled and demonstrated in a real case study. An ontology layer collecting the domain knowledge enables integration of the proposed system, accelerating the design process and enhancing design quality.

关键词： Ontology Ontology-based system aircraft assembly model-based system engineering requirement management models for Manufacturing

来源：评论

学校读者我要写书评

暂无评论

Integrating Materials model-based Definitions into Design, Manufacturing, and Sustainment: A Digital Twin Demonstration of Incorporating Residual Stresses in the Lifecycle Analysis of a Turbine Disk

引用

JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN engineering 2021年第2期21卷 021006页

作者： Gopalakrishnan, Saikiran Hartman, Nathan W. Sangid, Michael D. Purdue Univ Sch Aeronaut & Astronaut 701 West Stadium Ave W Lafayette IN 47907 USA Purdue Univ Dept Comp Graph Technol 401 North Grant St W Lafayette IN 47907 USA

model-based definitions (MBDs) aim to capture both geometric and non-geometric data in digital product definitions using 3D computer-aided design (CAD) models, as a form of product definition baseline, to disseminate product information across different stages of the lifecycle. MBDs can potentially eliminate error-prone information exchange associated with traditional paper-based drawings and improve the fidelity of component details, captured using 3D CAD models. A component's behavior during its lifecycle stages influences its downstream performance, and if included within the MBD of a part, could be used to forecast performance upfront during the design and explore newer designs to enhance performance. However, current CAD capabilities limit associating behavioral information with the component's shape definition. This paper presents a CAD-based tool to store and retrieve metadata using point objects within a CAD model, creating linkages to spatial locations within the component. The tool is illustrated for storage and retrieval of bulk residual stresses developed during the manufacturing of a turbine disk acquired from process modeling and characterization. Further, variations in residual stress distribution owing to process model uncertainties have been captured as separate instances of the disk's CAD models to represent part-to-part variability as an analogy to track individual serialized components for digital twins. The propagation of varying residual stresses from these CAD models within the damage tolerance analysis performed at critical locations in the disk has been demonstrated. The combination of geometric and non-geometric data inside the MBD, via storage of spatial and feature varying information, presents opportunities to create digital twin(s) of actual component(s).

关键词： computer-aided design computer-aided engineering information management knowledge engineering model-based system engineering process-modeling for engineering applications virtual prototyping

来源：评论

学校读者我要写书评

暂无评论

model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems

引用

RELIABILITY engineering & system SAFETY 2021年 205卷 107237-107237页

作者： Pakonen, Antti Buzhinsky, I Bjorkman, K. VTT Tech Res Ctr Finland Ltd POB 1000 FI-02044 Espoo Finland Aalto Univ Dept Elect Engn & Automat POB 11000 FI-00076 Aalto Finland ITMO Univ Comp Technol Lab St Petersburg 197101 Russia

A spurious actuation of an industrial instrumentation and control (I&C) system is a failure mode where the system or its component inadvertently produces an operation without a justified reason to do so. Design issues leading to spurious failures are difficult to analyse, but pose a high risk for safety. model checking is a formal verification method that can be used for exhaustive analysis of I&C systems. In this paper, we explain how formal properties that address spurious failures can be specified, and how model checking can then be used to verify I&C application logic designs based on vendor-specific function block diagrams. based on over ten years of successful practical projects in the Finnish nuclear industry, we present 21 real-world design issues (representing 37% of all detected issues), each involving a systemic failure that could lead to spurious actuation of nuclear safety I&C. We then describe how random failures of the underlying hardware architecture-another cause for spurious actuation-can also be included in the models. With an experimental evaluation based on real-world nuclear industry models, we demonstrate that our method can be effectively used for the verification of single failure tolerance.

关键词： model checking I&c Spurious failure model-based system engineering

来源：评论

学校读者我要写书评

暂无评论

Development of a Virtual Simulation Environment and a Digital Twin of an Autonomous Driving Truck for a Distribution Center 14th

Development of a Virtual Simulation Environment and a Digita...

引用

14th European Conference on Software Architecture (ECSA)

作者： Barosan, Ion Basmenj, Arash Arjmandi Chouhan, Sudhanshu G. R. Manrique, David Eindhoven Univ Technol Eindhoven Netherlands

ISBN: (纸本)9783030591540;9783030591557

This paper presents the development of a Virtual Simulation Environment (VSE) and a Digital Twin (DT) of an autonomously driving truck for a distribution center. While autonomous driving on public roads still faces various technical and legal challenges, within a distribution center, which is a confined area, some of these restrictions do not apply. Therefore, distribution centers can be the first environment where the autonomous driving of trucks is possible. A distribution center is a closed environment with no, or minimal generic traffic, where the trucks have relatively low speeds, short stopping distance and layout precisely known. Dedicated sensors locate the trucks. This paper addresses the mentioned aspects of driving in the distribution centers describing the necessary steps taken for the design, implementation, and testing of a VSE for a distribution center, and a DT of an autonomously driving truck. The development of the VSE is based on the integration of a SysML modeling tool - IBM Rhapsody, MATLAB Simulink, and Unity Game Engine using a model-based system engineering approach. The paper also presents the test and the validation of a driving scenario used in a distribution center, using the TruckLab setup of the Eindhoven University of Technology, The Netherlands. The VSE and the DT showed considerable potential as testing and validation tools for automotive engineers, making it possible to define driving test scenarios for different types of tractor and trailer combinations.

关键词： Digital Twin Autonomous driving truck model-based system engineering Virtual Simulation Environment Distribution center SysML MIL (model-In-Loop) DTIL (Digital-Twin-In-Loop)

来源：评论

学校读者我要写书评

暂无评论

Assessment of EMF model to Text Generation Strategies and Libraries in an Industrial Context 8th

Assessment of EMF Model to Text Generation Strategies and Li...

引用

8th International Conference on model-Driven engineering and Software Development (modelSWARD)

作者： Ponsard, Christophe Darquennes, Denis Ramon, Valery Deprez, Jean-Christophe CETIC Res Ctr Charleroi Belgium

ISBN: (纸本)9789897584008

model-based system engineering is increasingly adopted. However it is centred on the notion of model while the industry is still strongly document-based. In order to enable a smooth evolution between those paradigms, the interplay between documents and models need to be managed, especially models can be used to efficiently derive up-to-date documents matching standard templates from initial requirements to final certification. The purpose of this paper is to review and to assess current strategies to manage model for document generators in order to meet industrial requirements like document complexity, document/model scalability, quick generation time, maintainability and evolvability of document templates. After exploring different generation strategies, our work focuses on toolchains based on the Eclipse modelling Framework and compares a few shortlisted libraries in the light of our requirements and using document derived from industry cases.

关键词： model-based system engineering model to Document Tool Support Industry Transfer Eclipse modelling Framework

来源：评论

学校读者我要写书评

暂无评论

Improving OPM Conceptual models by Incorporating Design Structure Matrix 6

Improving OPM Conceptual Models by Incorporating Design Stru...

引用

6th IEEE International Symposium on systems engineering (IEEE ISSE)

作者： Sobol, Gil Dori, Dov Technion Israel Inst Technol Fac Ind Engn & Management Haifa Israel MIT 77 Massachusetts Ave Cambridge MA 02139 USA

ISBN: (纸本)9781728186023

We combine Object-Process Methodology (OPM) with Design Structure Matrix (DSM) and its Multi Domain Matrix (MDM) extension to capitalize on the potential synergies of these two approaches to model-based systems engineering. OPM can provide a very detailed system model, but it is limited in examining the system as a whole, especially when the system is large and complex. DSM, which provides a matrix representation of the system, lists all the elements and shows relations between model elements. This matrix is amenable to matrix manipulation like clustering and partitioning, enabling the evaluation of relations among model elements. We follow a methodical five-step approach for applying DSM to analyze and improve complex OPM system models. Dedicated preprocessing algorithms have been developed and applied to eliminate states from objects and flatten the hierarchical OPM model while maintaining its semantics. The resulting DSMs and DSM variations of an OPM model are then analyzed, this can be achieved by domain experts who can get ideas or suggestions to improve the model based on quantitative metrics. After examining outcomes of clustering or partitioning algorithms on the DSM, the modularity of the model can be improved, yielding possible gains for the system under development.

关键词： systems engineering model-based system engineering Object-Process Methodology Design Structure Matrix Knowledge Representation model clustering model partitioning

来源：评论

学校读者我要写书评

暂无评论

Innovative Flexible, Robust and Agile Digital engineering Platform Development for Supporting Future Space systems Acquisition 13

Innovative Flexible, Robust and Agile Digital Engineering Pl...

引用

Conference on Sensors and systems for Space Applications XIII

作者： Nguyen, Tien M. Guillen, Andy T. Freeze, Tom Chang, Alexander Zahidi, Faisal Singh, Jake Lee, Jonathan Nguyen, Hung H. Avedissian, Vahe Dang, Anh X. Aerosp Corp 2310 E El Segundo Blvd El Segundo CA 90245 USA POB 92957 Los Angeles CA 90009 USA

ISBN: (纸本)9781510636224;9781510636217

This paper provides an overview of Aerospace R&D work on digital engineering consistent with the U.S. Department of Defense (DOD) Digital engineering Strategy encouraging innovation in rapid development of space systems. An objective of this investigation was to identify challenges associated with DE and to formulate an approach to mitigate the challenges. One key challenge within a larger enterprise is the fact that models will be developed by different developers/modelers, using different ontologies, different tools, and different levels of detail. Our approach introduced innovative techniques for connecting disparate DE models, defining/controlling system interfaces and defining/managing interface baseline specifications within a DE construct. The approach includes a proposed flexible, robust, and agile platform and associated implementation framework of processes, tools, digital models, digital threads and digital use cases. The approach is being submitted for U.S. patent application and was applied on a pilot project involving a spacecraft Bus, mission payload (P/L), and digitized PL-to-Bus interface.

关键词： Digital engineering Digital model Digital Thread Digital Use Case Spacecraft Bus Mission Payload model-based system engineering Connectivity Matrix Behavioral modeling

来源：评论

学校读者我要写书评

暂无评论

Towards employing ABM and MAS integrated with MBSE for the lifecycle of sCPSoS 20

Towards employing ABM and MAS integrated with MBSE for the l...

引用

23rd ACM/IEEE International Conference on model Driven engineering Languages and systems (modelS)

作者： Challenger, Moharram Vangheluwe, Hans Univ Antwerp Antwerp Belgium Flanders Make Lommel Belgium

ISBN: (纸本)9781450381352

Cyber-Physical systems (CPSs) are natural evolutions of embedded systems consisting of embedded computing devices and networks interacting with physical processes and possibly with a human. By introduction of Internet of Things (IoT), and Industry 4.0, CPSs are used in an interconnected way each of which may belong to a different stakeholder, building a complex system of systems (SoS) called CPSoS. These systems need to employ some techniques to transform the collected data to knowledge with which the system can make better decisions. These capabilities can create smart CPSoS or sCPSoS. However, these systems are highly complex from both structural and behavioural point of views. Naturally, there is a need for multiple abstraction levels using different paradigms to model these system, called Multi-Paradigm modeling (MPM). In this paper, the challenges and opportunities of using agent technologies, including intelligent agents, Agent-based modeling and Simulation (ABM), and Multi-Agent systems (MAS) (or Agentoriented Software engineering (AOSE)) in an integrated way with model-based system engineering (MBSE) techniques are discussed to cover the whole lifecycle of sCPSoS, from simulation and analysis, to development, operation and monitoring.

关键词： Agent-based modeling Multi-Agent systems Agent-Oriented Software engineering model-based system engineering Multi-Paradigm modeling Smart Cyber-Physical system of systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：