刘关俊
【姓名】 刘关俊
【职称】 助教;
【研究领域】 计算机软件及计算机应用;
【研究方向】 Petri网理论及应用、并行处理等
【发表文献关键词】 零树编码,视觉特性,预测编码,Petri网,零树,语言,属型,类库,petri网,可达性,状态方程可满足性,可执行向量,小波图像,编码算法,哲学家进餐问题,抑止弧Petri网,无饥饿解,包含关系,可重...
【工作单位】 山东科技大学
【曾工作单位】 山东科技大学;
【所在地域】 山东泰安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/8 6 6 5 49 1407
中国期刊全文数据库    共找到7篇
[1]岳昊;吴哲辉;刘关俊;.Petri网本原可重复向量的求解算法及实现[J]小型微型计算机系统.2009,(09)
[2]蒋昌俊;刘关俊;.Petri网语言的Pumping引理[J]计算机学报.2006,(02)
[3]刘关俊;陈黎静;.可达性等价于状态方程可满足性的petri网子类[J]计算机工程与应用.2007,(11)
[4]刘关俊;蒋昌俊;陈黎静;.各类Petri网语言间的关系[J]系统仿真学报.2007,(07)
[5]刘关俊;蒋昌俊;吴哲辉;.基于T-不变量的可重复向量的求解算法[J]系统仿真学报.2007,(S1)
[6]刘关俊;吴哲辉;.改进的哲学家进餐问题无饥饿解的Petri网模型[J]系统仿真学报.2007,(S1)
[7]陈黎静,刘关俊,乐晓波,唐贤瑛.基于视觉特性的零树小波图像编码算法的改进[J]山东科技大学学报(自然科学版).2004,(01)
更多
中国优秀硕士学位论文全文数据库    共找到1篇
[1]刘关俊.关于Petri网可重复向量及死锁的求解算法[D].山东科技大学.2006
更多