【摘 要】
：
对Petri网系统的可达性问题做了综合性的阐述和分析,提出了利用能量优化方法来解决可达性问题的方法,并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的
【机 构】
：
加拿大西安大略大学应用数学系,加拿大西安大略, N6A 5B8
【出 处】
：
第十次全国Petri网学术年会暨形式化方法学术讨论会
论文部分内容阅读
对Petri网系统的可达性问题做了综合性的阐述和分析,提出了利用能量优化方法来解决可达性问题的方法,并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究.主要工作包括:1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理;2.建立了能量优化模型,将可达性判断化为优化问题;3.用神经网络来求解能量优化模型;4.最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法.作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案。
其他文献
智能Agent技术的发展为面向Agent程序设计语言的开发提出了新的挑战.目前,多数Agent开发工具基本上都是用Java语言写成的.借助Java的特点,这些Agent开发环境在移动性、安全性
本文主要描述近年来比较热门的网格计算技术在EDA中心的应用实践,我们结合具体的产品和具体的应用来加以说明.希望对于其它系统的建设及应用具有一定的参考意义.
J2EE开发的组件化及随需而变的业务要求推动了基于J2EE的业务基础平台的发展,本文首先从J2EE业务基础平台的需求出发,给出了它的定义及其在J2EE应用体系中的地位,介绍了平台
本文在水利数据库应用系统中引入反射技术,实现对底层数据库变化的自适应,动态加载应用类,实现功能可扩充性,提高系统容错性.基于JavaReflection设计开发洪水预报子系统的原
本文介绍在建设数字图书馆的环境下,采用J2EE&WebServices的技术方案,完成图书馆数字资源系统的设计和部分实现,进一步探索建设数字图书馆的解决方案.
本文结合国土资源和房屋管理网上审批系统的设计和实现,着重介绍了使用UML和RationalRose为基于J2EE的网上审批系统进行建模的方法和过程;详细阐述了网上审批系统中工作流引
这篇文章对数字医院系统进行了阐述与分析,并简要概括了基于MAC模式上,使用struts与hibernate框架对药品管理子系统的部分功能实现
本文详细地介绍了AspectJ,面向方面编程的一些基本概念,以及AspectJ在AOP编程中的应用。
开好会不只是一门高深的学问,也是一种高超的艺术.苏州肥皂厂厂长顾汇芳极善于主持会议,组织各种会议.他能巧妙地通过各种会议把厂内厂外,上下下下,职工和家属,在职的和退休
为解决子系统共享问题,提出了经由Petri网系统共享一种子网构成共享子网合成网的解决方案;给出了一种关于Petri网的从抽象化到精细化描述方法,它是使合成网保持原网性质的一