时序电路设计探讨

通过一个设计实例,说明时序逻辑电路设计前的选型工作非常重要,如果选型不合适就可能得出错误结果.该实例被国内一些教材所引用,选用该例具有一定的意义.另外,还指出在状态图的化简过程中,对重复状态的认定应十分谨慎,绝不可把相似状态作为相同状态处理.     

一种新的抵抗差分错误分析的S盒实现

差分错误分析(differential fault analysis, DFA)作为一种主动性的物理攻击,对密码产品的安全性造成了一定的威胁.为了有效地抵抗DFA攻击, Aghaie等人提出了一种错误检测电路.在密码算法的硬件实现中,该检测电路要求S盒的电路满足独立性以避免错误扩散. Aghaie等人利用查表(lookup table, LUT)的方式实现了S盒电路的独立性.我们提出一种搜索已知S盒独立特性的布尔函数实现的算法,使S盒在硬件综合之前就以没有共用门电路的形式满足独立性.传统的LUT方式由综合器采用内置优化算法得到S盒的门电路实现,但对于实现复杂的S盒,这种通用性的优化算法往往效率不高.我们将搜索给定S盒的独立性实现的算法应用一些具体S盒如GIFT、Khazad、LBlock等中.实验结果显示,对于不同的S盒,实现效率均有不同程度的提升.     

一类幂函数的差分谱

为了衡量S盒(S-boxes)抵抗差分分析的能力,Nyberg于1993年提出了差分均匀度的概念.在实际应用中,常要求密码算法中所使用的S盒是低差分函数.除了在密码学中有着重要的应用,低差分函数在序列设计、编码理论以及组合设计等领域也有着广泛应用.此外,差分谱是衡量密码函数抵抗差分分析变体的重要指标,并且也可用于设计理论、编码理论等领域,因此吸引了大量的关注.但目前已确定差分谱的幂函数并不多.本文的主要工作是确定了一类幂函数的差分谱.1997年,Helleseth和Sandberg证明了幂函数■在■上的差分均匀度不超过4,其中p为奇素数.特别地,当■且pⁿ≡1(mod 4)时,幂函数■的差分均匀度不超过3.本文利用有限域上指数和及椭圆曲线相关知识,完全确定了当■且pⁿ≡1 (mod 4)时,幂函数■在■上的差分谱,丰富了已有结果.     

Jacobi四次曲线的快速差分加法公式

椭圆曲线的点乘运算是各类椭圆曲线密码体系中的关键运算, Montgomery算法是计算椭圆曲线点乘的有效算法之一,它能够有效地抵抗简单能量分析. Jacobi四次曲线具有良好的密码学属性,和其它椭圆曲线模型相比, Jacobi四次曲线上的点乘运算具有很好的效率优势.定义在有限域上的每个偶数阶椭圆曲线都双有理等价于一个Jacobi四次曲线.本文提出了Jacobi四次曲线上的快速差分加法公式.在射影坐标系统下,本文提出的混合加法和倍乘运算的总花费仅需要5M+4S+1D或者3M+6S+3D,其中M、S和D分别表示有限域上的乘法运算,平方运算和常数乘法运算.相较于Jacobi四次曲线上的已有结果,本文提出的公式是目前最有效的.本文的结果进一步提升了Jacobi四次曲线模型的竞争力.     

冷中子差分成像模拟研究

冷中子照相利用穿透样品的中子和荧光屏~6Li反应产生的α带电粒子与荧光材料发光,从而在探测器上记录光强度的分布.本文简单介绍了冷中子照相的特点,给出了铍与钛金属宏观总截面随能量的变化,设计特定的样品采用MCNP模拟不同能量下的中子图像,中子图像显现Bragg吸收限上下两幅图像的对比度差异,采用差分成像对两幅中子图像进行处理,凸现了冷中子照相的优点.     

基于虚拟仪器的差分功耗分析攻击平台

差分功耗分析攻击利用嵌入式加密系统功耗泄漏信号来获取加密系统密钥,将穷举问题转化为数据采集、处理问题.在对DES加密嵌入式系统攻击实验中,基于虚拟仪器的差分功耗分析平台令差分功耗分析攻击的数据采集过程由虚拟仪器应用程序控制进行,而后再对采集的功耗进行分析,能够快速、准确地找到加密系统密钥.较传统的穷举攻击而言,减少了消耗的时间和成本.     

基于GPCA的中部省际农村居民生活水平动态分析

文章首先构建评价农村居民生活水平的指标体系,之后运用全局主成分分析法（GPCA）,实证研究了我国中部各省农村居民从2001年－2006年生活水平的时间演变,并对结果进行了比较分析。     

多目标差分演化算法研究综述

多目标差分演化算法是一种简单有效的演化算法,已引起学术界的广泛关注,并在许多领域得到应用。首先描述了差分演化算法的基本思想;接着分析了有代表性的多目标差分演化算法,并给出了改进多目标差分演化算法的一些措施;然后讨论了多目标差分演化算法的性能度量指标,并介绍了多目标差分演化算法的一些应用领域;最后,指出了多目标差分演化算法今后的研究方向。     

基于双重差分模型的碳排放交易减排效应研究

2013年,我国启动了北京、上海、湖北等7个碳排放权交易市场,碳排放交易旨在通过市场机制来控制二氧化碳的排放量,采用双重差分模型对我国的碳排放交易进行了实证分析,发现各试点城市的二氧化碳排放水平明显下降,因此应当肯定碳排放交易制度的有效性。     

钢铁企业煤气消耗设备时序优化研究

钢铁企业煤气消耗设备利用生产设备的运行状态及时长可调整的特点,对其启停顺序进行优化.文中在分析钢铁企业中煤气消耗设备的基础上,建立了钢铁企业中部分设备的生产模型,并以企业园区电厂输入燃料量的能量变化最小和设备启停次数最小为目标,借助遗传算法对案例进行分析.研究结果验证了文中提出的方法不仅能够有效的降低模型的求解难度,同...