疏松桂

作品数：32被引量：137H指数：5
导出分析报告
供职机构：中国科学院自动化研究所更多>>
发文主题：CIMS可靠性故障诊断控制系统生产线更多>>
发文领域：自动化与计算机技术机械工程理学电子电信更多>>
发文期刊：《信息与控制》《通信学报》《计算机学报》《数学的实践与认识》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划中国博士后科学基金山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网的嵌入操作及其在系统递阶建模中的应用
《控制理论与应用》1998年第4期551-557,共7页蒋昌俊 王成红 疏松桂 郑应平 
国家自然科学基金;山东省自然科学基金;煤炭部跨世纪学术带头人基金;中国博士后科学基金
本文定义Petri网嵌入操作的概念，讨论了嵌入操作对于系统行为（语言）以及性质（如活性，公平性，安全性和回归性）的保持关系，得到了一组充要条件，给出基于嵌入操作的并发系统递阶设计方法．
关键词：PETRI网 嵌入操作 建模 离散并发系统 
基于行为表达式的任意随机Petri网的品质分析被引量：3
《自动化学报》1997年第3期370-376,共7页蒋昌俊 郑应平 疏松桂 
国家自然科学基金
提出一种基于行为表达式的品质分析方法，可以做任意分布的有界或无界随机Ｐｅｔｒｉ网的品质分析．该方法不仅拓广了分析范围，解决了文献［４］中没有解决的问题，而且不必画出Ｐｅｔｒｉ网的可达标识图，使分析过程更为简洁．
关键词：随机PETRI网 任意分布 行为表达式 品质分析 
基于Petri网语言的系统设计与分析被引量：3
《通信学报》1997年第1期27-33,共7页蒋昌俊 郑应平 疏松桂 
国家自然科学(重点)基金;中国博士后基金;山东省自然科学基金;中科院复杂系统工程学实验室基金;东南大学国家教委网络实验室基金
本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较。
关键词：并发系统 PETRI网语言 模型 建模 数字网 
可修系统的Petri网模型及其分析被引量：3
《应用科学学报》1996年第3期265-270,共6页蒋昌俊 疏松桂 
国家自然科学基金;863高技术资助
该文将可靠性理论引进到Ｐｅｔｒｉ网中，建立可修系统的Ｐｅｔｒｉ网模型，并给出系统模型的分析方法．通过对一生产系统的模拟，说明该工作的必要性．
关键词：可修系统 PETRI网 可靠性 
并发系统建模与分析研究被引量：2
《高技术通讯》1996年第6期21-25,共5页蒋昌俊 郑应平 疏松桂 
国家自然科学基金;863计划资助
基于Ｐｅｔｒｉ网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型，用于需求规格说明，包括功能图、资源图和约束集。给出概念模型的精练过程，以及由概念模型到Ｐｅｔｒｉ网模型的转换算法。
关键词：并发系统 概念模型 PETRI网模型 计算机 
约束并发机制下Petri网模型的逻辑行为考察与随机性能评估
《自动化学报》1996年第4期410-417,共8页蒋昌俊 疏松桂 郑应平 
国家自然科学基金
提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．
关键词：约束并发机制 PETRI网模型 随机品质 逻辑行为 
混合式CIMS生产线的可靠性分析被引量：1
《信息与控制》1995年第5期288-293,300,共7页张立龙 疏松桂 谭民 
本文讨论在某一工作站处，以２：１的比例合并装配，以１：１的比例分裂拆卸的所谓混合式ＣＩＭＳ生产线的可靠性，得到了在工件不流失条件下求解的充要条件及一些必要条件。
关键词：CIMS 生产线 可靠性分析 缓冲库 
考虑一类运行规则的两级生产线的可靠性分析
《自动化学报》1995年第6期721-724,共4页谭民 疏松桂 张立龙 
考虑运行规则的两级生产线的可靠性问题是加工系统中很重要的一类，本文对机器、缓冲区及生产线的运行状态进行了深人的讨论，从机理上分析了生产线运行的状况，求出了机器在正常和失效状态下的概率以及缓冲区处于不空状态下的概率，得...
关键词：运行规则 制造系统 生产线 可靠性分析 CIMS 
基于Petri网的煤矿安全系统分析被引量：2
《煤炭学报》1995年第4期418-422,共5页蒋昌俊 疏松桂 
国家自然科学基金;"863"高技术项目
用Ｐｅｔｒｉ网模拟和分析煤矿事故，针对无重复底事件系统，给出定性的分析方法。提出有重复底事件系统的Ｐｅｔｒｉ网形式化建模方法和基于并发机制的分析方法，包括定性、定量两个方面，通过实际问题的分析，体现了该方法的应用广泛...
关键词：PETRI网 煤矿 安全系统 
计算机综合制造系统优化设计的研究被引量：2
《自动化学报》1995年第3期341-347,共7页疏松桂 
国家863基金
在等效工作站的基础上，并以中途不丢失工件为前提，对串联ＣＩＭＳ进行了优化设计的研究．分别就首站前和末站后有无缓冲区、中间缓冲库容量是否一致、工作站是否可靠和总资源约束等不同的情况下，讨论了系统优化设计问题，得出了精确...
关键词：CIMS 优化设计 等效工作站 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部