基于身份的跨信任域签密方案

实际网络环境尤其是未来异构网络融合环境中,各个信任域大多都是独立的自治域,使用不同的系统参数.为此提出了一种新的基于身份的跨信任域签密方案,该方案对PKG系统参数不作限制,各PKG可以使用完全不同的系统公开参数、不同的主密钥和公钥.并且在该签密协议的基础上给出了会话密钥的生成方法.在随机预言模型中给出了安全性证明,在BDH问题是困难的的假设下该协议是安全的,其满足机密性、不可伪造性、不可否认性和公开验证性.在与其他跨信任域签密方案计算开销相当的情况下,该方案不仅实现了跨信任域签密,而且对各PKG参数不作限制.     

基于视觉运动特性的视频时空显著性区域提取方法

为了更准确有效地提取人眼观察视频的显著性区域,提出一种基于视觉运动特性的视频时空显著性区域提取方法。该方法首先通过分析视频每帧的频域对数谱得到空域显著图,利用全局运动估计和块匹配得到时域显著图,再结合人眼观察视频时的视觉特性,根据对不同运动特性视频的主观感知,动态融合时空显著图。实验分析从主客观两个方面衡量。视觉观测和量化指标均表明, 与其他经典方法相比,所提方法提取的显著性区域能够更准确地反映人眼的视觉注视区域。     

“X什么”类否定义构式探析

该文区分了“言语行为否定”和“命题真值否定”两类否定义: 前者表达对某种行为状态的否定态度(谴责、拒绝、禁止等);后者否定某个命题: 或者否定命题的“真值条件”、或者否定命题的“适宜条件”、或者否定命题主目的“典型条件”,表达“X未达某标准”。此外,进一步对两类否定义的基本要素及要素间的关系进行分析,讨论了表达每一类语义的“X什么”类构式的变项选择限制与实际使用情况,并总结了“X什么”类构式间的异同。     

基于切换模型的无人直升机偏航通道系统辨识方法?

针对直升机偏航通道中舵机控制量的饱和非线性问题,提出基于切换模型的无人直升机偏航通道系统辨识方法。首先分析无人机偏航通道的特征,建立包含饱和单元的切换模型。其次通过扫频实验采集辨识所需的数据,并在频域下采用遗传算法辨识得到切换模型的所有参数。再根据实验数据分析辨识模型的残差序列,得到系统的残差模型,并利用该残差模型修正辨识得到的无人机偏航通道模型,进一步提高模型的准确度。最后通过实验数据分析文中模型的准确性,并利用该模型设计无人机飞行控制器。实验结果也证明模型的有效性。     

基于迭代式动态规划的影像密集匹配

针对动态规划影像密集匹配中因匹配的整体相关性导致的误匹配点连带扩散效应问题,提出了一种基于迭代式动态规划的影像密集匹配算法。该算法在影像密集匹配过程中引入了视差方向一致性、视差突变性作为迭代判定准则,通过对动态规划匹配结果中不满足迭代条件的候选匹配点子集进行分析,在候选匹配点子集中识别出误匹配点并去除之,反复迭代直至满足迭代准则,从而解决了误匹配点的连带扩散效应问题。该算法已成功应用于嫦娥三号遥操作项目,经在轨应用的检验表明,提出的基于迭代式动态规划的影像密集匹配算法能够极大地降低立体影像匹配中密集同名点的误匹配率。     

基于WebGIS的渤海渔业服务系统设计与开发

面对日益恶化的海洋环境和不断减少的海洋资源,科学、规范地管理各种海洋资源对于渔业资源的可持续发展十分重要。结合地理信息系统利用渔业空间数据建立渔业分析模型,可为合理开发海洋渔业资源提供基本依据。介绍了在ArcGIS Server平台发布渔业空间数据和渔业分析模型服务,实现渤海渔业管理系统设计和开发的方法与过程,系统采用B/S架构基于Flex环境开发。通过要素服务和地理处理服务在客户端实现渔业数据的在线编辑及调用渔业分析模型,同时采用BlazeDS开源库和JavaScript语言,在Tomcat服务器的支持下实现服务器与客户端的数据通信,最终实现高效的渔业数据查询、可视化以及鱼群分布的分析和模拟。     

遥感网格的数据压缩与任务分配方法研究

网格计算作为分布式计算在科学计算领域的发展方向,可以为对地观测数据的处理提供强大的计算力。在分析遥感信息服务网格节点(Remote Sensing Information Service Grid Nodes,RSSN)中网络数据传输和负载均衡两个关键问题的基础上,提出了一种有效的基于游程编码和Huffman编码的数据压缩方法和基于"计算端元"的任务分配策略,该方法针对遥感影像特点进行有效数据压缩,具有较好的压缩比,达到了17%,且能实现任务负载均衡。并在遥感信息服务网格节点计算平台上,以中国范围内1km分辨率气溶胶光学厚度(Aerosol Optical Depth,AOD)反演计算为例,从压缩率和计算时间效率方面验证和分析了上述方法的有效性。     

能量平衡法静电驱动柔性振膜微泵特性分析

从能量平衡的角度建立了静电驱动柔性振膜微泵的平衡方程,基于对压缩过程中振膜动能的考虑,改进了最小能量法压缩模型,结合均匀压力载荷下圆薄膜大挠度形变理论对静电驱动柔性振膜微泵进行理论分析.对振膜与腔体壁面贴合的压缩过程中各能量相互转化的关系进行分析,并与最小能量法模型进行了对比.结果表明,能量平衡法考虑了薄膜振动过程中的动能,故薄膜与腔体具有更大的贴合面积,且以薄膜与腔体完全贴合时作为零应力参考状态降低压缩过程中的薄膜形变势能,计算得到的静电微泵的压缩效率更高,在驱动电压为300 V时,改进的双腔模型中振膜贴合半径为4.06 mm,所得最大压升为87.08 kPa.基于改进的模型,对双腔微泵压升的影响因素进行讨论,发现降低柔性薄膜厚度会使输出压力有所上升,并且减小腔体表面介电层厚度、减小腔体深度与半径可以有助于提高微泵的压升.     

中文微博观点句识别及要素抽取研究

研究中文微博情感分析中的观点句识别及要素抽取问题。在观点句识别方面,提出了一种利用微博中的情感词和 情感影响因子计算微博语义情感倾向的新算法;在观点句要素抽取方面,利用主题词分类及关联规则,辅以一系列剪枝、筛选和定界规则抽取评价对象。通过观点句识别和观点句要素抽取结果的相互过滤,进一步提高召回率。实验数据采用第六届中文倾向性分析评测所发布的数据,结果表明,本文方法在观点句识别和要素抽取方面能够取得较好的效果,观点句识别的精确率、召回率入F值分别为95.62%,54.10%及69.10%;观点句要素抽取的精确率、召回率以及F值分别为22.07%,12.66%和16.09%。     

改进生成树算法的多机器人在线地图覆盖

研究在线多机器人地图覆盖。在单机器人生成树STC算法基础上做出改进,融入了市场拍卖算法,使机器人团体扩散地生成树,并沿各自生成树完成地图覆盖。通过两种不同环境地图覆盖仿真,结果验证改进后的IMPSTC算法,能够使机器人团队在更少的时间和重复覆盖区域情况下完成在线覆盖地图任务。