山东省自然科学基金(Y2002G09)
- 作品数：13 被引量：29H指数：3
- 相关作者：赵义军许安国王培良董焕河沙静更多>>
- 相关机构：山东科技大学山东大学山东财政学院更多>>
- 发文基金：山东省自然科学基金国家自然科学基金煤炭科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 一个新的方程族及其Liouville可积性被引量：1
- 2004年
- 从等谱问题出发,基于Loop代数 A1的基的个数与换位运算,利用屠规彰格式得到了一族方程及其Hamilton结构,证明了该方程是Liouville可积的,作为该系统的约化,得到了著名的Schr¨odinger方程,广义Mkdv方程,热传导方程和耦合的Burgers方程.
- 董焕河赵义军孔令臣张宁
- 关键词：等谱问题LOOP代数LIOUVILLE可积
- S-网的进程表达式及求取方法研究被引量：2
- 2006年
- Petri网的进程是用于系统行为和状态描述的有效工具,但是通常很难给出结构复杂Petri网进程的全部描述。本文考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法,为结构复杂Petri网系统的进程描述提供借鉴和帮助。
- 段华曾庆田
- 关键词：PETRI网S-N
- T-时延离散Petri网的运行原理及其性质被引量：6
- 2007年
- T-时延离散Petri网(TTDPN)常用来描述与时间有关的离散系统,因而研究其运行原理及性质是必要的。首先给出了变迁可激发的定义及激发规则,然后讨论了T-时延离散Petri网的运行原理和可达标识图的构造方法,最后给出了两个性质。
- 赵义军吴哲辉
- 关键词：可达标识图激发频率
- Petri网在传输协议中的应用被引量：3
- 2004年
- 传输层[1](也称运输层),只存在于端开放系统中,是介于第三层通信子网系统和高三层之间的很重要的一层。传输层协议在网络协议中处于非常重要的地位,对于不同的状态给出相应的网模型来进行进一步的研究具有很重要的意义。
- 王兰芹沙静徐颖蕾
- 关键词：库所数据传输
- 利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)
- 2005年
- 首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.
- 许安国赵义军
- 关键词：增广PETRI网模型
- 虚拟接口体系结构的Petri网模型及分析被引量：2
- 2003年
- 随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实。但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟。虚拟接口体系结构是一种崭新的机群系统内部通信思想,它为用户提供了一个直接与网络相联系的虚拟接口,使操作系统不参与进程双方的通信过程,大大提高了通信效率。首先介绍了虚拟接口体系结构,然后为Berkeley模型建立了Petri网模型,通过模型对其工作模式进行分析,并对其中存在的活锁问题给出了具有实际意义的解决方法。
- 沙静蒋昌俊
- 关键词：PETRI网通信协议
- 两个智力问题的增广Petri网模型被引量：1
- 2003年
- 给出人携带狼,羊,白菜安全过河问题的增广Petri网模型及著名的用餐哲学家问题的一个无饥饿解的增广Petri网模型。
- 许安国赵义军
- 关键词：增广PETRI网模型
- 无冲突可重复网极小活标识的配置被引量：3
- 2003年
- 首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的。然后将无冲突可重复网的极小活标识的配置化为强连通-T图极小活标识的配置。文[2]虽然给出-T图极小活标识的判断方法,但是对于一个比较复杂的-T图的极小活标识的配置是无法实现的。本文通过求解强连通-T图的1+-nm个线性无关的极小-S不变量的支集,找出1+-nm个线性无关的有向回路组,然后给出构造强连通-T图以任一变迁为根的有向生成树,最后给出配置强连通-T图极小活标识的有效算法。
- 许安国赵义军
- 关键词：活性
- Petri网的公平分解和守恒分解被引量：6
- 2003年
- 给出了Petri网的公平分解和守恒分解的定义,同时给出了Petri网达到公平分解和守恒分解的具体方法,并证明了这种分解方法保持了网的一些结构性质。
- 王培良赵义军
- 关键词：PETRI网
- 无界时延混合Petri网(UTHPN)的可覆盖性演变图及性质被引量：2
- 2003年
- 时延混合Petri网(THPN)是由David最早提出的一类混合Petri网模型,而构造时延混合Petri网的演变图是对其性质进行分析的有效方法. 赵义军等在文[1]中给出了有界时延混合Petri网的演变图构造方法及性质分析,但对无界的时延混合Petri网,其演变图却不能用同样的方法构造出来.在本文中,通过引入无界量符号w,给出了UTHPN的可覆盖性演变图的构造方法,并在此基础上讨论了UTHPN的有关性质.
- 赵义军王培良
- 关键词：动态性质
