基于形式化方法的安全协议安全性分析

协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质,使两者在统一框架下实现可分析和验证是亟待解决的问题,形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结,并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。     

基于紫外差分算法的机动车尾气检测方法研究

应用紫外差分吸收光谱技术(DOAS)实现机动车尾气中S02和NOx的检测.对DOAS的测量原理和差分光路进行分析研究,采用多元线性回归模型和最小二乘法拟合的方法来实现DOAS技术数据处理,应用LabVIEW8.2图形化开发环境设计了机动车尾气紫外检测系统软件,实现了光谱数据的采集、显示、保存,查询等功能.通过标准气体实...     

单线阵CCD系统的表面凹坑缺陷检测方法

为解决表面凹坑缺陷与其他平面表面缺陷同时在线检测的问题,提出一种基于单线阵CCD系统进行表面凹坑缺陷检测的方法．根据光辐射照射模型和相机成像模型,建立了基于单线阵CCD的凹坑检测数学模型,由模型推导出图像像素灰度与凹坑深度的关系,利用特定光源和光照角度的关系,进行表面凹坑缺陷的检测．结果表明,由于凹坑边缘部位深度的渐变引起CCD输出电压信号的渐变,凹坑图像呈现边缘像素灰度渐变现象,且随光源光照角度的降低,凹坑图像特征更加突出．边缘灰度渐变的图像特征成为凹坑缺陷与其他平面缺陷相区别的重要特征,有利于凹坑缺陷的检测与识别．     

椭圆曲线Diffie-Hellman密钥交换协议的比特安全性研究

椭圆曲线Diffie-Hellman密钥交换协议与其他公钥密码体制相比,能够以较小的密钥尺寸来达到相同的安全强度,因此在实际应用中对带宽和存储的要求较低,从而在很多计算资源受限的环境中有更多应用价值。该文从理论和应用角度,评估该类型协议共享密钥建立过程中的部分信息泄漏对安全性的威胁至关重要。基于隐藏数问题和格分析技术,该文讨论了椭圆曲线Diffie-Hellman密钥交换协议的比特安全性,启发式地证明了椭圆曲线Diffie-Hellman共享密钥的x坐标的中间11/12 bit的计算困难性近似于恢复整个密钥。进一步地,给出了信息泄露量与泄漏位置的显式关系式。该文的研究结果放松了对泄露比特位置的限制,更加符合应用场景,显著改进了以往工作中得出的结论。     

基于Web的超大规模风电基地监测系统设计

为提升超大规模风电基地的发电品质,设计基于万维网技术的风电监测系统。根据风电监测系统的需求,建立以浏览器/服务器架构为核心的多层结构;根据数据处理的特点设计系统的数据库结构和数据服务程序结构;实现对风电基地内主要设施的监测、信息检索和统计报表等功能。该监测系统在宏观上反映了整个风电基地的出力状况,在微观上反映了风电场乃至单个风力发电机的工作状态。     

一种基于匹配字符串地址判定ARM固件装载基址的方法

固件是嵌入式系统的灵魂,当对固件进行安全检测或者深入理解固件中的运行机制时,对固件进行反汇编是一个必经的步骤.对固件反汇编时,首先要确定固件的装载基址及其运行环境的处理器类型.通常我们可以通过拆解硬件设备或者查阅产品手册获得处理器类型,但目前尚没有自动化工具可获知固件的装载基址.鉴于目前大部分嵌入式系统中的处理器为ARM类型,本文以ARM固件为研究目标,提出了一种自动化方法来判定固件的装载基址.首先通过研究固件中字符串的存储规律及其加载方式,提出了两个算法可分别求出固件中字符串偏移量和LDR指令加载的字符串地址.然后利用这些字符串信息,提出了DBMAS(Determining image Base by Matching Addresses of Strings)算法来判定固件的装载基址.实验证明本文提出的方法可以成功判定使用LDR指令加载字符串地址的固件装载基址.     

基于模糊PID的高精度温度控制系统

为满足工业生产领域对温度传感器现场标定的需求,设计了一套基于模糊PID的便携式高精度温度控制系统,使 用模糊算法对PID参数进行自动控制和整定,满足对不同温度段的控制要求,根据H桥驱动电路搭建TEC驱动模块,利用铂电阻PT1000作为温度传感器,设计并完成了一套高精度温度控制系统,实验表明,在-20 ℃ ~ 120 ℃的控温范围之间,系统控温精度优于±0.005℃ ,并可以长期稳定在设定温度,超调量小,系统体积小携带方便,可以满足复杂场合现场标定温度传感器的需求。     

多智能体系统一致性问题的控制器与拓扑协同优化设计

本文考虑多智能体系统一致性问题的控制与拓扑协同优化设计.首先在给定的二次性能指标下,对多智能体系统的分布式一致性控制协议寻优,得到依赖于网络拓扑图拉普拉斯矩阵的最优控制器.其次,为进一步最大限度地减少拓扑之间的连边,又不降低多智能体系统的收敛速度,通过权衡系统的通信能量和控制能量,寻求网络拓扑的优化设计,给出了拓扑优化算法和多智能体系统特征值的优化方法.最后,仿真研究验证了在控制器优化的基础上进一步寻求拓扑优化,可大大提升系统的一致性性能.     

基于OpenCV的室内环境下多目标跟踪

室内环境下多运动目标跟踪的核心问题是目标的快速识别和准确匹配,目标的快速识别关键在于目标对象的特征提取,寻找不变的特征值.针对以上两个问题,采用基于颜色直方图的特征提取方法并用欧氏距离匹配法实现特征值的相似度匹配.提出的区域相应和特征匹配相结合的多运动目标跟踪算法解决了因为快速运动和长时间遮挡而引起的目标跟踪丢失问题.