-
题名基于一致分布的时间Petri网模型
被引量：3
- 1
-
-
作者
潘理
丁志军
陈刚
-
机构
湖南理工学院信息与通信工程学院
同济大学计算机科学与技术系
-
出处
《计算机学报》
EI
CSCD
北大核心
2010年第5期900-907,共8页
-
基金
国家自然科学基金-青年科学基金项目(60803032)资助
-
文摘
时间Petri网的现有分析理论主要关注基于区间端点的计算和推理,缺乏对实施区间内不确定性的定量描述,不利于时间Petri网进行系统性能评价和动态模拟实现.为了解决这一问题,提出基于一致分布的时间Petri网模型.首先给出变迁实施概率和变迁序列实施概率的计算方法;然后引入概率条件到状态类,用于构造时间Petri网的概率可达类树;最后给出动态模拟实验,检验理论方法的正确性.
-
关键词
时间PETRI网
一致分布
实施概率
状态类方法
模拟
-
Keywords
time Petri nets
uniform distribution
firing probability
state class method
simulation
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名建立状态图启发式搜索的面向对象模型
被引量：2
- 2
-
-
作者
方贤进
-
机构
安徽理工大学计算机系
-
出处
《沈阳工业大学学报》
EI
CAS
2003年第4期334-337,共4页
-
文摘
将人工智能学科中状态图搜索技术与JAVA中面向对象技术结合起来,并利用JAVA语言建立了一个状态图启发式搜索算法的面向对象模型,然后利用这一模型成功地解决了人工智能学科中典型的状态图搜索问题———"八数码"难题.
-
关键词
状态图
启发式搜索算法
面向对象
类
对象
-
Keywords
state diagram
heuristic-search-algorithm
object-oriented
class
object
method
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名一种用于类测试的新方法
- 3
-
-
作者
阳展飞
吴桐
沈晨华
钱乐秋
-
机构
复旦大学计算机科学与工程系
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第9期91-94,共4页
-
文摘
面向对象程序的复杂性和类对象间广泛的相互依赖性使得对这样的程序的测试变得非常困难,而类又是面向对象测试中最基本的单元。对类的测试又可以分为3个级别(方法内测试,方法间测试,类内测试),难点主要集中在类内测试上。文章提出一种基于OSD(对象状态图)的新的算法用来产生进行类内测试的方法调用序列。这种算法是对传统的类测试的两种方法基于规格说明的测试和数据流测试的综合,可以使产生测试用例的复杂度大大的降低。
-
关键词
类
状态变量
原子类状态图
复合类状态图
方法内测试
方法间测试
类内测试
类内引用-调用对
-
Keywords
state variable,AOSD,COSD,intra-method testing,inter-method testing,intra-class testing,intra-class def-use pair
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
