基于Petri网的保密性策略建模与验证

为了对实施了具体保密性策略的系统、进程或工作流的保密性进行严格有效的分析与验证,提出了一种基于Petri网的保密性策略建模与验证方法.首先给出保密性策略基于Petri网的形式化描述,为系统建立Petri网模型;然后在此模型下利用保密性策略基于Petri网的形式化描述以及覆盖图对系统的保密性进行分析与验证,以判断系统是否符合保密性策略的要求.由于给定的系统Petri网模型覆盖图可以自动生成,因此可以利用其对系统的保密性进行自动分析与验证.通过一个进程实例阐述了该方法的原理和实施过程.     

基于知识的工件物流系统调度模型构造与实现

将Petri网与专家系统相结合，采用面向对象的方法，建立了工件物流系统模型．文中还介绍了基于模型的各种策略实现方法并开发了相应的软件，最后给出了仿真实验．仿真实验结果表明，该模型结构简单，且建模方法容易实现专家系统与Petri网相结合，容易实现调度策略的柔性化和专家系统基于知识的分析咨询功能．     

基于Petri网的公路施工资源总体优化方法

基于施工资源局部优化建立的Petri网模型输出和资源能力之间的关系,采用施工资源强度柔化的总体优化方法调整工序所需资源,使工序的持续时间加长或缩短,从而降低资源平衡性指标,给出了柔化的取整准则、方向准则和幅度准则,并进行了证明.最后以工程实例与最小方差法进行了优化效果的对比研究.结果表明,柔化方法与工程管理习惯一致,能够大幅降低传统方法优化时的计算工作量,得到更加优化的平衡性指标.     

基于规则Petri网知识的表达与提纯

本提出一种新型Petri网－规则Petri网RPN－Rule Petri Net)，对产生式知识系统进行有效的表达和提纯，并给出了对知识的冗余、矛盾等问题进行了分析、检测和消除的方法。     

基于模糊Petri网的误用入侵检测方法

提出了基于模糊Petri网的误用入侵检测方法,并将类似于神经网络的学习引入模糊Petri网,以调整攻击知识模型参数. 理论分析表明,基于模糊Petri网的误用入侵检测系统具有更高的推理效率,能从环境中动态学习调整知识模型的相关参数,如阈值、权值、确信度. 仿真结果表明,在大多数情况下,学习调整后的知识模型能够提高误用检测系统的检测率.     

一种基于混合Petri网的批过程动态调度算法

针对批处理过程动态调度问题的特点，以赋色时间限制混合Petri网为工具，建立了批过程动态调度的混合Petri网模型，将批过程的调度问题映射技术为求Petri网中变迁的最优激发序列问题。在此模型基础上，根据动态规划基本原理，以资源的终极利用即最短生产周期作为调度目标，提出了一种基于赋色时间限制混合网模型求取变迁的最优激发序列的方法，并针对实际情况中出现的复杂的中间产品存贮策略，讨论了在各存贮策略约束下该模型中时间限制区间的确定方法，最后以炼钢－连铸生产系统的过程调度为例，对该算法进行仿真。多次仿真结果表明，当任务和设备的初始时刻或者过程的动态过程发生改变时，调度结果各不相同，从而验证了该算法的有效性。     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于面向对象Petri网的供应链工作流建模

供应链工作流需要可动态调整的柔性建模方法,本文将面向对象思想引入Petri网中,结合时延和状态标识,并借用了有色Petri网相关概念,建立基于时延特性的面向对象Petri网(SC-TOOPN).SC-TOOPN使供应链工作流建模更具结构化和动态化的特点,可以为系统提供一种形式化的建模工具.     

采用Petri网的业务性能分析方法

在业务管理系统中,针对业务性能分析过程缺乏自动化的问题,提出一种采用Petri网的业务性能分析方法.该方法通过改进传统Petri网模型,提出业务性能分析Petri网模型;基于该模型设计业务性能计算公式进行自动业务性能计算;采用特定样本训练业务性能分析Petri网模型参数,提高模型参数的准确性.实例分析结果表明,该方法能够建立有效的业务性能分析模型,实现业务性能自动计算和业务性能瓶颈自动发现,且能够通过样本训练提高模型参数的准确性.     

基于混合Petri网的单点信号优化感应控制

为研究单交叉口交通信号感应控制问题,建立由连续Petri网描述交通流和离散Petri网描述交通信号控制的混合Petri网模型。根据连续Petri网的离散化方法,以连续Petri网中的参数为基础,提出各个相位车辆总停留时间的计算方法。为优化各个相位的绿灯时间,以车辆总停留时间最小为目标建立优化感应控制模型,并进行仿真计算。研究结果表明:采用基于混合Petri网的优化感应控制方法时,4个相位的车辆平均延误分别为18.19,15.65,14.88和15.24 s,与基于混合Petri网的一般感应控制方法、基于离散Petri网的感应控制方法相比较,平均延误的最大缩短率分别为26.26%和38.33%。基于混合Petri网的优化感应控制方法可以较好地实现单点信号控制。     

