一种有效的无序多图像分组及其拓扑有序化的算法

针对大规模三维重建应用中多幅无序图像的分组及其有序化问题,提出一种鲁棒的无序图像分组方法。首先,对大量无序图像提取SIFT(scale invariant feature transform)特征,接着采用DBH(dichotomy based hash)算法对图像特征集合进行快速匹配,最后应用一种新的基于图像内容的图像相似度度量准则,将无序图像分组并采用视图生成树拓扑化组内图像。实验结果表明,该算法能快速有效地对无序图像分类并拓扑化。     

网络信息安全领域高被引论文特征分析

研究表明,高被引论文载文期刊广泛,被引频次和下载次数成正相关联系,项目资助和高被引论文没有必然联系,高被引论文研究热点主要聚焦在安全理论、安全技术、安全管理等方面。     

双轮自平衡小车的动力学建模与分析

双轮自平衡小车本身具有不稳定、非线性等特点,使得对双轮自平衡小车的控制变得相当复杂。文章从双轮车结构出发,利用牛顿法建立数学模型,归一化处理后得到系统线性化模型,便于之后对双轮自平衡的仿真与控制。     

基于Coq的微内核操作系统程序验证方法研究

机载嵌入式程序的可信属性验证是新一代飞机研制最关注的软件质量保障问题;基于定理证明的程序形式化验证方法是一种可靠和严格的软件正确性验证技术;文中在深入分析微内核操作系统的基础上,应用霍尔逻辑针对机载嵌入式软件核心代码开展程序验证技术研究,根据霍尔逻辑的相关推理规则进行程序验证,并在定理证明辅助工具Coq中形式化表示霍尔逻辑的推理规则,针对机载操作系统的部分程序代码实例进行验证;实验结果表明基于定理证明的程序验证方法可以对软件程序代码的正确性进行验证,从而帮助软件提供商开发高可信的机载嵌入式软件。     

用于任意旋转角度景象匹配的圆投影算法

在分析、研究传统圆投影算法的基础上,提出一种扩展的圆投影算法用以解决传统圆投影算法引入的任意旋转角度景象匹配问题。该算法通过对匹配模版添加辅助点加以约束,可以实现旋转中心的准确定位,并且能快速准确地计算出旋转角度。实验表明,扩展的圆投影算法均能获得精确的匹配结果。