陆维明
- 作品数：44 被引量：197H指数：10
- 供职机构：中国科学院数学与系统科学研究院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育发展基金会“曙光计划”项目更多>>
- 相关领域：自动化与计算机技术理学电子电信自然科学总论更多>>
- Petri网共享PP-型子网合成性质分析被引量：9
- 2007年
- Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了合并后的网保持原网活性、有界性和可回复性的条件.主要动机是对焦莉等人的研究结果进行推广,把对于AC网的库所合并问题推广到AC网或更一般的Petri网上的子网共享合成问题.给出了使共享PP-型子网合成Petri网系统保持活性、有界性和可回复性的条件以及多个AC网进行共享PP-型子网合成,使得到的合成网仍为AC网的条件.结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供一定的手段.
- 夏传良焦莉陆维明
- 关键词：PETRI网子网
- 同步合成Petri网系统活性与无死锁性的保持性被引量：23
- 2003年
- 合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.
- 蒲飞陆维明
- 关键词：并发语言
- C/E系统的交替行为特性被引量：6
- 1993年
- 本文将C/E系统中事件交替实施定义为二元关系ALT,并定义一种系统基本现象:广义冲突.随后,导出了系统的交替行为特性以及二元关系ALT可传递的充分必要条件.
- 陆维明
- 关键词：PETRI网
- 推理维护系统的Petri网模型
- 1994年
- 本文为推理维护系统引入一种Ｐｅｔｒｉ网模型并对有限非单调理论应用Ｐｅｔｒｉ例分析方法．本文提议的模型不但能描述推理维护系统，而且可用网论与网技术分析推理维护．对于一组给定的非单调规则我们给出一个算法可求得其外延，我们还给出一个算法可发现系统的不一致性．我们提出的寻找外延的算法要比现有的重构过程更有效，且它是可判定的．
- 林闯陆维明
- 关键词：PETRI网非单调推理人工智能
- 用于实现异步通信的一种模块化Petri网被引量：1
- 2007年
- 在(TS)*SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Request/Response(TS)*SM的正确性规范以及无死锁性条件,并将其推广到更大的子类Recursively Request/Response(TS)*SM。
- 黄小炜陆维明
- 关键词：异步通信模块化死锁PETRI网
- 不超过9个顶点的所有图的交叉数被引量：6
- 2003年
- 利用本文作者研制的计算图的交叉数的算法 CCN(Calculate Crossing Number) ,本文对 n≤ 9的所有图的交叉数进行了研究 .由于图的交叉数等于其所有二连通分支的交叉数的和 ,本文计算了 n≤ 9的所有单二连通分支图的交叉数 .并得出相关的规律 :1) n个顶点 q条边的单二连通分支图的平均交叉数 Ave(n,q)可近似地表示为 q的二次多项式 ,2 )在给定顶点数 n与边数 q的单二连通分支图中围长较大的图的平均交叉数大于围长较小的图的平均交叉数 ,3)在给定顶点数 n与边数 q的单二连通分支图中当 n为奇数或 r≤ n/ 2时 ,r正则图的平均交叉数大于非
- 杨元生孙艳春陆维明
- 关键词：交叉数正则图围长
- 可分解非对称选择网的活性和家态被引量：4
- 2002年
- 徐静等曾给出了非对称选择网 (Asym metric Choice Nets,AC网 )的一子类 ,即可分解非对称选择网 (De-composable Asym metric Choice Nets,DAC网 ) ,证明其结构活结构有界的充分必要条件满足死锁 -陷阱性质 .该文与之不同 ,给出了一种合成方法 ,证明合成后的 DAC网保持了子网的性质 ,如活性、有界性和家态 (Home State) .同时充分利用子网的性质给出了判定此类合成 DAC网结构活和结构有界的有多项式时间算法 .最后 ,给出一类更一般的组合网 ,该组合网保持了子网的活性 .
- 林贵献陆维明
- 关键词：非对称选择网活性有界性PETRI网
- 中国离科技强国还有多远?
- 报告介绍与剖析我国的一些科技工作结果，特别是我们身边的案例。希望得到乐观的结论。
- 陆维明
- 基于共享位置的Petri网系统综合与保性被引量：6
- 2007年
- 基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness)也能保持.
- 焦莉陆维明
- 关键词：PETRI网
- 用于实现异步通信的一种模块化Petri网
- 在(TS)<'*>SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Requ...
- 黄小炜陆维明
- 关键词：异步通信死锁
- 文献传递
