基于对象的软件行为模型

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

以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为… …   相似文献

傅建明  陶芬  王丹  张焕国 《软件学报》2011,22(11):2716-2728

目标特征指导的多分辨率体绘制算法

  

多分辨率体绘制是解决海量数据体绘制的一种有效方法。但对于数据散乱分布、同质区域较小的体绘制数据（比如物探领域的地震信号数据）,传统的基于香农熵或均方差的多分辨率方式均难以有效实现降低数据量的效果。本文提出了一种基于目标特征的多分辨率体绘制方法。以数据体中的目标特征为指导,适当降低… …   相似文献

郭思奇  鲁才  聂小燕 《中国图象图形学报》2014,19(2):283-289

基于可信度的辩论模型及争议评价算法

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

辩论是智能主体间为了消除分歧的一种基于言语的交互行为.由于知识的局限性,争议以及争议内部的陈述通常存在不确定性,因此在对辩论进行建模时需要考虑不确定信息处理问题.提出一种基于可信度的辩论模型（CFA）,该模型将争议表示为由若干前提和一个结论组成的可废止规则,并用对话树描述辩论推演… …   相似文献

熊才权  欧阳勇  梅清 《软件学报》2014,25(6):1225-1238

无线传感器网络中面向目标流的反应覆盖方法

下载全文  

提出了覆盖质量随时间变化的反应覆盖策略.反应覆盖的主要思想是:当目标流没有到达任务区域时,网络的覆盖强度最低,但是能够检测目标流的到达,以节省能量;当目标流到达时,节点被唤醒,网络为目标流提供高质量的感知覆盖;当目标流离开网络时,节点又进入低能耗的监视状态.因此,反应覆盖比静态覆… …   相似文献

温俊  窦强  蒋杰  齐星云  窦文华 《软件学报》2010,21(8):1982-1997

自主构件自适应策略的在线定制及动态评估

下载全文  

开放分布式环境下自适应软件的研究已引起学术界、工业界的广泛关注.但分布在网络上的软件实体是由不同的组织独立开发并部署的,它们代表各自的组织(或所有者)自主地采取行动,在构造分布式环境下的自适应系统时,不能再将构成单元视为被动的受管对象,而应将其建模为具有主动行为能力的计算实体,并… …   相似文献

接钧靖  史庭训  焦文品  孟繁晶 《软件学报》2012,23(4):802-815

Said-Bézier型广义Ball曲线显式降多阶

下载全文  

给出了计算Said-Bézier型广义Ball曲线(SBGB曲线)在L₂范数下保持端点约束的一种最佳降多阶算法.基于SBGB基函数、幂基函数和Jacobi基函数之间的相互转换关系,得到了SBGB基函数和Jacobi基函数之间的显式转换矩阵;进一步利用Jacobi基的正交性和上述转换矩阵的逆矩阵,导出了SBGB曲线在L₂范数下的显式约束降多阶算法.此算法蕴含了Said-Ball曲线、Bézier曲线以及位置介于这两类曲线之间的一大类参数曲线的相应降多阶算法.证明了这是一种可以预报最佳误差且满足端点高阶约束的一次性降多阶算法.最后用数值实例说明了算法的正确性和优越性.… …   相似文献

刘刚  王国瑾 《软件学报》2010,21(6):1473-1479

扩展自适应中值滤波器的原理与实现

  总被引：5，自引：1，他引：5

在图像处理领域中噪声滤除是图像预处理阶段一项必不可少的工作。在许多场合都会遇到高强度噪声的图像,特别是椒盐噪声的滤除非常困难。本文对空间域的常用噪声滤波技术的不足进行了分析,提出了一种新的滤波器技术——扩展自适应中值滤波器技术。该技术不仅继承了原自适应中值滤波器技术的优点,而且还… …   相似文献

贾洪涛  朱元昌  王建华 《中国图象图形学报》2004,9(8):947-950

基于改进EOH特征的行人检测

  

行人检测是物体检测领域的一大难点。为了进一步提高行人检测的精度和速度,将Kobi Levi和Yair Weiss提出的边缘方向直方图特征和传统的Adaboost算法两者有机地结合起来,提出了一种基于改进的EOH特征的行人检测算法。该算法首先对原先只适用于较为简单的人脸检测的EOH… …   相似文献

周千昊  戚飞虎 《中国图象图形学报》2008,13(10):1861-1864

智能CAD工具

下载全文  

本文介绍我们开发的运用人工智能技术的CAD工具:演绎CAD数据库;具有推理能力并内含演绎版图数据库的版图语言;能从晶体管网络中识别基本逻辑单元和从基本逻辑单元网络中识别复杂逻辑电路的电路识别工具。  相似文献

杨乔林 《软件学报》1990,1(2):48-55

基于特征选择和半监督学习的遥感图像检索

下载全文  

随着卫星遥感技术的不断发展,基于内容的遥感图像检索技术越来越受到关注。目前该方向的研究主要集中在对遥感图像中不同特征的提取和融合方面,这些方法普遍忽略了这样一个事实：对于不同类型的检索目标,特征应该是不同的。另外,小样本问题也是遥感图像检索中一个较为突出的问题。基于以上两方面考虑… …   相似文献

