摘要：为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Petri网的图标编程系统．本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生成算法；最后，结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程．该系统原型在SGI图形工作站UNIX环境中的运行试验表明：与时态逻辑相比，无论在编程阶段还是程序运行阶段，Petri网都有很直观的可视化效果．

摘要：文中介绍了已经实现的快速原型化工具系统ＲＰＴＳ，它采用伪函数技术，使应用程序的界面和内部功能原型在制作方面可完全并行进行．为了支持功能原型化的图形表示，提出了功能分割原型化方法及把功能分割图翻译成Ｃ语言程序的算法．

摘要：快速原型（ｒａｐｉｄｐｒｏｔｏｔｙｐｉｎｇ）技术是进行计算机应用系统开发的一种重要技术．然而，快速原型需要有良好的工具支持．

摘要：A stack data cache is designed according to the features of intelligent workstation(IW) in A1 type intelligent network. Its page fault rate is up to 10 -3 , and the overhead of page replacement is only half of the normal. Stack data cache is suitable for IWs inference engine especially.