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

simulation Winter Conference

作者： R.G. Sargent P.A. Glasow J.P.C. Kleijnen A.M. Law I. McGregor S. Youngblood Advanced Information Technology Center MITRE Corporation McLean VA USA Department of Information Systems Center for Economic Research School of Economics and Business Administration Tilburg University KUB Tilburg Netherlands Averill M. Law and Associates Inc. Tucson AZ USA AutoSimulations Inc. Bountiful UT USA DMSO Alexandria VA USA Simulation Research Group Department of Electrical Engineering and Computer Science Syracuse University Syracuse NY USA

The authors, six simulation professionals, present their views on the directions that they believe that verification, validation, and accreditation research should take. Two of the six are active verification, validation, and accreditation researchers from academia, two develop industry simulation models, and two work in verification, validation, and accreditation of military simulation models. A number of areas and topics for research in verification, validation, and accreditation are identified. It appears that application domains of simulation models affect what topics need verification, validation, and accreditation research.

关键词： Accreditation Testing Defense industry Computational modeling computer simulation computer science Lifting equipment Information systems Medical simulation Logic

来源：评论

学校读者我要写书评

暂无评论

Validation and verification of simulation models

Validation and verification of simulation models

引用

simulation Winter Conference

作者： R.G. Sargent Simulation Research Group Department of Electrical Engineering and Computer Science College of Engineering and Computer Science Syracuse University Syracuse NY USA

This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification relate to the model development process are discussed; various validation techniques are defined; conceptual model validity, model verification, operational validity, and data validity are described; ways to document results are given; and a recommended procedure is presented.

关键词： Computational modeling Accreditation Random variables computer simulation Educational institutions computer science Problem-solving Decision making Application software Testing

来源：评论

学校读者我要写书评

暂无评论

Scaling, hierarchical modeling, and reuse in an object-oriented modeling and simulation system

Scaling, hierarchical modeling, and reuse in an object-orien...

引用

simulation Winter Conference

作者： T. Daum R.G. Sargent Simulation Research Group Department of Electrical Engineering and Computer Science Syracuse University Syracuse NY USA

Three useful modeling techniques for specifying discrete event simulation models are discussed. Hierarchical model specification provides for model specification at different levels of abstraction. Scaling of model elements provides for the combination of similarly structured and parallel operating model elements into arrays of both fixed and dynamic sizes. Reuse of model elements allows for the repeated use of model element specifications. The Hierarchical Control Flow Graph Model paradigm is used to demonstrate the techniques discussed.

关键词： Object oriented modeling Computational modeling computer simulation Discrete event simulation Flow graphs Libraries Runtime Yarn Message passing Carbon capture and storage

来源：评论

学校读者我要写书评

暂无评论

Verification and validation of simulation models 98

Verification and validation of simulation models

引用

Proceedings of the 30th conference on Winter simulation

作者： Robert G. Sargent Simulation Research Group Department of Electrical Engineering and Computer Science College of Engineering and Computer Science Syracuse University Syracuse New York

来源：评论

学校读者我要写书评

暂无评论

Verification and validation of simulation models

Verification and validation of simulation models

引用

simulation Winter Conference

作者： R.G. Sargent Simulation Research Group Department of Electrical Engineering and Computer Science College of Engineering and Computer Science Syracuse University Syracuse NY USA

This paper discusses verification and validation of simulation models. The different approaches to deciding model validity are presented; how model verification and validation relate to the model development process are discussed; various validation techniques are defined; conceptual model validity, model verification, operational validity, and data validity are described; ways to document results are given; and a recommended procedure is presented.

关键词： Accreditation Computational modeling Random variables Cost function computer simulation Educational institutions computer science Problem-solving Decision making Application software

来源：评论

学校读者我要写书评

暂无评论

Influence of human engineering on manning levels and human performance on ships

引用

NAVAL ENGINEERS JOURNAL 1997年第5期109卷 67-76页

