有限自动机的同态

循环有限自动机是由单个状态生成的有限自动机,任何有限自动机都是有限个循环有限自动机的并.为了进一步探讨循环有限自动机的性质和揭示一般有限自动机和循环有限自动机的关系,本文利用代数的方法,讨论了循环有限自动机的自同态,得出了计算循环有限自动机自同态半群和自同构群的算法;并讨论了一般有限自动机的同态,证明了每一个有限自动机都是有限个循环有限自动机的直和的同态象.     

一种基于反向有限自动机的匹配算法

根据中文信息处理的需要,把传统的有限自动机改造成了反向有限自动机。讨论了利用反向有限自动机进行多模式的匹配,并给出了形式化的算法。通过比较,还指出反向有限自动机匹配算法的若干优越之处。     

基于有限自动机的网络入侵检测技术

入侵检测是对计算机网络和计算机系统的关键节点的信息进行收集和分祈。由于高速网络和交换式网络的普遍应用,以分布式拒绝服务攻击为代表的新型攻击方式的出现和发展,以及现有入侵检测系统效率低下、误报率和漏报率较高的问题无法得到有效解决等问题,目前入侵检测技术正处于发展的关键时期。协议分析是网络入侵检测技术中的一种关键技术,但不能解决对于包含在多个数据包中的攻击。针对这一问题,本文提出了基于状态协议分析的检测技术,构建一个有限自动机（Finite Automata,简称FA）来约束网络,并用由正则表达式产生的语言来描述一系列的正常的状态转化,充分利用协议的状态信息检测入侵。     

由单个状态生成的有限自动机的一些性质

本文研究了由单个状态生成的有限自动机的弱可逆性及分解,得出了由单个状态生成的有限自动机弱可逆的充分必要条件,证明了由单个状态生成的延迟τ步弱可逆有限自动机M能分解为一个延迟0步弱可逆有限自动机和一个τ阶延迟元的充要条件是M的生成子的τ长输出权为1.     

基于模糊有限自动机的双模糊拓扑性质

本文研究了由模糊有限自动机的bifuzzy successor算子和bifuzzy source算子所导出的双模糊拓扑.根据这两个算子的性质,我们把它们导出的所有可能的双模糊拓扑系统地进行了分类,并证明了它们都是FFA的双模糊拓扑;进而研究了这些双模糊拓扑之间的关系.     

概率赋范空间有限维的特征

在概率赋范空间中给出了Riesz定理，研究了依概率范数收敛与依坐标收敛的关系，证明了概率赋范空间有限维的充要条件，并以实例说明了定理的意义。     

双同态与 -盈满子集(英文)

在〈 H ;H〉与〈 H;H〉双同态的条件下 ,本文给出了反映〈 H ;H〉中的 A-盈满子集与〈 H;H〉中的 A-盈满子集的关系的几个结果     

粗糙环的同态与同构

主要讨论粗糙集理论在代数系统——环上的应用。基于有关粗糙群、粗糙子群、粗糙加群、粗糙不变子群、粗糙商群、粗糙环、粗糙子环、粗糙群和粗糙环的同态的基本概念以及粗糙环的一些性质和有关粗糙不变子群与粗糙子环的定理,讨论了粗糙理想、粗糙商环、粗糙环同构的概念及其性质,同时给出了这些性质和有关粗糙环同态与同构的若干定理的严格证明,进一步补充和完善了粗糙集理论。     

基于随机有限集的目标跟踪方法研究及最新进展

本文概述了基于随机有限集的目标跟踪方法的产生、发展和研究现状.论文概要总结了基于随机有限集的目标跟踪方法的基础理论,主要包括随机有限集的理论基础,概率假设密度滤波器的理论基础,概率假设密度滤波器的实现方式以及基于随机有限集的目标跟踪算法的性能评价指标.文中同时简要介绍了概率假设密度滤波器在目标跟踪领域的应用,并对在该领域未来的发展提出了自己的看法.     

特征值问题迭代伽略金法与Rayleigh商加速

该文讨论特征值问题非协调有限元和混合有限元的加速计算方法。基于迭代伽略金法和Rayleigh商加速技巧,我们建立了特征值问题Wilson非协调有限元和Ciarlet-Raviart混合有限元的加速计算方案。这些新方案把在细网格上解一个特征值问题简化为在粗网格上解一个特征值问题和在细网格上解一个线性方程。文中证明了新方案的计算结果仍然保持了渐近最优精度阶,并用数值实验验证了理论结果。     

用有限元亏量校正求特征值下界

对解2阶椭圆特征值问题的线性有限元法,本文考虑了一种计算简单的有限元亏量校正方案。基于插值校正和Rayleigh商给出了新的校正特征值。理论分析表明该校正特征值或者达到二次元的精度阶或者当网格直径充分小时下逼近准确特征值,并用数值实验验证了理论结果。     

基于随机集理论的多目标跟踪研究进展

基于随机有限集理论的多目标跟踪方法,能够避免数据关联步骤的困扰,能够较好地解决复杂环境中目标数目未知且随时间变化的多目标跟踪问题.本文分析基于数据关联和基于随机集理论的多目标跟踪方法,阐明基于随机集理论的多目标跟踪方法的特点和优点,对目标状态提取、航迹关联、更准确的滤波算法,以及复杂条件下的PHDF算法等关键问题进行总结和评述,并指出该领域今后的研究热点.     

An improved partition of unity finite element model for diffraction problems

The partition of unity finite element method (PUFEM) is explored and improved to deal with practical diffraction problems efficiently. The use of plane waves as an external function space allows an efficient implementation of an approximate exterior non‐reflective boundary condition, improving the original proposed by Higdon for general diffraction problems. A ‘virtually’ analytical integration procedure is introduced for multi‐dimensional high‐frequency problems which exhibits a dramatic decrease in the number of operations for a given error compared with standard integration methods. Suitable conjugate gradient type solvers for the whole range of wavenumbers are used, including such cases in which PUFEM can produce nearly singular matrices caused by ‘round‐off’ limits. Copyright © 2001 John Wiley & Sons, Ltd.     

The extended/generalized finite element method: An overview of the method and its applications

An overview of the extended/generalized finite element method (GEFM/XFEM) with emphasis on methodological issues is presented. This method enables the accurate approximation of solutions that involve jumps, kinks, singularities, and other locally non‐smooth features within elements. This is achieved by enriching the polynomial approximation space of the classical finite element method. The GEFM/XFEM has shown its potential in a variety of applications that involve non‐smooth solutions near interfaces: Among them are the simulation of cracks, shear bands, dislocations, solidification, and multi‐field problems. Copyright © 2010 John Wiley & Sons, Ltd.     

The design of a DFSA based pattern matcher

Abstract

In order to eliminate the irrelevant data being transferred from disks into memory, many database machines adopt a data filter to filter out the irrelevant data on‐the‐fly. This paper proposes a new DFSA (Deterministic Finite State Automata) based pattern matcher to be implemented as the data filter. It can perform various searching operations, including fixed and variable length don't care patterns. The architecture of this pattern matcher is relatively simple and can be easily implemented by off‐the‐shelf LSI chips. In our design, it only requires one 16K×8 SRAM and five LSI chips for a given state transition table of 128 states.

A test has been conducted to compare the performance of dBASE III and our data filter. The result shows that the data filter is, on average, five times better than the performance of dBASE III.