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

A model-based Toolchain to Verify Spatial Behavior of Cyber-Physical systems

INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH 2016年第1期13卷 40-52页

作者： Herrmann, Peter Blech, Jan Olaf Han, Fenglin Schmidt, Heinz Norwegian Univ Sci & Technol NTNU Trondheim Norway RMIT Univ Melbourne Vic Australia

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.

关键词： BeSpaceD model-based system engineering Reactive Blocks Real-Time Properties Spatial Behavior modeling and Verification

来源：评论

学校读者我要写书评

暂无评论

Mathematical framework for recursive model-based system design

引用

NONLINEAR DYNAMICS 2016年第1期84卷 223-236页

作者： Mabrok, Mohamed A. Elsayed, Saber Ryan, Michael J. Univ New S Wales Australian Def Force Acad Sch Engn & Informat Technol Canberra ACT 2600 Australia Zagazig Univ Fac Comp & Informat Zagazig Egypt Suez Canal Univ Fac Sci Dept Math Ismailia Egypt

In this paper, we introduce a mathematical framework that allows the designer to consider more of the proposed ideas and options in conceptual design phase into the design process. The proposed model allows for dynamical relationship between the system's high-level requirements and the detailed design parameters, where an optimization engine can optimize over the design parameters and variables for a given range in the requirement. This is done by proposing an input/output block structure named recursive design modular (RDM). The output of RDM is the functions that the system supposes to perform at particular level. The input of RDM is the design parameters that control the required behaviour through a set of mapping or transformation.

关键词： model-based system design systems engineering model-based system engineering

来源：评论

学校读者我要写书评

暂无评论

Surrogate model-based cognitive digital twin for smart remote maintenance of fusion reactor: modeling and implementation

引用

NUCLEAR FUSION 2024年第12期64卷 126007-126007页

作者： Yao, Zhixin Wu, Huapeng Song, Yuntao Cheng, Yong Pan, Hongtao Wu, Muquan Li, Ming Qin, Guodong Wang, Qi Zhang, Xi Shenzhen Univ Coll Phys & Optoelect Engn Shenzhen 518060 Peoples R China Chinese Acad Sci Inst Plasma Phys Hefei Inst Phys Sci Hefei 230031 Peoples R China Lappeenranta Univ Technol Lappeenranta Finland Huazhong Univ Sci & Technol Sch Mech Sci & Engn Wuhan 430074 Peoples R China

A remote maintenance robot system (RMRS) plays a critical role in safeguarding the fusion energy experimental device's security and stability. State-of-the-art intelligent technology such as cognitive digital twins (CDTs) is widely considered capable of improving complex equipment's performance and reducing management burden using a visualized system. However, the CDT virtual space cannot mirror the RMRS which is a kind of flexible multi-body system in real-time and with high fidelity. Therefore, we propose a CDT modeling method based on a surrogate model for the RMRS. Firstly, model-based system engineering is leveraged to build a structural modular architecture, which can decrease the modeling complexity of CDT and increase the modeling efficiency. Then, the surrogate models are self-learning within the CDT physical space, which reconstructs the RMRS's real-time dynamic performances and endows CDT with cognitive capabilities. Finally, after integrating the CDT system, a smart decision-making plan that compensates for the operation error is generated for RMRS's accurate control. We take a China Fusion engineering Test Reactor (CFETR) multi-purpose overload robot (CMOR) as an example to demonstrate the implementation process. According to the results, CDT can achieve real-time (230 ms time delay) high-fidelity (5 mm control error) monitoring and accurate control, and CMOR conducts smart maintenance based on the simulation results. This method improves the efficiency of remote maintenance and provides solutions for high-duty cycle time of CFETR, it can also be applied to other tokamak fusion energy devices.

关键词： cognitive digital twin model-based system engineering surrogate model error compensation-based precision control fusion reactor smart maintenance

来源：评论

学校读者我要写书评

暂无评论

Architecting decentralized control in large-scale self-adaptive systems

引用

COMPUTING 2023年第9期105卷 1849-1882页

作者： Andersson, Jesper Caporuscio, Mauro D'Angelo, Mirko Napolitano, Annalisa Linnaeus Univ Vaxjo Sweden Ericsson Res Gothenburg Sweden IMT Sch Adv Studies Lucca Italy

