新扩展强化非对称选择网的有界性与单调性

来源 :西南交通大学学报 | 被引量 : 0次 | 上传用户：xj3301365

【摘要】

：

根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个

【作者】

：

宋文伊良忠牟行军

【机构】

：

西华大学计算机与数理学院

【出处】

：

西南交通大学学报

【发表日期】

：

2004年5期

【关键词】

：

非对称选择网(AC网) 结构活活性单调性结构有界 AC net(asymmetric choice nets) structural liveness

【基金项目】

：

四川省应用基础研究计划

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

根据Petri网结构理论,讨论非对称选择网(AC)的一个子类:新扩展强化非对称选择网(NESAC)的有界性与活性单调性.判定NESAC网N结构有界的充分必要条件是,N被极小死锁簇覆盖,每个非空极小死锁H-定是个陷阱且满足|t*∩H|=|t*∩H|=1.NESAC网仍然具有ESAC活性单调性的特征.

其他文献

医疗自助服务系统的设计与应用

摘要：针对传统门诊排队时间长，结算不方便等问题，分析医院就诊自助服务流程，基于NDolls框架设计了一种医疗自助服务系统，它实现了与现有医院内部信息系统的无缝集成，优化了医疗过程。自助服务系统的使用有效地提高了医疗效率，改善了医疗环境和秩序。　　关键词：自助服务;NDolls;分层架构　　中图分类号：TP311 文献标识码：A 　　文章编号：1009-3044（2019）13-0077-02

期刊

自助服务NDolls分层架构

PLC使用Modbus Plus网络进行数据传输的实际应用

介绍PLC使用Modbus Plus网络的特点与要求,并编写相应程序实现控制网络之间的互相通信,提出采用该方式的注意事项。

期刊

PLCMODBUSPLUS总线

物联网技术下计算机网络工程专业建设探讨

摘要：随着时代的发展，网络技术逐渐完善，并渗透到社会生活的各个领域。计算机专业的发展与物联网技术有着密不可分的联系，近年来此技术在各大高校的教学活动中使用得非常频繁，下面以该项技术为背景围绕计算机网络工程专业展开讨论。首先对其进行简要介绍，再针对现阶段的网络工程专业建设，提出几点可行的建议。　　关键词：网络技术；专业建设；问题；可行建议　　中图分类号：G424 文献标识码：A 文章编号：1009-

期刊

网络技术专业建设问题可行建议

1700mm冷轧机旋转分配器故障原因分析及改进

对1700mm冷轧机针卷取、开卷机组旋转分配器密封损坏、轴承研死故障原因进行分析，提出相应改进措施．并重新设计了旋转分配器，选用适合的优质密封，减小密封件线速度，有效提高了其工

期刊

旋转分配器轴承密封圈线速度改进措施

京珠高速公路108滑坡及防治工程分析

在分析京珠高速公路108滑坡形成的地形地貌、地层岩性、地质构造及地下水条件的基础上,探讨了滑坡产生的物质条件及外部原因,分析了滑坡主要防治工程的效果.结果表明:厚度大

期刊

滑坡防治工程分析landslide treatment engineering analysis

在调优NLP模型时使用J-K-fold交叉验证来减少方差

摘要：K-fold交叉验证（CV）是估计机器学习模型真实性能的常用方法。CV的过程需要数据的隨机划分，因此性能评估实际上是随机的，具有可变性，这对于自然语言处理任务是非常重要的。所以建议使用较少变化的J-K-fold CV，其中J个独立的K-fold交叉验证用于评估性能。实验结果表明，通过重复的J-K-fold交叉验证进行调优能减少方差。　　关键词：J-K-fold交叉验证;自然语言处理;调优　　

期刊

J-K-fold交叉验证自然语言处理调优

基于大数据建设下电力调度自动化的安全与实现

介绍我国电力调度自动化发展现状以及电力调度系统存在的问题,阐述了大数据技术的应用,并提出了安全的电力调度自动化系统的构建途径。

期刊

大数据电力调度自动化系统安全与实现

自动化控制系统在MTG装置的应用

就目前国内能源格局、原料供应和环保要求三方面论述了甲醇制汽油（MTG）装置存在及发展的必要依据,结合项目实施重点阐述了一步法甲醇制汽油装置的工艺特点,以及该工艺装置自动

期刊

MTG工艺DCSSIS

新扩展强化非对称选择网的有界性与单调性

其他学术论文