基于状态机模型的构件健壮性测试

下载全文  总被引：2，自引：0，他引：2

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常… …   相似文献

雷斌  王林章  卜磊  李宣东 《软件学报》2010,21(5):930-941

模板阴影体扩展方法

下载全文  

模板阴影体是矢量地图3维绘制的一种主要方法,使用线段、多边形等基本的几何图形在3维地形上叠加显示地图要素,因表示形式过于简单,导致其传递的地图要素信息十分有限。为此,对模板阴影体方法进行扩展,提出矢量地图在3维地形上的符号化叠加方法,以提供更丰富的矢量地图3维显示样式。首先,简述… …   相似文献

曹雪峰  万刚  李锋  李明 《中国图象图形学报》2013,18(4):436-876

频谱预处理模糊运动方向鉴别的改进算法

下载全文  

为了提高匀速直线运动模糊图像的运动方向检测精度,提出一种基于频谱预处理的模糊运动方向鉴别改进算法.首先,通过对模糊图像的频谱图执行两次傅里叶对数变换,实现频谱图的亮条细化处理;然后,以亮条细化后的频谱图为研究对象,采用滑动邻域操作实施频谱图的二值化处理,剔除图像中的噪声和十字亮线… …   相似文献

孔勇奇  卢敏  潘志庚 《中国图象图形学报》2013,18(6):637-646

椭圆曲线密码中一种多标量乘算法

  总被引：2，自引：0，他引：2

标量乘和多标量乘是实现椭圆曲线密码体制的核心运算,其运算速度从整体上决定了椭圆曲线密码体制的实现效率.提出了一种多标量乘算法,该算法的基本思想是,将标量用带符号的整数阶乘展开式表示,并结合固定基窗口标量乘算法,使得实现多标量乘算法只需做点加运算即可.这不仅突破了传统求多标量乘算法… …   相似文献

陈厚友  马传贵 《软件学报》2011,22(4):782-788

微博客蕴含交通信息的提取

下载全文  总被引：1，自引：0，他引：1

微博客消息中可能蕴含大量描述城市道路的交通信息,如交通状况、交通事件、交通管制等,提取这些交通信息能够为传统的固定式传感器和浮动车采集交通信息手段提供有效补充.然而,微博客消息描述的模糊性、差异性及非结构化特征,使得从海量微博客消息中快速准确地提取和甄别交通信息成为难题.提出一种… …   相似文献

张恒才  陆锋  陈洁 《中国图象图形学报》2013,18(1):123-129

单向延迟测量中时钟动态性检测算法

下载全文  总被引：7，自引：2，他引：7

延迟是评价网络性能的重要指标,也是进行其他网络性能指标测量的基础.基于全球定位系统(GPS)的端到端(end-to-end)时钟同步是测量网络单向指标的常用方法,但是其代价昂贵且缺乏灵活性.在无端到端时钟同步机制下进行网络单向延迟指标测量的关键是消除时钟偏差效应的影响.基于对时间序列分段技术的分析,提出了一种新的时间序列分段标准与改进的分段算法,实现序列的自动聚类,其时间复杂度为O(N²).将该算法应用于检测端到端时钟的动态性,识别测量过程中时钟跳变和时钟频率调整位置,实现对网络单向延迟的测量,弱化了同类工作中对时钟动态性的严格假设.同时提出了基于滑动窗的在线实时时钟动态性检测算法.实际测试实验表明,该算法是行之有效的.… …   相似文献

王俊峰  杨建华  周虹霞  谢高岗  周明天 《软件学报》2004,15(4):584-593

基于不规则蜂窝网络拓扑模型的位置管理研究

下载全文  

针对当前大多数位置管理策略的研究都是假设在同大小、同形状、同分布的蜂窝网络下实现的,提出了基于不规则分布的蜂窝网络结构(包括宏蜂窝、微蜂窝、微微蜂窝)的位置管理策略,通过将邻近的蜂窝重组并根据基站广播的蜂窝坐标CC(cell coordinates)计算当前所在蜂窝到当前位置区最… …   相似文献

赵小敏  郎美亚  陈庆章 《软件学报》2010,21(6):1353-1363

