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

3rd Workshop on Visualization and Processing of Tensor Fields, 2009

作者： Maries, Adrian Abedul Haque, Md. Yilmaz, S. Levent Nik, Mehdi B. Marai, G. Elisabeta Department of Computer Science University of Pittsburgh PittsburghPA15260 United States Center for Simulation and Modeling University of Pittsburgh PittsburghPA15260 United States Department of Mechanical Engineering and Materials Science University of Pittsburgh PittsburghPA15260 United States

ISBN: (纸本)9783642543005

simulation and modeling of turbulent flow, and of turbulent reacting flow in particular, involves solving for and analyzing time-dependent and spatially dense tensor quantities, such as turbulent stress tensors. The interactive visual exploration of these tensor quantities can effectively steer the computational modeling of combustion systems. In this chapter, we discuss the challenges in dense symmetric-tensor visualization applied to turbulent combustion calculation, and analyze the feasibility of using several established tensor visualization techniques in the context of exploring space-time relationships in computationally-simulated combustion tensor data. To tackle the pervasive problems of occlusion and clutter, we propose a solution combining techniques from information and scientific visualization. Specifically, the proposed solution combines a detailed 3D inspection view based on volume rendering with glyph-based representations—used as 2D probes—while leveraging interactive filtering and flow salience cues to clarify the structure of the tensor datasets. Side-by-side views of multiple timesteps facilitate the analysis of time-space relationships. The resulting prototype enables an analysis style based on the overview first, zoom and filter, then details on demand paradigm originally proposed in information visualization. The result is a visual analysis tool to be utilized in debugging, benchmarking, and verification of models and solutions in turbulent combustion. We demonstrate this analysis tool on three example configurations and report feedback from combustion researchers. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Combustion

来源：评论

学校读者我要写书评

暂无评论

Model Composability 06

Model Composability

引用

simulation Winter Conference

作者： Hessam S. Sarjoughian Arizona Center for Integrative Modeling & Simulation Computer Science & Engineering Department Arizona State University Tempe AZ USA

ISBN: (纸本)9781424405015

Composition of models is considered essential in developing heterogeneous complex systems and in particular simulation models capable of expressing a system's structure and behavior. This paper describes model composability concepts and approaches in terms of modeling formalisms. These composability approaches along with some of the key capabilities and challenges they pose are presented in the context of semiconductor supply chain manufacturing systems

关键词： Computational modeling Supply chains Analytical models Manufacturing processes Virtual manufacturing computer simulation computer science Manufacturing systems Semiconductor device manufacture Transportation

来源：评论

学校读者我要写书评

暂无评论

A co-design modeling approach for computer network systems 07

A co-design modeling approach for computer network systems

引用

simulation Winter Conference

作者： Weilong Hu Hessam S. Sarjoughian Arizona Center for Integrative Modeling & Simulation Computer Science and Engineering Department Arizona State University Tempe AZ USA

ISBN: (纸本)9781424413065

Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer network systems offers new capabilities beyond what is supported in modeling frameworks and tools such as NS-2 and OPNET. The DEVS/DOC simulation environment supports logical co-design specification based on the distributed object computing (DOC) abstract model. To overcome DEVS/DOC's lack of support for visual and persistent modeling, this paper presents SESM/DOC, a novel approach, which is based on the scaleable entity structure modeler (SESM), a component-based modeling framework. This approach supports logical, visual and persistent modeling. Modelers can develop software and hardware models separately and systematically integrate them to specify a family of computer network system designs. This paper details the SESM/DOC co-design modeling approach with the help of a search engine system example, and presents a discussion for future research directions.

关键词： computer networks Hardware Computational modeling Distributed computing Routing computer simulation Software tools Application software Network synthesis Network topology

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of distributed real-time DEVS/CORBA

Design and implementation of distributed real-time DEVS/CORB...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Y.K. Cho B.P. Zeigler H.S. Sarjoughian Arizona Center of Integrative Modeling and Simulation Department of Electrical and Computer Engineering University of Arizona Tucson Tucson AZ USA

In this paper the design and implementation of Distributed Real-Time DEVS/CORBA is discussed as an extension of previously developed DEVS-based modeling and simulation frameworks. The major objective in developing Distributed Real-Time DEVS/CORBA is to establish a framework in which the distributed real-time systems can be designed through DEVS-based modeling and simulation studies, and then migrated with minimal additional effort to be executed in the real-time distributed environment. This environment will provide generic support for developing models of distributed embedded software systems, evaluating their performance and timing behavior through simulation and easing the transition from simulation to actual executions In this paper we describe detailed design and implementation aspects of the environment which was implemented over Visibroier CORBA middleware and ACE/TAO real-time CORBA services.

