-
题名控制软件设计与验证计算机辅助系统
被引量：3
- 1
-
-
作者
蒋昌俊
张鹏
叶志宝
-
机构
同济大学计算机科学与工程系
山东科技大学计算机科学系
中国科学院软件研究所
-
出处
《高技术通讯》
EI
CAS
CSCD
2001年第3期62-65,共4页
-
基金
国家自然科学基金(重点)
全国优秀博士论文作者专项基金
+2 种基金
教育部青年骨干教师基金
山东省优秀中青年科学家基金
上海市曙光基金
-
文摘
介绍了控制软件设计与验证系统的原理与实现过程 ,给出顺序功能图[1] (Se quentialFunctionCharts,即SFC)需求说明语言到系统Petri网模型的转化算法和系统几种异常现象的验证算法 ,讨论了系统实现的若干关键技术 。
-
关键词
控制软件设计
验证系统
计算机辅助系统
-
Keywords
Control software, Verification, Design, System, Petri net
-
分类号
TH166
[机械工程—机械制造及自动化]
-
-
题名Petri网的公平依赖关系
被引量：2
- 2
-
-
作者
韩莹洁
吴哲辉
孙永强
-
机构
上海交通大学计算机系
山东科技大学计算机系
-
出处
《计算机科学》
CSCD
北大核心
2001年第2期23-24,19,共3页
-
文摘
Petri网是对系统进行模拟与分析的有效工具。公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系。然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系。因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要。通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件。
-
关键词
PETRI网
公平依赖关系
关联矩阵
-
Keywords
Fair relation,Fair dependence relation, Repetitive vector ,Pseudo-repetitive vector
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名Petri网的依赖关系
被引量：1
- 3
-
-
作者
韩莹洁
吴哲辉
孙永强
-
机构
上海交通大学计算机系
山东科技大学计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第7期827-829,共3页
-
文摘
为了分析变迁不处于公平关系或弱公平关系时在运行中的依赖关系 ,本文提出了公平依赖和弱公平依赖的概念 .研究了伪可重复向量的性质及在判断公平依赖关系时起的作用 .给出了判断变迁处于公平依赖关系和弱公平依赖关系的充分必要条件 .
-
关键词
公平关系
弱公平关系
公平依赖关系
PETRI网
-
Keywords
Fair relation
Weak fair relation
Fair dependence relation
Weak fair dependence relation
Repetitive vector
Pseudo repetitive vector
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于T-不变量的可重复向量的求解算法
被引量：3
- 4
-
-
作者
刘关俊
蒋昌俊
吴哲辉
-
机构
山东科技大学计算机系
同济大学计算机系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期1-3,15,共4页
-
基金
国家自然科学基金(60534060
60673053)
-
文摘
研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。
-
关键词
PETRI网
可重复向量
T-不变量
FM-算法
变迁扩充网
-
Keywords
petri net
repetitive vector
T-invariant
FM-algorithm
transition-added net
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名稠密数据库有趣规则的快速挖掘
被引量：3
- 5
-
-
作者
宋爱波
董逸生
赵茂先
-
机构
东南大学计算机科学与工程系
山东科技大学计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第7期822-826,共5页
-
基金
国家重点自然科学基金 (5 98895 0 4)的资助
-
文摘
目前 ,关联规则的挖掘算法主要用于非稠密数据 ,很少有挖掘稠密数据的算法 ,而现实世界中有许多数据是稠密的 .由于现行的算法不适合稠密数据的挖掘 ,本文定义了兴趣度函数 ,给出了挖掘稠密数据有趣关联规则的有效算法 .该算法与以往不同的是提前过滤掉不满足约束的属性组合 ,因而提高了速度 ,同时 ,使发现的规则更有趣 ,更易理解 .
-
关键词
数据挖掘
关联规则
兴趣度
数据库
-
Keywords
Data mining
Association rules
Interesting
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名改进的哲学家进餐问题无饥饿解的Petri网模型
被引量：3
- 6
-
-
作者
刘关俊
吴哲辉
-
机构
山东科技大学计算机系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期26-28,61,共4页
-
基金
国家自然科学基金(60673053)
-
文摘
哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。
-
关键词
哲学家进餐问题
PETRI网
抑止弧Petri网
无饥饿解
-
Keywords
the dining philosophers problem
Petri net
Petri net with inhibitor arcs
starvation-free solution
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名基于分布式的文件服务器数据库加锁与刷新构件的设计
被引量：1
- 7
-
-
作者
张军本
蒋严冰
-
机构
山东农业大学理学院
山东科技大学计算机科学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2001年第14期109-112,共4页
-
文摘
解决了有关文件服务器数据库加锁与刷新构件的设计问题：客户－服务器方式在用户量或网络数据量较少的情况下的执行效率并不如分布式文件服务器方式的效率高，文章在从理论上讨论有关网络数据库的隔离机制和锁定和刷新方式的基础上，提出了一个通用的基于分布式文件服务器的锁定和刷新构件的设计方案。
-
关键词
数据库加锁
构件
文件服务器
-
Keywords
database-add-lock, component, file sever
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名主从任务调度的T-时间Petri网
- 8
-
-
作者
张金泉
倪丽娜
蒋昌俊
-
机构
同济大学计算机科学与工程系
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期166-169,共4页
-
基金
国家自然科学基金项目( 60125205,90412013).
-
文摘
任务调度是一个NP-hard问题,并且是并行与分布式计算必不可少的组成部分.本文首先提出了适合描述异构环境下独立、等尺寸的大规模任务调度问题的T-时间Petri网模型,然后给出了刻画该模型运行的并发可达图的构造算法,最后,在并发可达图中得到了最优调度策略,该策略实现了稳定状态的最优调度,有效地缩短了调度的初始化及清除阶段的时间.
-
关键词
任务调度
PETRI网
T-时间Petri网
并发可达标识
并发可达图
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
-
-
题名公平网的活性判断
- 9
-
-
作者
韩莹洁
孙永强
吴哲辉
-
机构
上海交通大学计算机系
山东科技大学计算机系
-
出处
《计算机应用与软件》
CSCD
北大核心
2001年第12期8-10,共3页
-
文摘
Petri网的活性判断一直是一个广为关心的问题。本文就公平网的活性进行了研究。指出如果一个公平网的有界子网是活的,那么该公平网是活的。并给出了一个公平网活的充分必要条件。
-
关键词
PETRI网
公平性
活性
可重复
-
Keywords
Petri net Fairness Liveness Repetitive
-
分类号
TP183
[自动化与计算机技术—控制理论与控制工程]
-
