约减轮的MIBS算法的差分分析

密码算法MIBS是Maryam Izadi等人在CANS2009上提出的一个轻量级分组算法。它适用于RFID等对计算资源有严格限制的环境。给出了4轮差分特征最大概率为2-12,并给出其r(8≤r≤12)轮的差分特征。攻击13轮的MIBS算法,成功的概率是0.99,选择262对明文对,时间复杂度为225次加密运算,建立216字节的计数器表。     

集中涌出瓦斯在通风网络中运移的三维LBM仿真

为了研究瓦斯在巷道某处集中涌出后的运移规律,提出集中涌出瓦斯在通风网络中运移的三维LBM仿真方法。应用速度、浓度双分布格子Boltzmann方法（LBM）,分别建立了瓦斯运移速度和浓度三维LBM模型。由于逆风网络复杂,力加侠运行速度,计算过程采用三维分头耦合算法。该算法将每个巷道看成一含独立的块,各巷道分别独立并行她计算,只在巷道壁面处交换数据,从而提高运算速度。模拟实例表明,用该仿真方法可得到集中涌出瓦斯在通风网络中蔓延的直观信息和速度、浓度等大量数据;可以得到每条巷道瓦斯浓度峰值个数、瓦斯浓度峰值大小、位置和到达的时间,从而提供有效避开瓦斯浓度峰值的方案。     

多步块格式求解微分-代数方程

多步块格式是一类新的一般线性方法,在求解微分-代数方程的过程中不会出现精度降低现象。研究了多步块格式的构造方法,精度条件及具有Runge-Kutta稳定性的多步块格式,多步块格式具有刚性精确的优点,且级精度与格式精度相等。构造了具有Runge-Kutta稳定性的2级和3级多步块格式,具有L-稳定性。数值算例证实多步块格式在求解微分-代数方程不会精度降低。

Abstract：

The multistep block methods are a new class of general linear methods,and the methods solve the differential-algebraic equations with no order reduction.The construction of the multistep block methods was described,and order condition and stability was studied.The multistep block methods with Runge-Kutta stability were also constructed.The multistep block methods have many nice properties,for example,stiffly accurate,and stage order is equal to order of method.At last the methods of 2-stage and 3-stage with Runge-Kutta stability were constructed,and they have the property of L-stability.The numerical example shows that the multistep block methods can solve the differential-algebraic equations without the order reduction.     

考古学信息系统设计

本文阐述了考古学信息系统的模块化结构设计方法及其在计算机上的系统调试、系统扩充/改装技术。本文对其它类型的信息系统设计具有同样的参考价值。     

脉冲噪声衰落信道中正交空时分组码的误码率

从信噪比(SNR)观点对脉冲噪声环境下衰落信道中正交空时分组码(OSTBC)的理论误符号率(SER)进行了分析。基于STBC引入的标量等效矩阵,给出了STBC解码后每符号瞬时SNR的概率密度函数。假设信道为准静态平坦衰落,并将信道干扰噪声建模为ε-高斯混合分布。推导了Rayleigh、Rician及Nakagami-m三种衰落信道下采用MPSK和MQAM调制方式的OSTBCSER闭式表达式。该闭式解可以用于评估脉冲噪声环境中OSTBC的性能。此外,进行了蒙特卡洛仿真验证了分析的正确性。     

具有阻塞影响的柔性制造系统排队网络模型

用有限容量局部库区的开排队网络模拟柔性制造系统,模型中,机床加工工件的时间服从指数分布,运送台车按照静态Ｍａｒｋｏｖ方式运送工件且运送时间服从指数分布,被阻塞的工件按照ＢＡＲ机理被处理,静态Ｍａｒｋｏｖ工件运送方式中的概率值受工件被阻塞的影响。     

基于Feistel结构的分组密码算法Eslice

一族安全性较高的分组密码算法Eslice,包含3个版本:Eslice-64-64,分组长度和密钥长度均为64比特;Eslice-64-128,分组长度为64比特,密钥长度为128比特;Eslice-128-128,分组长度和密钥长度均为128比特。Eslice的设计灵感源于LBlock。整体采用Feistel结构,轮函数采用SP结构,所选取的S盒其各项密码性质均达到最优。线性变换仅有循环移位和异或两种操作,且密钥生成算法与加密算法使用相同的S盒。进一步,分析Eslice针对差分、线性、积分等密码分析方法的安全性,利用基于混合整数线性规划(MILP)的搜索模型,得到20轮的最小活跃S盒的个数为41个,比LBlock 20轮的最小活跃S盒的个数少3个,通过活跃S盒的个数估算差分概率和线性偏差,对算法进行安全性评估。结果表明,Eslice算法可以有效的抵抗差分攻击和线性攻击。     

“模拟街区”模式运用于大学校园规划设计探讨

介绍了传统大学校园规划的发展,探讨分析了模拟街区模式,提出了将模拟街区运用于大学校园规划设计的主要原则。     

复杂断块油藏高含水期剩余油定量研究

为对我国老油田后期挖潜、尤其是特高含水低效开发油藏的战略调整等提供新的思路,拓展老油田挖潜的领域与方向,以胜利某油田A断块高渗透大厚层高含水油藏为例,对其开发效果、水淹特征与剩余油分布规律进行了综合研究。结果表明,该断块采收率仅11.9%,而预测采收率在23%以上,一半以上的可采储量没有采出;剩余油在平面上分布于区块的绝大部分区域,纵向上主要集中于7个主力小层,尤其是ES1-32 、ES2-13、ES2-22、ES2-23小层,剩余可采储量在3?04ｔ以上,是将来挖潜的主要对象。此外,在系统研究与总结基础上,提出了A断块两种主要剩余油分布模式。     

一种求解高阻尼PageRank问题的加权块Arnoldi算法

提出了一种加权块Arnoldi方法求解PageRank问题．为了加快算法的收敛速度,采用子空间迭代法作为加速策略．数值实验结果表明,当阻尼因子。靠近1时,提出的加速加权块Arnoldi算法比现有的一些Krylov子空间方法优越．