陆维明

作品数：40被引量：143H指数：8
导出分析报告
供职机构：中国科学院数学与系统科学研究院更多>>
发文主题：PETRI网活性PETRI网系统非对称选择网并发语言更多>>
发文领域：自动化与计算机技术理学电子电信自然科学总论更多>>
发文期刊：《小型微型计算机系统》《软件学报》《自动化学报》《系统工程理论与实践》更多>>
所获基金：国家自然科学基金国家重点基础研究发展计划上海市教育发展基金会“曙光计划”项目四川省应用基础研究计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算机模拟,一个案例一段佳话---现在可以说了
《计算机科学与应用》2013年第2期149-151,共3页陆维明 
本文介绍我国科技工作者使用计算机模拟技术以及与数学、物理、天文、电子、制造融合在中国航天事业奠基工作中发挥的作用[1]。这是我国较早成功使用计算机模拟的一个案例;它留下一段中国科技工作者努力合作攻关的佳话,也展示了“两弹...
关键词：模拟 
用于实现异步通信的一种模块化Petri网被引量：1
《系统仿真学报》2007年第A01期132-137,141,共7页黄小炜 陆维明 
在(TS)*SM结构活性充要条件的基础上,首先找到一种构造活的初始标识的方法并证明它的正确性。在此基础上,考虑了使用请求/应答机制(Request/Response mechanism)进行通信的网系统子类Request/Response(TS)*SM的正确性规范以及无死锁性条...
关键词：请求/应答(Request/Response) 异步通信 模块化 死锁 PETRI网 
基于共享位置的Petri网系统综合与保性被引量：6
《计算机学报》2007年第3期352-360,共9页焦莉 陆维明 
国家自然科学基金(60473007;60421001)资助
基于Petri网技术及其共享位置(shared places),文章介绍了一种综合设计方法,该方法便于多种设计模型的重用,并且在一定条件下,每一步综合设计过程都能保持无死锁(deadlock free)等Petri网的重要行为特点.对一些特殊的网类,活性(liveness...
关键词：PETRI网 特点保持 共享位置 设计 综合 
Petri网共享PP-型子网合成性质分析被引量：8
《软件学报》2007年第1期22-32,共11页夏传良 焦莉 陆维明 
国家自然科学基金;国家重点基础研究发展规划基金(973)~~
Petri网合成可以避免状态空间按指数阶迅速扩大的问题,并且在网扩大时可以保持原网的某些优良性质.为了解决资源共享问题,焦莉等人对于一个满足死锁-陷阱性质(ST-property)的非对称选择网(asymmetricchoice,简称AC)进行库所合并,给出了...
关键词：PETRI网 分析 合成 活性和有界性 子网 
Petri网精细化操作及其在系统建模中的应用被引量：3
《系统仿真学报》2006年第8期2070-2077,共8页夏传良 陆维明 
国家自然科学基金(60073013)
为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精...
关键词：PETRI网 精细化操作 结构有界性 活性 系统建模 
Petri网精细化操作及其在系统设计中的应用被引量：16
《软件学报》2006年第1期11-19,共9页夏传良 焦莉 陆维明 
国家自然科学基金;国家重点基础研究发展规划(973)~~
针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计...
关键词：PETRI网 精细化操作 活性 有界性 系统设计 
共享合成Petri网系统的活性保持性被引量：3
《系统工程理论与实践》2005年第11期70-78,共9页蒲飞 陆维明 
中国科学院管理;决策与信息系统开放实验室基金资助;国家自然科学基金(60473007)
讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成...
关键词：共享合成 路径的并发合成 并发语言 活性保持性 良径 
同步合成Petri网系统可回复性的保持性被引量：4
《系统工程理论与实践》2005年第10期83-94,共12页蒲飞 陆维明 
中国科学院管理;决策与信息系开放实验室基金;国家自然科学基金(60473007)
着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回复路径及它们并发合成的方法.进一步,给出了一个合成系统有可回复性的充分必要条件.此外,提出了在同步合...
关键词：同步合成 可回复性的保持性 并发语言 最小可回复路径 
判定非对称选择网活性及活性单调性的一个算法被引量：1
《计算机科学》2005年第9期18-20,57,共4页宋文 陆维明 
国家自然科学基金(60073013);国家重点基础研究专项经费(G1998030416);中国科学院决策与信息系统实验室(MADIS)资助;四川省科技厅应用基础课题(03226125)
活性是 Petri网的重要行为特征之一。为了得到判定 AC网活性有效的算法,本文利用分治的思想,在定义极小死锁的前、后归约子网的基础上,将较大问题分而治之,把未知问题转化为已知的FC网上的问题,从而得到了判定AC网活性及活性单调性的多...
关键词：非对称选择网 活性 活性单调性 PETRI网 分析算法 
论Petri网链路合成被引量：6
《系统工程理论与实践》2005年第6期19-26,共8页夏传良 陆维明 
国家自然科学基金(60073013);国家重点基础研究发展规划(1998030416);中国科学院管理;决策与信息系统开放实验室(MADIS)资助
　提出了单链路的概念和链路合成网的概念;给出了自由选择网(FC),扩展自由选择网(EFC),强化非对称自由选择网(SAC),扩展强化非对称选择网(ESAC)和非对称选择网(AC)链路合成网为各自相应网的充分条件;提出了链路合成网保持结构活性的条件...
关键词：PETRI网 链路合成 结构活性 非对称选择网 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部