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

9320427 Cremer这个奖项是为了创建一个混合共享和分布式内存计算集群，用于支持以下实验并行和分布式计算的研究项目：(1)物理系统模拟和应用数值计算：虽然科学计算的更快、更强大的硬件不断被开发出来，但创建充分利用这些硬件的软件的任务仍然相当困难。该项目旨在开发基础技术和软件工具，以促进高性能物理系统仿真环境的开发。特别强调高性能机械系统模拟器的开发，并行实时集成方法，以及实时驾驶仿真中的场景控制框架。(2)自动推理：推理算法被用于计算机科学和人工智能的许多应用领域，如硬件和软件验证、演绎数据库、约束求解、演绎计划生成、程序规范和生成以及逻辑编程。该项目的目标是开发新的高性能推理算法，重点是用户友好的归纳证明程序，可满足性决策程序和分布式/并行定理证明程序。每一种方法都需要结合实施、实验和理论分析。(3)自稳定系统：自稳定程序是不需要初始化，可以从任意瞬时故障中恢复的程序。在大型系统中，软件故障可能由于时间问题而发生，而这只能通过代价高昂的同步过程来防止。使用自稳定技术，可以通过容忍和从故障中恢复来避免对这种同步过程的需要。此外，这类程序的应用已经超出了容错性——稳定可以用于适应系统变化类似于瞬态故障的动态环境。本课题研究以下问题：稳定仿真；稳定自适应程序；以及自稳定理论模型与经验模型之间的差异。*** @ j SOUNDRECEXE @ j i SSMARQUESCR @ j B SSMYST SCR @ j L SSSTARS SCR @ j D TADA WAV @ j &amp； 1 TARTAN BMP @ j 4 v TERMINALEXE @ j E B TERMINALHLP @ j 9320427 Cremer该奖项用于创建混合共享和分布式内存计算集群，用于支持D n你呢？0 _ d $ $ $ Gd n d时代符号“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 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