对pSFLASH扰动公钥密码的一个实际攻击

通过对SFLASH的中心映射进行扰动,最近Wang等人提出了一个新的多变量公钥系统pSFLASH.pSFLASH的设计者认为,扰动后的中心映射可以破坏SFLASH公钥潜在的数学结构,从而抵抗针对SFLASH的差分代数攻击[2-3].然而对于以(T-1,U-1,β,γ)为私钥的任一pSFLASH实例,一定存在一个可逆仿射...     

基于汉明重的PRESENT密码代数旁路攻击

研究了分组密码代数旁路攻击原理及模型、非线性布尔方程组转化为saT问题的方法,提出了一种基于汉明重的PRESENT密码代数旁路攻击方法,降低了求解非线性多元方程组的复杂度,减少了旁路攻击所需样本量,并通过实验对理论正确性进行了验证。结果表明,在已知明文条件下,利用一个样本前3轮的S盒输入、输出汉明重在0.63s内即可恢复80bit PRESENT完整密钥;在未知明密文和S盒输入、输出汉明重随机选取条件下,也可恢复PRESENT完整密钥。     

具有最大代数免疫度的布尔函数的构造

系统地总结了现有的具有最大代数免疫度的布尔函数的构造方法,将现有各种构造方法按其构造思想的不同分为有代表性的几类,并分别介绍了基于这几类方法的一些结果和进展,其中包括作者自己在该方面的研究结果。     

表的不同构造器下CDT之间的关系

CDT（范畴数据类型）是以范畴理论为基础建立起来的数据类型,它在计算机并行处理中有极为重要的应用。通过使用不同的构造器能够建立各种不同的CDT,该文探讨基于同一初始类型下表的不同构造器的CDT之间的关系。     

非线性微分代数系统的稳定性

本文发展了微分代数系统的稳定性理论,讨论了微分代数系统在平衡点近旁的正则性问题、给出了在平衡点处的受限形式,建立了受限系统Ｌｙａｐｕｎｏｖ稳定性的基本定理,得到了微分代数系统平凡解渐近稳定的判别准则。     

不确定线性系统混合H_2 /H_∞ 鲁棒输出反馈控制

解决了在系统状态空间模型的状态与输出矩阵中含有范数有界参数不确定线性系统的混合H2 /H∞ 鲁棒输出反馈控制问题 .所推导的满阶控制器对于所有可容许的参数不确定都能满足给定的H∞ 干扰衰减水平 ,且为最坏情形H2 代价函数提供了一个最优的上界 .所得的结果需要求解一个含有尺度参数的修正代数Riccati方程以及三个含有尺度参数的交叉耦合非线性方程 .而且 ,也给出了一个求解这些含有尺度参数非线性方程的数值算法 .     

动态规划法解最佳三角剖分凸多边形问题——2000年第18期擂台赛题解

不知道大家还记得本年度第19期本栏目对第13期赛题(矩阵连来式如何用最小运算量计算方案计算)的分析与动态规划方法的求解吗?一个代数问题与本期的一个几何问题,实际上可以用相同方法很漂亮地解决……     

空间分析数据库的研究方法及技术

通过大量文献研究 ,分析了空间分析数据库的研究平台、研究方法和技术 ,以及各种研究平台的优缺点 .重点讨论了基于 Realms的空间数据类型、ROSE代数、基于可扩充 DBMS的空间分析数据库的研究方法和技术 ,以及同类系统的不足和需研究解决的问题 ,并指出 Realm s可以有效地表示二维的空间数据及支持空间拓扑操作算法 .文中还分析研究了基于主存数据库技术和 ROSE代数的空间存储管理子系统 ,并指出把它与可扩充数据库管理系统或具有 ADT机制的 DBMS进行集成 ,是研究空间分析 DBMS的有效途径     

关系代数派生算子语义表达式间等价性证明

关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。从派生算子（主要是除算子）语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式。所使用的变换方法能为关系代数表达式的正确性证明打下基础。     

基于代数神经网络的不确定数据知识获取方法

定义了代数神经元、代数神经网络,讨论了不确定数据知识获取的数学机理,设计出一类单输入,单输出的三层前向网络来获取知识的代数神经网络模型,给出一种基于代数神经网络知识获取的方法,通过该网络的学习,能确定任意一组给定数据的目标函数的逼近式。