论文部分内容阅读
给出了一个判定基于随机Petri网（SPN）的乘积形式解存在的定理.利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率.
基于随机Petri网的乘积形式解存在判定
【摘 要】
：
给出了一个判定基于随机Petri网（SPN）的乘积形式解存在的定理.利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平
【机 构】
：
安徽理工大学,同济大学
【出 处】
：
计算机工程与设计
【发表日期】
：
2006年8期
【基金项目】
：
国家自然科学基金项目（60173053）,安徽理工大学青年科学基金项目（2004020）.
其他文献
在北京第二十九届奥运会开幕之际，当巨型画卷在众人面前徐徐展开时，新的中国驻美使馆及新的美国驻华使馆相继举行了开馆仪式，这说明中美外交关系新的一页已经来临。新的中国驻美
京剧是中国传统戏剧的代表剧种，是东方戏剧艺术的代表，但是作为京剧演出的现代专业剧场非常少，而继承中国传统戏场特征的剧场几乎没有。所以京剧演出专业剧场的设计研究比较缺乏
非营利组织的管理效益始终缺乏一一个科学的衡量评估体系。本文以公益基金会这一重要的非营利组织为研究对象，借鉴平衡计分卡这一企业战略管理工具，探讨基金会管理效益评价体系
考虑到现存的证实数字签名方案或者是不安全的，或者是低效的，基于Canmenisch-Michels形式化模型和结构，提出一种新颖的完全基于DSA及RSA的证实数字签名方案。新方案中的证实与否
在系统分析雷达旅（团）指挥协同过程特点的基础上，结合着Petri网和时间融合函数发展了一类绽合有色Petri网方法，并融入CSCW技术建立了相应的雷达旅（团）指挥协同模型。通过对作战指挥
简要分析了现存无线网络中的加密技术和身份认证等安全措施及其存在的安全问题。分别从数据保密、身份认证及密钥管理等方面对IEEE802．11i标准的安全性进行了探讨，其中详细地分
本文试图通过阐述我校传统英语听力教学模式中存在的不足和多媒体教学的长处,来揭示多媒体教学这一现代化的教学手段使我校英语听力课春意盎然,生机无限.
分析了网络环境下石油钻具组合设计的特点,针对目前钻具组合设计集成软件系统在处理复杂动态的、跨地区部门的钻具组合设计人员群体协作工作时,缺乏足够的协同性和临场感,运