Facility for Experimental Exploration and Validation

实验探索和验证设施

• 批准号: 9015667
• 负责人: Gerald Masson
• 金额: $ 111.62万
• 依托单位: Johns Hopkins University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-03-01 至 1996-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9015667&HistoricalAwards=false
• 关键词: Facility; Experimental; Exploration; Validation

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.

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