基于统计学习分析多核间性能干扰

下载全文  

普遍认为,云计算和多核处理器将会统治计算领域的未来.但是,目前云计算数据中心的计算资源使用率非常低,其主要原因在于多核处理器上存在严重且不可预知的性能干扰.为了保证关键应用程序的QoS,只能禁止这些关键程序与其他程序共同运行,导致了资源的过度分配.为了提高数据中心的利用率,分析多… …   相似文献

赵家程  崔慧敏  冯晓兵 《软件学报》2013,24(11):2558-2570

基于增量型聚类的自动话题检测研究

下载全文  总被引：1，自引：0，他引：1

随着网络信息飞速的发展,收集并组织相关信息变得越来越困难.话题检测与跟踪(topic detection and tracking,简称TDT)就是为解决该问题而提出来的研究方向.话题检测是TDT中重要的研究任务之一,其主要研究内容是把讨论相同话题的故事聚类到一起.虽然话题检测已… …   相似文献

张小明  李舟军  巢文涵 《软件学报》2012,23(6):1578-1587

计算机声音处理技术

  

一、引言计算机从处理单一的文字和数据发展到能够处理声音是一个质变。早先计算机通讯多数是采用发送电子邮件或通过网络系统共享数据和文本文件。仅仅限于这种方法是远远不够的。如同人类进行交流的方式除了书写成文的东西,还有语言。计算机声音处理因此也是计算机研究领域的一个重要方向。该技术涉及… …   相似文献

胡上序  钱涛 《计算机科学》1993,20(5):74-77

基于多智能体交通绿波效应分布式协同控制算法

下载全文  总被引：1，自引：0，他引：1

基于\"绿波\"效应的交通控制通过实现干道上的车流不间断地经过多个交通灯路口而不停止,是目前公认的最有效率的交通控制策略之一.然而随着城市交通规模的不断扩大,传统的集中式交通控制方法可能遇到计算和通信上的瓶颈.而当路口交通灯只能获取城市交通网络全局有限的信息时,传统的分布式控制方… …   相似文献

徐杨  张玉林  孙婷婷  苏艳芳 《软件学报》2012,23(11):2937-2945

基于局部区域稀疏编码的人脸检测

下载全文  

提出一种基于局部区域稀疏编码的人脸检测方法.首先提取人脸局部区域作为训练样本;然后学习得到一个具有较强判别性的字典,字典中的每个基与人脸各局部区域有明确的对应关系;接着,基于各检测窗口稀疏编码的响应判断人脸某一局部区域是否出现;最后,利用人脸局部区域的检测结果和位置约束进行投票,… …   相似文献

张抒  蔡勇  解梅 《软件学报》2013,24(11):2747-2757

一组提高存储效率的深度包检测算法

  总被引：2，自引：0，他引：2

随着深度包检测规则数目的剧烈增长.为了适应网络处理的需求,必须对表示正则表达式的DFA(deterministic finite automata,确定的有限自动机)进行高效的存储一方面,对DFA的状态点数目进行压缩,提出了一种复合的FSM(有限自动机)的构造方法,通过对正则表达… …   相似文献

于强  霍红卫 《软件学报》2011,22(1):149-163

基于垂直网站的网络信息支持系统研究

下载全文  总被引：6，自引：0，他引：6

网络信息支持系统是指根据用户的偏好,为用户主动搜集、筛选和推送网上信息的主动式信息服务系统。讨论了网络信息支持系统的概念、作用,分析了基于垂直网站的信息支持系统的特点和逻辑功能,给出了系统的逻辑模型,对系统开发研制中的关键技术进行了研究。  相似文献

雷育生  甘仞初  杜顶 《计算机应用研究》2005,22(7):105-107

无线传感器网络路由协议LEACH的研究与改进

下载全文  

LEACH是针对无线传感器网络设计的低功耗自适应分簇聚类路由算法,作为一种WSN路由协议,因为其优秀的节能效果和其简单的规程得到了广泛的认可。但是LEACH簇首算法存在簇首开销大、簇首没有确定的数量和位置等不足,而在成簇后的稳定阶段,节点通过一跳通信将数据传送给簇首,簇首也通过一… …   相似文献

