国家自然科学基金(60673053)
- 作品数：43 被引量：48H指数：4
- 相关作者：吴哲辉岳昊张继军李文杰董卫更多>>
- 相关机构：山东科技大学漳州师范学院山东农业大学更多>>
- 发文基金：国家自然科学基金博士科研启动基金福建省教育厅资助项目更多>>
- 相关领域：自动化与计算机技术理学农业科学轻工技术与工程更多>>
- 袋自动机被引量：6
- 2008年
- 提出了袋自动机模型和袋语言的概念,并给出了袋自动机的状态转换图;分析了袋语言重复序列在状态转换图中的反映,并划分为不变重复序列、增重复序列、减重复序列和传递重复序列,给出了袋语言的结构特性;研究了袋语言类同Chomsky文法体系中各型语言的关系,证明了正规语言类是袋语言类的真子集,袋语言类是上下文有关语言类的真子集,而袋语言类同上下文无关语言类是两个相交但互不包含的语言类,即存在不是上下文无关语言的袋语言,也存在无法用袋自动机产生的上下文无关语言.
- 张继军吴哲辉董卫耿霞
- 关键词：状态转换图
- Petri网本原可重复向量的求解算法及实现被引量：6
- 2009年
- Petri网本原可重复向量是一个重要结构性质.本文定义了网N的可重复向量表出集pre-SPRV(N),证明一个网的本原可重复向量集是唯一的,并且给出它的一个求解算法.算法首先求出网N变迁扩充网的所有极小T-不变量,由此求得N的一个可重复向量表出集,然后依次考察其中的每一个向量,将其中的多余向量去掉,得出网N的本原可重复向量集.最后算法被实现并用于实例以展示算法性能,相关算法的程序实现可以作为已有Petri网分析工具的一个组件.
- 岳昊吴哲辉刘关俊
- 关键词：PETRI网
- S-组合Petri网的进程特性分析被引量：1
- 2010年
- Petri网进程是反映Petri网动态特性的重要工具.Petri网的进程表达式可以给出系统全部进程的描述,但是对于求取Petri网的进程表达式时用到的基本子进程,其求取通常是比较困难.通过分析Petri网S-组合过程中满足的进程特性,给出S-组合网与子网的基本子进程之间的关系,即S-组合Petri网的闭基本子进程的集合是子网的闭基本子进程的集合的并集.这样,就将求取结构复杂Petri网的基本子进程的问题转化为求取其结构简单的组合子网的基本子进程的问题,为求取结构复杂Petri网的基本子进程提供了一种方法.
- 张锋吴哲辉
- 关键词：PETRI网
- Petri网系统中的有效本原可重复向量集
- 2010年
- 基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0)可以代表所有的有效可重复向量.
- 岳昊
- 关键词：PETRI网可重复向量本原
- 有界Petri网等价性的判定算法被引量：1
- 2008年
- Petri网语言是系统行为分析的一种重要工具,为了分析有界Petri网的行为等价,借助于有限自动机的等价性问题和算法,研究了有界Petri网的等价性问题和算法.定义了带标注Petri网语言等价性,证明了带标注的有界Petri网到有限自动机的等价转化,给出了判定有界Petri网的等价性算法,为模拟系统的性能比较提供了处理方法.
- 张继军费玉奎耿霞
- 关键词：PETRI网等价性语言
- 并行程序Petri网模型的结构性质被引量：6
- 2007年
- 正确性是并行程序的基础,但是由于它的复杂性,其验证要比串行程序困难得多,因此有必要进行建模并研究其性质.从程序的角度出发,在将基于消息传递的并行程序转换为Petri网模型之后,证明了与并行正确的并行程序对应的Petri网模型应当满足的结构性质,包括强连通性、S-不变量、T-不变量、受控死锁性质以及守恒性,并举例说明了这些性质在并行程序验证中的应用.这些性质可用于并行程序的事前验证,而且避免了使用动态性质进行验证时的状态爆炸问题,从而提高并行程序设计和验证效率.同时这些方法具有良好的可推广性.
- 崔焕庆吴哲辉
- 关键词：PETRI网
- 推导可交换上下文无关语言被引量：1
- 2008年
- 提出了推导可交换上下文无关语言及其文法,证明了正规语言类和有界上下文无关语言类都是推导可交换上下文无关语言类的子集,而推导可交换上下文无关语言类是上下文无关语言类的一个子集;定义了该类语言的α闭包等有关运算,给出了推导可交换上下文无关语言表达式,证明了推导可交换上下文无关文法、推导可交换上下文无关语言表达式之间的等价转换.
- 张继军吴哲辉
- 关键词：文法语言表达式
- 具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征
- 具有多资源需求和柔性加工路径的顺序资源分配系统（Sequential Resource Allocation Systems with MultipleResource Acquisitions and Flexible...
- 岳昊
- 关键词：柔性制造系统PETRI网资源分配系统死锁结构特征
- 文献传递
- 自动制造系统Petri网模型的资源变迁网性质分析
- 2010年
- 资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出:对于任意一个非空资源子集R1,若资源变迁网NR关于R1的内连子网N1=NR[R1∪(.R1 ∩ R1.)]是强连通的,则一定存在以R1为资源集的资源变迁回路,特别地,θ=就是其中一个.进一步,若θ又满足完美条件,则θ即为N的一个完美极大资源变迁回路.
- 岳昊
- 关键词：PETRI网
- 自动制造系统Petri网模型的资源变迁网性质分析
- 资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出:对于任意一个非空资源子集R1,若资源变迁网NR关于R1的内连子网N1=NR[R1∪（....
- 岳昊
- 关键词：PETRI网
- 文献传递
