【摘 要】
：
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p的语言问题.由于∑p的结构一
【机 构】
：
中国科学院计算技术研究所,中国科学院研究生院
【基金项目】
：
国家自然科学基金，山东省优秀中青年科学家科研奖励基金
论文部分内容阅读
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p的语言问题.由于∑p的结构一般比较复杂,直接求取其语言仍然比较困难.通过定义库所的指标函数,将结构复杂的∑p分解成结构简单的子网系统,引入了语言的同步交运算,给出了利用这些子网系统求取结构复杂的∑p语言的方法,从而得到了求取无界Petri网∑的进程表达式的算法.
其他文献
王红等人的文章"可移动Agent系统位置透明通信的一种实现"的结论是值得商榷的.文中指出该文的不足及欠明晰之处,对其结论进行了澄清.
在对D S证据理论进行简单分析之后 ,针对指纹图像提出了一种基于D S证据理论的图像分割算法 .该方法使用方向性和对比度两个信息分别作为两个分类器的特征 ,并利用模糊规则求出各分类器的基本概率分配函数 ,最后利用D S证据理论的合成法则将两个分类器的结果进行融合判决 .该方法具有较高的稳健性和精确度 ,最后给出的实验结果验证了算法的有效性
已有的B样条曲线降阶方法,由于无降阶公式可循,对于可降阶曲线常要通过解一系列线性方程组来实现降阶.该文给出了B样条曲线的降阶公式,使得可直接用降阶公式对可降阶曲线进行
提出了一种能高速度、高精度学习的低维小脑模型神经网络.模型算法采用直接权地址映射技术,将训练样本的输入量化后直接作为联想存储器中C个权的首地址,建立起输入与权的关系
进入了知识经济时代，人们在不断突破自我的同时，也学着不断地保护自我。跨国公司的知识产权战略在一定程度上仍然遏制着中国传统企业的发展，中国DVD企业辛辛苦苦制造的一台DVD播