基于科技信息挖掘的大规模深度技术树构建

[目的/意义]技术树是用来表示某一特定领域中产品组成、技术功能之间上下位关系的树状图,广泛用于技术规划、技术决策等过程中。在大数据时代,基于海量科技信息资源进行技术树构建具有重要意义。[方法/过程]文章提出一种大规模深度技术树构建方法。该方法以人机协同、多轮迭代的思路为牵引,实现基于主体—动作—客体结构(SAO Structure)的特定领域产品组件上下位关系挖掘与技术树构建。[结果/结论]在“图形处理器”技术领域上开展的大规模深度技术树构建实验结果验证了该方法的有效性。

前行不止,思归不息

“行”是踏出家门,冲出舒适圈,在狂风骤雨中磨砺自我;“归”是回到家,回归心灵的田园,于避风港中重振精神。青年只有熟谙“行”与“归”之道,做好选择,方可在人生路上昂首阔步,行稳致远。

一种快速实用的特征点匹配算法

该文提出的方法，使用了基于投影的粗筛选和候选点的策略，使用基于距离约束对匹配点对进行校正和消除错误匹配，提高了计算速度和可靠性。实验结果证明，提出的方法具有较大的实用性。

一种基于直方图模式的运动目标实时跟踪算法

动态图像的分析和理解是当前研究的热点之一,基于视觉的目标跟踪技术有着广泛的实用价值。目标跟踪的难点在于完成帧与帧之间的快速且稳定的目标匹配。该文给出了一种运动目标的跟踪算法,它与云台设备控制相结合,可使被跟踪目标始终位于图像的中心区域。直方图具有较好稳定性,可以不受目标的外形和比例变化的影响;而均值平移(MeanShift)算法可以得到局部最优解,并具有快速和有效的特点。因此,该文以直方图为模式特征,以均值平移算法为跟踪核心算法。对候选目标进行运动检验,过滤了伪目标,保证了跟踪的可靠性。在搜索过程中,通过Kalman滤波器的运动预测,减少模式匹配的搜索范围,提高了处理速度。最后,该文给出了实地测试结果,验证了跟踪算法的实用性和有效性。

一种基于视觉的道路检测算法

计算机视觉导航使移动机器人可以工作于复杂环境中,而道路检测是其中的关键环节。针对道路的多样性和环境因素的影响,提出了一种稳健的道路检测算法。依据道路特征把图像分为3组区域:路、非路和不确定区域,然后对难以判断的不确定区域使用假设检验的策略,依据道路的形状、路宽和面积信息综合判断,把不确定区域合并到路或者非路区域,从而快速准确地检测出道路。该算法已经在移动机器人-ATRV上测试和使用。

一种基于直方图和冗余匹配的实时目标跟踪算法

基于视觉的目标跟踪技术难点在于完成帧与帧之间的快速且可靠的目标匹配,以目标的直方图作为特征,具有很好的鲁棒性。但是直方图无法反映目标的空间信息,会导致错误定位于伪目标,且无法精确定位目标。针对以上问题,文章提出了一种稳健的运动目标跟踪算法,在以直方图作为目标特征的同时,结合冗余模板信息,达到验证候选目标的可靠性和辅助目标精确定位的目的。实地测试结果验证了该算法的有效性。

FlatVC:云环境下虚拟机集群的扁平化版本控制

IaaS的发展使得云服务能够快速地部署虚拟机集群。然而,在部署过程中虚拟机群的版本控制效率不高。目前的版本控制方法存在网络负载大、操作速度慢的问题。提出一种新颖的虚拟机集群版本控制方法,叫做FlatVC。FlatVC在计算节点增量地生成虚拟机版本,以避免将版本数据传输至存储节点,并在虚拟机版本恢复时按需传输版本数据,因此减小了网络传输负载并加速了版本控制过程。通过使用缓存树结构来共享网络传输数据,FlatVC减小了根节点数据传输压力。此外,我们针对增量版本所构成的版本链进行了I/O优化,避免了版本链导致的性能下降。实验结果显示,FlatVC能有效地实施虚拟机集群版本控制,加速版本生成以及恢复过程。

解析Dirichlet级数的p(R)-级

对于p(R)-级解析函数(由在右半平面内收敛的Dirichlet级数定义),首先讨论了Dirichlet级数的指数条件,然后在较一般的指数条件li mn→+∞lnlnnlnλn<1下,讨论了它的系数与增长性、正规增长性间的关系,得到了两个充要条件.

解析Dirichlet级数的p(R)-型

讨论多个p(R)-级(ρ(p)=ρ,0<ρ<+∞)相同的解析函数,这些解析函数的相对增长性质,都由在右半平面内收敛的Dirichlet级数定义.在较一般的指数条件li mn→+∞ln+lnnln+λn<ρ/(ρ+1)下讨论了它们的p(R)-型的性质,得到了p(R)-型的一般表达式.

可信编译理论及其核心实现技术:研究综述

