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

International Journal of Database Theory and Application 2014年第6期7卷 105-120页

作者： Shen, Jing Zhang, Jilin Wan, Jian Zhou, Li Jiang, Ming School of Computer Science and Technology Hangzhou Dianzi University Hangzhou Zhejiang China Key Laboratory of Complex Systems Modeling and Simulation Ministry of Education China Zhejiang Provincial Engineering Center on Media Data Cloud Processing and Analysis Hangzhou China School of Information Engineering Hangzhou Dianzi University Hangzhou Zhejiang China

Stencils are finite-difference algorithms for solving large-scale and high-dimension partial differential equations. Due to the data dependences among the iterative statements in Stencils, traditional Stencil computations are be executed serially, rather than in parallel. It's challenging to design an effective and scalable Stencil parallelized method. To address the issue of 3D data space computing, we present a serial execution model based on multi-layers symmetric Stencil method and time skewing techniques. Within this model, the iteration space is divided to multiple tiles based on time skewing, where the executive process is ordered by the sequence of tiles, and the nodes in each individual tile can be swept repeatedly to improve the data locality. In addition, we propose a novel 3D iterative space alternate tiling Stencil parallel method, which subdivides the iteration space along high dimension, and changes the execution sequence of tiles to reduce the data dependency and communication cost, where the partial order of tiles is still guaranteed. Experimental results demonstrate our proposed alternative tiling parallel method achieves better parallel efficiency and scalability compared with the domain-decomposition methods.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Parallel Verification of UML Using DiVinE Tool

Parallel Verification of UML Using DiVinE Tool

引用

International Conference on computer Science and Information Technology

作者： Muhammad Abdul Basit-Ur-Rahim Jamil Ahmad Fahim Arif Department of Computer Software Engineering Military College of Signals National University of Science & Technology Islamabad Pakistan Research Center for Modeling and Simulation Military College of Signals National University of Science & Technology Islamabad Pakistan

ISBN: (纸本)9781467356107

Unified modeling Language is being used for modeling of business processes, real-time systems, embedded systems and hybrid systems. In software engineering, there are different techniques for verification of such systems. Model checking is one of the techniques for the automatic verification of software models. Earlier, these model were verified by sequential model checking tools. For very large complex systems, parallel verification can save verification time. DiVinE is a model checking tool for both CPUs and GPUs clusters to perform parallel linear time logic (LTL) verification of systems. In this paper, we propose a parallel verification methodology for UML models using DiVinE tool. We explain this methodology by the case study example of fuel filling machine.

关键词： UML Verification DiVinE Parallel Verification UML Verification checking tools central processing units Parallel Lines Complex systems hybrid systems Model checking Business process management Software engineering program verification modelling languages FILLING MACHINE Case studies

来源：评论

学校读者我要写书评

暂无评论

Proof-of-concept of a networked validation environment for distributed air/ground nextgen concepts

Proof-of-concept of a networked validation environment for d...

引用

2013 Aviation Technology, Integration, and Operations Conference

作者： Grisham, James Larson, Natalie Nelson, Justin Reed, Joshua Suggs, Marvin Underwood, Matthew Papelis, Yiannis Ballin, Mark G. University of Texas at Arlington Mechanical and Aerospace Engineering Arlington TX 76019 United States University of California San Diego Computer Science and Engineering La Jolla CA 92093 United States University of Wisconsin-Stout Department of Computer Science Menomonie WI 54751 United States Old Dominion University Department of Aerospace Engineering Norfolk VA 23529 United States Arkansas Tech University Department of Electrical Engineering Russellville AR 72801 United States West Virginia University Mechanical and Aerospace Engineering Morgantown WV 26506 United States Old Dominion University Virginia Modeling Analysis and Simulation Center Norfolk VA 23529 United States NASA Langley Research Center Hampton VA 23681 United States

ISBN: (纸本)9781624102257

