一种基于状态转换图的Ajax爬行算法

传统Web爬虫无法解决爬行Ajax应用所面临的JavaScript执行、状态识别与切换、重复状态检测等问题。为此,首先定义Ajax应用的状态转换图,并设计了一种基于状态转换图的Ajax爬行算法,通过该算法可以获取Ajax应用状态信息和后台Deep Web资源。为了提高Ajax爬行的准确性、减少待爬行的状态数目,使用Ajax指纹识别、DOM结构过滤等方法改进上述算法。实验结果表明了算法的有效性和性能。     

Petri网的状态转换图

给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性和依赖度,准确地给出了可重复序列之间依赖关系的形式描述;分析了Petri网语言的结构特点,证明了任意一个Petri网语言都是一个正规语言表达式与该网的可重复引发序列α闭包的同步.     

一种支持多状态转换的通用资源池框架

在软件系统的开发中,系统的响应时间、资源消耗以及并发度越来越受到重视。同时,开发人员越来越多地使用中间件来提高开发效率和系统性能。池机制就是一种通过复用而不是每次都重新创建对象来解决系统性能的方式。为不同的资源对象开发不同的池将导致许多的重复工作和代码冗余。分析了当前许多池的特征,从中提取出四种共性:资源的借入借出、资源有效性检查、池的监测机制和池的可定制机制;扩展了Mark Grand的对象池模式,提出了一个通用池框架。在这个扩展池的基础上,通过研究资源的状态转换,首次提出一种细粒度的状态转换——对象的多状态转换机制。实验和分析结果证明了方法的有效性。     

下推自动机的状态转换图与下推自动机的化简

参照有限状态自动机图形表示方式的思想方法,研究了标准下推自动机的图形表示——PAD 状态转换图,证明了下推自动机与标准下推自动机的等价性。给出了对标准下推自动机进行化简的原则,并给出了化简算法,实现了下推自动机的化简。     

基于状态转换图的入侵检测模型STGIDM

Pattern Match based on the serial of system calls is one of the widely used intrusion detection technologies, while the courses that cause intrusion frequently accord with chosen pattens when programs monitored are complex and the number of chosen patterns is large, which always causes some intrusions to be neglected. In this a rticle, anew Intrusion Detection Model based on State Transition Graph is put forward. In this model, the programs‘ properties are accurately reflected by State Transition Graph, and transitions are introduced between states that aren‘t conjoint. Moreover, the number of transitions between states that aren‘t conjoint is one of key factors to deduce intrusions during matching.     

一种新的基于频繁闭显露模式的图分类方法

由于图模型能够准确地表示科学与工程领域中数据的关键特征,图挖掘逐渐成为了数据挖掘领域的热点研究内容.图分类是图挖掘的一个重要研究分支.提出了一种新的基于频繁闭显露模式的图分类方法CEP,其基本思想是首先挖掘频繁闭图模式,然后从闭图模式中得到显露模式,最后根据显露模式构造一系列分类规则.实验结果显示:在对化合物数据分类时,CEP在分类性能上优于目前最好的图分类方法.而且,领域专家容易理解和利用CEP产生的分类规则.     

一种基于图转换的模型重构描述语言

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则.     

基于状态模式的应用研究

以降低复杂度,增强可扩张性为目标,建立基于传送装置的入口模型,体现出状态模式的优越性,最终通过采用该模式解决了某大型钢铁企业传送装置入口的建模问题。     

一种基于状态迁移图的性能评价模型

性能评价在计算机系统的选型、改进与设计中是至关重要的,使用模拟模型和队列解析模型可对计算机系统的性能进行分析,但是构造和使用模拟模型的费用较高,而队列解析模型又要求对系统作较多的简化和假设,针对以上模型的不足,文中基于图论和自动机理论提出了一种新的基于状态迁移图的计算机系统性能评价模型,并给出了一个箕于状态行移图模型求实时入时间的算法,经过证明和时间复杂性分析,该算法是否而有效性。     

基于状态转换符的时序电路冗余状态变换设计

在分析了时序电路冗余状态基础上,提出了基于状态转换符的时序电路冗余状态变换设计,可以把时序电路在４ 变量以内产生的冗余状态故障自动变换为合法状态,从而避免了状态验证和测试生成等较为繁琐的步骤,可以方便地设计出各种给定状态的具有自启动能力的时序电路,简洁方便、设计效率高,尤为适应采用Ｍａｔｌａｂ 程序对各类同步时序电路进行分析、化简和设计,具有较为实际的应用价值     

基于智能化状态转移以及权限改进的攻击图构建方法

针对当前攻击图在大范围网络应用中具有时间复杂度以及图形化描述不准确等缺陷,提出了一种基于智能化状态转移以及权限改进的攻击图构建方法:采用智能化状态转移途径构建攻击模型,依据该模型规划相应的攻击图,并在攻击图生成中引入了权限改进体制,该方法以主机间的连接分析为依据,根据网络攻击状态图中不同主机的原始权限,获取攻击权限的改进路径,能够针对网络变换情况调整主机的权限,进而确保相应网络的安全性,针对大规模复杂化网络攻击问题构建有效的攻击图,以确保整体网络的安全性和高效性.通过最终的仿真实验可得,该方法构建网络攻击图的时间较短,具备较低的时间复杂度和较高的扩展性,是一种高效的攻击图构建方法.     

面向模式图变化的增量图模式匹配

