• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

全部成果分类

显示更多

按条件检索“77”条记录

已选条件:
导出
  • 排序
  • 显示
1. Method for semantic verification of workflow processes based on Petri net reduction technique EI SCOPUS 期刊论文 认领

作者:Zhou J.-T.;Shi M.-L.;Ye X.-M.

作者全称:Zhou, Jian-Tao;Shi, Mei-Lin;Ye, Xin-Ming

作者机构:[Zhou, Jian-Tao ;Shi, Mei-Lin ] Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;[Zhou, Jian-Tao ;Ye, Xin-Min 更多

第一作者:Zhou, Jian-Tao

通讯作者:Zhou, J.-T.(zjtao@csnet4.cs.tsinghua.edu.cn)

通讯作者地址:Zhou, J.-T.; Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China; 电子邮件: zjtao@csnet4.cs.tsinghua.edu.cn

来源:Ruan Jian Xue Bao/Journal of Software,2005,Vol.16,Issue.7

SCOPUS被引频次:15

教育部学科:控制科学与工程,计算机科学与技术,软件工程

摘要:Verification is meaningful for ensuring the correctness of workflow process definition. This paper focuses on semantic verification method, solving th 更多

2. CBR: A component-based reduction method for semantics verification of workflow processes EI SCOPUS 期刊论文 认领

作者:Zhou J.-T.;Shi M.-L.;Ye X.-M.

作者全称:Zhou, Jian-Tao;Shi, Mei-Lin;Ye, Xin-Ming

作者机构:[Zhou, Jian-Tao ;Shi, Mei-Lin ] Department of Computer Science, Tsinghua University, Beijing 100084, China;[Zhou, Jian-Tao ;Ye, Xin-Ming ] College of 更多

第一作者:Zhou, Jian-Tao

通讯作者:Zhou, J.-T.(cszjtao@mail.imu.edu.cn)

通讯作者地址:Zhou, J.-T.; Department of Computer Science, Tsinghua University, Beijing 100084, China; 电子邮件: cszjtao@mail.imu.edu.cn

来源:Tien Tzu Hsueh Pao/Acta Electronica Sinica,2005,Vol.33,Issue.6

摘要:Verification methods of workflow processes always focus on the control flow, while only a few developments have been done on the verification combinin 更多

3. An algorithm of resource evaluation and selection based on multi-QoS constraints SCOPUS EI 期刊论文 会议论文 认领

作者:Zhou J.;Yan M.;Ye X.;Lu H.

作者全称:Zhou, Jiantao;Yan, Min;Ye, Xinming;Lu, Haiyan

作者机构:[Zhou, Jiantao ;Yan, Min ;Ye, Xinming ;Lu, Haiyan ] College of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Zhou, Jiantao

通讯作者:Zhou, J.(cszjtao@imu.edu.cn)

通讯作者地址:Zhou, J.; College of Computer Science, Inner Mongolia University, Hohhot, China; 电子邮件: cszjtao@imu.edu.cn

来源:Proc. - 7th Web Information Systems and Applications Conference, WISA 2010, Workshop on Semantic Web and Ontology, SWON 2010, Workshop on Electronic Government Technology and Application, EGTA 2010,2010

基金:China Computer Federation (CCF);CCF Electronic Government and Office Automation Society;IEEE Computer Society Technical Council on Multimedia Computing

SCOPUS被引频次:1

摘要:While most of the work on resource scheduling in Grid computing has focused on optimal makespan of the whole systems, our work addresses this problem 更多

4. 一种轻量级网格工作流引擎的研究与实现 CSCD 期刊论文 认领

作者:周建涛;徐小茸

外文作者:ZHOU Jian-tao;XU Xiao-rong

第一作者:周建涛

作者机构:[周建涛;徐小茸]内蒙古大学计算机学院,内蒙古呼和浩特

来源:计算机工程与科学,2009,Vol.31,Issue.9

基金:国家自然科学基金资助项目(608633015);教育部春晖计划资助项目(Z2007-1-01042);内蒙古自然科学基金资助项目(20080404ZD20);国家自然科学基金,教育部"春晖计划"项目,内蒙古自治区自然科学基金

CSCD被引频次:2

知网综合影响因子:0.531

知网复合影响因子:0.852

关键词:网格;工作流;WSRF;W&BPEL;引擎;网格;工作流;WSRF;WS-BPEL;引擎;

摘要:如何将网格技术和现有的工作流技术相结合.通过对资源、业务的合理管理,实现虚拟组织的协同目标,近几年已成为计算机支持的协同工作领域的研究热点。本文在分析 更多

5. 网格工作流及其关键技术研究综述 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:ZHOU Jiantao;YE Xinming

第一作者:周建涛

作者机构:[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[周建涛;叶新铭]内蒙古大学计算 更多

来源:内蒙古大学学报. 自然科学版,2008,Vol.39,Issue.5

基金:国家自然科学基金(60563004); 内蒙古自然科学基金(200508010802)资助项目;国家自然科学基金,内蒙古自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:网格; 工作流; 网格工作流; 工作流过程; 网格服务

摘要:网格技术意在驱动互联网上所有资源的全面共享与协同工作.网格工作流技术是近年来兴起的又一研究热点.简述了网格发展,提出网格系统层次模型,并分析总结; 其 更多

6. CBR:一种支持工作流过程语义验证的组件级化简方法 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:Zhou Jiantao;Shi Meilin;Ye Xinming;ZHOU Jian-tao[1];SHI Mei-Lin[2];YE Xin-ming[3]

第一作者:周建涛

作者机构:[周建涛]清华大学计算机科学与技术系,北京100084//内蒙古大学计算机学院,内蒙古呼和浩特;[叶新铭]内蒙古大学计算机学院,内蒙古呼和浩特;[史美林]清华大学计算机 更多

来源:电子学报,2005,Vol.33,Issue.6

基金:国家自然科学基金; 国家高技术研究发展863计划项目;国家自然科学基金,国家高技术研究发展计划(863计划)

CSCD被引频次:2

知网综合影响因子:1.115

知网复合影响因子:1.520

关键词:工作流;验证;化简;组件;Petri网

摘要:目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的日标实现依赖于控制流、数据流和资源三维基 更多

7. 工作流过程建模中的形式化验证技术 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:Zhou Jiantao;Shi Meilin;Ye Xinming;Zhou Jiantao[1];Shi Meilin[2];Ye Xinming[3]

第一作者:周建涛

作者机构:[周建涛]清华大学计算机科学与技术系,北京100084//内蒙古大学计算机学院,呼和浩特10021;[叶新铭]内蒙古大学计算机学院,呼和浩特;[史美林]清华大学计算机科学与 更多

来源:计算机研究与发展,2005,Vol.42,Issue.1

基金:国家自然科学基金项目; 国家"八六三"高技术研究发展计划基金项目;国家自然科学基金,国家高技术研究发展计划(863计划)

CSCD被引频次:13

知网综合影响因子:1.654

知网复合影响因子:2.491

关键词:工作流;过程建模;验证;Petri网;合理性;化简

摘要:工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模 更多

8. 柔性工作流技术研究的现状与趋势 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:ZHOU Jiantao;SHI Meilin;YE Xinming;ZHOU Jian-tao[1];SHI Mei-lin[2];YE Xin-ming[3]

第一作者:周建涛

作者机构:[周建涛;史美林]清华大学计算机科学与技术系,北京;[周建涛;叶新铭]内蒙古大学计算机学院,内蒙古呼和浩特;[周建涛]清华大学,计算机科学与技术系,北京,100084;内蒙 更多

来源:计算机集成制造系统,2005,Vol.11,Issue.11

基金:国家自然科学基金资助项目(60073011);国家863/CIMS主题资助项目(2001AAll3150).;中国科学院资助项目,新材料领域项目

CSCD被引频次:13

教育部学科:软件工程,控制科学与工程,计算机科学与技术,机械工程,轻工技术与工程,冶金工程,系统科学

知网综合影响因子:0.993

知网复合影响因子:1.692

关键词:工作流;灵活性;动态性;自适应性;变更;异常

摘要:工作流变更和异常是柔性研究的重要内容,界定了这两个概念,并从不同的角度,分别对系统的灵活性、动态性和自适应性等进行了研究.从理论和实现两个层次上深入探讨了 更多

9. 一种基于Petri网化简的工作流过程语义验证方法 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:Zhou Jiantao;Shi Meilin;Ye Xinming;ZHOU Jian-tao[1];SHI Mei-Lin[2];YE Xin-ming[3]

第一作者:周建涛

作者机构:[史美林]清华大学计算机科学与技术系,北京;[周建涛]清华大学计算机科学与技术系,北京100084//内蒙古大学计算机学院,内蒙古呼和浩特;[叶新铭]内蒙古大学计算机学 更多

来源:软件学报,2005,Vol.16,Issue.7

基金:国家自然科学基金; 国家高技术研究发展计划(863);国家自然科学基金,国家高技术研究发展计划(863计划)

CSCD被引频次:18

教育部学科:控制科学与工程,计算机科学与技术,软件工程

知网综合影响因子:2.658

知网复合影响因子:4.259

关键词:工作流;过程;语义验证;Petri网;化简

摘要:过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义 更多

10. WF-net模型到PNML的转换方法研究与实现 CSCD 期刊论文 认领

作者:周建涛;海晓军

外文作者:Zhou Jiantao;Hai Xiaojun

第一作者:周建涛

作者机构:[周建涛;海晓军]内蒙古大学计算机学院,呼和浩特

来源:计算机科学,2010,Vol.37,Issue.12

基金:国家自然科学基金(60863015); 国家科技部春晖计划项目(Z2007-1-01042); 内蒙古自然科学基金项目(20080404ZD20)资助;国家自然科学基金,国家科技部春晖计划项目,内蒙古自然科学基金项目

CSCD被引频次:1

教育部学科:控制科学与工程,软件工程,计算机科学与技术

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:元模型;WF-net;PNML;转换规则

摘要:Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于 更多

11. 面向资源调度的矩阵规范化方法研究 CSCD 期刊论文 认领

作者:周建涛;陆海燕;叶新铭

外文作者:ZHOU Jiantao;LU Haiyan;YE Xinming

第一作者:周建涛

作者机构:[周建涛;陆海燕;叶新铭]内蒙古大学计算机学院,内蒙古呼和浩特

来源:中山大学学报:自然科学版,2009,Vol.48,Issue.1

基金:国家自然科学基金资助项目(60563004);国家自然科学基金资助项目(60863015);内蒙古自然科学基金资助项目(200508010802);国家自然科学基金,国家自然科学基金,内蒙古自治区自然科学基金

知网综合影响因子:0.609

知网复合影响因子:0.789

关键词:计算机支持的协同工作;资源调度;规范化;决策矩阵;多属性决策

摘要:资源调度是计算机支持的协同工作领域的重要问题,其中,决策矩阵规范化问题又是大部分资源调度要涉及的基础问题。文章首先介绍三种矩阵规范化处理方法,然后将其 更多

12. 网格时代的协同工作 CSCD 期刊论文 认领

作者:周建涛;叶新铭;唐旭文

外文作者:ZHOU Jiantao;YE Xinming;TANG Xuwen;ZHOU Jian-tao[1];YE Xin-ming[1];TANG Xu-wen[2]

第一作者:周建涛

作者机构:[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[唐旭文]内蒙古移动通信公司, 更多

来源:内蒙古大学学报. 自然科学版,2007,Vol.38,Issue.4

基金:国家自然科学基金项目(60563004); 内蒙古自然科学基金项目(200508010802);国家自然科学基金,内蒙古自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:网格; 协同学; 计算机支持的协同工作; 企业信息化

摘要:20多年前,计算机支持的协同工作作为一门学科发展起来,然而,至今仍有一些问题在该领域的应用中尚未得到很好地解决.首先分析了这些问题,然后提出在新; 的计算环境 更多

13. 基于组件级化简的语义验证方法在电子商务过程中的应用 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:Zhaou Jiantao;Ye Xinming;ZHOU Jian-tao;YE Xin-ming

第一作者:周建涛

作者机构:[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[周建涛;叶新铭]内蒙古大学计算 更多

来源:内蒙古大学学报. 自然科学版,2006,Vol.37,Issue.2

基金:国家自然科学基金项目; 内蒙古自然科学基金项目;中国科学院资助项目,蒙古自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:工作流过程; 语义验证; 组件; 化简; 电子商务

摘要:工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实; 际 更多

14. 工作流过程的语义验证方法应用 CSCD 期刊论文 认领

作者:周建涛;唐旭文

外文作者:ZHOU Jiantao;TANG Xuwen;ZHOU Jian-tao[1];TANG Xu-wen[2]

第一作者:周建涛

作者机构:[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[唐旭文]内蒙古移动通信公司, 呼和浩特, 内蒙古 010020, 中国.;[周建涛]内蒙古大学计算机学院,呼 更多

来源:内蒙古大学学报. 自然科学版,2006,Vol.37,Issue.3

基金:国家自然科学基金项目; 内蒙古自然科学基金项目;中国科学院资助项目,蒙古自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:工作流过程; 语义验证; 三维工作流网; 化简; 电子商务

摘要:工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子; 商 更多

15. 云QoS映射模型及其面向服务选择的算法 期刊论文 认领

作者:周建涛;罗晓峰;王燕

外文作者:ZHOU Jiantao;LUO Xiaofeng;WANG Yan

第一作者:周建涛

作者机构:[周建涛;罗晓峰;王燕]内蒙古大学计算机学院,呼和浩特010021

来源:计算机与数字工程,2017,Issue.2

基金:国家自然科学基金项目(编号:61262082,61262017,61462066); 内蒙古自治区自然科学基金(编号:2012JQ03,2015MS0608); 内蒙古自治区高等学校科学研究资助项目(编号:NJZY008)资助.

知网综合影响因子:0.254

知网复合影响因子:0.496

关键词:云服务选择;服务质量;映射模型;熵权法;TOPSIS方法;

摘要:随着云计算的不断发展,具有QoS保证的服务选择方法成为云服务领域的一个重要研究内容,其中用户QoS需求到云服务资源的映射关系是此类方法研究中的一个关键问题。论 更多

16. 非确定系统中可观察状态集的识别序列的一种推导方法 CSCD 期刊论文 认领

作者:周建涛;叶新铭;刘咏梅

外文作者:ZHOU Jian tao,YE Xin ming,LIU Yong mei (College of Computer Science,NeiMongol University,Hohhot,010021,PRC)

第一作者:周建涛

作者机构:[周建涛;叶新铭;刘咏梅]内蒙古大学计算机学院

来源:内蒙古大学学报(自然科学版),1999,Vol.30,Issue.2

基金:国家自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:相容性测试;带标记转换系统;状态识别;集合识别;非确定性;观察等价;状态集的识别序列;

摘要:主要针对非确定系统(实际中的大部分系统都具有非确定性),提出可观察状态集的识别序列的定义,并对于按照观察等价关系化简的系统的实现的集合,给出一种生成可 更多

17. 一种构造Petri网可达图的方法 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:ZHOU Jian tao, YE Xin ming (NeiMongol University, College of Computer Science, Hohhot,010021,PRC)

第一作者:周建涛

作者机构:[周建涛;叶新铭]内蒙古大学计算机学院

来源:内蒙古大学学报(自然科学版),1999,Vol.30,Issue.3

基金:国家自然科学基金

CSCD被引频次:1

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:Petri网;可达图;标识;

摘要:Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需借助如可达树、矩阵方程、可达图等工具.本文将提出可达图的一种构造方法 更多

18. Petri网的可达图与可达树的比较 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:ZHOU Jian tao, YE Xin ming (NeiMongol University, College of Computer Science, Hohhot 010021,PRC)

第一作者:周建涛

作者机构:[周建涛;叶新铭]内蒙古大学计算机学院!内蒙古呼和浩特010021

来源:内蒙古大学学报(自然科学版),2000,Vol.31,Issue.1

基金:国家自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:可达图;可达树;安全性;有界性;守恒性;活性;可达性;覆盖性;

摘要:Petri网的可达图和可达树都是用于分析Petri网的工具.文章将展示如何用可达图完成Petri网的各项分析,并将可达图与可达树相比较,证明可达图是较 更多

19. 城商行凭证式国债子系统设计与实现 学位论文 认领

作者:代伟

学位授予单位:内蒙古大学

导师:周建涛

学位名称:硕士

论文提交日期:2011

学位论文类别:硕士学位论文

20. 基于Web的大学辅助教学系统的设计与开发 学位论文 认领

作者:李刚

学位授予单位:内蒙古大学

导师:周建涛

学位名称:硕士

论文提交日期:2011

学位论文类别:硕士学位论文

更新时间:Mar 28, 2019

共 4 页, 77 条记录

TOP