The National Airspace System (NAS) must be improved to increase capacity, reduce flight delays, and minimize environmental impacts of air travel. NASA has been tasked with aiding the Federal Aviation Administration (FAA) in NAS modernization. Automatic Dependent Surveillance-Broadcast (ADS-B) is an enabling technology that is fundamental to realization of the Next Generation Air Transportation System (NextGen). Despite the 2020 FAA mandate requiring ADS-B Out equipage, airspace users are lacking incentives to equip with the requisite ADS-B avionics. A need exists to validate in flight tests advanced concepts of operation (ConOps) that rely on ADS-B and other data links without requiring costly equipage. A potential solution is presented in this paper. It is possible to emulate future data link capabilities using the existing in-flight Internet and reduced-cost test equipment. To establish proof-of-concept, a high-fidelity traffic operations simulation was modified to include a module that simulated Internet transmission of ADS-B messages. An advanced NASA ConOp, Flight Deck Interval Management (FIM), was used to evaluate technical feasibility. A preliminary assessment of the effects of latency and dropout rate on FIM was performed. Flight hardware that would be used by proposed test environment was connected to the simulation so that data transfer from aircraft systems to test equipment could be verified. The results indicate that the FIM ConOp, and therefore, many other advanced ConOps with equal or lesser response characteristics and data requirements, can be evaluated in flight using the proposed concept.

关键词： NASA

来源：评论

学校读者我要写书评

暂无评论

A disc-based decomposition alogrithm with optimal load balancing for n-body simulations

A disc-based decomposition alogrithm with optimal load balan...

引用

2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012

作者： Gothandaraman, Akila Nason, Thomas Warren, Lee Center for Simulation and Modeling University of Pittsburgh PA United States Department of Electrical and Computer Engineering University of Pittsburgh PA United States Department of Chemistry College of New Rochelle NY United States

ISBN: (纸本)9780769549569

We propose a novel disc-based data decomposition algorithm for N-body simulations and compare its performance against a cyclic decomposition algorithm. We implement the data decomposition algorithms towards the calculation of three-body interactions in the Stillinger-Weber potential for a system of water molecules. The performance is studied in terms of load balance behavior and speedup from the MPI implementations of the two algorithms. We are also currently working on a performance study of the disc-based decomposition algorithm on graphics processing units (GPUs). © 2012 IEEE.

关键词： Program processors

来源：评论

学校读者我要写书评

暂无评论

Interactive exploration of stress tensors used in computational turbulent combustion 3rd

Interactive exploration of stress tensors used in computatio...

引用

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

来源：评论

学校读者我要写书评

暂无评论

Poster: A Disc-Based Decomposition Alogrithm with Optimal Load Balancing for N-Body simulations

Poster: A Disc-Based Decomposition Alogrithm with Optimal Lo...

引用

High Performance Computing, Networking, Storage and Analysis (SCC), SC Companion:

作者： Akila Gothandaraman Thomas Nason Lee Warren Center for Simulation and Modeling University of Pittsburgh PA USA Department of Electrical and Computer Engineering University of Pittsburgh PA USA Department of Chemistry College of New Rochelle NY USA

关键词：

来源：评论

学校读者我要写书评

暂无评论

Formal analysis of fractional order systems in HOL 11

Formal analysis of fractional order systems in HOL

引用

Formal Methods in computer Aided Design (FMCAD)

作者： Umair Siddique Osman Hasan Research Center for Modeling and Simulation National University of Science and Technology Islamabad Pakistan School of Electrical Engineering and Computer Science National University of Science and Technology Islamabad Pakistan

ISBN: (纸本)9780983567813

Fractional order systems, which involve integration and differentiation of non integer order, are increasingly being used in the fields of control systems, robotics, signal processing and circuit theory. Traditionally, the analysis of fractional order systems has been performed using paper-and-pencil based proofs or computer algebra systems. These analysis techniques compromise the accuracy of their results and thus are not recommended to be used for safety-critical fractional order systems. To overcome this limitation, we propose to leverage upon the high expressiveness of higher-order logic to formalize the theory of fractional calculus, which is the foremost mathematical concept in analyzing fractional order systems. This paper provides a higher-order-logic formalization of fractional calculus based on the Riemann-Liouville approach using the HOL theorem prover. To demonstrate the usefulness of the reported formalization, we utilize it to formally analyze some fractional order systems, namely, a fractional electrical component Resistoductance, a fractional integrator and a fractional differentiator circuit.

