•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第3721-3740项 搜索用时 104 毫秒
[首页] « 上一页 [182] [183] [184] [185] [186] 187 [188] [189] [190] [191] [192] 下一页 » 末  页»
3721.
下载全文  总被引:3,自引:0,他引:3
为了在n值命题逻辑系统中建立一种程度化推理机制,并为其提供一个可能的近似推理框架,利用势为n的均匀概率空间的无穷乘积,在n值G?del命题逻辑系统中引入命题的α-真度概念.证明了一般真度推理规则,给出了判定α-重言式的充分必要条件,并利用命题的α-真度定义了命题间的α-相似度,进… …   相似文献
李骏  王国俊 《软件学报》2007,18(1):33-39
3722.
下载全文  总被引:12,自引:0,他引:12
提出了一种基于智能体的多目标社会进化算法用以求解多目标优化问题(multiobjective optimization problems,简称MOPs),通过多智能体进化的思想来完成Pareto 解集的寻优过程.该方法定义可信任度来表示智能体间的历史活动信息,并据此确定智能体的邻… …   相似文献
潘晓英  刘芳  焦李成 《软件学报》2009,20(7):1703-1713
3723.
  总被引:23,自引:0,他引:23
工作流模型作为工作流管理系统的起点,对企业业务过程逻辑及其业务活动依赖关系进行抽象表示,它已成为当前工作流建模研究的重点。对工作流过程模型的研究现状进行综述,主要包括模型理论基础、当前工作流模型的不足之处,并且指出了工作流过程模型的发展趋势,为工作流建模的进一步研究提供基础。… …   相似文献
3724.
  总被引:1,自引:1,他引:1
提出了两种提高回归测试自动化程度的技术。其中一种技术采用数据驱动的方式,使得测试脚本成为可以驱动所有类似测试用例组的通用脚本,同时,实现了测试执行和测试逻辑的分离,使得测试用例的修改和维护更加容易。介绍的另一种技术使用附加的动态链接库来恢复被测软件的图形界面状态,使得软件图形界面… …   相似文献
3725.
  
测试用例集扩充问题(Test Suite Augmentation)是回归测试研究的一个最新研究热点.在完成代码修改影响分析后,对已有测试用例集的充分性进行评估,若不充分则设计新的测试用例,以确保对代码修改的充分测试.但到目前为止,国内外学者并未对该研究问题的已有研究成果进行系统… …   相似文献
3726.
下载全文  总被引:17,自引:0,他引:17
探讨了基于数字签名的多媒体信息认证系统的身份认证机制和内容认证机制,分析了其基本构成以及安全性和存在的安全缺陷,提出了一种结合数字签名和数字水印的多媒体信息认证方案.系统采用双重身份认证机制和易碎水印内容认证机制,使得非法接触以及修改、伪造多媒体信息的内容都是不可能的.分析表明,… …   相似文献
3727.
  总被引:1,自引:0,他引:1
