论文部分内容阅读
活性（Liveness）是Petri网的基本性质．从网的关联矩阵以及所定义变迁发生序列的结构，求解结构活网的极小标识，得到了一个多项式时间算法．
结构活网极小标识的一个求解算法
【摘 要】
：
活性（Liveness）是Petri网的基本性质．从网的关联矩阵以及所定义变迁发生序列的结构，求解结构活网的极小标识，得到了一个多项式时间算法．
【机 构】
：
电子科技大学计算机科学与工程学院,西华大学数学与计算机学院
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2006年4期
【基金项目】
：
四川省科技厅应用基础研究基金（03226125）
其他文献
随着多媒体技术的发展,高校教师将文字、语音、图像、视频素材融入教学课件（PPT）中,丰富了教学内容,节省了课堂时间。多媒体教学方式自身有独特的优越性,但也存在一些不足,诸如
摘 要：农作物秸秆中含有大量的纤维素、半纤维素和木质素，通常需要预处理后再对其进行厌氧发酵。试验采用腐熟剂对水稻秸秆进行生物预处理，研究了不同预处理时间和腐熟剂的添加量对厌氧发酵效果的影响，分析了发酵过程中产气量、pH和沼气中甲烷含量的变化。结果表明：腐熟剂预处理时间2d、腐熟剂投加量为秸秆用量的0.2%时，发酵前期物料pH下降显著、产气量高。预处理时间过长或腐熟剂添加量过多，会导致易降解有机物的
企业若想在竞争激烈的市场竞争中占据一席之地, 则必须依靠现代化的信息处理方式综合提高企业的竞争能力.而在功能效果逐渐强大的协同办公系统辅助下, 企业的信息化发展已经
本文首先对高校计算机实验室的现状进行了分析，说明了当前高校计算机实验室中存在的问题，然后根据云计算的含义和特点，对高校计算机实验室应用云计算进行了分析。
随着配电网建设规模的扩大，架空输电线路的分布也相应的广泛起来，对电能输送产生了积极的影响。架空输电线路雷电监测与雷击杆塔设计的重要性也逐显出来。本文以架空输电线路为
随着我国社会经济的不断发展,信息化开始逐渐加深,MOOC作为一种全新的教学方式也得到了广泛的推广与运用。因此,在实际工作中,教师要坚持从高职专业教学的特点上出发,凸显出M
对车地无线通信的带宽,速率有了更高的要求,导致目前城市轨道普遍存在通信带宽小,但业务量大的矛盾局面。本文基于多入多出（MIMO）技术,提高信道容量和数据传输速率。并与其他无
作者用手征微扰理论建立了有效拉氏量，对夸克标量流作用于强子八重态上的质量矩阵元计算到一圈图，得到了八重态强子的质量劈裂．
对稀疏路径的自适应声回波对消算法进行了讨论，提出一种稀疏置零归一化解相关LMS自适应滤波算法（简称SSKNDLMS）．该算法综合了稀疏算法，置零算法及归一化解相关算法的优点，在增加少