Facility for Experimental Exploration and Validation

这个基础设施奖是为购买网络的高 高速工作站 这个工作站网络将支持 研究人工智能、编程语言、几何 计算和容错计算。 人工智能 研究集中在四个领域：机器学习，约束 满意度网络，并行逻辑编程和知识 表示. 编程语言的研究涉及到 将CCS规范翻译成一种实现语言， 可证明地实现并发性并且可证明地满足真实的时间 约束 几何计算的研究主要集中在 计算高次曲线和曲面，替换表示 对于曲线和曲面， 模式和运动规划。 容错计算研究 集中在自我监控系统上。 约翰霍普金斯大学将利用其基础设施赠款， 计算机科学实验研究的环境， 信息科学和计算机工程。 人工 智能是基于计算机的研究的总称， 执行通常被描述为“智能动作”的动作。“约翰 霍普金斯大学的研究人员将探索学习和推理的行动。 指导计算机操作的语言已经被研究过了 多年来 这些语言的目标是简洁地描述 以尽可能小的误差进行所需的操作。 的 约翰霍普金斯的编程语言研究追求这一目标， 必须“真实的时间”作出反应的系统。 使用电脑 广泛应用于机器人。为了进行推理， 机器人所在的环境，一个数学模型， 这种环境必须建立起来。 约翰霍普金斯大学的研究人员将 学习如何建立和使用更好的数学模型。 最后，整个网络将被用作测试床， 检测网络上故障计算机或链路的算法。

This infrastructure award is for the purchase of a network of high speed workstations. This network of workstations is to support research in artificial intelligence, programming languages, geometric computing, and fault tolerant computing. The artificial intelligence research is concentrated in four areas: machine learning, constraint satisfaction networks, parallel logic programming, and knowledge representation. The research in programming languages involves the translation of CCS specifications to an implementation language which provably implements concurrency and provably satisfies real time constraints. The research in geometric computing is focused on computing higher-degree curves and surfaces, alternate representations for curves and surfaces, efficient methods for representing geometric modes, and motion planning. The research in fault tolerant computing is concentrated on self-monitoring systems. Johns Hopkins University will use its infrastructure grant to improve the environment for experimental research in computer science, information science, and computer engineering. Artificial intelligence is the generic name given to computer based research on performing actions normally described as "intelligent actions." Johns Hopkins researchers will explore learning and reasoning actions. Languages to instruct computers in their operations have been studied for many years. The goal of these languages is to succinctly describe the desired operation with as little error as possible. The programming language research at Johns Hopkins pursues this goal for systems that must respond in "real time". Computers are used extensively in robots. In order for reasoning to be performed about the environment in which the robot resides, a mathematical model of that environment must be constructed. Johns Hopkins researchers will be studying how to construct and use better mathematical models. Finally, the network as a whole will be used as a test bed for algorithms to detect faulty computers or links on the network.