岳昊
- 作品数:34 被引量:33H指数:4
- 供职机构:漳州师范学院计算机科学与工程系更多>>
- 发文基金:国家自然科学基金博士科研启动基金福建省教育厅资助项目更多>>
- 相关领域:自动化与计算机技术理学交通运输工程机械工程更多>>
- Petri网系统中的有效本原可重复向量集
- 2010年
- 基于有效可重复向量,可以判定一个标准Petri网产生的语言是否为正规语言,或者是否为上下文无关语言.文章提出了Petri网系统(N,M0)中的有效本原可重复向量集(记为SEPRV(N,M0))的概念.文中分析了有效可重复向量的性质,并且指出SEPRV(N,M0)可以代表所有的有效可重复向量.
- 岳昊
- 关键词:PETRI网可重复向量本原
- 有效模-n S-不变量与不可达性判定被引量:1
- 2007年
- Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存在的话,又该如何求取这些模-n S-不变量Desel J并未就这两个问题给出答案。该文提出了有效模-n S-不变量的概念,将上述问题转化为有效模-n S-不变量的存在性问题,并借助矩阵的整数分解给出了寻找有效模-n S-不变量的方法,有效解决了利用模-n S-不变量进行不可达性判定的问题。
- 鲁法明包云霞岳昊
- 关键词:PETRI网
- Petri网替换运算的不变量保持条件
- 2009年
- 提出了Petri网替换运算的不变量保持条件,根据这些条件,可以由轮廓模型N和子系统模型N1的T-不变量(S-不变量)得到加细模型N′的T-不变量(S-不变量),充分利用已知的轮廓模型N和子系统模型N1的T-不变量(S-不变量),避免从头处理加细模型N′,以达到节省计算开支的目的。
- 岳昊吴哲辉
- 关键词:PETRI网不变量
- 基于混合Petri网的城市交通网络建模与仿真被引量:4
- 2009年
- 提出了一种基于混合Petri网的面向控制的模块化信号控制城市交通网络仿真模型。采用层次化的建模方法:首先建立交通网络的轮廓模型,然后对轮廓模型中描述交通网络的关键要素(如交叉口、信号灯等)部位给出加细模型。这种建模方法清晰地描述了各个行驶方向的交通流在交叉口处的转向以及可能出现的冲突情况。此外,将时间因素加入系统模型中,使模型不仅能够反映交通流之间的逻辑关系,而且对车辆的位置、速度、通过时间等物理因素进行描述和计算。这样,就可以对各种具体的信号配时方案的性能指标进行比较和评估,以便找出最优或比较理想的交通控制方案。最后,通过一个仿真实例对系统模型的运行进行计算机仿真。
- 岳昊吴哲辉
- 关键词:混合PETRI网交通网络仿真
- 三划分问题可多项式归约为唯一可达向量Petri网可达性问题被引量:3
- 2008年
- 为了对基于唯一可达向量Petri网(URV-PN)的密码体制进行密码分析工作,有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研究.定义了扩展的三划分问题,三划分问题是扩展的三划分问题的一种特殊情况;给出了一个一般的多项式时间复杂度算法构造扩展的三划分问题的Petri网模型;证明扩展的三划分问题有解当且仅当所构造的Petri网模型中某个标识可达;从而说明三划分问题可多项式归约为唯一可达向量Petri网系统的可达性问题,从而给出了求解唯一可达向量网系统可达性问题的一个复杂度下界.
- 岳昊
- 关键词:PETRI网归约
- 自动制造系统Petri网模型中的非完美变迁
- 2010年
- 提出了变迁子集的非完美变迁集的概念,非完美变迁集中的元素(成员)即为非完美变迁。一条资源变迁回路θ是完美的,当且仅当其变迁集T[θ]的非完美变迁集为空。对于一个变迁子集T1而言,已知T1中存在非完美变迁,如果试图从T1中删去一些变迁而得到T2,使得T2中没有非完美变迁,则一定要将T1中的非完美变迁全部删除。
- 岳昊李文杰
- 关键词:PETRI网
- 自动制造系统Petri网模型的资源变迁网性质分析
- 资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出:对于任意一个非空资源子集R1,若资源变迁网NR关于R1的内连子网N1=NR[R1 ∪(...
- 岳昊
- 关键词:PETRI网自动制造系统
- 具有多资源需求和柔性加工路径的顺序资源分配系统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网
- 文献传递