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

Conference on systems engineering Research

作者： Orellana, Douglas W. Madni, Azad M. Univ So Calif Los Angeles CA 90089 USA

As we move forward to integrate system descriptive models and system analytical models, there is a key opportunity to integrate other viewpoints into the system model. Specifically, we have the opportunity to extend current modeling semantics and add other disciplines. Current systems engineering practices address human-system integration concerns as an afterthought (i.e., after system architectures have already been created). One primary reason for this deficiency is that people not trained in human factors engineering are unable to communicate with those that are, due to differences in terminology. To better integrate humans into and with systems, new semantics are needed to extend current system modeling representations. The integration of new semantics will allow human elements to be analyzed in a more holistic perspective. This paper looks into identifying core building blocks for creating the ontology for human system interaction, interfaces, and integration. This ontology, once fully developed, will extend current system modeling capabilities that will enable the human element to be analyzed as part of the overall system development process. (C) 2014 The Authors. Published by Elsevier B.V.

关键词： Human system Integration Human Factors model based system engineering SysML UML modeling and Simulation system modeling Ontology

来源：评论

学校读者我要写书评

暂无评论

Human system Integration Ontology: Enhancing model based systems engineering to Evaluate Human-system Performance

引用

Procedia Computer Science 2014年 28卷 19-25页

作者： Douglas W. Orellana Azad M. Madni University of Southern California 854B Downey Way RRB 225 Los Angeles CA 90089-1192

关键词： Human system Integration Human Factors model based system engineering SysML UML modeling and Simulation system modeling Ontology

来源：评论

学校读者我要写书评

暂无评论

EPS-SG operational scenarios and system modelled in CORE 14th

EPS-SG operational scenarios and system modelled in CORE

引用

14th International Conference on Space Operations, SpaceOps 2016

作者： Perlik, Frank Monteiro, Claudia Garcia EUMETSAT Eumetsat Allee 1 DarmstadtD-64295 Germany Callisto Limitted 4 Rockfield Business Park GloucestershireGL53 0AN United Kingdom

ISBN: (数字)9781624104268

ISBN: (纸本)9781624104268

This paper highlights the benefit of developing the operational scenarios in a system modelled using the CORETM tool. It describes the impact of such a model on the structure, the organisation of the scenarios and the advantages of having both operations and system functionalities described by the same tool in a common model. The paper also discusses how traceability between operational activities and resources from the system can be automatically produced by the tool, thus ensuring that system and Operations teams share the exactly same understanding of Operation implementation and capability of the system. © 2016, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： model based system engineering Ground Station Satellites Ground Segment Antenna Control Unit Operations Management Data Products Closed Loop MetOp SG

来源：评论

学校读者我要写书评

暂无评论

model Driven Upstream and Downstream Artifacts

Model Driven Upstream and Downstream Artifacts

引用

Conference on ENTERprise Information systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information systems and Technologies (HCist)

作者： Javed, Adnan Azam, Farooque Umar, Amjad Natl Univ Sci & Technol Islamabad Pakistan NGE Solut Inc Elizabethtown PA USA

It is important for a systems architect to be able to "zoom in" and "zoom out" different levels of details, i.e., to see the enterprise and business level views as well as to go into details of systems and different components of systems. The enterprise knowledge and information systems are two fundamentally different disciplines. An intermediary approach that can connect the two bidirectionally can be very useful in such scenarios. This short paper proposes an intermediary modeling approach that can provide means to computer assisted creation of higher-level business architectural artifacts, that can hold business meaning for the upper management, as well as information system meta-model descriptions that can be used for MBSE (model based system engineering) approaches to develop concrete software systems. This would allow enterprise planning at intermediary level to provide upstream and downstream independence. This preliminary research uses a computer aided planning environment that has repository of multi-disciplinary patterns at different levels of detail for rapid development of these models, capturing various views and viewpoints in a step by step manner. (C) 2015 Published by Elsevier B.V.

