快速构建目录树的算法研究

通常使用DFA和ITA算法构造目录树,分别对这两种算法进行了时间复杂性分析,16组实验结果表明DFA算法快于ITA算法.     

DFA化简算法的一种改进方法

在深入研究DFA化简基本原理的基础上,首先给出现有分析算法（分割法）的形式化算法描述,然后证明了该算法存在着漏洞,并给出相应的解决方法。最后,借鉴时序逻辑门电路中原始状态表化简的方法,对现有分割算法进行修改,提出一种新的适用于任何DFA的化简算法——K次划分法。     

基于状态子集编码的快速DFA构造算法

网络深度包检测等网络应用广泛采用正则表达式匹配技术检测网络中的传输内容,正则表达式用非确定性有限自动机(NFA)或者确定性有限自动机(DFA)实现.网络应用对匹配速度要求很高,相比NFA,DFA具有确定性的匹配速度,但所有基于DFA的方法需要预先从NFA构造一个与之等价的DFA,于是DFA的构造成为系统瓶颈之一.为此通过深入探索自动机内在运行特性———NFA状态间活跃关系和NFA中导致DFA空间膨胀的因素,设计了一种NFA状态子集的编码方法和查询方法,显著减少了DFA构造过程中状态子集的查询代价.基于入侵检测与防护系统Snort中的真实规则集的实验表明,与传统的子集构造算法相比,该方法减少了88.33%~93.57%的DFA构造时间.     

关于确定有穷自动机最小化算法的注记

《程序设计语言编译原理》给出了确定有穷自动机(以下简称为DFA)最小化的算法.步骤1 构造DFA M 状态集S的分划Ⅱ.该分划是由若干个不相交的状态子集所组成,并且任何不同的两子集的状态都是可区别的,而同一子集中的任何两个状态都是等价的.其构造算法如下:BEGIN     

基于规则分组的DFA正则表达式匹配算法

模式匹配因误报率低和漏报率低被入侵检测所采用.在使用正则表达式构造DFA时,因状态爆炸导致匹配算法需要较多的存储空间和运行时间,算法效率低下,采用规则分组后,可以在一定程度上抑制状态爆炸问题.根据缓存中的历史记录对正则表达式进行分组,既能利用规则分组减少状态总数,抑制状态爆炸,又能减少因每次重新构建DFA所带来的开销,...     

对DFA最小化算法等价性问题的探讨与改进

有穷自动机极小化问题的研究,在程序测试、模糊系统、概率自动机等方面具有重要意义。利用自动机状态集上的等价关系对自动机的状态集极小化,从而得到与原自动机功能等价的极小化自动机,该内容是词法分析的重点。很多编译原理书籍介绍的DFA最小化算法是＂分割法＂,但该算法存在一定的问题,本文从对一些特殊的DFA的处理入手,分析＂分割法＂算法在等价原则方面的漏洞,并提出了对最小化问题的改进算法。     

基于二叉树建模的装配结构尺寸及配合评价

可装配性建模及评价是并行工程环境下DFA研究的关键技术,产品装配分析评价是DFA得以实施的重要组成部分。文章提出了基于二叉树装配模型对装配零件结构尺寸及配合精度两项指标进行评价的数据结构及算法,介绍了相应的软件及其基于消息驱动的WINDOWS编程高级接口技术     

DFA中零件对称度的自动识别算法

零件对称度是面向装配的设计(DFA)中评价装配性能的重要指标之一,对称度的自动识别能促进DFA与计算机辅助设计(CAD)系统的集成.针对已有识别算法效率较低的现状,给出了一种对称度自动识别的算法,该算法分为2个阶段,第一阶段通过旋转零件并比较其空间包容盒来计算对称度的范围,第二阶段利用射线追踪法进一步计算对称度的精确值,大部分非对称零件在第一阶段就可以结束计算,使得算法平均效率较高.基于CAD系统Pro/Engineer二次开发实现了该算法,并通过一组实例验证了算法的正确性和实用性.     

基于参数设定的正则表达式匹配算法

为了解决现有正则表达式匹配算法在时间复杂度与空间复杂之间的平衡问题,提出一种通过参数动态设定的确定有限自动机(dynamic parameters DFA,DPDFA)的正则表达式匹配算法.首先对现有典型正则表达式匹配算法进行性能分析,指出它们在内存占用、规则匹配时间、可扩展性方面存在的不足.然后给出DPDFA算法的设计思想:先设定组合后状态数上限,分离组合表达式之间的互斥性,从而降低内存占用;再设定状态数增长率参数,将表达式进行切片,隔离状态数膨胀片段,降低它们之间的歧义匹配,从而节约匹配时间.试验结果表明,DPDFA算法在时间复杂度方面优于D2FA约23%,在空间复杂度方面优于m DFA约43%,在拓展性方面优于XFA近260%,整体匹配效率方面也优于其他算法.     

对语法分析程序自动生成器YACC的改进

本文介绍了对YACC的改进方法,解决了由于合并同心项而产生的归约/归约冲突问题。给出了改进后的确定自动机DFA的算法。改进的YACC巳在IBM PC/AST机上运行。     

脱色絮凝剂DFA的合成、性能及脱色条件探讨

