高速SHA-256算法硬件实现

SHA-256安全散列算法在数字加密、数字签名中被广泛应用．为满足应用对算法运算速度的要求,提出一种快速实现SHA-256安全散列算法的的硬件新结构．方法通过对算法进行推导,使得能在硬件上实现平衡的四级流水线设计,提高了运算速度．综合结果表明,采用中芯国际0．18μm工艺,数据吞吐量可达2．89Gb／s,优于目前发表的同类设计结果．     

线性方程组求解的一个迭代算法

给出了求解线性方程组的一个迭代算法并证明了收敛性,通过对该算法中参数的选取,导出了若干投影算法。     

关系模式关键字的一个求解算法

本文给出了关系数据库模式中求解关键字的一个算法。算法很简洁并且对于[1]定义的一大类问题,执行时间是多项式级的。     

基于模拟退火算法的曲面最短路径求解

通过对路径的节点序列内在关联性的分析,提出了适合曲面最短路径问题的邻域结构,使整段路径的优化问题能够通过局部调整得以实现．将模拟退火算法的框架引入路径寻优中,提出了解决曲面最短路径的随机搜索算法．最后给出了数值仿真实例．     

忆阻器混沌振荡器的分支分析

研究忆阻器混沌振荡器系统的动力性态,通过高维理论和符号运算分析了这类系统的分支性质,并得到在一定的条件下,系统会发生折分支和Hopf分支。通过分析发现系统存在平衡点,并将平衡点平移到原点后,并运用规范形研究分析,在一定的分支参数范围内,系统的平衡点原点附近会发生折分支和Hopf分支,再利用Lyapunov系数方法,具体讨论在一定情况下发生亚临界和超临界Hopf分支。数值模拟也验证了分析结论。 更多还原     

分支随机Q过程的惟一性

引进了分支随机Q矩阵、分支随机Q过程和随机生成母函数的概念．研究了分支随机转移矩阵与随机生成母函数的关系．本文的主要结果是：在某些合理的条件下，证明了分支随机Q矩阵的随机Q过程的惟一性．     

关于倍周期分支定理的注记

关于倍周期分支定理的注记黄永年，王德全，昔秀峰（新疆大学数学系．乌鲁本齐８３００４６）（宁波师范学院，宁波３１５２１１）关键词失稳，倍周期分支在［１］中有如下倍周期分支定理定理１设ｆλ（ｘ）对λ，ｘ有三阶连续偏导数且满足：１°ｆλ（０）＝０在λ＝λ０...     

求解基因排序问题的Arnoldi-型算法的改进

考虑利用Arnoldi型算法求解GeneRank问题。根据Arnoldi型算法的特点和基因排序问题本身具有的性质,对求解基因排序问题的Arnoldi型算法中存在的缺点进行优化,给出了一个新的算法。最后给出了数值实验,证实了新方法较原方法更有效。     

基于变长编码求解一维下料问题的演化算法

针对一维下料问题的特点,将线性规划方法与演化算法相结合,提出了一种基于变长编码求解一维下料问题的演化算法,该算法设计了一种新颖的遗传算子,实现简单,求解快速,实验表明,运用该法求解下料问题,材料利用率高,平均达到97．5％以上,具有很好的实用价值。     

基于粒子群优化求解纳什均衡的演化算法

基于粒子群优化方法从群智能的角度建立了博弈的演化模型，为求解有限n人非合作博弈的纳什均衡设计了一种粒子群优化算法．通过随机初始点的可行化以及对迭代步长的控制，保证粒子群在算法的迭代过程中始终保持在博弈的可行策略空间内，避免了在随机搜索中产生无效的粒子，因此提高了粒子群优化算法求解纳什均衡的计算性能．给出了算法的数值例子并分析了该算法的计算性能，通过粒子群算法与遗传算法的比较显示了粒子群算法求解博弈纳什均衡解的高效性．     

求结点最少的最短路的一个算法

本文在Dijkstra算法(最短路算法)的基础上,提出了求结点最少的最短路的DD算法。本算法的运行时间阶为O(n~2)。     

自动铺丝平行等距轨迹规划算法实现

针对复合材料自动铺丝技术轨迹规划问题,提出了一种新的基于测地线的平行等距轨迹规划算法.该算法首先将已知的第一条轨迹线在曲面上等弧长离散得到若干数据点,然后在数据点处曲线切矢和曲面法矢的向量积方向上利用测地线的短程性获得下一条铺放轨迹上数据点,并利用B样条曲线拟和数据点生成铺放轨迹,最后使轨迹线铺满模具表面.算法中测地线利用微分方程组数值求解得到,以曲面曲线弧长为自变量,可实现等距线求解的自适应步长调整和较高的精度.经实际算例验证,该算法简单实用,精度能够满足铺丝技术工艺要求.     

一种基于约束的指针程序路径选择方法

动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.     

基于A*算法的证书路径构造方法的研究和实现

针对当前采用的的宽度优先证书构造算法在处理复杂的CA拓扑图时非常消耗内存空间和计算时间的问题。提出了一种优化的基于A*算法的证书路径构造方案,并给出了几种A*算法中估价函数h(x)的取值方法以提高算法的处理效率。     

基于演化计算的动态最短路问题

提出了一类基于时间变权的动态最短路的问题,给出了其详细的数学描述,扩展了图论中关于最短路问题的概念,并设计了适合该问题的编码方式和杂交,变异方式,给出了基于演化计算的求解框架,其主要特点是染色体变长,且首尾基因固定,最后针对一个简单实例进行了仿真和分析,研究结果表明,该算法可以获得良好的效果。     

临界n一连通图与临界n一边连通图的特征

Lick在文献C1〕中给出了n_连通图与n-边连通图的充要条件.本文在这基础上给出了临界。一连通图和临界。一边连通图的特征.     

基于变分法的经济演化路径的最优化分析

为研究在新常态下经济的可持续发展模式, 文中引入希克斯中性技术进步生产函数以模拟最优的可持续增长路径; 并基于固定端点利用变分法研究使整个社会效用最大化的技术进步、资本、劳动的最优运动路径, 得出分别为时间的三次、二次、一次函数. 实证过程中, 利用误差修正模型拟合发现, 我国20世纪90年代后经济发展轨迹与得出的最优路径极为相似, 社会总产出与技术、资本、劳动存在协整关系, 误差修正项系数显著非零, 符号为负; 同时也表明技术进步对经济可持续增长作用显著, 鼓励和支持技术创新才是维持经济平稳快速发展的关键.     

基于免疫遗传算法的多重序列比对

提出一种基于免疫遗传算法的多重序列比对的方法，它将一种免疫算子加入到遗传算法的框架中，通过对个体接种疫苗来进一步提升个体的存活能力，实验结果表明，该方法可以加快收敛速度，并能求出比遗传算法更优的解。