针对Trivium型密码算法的代数攻击

为了更好地研究Trivium算法的设计思想,选取了2个比较典型的修改Trivium算法,连同Trivium算法一起作为研究对象,把恢复算法的内部状态问题转化为可满足性问题,分析修改Trivium算法抵抗代数攻击的能力.比较了6种猜测策略,并且使用MiniSat2.0求解器求解.根据分析结果给出了Trivium型密码算法抵抗代数攻击的安全设计建议.     

基于汉明重的MIBS密码代数旁路攻击

对MIBS密码代数旁路攻击能力进行了评估:首先给出代数旁路攻击模型,构建MIBS密码等价代数方程组;采集微控制器上MIBS密码实现加密过程中功耗泄露,并选取功耗特征明显的部分泄漏点,基于模板分析进行加密中间状态汉明重推断;利用SAT(可满足性)、PBOPT(伪布尔随机优化)及LP(线性编程)分别对MIBS代数方程组和汉明重泄露进行表示;最后采用SAT问题解析器CryptoMinisat和混合整数编程问题(SCIP)解析器进行密钥恢复,并在不同场景下进行大量攻击实验.结果表明:MIBS密码易遭代数旁路攻击;汉明重推断正确条件下,利用1条功耗轨迹中4轮汉明重信息泄露可成功恢复完整密钥;汉明重推断部分正确条件下,基于SAT,PBOPT和LP这3种代数方程组求解方法,可分别在汉明重推断错误率不超50％,65％和60％的情况下成功恢复MIBS完整密钥.     

感应电机自适应无源性控制方法及 dSPACE 实时仿真研究

利用本质上是非线性反馈控制的无源性控制 (PBC)方法与自适应控制相结合 ,实现负载转矩时变未知情形下磁链、转速的渐近跟踪 ,并可有效抑制由定、转子电阻变化引起的跟踪误差 .该方法从能量角度分析电机控制系统 ,确定不必抵消的“无功力” ,设计全局定义的控制律 ,具有形式简单、无奇异点、鲁棒性好等的特点 .基于dSPACE的在线仿真结果表明 :系统运行平稳 ,负载转矩时变未知时 ,仍可有效渐近跟踪期望的转子磁链和参考转速 ,具有较优的动静态响应特性     

计算机控制系统中硬件抗干扰技术的研究

文章讨论了计算机控制系统中硬件抗干扰方面的相关问题,尤其是干扰源的确定和分析以及设计时要考虑的主要问题和常见的解决方案,以便使系统具有较好的稳定性;讨论了异常情况的处理以及如何在恶劣环境下保证系统正常工作的方法。这些措施均在不同的实际工程项目中加以应用,且效果显著。     

仿真技术在高职高专院校数控实训中的应用

数控实训在数控技术课程教学中起着至关重要的作用，直接影响到高职高专院校培养数控技术人材的质量。传统数控实训教学存在一些弊端，实训效果不够理想，而仿真数控实训具有诸多优势，若能将两者有机结合，以传统数控实训教学为主，仿真数控实训为辅，取之所长，避之所短，就能培养出深受企业欢迎的实用数控技术人材。     

基于扩张状态观测器的磁悬浮球的反步控制

针对单自由度磁悬浮系统的非线性、不确定性和易受扰动等特点,提出一种基于扩张状态观测器的反步控制方法以提高系统的控制性能.在系统受到不确定性扰动的情况下,运用扩张状态观测器实时估计悬浮球的位置、速度和扰动信息,并将这种估计值与控制器设计相结合,然后采用反步法设计磁悬浮球的悬浮位置跟踪控制律,以Lyapunov方法证明系统...     

一类多变量传感器故障容错PID控制器的设计与应用

针对一类多变量非线性系统的传感器故障,提出了一种新型的基于神经网络模型的故障容错PID控制方法.该方法应用加权移动平均残差技术对传感器故障进行检测,并利用神经网络建模技术在线重构故障传感器信号,重组PID控制器反馈回路,实现容错PID控制.通过在三水箱过程设立多种不同类型的传感器故障,进行仿真研究.仿真研究结果表明,所提出的故障检测与容错控制策略具有很强的鲁棒性和容错能力.     

基于SysML的三余度飞控计算机系统建模方法研究

提出了一种基于Sys ML的三余度飞控计算机设计方法.在设计过程中,利用Sys ML静态图构建三余度飞控计算机系统结构模型;利用Sys ML的动态行为图构建余度管理算法模型,实现了三余度飞控计算机系统模型.以某三余度飞控计算机系统为例,构建三余度飞控计算机系统结构模型;设计计算机同步算法、监控表决算法并对算法进行建模.最后,通过所构建的仿真环境进行验证,结果表明所提出方法可行有效.     

车用汽油发动机稳态控制参数的优化研究

通过试验数据建立了描述发动机稳态控制参数与性能关系的数学模型,并利用目标规划方法协调各种性能指标对控制参数要求上的矛盾,最终得出了使发动机稳态性能指标综合最优的控制参数。     

线性二次型最优控制状态向量的精细积分法

０引言精细积分法提出时只用于初值问题的积分,但很快就发展到二点边值问题及黎卡提矩阵微分方程的求解,这对于控制问题很有用．但ＬＱ控制的增益阵是时间的函数,因此状态向量的积分要面临时变矩阵常微分方程组的求解．对于这种特定的情况,如何利用该方程的生成特点,...     

大时延网络化控制系统状态观测器的设计

在对带有大时延的网络化控制系统进行了必要的假设后,建立了其增广状态空间模型,并在传统状态观测器的基础上,设计了一种具有延时补偿的状态观测器,从而使系统的性能得到改善.还给出系统渐近稳定的充分必要条件.与传统的状态观测器设计方法进行了仿真和比较,结果证明了该方法的有效性和正确性.     

分数阶MIMO控制系统状态空间建模分析

文章对分数阶连续与离散控制系统进行分析和数学描述,用2种方法在状态空间得出其数学模型,以带有分数阶连续与离散控制器的分数阶控制系统状态空间建模为例,对2种模型进行比较,并讨论了分数阶系统稳定分析的可行性。     

一类非线性不确定时滞系统的鲁棒容错控制

基于Lyapunov稳定性理论,针对一类具有非线性不确定的时滞系统,提出了鲁棒容错控制器的设计方法.就传感器失效故障和执行器失效故障2种情况,在非线性不确定性满足增益有界条件下,通过求解线性矩阵不等式(LMI)分别给出了在正常情况下和有失效故障情况下闭环系统都能渐近稳定的充分条件和控制器设计方法.该方法利用LMI可方便地得到容错控制器设计结果.设计实例和仿真结果验证了该方法的有效性.