基于Petri网的图标编程系统

来源 :计算机学报 | 被引量 : 0次 | 上传用户:coldbee
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Petri网的图标编程系统。本文首先给出了四类基本图标的形式定义;接着,讨论了该系统各构件的功能并设计了网分析图的生成算法;最后,结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程。该系统原型在SGI图形工作站UNIX环境中的运行试验表明:与时态逻辑相比,无论在编程阶段还是程序运
其他文献
身体是革命的本钱,说的是只有拥有良好的身体素质才能干革命,干事业。在和平和发展年代,也只有良好的身体素质才能开创事业。这是从宏观方面谈身体健康的重要性,其实我们更多
在二维图像分割中,“智能剪刀”是一种非常用的交互方法。
本文讨论了用平面有序四点确定一条抛物线及其在参数插值中的应用。提出了有用四点确定一条抛物线的算法,讨论了确定抛物线的四点相互间要满足的位置。对平面给定的一组数据点
何华灿等1996年提出关于不确定性推理的泛逻辑,对泛非运算给出了它的零级形式N(X)=1—X.本文讨论它的一级形式,内容包括不确定性的级,一级泛非现象,一级泛非公理,一级泛非运算N(X,h)的定
我国疆土幅员辽阔,是名副其实的农业大国。强大的农业基底,让我们成为世界耀眼的东方明珠。伴随现代科技与社会的迅猛发展与进步,农业劳作的传统方式显然无法适应人口增长的
教育部制定《义务教育数学课程标准(2011年版)》后不久,在新课程标准的全新理念指引下,沪科版初中数学教材进行了一次全面的修订,自2012年6月七年级上册开始到今年九年级下册的出
本文以重载铁路线路养护维修工作为研究对象,在归纳重载铁路线路养护维修基本内涵与原则的基础上,探讨了重载铁路线路养护维修质量提高的对策,对于促进我国城际大型货物运输
1988年,β受体阻滞剂普萘洛尔的发明者lames Whyte Black获得诺贝尔医学奖。1964年,经过大量的临床试验及前期研究,首个β受体阻滞剂普蔡洛尔上市,至今临床仍广泛应用,已有50多年
2013年12月18日,世界500强巨头拉法基在渝发布明年的发展计划,推出4款新型节能混凝土材料。拉法基中国区市场营销副总裁陈梅透露,这4款混凝土材料都是地道的“重庆造”,明年将在
班主任是学生成长、发展的引路人,是班级的组织者、教育者和指导者,是教育思想的贯彻者。班主任在学校全面贯彻教育方针,全面推行素质教育,促进学生的全面发展中具有不可替代的作