沥青路面施工变异性来源与质量控制

沥青路面的质量和性能最终是通过各结构层的施工来实现的。由于路面施工的各个环节都不可避免地存在变异性,从而导致沥青路面质量和性能的变异。本文以德州市新河路为依托,通过室内试验和现场测试,明确了沥青路面面层的施工变异特征,并提出了基于施工变异性的质量控制要点,对沥青路面施工质量的控制和管理具有参考价值。     

某高速公路两种灌缝材料低温性能的模拟实验研究

沥青路面在低温下易开裂,开槽灌缝是对路面裂缝处理中最常用的一种施工方法.通过对高速公路两种灌缝材料低温性能的模拟实验研究,选择出SBS改性沥青作为路面养护施工的灌缝材料.     

寒冷地区公路沥青路面厚度计算方法及算例

针对寒冷地区公路沥青路面设计中应重点考虑的问题,以我国《公路沥青路面设计规范》(JTG D50-2006)和弹性多层体系理论为基础,建立了系统、简便的寒冷地区公路沥青路面厚度计算方法.实际算例表明,应用该方法能够准确地进行寒冷地区公路沥青路面的厚度计算.     

石棉尾矿作为沥青路面粗集料的配合比设计研究

为了合理利用四川石棉县开采石棉所产生的大量废弃物石棉尾矿,将石棉尾矿作为粗集料应用于沥青混合料中,结合高速公路沥青路面建设,用图解法分析计算出石棉尾矿作为粗集料的配合比,并得出合成级配曲线满足规范要求的级配范围内,说明石棉尾矿应用于沥青路面配合比是可行的．     

改性沥青在公路工程中的应用综述

沥青的改性是提高路用沥青性能的重要措施，应用这种技术，可有效地消除各种沥青路面的早期病害，提高公路的各种物化性能，延长其使用寿命。     

基于便携测温测厚仪的沥青摊铺质量可视化实时管理

为避免公路沥青路面施工过程中施工温度和摊铺厚度数据记录的人为因素干扰,研制了用于沥青摊铺厚度、施工温度测量和同步定位的便携式测温测厚仪。为实现沥青摊铺质量可视化实时管理,构建了公路施工三维可视化模型,提出了监测信息三维网络可视化集成模型,并基于该便携式装置开发了网络环境下公路路面沥青摊铺厚度温度可视化实时管理系统。应用该系统对天津某高速公路沥青摊铺进行监控,除极少数测点的摊铺厚度和初压温度之外,摊铺温度和终压温度合格率均达到100%。工程应用表明,路面沥青摊铺厚度和施工温度得到良好控制,该系统有助于提高沥青路面摊铺质量管理的效率与水平。     

旧沥青路面再生研究的现状与工艺

旧沥青路面再生利用是一项新的沥青路面修筑技术 ,它具有节约材料、降低沥青路面造价及保护资源 ,可以减少废旧沥青路面对环境的污染与破坏作用 .目前世界各国都非常重视 ,我国也是如此 ,随着我国首条高速公路 (沈大高速公路 ,1 988年建成 )即将进入维修时期 ,废旧沥青路面再生利用日益迫切 .文章分析了国内外旧沥青路面再生研究的现状与工艺 ,分析了旧沥青路面再生混合料的设计及施工工艺 ,提出我国实行旧沥青路面再生工作的迫切性和意义     

沥青混凝土路面不平整处治措施

本文通过平蓟路沥青混凝土路面施工实践,提出了提高沥青混凝土路面平整度的相应的处治措施.在对平蓟路改建工程中应用中取得了较好的效果.     

浅析沥青混凝土路面施工技术

随着我国公路建设事业的发展,沥青混凝土路面由于具有表面平整、行车舒适、耐磨、噪音小、施工周期短、养护维修简便等优点,无扬尘、无振动,还具有良好的抗滑性,因而被越来越多地应用到公路建设中。因此,只有对施工组织设计以及每道工序严格地控制,才能保证沥青混凝土路面的质量。     

冷补沥青混合料的生产和施工

冷补沥青混合料是一种高科技道路修补材料,由液体改性沥青和集料按一定的加工工艺混合制成。目前在贵州省高等级公路沥青路面的养护工程中得到广泛的应用。阐述冷补沥青混合料的生产过程和施工工艺,并与传统方法进行了比较。