在大数据时代,数据图的规模急剧增长,增量图模式匹配算法能够在数据图或模式图发生变化时避免重新在整个数据图上进行匹配、减少响应时间,因此成为了研究的热点.针对实际应用中数据图不变而模式图发生变化的情况,提出了一种面向模式图变化的增量图模式匹配算法PGC_IncGPM,在模式图匹配的过程中记录适当的中间结果作为索引,用于后续的模式匹配.提出了增强的图模式匹配算法GPMS,用于首次整个数据图上的模式匹配.该算法一方面能够建立后续增量匹配所需的索引,另一方面减少了整个数据图匹配的执行时间.设计实现了面向模式图增边和减边的两个核心子算法,通过子算法的组合,能够支持在模式图发生各种变化时进行增量图模式匹配.在真实数据集和合成数据集上进行实验,结果表明:与重新在整个数据图上进行匹配的ReComputing算法相比,当模式图中变化的边的数目不超过不变的边的数目时,PGC_IncGPM算法能够有效减少图模式匹配的执行时间;随着数据图规模的增大,PGC_IncGPM算法相对于ReComputing算法的执行时间的减少程度更加明显,对于大规模数据图具有更好的适用性.     

一种基于状态迁移图的工业控制系统异常检测方法

基于状态的工业控制系统入侵检测方法以其高准确率受到研究者的青睐,但是这种方法往往依赖专家经验事先定义系统的临界状态,且处理不了系统状态变量较多的情况.针对这一问题,提出一种新的基于状态迁移图的异常检测方法.该方法利用相邻数据向量间的余弦相似度和欧氏距离建立系统正常状态迁移模型,不需要事先定义系统的临界状态,并通过以下两个条件来判定系统是否处于异常：1）新的数据向量对应的状态是否位于状态迁移图内;2）前一状态到当前状态是否可达.文章建立了恶意数据攻击模型,并以田纳西-伊斯曼（Tennessee-eastman,TE）过程MATLAB模型作为仿真平台进行了仿真测试.仿真结果表明,该方法即使在系统遭受轻微攻击的情况下也有较好的检测结果,且消耗较少的时空资源.     

基于时空图的移动对象聚集模式挖掘方法

移动对象聚集模式是指由移动对象参与的一组群体事件,通常用来预测交通系统中出现的异常现象.然而由于海量移动轨迹数据的产生,已有的研究方法难以准确、高效地挖掘特定的聚集模式.为此,提出一种基于时空图的移动对象聚集模式挖掘方法.该方法首先通过改进的空间聚类算法(DBScan)分析轨迹数据,从而获得移动对象聚类;然后,利用时空图模型代替单独存储轨迹数据的方式,用于实时观测移动对象聚类的时空变化特征.最后提出基于最大完全子图查找的聚集检索算法及其改进算法,用于查找满足时空约束的最大完全子图.基于真实大规模轨迹数据集上的实验结果表明,所提出的方法在移动对象聚集模式挖掘的准确性和高效性方面优于其他方法.     

一个可构造的反演状态模式

为了构造可扩充、可配置、可控制的状态模型,提出了一个可构造的反演状态模式.基于体系结构的反演模式和角色对象模式,讨论了状态设计模式中结构和行为的反演方法及其手段;给出了其反演模式体系结构的元级和基本级对象结构;使用MOP(metaobjeotprotoco1)规程给出了元级和基本级的关系,讨论了反演状态模式的元对象反演到基本级对象群的"截取和求精(interception和reification)”机制.此外,还给出了一个应用可构造的反演状态模式的[记账凭证处理型]应用事例.     

动态图模式匹配技术综述

随着大数据时代的到来,多源异构数据的快速增长已经成为了一个开放性问题,这些数据之间的内在关联通常可以用图数据的形式来表现.然而在实际应用中,例如网络安全分析和社交网络舆情分析,描述实体对象之间关系的图数据的结构和内容往往不是固定不变的,图数据的结构以及节点和边的属性会随着时间的推移发生更新变化.因此,如何在动态更新的图数据中进行高效的查询、匹配是目前研究的热点问题,也涌现了许多优秀的研究工作.本文从关键技术、代表性算法和性能评价方面对动态图匹配技术的研究进展进行了综述.最后对动态图匹配技术的典型应用、面临的挑战问题和未来发展趋势进行了总结和展望.     

大规模图数据匹配技术综述

在大数据时代海量的多源异构数据间存在着紧密的关联性,图作为表示数据之间关系的基本结构在社交网络分析、社会安全分析、生物数据分析等领域有着广泛应用.在大规模图数据上进行高效地查询、匹配是大数据分析处理的基础问题.从应用角度对用于图查询的图数据匹配技术的研究进展进行综述,根据图数据的不同特征以及应用的不同需求对图匹配问题分类进行介绍.同时,将重点介绍精确图匹配,包括无索引的匹配和基于索引的匹配,以及相关的关键技术、主要算法、性能评价等进行了介绍、测试和分析.最后对图匹配技术的应用现状和面临的问题进行了总结,并对该技术的未来发展趋势进行了展望.     

工作流状态机中状态模式的应用

为设计一个方便且可扩展性强的工作流引擎，将设计模式的思想运用了到工作流状态机中。介绍了状态模式的基本概念，阐述了状态与流程之间的关系，探讨了其在工作流状态机中的应用，最后给出了一个工作流状态机实现的具体例子，为工作流系统中运行服务模块的设计提供了解决思路。