您的位置: 专家智库 > >

国家自然科学基金(60073013)

作品数:25 被引量:61H指数:5
相关作者:夏传良陆维明焦莉李盛恩杨元生更多>>
相关机构:中国科学院数学与系统科学研究院山东建筑大学山东建筑工程学院更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划四川省应用基础研究计划项目更多>>
相关领域:自动化与计算机技术理学化学工程更多>>

文献类型

  • 25篇期刊文章
  • 2篇会议论文

领域

  • 25篇自动化与计算...
  • 2篇理学
  • 1篇化学工程
  • 1篇一般工业技术

主题

  • 18篇PETRI网
  • 12篇活性
  • 9篇有界
  • 9篇有界性
  • 8篇子网
  • 6篇子网合成
  • 5篇共享
  • 5篇非对称选择网
  • 4篇系统设计
  • 3篇公平
  • 2篇顶点
  • 2篇性质分析
  • 2篇功能扩展
  • 2篇P型
  • 2篇SHELL
  • 2篇LIVENE...
  • 1篇单链
  • 1篇递归
  • 1篇顶点标号
  • 1篇多媒体

机构

  • 19篇中国科学院数...
  • 4篇山东建筑工程...
  • 4篇山东建筑大学
  • 2篇大连理工大学
  • 2篇北京理工大学
  • 1篇广西师范学院
  • 1篇中国科学院
  • 1篇西华大学
  • 1篇中国科学院软...

作者

  • 19篇夏传良
  • 9篇陆维明
  • 3篇焦莉
  • 2篇李盛恩
  • 2篇杨元生
  • 2篇鞠彦兵
  • 1篇孙艳春
  • 1篇徐静
  • 1篇刘秀婷
  • 1篇容青
  • 1篇徐进
  • 1篇蒲飞
  • 1篇宋文
  • 1篇陈兆柱

传媒

  • 7篇计算机科学
  • 6篇系统仿真学报
  • 3篇软件学报
  • 1篇系统工程理论...
  • 1篇计算机应用
  • 1篇计算机应用研...
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇计算机仿真
  • 1篇计算机工程与...
  • 1篇Journa...
  • 1篇广西师范学院...

年份

  • 4篇2007
  • 6篇2006
  • 10篇2005
  • 2篇2003
  • 3篇2002
  • 2篇2001
25 条 记 录,以下是 1-10
排序方式:
Petri网共享T型子网合成结构性质分析及其应用被引量:5
2007年
为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件;特别在证明结构活性保持性的过程中,体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的设计和分析,具有一定的实用价值。
夏传良
关键词:PETRI网系统设计
Petri网的T型子网精细化操作性质分析及应用
针对企业用加工厂或车间加工某种产品等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种T-型子网,给出这种精细化操作保持活性、有界性和可回复性的充要条件;本文的结果可为Petri网系统静态和动态...
夏传良
关键词:PETRI网活性有界性
文献传递
对UNIX系统中B-shell的功能扩展
2005年
UNIX系统是当代著名的操作系统之一,B-shell是UNIX系统不同版本的shell中最重要的一种。针对B-shell作为独立程序设计语言与一般高级程序设计语言相比所存在的一些缺欠,如B-shell不提供集成数据类型、没有格式化输出手段、计算能力不强和串处理能力较弱等,将对B-shell在计算能力、字符串处理、集成数据类型和格式化输出等方面进行功能扩充,可大大提高编程的效率,并使B-shell具有与其它高级语言类似的功能。论文的结果有助于相关软件的开发和应用。
夏传良
关键词:UNIX
论Petri网链路合成被引量:7
2005年
 提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件,按照条件对多个结构活的FC网,EFC网,SAC网,ESAC网,AC网以及一般的Petri网两两进行链路合成,最后可得到结构活的链路合成总网;链路合成的特色是合成条件容易判断,实用性强.研究结果可为Petri网系统合成的静态和动态性质的考察提供有效途径.
夏传良陆维明
关键词:PETRI网非对称选择网
Petri网的PP型子网精细化操作性质分析及应用被引量:2
2006年
针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题,提出了用 Petri 网精细化操作解决问题的方案。定义了一种 PP-型子网,用这种子网分别对 Petri 网系统中的某些库所进行细化,得到更细致、更精确的Petri 网系统。研究了 Petri 网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件;本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。
夏传良
关键词:PETRI网有界性
Petri网共享P型子网合成及其在系统设计中的应用被引量:9
2007年
针对柔性制造系统的设计问题,提出了经由Petri网共享P-型子网构成合成网的解决方案;研究了共享P-型子网合成的动态性质保持问题。提出了合成网保持活性和有界性的一组充分条件或充要条件;主要动机是对[7]的P-组合网系统的有关结果进行推广,将共享库所合成直接推广到共享P-型子网合成。对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。
夏传良鞠彦兵李盛恩
关键词:PETRI网系统设计有界性活性
对一种集成应用系统的研究
2005年
针对企业现存对外交流的信息平台所存在的不足,提出了将计算机电话集成技术系统与客户关系管理系统进行集成的方案,阐述了计算机电话集成技术系统与客户关系管理系统的原理及相关技术,给出了集成间的数据接口的定义,阐述了计算机电话集成系统智能路由的数据传输协议。利用该集成技术,可为企业改善服务,提高用户的满意度,促进企业经济效益的提高。
夏传良刘秀婷
关键词:接口集成技术
Petri网共享子网合成及其在系统设计中的应用被引量:2
2006年
针对柔性制造系统的设计和分析,提出了经由 Petri 网共享子网构成合成网的解决方案;研究了 Petri 网共享子网合成的动态性质保持问题,给出了合成网保持活性、有界性的一组充分条件;对一个柔性制造系统进行了设计和分析。本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值。
夏传良徐进
关键词:PETRI网有界性活性系统设计
Petri网的TT型子网精细化操作性质分析及其应用被引量:5
2006年
针对企业用加工厂或车间加工某种产品等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种TT-型子网,用这种子网分别对Petri网系统中的某些变迁进行细化,得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件;本文的结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。
夏传良
关键词:PETRI网活性有界性
Petri网共享PB型子网合成及其在系统设计中的应用被引量:2
2007年
针对柔性制造系统的共享子系统设计问题,提出了经由Petri网共享PB-型子网(Place Bordered Subnet)构成共享PB-型子网合成网的解决方案;研究了共享PB-型子网合成的动态性质保持问题。给出了合成网保持活性和有界性的一组充分条件或充要条件;对一个柔性制造系统进行了设计和分析。结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统设计和分析具有重要的指导意义。
夏传良
关键词:PETRI网有界性活性系统设计
共3页<123>
聚类工具0