布尔函数零化子的构造及其在流密码中的应用

代数攻击的基本思想是建立密钥比特和输出比特之间的方程,然后通过解超定的低次方程组来恢复密钥。在代数攻击中,可以通过布尔函数的零化子建立低次方程,从而使算法的复杂度降低。文章首先给出了两种布尔函数零化子的构造方法,然后将构造2分别应用于LILI-128和Toyocrypt中,得到低次零化子,通过此低次零化子建立低次方程进行攻击。与已知的攻击方法相比较,攻击的复杂度大大降低。     

多值相关免疫函数的Chrestenson线性谱特征

本文给出了ｍ－值逻辑函数（ｍ是任意正整数）的Ｃｈｒｅｓｔｅｎｓｏｎ线性谱和循环谱之间的相互表出的关系式，并利用它给出了多值相关免疫函数Ｃｈｒｅｓｔｅｎｓｏｎ线性谱特征，由此给出一类多值相关免疫函数的构造。     

多值相关免疫函数的Chrestenson线性谱特征

本文给出了ｍ－值逻辑函数（ｍ是任意正整数）的Ｃｈｒｅｓｔｅｎｓｏｎ线性谱和循环谱之间的相互表出的关系式，并利用它给出了多值相关免疫函数Ｃｈｒｅｓｔｅｎｓｏｎ线性谱特征，由此给出一类多值相关免疫函数的构造。     

预测控制算法在I/A''''s集散控制系统上的实现

分布式集散系统DCS的普及与提高为先进控制的应用提供了强有力的硬件和软件平台.但是在目前,大多数DCS用户仍沿用传统的PID控制.为了充分利用DCS系统的资源优势,介绍了在I/A Series集散控制系统上利用其接口函数开展先进控制研究的方法,通过在液位--流量控制系统中应用表明提出的控制方案是可行的,并取得了很好的控制效果.     

小动物监测的植入式低功耗无线系统研究

动物模型是药物开发、药效评价、病理研究中常用的方法。植入式无线系统是动物生理参数监测的常用工具。针对小动物监测系统关键问题,植入模块采用模拟电路实现PPM调制,且多路信号分时复用发射模块,减小了植入部分的体积和功耗。体外接收模块采用了ZN414Z无线电接收芯片和C8051F040微处理器,将接收到的信号解调、处理,并通过串口发送到PC端显示。测量得到包含一路心电和一路温度的植入模块功耗仅60μA,在两节RENATA395钮扣电池供电下连续工作时间达78 d。通过模拟心电信号和SD大鼠体外实验表明:该系统可得到稳定的心电信号。小体积使得系统在小动物监测中具有很大优势。     

NaClO_2水溶液脱硝的工艺条件及机理

在小型填料塔中考察了NaClO_2初始浓度、NO初始浓度、反应温度、初始p H值和液气比等因素对NaClO_2水溶液吸收NO_x过程的影响,分析了NaClO_2水溶液脱硝的过程特性,并解析了NaClO_2与NO_x之间的反应机理。结果表明,NaClO_2水溶液具有优良的脱硝性能,在合适的操作条件下,NO转化率可达到100%。     

基于项重写的安全电子交易形式化模型

构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通过项重写系统终止性和会聚性的性质证明该模型具有完整性和一致性等特点,在安全性分析方面验证该模型满足认证性和发送非否认性.     

精密挤出过程中的统计过程控制样本分析

对精密挤出控制系统自动测量的牵引速度数据进行了分析。根据计算反馈值的方法,给出了精密挤出反馈系统需要的反馈控制数学模型,依据采集数据的等差数列形式给出实验设定值方程,通过最小二乘拟合的方法计算出设定值与反馈值之差的方程,利用反馈控制模型对精密挤出反馈控制系统的设定值程序进行了修改,采集反馈修正后的数据,用坐标轴旋转公式使数据样本转变为适合统计过程控制图的形式,同时给出了最终数据处理所应采用的统计过程控制图,得到在精密挤出系统中应用统计过程控制图的方法。     

离心式挤出机固体输送机理实验研究

离心式挤出机是一种将离心力场应用于塑料加工行业的新型挤出机,具有显著的节能特性。主要介绍了离心式挤出机固体输送机理的理论研究、相关实验设备以及实验研究结果。实验结果表明:离心式挤出机固体输送压力的实验测量值和数值分析预测值吻合很好。这为离心式挤出机固体输送机理奠定了实验基础,同时也为离心式挤出机的优化设计提供了实验依据。