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

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

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

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

Petri网的状态转换图

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

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

近年来,计算机系统的安全问题日益突出,相应的安全防范技术也成为了人们研究的热点.入侵检测技术作为一种重要的安全技术,从80年代中期就已经引起人们的注意[1],与其它安全技术相比(如身份认证、访问控制等),入侵检测技术具有鲜明的特点:其它绝大多数安全技术主要强调预防或阻止外来入侵者进入系统,或者控制内部用户获取非法权限;而入侵检测主要在其它安全措施被突破、入侵者正在(或已经)进入系统的情况下发挥作用,该技术主要通过监视系统中的异常行为,及时发现入侵者,并采用相应措施(如断开网络连接、报告管理员等),以避免或尽可能减少入侵造成的损失[2].

基于状态转换图的LL语法快速分析方法

有向路径分析法是在预测分析法的基础上利用状态转换图思想设计的;由于去掉了预测分析法中的许多中间产生式匹配,因此该方法具有较高的语法分析效率,实验表明分析效率较预测分析法提高约2倍以上。文中阐述了LL(1)文法、预测分析法、有向路径分析法的定义、原理和设计步骤,并给出了事例和实验加以说明和验证。

基于状态转换图同构求解的等价性验证算法

文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法。算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性。首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息。若两状态转换图同构,则两图中的状态均可一一配对为待验证状态对,即所有的代验证状态对均为等价状态对。该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题。

自动测试系统中信号状态转换图对测试软件运行时间的影响

分析自动测试系统中的信号状态转换图是如何影响测试软件运行时间,并以NI DAQmx为例提出了任务句柄动态管理的解决方案,大大改善了测试运行时间。

仪器状态转换图对测试软件运行时间影响的分析

针对仪器状态转换图对测试软件运行时间产生的影响,以NI6221数据采集卡为例,讨论了仪器状态转换图的获取方法,分析了仪器状态转换图对软件运行时间影响的作用机理,提出了通过仪器状态转换图改善软件运行时间的方法,提高了测试效率和准确性,对武器系统测试具有一定的参考价值。

状态转换图在IDS中的应用

入侵检测系统 (IDS)作为一种重要的计算机系统安全监测手段 ,已经成为维护网络安全的主要技术之一 本文提出的改进模型是在一个现有的入侵检测原型系统的基础之上 ,利用STAT(StateTransitionAnalysisTool,状态转换分析工具 )技术对其分析引擎增加了有效的辅助模块 ,并使用数据挖掘技术对原始审记数据进行初步的数据清洗 与原有的IDS相比 ,改进后的系统有效地提高了入侵检测性能和精度 。

方程、真值表与状态转换图在逻辑推理中的应用

给出了方程、真值表与状态转换图在逻辑推理中的应用。

一种基于状态转换图的时序电路等价验证算法

提出一种基于状态转换图的时序电路等价验证算法。此算法通过验证两时序电路的状态转换图是否同构,得到两电路是否等价的信息。若两状态转换图同构,则两图中的状态可一一匹配为等价状态对,算法将状态转换图存储为待验证等价状态对的形式,若所有待验证等价状态对均为等价,则两时序电路等价,反之,则不等价。此算法对ISCAS89测试电路进行验证,与基于BDD方法的SIS系统和基于时间帧展开算法相比,均有较好的结果。

基于状态转换图的公共场所行人视频监控方法研究

自动视频监控对于公共场所的安全控制等方面具有重要意义。本文实现了一个实用的行人监控系统,采用了基于改进Kalman滤波的背景更新方法进行背景的有效更新,同时开创性地提出了基于状态转换图的行人计数系统,用于处理场景中前景遮挡、粘连等复杂情况,弥补了复杂条件下前景运动物体检测存在的准确度不高的问题,实验结果证明了此方法的有效性。

正规文法、NFA、DFA、状态转换图、正规式之间的等价变换关系及变换方法

