基于匹配的最小化路径表达式的优化方法

路径表达式的最小化问题,是快速有效地从XML数据源中查询所需信息的重要因素,为了加速路径表达式的处理,在深入分析Chase方法的基础上,提出一种基于匹配的最小化策略.该方法利用了匹配的基本操作来删除冗余分支以便达到优化的目的,在匹配的过程中,按照自上而下的顺序对树中的结点对进行匹配来减少计算的工作量.初步的分析表明,该方法比普遍意义上的消除路径表达式的冗余条件的方法更能有效地提高查询效率.     

关系数据库中索引表达式的讨论

索引是关系数据库中应用很广泛的一项技术，设置索引标识必须写出正确的索引表达式。本文对实际应用中如何正确的设置索引表达式，进行了深入的讨论，并给出了建立索引表达式的思考途径和规律。     

将中缀表达式转换成后缀表达式的三种方法

本文给出了已知中缀表达式求解后缀表达式的三种方法。     

键盘输入数学表达式的计算方法

本文介绍计算作为字符串输入的数学表达式的一种方法。在信号处理与系统仿真软件中采用这种方法,可使用户能用人机交互方式从键盘指定时间序列或系统输入的数学表达式,从而提高软件的灵活性与实用性。     

基于互关联后继树的数学表达式检索

数学表达式结构复杂多样,给检索带来困难。为此,提出一种数学表达式索引与检索方法。在索引阶段,通过对LaTeX数学表达式特点的分析与归纳,定义面向表达式二维结构特性的数学表达式特征表示方式,将互关联后继树索引模型应用于数学表达式索引的构建,以解决树结构表示表达式的层次增长问题。在匹配阶段,设计包括精确匹配、相容匹配、子式匹配、模糊匹配等查询模式的匹配算法。在浏览器/服务器模式下采用51 076条数学表达式进行索引与匹配。实验结果表明,提出的方法可加快查询速度,减小索引存储空间,能够适应数学表达式的结构特点,取得较好的检索效果。     

表达式的检错与计算

