徐超
【姓名】 徐超
【职称】
【研究领域】 计算机软件及计算机应用;电力工业;化学;
【研究方向】
【发表文献关键词】 模型,时态逻辑,工作流,Petri网,工作流模型,建模,验证方法,验证分析,列表法,自动机,事件平衡,需求特性,语义假设,流模型,状态空间,状态爆炸,形式化描述,存在依赖关系,并发事件,化简方法,
【工作单位】 大连理工大学
【曾工作单位】 大连理工大学;
【所在地域】 辽宁大连
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/9 3 2 4 49 2243
中国期刊全文数据库    共找到3篇
[1]彭兆亮;Q.J.WANG;王子茹;王国利;徐超;.订正与集成多模式的中国季度降水预测[J]水科学进展.2014,(01)
[2]王树萍;关水;徐超;张晓庆;刘天庆;马学虎;.可降解导电PEDOT/PLLA复合材料的制备及其性能的研究[J]高校化学工程学报.2014,(03)
[3]唐达,徐超,杨晓丽.工作流建模中时态逻辑的研究与应用[J]计算机集成制造系统-CIMS.2004,(04)
更多
中国博士学位论文全文数据库    共找到1篇
中国优秀硕士学位论文全文数据库    共找到5篇
[1]徐超.拟剧理论视角下穿搭博主的自我呈现研究[D].大连理工大学.2024
[2]徐超.新疆电力公司设备信息管理系统的设计与实现[D].大连理工大学.2018
[3]徐超.CEU物流公司营销策略研究[D].大连理工大学.2014
[4]徐超.基于均三嗪与DPP结构小分子光伏材料的合成与表征[D].大连理工大学.2012
[5]徐超.基于Petri网的工作流技术研究与应用[D].大连理工大学.2004
更多