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

全部成果分类

显示更多

按条件检索“32”条记录

已选条件:
导出
  • 排序
  • 显示
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. Community trust driven service selection method for cloud computing SCOPUS EI 期刊论文 认领

作者:Wang Y.;Zhou J.

作者全称:Wang, Yan;Zhou, Jiantao

作者机构:[Wang, Yan ;Zhou, Jiantao ] College of Computer Science, Inner Mongolia University, Huhhot, China

第一作者:Wang, Yan

通讯作者:Zhou, Jiantao

通讯作者地址:Zhou, J.; College of Computer Science, Inner Mongolia UniversityChina

来源:Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition),2015,Vol.43,Issue.5

摘要:For high quality and trusted service selection problem, a community trust driven service selection model (CTDSS) was put forward. Based on bipartite n 更多

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. 一种基于CRT与PCA的数字水印算法 CSCD 北大核心刊 期刊论文 认领

作者:罗晓峰;周建涛

外文作者:Luo Xiaofeng;Zhou Jiantao

第一作者:罗晓峰

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

来源:计算机工程与科学,2014,Vol.36,Issue.10

基金:国家自然科学基金资助项目(61262082); 内蒙古自治区自然科学基金杰出青年基金培养项目(2012JQ03); 教育部科学技术研究重点项目(212025);国家自然科学基金资助项目,内蒙古自治区自然科学基金杰出青年基金培养项目,教育部科学技术研究重点项目

知网综合影响因子:0.531

知网复合影响因子:0.852

关键词:数字水印;图像加密;中国剩余定理;主成分分析

摘要:数字水印是一种将特殊信息嵌入媒体数据中的技术,通常应用在数字图像、音频、视频以及其它媒体数据的版权保护和完整性验证方面,其中图像数字水印技术是研究的一个 更多

11. UML活动图到Petri网的转换方法及实现研究 CSCD 北大核心刊 期刊论文 认领

作者:赵俊峰;周建涛;邢冠男

外文作者:Zhao Junfeng;Zhou Jiantao;Xing Guannan

第一作者:赵俊峰

作者机构:[赵俊峰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[邢冠男]内蒙古大学计算机学院 更多

来源:计算机科学,2014,Vol.41,Issue.7

基金:国家自然科学基金资助项目; 国家教育部重点资助项目; 内蒙古杰出青年学者科学基金资助项目; 内蒙古自然科学基金资助项目

CSCD被引频次:1

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

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:活动图; Petri网; 转换规则;UML;活动图;Petri网;PNML;转换规则;

摘要:统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合; 运用Petri网和 更多

12. 复杂网络软件的着色Petri网层次建模及模型集成确认方法① CSCD 北大核心刊 期刊论文 认领

作者:刘靖;叶新铭;周建涛

外文作者:Liu Jing;Ye Xinming;Zhou Jiantao

第一作者:刘靖

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

来源:高技术通讯,2013,Vol.23,Issue.11

基金:国家自然科学基金; 973计划; 内蒙古自然科学基金重点项目; 内蒙古大学高层次引进人才基金资助项目

知网综合影响因子:0.206

知网复合影响因子:0.293

关键词:着色Petri网(CP-net); 网络软件; 模型确认; 并发控制; 模型检验

摘要:为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层; 次化建模及模型集成 更多

13. UML时序图向PNML转换的研究与实现 CSCD 北大核心刊 期刊论文 认领

作者:赵俊峰;周建涛

外文作者:Zhao Junfeng;Zhou Jiantao

第一作者:赵俊峰

作者机构:[赵俊峰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[赵俊峰;周建涛]内蒙古大学 更多

来源:武汉大学学报. 理学版,2011,Vol.57,Issue.6

基金:国家自然科学基金; 国家科技部春晖计划; 内蒙古自然科学基金资助项目

知网综合影响因子:0.761

知网复合影响因子:1.085

关键词:时序图; Petri网; 转换规则;UML;时序图;PNML;Petri网;转换规则;

摘要:对已有行为模型向Petri网的转换机制进行对比分析, 提出改进的UML2时序图到Petri网的转换规则,; 实现了时序图向Petri网标记语言转换的工具. 实验结果表明, 本文 更多

14. 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是用于 更多

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

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

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

第一作者:周建涛

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

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

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

知网综合影响因子:0.609

知网复合影响因子:0.789

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

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

16. 网格时代的协同工作 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多年前,计算机支持的协同工作作为一门学科发展起来,然而,至今仍有一些问题在该领域的应用中尚未得到很好地解决.首先分析了这些问题,然后提出在新; 的计算环境 更多

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

作者:周建涛;叶新铭

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

第一作者:周建涛

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

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

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

知网综合影响因子:0.302

知网复合影响因子:0.478

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

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

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

作者:周建涛;唐旭文

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

第一作者:周建涛

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

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

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

知网综合影响因子:0.302

知网复合影响因子:0.478

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

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

19. 软件定义网络控制平面的研究综述 CSCD 北大核心刊 期刊论文 认领

作者:柳林;周建涛

外文作者:Liu Lin;Zhou Jiantao

第一作者:柳林

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

来源:计算机科学,2017,Vol.44,Issue.2

基金:国家自然科学基金; 内蒙古自治区云计算与软件工程科技创新团队资助。

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

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:软件定义网络; 多控制器; 一致性; 扩展性; 负载均衡

摘要:软件定义网络(Software-defined network,SDN)作为一种新兴的网络范式,通过解耦控制平面与数据转发平面,集中控制并且聚集全网视图,在控制平面与数据平面建立开放接 更多

20. 云环境下的信任研究方法与技术 CSCD 北大核心刊 期刊论文 认领

作者:王燕;周建涛

外文作者:Wang Yan;Zhou Jiantao

第一作者:王燕

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

来源:小型微型计算机系统,2015,Vol.36,Issue.10

基金:国家自然科学基金项目(61262082,61262017)资助;内蒙古自治区自然科学基金杰出青年基金培养项目(2012JQ03)资助;教育部科学技术研究重点项目(212025)资助;内蒙古自治区高等学校科学研究项目(NJZY008)资助.;国家自然科学基金项目,内蒙古自治区自然科学基金杰出青年基金培养项目,教育部科学技术研究重点项目,内蒙古自治区高等学校科学研究项目

知网综合影响因子:0.586

知网复合影响因子:0.864

关键词:云计算;信任问题;信任研究方法;信任建模

摘要:信任是解决云环境中安全问题的核心技术.为了深入分析云中信任研究的范畴和方法,给出云中信任的概念,基于云中信任的特点,总结了当前云计算面临的信任问题,并进一步 更多

更新时间:Mar 28, 2019

共 2 页, 32 条记录

TOP