CRAFT算法基于比特可分性的积分区分器搜索

CRAFT算法是一种新型SPN结构的类AES型轻量级可调分组密码算法,可以有效地抵抗差分故障攻击.为了对CRAFT算法抵抗积分攻击的能力进行评估,采用基于混合整数线性规划(MILP)的方法自动化搜索比特可分性的工具,对CRAFT算法的积分区分器进行搜索,搜索到了最长为12轮的积分区分器,同时得到一条平衡比特数最多的9轮积分区分器.这是目前为止对该算法获得的最长区分器,同时利用这些积分区分器可以对算法进行更多轮的密钥恢复攻击.     

基于模糊PID的球平衡机器人控制器设计与仿真

为了提高单球机器人的姿态控制和运动控制的能力,本文在构建单球机器人机械结构的基础上,设计了一种基于模糊比例—积分—微分(PID)控制算法的线性二次型最优控制方法的控制器,应用于机器人自平衡姿态解算和运动轨迹跟踪控制。为了提高单球机器人姿态控制的实时性、准确性和可靠性,将复杂的运动学模型简化成二维倒立摆运动学模型,并利用正运动学和逆运动学建立机器人全向轮与球移动函数,确立拉格朗日动力学模型。最后对机器人的姿态平衡和运动轨迹跟踪进行仿真。仿真结果表明:具有优化控制器的球平衡机器人在姿态控制和运动控制中,具有响应速度快、抗干扰能力强等优点。     

基于GPI观测器的Buck型变换器趋近律控制

针对Buck型变换器中存在的匹配和非匹配扰动,提出一种基于广义比例积分观测器(GPIO)和增强型变速趋近律的控制方法;首先,设计广义比例积分观测器来估计匹配和非匹配扰动,并将估计值引入控制器中进行前馈补偿;同时,构造了基于双曲正切型函数的变速趋近律,可以缩短系统状态的到达时间,并减小在滑动阶段的抖振现象,并与广义比例积分观测器结合,使系统具有良好的抗干扰性能和跟踪性能;最后,证明了观测器的收敛性和闭环控制系统的稳定性,并通过仿真验证该方法可以有效地抑制扰动带来的影响,提高整个系统的抗干扰性能。     

某水电站闸门振动响应检测及评价

利用标准振源对振动加速度信号在频域进行滤波并积分后求得振动位移的方法进行验证,确认了方法的可行性与可靠性。对某闸门进行了振动加速度、位移和动应力等振动响应测试,测试部位振动加速度均小于3 m/s 2,振动位移小于0.25 mm,动态应力小于153.2 MPa,闸门起升初始阶段振动位移最大值超过相关要求。结合加速度、位移和动应力给出闸门的振动评价。     

水平荷载作用下单桩的虚拟桩解法及参数

根据Muki&Sternberg的虚拟桩方法,将水平荷载作用下单桩的问题分解为弹性半空间扩展土和一根虚拟桩的叠加,其中虚拟桩的弹性模量等于桩的弹性模量与土的弹性模量之差。基于水平位移协调条件推导出求解桩土间相互作用所需要的第二类Fredholm积分方程,通过广义胡可定律推导出该积分方程间断点的显式解,从而提高了Fredholm积分方程的数值计算精度并简化了计算程序的编写,根据Mindlin解推导出位移影响函数,简化了位移函数的推导过程。参数分析表明,桩土弹性模量比对单位水平力作用下桩身最大弯矩的位置有明显的影响,随着桩刚度的增加,桩身最大弯矩的位置随之加深。     

高职数学信息化教学探索——以定积分的概念为例

定积分的概念是高职数学教学的重点之一,其理论抽象,推导过程复杂,往往使学生感到难度较大。借助信息化教学手段,如微课、游戏动画、数学软件、QQ、微信等调动学生学习主动性,激发学生学习兴趣,从而突破这一教学难点。     

工质比热匹配对有机朗肯循环不可逆损失的影响

有机朗肯循环可以将低品位热能转化为有用功。为了提高能量利用率应尽可能减小系统中的不可逆损失。蒸发器是主要的火用损部件,对其进行优化可以显著提高系统性能。为改善热源与热机系统耦合、减小蒸发器内火用损以提高热功转换效率,提出利用工质比热变化改善换热过程温度匹配的模型。固定换热器两侧流体出入口温度,定义变量k为流体在高温端与低温端比热的比值,其变化范围0.5~3.5,假设比热随温度线性变化。为分析不可逆损失与温差的关系提出"积分温差",证明了积分温差与不可逆损失之间的拟线性关系。列出可能的九种温度匹配情况,得到理论上最大和最小的不可逆损失。通过计算废热气体驱动有机朗肯循环的算例,证明了利用比热变化改善换热匹配的有效性。     

大场景 SAR图像舰船目标快速检测

基于SAR图像的舰船目标检测是海洋监视应用的重要方面,随着SAR图像资源的不断丰富,计算速度成为衡量舰船目标检测算法的重要指标。针对大场景SAR图像,提出一种基于分块CFAR的舰船目标快速检测算法。首先通过图像增强提高舰船目标与海洋杂波之间的对比度,然后利用差异性参数进行分块筛选,剔除不包含目标的区域,最后对待检测区域实现基于积分图的快速CFAR检测。TerraSAR_X实测数据的实验结果验证了该方法的有效性。     

轮换对称性在积分中的应用

证明了轮换对称性的有关结论,并阐述了其在积分中的一些应用。     

基于积分形式的矩形巷道粗糙度损耗公式的优化

在矩形巷道多波模损耗模型的基础上,为了简化修正传播损耗的有关公式,用累加和化积分的方法将各模式累加的离散形式转换为掠射角积分的连续形式,从而推导出粗糙度损耗积分公式和反射损耗积分公式,并将两种形式的公式进行详细的比较分析。得出结论:两种形式的损耗公式随各相关因素的变化趋势相同,但积分公式结构简单,易于估计、计算和仿真分析。以此为基础,进一步运用仿真分析巷道截面面积、粗糙度及频率对反射损耗、粗糙度损耗和传播损耗的影响,得出相关有用结论。