以双氰胺、甲醛为主要原料,氯化铵为改性剂,氯化铝为催化剂,合成了一种具有广泛脱色效能的絮凝剂DFA,并表征其结构,测定其特性粘数,研究其电荷密度、浓度、温度、pH值等条件对多种染料废水脱色效果的影响,并对工业印染废水、印花废水的脱色、去除COD进行初步研究。     

基于语义网络模型的面向装配的设计研究

对并行工程下面向装配的设计（ＤＦＡ）进行了研究，总结了ＤＦＡ的一般原则，引入了适于ＤＦＡ的产品装配结构的语义网络模型及其描述语言即功能描述语言，并通过实际的例子说明了这种模型在ＤＦＡ中的具体应用。     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

载脂蛋白E定量测定的实验评价及临床应用

目的 :评价定量测定载脂蛋白E免疫比浊法 (液体双试剂 )的实验性能 ,讨论载脂蛋白E在心脑血管疾病及老年性痴呆症发病中的作用。方法 :对测定血清载脂蛋白E免疫比浊法的线性、精密度、回收、对比、重复性试验进行测定。正常对照组 12 0例 ,分 4组 ,每 15周岁为一组 ,每组进行载脂蛋白E的测定 ;心肌梗死、脑梗塞各 2 4例 ,高血压 67例 ,老年性痴呆症 2 0例和正常对照组 12 0例 ,分别检测血清脂蛋白 (a) (Lp(a) )、总胆固醇 (TC)、甘油三酯 (TG)、高密度脂蛋白胆固醇 (HDL c)、低密度脂蛋白胆固醇 (LDL c)、载脂蛋白A1(apoA1)、载脂蛋白B(apoB)、载脂蛋白E(apoE) ,对检测结果做统计学分析。结果 :免疫比浊法线性范围为 0～ 10mg/dL ,Y =0 .93 87X + 0 .3 4,r =0 .9972 ;三种不同浓度的血清精密度试验批内CV值分别是2 .85 %、2 .0 6%、2 .47% ;批间CV值分别为 4.0 1%、3 .89%、3 .67% ;内加入法平均回收率为 10 0 .14% ,两种试剂对比试验 ,Y =0 .93 4X - 0 .0 75 ,r=0 .988;重复性试验其批内批间CV值分别为 3 .12 %、3 .98%。正常对照组 4组间进行比较 ,P >0 .0 5 ,各组分别与文献报道结果比较 ,P >0 .0 5 ,无显著性差异 ;心梗与脑梗血清中apoE、Lp(a)、TG、apoB均升高 ,与正常对照组间差异显著 ,P <0 .0 5     

并行工程环境下面向装配的设计系统

提出了一种在并行工程下面向装配的产品设计方法,通过对面向装配设计中的关键技术问题,如产品的装配模型、装配顺序规划、机构运动分析与综合、装配过程仿真及产品可装配性评价等方法的探讨,实现了面向装配的设计目标.     

用于覆盖测试的代码插桩程序设计与实现

设计了一种用于覆盖测试的代码插桩器,重点介绍了一种高效的词法语法分析方法：通过所读入的左右大括号是否匹配把整个代码分为函数内部和外部,根据这两部分感兴趣的关键字不同建立不同的DFA状态转换表,使每个词素能够用最少的状态转换次数判断出是否为所关注的关键字,减少状态转移的时间复杂度;使用已生成的状态转换表,消除了建立DFA的时间开销。描述了状态转换表的生成过程,插桩器的实现过程以及运行结果。     

产险公司资产负债管理的DFA方法实证分析

介绍了动态财务分析(DFA)这一主要适用于产险公司的资产负债管理工具.该工具运用Monte Carlo模拟方法在一系列不同情境下产生保险公司整体的财务结果.本文利用公共的DFA模型和中国市场上的实际数据参数化模型,建立起在中国市场上适用的DFA模型.在模拟过程中可以看出,DFA将外部环境等因素考虑进来,符合经营环境多变的情形;管理层可借由DFA模拟出的大量财务数据对公司经营状况进行分析,预测公司在未来几年中的财务进展状况,并由情景测试的方法来展示如何通过改变公司经营策略改善公司的经营状况及资产配置等.借助DFA模型可达到资产负债管理的目的,显示出其作为资产负债管理工具的巨大优势.     

SDFA： a Uniform Model for String Matching Algorithms

String matching algorithms play an important role in computer science. However, there is no uniform mathematical model to describe these algorithms. Thus, read-head-Skippable DFA (SDFA) is put for-ward, which is an extension of two-way DFA. It is proved that SDFA is equivalent to DFA. Furthermore,SDFA is a more natural mathematical model for string matching algorithms. After that, four types of the movement of the read head of string matching are analyzed and modeled by SDFA. Finally, the SDFA model of BMA string matching algorithms is given.     

DFA House法的改进及在某产品DFA分析中的应用

本文对传统的ＤＦＡ Ｈｏｕｓｅ法进行了改进，把零件的定向特性，合适的抓取表面，装配后是否需要调整取向，过定位和多面接触这五种情况也作为评价产品装配友好性的指标纳入产品的ＤＦＡ分析之内，使改进后的ＤＦＡ Ｈｏｕｓｅ法更全面地反映出零部件的装配特性，增强了ＤＦＡＨｏｕｓｅ法引导设计者进行产品零部件再设计的功能，作者在某产品机器人化柔性自动装配线的研究中用改进后的ＤＦＡ Ｈｏｕｓｅ法对该产品进行了ＤＦＡ