朱佳丽  李士进  万定生  冯钧 《中国图象图形学报》2011,16(8):1474-1482

WSANs 中基于实时性约束的actor 节点优化部署策略

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

旨在研究基于实时性约束的actor节点优化部署策略.由于WSANs通常是随机播撒的,导致基于实时性约束的actor节点优化部署问题是NP难问题.因此,提出了基于Voronoi图的最大实时覆盖部署策略,并通过实验,与现有针对区域覆盖的部署策略进行对比.该部署策略可以使WSANs获得… …   相似文献

车楠  李治军  姜守旭 《软件学报》2011,22(6):1361-1372

一种集成组播代理和操作转换的并发控制方法

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

摘　要：现有的分布式实时协作系统多采用操作转换的方法来提供并发控制服务,但是在系统数据量很大时,系统性能不高.为解决这一问题,提出了一种新的并发控制方法madOPT:该方法利用对象所定义的操作的语义进行冲突解析,集数据对象的动态载入、数据传输和操作转换功能为一体.madOPT改进… …   相似文献

杨武勇  史美林  姜进磊 《软件学报》2004,15(4):497-503

衡量结构保持性能的SAR图像去噪质量评价

下载全文  

现有相关图像质量评价方法均不能恰当衡量合成孔径雷达(SAR)图像去噪的结构保持性能,为此提出无参考的IENLR(improved equivalent number of looks of ratio image)评价方法.首先总结了已有的相关图像质量评价方法,分析其在衡量结构保… …   相似文献

唐益明  杨学志 《中国图象图形学报》2013,18(7):866-875

CLAHE和细节放大相结合的档案图像增强方法

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

图像增强可提高扫描档案图像的质量,关系到档案图像信息系统的生命。运用CLAHE可以进行全局对比度拉伸,运用Lee滤波器可进行局部细节放大,将两者结合可形成放大细节的CLAHE方法。对结合的方法从两方面进行改进,一是引入噪声抑制措施,使得Lee滤波器只放大图像细节而不放大噪声;二是… …   相似文献

杨有  李波 《中国图象图形学报》2011,16(4):522-527

MD5碰撞攻击中的充要条件集

下载全文  

通过分析MD5中非线性函数的性质以及模2³²减差分和异或差分的性质,证明了Liang Jie和Lai Xuejia 给出的产生MD5碰撞的充分条件集中的条件是保证第23～62步的差分路径满足的充要条件,给出了保证第63、64步的输出差分满足的充要条件集.利用得到的充要条件集,提出了对MD5的改进的碰撞攻击算法,该算法的平均计算复杂度约为已有碰撞攻击算法的0.718 7倍,并通过实验对该算法的改进效果进行了验证.… …   相似文献

陈士伟  金晨辉 《软件学报》2009,20(6):1617-1624

一种基于简单笔画交互的迭代图像抠图方法

  

为了获得精确的和视觉上连续的抠图结果,提出了一种基于简单笔画的图像抠图方法,该方法仅需要用户以少量笔画和拖拽矩形框的方式指定前景和背景像素即可实现。该方法从亮度,纹理和空间位置多特征空间考虑像素的分布,首先建立了鲁棒的颜色分布模型;然后在此基础上,定义采样约束函数,再来获取精确的… …   相似文献

吴玉娥  何发智  张胜龙  陈钊  黄志勇 《中国图象图形学报》2010,15(12):1769-1775

一种实现数据主动泄漏防护的扩展中国墙模型

下载全文  

中国墙模型具有能够同时提供自主控制和强制控制的特性,因而被广泛应用于商业领域中,以防止有竞争关系的企业之间的信息流动而导致利益冲突.但是由于对读写约束过于严格,因而应用范围有限,特别是在数据泄漏防护的应用中未能发挥其优越性.针对数据泄漏防护对信息流动的控制需求,从数据客体的角度出… …   相似文献

马俊  王志英  任江春  伍江江  程勇  梅松竹 《软件学报》2012,23(3):677-687

传值进程模型检测中诊断信息的生成

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

诊断信息自动生成是模型检测方法的基本特征之一,对分析和排错具有重要的意义,讨论了传值进程模型检测中诊断信息的生成问题,引入了两种诊断信息的表示结构：证明图和示例;提出了两种诊断信息的构造算法,所采用的方法是从检测过程保存的依赖信息中抽取证明图和示例,这样可以继承已有的信息,从而减… …   相似文献

刘剑  林惠民 《软件学报》2003,14(1):1-8

UML模型和Java代码之间的一致性检测方法

  

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调… …   相似文献

曾一  李函逾  刘慧君  余双双  周波 《计算机科学》2015,42(4):151-155

基于任意给定训练集的离散型Hopfield网学习算法

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

本文提出了一个离散型Hopfield网联想记忆学习算法,该算法增加了训练样本的维数,因而能存储任意给定的训练模式集.实验结果也证明了该方法的有效性.  相似文献

孟祥武  程虎 《软件学报》1998,9(3):213-216