关键词： Enterprise modeling Decision Support system Enterprise Architecture Frameworks model based system engineering

来源：评论

学校读者我要写书评

暂无评论

model Driven Upstream and Downstream Artifacts

引用

Procedia Computer Science 2015年 64卷 514-520页

作者： Adnan Javed Farooque Azam Amjad Umar National University of Sciences and Technology H-12 Islamabad Pakistan NGE Solutions Inc. Elizabethtown PA USA

It is important for a systems architect to be able to “zoom in” and “zoom out” different levels of details, i.e., to see the enterprise and business level views as well as to go into details of systems and different components of systems. The enterprise knowledge and information systems are two fundamentally different disciplines. An intermediary approach that can connect the two bi-directionally can be very useful in such scenarios. This short paper proposes an intermediary modeling approach that can provide means to computer assisted creation of higher-level business architectural artifacts, that can hold business meaning for the upper management, as well as information system meta-model descriptions that can be used for MBSE (model based system engineering) approaches to develop concrete software systems. This would allow enterprise planning at intermediary level to provide upstream and downstream independence. This preliminary research uses a computer aided planning environment that has repository of multi-disciplinary patterns at different levels of detail for rapid development of these models, capturing various views and viewpoints in a step by step manner.

关键词： Enterprise modeling Decision Support system Enterprise Architecture Frameworks model based system engineering

来源：评论

学校读者我要写书评

暂无评论

Virtual Design and Verification of Cyber-Physical systems: Industrial Process Plant Design

Virtual Design and Verification of Cyber-Physical Systems: I...

引用

Conference on systems engineering Research

作者： Blackburn, Mark Denno, Peter Stevens Inst Technol Hoboken NJ 07030 USA NIST Gaithersburg MD 20899 USA

This paper discusses a research project to support virtual design and verification of industrial process plant designs. Process plants are a class of cyber-physical systems (CPS), and these research results should generally apply to other types of CPS such as those associated with the Smart Grid. modeling is an essential part of process plant design and integral in other applications such as manufacturing. models produced in design have obvious roles in system implementation, deployment and certification. For manufacturing systems, models also have use in downstream activities including system certification, performance optimization, real-time diagnostics and prognostics, and maintenance. The paper discusses the results associated with a prototype that uses domain-specific models of different views of a system design that improves collaboration through integrated models and aligned semantics and provides examples of how the integration with formal methods can identify defects in designs, and automatically generate test vectors with requirement-to-test traceability. (C) 2014 The Authors. Published by Elsevier B.V.

关键词： model based system engineering formal methods domain-specific modeling test generation smart manufacturing verification

来源：评论

学校读者我要写书评

暂无评论

Electric Drive Vehicle Development and Evaluation Using system Simulation

引用

IFAC Proceedings Volumes 2014年第3期47卷 7886-7891页

