论文部分内容阅读
Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念.本文证明了一个重要性质:亚公平Petri网中一定存在着公平关系,并在此基础上讨论了亚公平网中的公平分支划分.此外,本文通过网的本原可重复向量集化简了一个网为亚公平网的一组充分必要条件.
Petri网中亚公平关系与亚公平网
【摘 要】
：
Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念.本文证明了一个重要性质:亚公平Petri网中一定存在着公平关系,并在此基础上讨
【机 构】
：
山东科技大学信息科学与工程学院,山东科技大学信息科学与工程学院
【出 处】
：
山东科技大学学报(自然科学版)
【发表日期】
：
2001年1期
其他文献
考查了ε-代换类先验的贝叶斯稳健性,衡量其稳健与否的标准是先验为ε-代换类的后验分布的kullback-leibler散度和它的曲率.给出了多维和非共轭情况下后验的kullback-leibler
简要评述包括低损耗的电光波导器件、红外波导探测器、二氧化硅光波回路等硅基光波导的结构、工艺及其器件。
电子技术发展至今，限制电子器件性能提高的关键因素已不是芯片本身的制作，而是互连，封装技术。一种先进的互连，封装技术－多芯片组件已崭露头角。文章简要叙述了ＭＣＭ的历史背景，应用前景
为克服在线视频网站中出现的数据稀疏性和推荐实时性不佳的问题,本文提出一种基于用户聚类的改进算法。首先该算法以商品属性为辅助预填充矩阵空白,然后采用初始聚类中心优化
推广了Deniele Vigo提出的解决ACVRP的方法,给出一种解决CVRP的启发式算法,并且举例说明了这种算法的有效性与优越性.
针对施工现场及机器人的实际情况,介绍了大型喷浆机器人在自动控制方式下基于插补算法的轨迹规划.实际应用表明,用该方法对机器人进行轨迹规划完全能满足喷浆工艺的要求.
讨论了光纤的光敏性，并着重综述了光纤相位光栅（布喇格光栅）的制作方法。
由张金亮和谢俊等完成的该项研究从陆相断陷盆地斜坡带沉积、成藏条件人手，通过对岩性、电性、地震资料的解释，结合古气候、古环境的研究和各种相标志对沉积相进行了综合表征，并
对案例知识的检索与匹配进行了一定的研究，并将案例知识库扩展为远程的网络化知识库，同时为解决基存在的速度问题提出了采用分页处理技术的方案。
文章阐述了摄像器件的概况和商清新度电视（ＨＤＴＶ）对摄像器件的特殊要求：叙述了提高电视图像质量的新方法和ＨＤＴＶ摄像器件的工作原理；展示了ＨＤＴＶ摄像器件的发展前景。