基于PKI的安全网络硬盘系统的设计与实现

为网络硬盘提供完备的身份认证和内容安全是安全网络硬盘系统的重要研究内容。设计实现基于PKI的在线认证安全网络硬盘系统,应用PKI安全体系实现身份认证,应用密码技术实现网络硬盘数据的安全存储和安全传输,实现网络硬盘的安全应用。描述系统的总体框架、安全机制,阐述实现过程中的几个关键技术。     

高分辨率SAR图像建筑物三维成像几何结构分析

随着SAR分辨率的不断提高,建筑物在SAR图像上表现出越来越明显的几何结构特征,这些特征为重建建筑物三维模型提供了重要的信息。主要论述了建筑物在SAR图像上的成像几何结构,并给出了利用SAR图像上建筑物L型的叠掩结构反演建筑物三维结构的理论基础和方法,最后通过实验证明了该方法的可行性。     

基于非对称打包和FSVM的图像检索

在图像检索的相关反馈中,引入支持向量机分类方法虽可以提升图像的检索性能,但是传统的支持向量机存在正样本数少、样本非对称、过学习和弱实时性的局限。针对上述问题,提出了一种基于非对称打包的FSVM算法。该算法首先对负样本进行非对称打包处理,最后结合模糊理论与SVM实现图像检索。Corel图片集上的实验表明,当正样本数较小时,该新算法的平均查准率-查全率要优于已有算法。     

基于模拟植物生长算法作业车间调度问题研究

为了有效且简单的实现车间作业调度问题,提出了采用模拟植物生长算法的求解方法。针对车间作业流程,确定评价作业分配效率的指标,在此基础上建立车间作业分配的数学模型。然后通过对实例的计算及与其他优化算法的比较分析,验证了模拟植物生长算法不仅可获得最优解,求解效率也较其他算法得到了提高,是一种可行有效的方法。     

分功率因数电能表的设计

设计了一种分功率因数电能表。该电能表是采用实时功率因数调整电费方法的一种新型电子式电能表,目的是解决目前所使用的月平均功率因数法不能真实反映用户实时功率因数的缺陷,并利用经济杠杆的手段激励用户改善功率因数,从而达到提高电网运行质量的目的。     

微悬臂梁谐振式气体传感器研究进展

微机械谐振式传感器已经成为微型机电系统(MEMS)领域的研究热点。讨论了微悬臂梁谐振式气体传感器的工作原理,介绍微悬臂梁表面修饰的关键技术、主要方法和基于微悬臂梁的谐振式气体传感器领域的研究状况以及近五年以来该领域的研究进展,并对基于微悬臂梁的谐振式气体传感器的发展方向和应用前景做了展望。     

基于曲率的灰度图像拼接研究

在图像处理过程中,经常需要对剪切后的图像碎片进行拼接,提取灰度图像碎片的边界,计算出边界上各离散点处的曲率,每条边界上各点处的曲率构成了信号序列,分段计算两个信号序列的相关系数.由于曲率的位移不变性和旋转不变性,两条切口上各吻合点处的曲率理论上相等.本文验证了当相关系数取得最大值时,两条切口恰好吻合,从而实现灰度图像的自动拼接.     

从天津杨柳青石家大院浅谈民居雕塑装饰中的“形”与“意”

本文详细分析了天津杨柳青石家大院内的民居建筑雕塑装饰的"形"、"意"以及"形"与"意"之间的关系,总结了石家大院内的雕塑装饰的特点,力求说明"形"与"意"在传统民居建筑雕塑装饰中的关系和作用。     

基于神经网络的机器人的逆运动学分析

文章提出了基于BP神经网络算法的机器人逆运动学的求解方法,给出了基于神经网络的机器人逆运动学求解的具体步骤和设计神经网络的相关注意事项.通过时KLD-600六自由度机器人仿真表明该算法简单可靠.     

RTDMiner: 基于数据挖掘的引用计数更新缺陷检测方法

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.