简介：在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。

简介：视频场景变动检测是监控视频智能分析的基础,光流法是常用方法之一,但现有方法容易由于前景目标的运动而误检。针对该问题,提出一种基于背景光流分析的视频场景变动检测方法。该方法首先将图像划分为背景和前景目标两部分,然后通过计算背景部分光流的像素占比以及分析其分布的均匀性来判断视频场景是否发生变动。实验结果表明,该方法简单实用,在实现对视频场景变动检测的同时能够避免前景运动目标导致的误检。

简介：微博立场检测是一个新兴的研究课题,具有很大的研究价值和应用价值。鉴于此,该研究课题受到越来越多国内外研究机构的重视。首先针对立场检测主流方法和前沿进展进行介绍;接着介绍国内外主流的评测会议;最后,总结并展望立场检测技术的发展趋势。

简介：为了避免光照和复杂背景造成的多人脸误检漏检问题,提出一种基于肤色和AdaBoost算法相结合的多人脸检测算法,本文首先本章首先应用CbCrCg空间下基于最小二乘拟合的肤色聚类模型作为人脸检测的预处理过程,然后需要进一步将该区域作为输入图像依次通过AdaBoost级联分类器进行人脸检测,进一步去除肤色区域中的非人脸区域,最后实现更精确的人脸定位。

简介：复杂图像中对特定目标的检测和定位是机器视觉领域的难点之一。提出使用中层视觉元素描述检测目标,以建立权值模板图像;然后对目标图像和权值模板进行加权SIFT特征匹配得到最优匹配位置,从而实现目标检测。该方法以自行车为检测目标进行实验,检测率达到86%,优于传统SIFT-AdaBoost和HOG-SVM检测方法。实验结果表明该方法能够减少复杂图像中背景干扰的问题,对于不同姿态的目标进行检测也有较强的鲁棒性。

简介：数据流的概念会随着时间的变化而变化,例如天气预报和网络监控。这种随时改变概念的现象叫做概念漂移。如果不处理好概念漂移不仅降低聚类的质量,并且还会导致错误的聚类结果。现有的概念漂移算法大多都依据分类算法,根据分类算法中的错误率来判断概念漂移。然而,在随时变化的数据流中很难发现类标签。在聚类检测概念漂移中,很多聚类算法都是再概念漂移检测之前,所以当发生概念漂移的时候还要重新聚类。我们提出了一种基于密度网格的数据流聚类和概念漂移检测算法,这个框架采用了一种策略动态地改变滑动窗口。由于用到了密度网格技术,它提升了DCDA检测算法的效率,并且利用可变滑动窗口替换了固定滑动窗口以适应数据流的变化。实验结果证明我们的框架在准确率和时间效率上好于DCDA。

简介：军事活动的开展离不开网络,而日益复杂的网络环境使数据、信息系统、信息网络面临安全挑战。本文通过研究美军网络事故处理的目标、基本阶段、支持活动,从侦测、分析和响应三个方面分析美军开展事故处理的流程和方法,为其他领域网络安全体系提供参考。

简介：网络安全问题已经成为当今社会人们最为关注的问题之一,一旦网络受到恶意入侵,很有可能会造成电脑系统瘫痪或储存信息泄露等问题,对人们的工作以及信息安全造成了一定的影响,因此相关人员一直极为重视对网络安全防范技术的研究,并对入侵检测技术进行着不断的优化,本文将对这一技术的概念、工作原理和流程、分类、运用实践以及发展趋势五个方面进行阐述,希望能够为入侵检测技术的运用带来一定的启示。

简介：智能可穿戴设备是对日常穿戴进行智能化设计的总称,具有对各种生命体征监测的手环已成为市场的新宠,如小米手环。成本、体积、功耗以用户感受的需求推动了行业的研发热点。本文将主要讨论心率检测的方法及其衍生的应用。

简介：近期,儿童家具备受关注,孩子是父母的宝贝,父母都希望孩子可以健康快乐成长,而家具是孩子接触非常多的物品。那么在鱼龙混杂的家具市场,家长们要怎么分辨家具好坏呢。