编译器是重要的系统软件之一,高级语言编写的软件都必须经过编译器的编译才能成为可执行程序。编译器的可信性对于整个计算机系统而言具有非常关键的意义,如果编译器不可信,则很难保证系统所运行软件的可信性。可信编译是指编译器在保证编译正确的同时提供相应的机制保证编译对象的可信性,对可信编译理论和技术的研究具有重要理论意义和实用前景。阐述了可信编译器的概念,介绍了编译过程正确性的形式化定义,对可信编译的主要研究进行了概括。在全面分析可信编译研究现状的基础上,从编译器自身可信性和确保编译对象可信性两个方面,对可信编译器设计和实现的相关理论和方法进行了分类和总结。最后,讨论了可信编译有待解决的问题和未来的研究方向。

一种基于光流的障碍物估计算法

移动机器人在行进过程中必须能够检测和躲避障碍物,文章提出了一种使用光流场估计障碍物区域的算法。使用结合从粗到精策略的最小加权二乘法的方法计算光流,从而估计图像序列中可能的障碍物位置,为后续的接近时间计算提供了良好的基础。大量实地实验验证了该方法的有效性和可行性。

一种快速的基于边缘的道路检测算法

道路检测是机器人视觉导航中的重要环节。本文提出了一种新的非结构化道路检测算法。算法基于这样的一个基本假设,即道路的轮廓由一些具有一定长度的连续直线段组成。在一定的范围中通过计算边缘点,然后通过Hough 变换求得直线段,从而确定道路边界的位置。但是边缘图像中不仅仅包含道路的边缘,还有阴影,植物等其他的边缘。如果不消除这类边缘的影响,将大大削弱算法的效率和准确性。本文提出一种基于颜色和方差的规则有效地消除这类非道路的边缘。一旦当前帧中获取道路的边缘,通过限定下一帧中的感兴趣区域(ROI)减少搜索范围从而快速定位帧中的道路边缘,从而进一步提高算法的效率。大量实地(校内公园道路)实验验证了该算法的快速和鲁棒性。

基于特征点的抗几何攻击水印算法

利用Harris特征点并结合图像的归一化原理提出了一种新的数字水印方案。由于Harris算子的算法简单,稳健性较好,图像的特征点在经过几何攻击后仍然可以保持。而且,归一化的图像对图像的旋转不太敏感,所以首先对每一个以特征点为圆心的互不重叠的圆归一化以确定水印的嵌入点,然后把水印嵌入到原来的图像中,这样,可以很好地解决水印嵌入和检测的同步问题。实验证明,该算法能很好地抵抗如旋转,缩放,剪切等形式的几何攻击与常规信号处理攻击。

如何上好第一次“概率论与数理统计”课

在“概率论与数理统计”教学中，上好第一次课会对后继的教学产生举足轻重的影响。本文就如何通过第一次课调动学生的学习兴趣做了初步探究。提出了通过幽默的自我画像、丰富的肢体语言、讲故事、趣味化例题等具体的方法来调动学生的学习兴趣，从而使本门课程的学习有一个良好的开端。

一种有效的基于约束的关联规则发现算法

基于约束的关联规则挖掘是针对特定约束的规则的挖掘,挖掘的结果有着更好的针对性和实用性,Separate算法是现有的效果较好的算法,但有 2点不足:未修剪生成的候选集和候选项重复生成。对此该文提出了改进的SeparateP算法,算法中加入了对候选集的修剪,并且利用了项集重复生成的信息,使候选集的修剪更加有效快捷。实验表明,改进算法显著提高了原算法的效率。

BtoB网站用户访问模式挖掘研究

把数据挖掘技术与电子商务网站有效结合，深入分析Apriori算法，并运用散列技术改进算法来实现电子商务网站用户访问关联模式的挖掘。经过实验验证，这是一种有效的分析、评价和完善电子商务网站的方式。

一种基于连接段数的细化算法

文章提出了一种新的细化算法。算法中提出了一种新的概念-连接段数,用于描述像素邻接点的分布,从而使得算法运用简单的规则快速有效地完成细化。大量实验验证了该算法的有效性和稳定性。

一种针对C程序缓冲区溢出的检测方法

为了增强对程序缓冲区溢出漏洞的检测,提出一种利用CCured和BLAST对C程序进行分析的检测方法。首先利用CCured对C语言源程序进行运行时检测的代码插桩;然后用BLAST提供的自定义安全属性语言对这些插桩代码进行相关约束描述;最后让BLAST根据约束描述文件对代码插桩后的程序进行模型检测,就可以尽可能地找出C语言程序中潜在的缓冲区溢出漏洞。

一类涉及费波那奇数的无穷幂和的计算公式

利用第二类stirling数发生序列法研究了涉及费波那奇数的无穷幂和sum from k=0 to ∞(Fk)/(2k)km,并给出了此无穷幂和联系第二类stirling数的关于m的求和公式.