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

Proceedings of the 1998 Winter Simulation Conference, WSC. Part 1 (of 2)

作者： Rao, Dhananjai Madhava Thondugulam, Narayanan V. Radhakrishnan, Radharamanan Wilsey, Philip A. Computer Architecture Design Lab Cincinnati United States

Distributed synchronization for parallel simulation is generally classified as being either optimistic or conservative. While considerable investigations have been conducted to analyze and optimize each of these synchronization strategies, very little study on the definition and strictness of causality have been conducted. Do we really need to preserve causality in all types of simulations? This paper attempts to answer this question. We argue that significant performance gains can be made by reconsidering this definition to decide if the parallel simulation needs to preserve causality. We investigate the feasibility of unsynchronized parallel simulation through the use of several queuing model simulations and present a comparative analysis between unsynchronized and Time Warp simulation.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

SAVANT/TyVIS/warped: components for the analysis and simulation of VHDL

SAVANT/TyVIS/warped: components for the analysis and simulat...

引用

Proceedings of the 1998 International Verilog HDL Conference

作者： Wilsey, Philip A. Martin, Dale E. Subramani, Krishnan Computer Architecture Design Lab Cincinnati United States

The SAVANT, QUEST II, and HEPE research programs at the University of Cincinnati include the development and distribution of VHDL analysis and simulation capabilities. These capabilities are being freely distributed for non-commercial use. The SAVANT project is underway specifically to develop a VHDL analyzer with a well-documented, extensible intermediate form;the main objective is to smooth the integration of VHDL technology into university and industrial research programs. The SAVANT project is funded through the Air Force SBIR program and is a joint activity between the University of Cincinnati and MTL Systems, Inc. The QUEST II program is investigating parallel algorithms and architectures for simulation, behavioral synthesis, and ATPG. The HEPE program is investigating (in part) novel strategies for relaxing causal orders in the parallel simulation of active networks. As part of the QUEST II/HEPE simulation activities, a VHDL simulation kernel is being developed that will operate with the SAVANT intermediate form for sequential or parallel execution of VHDL models (a C++ code generator from the SAVANT intermediate is being jointly developed by the SAVANT and QUEST II programs). All of the software from the QUEST and HEPE simulation programs is freely available for use (commercial or otherwise).

关键词： computer hardware description languages

来源：评论

学校读者我要写书评

暂无评论

Framework for performance analysis of parallel discrete event simulators

Framework for performance analysis of parallel discrete even...

引用

Proceedings of the 1997 Winter Simulation Conference

作者： Balakrishnan, Vijay Frey, Peter Abu-Ghazaleh, Nael B. Wilsey, Philip A. Computer Architecture Design Lab Cincinnati United States

A framework for performance analysis of parallel discrete event simulators is presented. The center-piece of this framework is a platform-independent Workload Specification Language (WSL). WSL is a language that allows the characterization of simulation models using a set of fundamental performance-critical parameters. WSL also implements a facility for representing real models. For each simulator to be tested, a WSL translator is used to generate synthetic platform-specific simulation models that conform to the performance characteristics captured by the WSL description. Accordingly, sets of portable simulation models that explore the effects of the different parameters, individually or collectively, on the performance can be constructed. The construction of the workload simulation models is assisted using a Synthetic Workload Generator (SWG). The utility of the system is demonstrated with the generation of a representative set of experiments. The described framework can be used to create a standard benchmark suite that consists of a mixture of real simulation models, selected from different application domains, and synthetic models generated by SWG.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

The optimization of architectural shape based on Genetic Algorithm

引用

Frontiers of Architectural Research 2012年第4期1卷 392-399页

作者： Li Li Computer Aided Architectural Design Institute for Technology in Architecture (ITA) Department for Architecture ETH Zurich Zurich 8092 Switzerland Urban Architectural Lab Architectural Design Institute of Southeast University Nanjing 210096 China

