对逻辑覆盖软件测试准则的公理化评估

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

由于形式规格说明采用一种精确、一致、容易被机器自动处理的符号系统来描述软件需求,因而形式规格说明为测试用例的自动生成和软件功能的验证提供了基础.在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则,如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题.… …   相似文献

刘玲  缪淮扣 《软件学报》2004,15(9):1301-1310

一种指纹图像奇异点检测的方法

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

准确、可靠地检测奇异点(core点和delta点),对指纹分类和指纹匹配具有重要的意义.针对低质量指纹图像奇异点检测中精确定位和可靠性判断的难题,提出了一种检测指纹奇异点的方法.首先,对于一幅指纹图像,在同一分块尺寸下进行多次图像错位分块,并且分别在不同的图像错位分块情况下检测指… …   相似文献

谭台哲  宁新宝  尹义龙  詹小四  陈蕴 《软件学报》2003,14(6):1082-1088

人工神经网络固有的优点和缺点

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

本文较详细地分析了一般神经网络固有的优点和缺点,并对ＢＰ网络和Ｈｏｐｆｉｅｌｄ网特有的优点和缺点分别进行了阐述,最后,比较了用反馈神经网络和用启发式算法求解ＮＰ难的优化问题之各自利弊。  相似文献

杨晓帆  陈延槐 《计算机科学》1994,21(2):23-26

支持向量机和水平集的高分辨率遥感图像河流检测

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

河流是重要的地理结构特征,对河流进行检测识别研究,在军事上和民用上都具有十分重要的意义.提出了一种基于支持向量机(SVM)和水平集的高分辨率遥感图像河流检测算法.首先根据高分辨率遥感图像河流目标的特点,采用样本图像的纹理特征和基准点信息扩散特征构造特征向量,并基于样本训练支持向量… …   相似文献

于晓升  吴成东  陈东岳  田子恒 《中国图象图形学报》2013,18(6):677-684

基于MVC模式的客户关系管理系统设计*

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

MVC（ModelViewController）模式是一种适用于交互式系统的软件设计模式。首先对客户关系管理系统的交互性、可扩展性、数据操作复杂性和集成性等特点进行了分析。针对客户关系管理系统的特点提出了基于MVC模式的系统设计方案,重点论述了系统的功能和结构方面的特点。… …   相似文献

邹鹏  尚维  李一军 《计算机应用研究》2005,22(2):21-23

基于双正交多小波变换的多光谱与全色图像融合研究

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

针对多光谱与全色图像融合中存在的光谱扭曲问题,提出了一种利用双正交多小波进行多分辨率分析,并结合平均与选择法处理小波高频系数的融合算法。该算法首先对已配准的多光谱图像进行IHS变换,然后分别对变换得到的强度分量I与全色图像进行双正交多小波分解,为增强融合图像的空间信息,对分解得到… …   相似文献

洪日昌  吴秀清  袁勋 《中国图象图形学报》2007,12(4):684-690

基于总变分模型的光照不变人脸识别算法

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

提出了一种基于L1总变分模型的对数商图像光照不变人脸识别算法。用L1总变分模型作为低通滤波算子对图像平滑滤波,得到图像光照分量的估计,然后在对数域中定义原图像与其光照分量的商为光照归一化图像,并用该图像作为光照不变量进行人脸识别。基于L1总变分模型的平滑滤波具有较好的边缘保持作用… …   相似文献

张熠  张桂林 《中国图象图形学报》2009,14(2):208-213

梯度约束SFS的月面地形重构

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

目的 解决月面着陆器在下降过程中可能得不到足够的匹配点进行着陆区地形恢复的问题。方法 基于特征边缘线梯度比例约束的明暗恢复形状（shape from shading）算法。首先以Lommel-Seeliger模型模拟月表反射情况,建立辐照度方程;然后以地形特征边缘提取结果为基础,经过最小二乘拟合与表面光滑模型约束后,演化得到剩余影像点的梯度比例因子,实现对辐照度方程的正则化约束。结果 经过测试得到模拟影像的平均相对恢复精度可以达到-0.199,真实影像月面可以达到0.051和0.022。结论 本文算法能够有效地进行3维地形恢复,且恢复精度优于经典SFS算法中对实际地形恢复效果最好的Tsai算法。… …   相似文献

徐辛超  刘少创  徐爱功 《中国图象图形学报》2014,19(5):739-745

基于帧间高级特征差分的跨场景视频前景分割算法

  

当前基于深度学习的有监督前景分割方法得益于大量待分割场景的标注信息,其性能大幅超越传统的无监督方法.然而,获取高精度的像素级标注需要耗费大量的人力和时间成本,这严重限制了有监督算法在无标注场景的部署应用.为解决对场景监督信息依赖的问题,设计了一种与传统的帧间差分法相融合的跨场景深… …   相似文献

张锦  李阳  任传伦  黄炼  王帅辉  段晔鑫  潘志松  谢钧 《电子学报》2021,49(10):2032-2040

模拟Boyer-Moore定理证明器

下载全文  

SBMTP(Simulate Boyer-Moore Theorem Prover)系统是在IBM-PC-386微机上用GCLISP语言实现的一个定理证明系统。该系统采用的思想方法和理论基础是Boyer-Moore的计算逻辑理论. SBMTP主要由三部分组成:知识库管理部分、定理… …   相似文献

