论文部分内容阅读
Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法。
Petri网语言表达式及其求解算法
【摘 要】
：
Petri网语言是描述网系统动作序列的集合。为了给出一个网系统语言的形式描述,基于Petri网的状态转换图,分析了Petri网的行为特征,定义了α闭包表达式和Petri网语言表达式,给出了求解Petri网语言表达式的算法,为Petri网语言的形式化描述和分析提供了一种新方法。
【机 构】
：
山东农业大学信息科学与工程学院
【出 处】
：
计算机科学
【发表日期】
：
2009年11期
【基金项目】
：
本文受国家自然科学基金（60673053）,国家自然科学基金委员会重大研究计划项目（90718011）资助.
其他文献
目的研究体内G蛋白偶联受体激酶5（GRK5）缺陷是否会加剧转瑞典突变淀粉样肽前体蛋白基因（TgAPPsw，Tg2576）小鼠海马内的病理改变。方法将具有C57／BL6遗传背景的GRK5缺陷／敲除（GRK5KO）杂
为提高无人机着陆阶段导航信息的自主性，研究了一种基于对应线标定的单目视觉位姿测量方法，以独立确定固定翼无人机在着陆时的姿态和相对着陆点的位置。首先，建立了机载摄像机的
过碘酸雪夫氏反应（PAS）主要应用于检测糖原，中性粘多糖，粘蛋白，糖脂。而阿利辛兰（AB）是一种水溶性的多价碱性染料，在3％的乙酸作为溶剂时（pH2．5），能与硫酸、羧酸及其盐类的酸性粘多糖（PAS反
分析了空间科学与探测任务论证支持系统（SSDRSS）的功能和仿真需求，实现了可扩展的仿真系统体系结构设计。基于高层体系结构（HLA）的仿真实现采用了灵活的成员接口设计和合理的联邦
光栅传感技术作为一种全新的测试技术，它具有很多优点。在抗滑桩模型实验测试中应用了该项技术。首先，将FBG传感器与电测传感器在抗滑桩上进行标定，得出两者的关系大致为1．143
和大多数通常已知的对称性加密算法（包括AES的代表算法，例如Riindael和Twofish）相比较，多态性密码可以抵御差分密码攻击。这种算法主要用于磁盘文件的加密。要解决的问题是在P2P
流形学习是一种新出现的机器学习方法，近年来引起越来越多的计算机科学工作者和认知科学工作者的重视。为了加深对流形学习的认识和理解，从流形与流形学习的基本概念入手，追溯它
分析了Harris角点检测算子的实现原理及其用于图像序列拼接时存在的不足,从几个方面提出了改进:用新的x和y方向梯度算子求取图像导数,对灰度变化更敏感;改进了角点响应函数,避免了k值选择的随机性;根据图像序列首图像自动确定R阈值,提高了算法的自动处理能力和速度;根据目标像素点的8邻域范围进行亚像素精确定位,角点位置更加准确。实验结果表明,改进算法无需人工干预,特征点提取的速度比传统算法提高了约61
数据流频繁模式挖掘是当前数据挖掘领域中的研究热点之一，数据流连续性、无序性、无界性及实时性的特点为挖掘算法在时间及空间性能方面提出了更高的要求。数据流中模式频度的
以虚拟鱼为例，提出了虚拟生物在纯三维环境中捕食与逃逸的关键技术点的算法，即在保持自身平衡的前提下，自由游弋探查周围食物和在锁定敌人或食物后进行行为预测及调整自身方向等