佘静涛  胡同森  钟明霞 《计算机系统应用》2009,18(2):30-34

机械加工零件表面纹理缺陷检测

下载全文  总被引：14，自引：0，他引：14

在一些对机械加工零件表面的加工精度和表面质量要求较高的自动化工业中,对机械加工零件表面纹理缺陷进行可靠的、有效的检测和分析可以大大地提高生产加工的自动化水平。为了能够对机械加工零件表面进行可靠、有效的检测,根据机械加工零件表面的纹理特点,设计了一种新的图像频域滤波器,用于增强缺陷… …   相似文献

黎明  马聪  杨小芹 《中国图象图形学报》2004,9(3):318-322

基于矢量测量的多约束路径选择

下载全文  

多约束路径(multi-constrained path,简称MCP)选择问题是QoS路由问题面临的重要挑战之一.现有的MCP算法不能兼顾降低计算复杂性、提高响应速度和防止可行解丢失等方面的缺点.另外,单纯依靠线性路径长度方程(LPLF)或非线性路径长度方程(NLPLF)都不能有… …   相似文献

郑彦兴  汪晓庆  田菁 《软件学报》2007,18(3):636-645

基于躯干检测的单人不良图片识别

  

目的 互联网中色情图片传播泛滥,对其自动识别与过滤越来越重要,而目前多数不良图片识别方法对类肤色区域较多的正常图像容易产生误检。为此,针对网络上常见的单人色情写真类图片,在总结已有方法不足的基础上提出一种将躯干部位作为感兴趣区域的不良图片识别算法。方法 首先使用基于Poselet(姿态部件)的人体躯干检测方法定位出与色情信息密切相关的躯干区域,然后基于躯干区域提取具有判别力的Fisher向量,最后使用线性支持向量机(SVM)进行分类。然而,由于人体外观变化很大,躯干检测器输出的置信度最大的位置往往较躯干真实的位置有一定的偏移。为了克服这一缺点,提出一种自适应的算法,即根据躯干检测器输出的置信度自适应地选择多个躯干候选区域,并通过集成多个区域的判别结果来得到最终结果。此外,为了训练基于躯干的SVM分类器和验证算法的有效性,本文通过互联网下载的方式收集了一个包含30000幅单人色情写真图片的大规模数据集,并对色情部位进行了标注,标注信息可用于自动生成训练数据。结果 本文提出的基于躯干的自适应分类算法在收集的大规模数据集上达到了91.7%的识别精度,明显高于传统肤色模型的识别结果,尤其是对于如同泳装模特等皮肤裸露较多或类肤色区域较多的图像,本文方法效果尤为显著。结论 文中基于Poselet的躯干检测能够获取与色情信息更相关的信息,因而相比较于传统方法,在较为准确地检测不良图片的同时,有效地降低皮肤裸露较多的正常图像的误检率,达到了实际应用的要求。… …   相似文献

陈骁  金鑫  谭晓阳 《中国图象图形学报》2016,21(3):348-355

基于测地线活动区域模型的非监督式纹理分割

下载全文  总被引：8，自引：0，他引：8

提出了一种基于曲线演化的非监督式纹理分割算法.在用Gabor小波库提取纹理特征之后,可以得到一个多维的特征图像.为了避免直接在多维空间中应用曲线演化模型,采用高斯混合模型(Gaussian mixture model,简称GMM)来描述该特征图像的概率分布,再从分布模型中计算得到… …   相似文献

何源  罗予频  胡东成 《软件学报》2007,18(3):592-599

基于时间部署的无线传感器网络密钥管理方案

下载全文  总被引：1，自引：0，他引：1

提出一种基于时间部署的随机密钥管理方案.该方案采用了特殊的两级随机密钥预分配和清除机制以及按时间顺序的成组部署方法:每个传感器节点从多个密钥池中随机选择密钥并在一定条件下删除相关的密钥;所有传感器节点被组织成部署组并按时间顺序被部署到网络中.与经典的随机密钥管理方案相比,该方案在… …   相似文献

袁珽  马建庆  钟亦平  张世永 《软件学报》2010,21(3):516-527