作者： A. Rousseau S. Halbach L. Michaels N. Shidore Na. Kim N. Kim D. Karbowski M. Kropinski Argonne National Laboratory Argonne IL 60439 USA (Tel: 630.252.7261 General Motors 3300 General Motors Road MI 48380 USA

To reduce development time and introduce technologies faster to the market, many companies have been moving to model-based system engineering (MBSE). In MBSE, the development process centers around a multi-physics model of the complete system being developed, from requirements to design, implementation and test. Engineers can avoid a generation of system design processes based on hand coding, and use graphical models to design, analyze, and implement the software that determines system performance and behavior. This paper describes the process implemented in Autonomie, a Plug-and-Play Software Environment, to design and evaluate electric drive powertrain and component technologies in a multi-physics environment. We will discuss best practices and provide examples of the different steps of the V-diagram including model-in-the-loop, software-in-the-loop and component-in-the-loop simulation.

关键词： Simulation system engineering Control Electric Drive Vehicles model based system engineering

来源：评论

学校读者我要写书评

暂无评论

Virtual Design and Verification of Cyber-physical systems: Industrial Process Plant Design

引用

Procedia Computer Science 2014年 28卷 883-890页

作者： Mark Blackburn Peter Denno Stevens Institute of Technology Castle Point on Hudson Hoboken NJ 07030 USA National Institute of Standards and Technology 100 Bureau Drive Gaithersburg MD 20899-8265 USA

关键词： model based system engineering formal methods domain-specific modeling test generation smart manufacturing verification

来源：评论

学校读者我要写书评

暂无评论

model-Driven system Development for Distributed Fuel Management in Avionics

引用

JOURNAL OF AEROSPACE INFORMATION systemS 2013年第2期10卷 71-86页

作者： Insaurralde, Carlos C. Seminario, Miguel A. Jimenez, Juan F. Giron-Sierra, Jose M. Heriot Watt Univ Sch Engn & Phys Sci Inst Sensors Signals & Syst Edinburgh EH14 4AS Midlothian Scotland Univ Complutense Madrid Fac Ciencias Fis Dept Arquitectura Comp & Automat E-28040 Madrid Spain

model-based engineering for control software architectures reduces risks and costs in development processes of embedded systems. Developers who follow this methodological approach are able to evaluate the systemwide analysis impact of architectural choices and increase confidence through early verification/validation of the model assumptions. This design methodology is well suitable for a European project (SmartFuel) that proposes a distributed control strategy for aircraft fuel systems. During the first SmartFuel phase, the verification and validation of the aforementioned avionics system was successfully carried out through prototype-based simulations. The future second project phase develops models and tools to analyze, synthesize, and preverify/prevalidate the avionics system architecture at early development stages. This paper addresses the latter project phase by focusing on the prediction of system quality characteristics and the automatic code generation for the system components. It presents a software development framework to deal with the avionics system specifications by means of architectural representations that facilitate the early evaluation of the system. The proposed modeling methodology is evaluated in simulations and prototypes, and it is compared with the results obtained from the first project phase. The experimental outcomes from two case studies (helicopter and airplane fuel systems) are also presented.

关键词： Digital Avionics systems Fuel Management Commercial Aircraft Helicopter Engines Eclipse modeling Framework Software Development Embedded Software systems Aircraft Fuel system model based system engineering Distributed Control system

来源：评论

学校读者我要写书评

暂无评论

Analytical modeling Framework and Applications for Space Communication Networks

引用

JOURNAL OF AEROSPACE INFORMATION systemS 2013年第10期10卷 452-466页

作者： Spangelo, Sara Cutler, James Univ Michigan Dept Aerosp Engn Ann Arbor MI 48109 USA

There is a growing number of resource-constrained small satellites that are currently performing and are proposed to accomplish novel science and technology missions. These missions seek to download large quantities of data to ground-station networks that currently have limited ability to support these missions. This limitation motivates the development of modeling and simulation tools to assess and optimize these mission scenarios. In this paper, we develop an extensible, analytical modeling framework for satellite operations. This framework captures dynamic states, subsystem functions, and interactions of the satellite with the external environment and ground-communication networks. This foundational framework enables assessment and optimization of complex space and ground networks under both deterministic and stochastic conditions. We apply this framework to develop a communication-focused model for an operational satellite mission. We implement the analytical model in a simulation environment and use realistic data from the surveyed small-satellite and ground-station community to assess the impact of satellite and network parameters on the potential for communication. Our simulations compare satellite downlink requirements and objectives with the constraint-based communication potential of diverse missions and ground networks. These results identify deficient and excess capabilities and motivate the need for optimal scheduling algorithms.

关键词： Space Communication Networks Fast Auroral Snapshot Explorer Satellite Networks Satellite Ground Station Eclipses Mars Science Laboratory Inclined Orbit model based system engineering Orbital Inclination Earth

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：