ICPN的时间自动机构造方法

为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。     

时间自动机可达性分析算法的改进

模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进。     

一种动态消减时间自动机可达性搜索空间的方法

时间自动机的可达性分析算法通常采用对符号状态的枚举来遍历其状态空间。符号状态由位置与时间区域组成,时间区域用形如x-y≤（〈）n的原子公式的合取式来表示。在对时间自动机进行可达性分析的过程中,分析算法将生成大量的符号状态,往往导致对计算机内存的需求超出了可行的范围。本文给出了一个消减符号状态个数的方法。该方法通过对符号状态间的依赖关系进行分析,在不影响分析结果的前提下消去某些时间区域的原子公式,从而扩展符号状态。扩展后的符号状态包含有更加多的其它的状态,通过删除掉那些被包含的符号状态可以减少算法存储的状态个数,节省存储空间。本文最后给出了相关的案例分析,结果表明这个算法有效地减少了某些时间自动机可达性分析过程中所需的存储空间。     

由有穷自动机构造正则表达式的新算法

本文借助图论的理论，通过识别回路和不包含回路的由起始状态到终止状态的路径的方法，提出一种构造给定有穷自动机对应的正则表达式的新算法，并给出具体实例。     

一种基于区域分解的实时测试用例生成技术研究

实时系统是指与运行环境的交互行为存在时间约束的系统。由于时间约束的无穷状态空间问题,增加了实时系统测试难度。本文基于时间自动机,利用时间区域分解的方法,将无穷状态空间的时钟区域在时钟数量对应的坐标图中等价划分为各个类,在生成的测试路径中取到相应的点坐标,简化取点的个数,有效减少测试用例的生成数量,进而相对减少状态空间爆炸的可能性,为实时系统功能、安全性验证提供理论基础。     

实时系统状态空间分析的一种算法

提出了一种生成实时系统可达状态的算法 ,该算法生成一个较小的状态空间 ,但仍然保留了足够的时间信息用于分析。同时给出一个实例来说明算法的有效性 ,并与其它方法进行了比较。     

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

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

一种改进的区域运算法

本文提出一种改进的区域运算算法，第２部分重点叙述三种特殊情况的处理，第４部分讨论了数据结构和算法的细节。     

一种检测TAL-freeness的代数方法

时间动作锁(Ti me-Action-Lock,TAL)指的是实时系统处于一种时间无法继续同时又没有任何动作能够发生的状态.Behzad和Kozo在时间自动机的几何学基础上提出了一种针对TAL-freeness的检测方法.但该方法要求必须将需要检测的模型转化为一种逻辑语言Rational Presburger Sentences后才能进行检测,因此使得验证过程比较繁琐.文中提出了一种检测TAL-freeness的代数方法,能够直接对系统模型进行直接验证,并且能够定位死锁原因.针对该方法,文中还给出了相应算法并提供了正确性证明与性能分析.     

一种改进的活性边表区域填充算法

为提高区域填充效率,对三种常见的区域填充算法进行了介绍和分析,并对其中优势较为明显的活性边表区域填充算法进行了进一步改进。改进算法针对原始算法的不足,充分利用多边形顶点信息,建立了活性边动态发现机制,使得算法时间效率和空间效率都得到提高;同时,为填充自相交多边形,又提出一种简单有效的基于扫描线的多边形自相交点探测方法,使得算法的适用性得到进一步增强。实验结果表明,算法的改进取得了很好的效果。     

学习自动机建立虚拟退避算法的VANET服务质量改进

针对车辆自组织网络(VANET)中由于相邻车辆会造成信号失真导致节点的高度移动性影响传输可靠性的问题,提出一种基于学习自动机建立虚拟退避算法的VANET介质访问算法。首先,借助于计数器共享的虚拟退避算法为每个节点分配一个计数器;然后,利用学习自动机确定指定节点序列号的最佳值;最后,使用RTS/CTS机制来奖惩每个节点以实现VBA介质访问。使用NS-2和MOVE进行的仿真实验验证了所提算法的有效性及可靠性,仿真结果表明,所提算法不仅改善了介质访问性能,而且节能效果明显,执行效果明显优于DCF和VBA等传统方案。     

区域匹配相关跟踪方法的一种改进

