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

Simulative performance analysis of gossip failure detection for scalable distributed systems

Cluster Computing 1999年第3期2卷 207-217页

作者： Burns, Mark W. George, Alan D. Wallace, Bradley A. High-performance Computing and Simulation (HCS) Research Laboratory Department of Electrical and Computer Engineering University of Florida Gainesville USA

Three protocols for gossip-based failure detection services in large-scale heterogeneous clusters are analyzed and compared. The basic gossip protocol provides a means by which failures can be detected in large distributed systems in an asynchronous manner without the limits associated with reliable multicasting for group communications. The hierarchical protocol leverages the underlying network topology to achieve faster failure detection. In addition to studying the effectiveness and efficiency of these two agreement protocols, we propose a third protocol that extends the hierarchical approach by piggybacking gossip information on application-generated messages. The protocols are simulated and evaluated with a fault-injection model for scalable distributed systems comprised of clusters of workstations connected by high-performance networks, such as the CPlant system at Sandia National Laboratories. The model supports permanent and transient node and link failures, with rates specified at simulation time, for processors functioning in a fail-silent fashion. Through high-fidelity, CAD-based modeling and simulation, we demonstrate the strengths and weaknesses of each approach in terms of agreement time, number of gossips, and overall scalability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Empirical studies of evolving systems

引用

Empirical Software engineering 1999年第4期4卷 370-380页

作者： Bennett, K. Burd, E. Kemerer, C. Lehman, M.M. Lee, M. Madachy, R. Mair, C. Sjoberg, D. Slaughter, S. Department of Computer Science University of Durham United Kingdom Katz Graduate School of Business University of Pittsburgh United States Department of Computing Imperial College United Kingdom Department of Informatics and Simulation RMCS Cranfield University United Kingdom Litton Guidance and Control Systems USC Center for Software Engineering United States Design Engineering and Computing University of Bournemouth United Kingdom Department of Informatics University of Oslo Norway Graduate School of Industrial Administrations Carnegie Melon University United States

This paper describes the results of the working group investigating the issues of empirical studies for evolving systems. The groups found that there were many issues that were central to successful evolution and this concluded that this is a very important area within software engineering. Finally nine main areas were selected for consideration. For each of these areas the central issues were identified as well as success factors. In some cases success stories were also described and the critical factors accounting for the success analyzed. In some cases it was later found that a number of areas were so tightly coupled that it was important to discuss them together.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

An aggressive approach to parameter extraction

An aggressive approach to parameter extraction

引用

Microwave, MTT-S International Symposium

作者： M.H. Bakr J.W. Bandler N. Georgieva Simulation Optimization Systems Research Laboratory and Department of Electrical and Computer Engineering McMaster University Hamilton Canada

A novel Aggressive Parameter Extraction (APE) algorithm is presented. Our APE algorithm addresses the optimal selection of parameter perturbations used to increase trust in parameter extraction uniqueness. We establish an appropriate criterion for the generation of these perturbations. The APE algorithm classifies possible solutions for the parameter extraction problem. Two different approaches for obtaining subsequent perturbations are utilized based on a classification of the extracted parameters. The APE algorithm is successfully demonstrated in parameter extraction of an HTS filter model.

关键词： Parameter extraction Samarium Space technology Context modeling Computational modeling computer simulation Laboratories High temperature superconductors Filters Councils

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Modeling of microwave circuits exploiting space derivative mapping

Modeling of microwave circuits exploiting space derivative m...

引用

Microwave, MTT-S International Symposium

作者： M.H. Bakr J.W. Bandler N. Georgieva Simulation Optimization Systems Research Laboratory and Department of Electrical and Computer Engineering McMaster University Hamilton Canada

We present a novel approach to microwave circuit modeling, space derivative mapping (SDM). SDM assumes the existence of an empirical model of the structure under consideration. It enables the construction of a space mapping-based locally valid model exploiting, for the first time, both the empirical simulations and the response sensitivity information. Parameter extraction uniqueness is no longer important. Statistical analysis of microwave circuits illustrates the SDM technique.

关键词： Microwave circuits Samarium Circuit simulation Parameter extraction Statistical analysis Central Processing Unit Design optimization Computational modeling computer simulation Laboratories

来源：评论