作者： Anderson, DE Oberman, FR Malone, TB Baker, CC David E. Anderson:has a bachelor of science degree in environmental engineering from Florida Technological University and a master's degree in environmental engineering from the University of Central Florida. He is a graduate of the Naval Sea Systems Command's Engineer-In-Training (EIT) Program. Mr. Anderson was instrumental in introducing the collective protection system (CPS) in the U.S. Navy developing the initial forward-fit package for the USS Gunston Hall and the engineering change proposal (ECP) for the USS Wasp. In 1990 he joined the Human Systems Integration (HSI) Division (SEA 55W5) where he was task leader for auxiliary ships. He is currently the HSI manager for the future technology variant of the SeaLift ship and the future carrier. Association of Scientists and Engineers 33rdAnnual Technical Symposium 26 April 1996. Fred R. Oberman:has B.A. and M.A. degrees from the University of Chicago and Loyola University (experimental psychology) and an M.S. degree in industrial engineering and operations research from Virginia Polytechnic Institute (VPI). He has more than 30 years experience in HSI management planning research analysis design and testing in government and private sector positions. He is currently responsible for NavSea HSI generic research and tool development efforts. He is responsible for Human Engineering Specifications and Standards (Commercial Hypertext) and is the NavSea 03D7 representative on HSI in Performance Specifications and for integration of HSI within Integrated Logistic Support (ILS). He has served as DoD HSI SubTAG chair and member of the Simulation and Modeling Test and Evaluation Display and Control Systems Human Computer Interaction Specifications and Standards and Systems Design Sub Tags as a member of the Society of Naval Architects and Marine Engineers (SNAME) Systems Safety Panel and a member of NATO RSG 14 on man-machine analysis. Thomas B. Malone: CHFEP received a Ph.D. in experimental psychology from Fordham University in 1964. He is president of Carlow

The objectives of Human engineering (HE) are generally viewed as increasing human performance, reducing human error, enhancing personnel and equipment safety, and reducing training and related personnel costs. There are other benefits that are thoroughly consistent with the direction of the Navy of the future, chief among these is reduction of required numbers of personnel to operate and maintain Navy ships. The Naval research Advisory Committee (NRAC) report on Man-Machine Technology in the Navy estimated that one of the benefits from increased application of man-machine technology to Navy ship design is personnel reduction as well as improving system availability, effectiveness, and safety The objective of this paper is to discuss aspects of the human engineering design of ships and systems that affect manning requirements, and impact human-performance and safety The paper will also discuss how the application of human engineering leads to improved performance, and crew safety, and reduced workload, all of which influence manning levels. Finally, the paper presents a discussion of tools and case studies of good human engineering design practices which reduce manning.

关键词： Human engineering

来源：评论

学校读者我要写书评

暂无评论

Abstraction mechanisms in discrete-event inductive modeling 96

Abstraction mechanisms in discrete-event inductive modeling

引用

1996 Winter simulation Conference (WSC 96)

作者： Sarjoughian, HS Zeigler, BP AI & Simulation Research Group Electrical and Computer Engineering University of Arizona Tucson AZ

ISBN: (纸本)0780333837

The power of abstraction Lies in its ability to deal with ''lack'' of knowledge. In this regard, success in modeling and simulation rests on discovering useful abstractions that can support objectives of modeling. In our treatment, we refer to ''data abstraction'' as opposed to ''structure simplification'' since we consider a system's behavior rather than its structure. A system's behavior can be represented as time-varying input/output segments. Given the behavior of a causal, time-invariant system, we define some basic abstraction mechanisms to support inductive modeling. The basis for these abstraction mechanisms are a set of general assumptions which allow consistent abstraction of IO segments. Then, given these assumptions and non-monotonic reasoning paradigm, capable of handling thew, we try to tackle the fundamental problem of insufficient knowledge in the realm of inductive modeling. In this way, by making useful abstractions, we can predict a system's unobserved behavior according to a well-defined framework of discrete-event inductive modeling.

关键词： Abstracting

来源：评论

学校读者我要写书评

暂无评论

Verifying and validating simulation models 96

Verifying and validating simulation models

引用

1996 Winter simulation Conference (WSC 96)

作者： Sargent, RG Simulation Research Group College of Engineering and Computer Science 439 Link Hall Syracuse University Syracuse New York

ISBN: (纸本)0780333837

This paper discusses verification and validation of simulation models. The different approaches to deciding model validity are presented;how model verification and validation relate to the model development process are discussed;various validation techniques are defined;conceptual model validity, model verification, operational validity, and data validity are described;ways to document results are given;and a recommended procedure is presented.

关键词： Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Some subjective validation methods using graphical displays of data 96

Some subjective validation methods using graphical displays ...

引用

1996 Winter simulation Conference (WSC 96)

作者： Sargent, RG Simulation Research Group College of Engineering and Computer Science 439 Link Hall Syracuse University Syracuse New York

ISBN: (纸本)0780333837

Subjective methods for operational validity are presented that use graphical displays of histograms, box plots, and behavior graphs. These methods allow the data to be correlated, have any statistical distribution, and be limited in the number of observations. Model data are used for the reference distribution (instead of a theoretical distribution such as the t or F) and for reference to compare the system data against. These methods are very general and can be used in validating different types of models.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

Some subjective validation methods using graphical displays of data

Some subjective validation methods using graphical displays ...

引用

simulation Winter Conference

作者： R.G. Sargent Simulation Research Group College of Engineering and Computer Science Syracuse University Syracuse NY USA

关键词： Histograms Testing computer displays Observability Stochastic processes Frequency Computational modeling computer simulation Educational institutions computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：