形式化方法与工具专刊前言

  

形式化方法是指有严格数学基础的软件和系统开发方法,支持计算机系统及软件的规约、设计、验证与演化等活动.随着高可信软件的兴起,形式化方法作为重要的途径,关注度日益提高.其作用不仅深化了人们对计算系统规律的认识,而且支持了计算系统开发、运行和演化之工具、平台、环境的构建.本专刊收录的… …   相似文献

王戟  李宣东 《软件学报》2011,22(6):1121-1122

供应链协商调度模型与算法

下载全文  

研究了由一个制造商和一个分销商组成的供应链上分销商协商调度问题.此供应链中,制造商比分销商有更强的影响力,先于分销商进行调度.制造商与分销商之间不共享作业处理时间.为了改善分销商调度,建立了基于补偿的分销商协商模型,设计了保留信息私有性的协商调度策略,提出并分析了协商调度下制造商… …   相似文献

苏生  于海杰  吴正华  汤羽 《软件学报》2013,24(1):12-24

基于灰色系统理论的信誉报告机制

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

信任是决定实体双方在互联网上成功交易的一个重要原因,而商家的信誉又是客户选择交易对象的关键因素.传统的信任评估方法对评估对象提出种种假设,不能分辨恶意客户的虚假推荐,因而影响了评估结果的客观性和可信性.针对上述问题,提出了以灰色系统理论为基础、以灰色聚类评估算法为主要内容的信誉报… …   相似文献

徐兰芳  胡怀飞  桑子夏  徐凤鸣  邹德清 《软件学报》2007,18(7):1730-1737

核稀疏保留投影及在步态识别中的应用

下载全文  

针对已有基于线性变换的稀疏保留投影方法在解决实际问题时,会遇到维数灾难和小样本问题.通过引入核方法,提出一种核稀疏保留投影方法.首先采用非线性变换将原始数据映射到高维特征空间,而后在这个高维空间进行稀疏重构,并对得到的系数矩阵进行降维优化,最终得到所需的投影矩阵.将其应用到步态识… …   相似文献

王科俊  阎涛  吕卓纹  唐墨 《中国图象图形学报》2013,18(3):257-263

遥感图像变化区域的无监督压缩感知

下载全文  

传统的基于结构特征的遥感图像变化检测方法,易受成像稳定性的影响而误差很大。针对图像内在的稀疏性结构信息,提出基于压缩感知(CS)的遥感图像变化检测方法。通过自适应构造超完备字典将图像局部信息投影到高维空间中,实现图像的稀疏表示,并运用随机矩阵得到了数据在高维空间中的低维特征子空间… …   相似文献

杨萌  张弓 《中国图象图形学报》2011,16(11):2081-2087

基于 Deep Belief Nets 的中文名实体关系抽取

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

