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

按条件检索“8”条记录

已选条件:
导出
  • 排序
  • 显示
1. 网格工作流及其关键技术研究综述 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:ZHOU Jiantao;YE Xinming

第一作者:周建涛

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

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

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

知网综合影响因子:0.302

知网复合影响因子:0.478

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

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

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

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

作者:周建涛;叶新铭

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

第一作者:周建涛

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

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

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

知网综合影响因子:0.302

知网复合影响因子:0.478

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

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

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

作者:周建涛;唐旭文

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

第一作者:周建涛

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

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

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

知网综合影响因子:0.302

知网复合影响因子:0.478

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

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

5. 非确定系统中可观察状态集的识别序列的一种推导方法 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

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

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

6. 非确定性系统的动态测试过程 CSCD 期刊论文 认领

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

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

第一作者:刘咏梅

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

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

基金:国家自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:相容性测试;带标记转换系统;非确定性;测试序列树;测试路径选择;

摘要:针对非确定性系统,提出一种新的相容性测试方法.即扩展〔1〕中所提出的对确定的有限状态机进行动态测试的方法,使之可应用于非确定的带标记转换系统.与以往方 更多

7. 一种构造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网的各项分析,还需借助如可达树、矩阵方程、可达图等工具.本文将提出可达图的一种构造方法 更多

8. 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网的各项分析,并将可达图与可达树相比较,证明可达图是较 更多

更新时间:Mar 28, 2019
TOP