行波进位补码加法器的数学分析

加法器对于高性能微处理器和DSP处理器至关重要,而多数加法器是补码加法器,补码加法器的基础是行波进位加法器.目前,行波进位补码加法器的数学基础缺乏严密性与系统性.提出一种不规则补码加法器,其设计思想很简单并且完全不同于常用的补码加法器—变形补码加法器和单符号位加法器.然后对这三种补码加法器的行波进位电路进行了严密、系统、简洁的数学分析.     

基于SRAM PUF电路的AES算法设计

通过对物理不可克隆函数(Physical Unclonable Functions,PUF)电路和高级加密标准(Advanced Encryption Standard,AES)算法的研究,提出一种基于SRAM PUF电路的AES算法设计方案.方案首先验证SRAM上电初始值具有随机性分布特征,并利用跟轨迹法提取SRAM PUF电路稳定的输出位;其次利用SRAM PUF电路稳定输出值的物理不可克隆属性设计密钥扩展算法,使其具备单向性和硬件识别特性.最后设计所提算法的硬件结构并通过FPGA验证.     

焦点量算法与中心条件推导

对于一般情形, 基于后继函数法给出焦点量计算的递推公式;基于形式级数法给出焦点量计算和化简的Maple算法;给出了时间可逆条件的推导算法,给出了一类五次系统时间可逆的充要条件.     

基于一种半间歇控制的忆阻超混沌电路的同步（英文）

就一种由蔡氏超混沌电路衍生而来的电路的基本特征进行了分析;并且就一种包含两种不同类型的子控制器的具有三明治结构的半间歇控制方法进行了研究与讨论.基于线性矩阵不等式(LMIs),李雅普诺夫稳定性理论以及本文中的半间歇控制方法,在实现两个忆阻(分段线性模型的忆阻器)超混沌电路的同步过程中的参数不匹配问题得以解决,并且还给出了实现这两个忆阻超混沌电路同步的指数稳定条件.最后的仿真实验还进一步验证了该方法的高效及可行性.     

具有多干扰的非线性时变时滞关联系统的复合分层抗干扰控制

针对一类带有多干扰的非线性时变时滞关联系统,考虑了复合抗干扰控制器设计问题.复合抗干扰控制器的设计主要结合了基于干扰观测器的控制方法(Disturbance observer based control,DOBC)和H_∞控制方法.系统受到的干扰可以分为两类:第一类干扰由外部系统描述,并且与控制输入在同一通道;第二类干扰假定满足有界H_2范数.设计干扰观测器估计第一类干扰,并利用干扰估计值进行前馈补偿;利用H_∞控制方法对第二类干扰进行衰减.利用Lyapunov函数理论分析了闭环系统的稳定性,并以线性矩阵不等式的形式给出了可解的时滞依赖条件.最后,利用数值仿真验证了所提方法的有效性.     

基于扩张状态观测器的机电伺服系统饱和补偿与自适应滑模控制

针对带有未知摩擦力矩与输入饱和约束的机电伺服系统,提出了一种基于扩张状态观测器的伺服系统自适应滑模控制策略.首先,根据微分中值定理将非光滑饱和函数转化为仿射形式.其次,设计非线性扩张状态观测器并采用极点配置法确定观测器参数,用于补偿未知摩擦、饱和等非线性项以及外部干扰的影响.然后,通过结合参数自适应律和滑模理论,设计自适应滑模控制器,保证系统输出快速稳定地跟踪期望信号且改善抖振问题.仿真对比结果验证了所提方法的优越性.     

一类一次独立拉丁阵的产生方法

首先提出拉丁阵的相关性概念,然后讨论独立次数≥1的拉丁阵的产生问题,文中给出了产生这种拉丁阵的一种方法,即对独立次数≥1的可逆向量Boole函数进行位移,最后,给出了一个基于真值表的、产生全部一次独立可逆向量Boole函数的方法.     

强度调制型光纤静冰压力检测电路的设计

针对静冰压力检测的工程适用现状,设计了一种低功耗,全天侯自动检测系统.该系统基于反射式强度调制型光纤传感器,由光发射电路、光接收电路、AD转换电路、单片机电路以及数据存储电路等组成.对该光纤静冰压力的检测电路进行了实验测试,实验结果表明,检测系统电路可实现从作用于传感器压力敏感元件的微弱静冰压力变化到信号采集端的显著电压值变化及其自动检测.     

逆矩阵教学与思维能力培养

从逆矩阵的定义、行列式、初等变换、初等矩阵、线性方程组、向量组的线性相关性、特征值等角度对可逆矩阵进行刻画,借助实例介绍可逆矩阵在不同刻画形式下的求逆方法,并说明逆矩阵教学在培养学生发散思维和敛聚思维方面的作用.     

具有时滞和参数不确定性的网络系统的滑模控制

研究了一类具有时滞的不确定网络控制系统(NCS)的滑模控制.首先,用一种特殊的变换将不确定时滞系统化为非延迟不确定系统形式.然后基于Lyapunov稳定性理论及线性矩阵不等式(LMI)技术,以线性矩阵不等式的形式给出了该系统的一些新的稳定性判据.所提出的控制器能够使具有不确定性的时滞系统渐近稳定性,而且控制器结构简单,计算方便.最后通过数值模拟,验证了所设计方法的有效性.