On a Certain Algebraic Property of Block Ciphers

This is a study on a certain group theoretic property of the set of encryption functions of a block cipher. We have shown how to construct a subset which has this property in a given symmetric group by a computer algebra software GAP4.2 (Groups, Algorithms, and Programming, Version 4.2). These observations on group structures of block ciphers suggest us that we may be able to set a trapdoor based on meet-in-the-middle attack on block ciphers.

on lin-bose problem

This paper study generalized Serre problem proposed by Lin and Bose in multidimensional system theory context [Multidimens. Systems and Signal Process. 10 (1999) 379; Linear Algebra Appl. 338 (2001) 125]. This problem is stated as follows. Let F ∈ Al×m be a full row rank matrix, and d be the greatest common divisor of all the l × l minors of F. Assume that the reduced minors of F generate the unit ideal, where A = K[x 1,...,xn] is the polynomial ring in n variables x 1,...,xn over any coefficient field K. Then there exist matrices G ∈ Al×l and F1 ∈ A l×m such that F = GF1 with det G = d and F 1 is a ZLP matrix. We provide an elementary proof to this problem, and treat non-full rank case.

传值进程模型检测中诊断信息的生成

诊断信息自动生成是模型检测方法的基本特征之一，对分析和排错具有重要的意义，讨论了传值进程模型检测中诊断信息的生成问题，引入了两种诊断信息的表示结构：证明图和示例；提出了两种诊断信息的构造算法，所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例，这样可以继承已有的信息，从而减少计算量，相应的算法已经实现并用实例作了分析测试，实验结果表明该方法是有效的。

Holographic dual of linear dilaton black hole in Einstein-Maxwell-dilaton-axion gravity

Motivated by the recently proposed Kerr/CFT correspondence, we investigate the holographic dual of the extremal and non-extremal rotating linear dilaton black hole in Einstein-Maxwell-Dilaton-Axion Gravity. For the case of extremal black hole, by imposing the appropriate boundary condition at spatial infinity of the near horizon extremal geometry, the Virasoro algebra of conserved charges associated with the asymptotic symmetry group is obtained. It is shown that the microscopic entropy of the dual conformal field given by Cardy formula exactly agrees with Bekenstein-Hawking entropy of extremal black hole. Then, by rewriting the wave equation of massless scalar field with sufficient low energy as the SLL(2, R) x SLR(2, R) Casimir operator, we find the hidden conformal symmetry of the non-extremal linear dilaton black hole, which implies that the non-extremal rotating linear dilaton black hole is holographically dual to a two dimensional conformal field theory with the non-zero left and right temperatures. Furthermore, it is shown that the entropy of non-extremal black hole can be reproduced by using Cardy formula.

几类旋转对称布尔函数的密码学性质

Sumanta Sarkar等人给出了一类具有最大代数免疫阶的旋转对称布尔函数,但对给出的旋转对称布尔函数仅研究了该函数的非线性度而对其他密码学性质未加以研究.因此,研究了上面给出的旋转对称布尔函数的其他密码学性质:代数次数、线性结构、扩散性、相关免疫性等.研究结果显示,虽然这类布尔函数的代数免疫阶达到最大,但是其他的密码学性质并不好.因此,此类布尔函数并不能直接应用在密码系统中.

寻找布尔函数的零化子

通过解方程组来研究密码系统,是代数攻击的研究内容代.对方程组降次是降低求解复杂度的一种重要方法.为了达到这个目的,引入了布尔函数零化子的概念.然而迄今为止,尚未有求解零化子的有效算法.这篇文章提出了一种计算给定布尔函数的零化子集的算法.由前两个算法,可以得到给定布尔函数的零化子集的一组基;从第三个算法,可以得到最低次数的零化子.算法的复杂度与函数的单项式个数相关.对流密码来说,在很多情况下,相比以前的算法而言,这种算法的复杂度大为降低.最后,我们将给出一个实例,说明算法是如何工作的.

基于半马尔科夫条件随机场的命名体识别及其关系抽取研究

随着互联网和电子化办公的发展，出现了大量的文本资源。信息抽取技术可以帮助人们快速获取大规模文本中的有用信息。命名体识别与关系抽取是信息抽取的两个基本任务。本文在调研当前命名体识别和实体关系抽取中采用的主要方法的基础上，分别给出了解决方案。论文开展的主要工作有：（1）从模型选择和特征选择两个方面总结了命名体识别及实体关系抽取的国内外研究现状，重点介绍用于命名体识别的统计学习方法以及用于实体关系抽取的基于核的方法。（2）针对当前命名体识别中命名体片段边界的确定问题，研究了如何将 Semi-Markov CRFs 模型应用于中文命名体识别。这种模型只要求段间遵循马尔科夫规则，而段内的文本之间则可以被灵活的赋予各种规则。将这种模型用于中文命名体识别任务时，我们可以更有效更自由的设计出各种有利于识别出命名体片段边界的特征。实验表明，加入段相关的特征后，命名体识别的性能提高了 4-5 个百分点。（3）实体关系抽取的任务是判别两个实体之间的语义关系。之前的研究已经表明，待判别关系的两个实体间的语法树结构对于确定二者的关系类别是非常有用的，而相对成熟的基于平面特征的关系抽取方法在充分提取语法树结构特征方面的能力有限，因此，本文研究了基于核的中文实体关系抽取方法。针对中文特点，我们探讨了卷积（Convolution）核中使用不同的语法树对中文实体关系抽取性能的影响，构造了几种基于卷积核的复合核，改进了最短路依赖核。因为核方法开始被用于英文关系抽取时，F1 值也只有40%左右，而我们只使用作用在语法树上的卷积核时，中文关系抽取的F1 值达到了35%，可见核方法对中文关系抽取也是有效的。

a computational proof of complexity of some restricted counting problems

South Central University