Design and Analysis of Dynamic Processes: A Stochastic Approach

该项目研究动态计算机过程的设计和分析。过去理论计算机科学的研究主要集中在静态计算问题上，其中输入在计算开始之前就已知，目标是最小化到具有正确输出的终止的步数。当今计算中的许多重要过程都是动态过程，输入不断地注入系统，而算法是通过其长期、稳定的性能来衡量的。动态进程的示例包括通信协议、内存管理工具和分时策略。该项目的目标是：(1)开发新的工具来分析动态过程的性能，特别是通过将动态过程建模为无限随机过程。(2)使用从上述分析中获得的洞察力来获得用于诸如(A)动态数据结构、(B)通信协议和(C)资源共享协议的基本动态过程的明显更好的算法。(3)通过仿真对分析结果进行验证，开发出具有实际意义和理论意义的算法。

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.