基于有色Petri网和移动Agent的网络入侵检测系统

介绍了用有色Petri网的理论对分布式网络入侵行为检测进行建模，并采用移动Agent技术来实现的方法。整个系统具有匹配能力强、扩展性好、分布式运算的特点。     

基于有色Petri Net多Agent入侵检测系统实现

在目前基于Agent的分布式入侵检测系统的设计中,主要的设计思路是依赖多Agent联盟合作机制,但在具体的工程实现中,却难以找到一种恰当的实现模型。本文针对此问题,提出了基于有色PetriNet的多Agent入侵检测系统实现模型。     

基于有色Petri网的攻击场景构造

传统的入侵检测系统只提供大量独立的、原始的攻击报警信息,不利于用户和入侵响应系统对攻击及时作出响应,迫切需要根据低层的报警信息,建立高层的攻击场景。本文提出一种利用有色Petri网理论实时、动态构造攻击场景的方法。该方法首先用有色Petri网描述攻击场景,然后用扩展关联矩阵的比值快速匹配、构造攻击对应的攻击场景;并根据已构造的子攻击场景网,验证和检查漏报的攻击,预测下一步可能的攻击;同时,利用子攻击场景合并的方法构造新的攻击场景模式。     

基于有色Petri网的资源共享多线程数据采集系统

针对一种资源共享多线程数据采集系统的模型，采用基本网系统分析其系统行为，并用有色网模拟系统，提出了资源的部分共享方案，解决了系统的资源冲突和调度问题。     

并发操作系统中基于有色Petri网的死锁检测与避免

1.引言系统的并发性与资源的共享性是并发操作系统的主要特征,其目的是最大限度地提高计算机资源的利用率。死锁是并发操作系统必须解决的一个重要问题。人们试图用不同的方法来解决死锁问题。如Dijkstra提出的有名的死锁避免的“银行家算法”,Coffman等人给出的死锁检测算法。 Petri网模型作为模拟与分析并发、异步、分布式系统的一种有效工具,已被用于解决操作系统中的许多问题。如进程通讯中的生产者/消费者问题、哲学家用餐问题,资源竞     

基于分层模糊有色Petri网的防空C~3I系统建模研究

通过分析某防空C~3I系统的组成和运行方式,针对系统结构复杂、多种资源、资源多种模糊属性等特点,定义了一种分层模糊有色Petri网HFCPN,并给出具体的推理算法。在此基础上建立该防空C~3I系统模型,从而提出了一种建立防空C~3I系统分析模型的新方法。最后通过应用实例验证了该方法在描述系统分布、并发、异步等特性的同时,分析系统资源多种模糊属性问题的能力。     

基于有色Petri网的自动化物流系统的研究

针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。     

基于有色Petri网的工作流阶段性调度

工作流的合理、有效调度有利于改善整个工作流系统的性能,从而提高业务流程的执行效率。静态调度有利于在静态环境下达到全局调度的最优,但不能有效地处理工作流的动态不确定性。而动态调度在考虑工作流的动态不确定性的同时,优化每个任务的调度方案,但很难达到所有任务的全局最优。在总结静态调度和动态调度两种方法各自的优缺点的基础上,本文提出了一种基于有色Petri网的工作流阶段性调度方法。该方法能够妥善地处理工作流的动态性和不确定性,并在静态全局最优和动态单个最优之间达到较好的均衡。仿真实验说明了该方法的有效性和优越性。     

基于有色Petri网的经营过程建模

在经营过程重组（BPR）的过程中,利用仿真工 具对经营过程建模与仿真分析,被认为是快速和顺利实施BPR的必要手段．目前大多数BPR支 持工具局限于对过程的仿真,而Petri网则因其严格的数学定义和丰富的分析方法,不仅能 够仿真过程的性能参数,还可以对过程的结构进行分析,从而在过程诊断和重组方案的设计 中发挥重要作用．将有色Petri网应用于经营过程建模,可以较好地描述经营过程的不确定 性、并发性和资源共享等问题,并解决模型中存在的冲突、死锁等问题,同时避免了普通Pe tri网过于复杂的缺点．     

基于有色Petri网的机械系统故障诊断研究

故障诊断对于机械系统的使用与维护起着重要的作用;为了提高机械系统故障诊断的效率以及直观性,提出了一种使用基于知识的故障诊断方法,即使用有色Petri网诊断方法建立一种通用机械系统故障诊断模型并进行分析;针对数控机床液压元件故障这一案例,首先获取其故障来源建立故障树;其次在故障树基础上运用有色Petri网建模工具CPNTools建立有色Petri网模型;最后对模型进行了仿真分析以模拟故障的传递,进行状态空间分析以判断模型安全性,结果表明所提出的建模方法能够使得故障传递更加直观化,快速了解故障的发展趋势,并表明此模型有着较强的易用性以及通用性。     

