Visualization of Algorithms

1.我们正在加紧推进分布式算法的研究。验证新算法的正确性是非常困难的。这导致了分布式算法模拟器，它是非常有用的，以找出错误的算法。该模拟器的设计非常仔细，相对于可视化和人工. 2.介绍了情景语言和多媒体演示系统的概念，并给出了其设计和原型.我们已经实现并使用了一个教育演示系统CDi。它在日常教室中使用非常有效。我们正在不断改进它的功能.实现了一个虚拟机Comet的仿真器。它用于一年级的班级，目的是教计算机如何工作和如何开发汇编语言程序。学生们很喜欢模拟器。

1. We are promoting the reseach on distributed algorithms intensively. It is very difficult to verify the correctness of new algorithms. This led to a ditributed algorithm simulator and it is very useful to find out bugs in the algorithm. The simulator is designed very carefully with respect to visualization and manpulation.2. We introduced concepts of a scenario language and an associated multimedia presentation system and presented its design and prototype.3. We have implemented and used an educational presentation system CDi. It is used very effectively in daily class room. We are continuousky improving its functionality.4. Also implemented an efucational simulator of a virtual machine comet. It is used in a freshmen's class for the purpose to teach how computer works and how to develop assembly langauge programs. The students are enjoying the simulator.