正规文法、ＮＦＡ、ＤＦＡ、状态转换图、正规式是形式语言理论的基础概念，也是编译原理词法分析理论中的重要概念和工具．本文讨论了它们之间的等价变换关系。

高速动车组牵引制动仿真系统的自动控制状态转换图

状态转换图是为了在动车组仿真系统中实现全自动模拟驾驶功能。本转换图以中国铁道科学研究院集团有限公司机车车辆研究所(简称:铁科院机辆所)开发的高速动车组仿真系统软件为基础,基于高速动车组仿真系统配置参数,并结合动牵引计算规程,来实现动车组自动驾驶的功能。在自动驾驶过程中,程序根据状态转换图中的状态,决定控制动车组运行的手柄位置,实现全自动的模拟司机驾驶动车组。通过软件仿真,证明该算法切实可靠,能够保证动车组按照预定的加减速方式,实现全程自动驾驶,能够精准停站,并防止超速。

一种恢复状态模式的状态转换图的方法

现有研究不能从状态模式的代码中恢复状态转换图这一状态模式的核心语义信息。针对状态驱动的转换这种典型实现方式,通过分析类型传播图确定状态模式的状态变量在各次赋值前后所属的具体状态类,并由此恢复该模式的状态转换图。给出了具体算法,通过实例分析验证了方法的可行性。

基于状态转换图的测试用例设计方法

本文针对传统设计方法中无法兼顾输入条件的组合与有序状态转移的问题,提出了基于状态转换图的用例设计方法,设计了以有限状态机和决策表形成状态转换的规则,考虑了功能实现时各个状态的执行顺序及状态转换的前提条件和转换路径,并结合实例说明了利用状态转换图进行用例设计的方法。

基于状态转换的Web程序测试方法研究

基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提交数据导致的系统状态变量改变,再将两者统一成一个较为全面的动态行为模型Web程序状态转换图(WSTD)。最后,采用线索k叉树并加以改进来自动生成测试用例。

基于DOM状态转换检测XSS漏洞

为提升跨站脚本(cross site scripting,XSS)漏洞检测中对隐藏注入点的扫描覆盖率,有效判定是否存在XSS漏洞攻击,提出构建Web应用文档对象模型(document object model,DOM)状态转换图搜索XSS漏洞注入点的方法.该方法以DOM状态为节点,以浏览器事件为边对Web应用建模,结合页面分析和代理技术来识别漏洞注入点,提高XSS漏洞注入点判定准确率.首先分析页面中带参数的统一资源定位符(uniform resource locator,URL)和Form表单,并尝试触发页面元素的浏览器事件来检测其是否含有数据请求,以判定Web页面是否有疑似漏洞注入点;进一步利用探子向量进行测试,并根据探子向量的输出位置,对注入点进行分类并保存.之后,基于变异操作和过滤逃逸技术对XSS过滤逃避欺骗备忘单进行转换来设计攻击向量,对已发现的漏洞注入点进行测试,并设计多种方法对不同响应结果进行分析.最后,通过实验对比,验证了其有效性.

利用状态图实现通信帧自动解析

状态转换图能恰当地反映通信协议的解析过程,通过构造与通信协议相应的状态转换图,可将输入的连续数据流解析为协议规定的数据帧。基于面向对象的方法,利用 C++虚函数等技术构造的状态转换图,能灵活地适应通信协议的变化,屏蔽实现细节,具有很高的通用性。在具体应用中,仅须根据协议构造状态转换图,直观简单,该方法已多次应用于工程实践中。

时序逻辑电路的次态卡诺图分析法

讨论了同步时序逻辑电路的次态卡诺图分析法与异步时序逻辑电路的次态卡诺图分析法，这两种方法分别是利用状态方程给出各触发器的次态卡诺图，并由次态卡诺图画出状态转换图以及利用状态方程和时钟方程绘出包含“动令”在内的各触发器的次态卡诺图，并由次态卡诺图画出状态转换图．该法是１种分析时序逻辑电路功能的新方法．