Genetic Algorithm （GA） is widely adopted in optimization and the improvement of its optimization performance is attracting many researchers＇ attentions. In solving practical probtems in the process of architectural design, the ways of converting design problems into mathematical models that can be addressed by GA are of great significance in achieving final optimal results. However, no such rute that can be applied to such conversion has been devetoped so far. In general, problems which can be addressed by GA can be divided into combinatorial problems and numerical probtems. In this paper, by means of attempting to disintegrate a complicated architectural probtem into combinatorial and numericat probtems, the author discusses feasibitity and practicality of sotving these two types of problems simultaneousty utitizing GA and discloses both advantages and disadvantages of GA by comparing with other algorithms.

关键词： Genetic Algorithms Unfoldins Combinatorialproblems Numerical problems Architectural desisn

来源：评论

学校读者我要写书评

暂无评论

Virtual and augmented reality for rich interaction with cultural heritage sites: A case study from the Roman Theater at Byblos

引用

Digital Applications in Archaeology and Cultural Heritage 2017年 5卷 1-9页

作者： Younes, Georges Kahil, Rany Jallad, Mayssa Asmar, Daniel Elhajj, Imad Turkiyyah, George Al-Harithy, Howayda VRL Lab American University of Beirut Lebanon Computer Science department American University of Beirut Lebanon Department of Architecture and Design American University of Beirut Lebanon

The conservation and valorization of our cultural heritage has become one of the priorities of the international community. Accordingly, many technological applications are being developed with a cultural object as the focal theme of interest. This paper presents a detailed account of the construction of a computerized model of the Roman Theater of Byblos, one of oldest continuously inhabited cities in the world. Central to the paper is a historical study, which yielded the formation of a hypothesis on the original shape and details of the theater, which today retains very little of its original structure. Another major part of the paper is the detailed description of the procedures for the creation of both a virtual and augmented reality application of the Roman theater. © 2017

关键词： Augmented reality Byblos Roman theater Virtual reality

来源：评论

学校读者我要写书评

暂无评论

'Smart' housing for the elderly: Understanding perceptions and biases of rural America

'Smart' housing for the elderly: Understanding perceptions a...

引用

ACADIA 2007 Conference on Expanding Bodies: Art, Cities and Environment

作者： Satpathy, Lalatendu Mathew, Anijo Punnen Human-Computer Interaction Institute Carnegie Mellon University United States Design Research and Informatics Lab. College of Architecture Art and Design Mississippi State University United States

ISBN: (纸本)9780978097868

It is commonly acknowledged that 'smart' environments, interactive architecture and 'smart' homes will defi ne the next cutting edge in architectural research. Most critics agree that one of the fi rst problems that 'smart' homes will help to address is that of spiraling costs of healthcare and aging-in-place. This may be true for urban settings where there is the fi nancial feasibility for such technologies but what about rural America? It has been conclusively proven that rural America suffers from a lack of healthcare (delivery and access). Prior research (Mathew 2005) has also established that a rural home is different from an urban home. Will technologies designed for the urban home work in a rural setting? And do rural people carry the same attitudes and biases towards technology? This paper continues our research in the design of 'smart' rural environments. It summarizes fi ndings from focus group studies conducted in rural communities that help us to understand attitudes of people towards 'smart' technology. We will use these fi ndings to examine the feasibility of ubiquitous computing and 'smart' spaces in rural areas. In conclusion, we will present guidelines to help designers in the creation of technology to augment healthy aging in rural home settings.

关键词： Smart homes

来源：评论

学校读者我要写书评

暂无评论

A Semantic Model of VHDL for Validating Rewriting Algebras

A Semantic Model of VHDL for Validating Rewriting Algebras

引用

22nd EUROMICRO Conference on Beyond 2000: Hardware and Software design Strategies, EUROMICRO 1996

作者： Pandey, Sheetanshu L. Subramanian, Kothanda R. Wilsey, Philip A. Computer Architecture Design Lab Dept. of ECECS Univ. of Cincinnati PO Box 210030 CincinnatiOH45221-0030 United States

