基于自动机的构件实时交互行为的形式化模型

采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例.     

基于有限自动机的多层次构件行为匹配模型

针对目前基于行为规约匹配的构件获取方面的不足,提出了一种基于有限自动机的多层次的构件行为匹配模型.该模型采用有限自动机对构件的行为进行建模,借鉴图论中图匹配的思想,提出了6种行为匹配关系:等价行为匹配、扩展行为匹配、相容行为匹配、包含行为匹配、弱包含行为匹配和弱相容行为匹配.分析了这些行为匹配关系之间的蕴涵关系,并给出...     

有限自动机RTL描述的一种有效逻辑转换

本文为有限自动机M的RTL描述(有限自动机M的RTL描述请参看文[2])建立了几种转换规则和等效定理,并根据这些规则和定理将M的RTL程序转换为与M的硬件结构相对应的逻辑表达式。 1.预处理 为了进行这种转换必须做如下的准备工作。 (1) 为M的RTL程序中的各个语句指定命令字。命令字是语句执行的条件,语句     

一类NFA 到DFA 的直接转化方法

NFA的确定化具有重要的理论和实际意义.迄今为止,普遍采用子集构造法将一个NFA(非确定性自动机)转化为DFA(确定性自动机),但这种方法需要引入空输入ε及状态子集I的ε-闭包,其计算过程相对繁琐.而且在确定化过程中对于NFA状态集存在ε-closure重复计算和由于对非ε转换的判断而引起的重复计算等问题.本文描述了一种将一类NFA直接转化为DFA的方法.在本方法中,不需要引入空输入ε,可根据原始的NFA状态图或状态转移表直接得出等价的DFA状态图或状态转移表,而且所有状态都是单一的状态而非集合状态,便于软硬件实现与测试.     

基于对象的软件行为模型

以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.     

基于有限状态自动机的服务组合模型

分析了目前服务计算的研究现状和存在的问题，在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA（Finite State Automata with condition），并给出了基于cFSA的服务理论模型．在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型，并给出了该模型的代数性质和实现方法．     

一种针对DFA状态爆炸的正则表达式匹配方法

针对基于确定有限状态自动机的匹配引擎在大规模、复杂规则下会出现状态爆炸的问题,提出正则表达式子串抽取算法。通过将子串抽取算法应用于DFA状态爆炸场景,设计基于子串抽取的正则匹配引擎。实验结果表明,该算法在单个规则上运行时间可达10 ms量级,抽取率高达99%,同时匹配引擎具有较好的稳定性和可拓展性,且匹配速度优于相关开源匹配引擎。     

一种面向深度包检测的DFA压缩算法

DFA (确定性有限自动机)对于实现深度包检测（deep packet inspection, DPI）技术具有重要作用。随着深度包检测规则的不断增多,DFA所需的存储空间急剧增大。为此,本文提出了一种基于字符替换的DFA压缩算法,利用状态转换表中每个状态通常只有少数几个不同跳转的特点,我们将状态转换表分解为剩余表和字符替换表,减少了存储空间。此外,通过使相似的状态可以共享相同的字符替换表以进一步压缩存储空间。最后,本文给出了复杂度为O(n2)的压缩算法,n为DFA的状态数。实验结果表明,该算法在L7-filter和Snort规则集上具有较稳定的压缩率,压缩率都在5%以下。     

一种基于动机理论的人群行为模型

如何构建行为可信的虚拟人是自主人群仿真中的关键问题。根据马斯洛的动机理论,建立自主人群的行为模型,该模型利用产生式规则,将刺激、动机和行为集成在一起。引入有限状态机描述刺激和动机的关系,虚拟人通过虚拟视觉感知刺激,虚拟人之间的局部碰撞检测通过排斥力控制。在微机上实现原型系统,实验结果表明,该模型能够较好地模拟自主群体行为。     

一种用于深度报文检测的DFA状态表压缩方法

基于正则表达式进行深度报文检测在IDS/IPS、应用层协议识别等网络应用中具有重要作用。然而,采用DFA实现正则表达式需要大量的存储空间,限制了它的实际应用。将DFA状态转换表拆分成3个表,使用run-length编码进行压缩,并对压缩方法进行了优化。采用l7-filter中几个常用应用程序的正则表达式进行测试,结果表明该方法压缩效果一般在90%以上。     

