基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

基于TCP状态有限自动机的入侵检测研究

入侵检测是一种重要的信息安全防御技术.基于TCP状态有限自动机的入侵检测是一种异常检测方法,它能发现违背TCP状态有限自动机的行为.描述了TCP协议中正常的连接状态转换关系,构造了TCP状态有限自动杌,给出了基于TCP状态有限自动机的入侵检测实现.     

一种面向对象的函数式语言

设计了一种对象式和函数式相结合的混合型语言OOFL(面向对象的函数式语言),详细给出了它的语法及语义定义,提出了相应的实现方案,并在微机上实现了OOFL到C++的转换系统.从而提供了一种面向对象机制的描述工具.     

基于规则的业务流程描述算法的研究

为了使业务逻辑具有独立性,使业务逻辑的描述更为清晰,文章提出了用产生式规则来描述软件系统的业务逻辑,实现了使用陈述性的语言来描述系统的业务逻辑.并给出了流程图到产生式规则的转换方法,根据流程图到产生式规则的转换算法,可以直接把系统分析和设计的结果转换为系统实现中的规则集合,从而实现系统的部分自动化.     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

正则表达式与有穷自动机等价性在Isabelle/HOL中的形式化

针对正则表达式和有穷自动机,在机器辅助定理证明系统Isabelle/HOL中进行了形式化描述。通过对语言、正则表达式、确定和不确定有穷自动机在Isabelle/HOL中建立模型,定义了它们之间的相互转换函数并证明了这些函数的正确性,从而验证了正则表达式和有穷自动机在描述能力上的等价性,即:在同一有限字母表下,对任意正则表达式,都存在一个有穷自动机,使得二者描述的语言相同;反之亦然。通过分析与证明,表明采用机器辅助定理证明系统,对计算理论传统核心领域之一的自动机理论进行分析和证明是可行的。     

确定有限自动机推理的可计算逻辑分析

针对确定有限自动机对输入符号串的识别过程,提出了采用可计算逻辑来分析确定有限自动机的功能结构及其状态转换函数.在可计算逻辑中,计算问题是机器和环境博弈的过程.同样确定有限自动机对输入符号串的识别过程也可当作机器与用户的博弈,如果输入符号串满足确定有限自动机的语法规则能够识别出来,表示机器赢,否则用户赢.     

线性有限自动机零状态的作用

通过零状态研究了线性有限自动机的一些性质,得到了线性有限自动机弱可逆的一些结果,并给出了最小线性子有限自动机的描述,最后给出了算法实现。     

时间自动机与自动验证

给出时间自动机的基本概念，描述了区域自动机的构造方法，并且实现了区域自动机的构造算法，简述了通过时间自动机进行自动验证的过程，最后分析了区域自动机构算法的时间复杂度。     

反应式系统的并发模型（II）：程序语言模型

文［１］提出了反应式系统的一种抽象并发计算模型;本文在此基础上给出反应式系统并发描述的程序语言模型,重点阐述和剖析基于共享变量模型的两种语言－转换图和文本语言,分别给出它们的语法及进程间通讯机制的描述,并建立抽象计算模型结构到这两种语言结构上的映射。     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

汉彝机器翻译探析

探讨汉语彝语机器翻译的方法与实现.阐述了课题研究的背景和意义,给出了技术实施中的时态转换的匹配规则,汉彝句型转换的翻译初步实践、汉语句子单词切分时的边界处理算法.从而实现对源语言汉语单词的切分检索,通过算法对语句进行调序,再结合彝族特定的语法、句型结构,最终生成目标语言彝语.即采用适合汉彝语法的句法结构转换再增减恰当的词汇来构成符合源语句语义信息的目标语句,从而达到汉彝机器翻译的基本层次.     

—个面向MIPS_64位系统结构的汇编器MIPSasm的设计与实现

本文论述了一种面MIPS-64位系统结构的汇编语言转换成二进制机器码的设计与实现技术。从编译原理的角度出发,采用词法分析,语法分析,语义分析及中间代码的生成等方法,逐步实现汇编语言到机器语言的转换。该汇编器可将分析和变换后得到的机器语言送入模拟器中进行模拟执行和进行相关的性能检测。     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

一种基于协议组合的协议动态实现模型

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型.基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性.当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展.最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展.     

对现代汉语中"形容词转类"现象及意义的研究

词的转类是指在不改变该词词形的基础上,把某一词的功能直接转换使用为另一词的功能.这一语法现象扩大了意义层面和表达层面之间的弹性空间,增添了语言在词汇和语法层面的构建功能,为句式修辞扩大了使用空间,是非常活跃的语法修辞手段,有很强的语用意义和修辞功能.同时,这一现象蕴含着丰富的民族文化,对对外汉语教学也有重要意义.     

一种基于递归算法的自顶向下语法分析方法

给出了一种结合VHDL语言特点基于递归算法的自顶向下语法分析方法,并在Windows平台下用Visual C++进行算法实现.     

一种TTCN测试套自动生成方法研究

简要介绍了TTCN3标准的第三部分GFT(Graphical presentation Format,图形表示形式)，并且根据GFT与TTCN3核心语言的内在关联以及标准中的语法规定设计开发了一套由图形表示格式自动生成用核心语言描述的测试套的转换工具，从而可以减少测试相关人员在测试套开发过程中的工作量。     

一种用于数据库开发的UML类图的规格说明与C＋＋源代码生成技术

该文分析了信息系统软件开发的特点,并在UML静态结构模型中类图的基础上,提出了一种针对信息系统软件开发,特别是数据库系统开发的规格说明语言MISFRAME的语法原型,详细阐明了其在数据库开发中的语法定义,提供了相应的代码生成器,并说明了其生成源代码的原理.     

针对软件可靠性测试的扩展UML模型的设计与实现

在研究软件可靠性测试和UML模型的基础上,找到针对软件可靠性测试的关于UML用例图和顺序图模型的扩展方法,并进行了相关原型工具的设计与实现。