一种具有容错性的序列综合算法

线性递归序列的容错综合问题在流密码分析领域具有重要的理论分析与应用价值。利用伽罗华域上2个变元多项式??x,y?的齐次理想刻画齐次关键方程的解空间,通过齐次关键方程解决线性递归序列综合问题不但具有可行性,而且具有某些容错性质。为此,根据二元多项式齐次理想Gr?bner基算法,提出一种求解齐次关键方程的快速算法,并给出一个定理来论述算法实现序列综合的充分条件。通过实验仿真对该算法在不同的序列复杂度和误码率下的容错性能进行分析,结果表明,该算法的成功率与序列复杂度呈线性关系,在误码率为10–3的情况下,对于序列复杂度为65、序列长度为1 000的序列,成功率可达86.6%以上。     

一类积分不等式的机器判定

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.     

高振荡非齐次动力系统的有效数值算法

为实现高振荡问题模型方程的有效数值求解,基于高振荡积分的渐进积分算法,针对随时间高频率振荡的非齐次线性动力系统给出有效的数值算法.基于变分常数公式将非齐次动力系统重新表示为指数形式,利用Magnus积分方法求解指数部分,利用渐进积分算法求解高振荡的积分项.数值实验表明：该算法求解精度随振荡频率的增大而提高,且简单易用,也可以容易推广到多个方程的情形.     

多元齐次多项式定号性判别方法

研究了多元齐次多项式的定号性.利用齐次多项式的特殊性以及计算机的高速运算 能力,构造了一个数值判别算法,并证明了这一算法在概率意义上的正确性.这一算法已经被 编程实现应用于三元,四元齐次多项式定号性的判别中.这一算法还可以在构造李亚普诺夫 函数时获得应用.     

一种密码函数存在性证明的新方法

密码函数在密码学中具有重要的研究价值.从组合的角度,给出了一种密码函数不存在性证明的新方法,并且得到了一些新结果,部分结果优于已有结论,这些结果可以部分证明不存在次数大于2的齐次旋转对称bent函数这一公开猜想.同时,利用多项式的最大公因子算法刻画了2次齐次旋转对称bent函数.该方法也可以用于刻画其他形式的bent函...     

隐多项式曲线的快速逐点生成算法

隐多项式曲线一直没有理想的生成算法,给出了一种针对二维n次隐多项式曲线的快速逐点生成算法,该算法思路简洁,在逐点生成过程中,只用到整数加减法,故速度快,效率高,具有广泛的应用价值。最后,运用算法给出了曲线生成实例和对算法效率的比较,比较结果表明本文提出的算法有效的提高了生成曲线的效率。     

求一类非线性偏微分方程解析解的简洁构造算法

通过引入一个变换,利用齐次平衡原理和选准一个待定函数来构造求解一类非线性偏微分方程解析解的算法.作为实例,我们将该算法应用到了mKdV方程,KdV-Burgers方程和KdV-Burgers-Kuramoto方程.借助符号计算软件Mathematica获得了这些方程的解析解.不难看出,该方法不仅简洁,而且有望进一步扩展.     

有理数域上二元多项式正定性的单点判定法

文中给出了一个用于判定有理数域上二元多项式正定性的算法,并利用Seidenberg代数曲线决定法证明了该算法的正确性.据此算法编制的Maple程序IsDefinite通过判定该多项式在平面上一个点处取值的符号就能够判定出该多项式是否正定.     

快速得到大周期多项式的方法

在密码学和编码学中,经常需要构造周期很大的多项式,然而多项式周期的计算是亚指数级别的算法,因此确定一个多项式的周期是非常复杂的事情,在实践中一般只是估计多项式的周期.利用分析根的方法,给出了一类特殊多项式因子的周期估计定理的一种新的证明方法,该方法简单直观,可以用来解决其它类似问题,最后对定理进行了推广,得出了一个一般性的结论,并根据结论给出一个得到大周期多项式的算法.     

数域筛法分解re±s型大整数时多项式的选取

数域筛法是目前最有效的大整数分解算法,多项式的选取是该算法中的一个重要环节,它关系到整个算法的运算速度和所耗时间.对数域筛法分解re±s型大整数时的多项式选取问题进行了研究,这里r、s分别为绝对值较小的整数.通过理论分析和数值计算,给出了选取多项式的一个新的原则-多项式次数在不同情况下的取值范围.     

一种基于可信平台模块的可信网络模型

针对网络中可信模型的建立问题,在现有可信计算理论、可信网络接入技术基础上,提出一种基于可信平台模块安全芯片的可信网络模型。该模型从终端建立可信链并将其传递到网络中,给出模型的架构及信息流分析,对信任度的度量进行形式化计算。性能分析结果显示,该网络模型具有较强的健壮性和较高的可信度。     

DNA计算与背包问题