基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求.Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题.针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息...     

一种基于服务过程行为的Web服务发现方法

现有的web服务发现方法主要是基于集中式拓扑,并且使用的服务描述仅仅是描述服务接口功能而忽略了过程相关信息。这无法保证服务组合的相容性,也无法满足组合事务无死锁的要求。同时,这些方法都无法避免高维护代价、单点失效和可扩展性差等问题。本文提出一种基于结构化对等网络的Web服务发现方法,引入确定性有限状态机DFSA,将服务过程行为描述用于服务匹配,从而避免了潜在的Web服务组合不相客和有利于服务组合的自动化。     

Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata

Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata are discussed. The notions of intuitionistic fuzzy recognizer, complete accessible intuitionistic fuzzy recognizer, intuitionistic fuzzy finite automata, deterministic intuitionistic fuzzy finite automata, and intuitionistic fuzzy language are introduced. It is shown that the languages recognized by intuitionistic fuzzy recognizer are regular, and the intuitionistic fuzzy languages recognized by the intuitionistic fuzzy finite automaton and the intuitionistic fuzzy languages recognized by deterministic intuitionistic fuzzy finite automaton are equivalent. This work is supported by National Science Foundation of China (Grant No.10571112), “TRAPOYT” of China and National 973 Foundation Research Program(Grant No.2002CB312200).     

XML Web服务技术探讨

以XML为基础的Web服务是下一代的WWW。它建立在W3C和IETF开放的标准之上，已逐渐成为业界公认的技术准则。介绍了Web服务的概念及其体系结构，讨论了构建Web服务的三大核心技术，即SOAP，WSDL和UDDI，并对其进行了详细的分析和探讨。     

基于XML的Web服务及关键技术

以XML为基础的Web服务是下一代的WWW。它建立在W3C和IETF开放的标准之上,已逐渐成为业界公认的技术准则。文章介绍了Web服务的概念及其体系结构,讨论了构建Web服务的三大核心技术,即SOAP、WSDL和UDDI,并对其进行了详细的分析和探讨。     

支持动态应用集成的Web Service语义描述模型

随着B2B应用和电子商务的发展,应用系统要求在因特网环境下能够依据新的需求,快速、灵活地集成各种已有的和新添置的业务应用系统。文章通过扩展现有的WebService描述规范提出了一种支持WebService语义描述的服务资源模型,并在其基础上,通过和基于工作流的服务组合模型的结合,实现了在因特网环境下运行时的动态查找、绑定和调整的服务中介机制,有效地支持WebService的动态组合与协调     

Web服务技术的分析

Web服务提出了一种新的分布式环境中应用系统的集成模式,并基于XML标准定义了一组简单、开放的协议规范。它的主要目标就是构筑一个通用的平台无关、语言无关的技术层,以实现各种异构平台上的应用间的互连互通。文章首先介绍了Web服务架构以及该架构中的角色和操作,分析了Web服务技术系列的标准协议SOAP／WSDL／UDDI／WSFL,并讨论和比较了主要的Web服务的解决方案和支撑平台。Web服务是不断发展的体系,Web服务技术还不成熟,文章分析了Web服务在服务质量、安全、性能等方面存在的技术问题,以及今后主要发展方向。     

USSD对话有限状态自动机的设计与实现

USSD（Unstructured Supplementary Service Data，非结构化补充业务数据）是一种基于GSM移动通信网络的新型交互式数据业务，与短消息相比，具有响应速度快、交互能力强、可靠性高的特点。首先分析了USSD对话的信令流程，然后从提高信令的并行处理能力出发，提出了USSD对话有限状态自动机的实现方法。     

基于UDDI和WebService的应用模型研究

基于UDDI技术和WebService应用架构，提出了建设高等教育行业性UDDI注册中心和高等教育WebService应用模型，并对UDDI信息模型结构、WebService应用模型的设计模式和主体构架的实现进行了详细的分析研究。