“一轨双车”在巷道堆垛自动化立体车库中的应用研究

巷道堆垛式立体车库受限于堆垛机数量及轨道的长度,存取车时间较长,致使社会总等候时间较长。以"U型"巷道堆垛式自动化立体车库为研究对象,设计"一轨双车"轨道模型,分析该模型下的调度过程。     

谐波电压下的并网逆变器电流与功率协调控制

通过对电网电压中的高次谐波进行分析,其对并网逆变器功率波动与电流谐波影响较大.首先分析高次谐波电压对电流和功率产生的影响,进而提出一种电流与功率协同控制策略,设计级联低通滤波器滤除指令电流中的高次谐波分量,采用加权思想实现电流/功率协同控制,根据系统控制频率设计准比例谐振(QPR)控制器实现并网电流无谐波.避免了锁相环对系统的干扰,不必提取正负序变量,简化了控制结构.最后实验验证了所提控制策略的有效性.     

基于CAM的STM和AFM的一种新型偏心升降装置研究

根据STM和AFM的扫描原理，通过CAM设计了一种新型偏心升降装置，使STM和AFM测试样品的高度大为增加，形成柔性测试系统。根据对实际工况的仿真研究，对装置进行了修改。     

弧焊电源在磁粉探伤中的应用

磁粉探伤有检测铁磁性材料表面及近表面缺陷灵敏度高、速度快、成本低等优点，是无损检测专业单位使用的常规检测手段之一，但多数检验单位，特别是锅炉压力容器检验单位以检验焊缝为主，配备的磁粉探伤设备是以单磁轭和交叉磁轭为主，很少有触头式磁粉探伤机。随着其它行业对设备的安全性、可靠性、减少大修保养次数等要求的提高，无损检测越来越受到重视，检测部位不再只是焊接接头，因此要求检测人员掌握探伤原理，利用可用资源拓展检测范围。如将弧焊电源作为磁粉探伤电源就是一个尝试，下面作一介绍。     

氧化锌避雷器在配电系统运行中的测试及应用

介绍了氧化锌避雷器在输配电线路上的应用发展和氧化锌避雷器的预防性试验和在线检测;这对避雷器正常工作和线路设备的安全运行,均有现实意义.     

纳米粒子对钢/钢摩擦副摩擦学性能影响的试验研究

选用合成极压蜗杆油、未加油性剂和极压剂的半成品蜗杆油作为基础试验油 ,将超微金刚石粉、纳米铁粒子和纳米铜粒子分别以两种不同质量比分散到半成品蜗杆油中。在 MM-2 0 0型磨损实验机上 ,考察纳米粒子的抗磨减摩性 ,并与传统的油性剂、极压剂进行比较。同时探索应用于钢 /钢副硬齿面的新型抗磨减摩添加剂。试验结果发现 :平均粒径尺寸为 5 nm的超微金刚石粉具有优于传统油性剂、极压剂的抗磨减摩性能 ,可以大大降低钢 /钢副的摩擦 ,减小磨损。但钢 /钢副中不宜使用含有纳米铁粒子的润滑油。     

特征学习的单幅图像去雾算法

目的 雾霾天气使图像降质,严重影响军事、交通和安全监控等领域信息系统的正常运作,因此图像去雾具有重要研究意义。目前主流的单幅图像去雾算法主要利用各种与雾相关的颜色特征实现,但不同的颜色先验知识往往存在各自的场景局限性。为提高图像去雾的普适性,提出一种特征学习的单幅图像去雾方法。方法 首先通过稀疏自动编码机对有雾图像进行多尺度的纹理结构特征提取,同时抽取各种与雾相关的颜色特征。然后采用多层神经网络进行样本训练,得到雾天条件下纹理结构特征及颜色特征与场景深度间的映射关系,并估算出有雾图像的场景深度图。最后结合大气散射模型,根据场景深度图复原无雾图像。结果 与主流去雾算法的结果定性对比,复原后的图像细节更清晰,颜色更自然。采用均方误差和结构相似度定量评价各算法去雾结果与真实无雾图像的相似度,本文算法结果与真实无雾场景间的相似度最高,达到99.9%。结论 对实验结果的定性及定量分析表明,本文算法能有效获取有雾图像的场景深度,复原出视觉效果理想的无雾图像,且具有很好的场景普适性。     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

分组竞赛式教学法在高职计算机网络类课程中的应用

近几年,随着云计算的兴起,大数据时代的到来,计算机网络类的课程越来越受到重视.高职教育的目标就是培养技术型和应用型的人才.但针对高职生有学习热情,但学习主动弱的现实学情,如何提高教学质量,增强学生的学习主动性,让学生融入技能学习中来,是摆在我们高职计算机网络类课程老师的重要课题.