该文通过对背包问题这一典型的NP完全问题的DNA计算研究,针对属于组合优化一类的ZKP问题给出了一种DNA计算方法,该算法解决了组合优化一类DNA计算的加权赋值问题,并根据DNA计算的特点给出了一般加权赋值型组合优化问题的DNA计算模式。     

时间序列流Top-K不协调子序列的发现

摘要: 针对传统算法中有关时间序列流不协调子序列计算代价比较高的问题,提出了一种快速发现Top-K不协调子序列的算法。该算法通过特殊的数据结构保留计算结果,避免了大量的重复计算,从而达到降低时间复杂度的目的;同时也通过一定的保留策略只保留有用的计算结果并及时清理无用的计算结果,从而达到降低空间复杂度的目的。实验采用随机数据和真实数据进行算法测试,其结果表明,该算法能显著降低计算量从而实现快速发现Top-K不协调子序列的目的。 关键字: 流时间序列;不协调子序列;实时     

Implementation of spectral basis functions in BEM/FEM/GSM Domain Decomposition Methods devoted to scattering and radiation applications

In this paper, we discuss several improvements of a substructuring Domain Decomposition Method (DDM) devoted to Electromagnetic computations, based on the Boundary Element Method (BEM) and the Finite Element Method (FEM). This computation procedure is applied to the analysis of antenna performance on board vehicles as well as Radar Cross Section (RCS). The benefits of the subdomain Computational Electromagnetic Method are mainly the ability to deal with collaborative studies involving several companies, and the reduction of the computation costs by one or more orders of magnitude, especially in the context of parametric studies. Furthermore, this paper proposes a Spectral Basis Function (SBF) defined on fictitious surfaces surrounding equipment, to deal with both the computation of antenna far field patterns and RCS in a multi-domain mode. By masking the complexity of the equipment (wires, thin surfaces, materials, supply network, weapons) the external domain of the vehicle can be closed so that the Combined Field Integral Equation (CFIE) can be used, which is better conditioned than the Electric Field Integral Equation (EFIE). This calculation procedure leads to a faster convergence when using iterative Multi Level Fast Multiple Algorithms (MLFMA). The accuracy and efficiency of this technique is assessed by performing the computation of the diffraction and radiation of several test-objects in a multi-domain way cross compared with reference integral equation results.     

生成矩形毛坯最优两段排样方式的确定型算法

排样价值、切割工艺和计算时间是排样问题主要考虑的3个因素.文中提出一个新的基于排样模式的确定型排样算法——同质块两段排样算法,此算法适合剪冲下料工艺,在实现工艺简化的同时提高了排样价值时间比.首先通过动态规划算法生成最优同质块,然后求解一维背包问题生成块在级中的最优排样方式和级在段中的最优排样方式,最后选择两个段生成最优的两段排样方式.通过3组经典测题对该文算法进行了测试,将算法与4种著名算法进行了比较.实验结果表明,该文算法的优化结果好于以上4种著名算法,有效地提高了板材利用率,并且计算时间合理.     

基于以太网的PLC与PC机通信

该文介绍了如何实现富士MICREX-F F70S PLC通过富士MICREX-F FFU170B以太网模块与PC机的以太网通信。FujiFFU170B以太网支持四种通信模式,本项目中使用了命令设置模式来实现PC与PLC之间的以太网通信,实现了PC机对PLC的远程控制。     

基于以太网的PLC与PC机通信

该文介绍了如何实现富士MICREX—FF70SPLC通过富士MICtLEX—FFFU170B以太网模块与PC机的以太网通信。FujiFFU170B以太网支持四种通信模式,本项目中使用了命令设置模式来实现PC与PLC之间的以太网通信。实现了PC机对PLC的远程控制。     

ND-P0lya中协变-反变问题的处理方法

协变－反变问题讨论面向对象语言中继承机制和多态计算的关系,晃当前面向对象程序设计语言中的一个重要的理论问题。反变的方法重定义不符合思维习惯,一盘采用协变精化的设计方法。但抛弃反变后的面向对象程序设计,在多态计算中会产生类型问题。针对这一问题,该文基于Ｃａｓｔａｇｎａ的重载函数模型,提出处理协变相关类型问题的类型系统和计算模型,并在ＮＤ－Ｐｏｌｙａ语言及系统中具体实现。该方法可以应用到其它协变面向对     

安全的无线传感器网络密钥预分配方案

密钥管理是无线传感器网络(WSN)安全的核心问题。基于二元对称多项式的随机密钥预分配方案为节点的通信提供了一种安全机制,但这些方案都存在“t-security”问题,很难抵制节点的捕获攻击。为了更好地解决该问题,提高网络的安全阈值及节点的抗捕获能力,采用可转化三元多项式代替二元对称多项式来建立节点间通信,并引入密钥分发节点进行分簇网络密钥分发。同时,由于对节点密钥采用单向Hash函数进行处理,提高了密钥破解难度。分析结果表明,该方案提高了网络的安全性及节点的抗毁性与可扩展性,降低了传感器普通节点的存储与计算开销。