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

按条件检索“3”条记录

已选条件:
导出
  • 排序
  • 显示
1. 非确定系统中可观察状态集的识别序列的一种推导方法 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

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

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

2. 非确定性系统的动态测试过程 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〕中所提出的对确定的有限状态机进行动态测试的方法,使之可应用于非确定的带标记转换系统.与以往方 更多

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

更新时间:Mar 28, 2019
TOP