CISE Research Instrumentation: Experimental Parallel and Distributed Computing Research at the University of Iowa

CISE 研究仪器：爱荷华大学实验并行和分布式计算研究

• 批准号: 9320427
• 负责人: James Cremer
• 金额: $ 13万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-03-01 至 1995-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9320427&HistoricalAwards=false
• 关键词: CISE; Research; Instrumentation; Experimental; Parallel

9320427 Cremer This award is for creating a mixed shared and distributed memory computing cluster to be used in support of the following research projects in experimental parallel and distributed computing: (1) Physical System Simulation and Applied Numerical Computing: While faster and more powerful hardware for scientific computation continues to be developed, that task of creating software to take full advantage of such hardware remains quite difficult. This project aims to develop fundamental techniques and software tools that facilitate the development of high-performance physical system simulation environments. Particular emphasis is on development of high-performance mechanical systems simulators, parallel real-time integration methods, and a framework for scenario control in real-time driving simulation. (2) Automated Reasoning: Reasoning algorithms are used in many application areas of computer science and artificial intelligence, such as hardware and software verification, deductive data bases, constraint solving, deductive plan generation, program specification and generation, and logic programming. The objective of this project is to develop new high performance reasoning algorithms, focusing on user-friendly induction provers, satisfiability decision procedures, and distributed/parallel theorem provers. Each of these requires a combination of implementation, experimentation, and theoretical analysis. (3) Self-Stabilizing Systems: Self-stabilizing programs are programs that require no initialization and can recover from arbitrary transient failures. In large systems, software failures ma y occur due to timing problems that can only be prevented by costly synchronization procedures. Using the techniques of self-stabilization, the need for such synchronization procedures can be avoided by tolerating and recovering from faults. Moreover, it has been such programs have applications beyond fault-tolerance -- stabilization can be useful to adapt to dynamic environments where changes to the system resemble transient faults. This project examines the following problems: stabilizing simulation; stabilizing adaptive programs; and discrepancies between theoretical and empirical models of self-stabilization. *** @ j SOUNDRECEXE @ j i SSMARQUESCR @ j B SSMYST SCR @ j L SSSTARS SCR @ j D TADA WAV @ j & l TARTAN BMP @ j 4 v TERMINALEXE @ j E B TERMINALHLP @ j 9320427 Cremer This award is for creating a mixed shared and distributed memory computing cluster to be used in support of d n U W . 0 _ d $ $ $ G d n d Times Symbol " Helvetica Chicago Times New Roman & Arial 5 Courier New R ZapfDingbats Palatino Greek GenMath MathMeteor MT Extra " + e+ e 4 Cremer/Iowa Mark Purvis Mark Purvis

9320427 Cremer该奖项是为了创建一个混合的共享和分布式内存计算群集，用于支持实验平行和分布式计算中以下研究项目的使用：（1）物理系统模拟和应用数字计算：虽然更快且更强大的硬件用于科学计算继续开发出来的软件，以使这些硬件充分利用此类硬件的优势。 该项目旨在开发基本技术和软件工具，以促进高性能物理系统模拟环境的开发。 特别重点是开发高性能机械系统模拟器，并行实时集成方法以及实时驾驶模拟中场景控制的框架。 （2）自动推理：推理算法用于计算机科学和人工智能的许多应用领域，例如硬件和软件验证，推论数据库，解决方案解决，扣除计划生成，程序规范和生成以及逻辑计划。 该项目的目的是开发新的高性能推理算法，专注于用户友好的归纳弃权，令人满意的决策程序以及分布式/并行定理抛弃。 这些都需要结合实施，实验和理论分析。 （3）自动化系统：自稳定程序是不需要初始化的程序，并且可以从任意瞬态失败中恢复。 在大型系统中，由于定时问题而发生的软件故障，只能通过昂贵的同步程序来预防。 使用自动化的技术，可以通过耐受和从故障中恢复来避免对这种同步程序的需求。 此外，此类程序的应用程序超出了容错 - 稳定功能可用于适应系统变化类似于瞬态故障的动态环境。 该项目研究了以下问题：稳定模拟；稳定适应性计划；自我稳定的理论和经验模型之间的差异。 *** @ j SOUNDRECEXE @ j i SSMARQUESCR @ j B SSMYST SCR @ j L SSSTARS SCR @ j D TADA WAV @ j & l TARTAN BMP @ j 4 v TERMINALEXE @ j E B TERMINALHLP @ j 9320427 Cremer This award is for creating a mixed shared and distributed memory computing cluster to be used in support of d n U W . 0 _ d $ $ $ $ g d n dimes符号“ helvetica芝加哥时报新罗马和arial 5 courier new r zapfdingbats palatino palatino genmath genmath genmath mathmeteor mt extra