Architecting a self-adaptive system with decentralized control is challenging. Indeed, architects shall consider several different and interdependent design dimensions and devise multiple control loops to coordinate and timely perform the correct adaptations. To support this task, we propose Decor, a reasoning framework for architecting and evaluating decentralized control. Decor provides (i) multi-paradigm modeling support, (ii) a modeling environment for MAPE-K style decentralized control, and (iii) a co-simulation environment for simulating the decentralized control together with the managed system and estimating the quality attributes of interest. We apply the Decor in three case studies: an intelligent transportation system, a smart power grid, and a cloud computing application. The studies demonstrate the framework's capabilities to support informed architectural decisions on decentralized control and adaptation strategies.

关键词： Reasoning framework model-based system engineering Multi-paradigm modeling Co-simulation

来源：评论

学校读者我要写书评

暂无评论

A hierarchical approach to warehouse design

引用

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 2017年第21期55卷 6331-6343页

作者： Sprock, Timothy Murrenhoff, Anike McGinnis, Leon F. Georgia Inst Technol Sch Ind & Syst Engn Atlanta GA 30332 USA

The design of large complex systems, such as warehouses, requires multiple experts and analyses as well as methods to organise and integrate their knowledge. While there are many models for optimising individual aspects of warehouses, there is not, today, a comprehensive design methodology that incorporates and supports all of the design decisions and provides a method to effectively integrate the solutions to these subproblems into a complete warehouse system specification. In this research, we propose a hierarchical design decision support methodology based on decomposing the design problem into a set of subproblems and using a formal model of the system to integrate the solutions to these subproblems. The methodology enables a thorough search of the design space and the identification of many candidate designs for consideration by the design decision maker. The hierarchical design methodology is demonstrated with an example of designing a forward pick area.

关键词： warehouse design multi-disciplinary optimisation formal domain modelling SysML model-based system engineering

来源：评论

学校读者我要写书评

暂无评论

Distributed and Real-time Integrated Simulation system on Avionics

引用

INTERNATIONAL JOURNAL OF AERONAUTICAL AND SPACE SCIENCES 2017年第3期18卷 574-578页

作者： Zhou, Yaoming Liu, Yaolong Li, Shaowei Jia, Yuhong Beihang Univ Sch Aeronaut Sci & Engn Beijing 100191 Peoples R China Rhein Westfal TH Aachen Inst Aerosp Syst ILR D-52062 Aachen Germany

In order to achieve iterative design in early R&D period, a Distributed and Real-time Integrated Simulation system for avionics based on a model-based systems engineering (MBSE) method is proposed. The proposed simulation system includes driver, simulation model, monitor, flight visual model and aircraft external model. The effect of this simulation system in iterative design and system verification is testified by several use cases. The result shows that the simulation system, which can play an important role in iterative design and system verification, can reduce project costs and shorten the entire R&D period.

关键词： Simulation system Distributed model-based system engineering Avionics

来源：评论

学校读者我要写书评

暂无评论

Heterogeneous knowledge graph-driven subassembly identification with ensemble deep learning in Industry 4.0

引用

INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 2024年

作者： Zhang, Chao Jing, Yanzhen Zhou, Guanghui Yan, Hairui Chang, Fengtian Xi An Jiao Tong Univ Sch Mech Engn Xian 710049 Peoples R China Xi An Jiao Tong Univ State Key Lab Mfg Syst Engn Xian 710054 Peoples R China Changan Univ Sch Construct Machinery Xian Peoples R China

In the context of Industry 4.0, model-based definition (MBD) has been an effective approach to creating 3D models contained all heterogeneous information needed to define a product, which proposes new challenges for the traditional subassembly identification method that only considers the geometric information of a product in assembly sequence planning. To bridge the gap, we propose a novel heterogeneous knowledge graph-driven subassembly identification method to enhance assembly sequence planning in the model-based systems engineering (MBSE) paradigm. Specifically, a heterogeneous knowledge graph is first constructed based on the shape information and engineering details of an MBD model. Next, an ensemble deep learning approach that combines graph neural networks with the community detection algorithm is proposed to effectively detect the subassembly from the MBD model. Finally, the feasibility and effectiveness of the proposed method are demonstrated through an example of car suspension subassembly identification, providing insight into the industrial implementation.

关键词： Knowledge graph ensemble deep learning model-based definition model-based system engineering subassembly identification

来源：评论

学校读者我要写书评

暂无评论

Building the foundations for 'MDE as Service'

引用

IET SOFTWARE 2017年第4期11卷 195-206页

作者： Basso, Fabio Paulo Oliveira, Toacy Cavalcante Werner, Claudia M. L. Becker, Leandro Buss Inst Fed Educ Ciencia & Tecnol Rio Grande Sul Bento Goncalves RS Brazil Univ Fed Rio de Janeiro Syst Engn & Comp Sci Dept Rio De Janeiro RJ Brazil Fed Univ Santa Catarina UFSC BR-88040900 Florianopolis SC Brazil

