检索结果-维普期刊中文期刊服务平台

生产系统的Petri网模型被引量：10: 1; 作者陆维明林闯《自动化学报》 EI CSCD 北大核心 1993年第3期290-299,共10页; 本文提出了有消解过程的系统建模方法,并为随机模型建立了逐步精细原则,展示了系统性能分析的实例,探讨了建立外部监控模型的原理,研究了调控模型智能化问题,引入了用智能方法实现理想外部监控器的研究结果。; 关键词 PETRI 工厂自动化; 在线阅读下载PDF 职称材料

一种资源共享系统的模型和近似性能分析被引量：21: 2; 作者林闯《计算机学报》 EI CSCD 北大核心 1997年第10期865-871,共7页; 本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型选代近似求解的两种方法：标识概率交换和平均标志个数交换．例子显示了这两种方法的有效性和相对误差．本文还证明了上述两种方法在固定点迭代... 展开更多; 关键词资源共享系统近似性能分析 PETRI网; 在线阅读下载PDF 职称材料

概率逻辑可能世界的Petri网模型被引量：3: 3; 作者林闯陆维明《计算机学报》 EI CSCD 北大核心 1994年第4期307-311,共5页; 本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是... 展开更多; 关键词概率逻辑 PETRI网模型; 在线阅读下载PDF 职称材料

Petri网用于求解概率逻辑的近似可能世界矩阵被引量：1: 4; 作者林闯陆维明《计算机学报》 EI CSCD 北大核心 1995年第1期1-8,共8页; 概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现．Ｎｉｌｓ－ｓｏｎ提出了一种矩阵列产生方法［１］，可得到近似而规模小的矩阵，但他没有提出具体的算法．本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法... 展开更多; 关键词概率逻辑 PETRI网矩阵算法; 在线阅读下载PDF 职称材料

基于案例推理系统的Petri网模型被引量：1: 5; 作者林闯《计算机学报》 EI CSCD 北大核心 1994年第A00期77-81,共5页; 在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演．本文中，我们提出了一个基于案例推理（ＣＢＲ）系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演．; 关键词案例推理系统 PETRI网人工智能; 在线阅读下载PDF 职称材料

题名生产系统的Petri网模型被引量：10: 1; 作者陆维明林闯; 机构中国科学院数学研究所国家信息中心信息科学研究所; 出处《自动化学报》 EI CSCD 北大核心 1993年第3期290-299,共10页; 基金国家自然科学基金中国科学院管理 +1 种基金决策信息系统开放实验室资助; 文摘本文提出了有消解过程的系统建模方法,并为随机模型建立了逐步精细原则,展示了系统性能分析的实例,探讨了建立外部监控模型的原理,研究了调控模型智能化问题,引入了用智能方法实现理想外部监控器的研究结果。; 关键词 PETRI 工厂自动化; Keywords Petri net factory automation system performance system control intelligent model; 分类号 TP278 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名一种资源共享系统的模型和近似性能分析被引量：21: 2; 作者林闯; 机构国家信息中心信息科学研究所; 出处《计算机学报》 EI CSCD 北大核心 1997年第10期865-871,共7页; 基金国家自然科学基金; 文摘本文提出一种随机Ｐｅｔｒｉ网（ＳＰＮ）的资源共享系统的模型，并给出了模型分解和子模型选代近似求解的两种方法：标识概率交换和平均标志个数交换．例子显示了这两种方法的有效性和相对误差．本文还证明了上述两种方法在固定点迭代求解中，固定点解的存在．本文的复杂模型近似性能求解方法可以应用到很多复杂系统的性能分析中．; 关键词资源共享系统近似性能分析 PETRI网; Keywords Systems with shared resources approximate performance analysis fixed point iteration model decomposition stochastic Petri nets.; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名概率逻辑可能世界的Petri网模型被引量：3: 3; 作者林闯陆维明; 机构国家信息中心信息科学研究所; 出处《计算机学报》 EI CSCD 北大核心 1994年第4期307-311,共5页; 基金国家自然科学基金中国科学院管理决策和信息系统开放实验室资助; 文摘本文研究概率逻辑中推导可能世界的Ｐｅｔｒｉ网模型．该模型为可能世界的产生提供有效算法．这个算法被证明是正确的，它可以产生所有的一致的可能世界．文章中还分析了算法的复杂性．通过同其它方法的比较可知：此Ｐｅｔｒｉ网模型是概率逻辑可能世界推导的简单、实用和图形化的工具．; 关键词概率逻辑 PETRI网模型; Keywords Probabilistic logic possible worlds Petri nets marking reachability tree; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Petri网用于求解概率逻辑的近似可能世界矩阵被引量：1: 4; 作者林闯陆维明; 机构国家信息中心信息科学研究所; 出处《计算机学报》 EI CSCD 北大核心 1995年第1期1-8,共8页; 基金国家自然科学基金中国科学院管理决策和信息系统开放实验室基金; 文摘概率逻辑中的可能世界随着问题增长而指数性增长，使问题求解难以实现．Ｎｉｌｓ－ｓｏｎ提出了一种矩阵列产生方法［１］，可得到近似而规模小的矩阵，但他没有提出具体的算法．本文提出一种Ｐｅｔｒｉ网模型，可为Ｎｉｌｓｓｏｎ方法的求解提供有效途径．; 关键词概率逻辑 PETRI网矩阵算法; Keywords Probabilistic logic possible worlds Petri nets markings reachability tree.; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于案例推理系统的Petri网模型被引量：1: 5; 作者林闯; 机构国家信息中心信息科学研究所; 出处《计算机学报》 EI CSCD 北大核心 1994年第A00期77-81,共5页; 基金国家自然科学基金中国科学院管理决策与信息系统开放实验室的资助; 文摘在基于案例推理中，一个重要的问题就是如何在案例存储空间进行推演．本文中，我们提出了一个基于案例推理（ＣＢＲ）系统的Ｐｅｔｒｉ网模型，而且使用网论中的线性技术来解决基于案例的推演．; 关键词案例推理系统 PETRI网人工智能; Keywords Petri nets,case-based reasoning,logical inference; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	生产系统的Petri网模型	陆维明林闯	《自动化学报》 EI CSCD 北大核心	1993	10	在线阅读下载PDF 职称材料
2	一种资源共享系统的模型和近似性能分析	林闯	《计算机学报》 EI CSCD 北大核心	1997	21	在线阅读下载PDF 职称材料
3	概率逻辑可能世界的Petri网模型	林闯陆维明	《计算机学报》 EI CSCD 北大核心	1994	3	在线阅读下载PDF 职称材料
4	Petri网用于求解概率逻辑的近似可能世界矩阵	林闯陆维明	《计算机学报》 EI CSCD 北大核心	1995	1	在线阅读下载PDF 职称材料
5	基于案例推理系统的Petri网模型	林闯	《计算机学报》 EI CSCD 北大核心	1994	1	在线阅读下载PDF 职称材料