工程中能应用的实时相关跟踪算法不多 ,如多点相关 (MPC)是工程中最常用的一种算法 ,但是MPC算法没有很好的相关置信度函数 ,使 MPC算法的应用受到一些限制和影响 .本文通过对一种有较好相关置信度函数的区域相关算法 (RTC)的讨论和研究 ,分析了算法中影响目标跟踪效果与成败的 2个关键环节——图像增强、图像分割 ,在原来算法的基础上给出有效的改进措施和相应的实验结果 .     

识别Thue系统不可约字集的有穷自动机的一个构作

本文给出了识别Ｔｈｕｅ系统不可约字集的有穷自动机的一个新的构作。     

软件可靠性JM模型完全排错假设的修改

JM模型是最具代表性的早期软件可靠性马尔可夫过程的数学模型,其完全排错的假设与软件开发实际不相适合,后人虽然提出排错可能引入一个或两个错误的假设,但还没有从本质上解决问题。本文作者对此假设提出自己的观点。     

混沌映射与可逆线性记忆元胞自动机相融合的图像认证加密算法研究

为了使加密系统拥有图像认证功能,能够防止图像在存储与传输过程中被各种攻击肆意篡改,并提高其加解密速度以及安全性,使可逆线性元胞自动机具备记忆贮存功能,提出一种可逆线性记忆元胞自动机。采用混沌映射与可逆线性记忆元胞自动机相融合的图像认证加密算法来增强加密系统的性能,采用的是图像块加密算法,而非传统的密码流。首先采用二维分段线性混沌映射对初始明文图像进行置乱,改变像素位置;然后对置乱图像进行分块,并利用Logistic映射和可逆线性记忆元胞自动机对每一块进行扩散加密处理,改变其像素值,随后将这些加密后的分块密文组合起来形成密文图像;将HASH方程引入到本文算法中,使其拥有图像认证功能。借助MATLAB仿真软件来验证本文算法,结果表明:所提出的图像认证加密新算法具有优异的加密性能,扩散机制高度安全,计算效率高,其密钥空间足够大,抗攻击能力大幅度提升。     

PLN网络吸引区域的定量分析

本文证明在ＰＬＮ网络中适当给定广义Ａ－学习律，可使网络满足如下条件：（１）所有训练样本都是稳定状态；（２）每个稳定状态具有最大的吸引域；（３）具有很快的收敛速度．由此可见，将这种ＰＬＮ网络作为联想记忆器是很理想的．     

基于感兴趣区的虹膜定位算法

快速虹膜定位是实现虹膜自动识别系统的基础.利用小波变换后LL频带是图像内容的抽样缩略的性质,只对LL频带的图像进行虹膜定位,基于图像光斑特性选择定位感兴趣区域,用Hough变换定位虹膜内圆,单行梯度最大值方法定位虹膜外圆,然后按比例还原所有的参数值.试验结果表明这些参数与在原始图像中进行虹膜定位得到的参数一致,定位时间大大缩短,说明了该定位算法的有效性.     

一种加权改进的D-S证据推理算法

利用证据推理方法处理不确定问题具有强大的优势,但由于它不能处理矛盾证据,这在很大程度上限制了它在实际中的应用.对D-S证据推理的算法进行了改进.改进后的D-S证据推理算法可以有效地处理矛盾证据,取得比较理想、比较合理的融合结果.最后,通过仿真试验对该方法进行了验证.     

多级文法在通用型中间件中的应用

在当今计算机技术发展的主流中，中间件技术是客户／服务器结构的关键技术.在对数据库专用中间件──RDA技术的深入研究后，针对它灵活性低、可扩充性差的特点，本文提出了适于构造基于通用型中间件的分布式环境的新技术──多级文法.实践证明将多级文法的技术引入中间件的构造大大提高了中间件的灵活性，增强了它的可扩充性，并使中间件本身具有了一些新的特点.目前，一个基于该多级文法的通用型中间件的原型系统已可在UNIX平台运行.     

一种基于条件熵的决策表属性约简算法

以分类为基础提出一种基于条件熵的决策表属性约简算法。通过条件熵的计算在属性约简的同时将原决策表逐层分解成相对于决策属性来说尽量均匀的子决策表,从而缩小了数据规模;随后对算法的时间复杂度进行了分析;实验表明,该算法在效率方面优于传统算法。