Surveys on the model-Driven engineering (MDE) adoption agree that resources such as model transformations need customisation before introduction in a target context. This study highlights an emerging scenario for reuse named MDE as Service' (MDEaaS), i.e. a business opportunity characterised by requests from application-independent contexts for customisations in MDE resources. In response for the increasing interest of some professionals in this opportunity and due to the absence of studies establishing reuse foundations for this scenario, it is presented here the authors' background in the Feature-Oriented model-Driven Architecture (FOMDA) approach: an implementation of MDEaaS assisted by an integrated reuse mechanism to test, compose, check the consistency, and adapt these resources. By including an analysis of three cross-application domains composed by resources developed in support for model-based systems engineering, this work shows the suitability and limitations of this approach. They therefore contribute to the foundation of MDEaaS through a longitudinal study, including key findings from their analysis of this reuse scenario.

关键词： software engineering cloud computing MDE as service model-driven engineering model transformations MDEaaS business opportunity application-independent contexts MDE resources FOMDA approach integrated reuse mechanism cross-application domains model-based system engineering

来源：评论

学校读者我要写书评

暂无评论

Handling complexity of large high-level specifications in simulation environment: the case of transformational model-battle management

引用

JOURNAL OF DEFENSE modelING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS 2024年

作者： Alshareef, Abdurrahman Kim, Doohwan King Saud Univ Coll Comp & Informat Sci Dept Informat Syst POB 2454 Riyadh 11451 Saudi Arabia RTSync Corp Chandler AZ USA

modeling system requirements at a high level can significantly facilitate the communication of mental models across highly heterogeneous entities. Two major challenges may arise during such a process. The first is the degree to which details of the higher-level specifications can capture and effectively handle. Especially, when the model contains more nuanced descriptions of parallel execution and temporal pacing. The second challenge arises when realizing such specifications downstream due to ambiguities and incompleteness encountered in higher-level semiformal artifacts. We propose a formal specification and transformation of higher-level artifacts, particularly in the operational activity model of the Department of Defense Architecture Framework (OV-5 DoDAF). We create an isomorphic activity model corresponding to each activity in the Transformational model-Battle Management. Then, we generate a code for simulating the models as Markov Discrete Event system Specifications. We demonstrate the size and other aspects of the experiments that can be conducted based on the generated simulation and the level of complexity in such an approach. We highlight aspects of managing complexity using model transformations and code generation techniques in a full-cycle model-based system engineering approach, expediting the process toward arriving at the concrete realization of simulation models that only originated from minimal high-level metamodels and artifacts.

关键词： Activity diagrams model-based system engineering system modeling language theory of modeling and simulation transformational model-battle management Unified modeling Language

来源：评论

学校读者我要写书评

暂无评论

A Survey of Advanced Information Fusion system: from model-Driven to Knowledge-Enabled

引用

DATA SCIENCE AND engineering 2023年第2期8卷 85-97页

作者： Zhu, Di Yin, Hailian Xu, Yidan Wu, Jiaqi Zhang, Bowen Cheng, Yaqi Yin, Zhanzuo Yu, Ziqiang Wen, Hao Li, Bohan Nanjing Univ Aeronaut & Astronaut Coll Comp Sci & Technol Nanjing 211106 Peoples R China Nanjing Univ Aeronaut & Astronaut Key Lab Adv Technol Small & Medium UAVs Minist Ind & Informat Technol Nanjing 210016 Peoples R China Yantai Univ Coll Comp & Control Engn Yantai 264005 Shandong Peoples R China Nanjing Univ Aeronaut & Astronaut Coll Aerosp Engn Nanjing 210016 Peoples R China

Advanced knowledge engineering (KE), represented by knowledge graph (KG), drives the development of various fields and engineering technologies and provides various knowledge fusion and knowledge empowerment interfaces. At the same time, advanced system engineering (SE) takes model-based system engineering (MBSE) as the core to realize formal modeling and process analysis of the whole system. The two complement each other and are the key technologies for the transition from 2.0 to 3.0 in the era of artificial intelligence and the transition from perceptual intelligence to cognitive intelligence. This survey summarizes an advanced information fusion system, from model-driven to knowledge-enabled. Firstly, the concept, representative methods, key technologies and application fields of model-driven system engineering are introduced. Then, it introduces the concept of knowledge-driven knowledge engineering, summarizes the architecture and construction methods of advanced knowledge engineering and summarizes the application fields. Finally, the combination of advanced information fusion systems, development opportunities and challenges are discussed.

关键词： system engineering Knowledge engineering Knowledge graph model-based system engineering Information system

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：