基于冲突检测的一阶混杂Petri网动态行为演变方法

来源 :计算机科学 | 被引量 : 0次 | 上传用户：fourstone

【摘要】

：

讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理

【作者】

：

廖伟志李文敬陆建波

【机构】

：

嘉兴学院数理与信息工程学院,广西大学广西理工科学实验中心,广西师范学院计算机与信息工程学院

【出处】

：

计算机科学

【发表日期】

：

2013年11期

【关键词】

：

一阶混杂Petri网冲突检测动态行为演变冲突消解 First-order hybrid petri nets Conflict checking Dy

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

讨论了基于冲突检测的一阶混杂Petri网动态行为演变方法,首先给出用于一阶混杂Petri网冲突检测的瞬时迁移、延时迁移、指数迁移及区间速率连续迁移等4类迁移间的冲突判定定理；然后给出基于冲突检测的一阶混杂Petri网动态行为演变方法；最后通过混杂系统的一阶混杂Petri网模型说明冲突检测对行为演变分析正确性的重要作用.

其他文献

基于特征组合的软件需求建模

需求建模在需求工程中起着重要的作用。为了提高软件需求建模的效率和质量,提出一种基于特征组合的软件需求建模方法。首先,将特征分为功能性特征和非功能性特征;其次,形式化

期刊

需求工程特征功能性特征非功能性特征特征组合Requirement engineering Feature Functional feature

改进的萤火虫优化算法求解Van Genuchten方程参数

Van Genuchten方程是应用最广泛的土壤水分特征曲线方程，该方程的关键是4个参数的取值。为了精确地求解这些参数，引入萤火虫算法进行求解，提出了一种基于生物寄生行为的人工萤火

期刊

人工萤火虫算法寄生行为土壤水分特征曲线VANGenuchten方程Glowworm swarm optimization（GSO） Parasiti

基于粗糙集理论的面向属性概念格动态压缩

形式概念分析是知识获取的一种有效工具，已被广泛应用到各个领域。本文提出了一种面向属性概念格动态压缩的新方法。首先，利用依赖空间的理论，讨论了同余关系和面向属性概念格之

期刊

形式背景面向属性概念格属性约简粗糙集Formal context Property oriented concept lattice Attribu

基于攻击特征签名的自动生成

签名可以基于攻击特征的相关信息生成。在栈上针对控制流攻击中对函数调用返回值和函数调用指针的攻击以及非控制流中对与判断相关联的数据的攻击，结合动态分析技术生成二进制

期刊

计算机安全软件安全软件漏洞二进制程序签名二进制补丁Computer securitySoftware securitySoftware vulne

基于粒计算的离散化算法及其应用

连续数值属性的离散化是粒计算理论应用的重要步骤。首先对目前的离散化算法进行了分类讨论，提出了区间粒的概念，融合熵理论定义了区间粒的粒度，进而提出了基于粒计算的连续数值

期刊

粒度计算区间粒离散化熵Granular computing Section granular Discretization Entropy

MANET虚假路由形式化验证

提出了Ad-hoc网络虚假路由攻击的形式化验证和分析方法,主要是在参数化Ad-hoc路由协议串空间模型的基础上采用改进的Athena状态表示法来描述问题域,并采用相应的证明搜索过程

期刊

Ad-hoc路由攻击形式化分析串空间证明搜索Ad-hoc routing attack Formal analysis Strand space

基于矩阵乘法的多边形窗口线裁剪算法

提出一种任意多边形窗口线裁剪新方法,它不解方程而通过矩阵乘法得到窗口和线段的交点。对于一组待裁剪线段,该方法先做简单的包围盒预处理,将那些和包围盒无交的线段排除在求交之外;然后引进齐次坐标,构造一组仿射变换矩阵,通过矩阵乘法对任意多边形窗口和待裁剪线段实施连续仿射变换,完成窗口和直线求交操作并从矩阵中获得交点;经过交点排序、配对等过程,得到多边形裁剪线段的结果。经实验对比,该新方法有效,并且速度得

期刊

裁剪仿射变换矩阵多边形窗口Clipping Affine transformation Matrix Polygon Window

多媒体社交网络中的数字内容安全分发研究

多媒体社交网络（Multimedia Social Networks,MSN）的出现与快速发展,使用户间的信息交换与共享变得更加便利,而随意分发受版权法律保护的数字内容的现象也愈演愈烈。这种开放式

期刊

多媒体社交网络数字版权管理远程证明数字内容分发安全协议Multimedia social network Digital rights manage

基于P2P的匿名通信技术研究

随着P2P网络的发展和广泛使用,用户隐私安全的重视程度不断提高。现有的加密技术虽然可以保护通信中的数据内容,却不能很好地保护用户身份,因此在利用匿名技术的同时也要防止

期刊

匿名通信无环分组P2P网络安全Anonymous communications Acyclic packet P2P Network securi

一种以安全性为中心的IMA软件体系结构设计方法

在改进体系结构权衡分析法的基础上，提出了一种以安全性为中心的IMA软件体系结构设计方法。利用危险场景评价IMA软件体系结构的安全性，针对重大安全设计隐患，给出相应的危险预防

期刊

软件体系结构软件安全性安全性需求综合模块化航空电子体系结构权衡分析法Software architecture Software safety S

基于冲突检测的一阶混杂Petri网动态行为演变方法

与本文相关的学术论文