许安国

作品数:19被引量:35H指数:3
导出分析报告
供职机构:山东科技大学更多>>
发文主题:PETRI网增广PETRI网模型活性PETRI网方法无冲突更多>>
发文领域:自动化与计算机技术理学电子电信自然科学总论更多>>
发文期刊:《计算技术与自动化》《山东科技大学学报(自然科学版)》《系统工程理论与实践》《计算机学报》更多>>
所获基金:国家自然科学基金山东省自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)
《系统仿真学报》2005年第z1期216-218,228,共4页许安国 赵义军 
山东省自然科学基金项目(Y2002G09)及国家自然科学基金(60173053).
首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.
关键词:二次同余式 奇素数模 抑止弧 增广PETRI网模型 
几类合成网的性能分析
《系统仿真学报》2005年第z1期38-43,共6页许安国 赵义军 
山东省自然科学基金项目(Y2002G09)及国家自然科学基金(60173053).
研究了T-图,P-图,CFR网(无冲突可重复网)的同步合成网与共享合成网的结构性质和动态性质,这些工作对T-图网系统,P-图网系统,CFR网系统(无冲突可重复网系统)合成的性能分析提供了有力手段.
关键词:PETRI网 T-图 P-图 CFR网 同步合成 共享合成 
无冲突可重复网极小活标识的配置被引量:3
《系统仿真学报》2003年第z1期35-39,共5页许安国 赵义军 
国家自然科学基金(60173053);山东省自然科学基金项目(Y2002G09)。
首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的。然后将无冲突可重复网的极小活标识的配置化为强连通-T图极小活标识的配置。文[2]虽然给出-T图极小活标识的判断方法,但是对于一个比较复杂的-T图的极小活标识的配置是...
关键词:无冲突可重复Petri网 活性 极小活标识 T_图 
两个智力问题的增广Petri网模型被引量:1
《系统仿真学报》2003年第z1期76-77,82,共3页许安国 赵义军 
国家自然科学基金(60173053);山东省自然科学基金项目(Y2002G09)。
给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型。
关键词:抑制孤 增广PETRI网模型 
求DEDS关键路(回路)的Petri网方法被引量:2
《山东科技大学学报(自然科学版)》2001年第4期1-7,共7页许安国 吴哲辉 
国家自然科学基金资助项目 ( 69873 0 2 9)
为了研究离散事件动态系统的周期性和稳定性 ,需要求系统矩阵A在极大代数意义下的特征值和特征向量。文〔1〕通过以A为关联矩阵的有向图G(A)的关键路 (回路 )得出了一个求特征值和特征向量的方法。本文提出了一种寻找有向图G(A)的关键...
关键词:离散事件动态系统 关键路 关键回路 PETRI网 
带标识加权T-图的化简被引量:1
《电子科学学刊》1998年第5期655-662,共8页许安国 蒋昌俊 
国家自然科学基金;山东省自然科学基金
本文首先给出带标识加权T-图的几种化简运算,然后证明在一定条件下,这几种运算能保持网的活性不变,从而为带标识加权T-图的分析和综合提供了有效途径。
关键词:化简运算 活性 标识 加权T-图 Pertri网 
加权T-图活性的进一步研究被引量:4
《计算机学报》1998年第1期92-96,共5页许安国 王培良 
国家自然科学基金
本文给出加权T-图是活网的另一组充分条件,这组条件包含了Teruel等对加权T-图活性分析的结果,方法简单,便于操作.Teruel文中研究了加权单回路网为守恒回路时活的一个充分条件,对一般加权T-图活性的判断只限于每个回路是守恒回路的...
关键词:加权T-图 活性 可重复性 
加权T-图的保性变换被引量:4
《计算机学报》1997年第11期1038-1043,共6页许安国 吴哲辉 
国家自然科学基金
Petri网的保性化简是Petri例分析的一种重要途径.Marata等对活的和安全的标识T-图提出了系统的化简运算体系.蒋昌俊对加权T-图提出了若干种化简运算,这些化商运算能够保持网的结构有界性、守恒性、可重复性和相...
关键词:加权T-图 结构活性 PETRI网 保性变换 
P/T网的化简运算及其性质研究被引量:13
《软件学报》1997年第7期493-504,共12页许安国 蒋昌俊 
国家自然科学基金;煤炭部自然科学基金
本文首先给出P/T网的几种化简运算,然后证明这几种运算对于网的结构性质不变,从而为P/T网的分析与综合提供了有效途径.
关键词:P/T网 化简运算 结构性质 PETRI网 
Petri网的S-补和T-补的几个性质被引量:1
《重庆邮电学院学报(自然科学版)》1996年第1期65-78,共14页许安国 蒋昌俊 
本文基于Petri网的矩阵表示,通过矩阵的运算给出了网的S-补和T-补的矩阵形式公式。同时给出对逆网、对偶网的S-补和T-补的求解方法。
关键词:PETRI网 S-补 T-补 矩阵 
检索报告 对象比较 聚类工具 使用帮助 返回顶部