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

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

一种基于不放回抽样的图像混沌加密算法

针对现有基于混沌序列的图像加密算法的缺陷,提出一种基于不放回抽样的图像混沌加密算法。该算法采用可变模运算和间接地址映射技术,将混沌序列一对一、高度随机地转换为图像像素地址,实现图像的位置置乱和灰度扰乱加密。对混沌序列的分布无严格要求,使混沌序列的参数和初值可以作为密钥被使用。实验结果表明,与现有同类算法相比,该算法性能优越、运算速度快且易于实现。     

基于GML的市政道路管理模型

区别于传统的道路数据模型,基于地理标记语言（GML）的市政道路模型面向市政道路组成元素管理。分析市政道路组成元素的特点以及管理部门对市政道路管理的需求,依据GML的核心模式,建立面向管理领域的市政道路设施的空间属性一体化模型,并对该道路模型的应用前景进行分析。     

负关联规则增量更新算法

讨论负关联规则的更新问题。与正关联规则增量更新不同,负关联规则不仅存在于频繁项集中,更多存在于非频繁项集中。针对该问题提出一种负关联规则增量更新算法NIUA,利用改进的Apriori算法以及集合的性质挖掘出频繁、非频繁项集和负关联规则。实验结果表明,该算法是可取的。     

基于P2P的语义Web服务发现机制

分析集中式语义Web服务发现机制存在的问题,利用P2P和本体技术,提出一种基于P2P的语义Web服务发现机制。将服务的部署与发布无缝地绑定在一起,按应用领域和服务目标将整个P2P网络组织成3层结构,基于该结构建立3阶段服务发现算法,达到优化网络结构、提高服务发现效率的目的。     

基于动态Light Map的增强现实光照算法

为实现增强现实系统中光照的实时准确性,提出一种基于动态Light Map的快速光照算法。该方法通过采集视频图像中校准物体的像素亮度,计算出摄像机的信号放大量和信号偏置,并利用动态更新的Light Map所记录的环境光照信息实现虚、实场景之间的一致光照,且能够适应光照变化的场景。实验结果表明该算法的显示速度能够达到实时交互的帧率。     

低成本单伺服注塑机械手控制系统设计

在注塑行业,注塑机械手已经逐渐替代人工操作并发挥着重要作用,而注塑机械手的精度又直接影响到注塑机的工艺和注塑件的质量.针对目前注塑机械手存在部分问题的现状,设计了一种基于STM32单片机的高精度低成本的注塑机械手控制系统,并对其硬件系统和软件系统做了详细的介绍.经过实验测试,注塑机械手达到了预期的功能和控制精度,但是其价格相比工业上的注塑机机械手降低了30％.     

基于改进局部方向模式的人脸识别

在利用传统局部方向模式（ LDP）及其改进方法进行人脸识别时,存在两个主要问题,一是局限于3×3邻域来提取特征,二是在人脸识别时将图像不同分块同等对待。针对上述问题,提出了改进的LDP。一方面提出了多分辨率分析方法,将LDP由3×3窗口模式扩展至多分辨率窗口模式;另一方面,通过采用分块加权法来增强不同分块对人脸识别的不同贡献程度。采用Yale和Orl人脸图像库进行实验,结果表明：基于改进的方法明显提高了人脸识别的效果。     

某型飞机振动传感器试验器的研制

为测试某型飞机振动传感器性能,采用背靠背比较法振动测试方法,基于苏试振动台(VT-500)、功率放大器(LA-800)、单轴向电荷输出型加速度标准传感器(Ymc222A25)、电荷放大器(Ymc8102T)、普源信号发生器(DG1032Z)以及研华PCI工控机与A/D板卡(PCI-1716L),搭建振动传感器试验器振动测试平台,以DG1032Z输出作为振动激励信号源,基于VC ++6.0开发出信号发生器远程控制与板卡信号采集软件,对试验器的功能进行试验验证,结果表明其有效性.所研制的试验器可实现振动信号源的产生与标准/被测信号的校准,从而为某型飞机振动传感器的测试与修理提供技术支撑.