学校读者我要写书评

暂无评论

A hybrid aggressive space mapping algorithm for EM optimization

A hybrid aggressive space mapping algorithm for EM optimizat...

引用

Microwave, MTT-S International Symposium

作者： M.H. Bakr J.W. Bandler N. Georgieva K. Madsen Simulation Optimization Systems Research Laboratory and Department of Electrical and Computer Engineering McMaster University Hamilton Canada

We present a novel, hybrid aggressive space mapping (HASM) optimization algorithm. HASM is a hybrid approach exploiting both the trust region aggressive space mapping (TRASM) algorithm and direct optimization. It does not assume that the final space-mapped design is the true optimal design and is robust against severe misalignment between the coarse and the fine models. The algorithm is based on a novel lemma that enables smooth switching from the TRASM optimization to direct optimization and vice versa. The new algorithm has been tested on several microwave filters and transformers.

关键词： Samarium Parameter extraction Computational modeling Jacobian matrices computer simulation Laboratories Robustness Circuit testing Microwave filters Transformers

来源：评论

学校读者我要写书评

暂无评论

A Generalized Space Mapping Tableau Approach to Device Modeling

A Generalized Space Mapping Tableau Approach to Device Model...

引用

European Conference on Microwave

作者： J.W. Bandler N. Georgieva M.A. Ismail J.E. Rayas-Sanchez Q.J. Zhang Simulation Optimization Systems Research Laboratory and Department of Electrical and Computer Engineering McMaster University Hamilton Canada

A novel, comprehensive framework to engineering device modeling called Generalized Space Mapping (GSM) is introduced. The accuracy of available empirical models of microwave devices can be significantly enhanced by exploiting GSM. We present three fundamental illustrations: a basic Space Mapping Super Model (SMSM), a basic Frequency-Space Mapping Super Model (FSMSM) and Multiple Space Mapping (MSM). The new concept is verified on several device modeling problems, typically utilizing very few full-wave EM simulations, yielding remarkable improvement in accuracy.

关键词： Frequency GSM Microwave devices Samarium Acoustical engineering Vectors Computational modeling computer simulation Laboratories Design engineering

来源：评论

学校读者我要写书评

暂无评论

VRML for urban visualization

VRML for urban visualization

引用

simulation Winter Conference

作者： L.A. Belfore R. Vennam Department of Electrical and Computer Engineering Virginia Modeling Analysis and Simulation Center Old Dominion University Norfolk VA USA Digital Fusion Inc. Fairfax VA USA

A virtual reality modeling language (VRML) based application has been developed as a marketing tool for a commercial park. VRML is a new Web based technology for specifying and delivering three-dimensional interactive visualizations over the Internet through a Web browser. As a part of its definition, VRML includes primitives that specify geometries, sense different conditions in in the visualization, and allow custom definition of methods. Geometries and conditions may be linked so that the geometries can be modified or added interactively. The visualization features simple operation, an extensive menu structure, dynamic creation of objects, and an arbitration scheme.

关键词： Visualization Geometry Shape Mice Virtual reality Solid modeling Discrete event simulation Engines Tactile sensors Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Neuromodeling of microwave circuits exploiting space mapping technology

Neuromodeling of microwave circuits exploiting space mapping...

引用

Microwave, MTT-S International Symposium

作者： J.W. Bandler M.A. Ismail J.E. Rayas-Sanchez Q.J. Zhang Simulation Optimization Systems Research Laboratory Department of Electrical and Computer Engineering McMaster University Hamilton Canada McMaster University Michael G DeGroote School of Medicine Hamilton ON CA

Space mapping (SM) technology based neuromodels decrease the cost of training, improve generalization ability and reduce the complexity of the ANN topology w.r.t. classical neuromodeling. Three novel techniques are proposed to generate SM based neuromodels: space-mapped neuromodeling (SMN), frequency dependent space-mapped neuromodeling (FDSMN), and frequency-space-mapped neuromodeling (FSMN). Huber optimization is proposed to train the neuro-space-mapping (NSM). The techniques are illustrated by a microstrip right angle bend.

关键词： Space technology Microwave circuits Microwave technology Samarium Mathematical model Circuit simulation Artificial neural networks Frequency Computational modeling Circuit topology

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：