关键词： Real time systems Discrete event simulation Computational modeling Timing computer simulation Embedded software Embedded system Quality of service Discrete event systems Middleware

来源：评论

学校读者我要写书评

暂无评论

A framework for composable cellular automata devs modeling, simulation, and visualization

A framework for composable cellular automata devs modeling, ...

引用

2020 Spring simulation Multiconference, SpringSim 2020

作者： Zhang, Chao Sarjoughian, Hessam S. Seok, Moon Gi Arizona Center for Integrative Modeling and Simulation Schl. of Computing Informatics and Decision Sys. Engr. Arizona State University TempeAZ85261-8809 United States School of Computer Science and Engineering Nanyang Technical University 639798 Singapore

ISBN: (纸本)9781713812883

The concept of cellular automata is one of the cornerstones of scientific and engineering pursuit with wide applicability in various domains. The rise of system complexity points to developing frameworks that can aid in developing composable models at multiple spatiotemporal levels. Toward this goal, an input/output modular discrete-event cellular automata framework based on the Discrete Event System Specification (DEVS) is proposed. It is adapted from a Composable Cellular Automata (CCA) formalism that is defined in terms of a multicomponent discrete time system specification. The resulting Composable Cellular Automata DEVS (CCA-DEVS) framework is built using the Cellular Automata DEVS that is a part of the DEVS-Suite simulator. The approach and realization of the proposed CCA-DEVS framework are detailed. The framework is used to develop an example model composed of CCA-DEVS agent and partial differential equation models. © 2020 Society for modeling & simulation International (SCS)

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

Blockchain and PUF-based secure key establishment protocol for cross-domain digital twins in industrial Internet of Things architecture

引用

Journal of Advanced Research 2024年 62卷 155-163页

作者： Mahmood, Khalid Shamshad, Salman Saleem, Muhammad Asad Kharel, Rupak Das, Ashok Kumar Shetty, Sachin Rodrigues, Joel J.P.C. School of Psychology and Computer Science University of Central Lancashire Preston United Kingdom Graduate School of Intelligent Data Science National Yunlin University of Science and Technology Yunlin 64002 Taiwan Department of Software Engineering The University of Lahore Lahore 54590 Pakistan Department of Computer Science University of Sahiwal Punjab Sahiwal 57000 Pakistan Center for Security Theory and Algorithmic Research International Institute of Information Technology Hyderabad 500 032 India Department of Modeling Simulation and Visualization Engineering Virginia Modeling Analysis and Simulation Center and Center for Cybersecurity Education and Research Old Dominion University Suffolk 23435 VA United States COPELABS Lusófona University Campo Grande 376 Lisbon 1749-024 Portugal

Introduction: The Industrial Internet of Things (IIoT) is a technology that connects devices to collect data and conduct in-depth analysis to provide value-added services to industries. The integration of the physical and digital domains is crucial for unlocking the full potential of the IIoT, and digital twins can facilitate this integration by providing a virtual representation of real-world entities. Objectives: By combining digital twins with the IIoT, industries can simulate, predict, and control physical behaviors, enabling them to achieve broader value and support industry 4.0 and 5.0. Constituents of cooperative IIoT domains tend to interact and collaborate during their complicated operations. Methods: To secure such interaction and collaborations, we introduce a blockchain-based cross-domain authentication protocol for IIoT. The blockchain maintains only each domain's dynamic accumulator, which accumulates crucial materials derived from devices, decreasing the overhead. In addition, we use the on-chain accumulator to effectively validate the unlinkable identities of cross-domain IIoT devices. Results: The implementation of the concept reveals the fact that our protocol is efficient and reliable. This efficiency and reliability of our protocol is also substantiated through comparison with state-of-the-art literature. In contrast to related protocols, our protocol exhibits a minimum 22.67% increase in computation cost efficiency and a 16.35% rise in communication cost efficiency. Conclusion: The developed protocol guarantees data transfer security across the domain and thwarts IoT devices from potential physical attacks. Additionally, in order to protect privacy, anonymity and unlinkability are also guaranteed. © 2024

关键词： Digital twins Industrial Internet of Things (IIoT) Key agreement Mutual authentication Physically Unclonable Functions (PUFs)

来源：评论

学校读者我要写书评

暂无评论

Introducing tangible objects into motion controlled gameplay using Microsoft® Kinect™

Introducing tangible objects into motion controlled gameplay...

引用

作者： Bozgeyikli, Gamze Bozgeyikli, Evren Işler, Veysi Informatics Institute Middle East Technical University Ankara Turkey Game and Animation Technologies Research Laboratory Modeling and Simulation Research and Development Center Middle East Technical University Ankara Turkey Department of Computer Engineering Middle East Technical University Ankara Turkey