随着统计分析中数据规模和复杂性的不断增加,高性能计算也开始在金融、经济和管理等统计计算主导的领域中发挥重要的作用。将对基于R的统计分析中并行计算技术的发展现状和最新进展做一个综述,重点从用户的角度考察R在不同体系结构计算平台上并行统计计算的实现。一个人造和真实应用的测试表明了其应… …   相似文献
3728.
下载全文  总被引:27,自引:1,他引:27
详细介绍了在Linux环境下基于规则的分布式网络入侵检测系统NetNumen.同现有的网络入侵检测系统相比,NetNumen将异常检测(检测包到达频度的异常)和特征检测(检测特定攻击和攻击工具的固有特征)有机地结合起来,对DoS(denial of service),DdoS(d… …   相似文献
李旺  吴礼发  胡谷雨 《软件学报》2002,13(8):1723-1728
3729.
  
提出了一种新的基于掩蔽效应的音频信号隐藏方案,利用宿主音频信号的心理学模型得到的掩蔽阈值,对伪随机序列调制后的隐藏消息进行频域掩蔽,将掩蔽后的伪随机消息嵌入宿主音频。该方法充分利用了人耳听觉系统(HAS)的掩蔽效应,同时利用伪随机信号的相关性,能够对嵌入后的音频信号进行盲提取得到… …   相似文献
3730.
为克服固定先验形状在分割可变形目标时的困难,提出一种基于核主元分析(KPCA)的参数自适应先验形状约束水平集分割方法.首先使用KPCA变换获取目标先验形状特征空间的基底向量;其次用Parzen窗估计待分割图像的灰度分布以构造图像数据能量项;然后使用仿射变换对齐图像感兴趣区域与先验… …   相似文献
3731.
发布/订阅系统技术具有异步、松散耦合和多对多通信的特点,有着广阔的应用前景.但是,已有的发布/订阅系统技术不能满足动态环境下有延迟需求的应用要求.针对时间约束问题,扩展了发布/订阅系统的语法,建立了延迟模型,提出了一种基于收益机制的分布式发布/订阅系统时间约束保障技术和使系统获益… …   相似文献
马建刚  黄涛  徐罡  汪锦岭  叶丹 《软件学报》2008,19(7):1590-1602
3732.
针对小波阈值法在去除遥感图像高斯噪声时,所存在的由于过度\"扼杀\"小波系数而引起的模糊边缘问题,以及P-M模型通常会使图像的灰度趋于分段常量而产生所谓的\"块状\"效应问题。提出小波域偏微分方程(PDE)遥感图像去噪模型,该模型通过对遥感图像进行小波分解,保持低频子带信息,而只… …   相似文献
3733.
下载全文  总被引:1,自引:2,他引:1
介绍了现有的用户识别算法,针对用户识别目前存在的问题提出了IASR(IP,Agent,Session and Referrer)用户识别算法.该算法采用重写URL的用户跟踪技术,引入会话(Session)来识别用户,能够高效准确地识别访问同一代理服务器的不同用户,很好地解决同一用… …   相似文献
3734.
面向情感计算的面部表情研究得到快速发展,人机交互中得到表情的可信分析成为研究热点.提出预动环境中协同依赖的表情分析模型,设计协同信任算法,实现对表情的可信分析.首先,根据个体的表情结构与特征证据的关系提出预动环境中可协同交互的表情分析模型;然后,引入协同理论扩展特征证据,设计协同… …   相似文献
3735.
提出一种基于局域Radon变化的SAR图像尾迹提取算法,该算法首先利用滑窗对图像进行标准差归一化处理,以突出图像中灰度与海面背景有明显差别的区域;选出突出的像素点,并根据策略将其灰度值用某些常数代替;接着在局域Radon变换中,积分值对应于这些区域线性特征的长度,通过设定阈值去除… …   相似文献
3736.
结合小波变换和Contourlet变换的多尺度、多分辨的共性及这两种变换分别适合处理点奇异和线奇异的特点,提出了一种新的联合使用小波正则项和Contourlet正则项的遥感图像恢复算法。算法中逆问题的求解等价于一个无约束凸规划的求解问题,目标函数由观测图像的拟合优度和正则项组成,… …   相似文献
3737.
下载全文  总被引:1,自引:1,他引:1
由于基于图像高层语义信息的图像检索与传统的图像特征匹配检索相比,在检索的准确性、结果相关性以及降低误检率等方面具有明显的优势,因此高效的图像检索方法应该充分利用图像蕴涵的高层语义信息。为了利用图像的高层语义信息来进行图像检索,在深入研究图像高层语义的低层特征描述的基础上,提出了图… …   相似文献
3738.
在生物信息学中,蛋白质序列比对是最为重要的算法之一,生物技术的发展使得已知的序列库变得越来越庞大,这类算法本身又具有计算密集型的特点,这导致进行序列比对所消耗的时间也越来越长,目前的单核或者数量较少的多核系统均已经难以满足对计算速度的要求.Godson-T是一个包含诸多创新结构的… …   相似文献
叶笑春  林伟  范东睿  张浩 《软件学报》2010,21(12):3094-3105
3739.
下载全文  总被引:3,自引:0,他引:3
热力学遗传算法(thermodynamical genetic algorithms,简称TDGA)借鉴固体退火过程中能量与熵的竞争模式来协调GA中\"选择压力\"和\"种群多样性\"之间的冲突.然而TDGA目前极高的计算代价限制了其应用.为了提高TDGA的计算效率,首先定义一种… …   相似文献
3740.
下载全文  总被引:2,自引:0,他引:2
为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一.这类方法着眼于检测扩展之间是否会发生冲突.虽然在小规模… …   相似文献
左继红  王千祥  梅宏 《软件学报》2007,18(1):94-104
[首页] « 上一页 [182] [183] [184] [185] [186] 187 [188] [189] [190] [191] [192] 下一页 » 末  页»