人工智能技术在网络管理协议验证中的应用

经过努力，在Win32API上用Visual C++实现了Clean语言的一个原型。该语言的特点是。①图重写。图重写技术可明显提高函数式语言的执行速度，节省内存消耗。②先进的类型系统。Clean实现了一个具有多态或重载特性的强类型系统。③实现了面向图形的交互。我们的实现利用Windows系统所提供的良好的交互特性，使得程序的输入、修改、调试都在图形用户界面中完成。④可扩展性好。整个系统都用面向对象技术进行构造。每个类的规模都很小，但类与类之间接口清晰。这种方法使得整个系统的扩展和重组变得比较方便。现存在的主要问题是该系统的运行还不够稳定，需经过一段时间使用才能逐步趋向于稳定。目前正在试图向该系统中加入并发描述机制。