在各种计算机语言和许多应用系统的命令中,都包含有表达式,而这些表达式是怎样被识别和处理的呢? 本文介绍的程序,将把键盘输入的一个由运算数,运算符(+、     

GMDH中部分表达式的构成及改进方法

该文在综合了GMDH方法中部分表达式构成形式的基础上,提出用最优化方法构成系统最佳部分表达式,由此得到精度更高、稳定性较好的模型.     

基于路径表达式的XML索引查询技术

为减少结构连接操作时对输入数据大小的依赖、在大部分实际情况下提高算法效率,研究了当前结构连接算法产生大量中间结果而导致过多连接次数的问题,提出一种新的基于结构摘要的索引技术。对路径树和XML树分别编码,使用少量预先计算的路径信息。在结构连接时执行交叉操作,该操作由位图在较短时间内实现,并且只返回结点所在路径的位置信息,减少了I/O次数。实验结果表明了其具有较高的查询效率,并且查询时间不依赖于输入数据的规模。     

Word文档中数学表达式的编辑方法

介绍Word中数学表达式的编辑方法和步骤.     

LaTeX数学表达式解析与索引方法

针对数学表达式复杂二维结构特性所导致的普通文本检索技术难以对其进行检索的问题,提出了一种面向数学检索的LaTeX数学表达式解析与索引方法。在充分考虑公式特点的基础上,通过对LaTeX构成特点的分析和归纳,设计了LaTeX数学表达式的解析和检索特征提取算法;以此为基础,构建了一种适应数学表达式特性的双层索引结构,利用所提取数学表达式各层次运算数和运算符信息,分别以Treap数据结构和倒排索引结构构成数学表达式索引,为实现进一步的数学表达式检索匹配打下基础。在浏览器/服务器模式下采用6234条数学教材中的公式作为数据集进行实验,在解析获得的124960个基线层数最高为11层的表达式节点上,建立索引平均耗时为33.8317 s。实验结果表明所提出的LaTeX表达式解析算法和索引结构能够适应数学表达式的特点,有助于实现具有较高效率和准确性的数学表达式检索。     

基于并行字符索引的多步长正则表达式匹配算法

深度包检测(deep packet inspection, DPI)是网络入侵检测与防御系统(network intrusion dete-ction and prevention system, NIDPS)的核心.基于三态内容可寻址存储器(ternary content addressable memory, TCAM)的正则表达式匹配算法提高了数据包的处理速度,成为DPI技术的一个重要研究方向.TCAM具有查找速度快、存储空间小等特性,且能耗与存储空间成正比.由于DFA的存储空间开销比较大,且存储空间大小随着DFA步长数的增加而指数倍增,基于TCAM的DFA面临高能耗的问题,特别是多步长DFA.提出一种基于并行字符索引的多步长正则表达式匹配算法(multi-stride parallel character-indexed DFA, PCIDFA),对确定型有限自动机(deterministic finite automaton, DFA)构造并行字符索引,通过比特位图取交集,减少匹配时激活的TCAM块数,显著降低TCAM能耗.实验结果表明：与多步长DFA相比,多步长PCIDFA在TCAM能耗上减少了99.8%以上,在TCAM存储空间开销上减少了48.5%~65.3%,在吞吐量上提高了1.9~2.6倍.     

Controllability of Linear Algebraic Differential Systems

A controllable linear system of ordinary differential equations not solvable for the derivative of the vector state function of the system is investigated. The coefficient matrix at the derivative of the vector state function is assumed to be degenerate at all points of the domain of definition. Controllability criteria for systems with constant and variable coefficient matrices are formulated in terms of input data.     

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

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

A Method for Solution of Systems of Linear Algebraic Equations with m-Dimensional @lambda;-Matrices

A system of linear algebraic equations with m-dimensional @lambda;-matrices is considered. The proposed method of searching for the solution of this system lies in reducing it to a numerical system of a special kind.     

人脸表情的形变线性拟合方法

提出了用于人脸表情合成的形变线性拟合方法. 该方法利用人脸图像形变模型线性组合逼近的基本思想, 确定合成表情图像的形状信息和纹理信息, 其步骤简单, 容易实现. 该方法能有效地从中性表情人脸图像合成出具有表情的图像, 并且得到的人脸表情自然、逼真、具有说服力. 更为重要的是, 该方法能从闭着嘴的中性表情人脸图像合成出具有张开嘴露出牙齿效果的人脸表情图像, 克服了当前大多数人脸表情合成方法不能实现这一效果的不足.     

基于线性变换模型的图像匹配

针对图像的平移、旋转、尺度变换等整体匹配,提出了一种图像线性变换的匹配算法.首先定义待匹配图像匹配点间的线性变换模型,以对应像素灰度差平方和作为图像匹配误差函数,然后借助最小化误差函数确定参数迭代增量,由迭代法求得最佳线性变换参数.为减少计算量与提高收敛速度提出了三种改进策略:增加权函数、图像网格点采样和增加加速动量项.实验显示对于小范围平移、旋转及尺度变换的图像能进行准确快速的整体匹配,而改进策略能有效提高图像匹配速度.     

NP-Hard Classes of Linear Algebraic Systems with Uncertainties

For a system of linear equations Ax = b, the following natural questions appear:

? does this system have a solution?

? if it does, what are the possible values of a given objective function f(x1,...,xn) (e.g., of a linear function f(x) = ∑C _i X _i ) over the system's solution set?

We show that for several classes of linear equations with uncertainty (including interval linear equations) these problems are NP-hard. In particular, we show that these problems are NP-hard even if we consider only systems of n+2 equations with n variables, that have integer positive coefficients and finitely many solutions.

     

AES的S盒和逆S盒的代数表达式

利用 域中元素自身为变量表示元素分量的代数方法求解S盒和逆S盒的代数表达式，同时解释了S盒代数表达式只有9项而逆S盒代数表达式有255项的原因，此外提出了有限域下多项式幂次运算的一种快速乘方算法，实验结果表明该算法比直接乘法运算效果好。     

Exact Algorithms for Linear Programming over Algebraic Extensions

Abstract. We study the computational complexity of linear programs with coefficients that are real algebraic numbers under a Turing machine model of computation. After reviewing a method for exact representation of algebraic numbers under the Turing model, we show that the fundamental tasks of comparison and arithmetic can be performed in polynomial time. Our technique for establishing polynomial-time algorithms for comparison and arithmetic is distinct from the usual resultant-based approaches, and has the advantage that it provides a natural framework for analysis of the complexity of computational tasks, such as Gaussian elimination, that involve a sequence of arithmetic operations. Our main contribution is to show that a variant of the ellipsoid method can be used to solve linear programming in time polynomial in the encoding size of the problem coefficients and the degree of any algebraic extension that contains those coefficients.