This paper presents a formal model of the dynamic semantics of VHD Lusing interval temporal logic. The model uses a declarative style that provides a semantic definition of VHDL independent of the VHDL simulation cycle. Therefore, the model can be used as a platform for comparing alternative and possibly more efficient algorithms for simulating VHDL. Further more, optimization techniques for improving the performance of VHDL simulators can be validated against this model. To support this claim, we present a proof asserting the validity of process-folding. In contrast to past eforts that concentrate only on design verification, this model is also oriented towards CAD tool optimization. The model is comprehensive and characterizes most of the important features of elaborated VHDL. © 1996 Institute of Electrical and Electronics Engineers Inc.. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Unfolding - A library for interactive maps

Unfolding - A library for interactive maps

引用

1st International Conference on Human Factors in Computing and Informatics, SouthCHI 2013

作者： Nagel, Till Klerkx, Joris Vande Moere, Andrew Duval, Erik Interaction Design Lab. FH Potsdam Germany Department of Computer Science KU Leuven Belgium Department of Architecture Urbanism and Planning KU Leuven Belgium

ISBN: (纸本)9783642390616

Visualizing data with geo-spatial properties has become more important and prevalent due to the wide spread dissemination of devices, sensors, databases, and services with references to the physical world. Yet, with existing tools it is often difficult to create interactive geovisualizations tailored for a particular domain or a specific dataset. We present Unfolding, a library for interactive maps and data visualization. Unfolding provides an API for designers to quickly create and customize geo-visualizations. In this paper, we describe the design criteria, the development process, and the functionalities of Unfolding. We demonstrate its versatility in use through a collection of examples. Results from a user survey suggests programmers find the library easy to learn and to use. © 2013 Springer-Verlag.

关键词： Data visualization

来源：评论

学校读者我要写书评

暂无评论

Influence of psychoacoustic roughness on musical intonation preference

Influence of psychoacoustic roughness on musical intonation ...

引用

128th Audio Engineering Society Convention 2010

作者： Villegas, Julián Cohen, Michael Wilson, Ian Martens, William Computer Arts Lab. University of Aizu Japan Center for Language Research University of Aizu Japan Faculty of Architecture Design and Planning University of Sydney NSW 2006 Australia

ISBN: (纸本)9781617387739

An experiment to compare the acceptability of three different music fragments rendered with three different intonations is presented. These preference results were contrasted with those of isolated chords also rendered with the same three intonations. The least rough renditions were found to be those using Twelve-Tone Equal-Temperament (12-tet). Just Intonation (ji) renditions were measured as the roughest and least preferred.

关键词： Psychoacoustic

来源：评论

学校读者我要写书评

暂无评论

Co-designing a Technology Probe with Experienced designers 33

Co-designing a Technology Probe with Experienced Designers

引用

33rd Australian computer-Human Interaction Conference, OzCHI 2021

作者： Gough, Phillip Kocaballi, A. Baki Naqshbandi, Khushnood Z. Cochrane, Karen Mah, Kristina Pillai, Ajit G. Yorulmaz, Yeliz Deny, Ainnoun Kornita Ahmadpour, Naseem Affective Interactions Lab School of Architecture Design and Planning The University of Sydney Australia School of Computer Science University of Technology Sydney Australia School of It Carleton University Canada Independent Artist Australia

ISBN: (纸本)9781450395984

Technology probes are low-fidelity devices that can be used to understand research participant's lived experiences, but they are not usually subject to iterative design. There are opportunities in human-computer interaction to develop technology probes through co-design, by including diverse perspectives during probe development. To explore this opportunity, five design researchers with different disciplinary and cultural backgrounds engaged with a technology probe to support daily reflections, discussed new directions in a co-design workshop and developed narratives to negotiate possibilities of the probe. This paper presents observations described by each of the researchers using the probe, and insights from the process we followed. We discuss how the the designers' postitionalities are reflected in the processes, and how they brought value by shaping narratives of the different roles a technology probe might take. We also discuss how we may use co-design of technology probes as a generative method, highlight the importance of open-endedness in the process, and reflect on lessons learned. © 2021 ACM.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：