面向形式化证明的命令生成技术

随着软件规模的不断增大,软件安全问题日益严重.作为软件系统安全检测的有效手段,形式化证明旨在利用数学方法完成对软件属性的严格验证.常用的形式化证明方法利用模式匹配来进行定理证明,但存在策略生成不完备等缺陷.本文提出一种基于注意力机制的命令预测框架,将LSTM与Coq结合,预测定理证明过程中的策略和参数.实验结果表明本文...     

免清洗钎剂的助焊能力及其限度

讨论了免清洗钎剂的特性和作用机理,应用物理化学原理对其活性的决定因素、助焊能力及其限度进行了分析.结果表明,钎剂的助焊能力主要取决于其选用的活性剂,而免清洗钎剂主要采取复配活性剂的方式提高其活性.尽管钎焊时高活性钎剂能显著提升σs-f,降低σl-f,但却无法使σs-l有效下降,这是钎剂活性难以完全发挥作用的根本原因,因此钎剂的活性是有限度的.     

基于DSP的铝合金双脉冲焊工艺过程优化

设计了基于DSP的数字化双脉冲MIG焊电源,在此基础上研究铝合金材料焊接工艺.优化了起弧方式,不仅提高了起弧成功率,且起弧点熔深效果比普通起弧好.研究了强、弱脉冲电流的匹配与焊缝成形的关系,结果表明,强、弱脉冲峰值电流相差40 A,高频频率250 Hz时焊缝成形较好.通过试验证明了在输出端采用RC滤波电路,可以滤除电压中的高频干扰,达到降低弧压的目的.研究了恒流PI控制的参数整定方法和步骤,试验结果表明,当比例系数Kp与积分时间ti的值满足5:1的关系时,焊接过程稳定,可以获得良好的焊接效果.     

自抗扰锁相跟踪系统设计与仿真

针对锁相跟踪中的抗扰问题,提出了一种新的方案,通过二阶广义积分器将参考信号分解为 ２路正交信号,在滤波的同时得到精确的相位.数字频率合成器作为信号发生器具有高稳定性和高精确性,可以通过比较参考信号和 DDS 的相位误差,引入自抗扰控制算法,适应锁相跟踪系统对算法进行改进,输出DDS 的频率控制字.最后,通过 MATLAB 仿真结果表明,该控制器具有很强的鲁棒性和高抗扰性,能够有效地抑制不确定负荷扰动的影响.     

基于区块链审计的公钥分发方案

点对点加密是一种应用于在线通信软件的加密方式,多数的点对点加密通过非对称加密实现,但公钥分发的方案需要依赖于中心化的服务器,如果中心化的服务器攻击或被攻击则可能造成中间人攻击,从而导致聊天信息被泄露的风险。为此,提出采用区块链技术进行审计的方式,构建一个去中心化的公钥分发方案。该方案所有公钥修改记录的摘要通过智能合约被保存在由CA共同维护的区块链上,使得恶意的修改记录可被追踪和验证,同时采用基于实用拜占庭容错(PBFT)改进的共识算法,达到低能耗和高效的拜占庭容错。实验结果表明,与原PBFT算法相比,该方案安全性明显提高。     

移动自组网中基于动态第三方的可信公平非抵赖协议

由于移动自组网Manet(Mobile Ad-hoc Networks)是一个无中心的网络且不存在值得信任的结点,传统的公平非抵赖协议因需要一个固定可信第三方TTP(Trusted Third Party)而不足以保证Manet的高效性和安全性.本文在可信平台模块TPM(Trusted Platform Module)的安全体系结构基础上提出了一种Manet中基于动态第三方的可信公平非抵赖协议,以取代固定TTP,提高协议效率,并运用TPM完整性度量技术和DAA(Direct Anonymous Attestation)远程认证技术,保证证据可信.最后利用Event B对该协议进行形式化建模,证明其有效性和公平性.     

一类多项式非线性系统鲁棒H∞控制

针对一类具有多项式向量场的仿射型不确定非线性系统,给出一种基于多项式平方和(sum of squares,SOS)技术的鲁棒H∞状态反馈控制器设计方法.该方法的优点在于控制器的设计避开了直接求解复杂的哈密尔顿-雅可比不等式(Hamilton Jacobi inequality,HJI)和构造Lyapunov函数带来的困难.将鲁棒稳定性分析和控制器设计问题转化为求解以Lyapunov函数为参数的矩阵不等式,该类不等式可利用SOS技术直接求解.此外,在前文基础上研究了基于SOS规划理论与S-procedure技术的局部稳定鲁棒H∞控制器设计方法.最后以非线性质量弹簧阻尼系统作为仿真算例验证该方法的有效性.     

通讯管理机与能量管理系统通信故障分析

随着社会的发展与科技的进步,通信技术得到了广泛的关注,本文主要对通讯管理机与能量管理系统通信故障问题进行研究,对几种典型的故障进行论述,并进行系统的总结,提出相应的建议来对此类故障进行有效的处理,以此来保障电网的稳定运行。     

借神笔一支 添风光无限——浅谈多媒体信息技术在幼儿园教学中的运用

本文从一次中班综合活动出发，以教学中多媒体信息技术的实际运用为例，深入思考了多媒体信息技术在幼儿园教学中的重要作用，强调信息技术与幼儿园课程的整合，并对如何在幼儿园中运用这一技术作了初步的探讨。