期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于T-不变量消除的Petri网合法变迁引发序列判定算法 被引量:5
1
作者 于枫 罗军舟 李伟 《解放军理工大学学报(自然科学版)》 EI 2008年第5期522-527,共6页
Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限。因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用... Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限。因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定。通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败。分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定。 展开更多
关键词 PETRI网 可达性 合法变迁引发序列 T-不变量
下载PDF
合法变迁引发序列判定中的T-不变量添加
2
作者 岳昊 李文杰 《云南师范大学学报(自然科学版)》 2010年第6期47-50,共4页
Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LF... Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LFS(N,M0,X+Y)。在一般情况下,不能在待判定的解向量X中添加T-不变量。这是Petri网合法变迁引发序列判定的一个性质。 展开更多
关键词 PETRI网 合法变迁引发序列 T-不变量 添加
下载PDF
处理历史性记录的数据模型
3
作者 唐常杰 《贵州大学学报(自然科学版)》 1987年第3期158-167,共10页
为了弥补传统的数据库模型的不足,处理办公室自动化中遇到的大量的历史性记录,提出了对象历史模型来处理历史性数据。本文通过例子分析了对象历史模型的背景和目的,给出了对象历史模型的数学描述,讨论了对象历史的语义限制,如局部限制... 为了弥补传统的数据库模型的不足,处理办公室自动化中遇到的大量的历史性记录,提出了对象历史模型来处理历史性数据。本文通过例子分析了对象历史模型的背景和目的,给出了对象历史模型的数学描述,讨论了对象历史的语义限制,如局部限制和回避坏子列限制,以及特殊的查询运算,并综述了国际上在对象历史上研究的动态和成果。 展开更多
关键词 对象历史 状态属性 输入属性 评价属性 语义限制 局部限制 计算元组序列 合法序列 粘连 区间查询半群 递归不可解
下载PDF
基于逐层拉开档次法的电能质量综合评价 被引量:9
4
作者 欧阳森 黄瑞艺 程小华 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第5期93-98,118,共7页
电力市场环境下,有效的电能质量评价方法十分重要.文中利用逐层拉开档次法进行主客观组合赋权,建立新的区域电网电能质量综合评价模型.首先将区域电网电能质量进行大系统和子系统的层次划分,设计出一套综合评价指标体系,并建立大系统和... 电力市场环境下,有效的电能质量评价方法十分重要.文中利用逐层拉开档次法进行主客观组合赋权,建立新的区域电网电能质量综合评价模型.首先将区域电网电能质量进行大系统和子系统的层次划分,设计出一套综合评价指标体系,并建立大系统和子系统综合评价函数;然后用序列综合法和拉开档次法确定各层系统的综合权重;最后由综合评价函数得出每层子系统以及大系统的综合评价值,实现区域电网电能质量综合评价.该模型自下而上地考虑和比较区域电网运行状态对综合评价结果的影响,实现了全面、细致、客观的综合评价,应用该综合评价模型对某供电局的变电站电能质量数据进行的实证分析和评价表明,该方法是有效的. 展开更多
关键词 电能质量 综合评价 逐层拉开档次法 序列合法
下载PDF
一类同步合成网合法发射序列判定的一个多项式时间算法 被引量:1
5
作者 蒋昌俊 《中国科学(E辑)》 CSCD 北大核心 2002年第1期116-124,共9页
研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法.从而将这类问题的多项式可解性从坚持网、无冲突网和状态机网的仅有Petri网子类,推广到更为广泛的这些子类的同步合成Petri网.一般Petri网的这类... 研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法.从而将这类问题的多项式可解性从坚持网、无冲突网和状态机网的仅有Petri网子类,推广到更为广泛的这些子类的同步合成Petri网.一般Petri网的这类问题的判定是NP完全问题.因此,寻求这类问题的多项式可解性的任何更广网类的判定算法一直是重要的研究课题. 展开更多
关键词 同步合成网 合法发射序列 多项式时间算法 PETRI网 网论 判定算法 NP完全问题 多项式复杂性
原文传递
A new hybrid algorithm for global optimization and slope stability evaluation 被引量:3
6
作者 Taha Mohd Raihan Khajehzadeh Mohammad Eslami Mahdiyeh 《Journal of Central South University》 SCIE EI CAS 2013年第11期3265-3273,共9页
A new hybrid optimization algorithm was presented by integrating the gravitational search algorithm (GSA) with the sequential quadratic programming (SQP), namely GSA-SQP, for solving global optimization problems a... A new hybrid optimization algorithm was presented by integrating the gravitational search algorithm (GSA) with the sequential quadratic programming (SQP), namely GSA-SQP, for solving global optimization problems and minimization of factor of safety in slope stability analysis. The new algorithm combines the global exploration ability of the GSA to converge rapidly to a near optimum solution. In addition, it uses the accurate local exploitation ability of the SQP to accelerate the search process and find an accurate solution. A set of five well-known benchmark optimization problems was used to validate the performance of the GSA-SQP as a global optimization algorithm and facilitate comparison with the classical GSA. In addition, the effectiveness of the proposed method for slope stability analysis was investigated using three ease studies of slope stability problems from the literature. The factor of safety of earth slopes was evaluated using the Morgenstern-Price method. The numerical experiments demonstrate that the hybrid algorithm converges faster to a significantly more accurate final solution for a variety of benchmark test functions and slope stability problems. 展开更多
关键词 gravitational search algorithm sequential quadratic programming hybrid algorithm global optimization slope stability
下载PDF
一种离散时间区间Petri网 被引量:1
7
作者 杨正磊 宋建社 +2 位作者 叶庆 沈涛 王连锋 《计算机集成制造系统》 EI CSCD 北大核心 2012年第2期321-325,共5页
运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法... 运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法。通过实例分析,验证了所提的离散时间区间Petri网模型的可行性和有效性,该模型可用于工作流分析、业务过程建模等领域,能够进一步增强Petri网对离散事件系统的模拟与分析能力。 展开更多
关键词 PETRI网 离散时间区间 合法变迁序列 可达性 建模
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部