混沌系统和移位寄存器相融合的图像安全分析算法

为了提高图像的安全性,针对传统图像分析算法存在抵抗攻击能力弱、密钥空间小等缺陷,提出一种混沌系统和移位寄存器相融合的图像安全分析算法.首先对图像安全进行分析,找到单移位寄存器和混沌系统存在的局限性;然后采用移位寄存器产生的序列确定混沌系统的初始值,通过不断迭代产生新的伪随机序列,并采用伪随机序列作为密钥流对图像进行加密操作;最后通过图像加密效果进行仿真验证和安全性分析.结果表明,该算法提高了图像加密系统的工作效率,可抵抗各种攻击,获得了较理想的图像加密效果,可以保证图像在网络上的安全传输.     

空间移位反馈控制流动湍流

对由二维Navier-Stokes方程描述的流动湍流的控制进行了研究.提出用空间移位反馈控制的方法来控制湍流,数值研究结果表明:只要适当选择控制参数,该方法能将湍流控制到规则的态上,如果采用单向空间移位反馈控制,该方法能将湍流控制到层流态上;如果采用双向交替空间移位反馈控制,该方法能将湍流控制到不同大小的规则涡旋态.在特定参数下,受控的涡还能保持不运动,从空间关联角度对控制机制作了简要分析.     

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed. The validity of this method is proven theoretically. Specifically, testcases are generated according to many approaches of randomization. Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language. Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily. The comparison method is put to use in the evaluation approach of the testing validity. The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.     

Hilbert空间上混沌的加权移位算子

利用权数讨论了加权移位算子T在Hilbert空间l^2（N）上的混沌性质,并给出这些性质在空间l^2（Hn）上的推广;接着讨论了加权移位算子轨道的复杂性,指出一个线性算子的轨道可以和一个紧距离空间上的任意连续函数的轨道具有相同的复杂性．     

采用CY7C68013芯片GPIF方式设计实现的控制电路

VXI寄存器基器件是一种模块化仪器,其性能优良、易于集成在国内外得到了广泛的应用。但当在某种测控环境下,我们仅需要使用少量仪器甚至一块时,它在使用时无法脱离体积较大,造价昂贵的VXI机箱的不足就体现了出来。本设计采用Cypress公司的CY7C68013芯片GPIF接口方式实现了用USB接口控制单个VXI寄存器基模块,使单个模块的使用可以脱离造价昂贵、体积较大的VXI机箱,扩展了其应用领域。     

一类可逆线性变换的分支数分析

对F2^8×4上可逆线性变换给出了其线性分支数和差分分支数的一个判定定理,并对特殊的可逆线性变换即循环移位模2加给出了简化的判定条件。     

实义谓词“be+not”结构的句法分析

运用X-阶标理论与中心语移位理论分析实义谓词"be+not"结构,指出该结构中be移位不仅可能而且必要。一方面,谓词be屈折变化丰富;另一方面,限定实义谓词be不仅是主谓词与辅助谓词的复合体,而且缺乏do-支持。此外,结构中not并非NEGP之中心语,而是副词。这些都使移位成为可能。而移位是作为最后手段使得表达式能够通过特征核查,这使得移位成为必要。作者认为,以往对于实义谓词"be+not"结构的分析之所以遇到困难,是因为对结构中be与not/n't认识不清所致。     

农田黑土玉米生长过程模拟研究

利用DSSAT模型中的CEHES—Maize模型,对东北黑土区5种基础肥力的农田黑土,通过空间移位置于相同气候条件下的玉米生产力进行模拟研究。结果表明,DSSAT模型能够准确地模拟东北5种基础肥力的黑土农田玉米全生育期的生长过程,在不施肥和施化肥两种条件下决定系数R^2均接近1;对不同年份不同处理玉米产量模拟分析得出,在不施肥条件下均方根误差RMSE为159．03,施化肥条件下均方根误差RMSE为160．1;对不同处理最大叶面积指数模拟分析得到模拟值与实测值差异不超过4％的结论。表明该模型在进行遗传属性参数校正后能够指导实际玉米生产。图2,表3,参15。     

极大允许序列的框架结构

本文研究了极大允许序列的性质,给出了极大允许序列的框架结构。     

逆极限空间上的移位映射的(几乎)等度连续性和刚性

设X为紧致度量空间,f:X→X为连续映射,σ:(?)(X,f)→(?)(X,f)为移位映射.本文证明了:(1)如果f为拓扑传递的,那么σ为几乎等度连续的(等度连续的)当且仅当f为几乎等度连续的(等度连续的).(2)如果f为满射,那么σ为弱刚性的(一致刚性的)当且仅当f为弱刚性的(一致刚性的).