关系抽取是信息抽取的一项子任务,用以识别文本中实体之间的语义关系.提出一种利用DBN(deepbelief nets)模型进行基于特征的实体关系抽取方法,该模型是由多层无监督的RBM(restricted Boltzmann machine)网络和一层有监督的BP(back-pr… …   相似文献

陈宇  郑德权  赵铁军 《软件学报》2012,23(10):2572-2585

关于统计学习理论与支持向量机

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

模式识别、函数拟合及概率密度估计等都属于基于数据学习的问题,现有方法的重要基础是传统的统计学,前提是有足够多样本,当样本数目有限时难以取得理想的效果.统计学习理论(SLT)是由Vapnik等人提出的一种小样本统计理论,着重研究在小样本情况下的统计规律及学习方法性质.SLT为机器学… …   相似文献

张学工 《自动化学报》2000,26(1):32-42

可能性模糊C-均值聚类新算法

下载全文  总被引：13，自引：4，他引：13

模糊C-均值聚类(FCM)对噪声数据敏感和可能性C-均值聚类(PCM)对初始类中心非常敏感易导致一致性聚类.可能性模糊C-均值聚类(PFCM)综合了FCM和PCM算法并且克服了这些缺点.但是PFCM必须先运行FCM来计算参数.提出一种新的PCM算法,新的PCM算法利用协方差矩阵来… …   相似文献

武小红  周建江 《电子学报》2008,36(10)

基于模型的软件测试综述

  总被引：21，自引：6，他引：21

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。针对被测试软件的不同特征和不同测试目的,已经提出了多种测试模型。本文详细阐述了基于模型的软件测试研究现状和应用现… …   相似文献

颜炯王戟  陈火旺 《计算机科学》2004,31(2):184-187

一种提高无线传感器网络容量的方案

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

介绍了无线传感器网络容量研究的背景、理论基础和现状,分析和比较了几种当前的研究思路,提出了一种利用波束成形的虚天线技术来提高单节点功率受限条件下的无线传感器网络容量的方案,即利用无线传感器网络中由于节点的高密度而带来的节点间的低成本通信。由数据源节点将信息发送给尽可能多的周围邻居… …   相似文献

刘雨  望育梅  张惠民 《计算机应用研究》2006,23(1):221-223

Web模式的医学断层图像三维重建

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

实现了基于Web的医学图像三维重建及显示.用超高速CT扫描获得人体器官的二维图像,基于JavaApplet与JavaApplication编程,采用体绘制法完成二维图像的三维重建与显示.重建实现了在Internet上以Web模式跨平台运行.重建的三维图像能够清晰地显示人体器官的解… …   相似文献

宋志坚  李文生  左焕琛 《软件学报》2001,12(11):1727-1731

EO-1 Hyperion数据的预处理、特征提取和岩性填图研究

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

EO-1 Hyperion传感器是第一个可以获取可见光与近红外以及短波红外波长范围光谱信息的星载高光谱传感器。本文以美国最早的金矿采矿区之一,加利福尼亚州东南巧克力山的Rainbow金矿区作为研究案例,探讨了Hyperion数据的预处理方法,专题信息提取与填图,评估了Hyperi… …   相似文献

张显峰  PAZNER Micha 《中国图象图形学报》2007,12(6):981-990

曲波变换用于磨粒图像不变矩的提取

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

曲波变换(curvelet)具有各向异性和良好的曲线奇异性表达能力。为了克服Hu不变矩和不变小波矩在表达铁谱磨粒形貌信息方面的不足,将曲波变换引入磨粒特征提取过程,并与Hu不变矩结合,提出一种基于曲波变换的磨粒图像不变矩提取方法。首先利用曲波变换将图像进行分解与重构,得到不同尺度… …   相似文献

张云强  张培林  任国全  王国德  徐超  李兵 《中国图象图形学报》2012,17(2):263-268

改善BGP路由收敛的时间窗口机制

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

提出了一种时间窗口机制,能够基于路由抖动抑制中路由惩罚值的变化改善BGP(border gateway protocol)路由收敛.这种新机制把来自不同邻居的路由变化情况结合起来,利用BGP路由传播过程形成的路由相关性判断路由在网络中的稳定情况.时间窗口机制使BGP路由器能够更早… …   相似文献

王立军  吴建平 《软件学报》2008,19(11):2979-2989

光学相干层析视网膜体数据的3维分割

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

提出一种光学相干层析(OCT)视网膜体数据3维分割的新方法.综合利用视网膜边界方向、图像强度峰值及分而治之的策略,可分割出多层重要边界面.具体过程是:在OCT体数据中,从上到下查找A-scan的第1个峰值确定内界膜(ILM)的初始位置,再通过表面光滑性约束去除异常点进行优化;利用… …   相似文献

樊鲁杰  孙延奎  张田  田小林 《中国图象图形学报》2013,18(3):330-335

室内概率阈值反向最近邻查询

  

室内空间变得越发的庞大和复杂,随之产生了越来越多的室内空间查询需求.目前已有文献提出了针对室内空间环境的范围查询和最近邻查询,而作为常见的空间查询类型的反向最近邻查询,尚未有相关的研究.为此,提出了室内概率阈值反向最近邻查询和基于定位设备的设备可达图模型.在图模型基础上,提出了室… …   相似文献

王丽  秦小麟  许建秋 《计算机科学》2015,42(1):201-205,214

基于MBR的主方向关系一致性检验

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

定性的空间推理在地理信息系统、人工智能、数据库及多媒体等领域中的应用越来越引起人们的注意.空间推理的基础理论以及相应算法也在不断地创新和发展.方向关系推理是空间推理研究领域的重要分支,利用区间代数及矩形代数理论,以物体的极小边界盒(minimum bounding rectang… …   相似文献

刘永山  郝忠孝 《软件学报》2006,17(5):976-982

无线自组织网络中能量有效的广播与组播

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

介绍了无线自组织网络能量有效的广播和组播问题,总结了近年来提出的各种能量有效的广播与组播算法及主要设计思想.首先概述了广播/组播技术,分析了其技术难点.然后介绍了自组织网络的通信模型和能耗模型,以及能量有效性的定义和优化目标.最后对现有的研究成果按照能量最小化和最大化生命周期这两… …   相似文献

李政  李德英 《软件学报》2010,21(8):2023-2036

加权光滑CHKS孪生支持向量机

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

针对光滑孪生支持向量机(smooth twin support vector machines,简称STWSVM)采用的Sigmoid 光滑函数逼近精度低和STWSVM 对异常点敏感的问题,引入一种性能更好的光滑函数——CHKS 函数,提出了光滑CHKS孪生支持向量机模型(smo… …   相似文献

丁世飞  黄华娟  史忠植 《软件学报》2013,24(11):2548-2557

基于分数阶微积分的噪声检测和图像去噪

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

目的 提出一种利用分数阶微分梯度检测图像中的噪声点,并用于改进基于分数阶积分的图像去噪算法性能的算法。方法 该算法首先使用不同方向的分数阶微分梯度模板与含噪声图像进行卷积,计算出图像在不同方向上的分数阶微分梯度,依据预先设定的阈值获得不同方向的分数阶微分梯度检测图,将在所有选定方向上梯度都发生跳变的像素点判定为噪声点;然后只对被检测出的噪声点,在8个方向上进行分数阶积分运算完成去噪处理。结果 通过在人工图像中分别添加高斯噪声和椒盐噪声以及在自然图像中分别添加高斯噪声和椒盐噪声的去噪对比实验得出相同结论,即只对图像中检测出的噪声点使用分数阶积分运算进行去噪有更好的去噪性能,获得了更好的视觉效果和更高的峰值信噪比。结论 实验结果表明,基于分数阶微分梯度的噪声检测算法对解决图像去噪和保留图像纹理细节之间的矛盾有所帮助。随着对基于分数阶微分梯度噪声检测方法研究的深入,对图像中噪声检测的准确度会进一步提高,这将提供一种用于改进目前去噪算法性能的研究方向。… …   相似文献

杨柱中  周激流  郎方年 《中国图象图形学报》2014,19(10):1418-1429