部分可观标签时间Petri网的最小代价变迁序列估计

针对自动制造系统的计划序列问题,研究了一种部分可观标签时间Petri网的最小代价变迁序列估计方法。所考虑的标签时间Petri网是有界的,且每个变迁都有一个非负代价。首先,提出了一种基于时间标签序列(time-label sequence,TLS)的观测-修正状态类图(observed-modified state class graph,OSCG),其代表标签时间Petri网系统的部分状态空间。在OSCG中,搜索出所有与TLS逻辑一致的变迁序列。其次,通过利用OSCG中与逻辑一致的变迁序列相关的时间约束,提出了一种基于线性规划的方法以判定与TLS时间一致的变迁序列,进而求出最小代价的变迁序列。最后,通过一个实例验证了本文所提方法的有效性。

基于T-不变量消除的Petri网合法变迁引发序列判定算法

Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限。因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定。通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败。分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定。

合法变迁引发序列判定中的T-不变量添加

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网的最小初始标识集是一个复杂的任务。现有解决这一问题的方法存在多种限制。该文采用一种基于遗传算法的方法来估计最小初始标识。由于可能存在多个初始标识(通常是无限多个),关注点在于获得Petri网中的最小初始标识集,其中满足以下条件:初始标识允许至少一种触发序列与观察到的标注序列和网络结构一致;初始标识具有最小的托肯总数(即在所有库所上的托肯总数最小);对于每次观测到的标注,允许每个可观测变迁发生之前至多一个不可观测变迁发生。鉴于最小初始标识的估计属于NP-hard类别,因此采用此类算法是合理的。通过实验证明了该方法的有效性。与现有算法相比,该算法能够以更小的计算代价获得最小初始标识。

面向代数规约测试谓词/变迁网

针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.

基于时间Petri网的并行测试任务调度

并行测试拥有减少测试时间和降低测试成本的强大优势,正成为研究热点之一;首先介绍了并行测试的基本概念,针对在并行测试系统中由于多任务并行调度,可能引起的资源冲突问题,提出一种基于时间Petri网的并行测试任务调度建模方法;通过搜索Pe-tri网模型的可达树,寻找不同的变迁发生序列;比较不同序列的完成时间,得到完成所有测试任务需要时间最短的并行任务调度序列;最后,在该模型下,对一个实例进行了仿真分析;试验结果表明,该模型适于描述该类型系统的任务调度过程。

时间Petri网与CAGA算法相结合的并行测试研究

在并行测试的研究中对于任务的测试次序一直是个研究重点及难题。用时间Petri网建立关于并行测试系统的模型,并首次用元胞遗传算法(CAGA)对模型中的变迁序列进行搜索,快速得到最好的测试序列。通过仿真结果表明,该算法展示了很好的收敛效果,并且与已有的研究成果相比更具优势。

计算机辅助加工顺序优化

建立了制造单元加工过程的Petri网模型,采用关联矩阵来表征Petri网模型结构,并由之获得可达标识并进而得到由初始标识到最终的不同的变迁序列,根据变迁序列和加工过程的对应关系得到优化的加工顺序。

时间Petri网与遗传—蚁群算法相结合的并行测试研究

自动测试系统中并行测试任务调度方案一直是尚未解决的难题。在基于Petri网理论的基础上,建立了并行测试的时间Petri网模型,并且首次将遗传—蚁群算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案。仿真结果表明,该算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列。

基于Petri网的系统最小割集求解

针对以往用Petri网求系统最小割集广泛采用分析库所的方法,证明了通过分析模型的变迁能够减少运算量,提出了组成系统最小割集的变迁序列的组合算法,并通过状态方程求取最小割集,最后通过实例验证了算法的正确性和简便性。

时间Petri网与GA-PSO算法相结合的并行测试

并行测试任务调度方案在自动测试系统中一直是尚未解决的难题。基于Petri网理论的基础,建立了并行测试的时间Petri网模型,并且首次将遗传-粒子群优化(GA-PSO)算法引入到时间Petri网的变迁序列的寻找过程中,快速地求得了最优调度方案。仿真结果表明,本算法能够以较大的收敛概率快速地收敛,最终得到最优变迁序列。

计算一类递归方程的增广Petri网模型

递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的。斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析。

应用Petri网改进BPEL程序的正确性

为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程序的正确性。

一种离散时间区间Petri网

运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法。通过实例分析,验证了所提的离散时间区间Petri网模型的可行性和有效性,该模型可用于工作流分析、业务过程建模等领域,能够进一步增强Petri网对离散事件系统的模拟与分析能力。

基于Logistic映射的动态密钥加密算法

混沌序列具有类随机性、对初始条件极度敏感性、遍历性和非周期性等特点,展现出优良的密码学性能。该加密算法通过Logistic映射产生混沌序列,并将混沌序列映射为64位二进制序列,结合DNA序列变迁重组算法和DES算法对64位明文分组进行加密,DES初始密钥处于动态变化中,能有效地抵御穷举攻击和选择密文攻击等多种攻击手段。

周原地区新石器时代考古文化

前仰韶文化─—老官台类型文化，根据周围同类遗址地层的特征，特别是根据周原地区半坡类型与庙底沟类型仰韶文化的分布来看，庙底沟类型叠压在半坡类型之上。根据本地区原始文化共存的地层特点来看，庙底沟一期文化和客省庄二期文化（即客省庄类型）的先后叠压的地层关系没有问题。同时关于庙底沟二期文化和客省庄二期文化的直接叠压层位亦已取得了有力“地层证据”；紧接于客省庄二期文化之后而相继叠压的先周和西周文化地层关系亦无疑。