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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

SCV2: A model-based Validation and Verification approach to system-of-systems engineering 10

SCV2: A Model-based Validation and Verification approach to ...

引用

10th system of systems engineering Conference (SoSE)

作者： Baddour, Rami Paspaliaris, Alkiviadis Herrera, Daniel Solis Univ Svizzera Italiana ALaRI Lugano Switzerland

ISBN: (纸本)9781479976119

model-based systems engineering provides an effective methodology for designing complex systems and system-of-systems. More importantly, such an approach opens the possibility to automatically generate executable simulators from system modules using model-to-code transformations, in order to verify the system model's completeness and validate design requirements. However, the user may still need to write code segments to describe the detailed functionality of system components. In this paper, we present the SCV2 tool, which allows the simulation of big size heterogeneous/multiple-class systems and system-of-systems, imposes code-model consistency and aided statechart design through reverse code-to-model transformations, and provides query-based requirement validation and functionality verification through an intuitive user interface. Finally, we present a use-case showing the utilization of the tool in the WiBRATE FP7 project for early-stage validation of system requirements.

关键词： model-based system engineering system-of-systems SoSE Validation and Verification Automated Code Generation SysML Statecharts

来源：评论

学校读者我要写书评

暂无评论

A Federated Enterprise Architecture and MBSE modeling Framework for Integrating Design Automation into a Global PLM Approach 14th

A Federated Enterprise Architecture and MBSE Modeling Framew...

引用

14th IFIP WG 5.1 International Conference on Product Lifecycle Management (PLM)

作者： Vosgien, Thomas Rigger, Eugen Schwarz, Martin Shea, Kristina V Res GmbH Dornbirn Austria Swiss Fed Inst Technol Zurich Switzerland Liebherr Werk Nenzing GmbH Nenzing Austria

ISBN: (纸本)9783319729053;9783319729046

PLM and Design Automation (DA) are two interdependent and necessary approaches to increase the performance and efficiency of product development processes. Often, DA systems' usability suffers due to a lack of integration in industrial business environments stemming from the independent consideration of PLM and DA. This article proposes a methodological and modeling framework for developing and deploying DA solutions within a global PLM approach. This framework supports the identification of DA potentials and the definition of the DA task building blocks to support DA task formalization by practitioners. The aim is to make the specification and development of DA solutions more efficient and aligned with the business requirements and with the existing digital environments. This framework combines the usage of two standardized modeling languages to make the captured knowledge re-usable across heterogeneous PLM and DA applications. An industrial case study demonstrating the applicability of the framework is introduced and discussed.

关键词： Design automation Product Lifecycle Management Enterprise architecture model-based system engineering ArchiMate SysML

来源：评论

学校读者我要写书评

暂无评论

Extended meta-model for Service-Oriented Development of Embedded Real-time systems 1

Extended meta-model for Service-Oriented Development of Embe...

引用

2017 1st International Conference on Latest trends in Electrical engineering and Computing Technologies (INTELLECT)

作者： Aziz, Muhammad Waqar Rashid, Muhammad CECOS Univ IT & Emerging Sci Dept Comp Sci Peshawar 25000 Pakistan Umm Al Qura Univ Coll Comp & Informat Syst Dept Comp Engn Mecca 21955 Saudi Arabia

ISBN: (纸本)9781538629697

The increasing use of software in Embedded Real Time systems (ERTS) has allowed the application of software engineering methods and techniques in their development. In this regard, Service-Oriented Computing (SOC) has previously been used to reduce the development complexity of ERTS. However, the concepts of SOC are mostly used at the implementation level without any focus on system design. To fill this gap, the author has previously developed a meta-model for service-oriented development of ERTS. Although the proposed meta-model allows the high-level modeling of ERTS in terms of service-oriented concepts, it covers only the structural requirements. Therefore, the meta-model is further extended in this paper to include the behavior modeling of the system. The effectiveness of the proposed mechanism is demonstrated with the help of Traffic Light Controller and Arbiter case studies. Following the model based system engineering process, the high-level models can be transformed into the low-level models.

关键词： Embedded Real-Time systems Service-Orieted Computing model-based system engineering Meta-model Software design

来源：评论

学校读者我要写书评

暂无评论

ANALYSIS OF MISSION EFFECTIVENESS: MODERN system ARCHITECTURE TOOLS FOR PROJECT DEVELOPERS

ANALYSIS OF MISSION EFFECTIVENESS: MODERN SYSTEM ARCHITECTUR...

引用

作者： Thomas E. Moulds NAVAL POSTGRADUATE SCHOOL

学位级别：硕士

Fail early, fail often, but ensure that when failure occurs, a learning period is part of the systems development process. Understanding the reasons a system can fail during the development process is key to maximizing mission effectiveness. Would it not be valuable to have a process that allows the designers to recognize when a system is failing to meet the user's requirements early in the development process? Furthermore, would it not be useful for that process to be iterative, to allow the impacts of changes to be seen in real-time, as the concept is defined and the system is designed? What would it be worth to have the ability to accomplish this inside the engineering safety net of model-based systems engineering? This research shows an alternative process to classic systems engineering and optimization analysis, where system design decisions are statically and dynamically modeled in a model-based systems engineering environment and "what if" types of changes are answered and analyzed using embedded simulation. This research demonstrates the process with the use case of a highly relevant real world problem of countering the threat of small commercial unmanned systems to the security of naval installations.

关键词： model-based system engineering analysis of alternatives concept Development Simulation trade-space system engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Collaborative systems engineering: Issues & Challenges 21

Collaborative Systems Engineering: Issues & Challenges

引用

IEEE 21st International Conference on Computer Supported Cooperative Work in Design (CSCWD)

作者： Wouters, Laurent Creff, Stephen Bella, Emma Effa Koudri, Ali Assoc Cenotelie Paris France UPMC Univ Paris 06 Sorbonne Univ Lab Informat Paris 6 Paris France

ISBN: (纸本)9781509061990

Today, we live in a society where time and space have been shortened by the introduction of digital technologies. This situation puts a lot of pressure on the market and companies unable to adapt are doomed to extinction. Collaboration is needed. Although the systems engineering approach brings many benefits to manage risks and to improve the quality, cost and delay of deliveries;we argue in this paper that we are missing today adapted methods and tools in the model-based system engineering to support this change of paradigm. based on use cases' observations, 5 collaborative systems engineering challenges are raised to position 2 research tracks.

关键词： systems engineering Collaborative engineering model-based system engineering Domain Intention Controlled Exposition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：