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.