马素霞  郑人杰 《软件学报》1990,1(1):39-45

面向大规模实时流媒体的应用层组播方案

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

提出一种基于集中控制与分布式自组织相结合应用层组播方案:CD-Media.这种多层次的、稳定的组播方案在上层由能力较强且稳定的专用服务器组成星形结构,并由它们集中控制下层Mesh结构和组播树的构造与维护.下层应用层拓扑采用分布式的自组织协议.该方案分超节点、Cluster和组播岛… …   相似文献

崔勇  徐恪  吴建平  宋林健 《软件学报》2009,20(2):394-402

基于复用的动态查询构件系统的设计与实现

  

针对信息系统中用户的查询需求不断变化的普遍现象,设计了基于复用的动态查询构件模型,并开发出了动态查询构件系统,实现了信息系统中用户自定义查询的动态管理,体现了构件系统级别上的复用,并成功应用于实际的信息系统开发中。  相似文献

王瑞霞  刘弘  隋宏伟 《计算机应用研究》2006,23(1):144-146

一种能量收集嵌入式系统自适应调度算法

下载全文  

能量收集嵌入式系统(energy harvesting embedded system,简称EHES)的任务调度算法需要考虑能量收集单元的能量输出、能量存储单元的能量水平和能量消耗单元的能耗.实时任务在满足能量约束的条件下,才可能满足时间约束.在这个背景下,传统固定优先级调度算法… …   相似文献

葛永琪  董云卫  张健  顾斌 《软件学报》2015,26(4):819-834

移动计算环境下的个人化服务发布和组装

下载全文  

随着移动计算技术的发展,移动设备用户可以服务的方式共享移动设备及其周围设备的计算能力和计算资源.然而,移动设备的私有性、资源受限性以及移动性等特征使得这种基于移动设备提供的个人化服务在发布和组装方面存在着一些特殊问题,例如用户隐私、移动设备资源消耗、网络环境变化引起的失效问题等.… …   相似文献

王明良  陈碧欢  彭鑫  黄罡  赵文耘 《软件学报》2015,26(4):802-818

一种基于二部图和节点角色划分的社交网络推荐方案

  

针对现有社交网络用户推荐方案中大规模网络个体相似性计算复杂度高以及个体节点无差异对待的问题,本文提出一种基于二部图和节点角色划分的推荐方案.首先,通过划分重叠群体简化原生社交网络结构,并进一步构建群体-个体二部图模型;其次,通过群体-个体二部图所反映的拓扑特征,结合节点自身属性特… …   相似文献

肖云鹏  刘瀚松  刘宴兵 《电子学报》2017,45(10):2425-2433

分布式系统下挖掘关联规则的两种方案*

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

对关联规则的分布式挖掘问题进行了探讨,给出了两种实现方案。一是采用局部－局部的通信模式,各个站点的通信负载比较均衡;二是采用局部－全局的通信模式,减少了各局部站点的通信负荷,实现了各局部站点的完全异步,但对全局站点的性能要求较高。  相似文献

邹丽  孙辉  李浩 《计算机应用研究》2006,23(1):77-78

C程序控制流程模型的提取技术与实现

  

控制流图描述了函数执行时可能采取的执行路径。绝大多数静态分析工具都在抽象语法树之上生成控制流图并据此对程序的运行行为进行分析。在模型检测过程中,提取正确的控制流图是构建系统模型的关键。在分析C程序的抽象语法树和控制结构的基础上,设计并实现了程序控制流图提取的算法,并分析了算法的正… …   相似文献

杨昌坤  许庆国 《计算机科学》2014,41(5):208-214

国家自然科学基金委员会信息科学部计算机科学处2004年度重点项目评审与资助状况分析

下载全文  

重点项目是国家自然科学基金资助的一种项目类型,它以推动学科发展、促进国民经济与社会的可持续发展为目标,每年年初集中受理一次.介绍了2004年度国家自然科学基金委员会信息科学部计算机科学处重点项目受理及资助情况,给出了评审原则,分析了存在的问题,并针对问题提出了建议.  相似文献

徐琳  刘志勇  刘克 《软件学报》2005,16(2):324-326

基于改进的弹簧-质点模型的三维服装模拟

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

针对三维服装造型与效果仿真中存在的模型复杂、模拟效率低、忽略服装的结构特征等问题,提出了改进的弹簧-质点模型.利用该模型统一建立了2D→3D映射和服装真实感模拟方程,给出方程中质点所受内力和外力的组成与表达式以及动态系统的推导和求解过程,并且描述了模拟的具体实现算法.改进的弹簧-… …   相似文献

刘卉  陈纯  施伯乐 《软件学报》2003,14(3):619-627

一种面向分布式虚拟环境的分层迭代负载平衡算法

下载全文  

为了支持大规模用户共享虚拟环境,多服务器结构被应用到分布式虚拟环境系统中,每个服务器负责虚拟环境的一个区域划分.由于用户不可预知的移动和交互,可能会导致某些服务器负载过重.现有的负载平衡算法注重于将负载在服务器间重分配,但引入开销过大,影响系统交互性能.提出一种分层迭代的动态负载… …   相似文献

王少峰  周忠  吴威 《软件学报》2008,19(9):2471-2482