蒋昌俊
【姓名】 蒋昌俊
【职称】 教授;
【研究领域】 计算机软件及计算机应用;
【研究方向】 并发理论与并行处理
【发表文献关键词】 时序Petri网,验证,物流管理系统,并发程序,活性,网语言,Petri网,Ada网,组件,分析,同步分解,同步合成,基于过程,时序逻辑,程序局部性,模型设计,Ada任务,事件对象,资源对象,语句体,...
【工作单位】 山东科技大学
【曾工作单位】 山东科技大学;
【所在地域】 上海泰安
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/4 3 4 0 44 817
中国期刊全文数据库    共找到4篇
[1]庞善臣,蒋昌俊,宫丽华.基于过程组件的物流管理系统模型设计及分析[J]山东科技大学学报(自然科学版).2004,(01)
[2]丁志军,蒋昌俊.基于网语言的Ada程序局部性质的分析和验证[J]软件学报.2002,(12)
[3]韩耀军;蒋昌俊;.并发操作系统中基于有色Petri网的死锁检测与避免[J]计算机科学.2002,(12)
[4]丁志军,蒋昌俊.并发程序验证的时序Petri网方法[J]计算机学报.2002,(05)
更多
承担国家科研项目    共找到2个
[1]蒋昌俊;.PN机的行为相关性研究[A].山东科技大学;.项目经费 12万元.1999-03-31.资助文献数 8 篇
[2]蒋昌俊;杜玉越;李向阳;丁志军;吴哲辉;孙杳如.信息服务的过程范式理论[A].同济大学;山东科技大学.项目经费 -.2009-03-31.资助文献数 0 篇
更多