关系代数表达式写法的新教学方法

在《数据库系统原理》的教学中,重难点之一是利用关系代数语言表示关系的查询操作。该文提出了一种基于人眼移动的关系代数表达式书写方法,该方法将抽象难懂的数学概念转换为学生易于理解的方式,有助于学生理解关系代数表达式的结构,并快速正确地书写关系代数表达式,在实际教学中取得了良好的效果。     

基于逻辑电路的Petri网化简方法

已有的Petri网化简方法需将网的局部结构与化简规则作逐一的比对,步骤较为繁琐,并且所提供的方法不适合于带抑止弧的网.采用一种与传统方法不同的化简思路,首先将网划分为若干个最大无圈子网,将每个最大无圈子网表达为若干个逻辑式.用逻辑代数来完成逻辑式的化简,最后将其结果还原为Petri网回嵌到原网中,完成整个网的化简.给出了寻找最大无圈子网、最大无圈子网的化简算法以及相关的证明.该方法将化简范围扩展到了带抑止弧的无回路的网或网的局部.     

基于代数表达式功耗模型的差分功耗分析攻击

差分功耗分析(DPA)攻击被证明是一种非常有效的针对加密设备的攻击方法,但目前存在的几个版本的DPA攻击方法对差分信息的需求量过高,且抗干扰能力有限、稳定性不强。在研究DPA攻击的基础上对DPA攻击方法进行了重构,简化DPA攻击复杂度,并提出基于代数表达式功耗模型的DPA攻击方法,该方法能够提高攻击的准确性,降低DPA攻击对差分信息的需求量。在SASEBO-GII实验平台上的实验结果表明,在不增加时间复杂度的前提下,提出的方法能够将针对硬件执行高级加密标准算法(AES)的DPA攻击对差分信息的需求量从数千条降到数百条,甚至更低。     

基于代数表达式功耗模型的差分功耗分析攻击

差分功耗分析（DPA）攻击被证明是一种非常有效的针对加密设备的攻击方法,但目前存在的几个版本的DPA攻击方法对差分信息的需求量过高,且抗干扰能力有限、稳定性不强。在研究DPA攻击的基础上对DPA攻击方法进行了重构,简化DPA攻击复杂度,并提出基于代数表达式功耗模型的DPA攻击方法,该方法能够提高攻击的准确性,降低DPA攻击对差分信息的需求量。在SASEBO-GII实验平台上的实验结果表明,在不增加时间复杂度的前提下,提出的方法能够将针对硬件执行高级加密标准算法（AES）的DPA攻击对差分信息的需求量从数千条降到数百条,甚至更低。     

图的布尔矩阵化简

复杂图常常包含有成百个顶点、上千条边,结构庞杂,在分析处理中需进行简化。通常的作法是按顶点的空间分布对原始图进行分块,但分块的准则并非单一。这一特性虽然有助于化简时增加系统的先验条件,但却不利于编制规范的计算机软件来进行复杂图组合结构的变换。该文讨论复杂图组合结构的化简问题,提出通过布尔矩阵把复杂图变换为能够用维数较低的邻接矩阵进行分析与描述的化简算法,这种变换可大大减少图中顶点和边的数量。     

效应代数水平和上的序列积

建立了一族可和序列效应代数的水平和上具有序列积的充分必要条件,进而给出了由序列效应代数的水平和构造序列效应代数的一种方法。     

计算机在逻辑代数快速化简中的应用

本文利用计算机对逻辑代数进行化简,使对复杂的逻辑代数分析化简工作的速度大大提高,得到的 结果准确可靠,避免了传统人工分析中由人为因素造成的差错。它可广泛应用于电路分析、设计和 教学等众多领域。     

类关系代数的OODB理论—关联代数的分析

ＯＯＤＢ是数据库研究的新领域。文中介绍了用于面向对象数据库查询语言原型的ＯＯＤＢ理论－与关系代数相似的关联代数。通过与关系代数的比较，分析其特点，说明其优越性。最后给出基于关联的查询形式。     

循环对称化简及在三值模型上的扩展

为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型——三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证明了两种途径的等价性.     

基于PLAZA的移动对象轨迹实时化简方法

为了设计更为简洁高效的实时轨迹化简算法,在PLAZA算法的基础上,给出适合移动对象轨迹化简的分区角度概念,并利用移动对象的瞬时速度等实时位置信息,在距离和方向两个层面上对误差进行控制。通过融合区域过滤的思想,构造限制插值点误差范围的安全区域,设计出了针对移动对象实时位置信息进行化简的新算法NPLAZA。实验结果证明,算法 NPLAZA误差小,轨迹化简高效、稳定。     

