咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 11 篇 期刊文献
  • 3 篇 学位论文

馆藏范围

  • 14 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 13 篇 工学
    • 13 篇 计算机科学与技术...
    • 2 篇 软件工程
  • 1 篇 理学
    • 1 篇 数学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 14 篇 s-不变量
  • 11 篇 petri网
  • 2 篇 验证
  • 2 篇 s-不变量的极小支...
  • 2 篇 死锁
  • 2 篇 工作流网
  • 1 篇 建模
  • 1 篇 strc算法
  • 1 篇 lapd协议
  • 1 篇 系统分析
  • 1 篇 perti网
  • 1 篇 消除
  • 1 篇 抑制弧
  • 1 篇 过程挖掘
  • 1 篇 形式化方法
  • 1 篇 可达树
  • 1 篇 证券交易系统
  • 1 篇 混惑
  • 1 篇 web服务
  • 1 篇 符合性检查

机构

  • 6 篇 山东科技大学
  • 3 篇 西华大学
  • 2 篇 安徽理工大学
  • 2 篇 滁州学院
  • 1 篇 计算机软件新技术...
  • 1 篇 复旦大学
  • 1 篇 高维信息智能感知...
  • 1 篇 南京大学
  • 1 篇 国家经济信息中心
  • 1 篇 中国科学院软件所
  • 1 篇 杭州电子科技大学

作者

  • 5 篇 鲁法明
  • 3 篇 包云霞
  • 2 篇 许志才
  • 2 篇 吴哲辉
  • 2 篇 方贤文
  • 1 篇 王丽丽
  • 1 篇 胡海洋
  • 1 篇 邹艳妮
  • 1 篇 叶剑虹
  • 1 篇 李传艺
  • 1 篇 胡昊
  • 1 篇 张彤
  • 1 篇 周正康
  • 1 篇 宋文
  • 1 篇 骆斌
  • 1 篇 赵艳
  • 1 篇 邵长明
  • 1 篇 陈东
  • 1 篇 葛季栋
  • 1 篇 孟永刚

语言

  • 14 篇 中文
检索条件"主题词=S-不变量"
共 14 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
s-不变量求取的多项式算法
收藏
分享
引用
系统仿真学报 2008年 第S2期20卷 29-32页
作者： 鲁法明 吴哲辉 山东科技大学信息科学与工程学院 青岛266510
首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMsT算法);之后提出了能在多项式时间内判断给定库所子集是否为s-不变量极小支集的RCMsD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个s... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
计算高级Petri网s-不变量的一种简单算法
收藏
分享
引用
软件学报 1992年 第3期3卷 49-55页
作者： 林闯 张彤 国家经济信息中心 北京100045 中国科学院软件所 北京100080
在高级Petri网的性质分析中,s—不变量的方法是一个重要的方法,如何计算高级Petri网的s—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级Petri网的所有s... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
求网的s-不变量的一种图算法
收藏
分享
引用
计算机科学 2007年 第3期34卷 246-249页
作者： 王丽丽 吴哲辉 山东科技大学信息科学与工程学院
本文提出了一种新的求解网的s-不变量的方法。这种方法的基本思路是把一个网看作一个有向图,通过寻找网N的s-封闭基本有向贯通路簇或s-封闭基本有向回路簇,可以得到封闭重数方程组,求此封闭重数方程组的解就得到此网N的所有极小s-不变量。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
求取s-不变量基的新算法
收藏
分享
引用
系统仿真学报 2011年 第B07期23卷 65-68页
作者： 包云霞 鲁法明 山东科技大学理学院 青岛266510 山东科技大学信息科学与工程学院 青岛266510
s-不变量是进行Petri网结构性质分析的重要工具,但s-不变量的求取尚无有效算法。作者在s-不变量的极小支集的判定、极小支集上s-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取s... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
s-不变量极小支集判定的多项式算法
收藏
分享
引用
山东科技大学学报（自然科学版） 2010年 第1期29卷 100-104页
作者： 包云霞 鲁法明 山东科技大学理学院 山东青岛266510 山东科技大学信息科学与工程学院 山东青岛266510
s-不变量是对Petri网进行结构性质分析的重要工具,但s-不变量的求取尚无有效算法。主要分析了s-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为s-不变量极小支集的充分必要条件,在此基础上提出... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
判定工作流网s-可覆盖性的有效算法
收藏
分享
引用
计算机集成制造系统 2012年 第8期18卷 1757-1765页
作者： 鲁法明 曾庆田 包云霞 山东科技大学信息科学与工程学院 山东青岛266590 山东科技大学理学院 山东青岛266590
为有效判定工作流网的s-可覆盖性,将工作流网的s-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网s-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网s-可覆盖性的同时可以求出一组s-不变量的极小支集。... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
一种基于Token Log的符合性检查方法
收藏
分享
引用
软件学报 2015年 第3期26卷 509-532页
作者： 李传艺 葛季栋 胡海洋 胡昊 骆斌 计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 南京大学软件学院 江苏南京210093 高维信息智能感知与系统教育部重点实验室(南京理工大学) 江苏南京210094 杭州电子科技大学计算机学院 浙江杭州310018 南京大学计算机科学与技术系 江苏南京210046
使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
LAPD协议的Petri网描述与验证
收藏
分享
引用
计算机工程 1995年 第6期 63-67页
作者： 吴克 周正康 复旦大学计算机科学系
我们利用Ｐｅｔｒｉ网描述协议的方法，对ＬＡＰＤ协议的连接建立过程进行了形式描述，然后对ＬＡＰＤ协议的有界性、活性和保守性等性质进行了验证。
来源： 同方期刊数据库 同方期刊数据库 评论
基于Petri网和Web的电子商务安全性分析
收藏
分享
引用
计算机工程与设计 2007年 第22期28卷 5511-5513页
作者： 方贤文 许志才 赵艳 安徽理工大学数理系 安徽淮南232001 滁州学院数学系 安徽滁州239012
在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用。但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的。Petri网便于描述具有并发、异步、不确... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于Petri网的网上股票交易系统模拟与验证
收藏
分享
引用
微计算机信息 2006年 第9X期22卷 226-228页
作者： 孟永刚 宋文 叶剑虹 西华大学数学与计算机科学技术学院
给出了基于时序Petri网下的网上证券交易系统,其模型过于复杂。由于Petri网本身很强的模拟能力,本文用P/T_系统,模拟了证券交易所的网上证券交易系统,进而用s-不变等方法对其进行了验证。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >> 跳转到页 
回到顶部
执行限定条件