认证测试理论的扩展和应用

通过在串空间中加入新的密码原语,重新定义认证测试的前提条件、扩展认证测试理论,使其能够分析有签名运算的密码协议。通过对基于Diffie—Hellman密钥交换的安全协议进行合理的假设,使其参数项具有现时值的性质,从而可以直接使用扩展的认证测试理论进行分析。使用扩展后的认证测试分析一个包含签名和Diffie—Hellman密钥交换的密码协议,得出该协议满足认证特性。     

基于调和映射的三维医学图像增强系统

医学成像仪器产生12位的体数据,然而普通显示器只支持8位的灰度图。如果使用普通显示器来显示医学图像,显卡会自动将这些12位数据转化成8位数据,这就造成了数据动态范围被压缩。解决这一问题,在2D领域通常使用昂贵的医学专用灰阶显示器。在3D领域却限制了医生使用三维可视化软件。尝试将一些在2D图像处理中使用的图像增强技术如加权平均模板,不同程度曝光等来实现色调映射算法等应用到三维体数据的显示当中,通过种种复杂的数据变换,使得在普通显示器上显示的8位灰度图呈现出更高的动态范围,得到更为生动、更加丰富的显示效果。这种技术也可以实现任意位数的转化,使得12位显示器的显示效果也可以得到增强。     

基于LabVIEW的电磁波峰焊非接触液位测量系统

在电磁波峰焊接过程中,液位波动大小是一个非常重要的参数,如果锡液液位波动大,易造成虚焊等问题,对电磁波峰焊液位波动的实时监控显得尤为重要.通过使用液位测量模块、Arduino控制器及计算机组成的非接触液位测量系统对电磁波峰焊的锡液液位波动进行测量,结合虚拟仪器软件LabVlEW将液位波动数值和液位波动曲线可以形象地显示出来,同时对液位波动范围进行预先设置,当超出液位波动设置的最大值或者低于液位波动设置的最小值就会给出警报并及时反馈,从而提高焊接质量.通过实验测量与验证,实验测量的液位波动程度与预期值相符合,且很平稳.     

时延系统的自抗扰动态面控制

本文针对高阶时延系统同时存在系统不确定性和未知输入时延的情况,考虑控制器信号的复杂性问题,在动态面控制方法的基础上,引入自抗扰控制技术设计了自抗扰动态面控制器.利用反步法设计动态面控制信号,采用跟踪微分器对虚拟控制信号滤波,避免了由于对虚拟控制信号重复微分产生的"复杂性爆炸"问题;在控制信号的基础上叠加扰动补偿项,补偿项由扩张状态观测器实时在线估计产生,保证了控制信号的实时性,同时简化了控制器结构以便于实际应用.在闭环系统稳定性判别中运用李雅普诺夫理论做出详细分析.最后,数值仿真结果验证了所提出方法的有效性.     

考虑用户活跃度和项目流行度的基于项目最近邻的协同过滤算法

项目相关性度量是基于项目最近邻的协同过滤算法的关键。已有的项目相关性度量方法在数据集稀疏或推荐低流行度产品时会面临较大挑战,因此提出一种考虑用户活跃度和项目流行度的基于项目最近邻的协同过滤算法。该算法在度量两个项目的相关性时,若有记录只对两个项目之一有评分,则利用该记录所对应的评分用户的活跃度和被评价项目的流行度进行相关性惩罚,从而提高数据稀疏环境下低流行度产品被推荐的概率。实验表明,所提算法在保证评分预测精度的情况下提升了推荐结果的多样性和新颖性。     

三值光计算机运算器网的拓扑性质

研究了三值光计算机运算器网。除了具有其他现实复杂网络所具有的性质如"小世界效应","无标度性质"外,该网络聚类系数C=0。为了更好地描述该网络所具有的性质,提出了一个新的概念——稠密度。结果表明该网络的稠密度比其度分布能更好地服从幂律分布。对采用不同基元构成的网络的性质进行了对比,从而在一定程度上为三值光计算机基元个数的选择提供理论依据。     

动态双足机器人的控制与优化研究进展

对动态双足机器人的可控周期步态的稳定性、鲁棒性和优化控制策略的国内外研究现状与发展趋势进行了探讨.首先,介绍动态双足机器人的动力学数学模型,进一步,提出动态双足机器人运动步态和控制系统原理;其次,讨论动态双足机器人可控周期步态稳定性现有的研究方法,分析这些方法中存在的缺点与不足;再次,研究动态双足机器人的可控周期步态优化控制策略,阐明各种策略的优缺点;最后,给出动态双足机器人研究领域的难点问题和未来工作,展望动态双足机器人可控周期步态与鲁棒稳定性及其应用的研究思路.     

中医针灸领域术语自动抽取研究

针对中医针灸领域术语的构成特点,该文建立了一种基于规则的领域术语抽取算法模型,该模型首先对中医针灸领域术语种子集进行有限次的迭代,生成中医针灸领域术语构件集;然后,以术语构件集为领域词典,采用最大向前匹配算法对中文针灸医学文献中的句子进行切分,并抽取候选术语;最后,利用语言规则对候选术语进行过滤处理,筛选出中医针灸领域专业术语。分别以关键字集和中医词典为种子集进行实验,开式测试的F值分别达到76.96%和35.59%。
     

电动汽车充电设施现场电磁兼容特性及防护技术研究

随着电动汽车快速发展,电动汽车充电设施的市场规模及需求日益扩大,充电设施的安全可靠性越来越受到重视。可靠的电磁兼容性能是电动汽车充电设施现场安全可靠运行的必备条件,研究充电设施现场电磁兼容特性及防护技术,做好充电设施现场电磁兼容防护,保证充电设施的安全可靠性,对推动电动汽车发展具有重要意义。根据电动汽车充电设施现行电磁兼容标准,研究充电设施现场电磁兼容测试方法,选择典型充电站进行现场测试,分析充电设施现场电磁干扰特性,并提出电磁干扰抑制与防护措施。充电机产生的谐波干扰是现场主要的电磁兼容问题,采用集中治理与分散治理相结合的方式或者选用具备APFC功能的充电机,能有效解决现场谐波干扰问题。在充电设施开发建设过程中,充分重视充电设施的电磁干扰抑制与防护,提高充电设施电磁兼容性能,是充电设施安全运行的根本保证。     

三自由度直升机多模型LQR控制器设计

通过对三自由度直升机模型实验系统的总体分析,引入了多模型切换思想,建立了多模型LQR控制器。针对多模型LQR控制器将数学模型以高度角和俯仰角两个角度为变量建立多模型集合,运用Matlab搭建仿真对控制器进行仿真实验,并通过直升机高度角、俯仰角和旋转角的跟踪准确性、快速性以及超调量大小等控制指标,直接地度量控制器控制效果的好坏,将控制效果最优的多模型LQR控制器应用于直升机实物模型之上,运用Matlab中的实时工作空间（RTW）和Quanser公司专用控制软件Wincon实现对直升机实物的实时控制,控制效果良好。