为了独立软件服务定义严谨的规格可以保证程序的正确性,研究了软件产品线开发中的可变性建模问题,提出了基于Restful服务驱动产品线模型的演化进程,给出了一种基于抽象行为规格化(Abstract behavioral specification)的组件行为规格方法。该方法基于抽象行为解决了服务间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证,克服了传统方法未关注模型演化的缺陷。最后,结合应用实例说明了此方法的可行性和有效性。
在人脸检测和跟踪过程中,真实场景的光照变化和随机噪声会降低检测准确率,而多张人脸的存在和人脸的姿态变化会影响单个目标的跟踪。针对这些问题,提出了一种基于HOG和特征描述子的人脸检测与跟踪方法。在人脸检测过程中,利用方向梯度直方图(HOG)特征来检测视频帧中的人脸,提高了检测的准确度;在人脸跟踪过程中,采用了一种结合特征描述子的跟踪校正策略,利用基于欧氏距离的方法进行人脸相似度对比,并以此更新跟踪结果,降低了多人脸因素的干扰。实验结果表明:笔者算法的人脸检测与跟踪准确率较高,鲁棒性较好。