CISE Research Instrumentation: Instrumentation for Research in Search Technology

CISE 研究仪器：搜索技术研究仪器

• 批准号: 9729807
• 负责人: Hantao Zhang
• 金额: $ 10.08万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-02-15 至 2000-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9729807&HistoricalAwards=false
• 关键词: CISE; Research; Instrumentation; Search; Technology

9729807 Zhang, Hantao University of Iowa CISE Research Instrumentation: Instrumentation for Research in Search Technology This research instrumentation grant contributes to the purchase of several CPUs, switch, disk and tape which will enable the following projects: - Asynchronous Parallel Search Pruning with Applications, - Fast Interior Point Optimization Algorithms, - Optimized Motion Estimation Algorithms for Video Compression, - High Performance Satisfiability Testing, and - Distributed Automated Reasoning, supporting efforts exploring aspects of high-performance search technology. The projects will address: - Development of nagging, an asynchronous, fault-tolerant, parallel search pruning technique with applications to combinatorial optimization, computational biology, and theorem proving; - Development of fast interior-point optimization algorithms and their application to resource allocation and similar problems; - Optimization-based motion estimation techniques for high-quality video compression; - Development of efficient satisfiability testing algorithms and their application to constraint satisfaction and problems in discrete mathematics; - Development of distributed automated-reasoning systems based on the clause- diffusion principle of parallel search with applications to verification, constraint solving, and logic programming. In addition to an environment for the development and testing of coarse-grained distributed search techniques, this new NSF-supported distributed computing facility's high-speed large-memory CPUs constitute the only available dedicated computational resource for empirical evaluations of algorithmic performance, which may sometimes require weeks of CPU time.

9729807 Zhang，Hantao University of爱荷华州 CISE研究仪器：搜索技术研究仪器 这项研究仪器赠款有助于购买几个 CPU、交换机、磁盘和磁带，将支持以下项目： - 异步并行搜索剪枝及其应用， - 快速内点优化算法，视频压缩的优化运动估计算法， - 高性能可满足性测试和分布式自动推理， 支持探索高性能搜索技术方面的努力。 这些项目将涉及： - nagging的开发，一个异步的，容错的，并行的搜索 剪枝技术及其在组合优化中的应用， 计算生物学和定理证明; -快速边界点优化算法及其 - 用于高质量视频的基于优化的运动估计技术 压缩; -开发高效的可满足性测试算法及其 应用于离散数学中的约束满足和问题; -基于子句的分布式自动推理系统的开发- 并行搜索的扩散原理及其在验证、约束求解和逻辑编程中的应用。 除了用于开发和测试 粗粒度的分布式搜索技术，这个新的NSF支持的 分布式计算设施的高速大内存CPU构成 唯一可用的专用计算资源， 算法性能评估，有时可能需要数周时间 CPU时间