The University of Chicago Computer Science Laboratory

该奖项将提供资金，以开发计算基础设施， 各种各样的研究，主要领域是平等的 逻辑，基于案例的推理，计算机视觉和图形，数值 解偏微分方程和计算机科学 理论 基础设施将包括超大规模集成电路设计 学生和教师在开发和测试中使用的设施 电路设计 这一设施将用于一些 其他研究项目。 方程逻辑的研究涉及到 等式逻辑编程的有用实现。 的 以下问题将得到解决：编译器优化，激进的新 基于同余闭包的实现技术， 语言提供模块化，实现不确定的 没有Church-Rosser属性的系统，更强大的技术 为了保证确定性，更灵活的输入输出接口 将等式编程与结构编辑器集成， 调试器和等式程序的并行评估。 基于案例推理的研究主要是对案例的分析和推理， 通过记住以前的结果进行推理， 使他们适应新的情况。 该方法将应用于四个 项目：评估学生应用程序，诊断机械 失败，路由交付车辆，并辅导高中学生 在几何学上。 计算机视觉和图形学的研究涉及到一个 一种新的高效通用多面体识别算法 任意方向的物体。 的实际适用性 算法将被测试，算法的推广将被 研究了 偏微分方程数值解的研究 涉及几个项目处理粒子方法，多重网格 方法，变分不等式，超收敛恢复 有限元方法中的信息。 该研究还涉及 研究算子分裂和时间分裂方法， 模拟多孔介质中的流体流动，并处理 Navier-Stokes方程解的奇异性。 研究的理论领域包括复杂性理论和 算法、编程语言语义、递归理论和 递归理论的概念和技术的应用 学习的理论基础。

This award will provide funds to develop computing infrastructure for a wide variety of research, with the primary areas being equational logic, case-based reasoning, computer vision and graphics, numerical solution of partial differential equations, and computer science theory. The infrastructure to be set up will include a VLSI design facility to be used by students and faculty in developing and testing circuit designs. This facility will be used be used by a number of other research projects. The research in equational logic is concerned with the development of useful implementations of an equational logic programming. The following issues will be addressed: compiler optimizations, radical new implementation techniques based on congruence closure, extensions of the language to provide modularity, implementation of indeterminate systems without the Church-Rosser property, more powerful techniques for guaranteeing determinacy, more flexible input-output interfaces integrating equational programming with structure editors and debuggers, and parallel evaluation of equational programs. The research on case-based reasoning is concerned with the analysis and implementation of reasoning by remembering previous results and adapting them to new situations. This approach will be applied to four projects: evaluating student applications, diagnosing mechanical failures, routing delivery vehicles, and tutoring high school students in geometry. The research on computer vision and graphics involves the study of a new efficient general purpose algorithm for recognizing polyhedral objects in arbitrary orientations. Practical applicability of the algorithm will be tested and generalizations of the algorithm will be investigated. The research on numerical solutions of partial differential equations involves several projects dealing with particle methods, multigrid methods, variational inequalities, and superconvergent recovery of information in finite element methods. The research also involves studying operator-splitting and time-splitting methods for the simulation of fluid flow in porous media, and dealing with singularities in solutions of the Navier-Stokes equations. The theoretical areas of research include complexity theory and algorithms, programming language semantics, recursion theory, and the application of recursion theoretic concepts and techniques to the theoretical foundations of learning.