Design and Analysis of Dynamic Processes: A Stochastic Approach

动态过程的设计和分析：随机方法

• 批准号: 9731477
• 负责人: Eli Upfal
• 金额: $ 28.63万
• 依托单位: Brown University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-07-15 至 2003-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9731477&HistoricalAwards=false
• 关键词: Design; Analysis; Dynamic; Processes; Stochastic

This project studies the design and analysis of dynamic computer processes. Past research in theoretical computer science has focused mainly on static computation problems, where the input is known before the start of the computation and the goal is to minimize the number of steps till termination with a correct output. Many important processes in today's computing are dynamic processes, whereby input is continuously injected to the system, and the algorithms is measured by its long term, steady state, performance. Examples of dynamic processes include communication protocols, memory management tools, and time sharing policies. The goal of this project are: (1) To develop new tools for analyzing the performance of dynamic processes, in particular through modeling the dynamic process as an infinite stochastic processes. (2) Use the insight obtained from the above analysis to obtain provably better algorithm for fundamental dynamic processes such as (a) dynamic data structures, (b) communication protocols, and (c) resource sharing protocols. (3) Validate the analysis though simulations to develop algorithms of both practical and theoretical interest.

本课题研究动态计算机过程的设计与分析。过去的理论计算机科学研究主要集中在静态计算问题上，在计算开始之前输入是已知的，目标是尽量减少步骤的数量，直到得到正确的输出。在当今的计算中，许多重要的过程都是动态过程，即输入不断地注入系统，并且算法是通过其长期、稳定状态和性能来衡量的。动态进程的例子包括通信协议、内存管理工具和分时策略。本项目的目标是：(1)开发分析动态过程性能的新工具，特别是通过将动态过程建模为无限随机过程。(2)利用从上述分析中获得的洞察力，获得可证明的更好的基本动态过程算法，如(a)动态数据结构，(b)通信协议，(c)资源共享协议。(3)通过模拟验证分析，以开发具有实际和理论意义的算法。