改进的可信网络连接机制

针对传统可信网络中存在会话密钥协商过程易受中间人攻击的不足,提出改进的可信网络连接机制。该机制基于椭圆曲线Diffie-Hellman（ ECDH）算法实现会话密钥的安全协商,用户与节点使用私钥和随机数完成会话密钥的计算。分析表明改进的密钥协商协议具有抗中间人攻击、高效性等特点,会话密钥具有前向安全性及较强的新鲜性和保密性。     

无烟超薄型钢结构防火涂料的研制

介绍了无烟超薄型钢结构防火涂料的研制方法,将纳米有机-无机硅系阻燃剂应用到超薄型钢结构防火涂料中,改善了以往防火涂料单一使用APP阻燃剂而大量产生浓烟及有毒气体的缺陷。该防火涂料具有较好的耐火性能和装饰性能。     

烟气脱硫的发展、技术与产业化探讨

回顾了我国烟气脱硫的发展历程 ,总结了我国烟气脱硫产业化方面取得的成绩和存在的问题 ,介绍了国际上烟气脱硫发展的基本情况     

4-甲氧基苯乙腈的又一种合成法

以4-羟基苯乙酰胺为原料,经甲基化和脱水两步反应合成了4-甲氧基苯乙腈,总收率76.5%。     

随机环境下带有私人信息的单机能力分配策略

本文研究随机环境下考虑私人信息的单机能力分配问题.该问题中各部门的单位产品收益、需求信息及加工设备各时段的能力为私人信息,且各时段中产品的加工时间为随机变量.本文采用设备方与各部门协商的方法对问题进行求解,首先利用随机规划理论将能力分配问题清晰化,然后利用拉格朗日松弛和泰勒级数展开方法进行协商机制设计,接着给出基于偏转次梯度方法的协商参数更新法则,最后综合上述过程给出最终的问题求解算法.数值算例验证了算法的有效性并分析了关键参数对能力分配结果的影响.     

压电作动器的动态迟滞建模与H∞鲁棒控制

压电作动器具有率相关动态迟滞非线性特性,给传统建模和控制技术提出了挑战.本文针对压电作动器,提出了一种基于Bouc-Wen的Hammerstein率相关迟滞非线性模型,其中Bouc-Wen模型和线性动态模块分别用于描述系统的静态迟滞非线性特性和率相关特性.同时,构造了一个基于Bouc-Wen模型的迟滞补偿器,将迟滞补偿器与被控对象串联使系统线性化;并建立了不确定性系统模型,提出了一种H∞鲁棒跟踪控制方案,可以实现给定频率范围内单频率和复合频率参考信号的良好跟踪.实验结果表明,所建动态模型具有良好的泛化能力,跟踪控制相对误差小于8%,证明了所提出方法的有效性.     

未知动态环境下非完整移动群机器人围捕

针对未知动态障碍物环境下非完整移动群机器人围捕,提出了一种基于简化虚拟受力模型的自组织方法.首先给出了个体机器人的运动方程,然后给出了未知动态环境下目标和动态障碍物的运动模型.通过对复杂环境下围捕行为的分解,抽象出简化虚拟受力模型,基于此受力模型,设计了个体运动控制方法,接着证明了系统的稳定性并给出了参数设置范围.不同情况下的仿真结果表明,本文给出的围捕方法可以使群机器人在未知动态障碍物环境下保持较好的围捕队形,并具有良好的避障性能和灵活性.最后分析了本文与基于松散偏好规则的围捕方法相比的优势.     

二氧化钛光催化降解水溶性分散染料的研究

以太阳光，氙灯为光源，研究了二氧化钛的晶型对可溶性分散染料光催化降解及吸附性能的影响，发现无定型TiO2对分散染料有很强的吸附净化能力，锐钛型TiO2在250nm-400nm的波长范围内有明显的吸收峰，从而提高了光催化效率，TiO2对分散大红、分散棕黄，分散黑等染料的脱色率、COD去除率均在80%以上。     

基于选择性TpV正则化的DBT重建算法

针对数字乳腺断层合成摄影(digital breast tomosynthesis,DBT)为有限角度的低剂量重建问题,提出了一种基于选择性TpV(total pvariation,TpV)正则化的重建算法。采用两相式重建策略,对DBT投影数据进行联合代数重建(simultaneous algebra reconstruction technique,SART),获得满足数据一致性以及非负性约束的图像,采用选择性TpV正则项作为约束条件更新图像,抑制图像噪声,锐化图像边缘特性,两相交替进行,直到满足收敛准则。应用该算法对数字仿真乳腺体模进行重建,实验结果表明,与SART算法、SART-TpV算法相比,该算法不仅平滑了图像噪声,而且保留了图像的边缘特性,尤其实现了微小钙化的清晰显像。     

一类内部点级联的PDE-ODE系统的边界控制

本文运用backstepping方法研究了一类偏微分方程与常微分方程(PDE-ODE)级联系统的能稳性.常见的级联系统在边界点x=0处级联,而本文所讨论的级联系统在内部点x0∈(0,1)处级联,级联点的改变使得新系统的控制问题更加复杂.针对新系统,首先,我们改进了backstepping方法中的常见变换,改进后的变换与常见变换相比,增加了变换中的核函数,且得到的是带有多个相容性条件的核方程组,给求解带来了困难.文中运用了一系列的技巧解出核函数,从而得到反馈控制器;其次,运用同样的方法找到改进变换的逆变换;最后,选择合适范数,利用变换的有界性证明得到闭环系统的稳定性.