基于模糊神经Petri网的网络入侵检测方法

针对传统的入侵检测方法存在检测速度慢、不易收敛、检测准确率低等问题,提出了一种新的适用于网络入侵检测的模糊神经Petri网(简称为FNPN)。文中首先给出了模糊神经Petri网的定义及其引发规则,然后给出了一种学习算法。该FNPN结合了模糊Petri网和神经网络各自的优点,既可以表示和处理模糊产生式规则的知识库系统,又具有学习能力,可通过对样本数据学习来调整模型中的参数以获得系统内部的等效结构。实验证明,该方法具有更高的识别精度和更高的学习速率。     

基于Petri网的入侵模式的自动化建库

详细介绍了目前正在研究开发的基于Petri网的入侵检测系统的模式库的构建方法。该方法采用统一化方法表示攻击行为,具有跟踪检测的特性,并可以有效地分析DDOS等分布式入侵行为。     

基于有色Petri网的网上EOD系统建模方法研究

对网上EOD(Education On Demand)中的基本概念进行定义，并对网上EOD进行功能子模块的划分。基于教学活动特征分析，对通用化的Petri网进行扩展，赋予其网上EOD内涵特性，采用有色Petri网系统对各子模块进行形式化描述，从而为网上EOD系统提出一套符合教学活动行为特性和要求的形式化建模方法，为进一步进行网上EOD系统的开发设计提供规范化理论指导。     

针对入侵检测分析的Petri网建模技术研究

为有效降低检测的误警率和重复报警率,在前期研究的基础上,提出针对入侵检测分析的面向对象确定性变迁Petri网模型。将面向对象和Petri网技术有机结合起来,并进行形式化描述,就对象实例化和销毁机制进行了定义并对其确定性变迁进行了规则描述,提出可变信令和不变信令使之更适合描述入侵行为的状态。利用该技术建立扫描攻击、Mitnick攻击等几个简单攻击和复合攻击分析模型;讨论利用XML技术表示面向对象Petri网模型的方法。最后实验结果表明该模型对各种复杂攻击有良好的表示能力,相对于已有研究,更便于使用而实用化。     

基于库所有色Petri网的故障诊断算法研究

基于库所有色Petri网的故障诊断技术充分利用Petri网在故障分析和诊断中的优势,以船舶电站故障数据集为基础构造模型;并结合故障诊断实际对传统有色Petri网作适当改进,实现图形化故障树的分层分类着色显示,并以简单的矩阵运算实现故障诊断,从而有效弥补了传统Petri网在实际应用中的缺陷,适应了故障诊断的分析和建模需要。     

Ad hoc网络中一种基于学习Petri网的入侵检测模型

移动自组织网络是由无线移动节点组成的复杂分布式通信系统.研究了移动自组织网络的入侵检测问题,对当前Ad hoc网络上的入侵行为和入侵检测技术进行了分析,论述了学习Petri网络应用于入侵检测系统中的优势,给出了一个基于学习Petri网络的入侵检测实施模型,并在网络仿真软件ns2中对其进行了评估.     

基于有色Petri网的工作流故障诊断方法

工作流系统的故障自动诊断和定位是云计算环境提供持续服务的基础;为了提高工作流系统的故障诊断准确性,文章提出了一种基于有色Petri网的故障诊断方法;首先,用开放世系模型对工作流进行建模;然后,提出了一种基于有色Petri网的故障模型;最后,将工作流的开放世系模型转化为有色Petri网故障模型,并提出了相应的多故障诊断方法;实验表明,文章提出的方法不仅故障定位的准确率和执行效率高于相关算法,还能有效的识别系统中的多个故障.     

基于有色随机Petri网的供应链系统模型分析

针对一般情况下虚拟企业供应链系统的构成,提出了一种基于有色随机Petri网的供应链模型.该模型将任意供应链抽象为相同结构有色随机Petri网系统,某一具体的供应链由模型初始标识和时间延时函数确定.通过对生产和运输过程的仿真,分析在给定结构和供货速率下供应链系统的运行状况.进一步将该模型分解,并利用同构的Markov链对该供应链模型进行性能计算,避免了由于状态爆炸带来的计算的复杂性.实例定性和定量地分析了供应链结构和速率对供应链系统的影响.     

Petri网在IDS中的应用研究

传统的基于Petri网的入侵检测方法只能实现误用检测,而且构造入侵模式的效率太低,不适合如今网络大规模化和入侵复杂化的趋势。针对这两个问题,该文将传统入侵检测过程中的数据分析过程分解为事件产生过程和事件分析过程两个子过程,不仅保留了基于Petri网入侵检测方法原有的优势,而且缓解了入侵模式构造效率低的问题,并且实现了异常检测。实验分析表明,该改进方案对于入侵检测是很有效的。