Improvements in ways of game controlling in recent years yielded higher level of interaction. Release of motion controller devices changed conventional ways of controlling games that have been used so far. Microsoft®;Kinect™ (Microsoft Corporation, WA, USA) recognizes motions of the players as game controlling inputs. Although touchless interaction is perceived to be attractive, games mimicking real life activities may benefit from hand-held tangible objects for the player to get more involved into game. In this study, a tangible gameplay interaction method is developed using Microsoft®;Kinect™ that senses hand-held objects with their dimensions and incorporates them into gameplay. Proposed algorithm is implemented on an experimental game, and a user study is performed to measure effects of tangible interaction on Kinect gameplay experience. Results revealed that an improved gameplay with more natural and accurate motion controlling is achieved. Copyright © 2013 John Wiley & Sons, Ltd.

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

A Framework for Composable Cellular Automata Devs modeling, simulation, and Visualization

A Framework for Composable Cellular Automata Devs Modeling, ...

引用

2020 Spring simulation Conference, SpringSim 2020

作者： Zhang, Chao Sarjoughian, Hessam S. Gi Seok, Moon Arizona State University Arizona Center for Integrative Modeling and Simulation Schl. of Computing Informatics and Decision Sys. Engr. TempeAZ85261-8809 United States Nanyang Technical University School of Computer Science and Engineering Singapore639798 Singapore

ISBN: (数字)9781565553705

ISBN: (纸本)9781565553705

The concept of cellular automata is one of the cornerstones of scientific and engineering pursuit with wide applicability in various domains. The rise of system complexity points to developing frameworks that can aid in developing composable models at multiple spatiotemporal levels. Toward this goal, an input/output mod-ular discrete-event cellular automata framework based on the Discrete Event System Specification (DEVS) is proposed. It is adapted from a Composable Cellular Automata (CCA) formalism that is defined in terms of a multicomponent discrete time system specification. The resulting Composable Cellular Automata DEVS (CCA-DEVS) framework is built using the Cellular Automata DEVS that is a part of the DEVS-Suite simulator. The approach and realization of the proposed CCA-DEVS framework are detailed. The framework is used to develop an example model composed of CCA-DEVS agent and partial differential equation models. © 2020 SCS.

关键词： Cellular automata

来源：评论

学校读者我要写书评

暂无评论

Evaluation of American sign language generation by native ASL signers

Evaluation of American sign language generation by native AS...

引用

作者： Huenerfauth, Matt Zhao, Liming Gu, Erdan Allbeck, Jan Computer Science Department CUNY Queens College City University of New York 65-30 Kissena Blvd Flushing NY 11375 United States Center for Human Modeling and Simulation University of Pennsylvania 3401 Walnut St Philadelphia PA 19104 United States

There are many important factors in the design of evaluation studies for systems that generate animations of American Sign Language (ASL) sentences, and techniques for evaluating natural language generation of written texts are not easily adapted to ASL. When conducting user-based evaluations, several cultural and linguistic characteristics of members of the American Deaf community must be taken into account so as to ensure the accuracy of evaluations involving these users. This article describes an implementation and user-based evaluation (by native ASL signers) of a prototype ASL natural language generation system that produces sentences containing classifier predicates, which are frequent and complex spatial phenomena that previous ASL generators have not produced. Native signers preferred the system's output to Signed English animations - scoring it higher in grammaticality, understandability, and naturalness of movement. They were also more successful at a comprehension task after viewing the system's classifier predicate animations. © 2008 ACM.

关键词： Natural language processing systems

来源：评论

学校读者我要写书评

暂无评论

Composability Verification of Complex Systems Using Colored Petri Nets

Composability Verification of Complex Systems Using Colored ...

引用

simulation Winter Conference

作者： Imran Mahmood Syed Hassan Askari Hessam S. Sarjoughian Center for Research in Modeling & Simulation School of Electrical Engineering and Computer Science National University of Sciences and Technology Islamabad Pakistan Arizona Center for Integrative Modeling & Simulation School of Computing Information and Decision Systems Engineering Arizona State University Tempe Arizona USA

ISBN: (纸本)9781665433129

The discipline of component-based modeling and simulation offers promising gains including reductions in development cost, time, and system complexity. This paradigm promotes the use and reuse of modular components for adequate development of complex simulations. Achieving effective and meaningful model reuse through the composition of components still remains a daunting challenge. “Composability”, an integral part of this challenge, is the capability to select and assemble model components in various combinations to satisfy specific user requirements. In this paper, we propose the use of Colored Petri Nets for component-oriented model development, model composition, and the verification of composed models using state-space analysis technique. We present a case study of an elevator model as a proof of concept. Our case study explains the proposed process of developing and composing CPN-based model components and verifying the composed model using state-space analysis.

关键词： Analytical models Costs Petri nets Elevators Complexity theory Complex systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：