代数规范与对象行为约束

本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.     

空间代数曲线的参数化逼近

提出一种用三次B样条曲线逼近空间代数曲线的方法.对非奇异的情况,先用随机微分方程方法采样,然后对采样点进行聚类排序,最后用三次B样条曲线逼近有序点列;而对包含奇异点的情况,则将空间曲线双有理映射成平面曲线,采用已有的含奇异点的平面代数曲线的采样及排序方法来实现对应空间曲线的采样及排序.两种情况都获得了优于其它方法的逼近效果.     

平面代数剖分样本点的一个有效算法

本文提出了寻找平面数剖分样本点的一个有效算法给出了实现该算法的一个完整的Ｍａｐｌｅ程序。     

基于代数式规范的变异测试方法的设计与实现

软件测试是软件工程中保证软件产品质量的重要组成部分.变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集.为了提出一种基于代数式规范的新的变异测试方法,为此设计了12类针对代数式规范的变异操作符,对5个代数式规范进行了实验,并进行了结果分析.结果表明基于代数式规范的变异测试方法相比基于代码的传统变异测试方法,生成更少的变异体,也大幅度提升了变异测试的效率.     

基于代数几何码的生物信息密钥保护机制

改进了文献[1]使用生物数据对密钥进行保护的方案,使用ReedMuller码和Hermitian曲线上的代数几何码代替了原方案中的Hadmard码和ReedSolomon码,获得了更大的纠错能力和更高的信息率。使用改进后的方案,密钥可以从用户的生物数据和存储在防窜改的智能卡中的纠错数据中被恢复。     

Tree matching and simplification

A fast algorithm for performing simplification and matching is described. The algorithm gives an improvement of up to an order of magnitude on suitable problems. It makes use of a dag data structure and tag fields to avoid redundant matches. Performance studies were done to determine the relative importance of various features in improving the running time.     

非线性代数规范的直接实现技术

代数规范是支持软件规格说明和设计的一种有效的方法，代数规范的直接实现技术是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范，本文介绍一个实现非线性代数规范的转换过程，从该过程可自然是导出针对不同程序设计语言的转换系统，我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统。     

Slippery hill-climbing technique for ciphertext-only cryptanalysis of periodic polyalphabetic substitution ciphers

Abstract

We present a stochastic method for breaking general periodic polyalphabetic substitution ciphers using only the ciphertext and without using any additional constraints that might come from the cipher’s structure. The method employs a hill-climbing algorithm for individual key alphabets, with occasional slipping down the hill. We implement the method with a computer and achieve reliable results for a sufficiently long ciphertext (150 characters per key alphabet). Because no constraints among the key alphabets are used, this method applies to any periodic polyalphabetic substitution cipher.     

A simple equation solver and its application to financial modelling

We discuss a simple algorithm for solving sets of simultaneous equations. The algorithm can solve systems of linear and some kinds of non-linear equations, although it has nowhere near the power of a general non-linear equation solver. Its principal advantages over more general algorithms are simplicity and speed. Versions of the algorithm have been used in a graphics language and in a system for interactively modifying the equations that constitute financial models. We discuss the second application in more detail here.     

基于预训练表示模型的英语词语简化方法

词语简化是将给定句子中的复杂词替换成意义相等的简单替代词,从而达到简化句子的目的. 已有的词语简化方法只依靠复杂词本身而不考虑其上下文信息来生成候选替换词, 这将不可避免地产生大量的虚假候选词. 为此, 提出了一种基于预语言训练表示模型的词语简化方法, 利用预训练语言表示模进行候选替换词的生成和排序. 基于预语言训练表示模型的词语简化方法在候选词生成过程中, 不仅不需要任何语义词典和平行语料, 而且能够充分考虑复杂词本身和上下文信息产生候选替代词. 在候选替代词排序过程中, 基于预语言训练表示模型的词语简化方法采用了5个高效的特征, 除了常用的词频和词语之间相似度特征之外, 还利用了预训练语言表示模的预测排名、基于基于预语言训练表示模型的上、下文产生概率和复述数据库PPDB三个新特征. 通过3个基准数据集进行验证, 基于预语言训练表示模型的词语简化方法取得了明显的进步, 整体性能平均比最先进的方法准确率高出29.8%.