关键词： Fractional calculus Calculus Analytical models Cognition Linearity Equations

来源：评论

学校读者我要写书评

暂无评论

ENteric Immunity SImulator: A Tool for in silico Study of Gut Immunopathologies

ENteric Immunity SImulator: A Tool for in silico Study of Gu...

引用

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

作者： Katherine V. Wendeldorf Josep Bassaganya-Riera Keith Bisset Stephen Eubank Raquel Hontecillas Madhav Marathe Network Dynamics and Simulation Science Laboratory Center of Modeling Immunity to Enteric Pathogens Virginia Bioinformatics Institute Virginia Polytechnic Institute and University Blacksburg VA USA Nutritional Immunology and Molecular Medicine Laboratory Center of Modeling Immunity to Enteric Pathogens Virginia Bioinformatics Institute Virginia Polytechnic Institute and University Blacksburg VA USA Department of Computer Science Center of Modeling Immunity to Enteric Pathogens Virginia Bioinformatics Institute Virginia Polytechnic Institute and University Blacksburg VA USA

Clinical symptoms of gastrointestinal (GI) infections are often caused by the inflammatory response elicited to eliminate the invading microbe. Here we present ENISI, a simulator of GI immune mechanisms in response to resident commensal bacteria as well as invading pathogens and the effect on host clinical symptoms. ENISI is a tool for identifying treatment strategies that reduce inflammation-induced damage and, at the same time, ensure pathogen removal by allowing one to test plausibility of in vitro observed behavior as explanations for observations in vivo, propose behaviors not yet tested in vitro that could explain these tissue-level observations, and conduct low-cost, preliminary experiments of proposed interventions/ treatments. An example of such application is shown in which we simulate dysentery resulting from B. hyodysenteriae infection and identify aspects of the host immune pathways that lead to continued inflammation-induced tissue damage even after pathogen elimination.

关键词： Immune system Microorganisms Automata Pathogens Blood Tissue damage Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Towards a methodological approach to identify future M&S standard needs

Towards a methodological approach to identify future M&S sta...

引用

2011 Winter simulation Conference, WSC 2011

作者： Tolk, Andreas Balci, Osman Diallo, Saikou Y. Fishwick, Paul A. Hu, Xiaolin Loper, Margaret Petty, Mikel D. Reynolds Jr., Paul F. Sarjoughian, Hessam Zeigler, Bernard P. Old Dominion University Engineering Management and Systems Engineering 241 Kaufman Hall Norfolk VA 23529 United States Virginia Tech. Department of Computer Science 3160B Torgersen Hall Blacksburg VA 24061 United States Virginia Modeling Analysis and Simulation Center Old Dominion University 1030 University Blvd Suffolk VA 23435 United States University of Florida Digital Arts and Sciences CISE Department Gainesville FL 32611 United States Georgia State University Computer Science Department Atlanta GA 30303 United States Georgia Tech. Research Institute Information and Communications Laboratory Atlanta GA 30318 United States University of Alabama in Huntsville Shelby Center 144 301 Sparkman Drive Huntsville AL 35899 United States University of Virginia 151 Engineer's Way Charlottesville VA 22901 United States Arizona State University Center for Integrative Modeling and Simulation Tempe AZ 85271 United States RTSync Corp. 11900 Parklawn Dr. Rockville MD 20852 United States

ISBN: (纸本)9781457721083

Although modeling and simulation is successfully applied for several decades, the community only established a handful of M&S specific standards. Although the standards were applied enabling worldwide distributed simulation applications, in particular in the training application domain of military simulation systems, the general success of M&S standard efforts and their potential for general applicability has been debated repeatedly during several conferences and workshop. This collection of position statements discusses related questions, such as, "What makes M&S special that we need M&S standards," "Are M&S standards truly different from Software Engineering Standards," and "What metrics can be used to measure M&S standard success," and tries to contribute to establishing a methodological approach to identify future M&S standard needs. These position statements have been contributed in preparation of a panel discussion and edited for the supporting proceedings. © 2011 IEEE.

关键词： Military applications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：