简介：在信息技术快速发展的同时,信息技术在我国多个领域中都得到了普及应用,使人们的生活方式发生了改变,为人们的日常生活和工作带来了便利。但在软件系统中,安全漏洞问题对信息系统产生较大的威胁,会导致计算机软件系统中重要信息的流失。为了确保计算机软件系统的安全性,本文就对计算机软件安全漏洞检测技术及其应用进行分析。

简介：围绕科技资源需求大厅的功能,提出协同过滤与内容相结合的推荐方法,采用向量相似度计算和聚类的进行需求匹配,能够适应科技资源推荐过程中数据量巨大、数据稀疏、多样化等特点,为待解决需求者推荐合适的资源。

简介：面对如今越来越严峻的网络安全形势,加强安全技术应用责任重大。防火墙技术与入侵检测系统之间的技术互补性突出,研究出防火墙与入侵检测系统相互融合的网络安全模型,不断提高技术应用的专业性。本文分析了这一网络安全模型,并就重要组成与各接口作简要说明。

简介：针对车道线检测，基于图像白平衡算法和灰度直方图，自适应地提取出感兴趣区域，并自适应确定Canny边缘检测算法的高低阈值。通过对概率霍夫变换得到的直线点集进行RANSAC拟合，满足了在不同光照条件下的自适应车道线检测，并基于英伟达JetsonTK1嵌入式开发板结合开源GUI库Qt，使用其QtQuick开发出一套车道线检测系统。

简介：本文根据前期相关标准和研究成果给出的性能评价指标的集,分别对组播应用协议的性能评价指标的测试方法进行研究,涉及的性能评价指标包括连通性、转发延迟、开销、时延抖动、丢包率、可用带宽、数据包乱序比。相关的测试方法可以为下一步IP组播性能评价奠定基础。

简介：指针是C语言教学中的重点和难点，是设计良好C程序的关键。文章分析目前指针教学存在的弊端，详述指针过程化教学方法的思想、课堂教学实施过程和实践教学实施过程。

简介：由于功能的增加、性能的优化、错误的修复等原因,软件处于不断演化中。软件的变化导致在回归测试中部分测试用例失效,直接丢弃失效用例会降低用例集检测错误的能力,减弱回归测试的有效性,测试用例修复技术很好地解决这个问题。测试用例修复旨在通过对失效测试用例中的测试元素进行添加、修改、删除等修复操作,使该测试用例在新版本软件的回归测试中执行通过。通过系统文献综述的方法,首先对相关文献进行检索,然后通过EndNote、Bibexcel、RefViz工具对检索结果进行文献计量分析,最后完成文献综述。

简介：本文主要对医院在当前计算机网络应用中的现状进行分析,并指出医院计算机网络应用过程中的安全隐患,阐述了安全隐患来源,并结合实例具体分析了网络安全隐患检测预防对策。

简介：软件项目工作量估算是软件项目成本估算的基础。合理的软件成本估算有助于业主方在以下方面做出理性的决策：在软件项目投资、招标、软件项目外包以及对软件项目开发过程中的监督管理等方面。COCOMO模型是目前应用于软件项目成本估算方法中最广泛、最受欢迎的模型之一。本文首先研究并给出了软件项目工作量估算的常用方法，详细介绍了COCOMO模型和COCOMOII模型估算方法，并指出了模型修正的意义所在；然后介绍了工作量估算中软件项目规模度量的常用方法，重点介绍了基于功能点分析的软件规模度量方法；最后，通过研究分析前人提出的软件项目工作量估算“三步法”，针对算法的问题和不足，提出了完善的建议和改进的方法，并据此提出了新的软件项目工作量估算流程模型；同时，阐述了本文提出算法的合理性和有效性。

简介：首先采用基于混合高斯模型与椭圆肤色模型进行手势分割，分割出手势区域，使用卡尔曼滤波器进行手势跟踪，获得手势中心点的位置。在此基础上，记录各帧中心点位置，得到运动轨迹，利用提出的轨迹模板匹配方法对动态手势进行识别。该方法利用基本的几何特征便可完成手势运动轨迹的设置与识别，无需特征选择或训练样本的搜集。最后，采用基于Zynq-7000的Zedboard平台对该算法进行实现，并采用HLS硬件加速工具进行算法加速。实验结果表明，该算法可实现较精确的手势识别，接受弹性的输入采样，识别正确率在95％以上，且通过硬件加速后，可在嵌入式平台中实时识别，具有较好的实时性。