用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8981-9000项 搜索用时 453 毫秒
[首页] « 上一页 [445] [446] [447] [448] [449] 450 [451] [452] [453] [454] [455] 下一页 » 末  页»
8981.
二进制混淆技术在规避恶意软件分析、防止利用逆向工程篡改中发挥着重要的角色。一些广泛使用的混淆技术关注于基于语法的检测,基于语义的分析技术在很多年前也已经被提出以防止逃避检测。近年一些考虑到统计特征和基于语义的二进制混淆技术开始被提出,这些方法开始关注混淆的隐蔽性,但总体来说效率较… …   相似文献
8982.
  
安全系统是由许多子系统组成,每一子系统都必须满足一定的安全性质,但这不能保证由这些子系统组合而成的系统也是安全的,即组合的系统不一定也满足给定的安全性质,所以要求系统的安全性质满足可结合性.该文介绍了一种新的基于无干扰概念的多级安全性质,并证明了它是可结合的.  相似文献
8983.
下载全文  总被引：1，自引：0，他引：1
本文在分析现有验证技术的基础上,提出了实体自动机化简方法和错误优先的搜索算法(EFSA),同时介绍了根据上述策略建立的以ESTELLE为描述模型的协议自动验证系统APVS.  相似文献
8984.
  
聚类是在假设数据具有某种群聚结构的前提下根据观察到的无标记样本发现数据的最优划分。现有的聚类算法通常简单地导出假设结构和给定先验下最优或较优的聚类结果,体现为算法对样本分布拟合度的迭代最优化,即算法有效性。实际上,聚类的有效性取决于结构有效性、算法有效性和先验有效性3个方面的因素… …   相似文献
8985.
  
线性SVM具有算法简单、训练和测试速度快等优点,但不能用于解决线性不可分问题。为此,将样本数据集划分为多个集合并分别构造它们的LSVM,然后运用径向基函数的非线性组合来拟合非线性的决策函数,从而解决线性不可分问题。鉴于此,提出了一种适合非线性大样本分类的LSVM快速集成模型FME… …   相似文献
8986.
下载全文  总被引：8，自引：0，他引：8
基于模拟退火算法击和非完全Beta函数,提出了一种自适应红外图像对比度增强方法。首先基于输入红外图像的灰度直方圈给出一种有效的判据。对输入红外图像先利用所提出的判据判断图像的对比度类型．然后利用这个判据来确定灰度变换参数的搜索空间,进一步指导模拟退火算法的搜索方向和初值的选取,利… …   相似文献
8987.
下载全文  总被引：7，自引：0，他引：7
陆地表面温度(LST)反演一直是热红外遥感研究中的一大难题。目前,分辨率较高的Landsat5/TM数据是陆地表面温度(LST)反演的常用遥感信息源。然而,由于TM只有一个热通道,大多数情况下由TM6数据得到的都是星上亮度温度,与实际地表温度有较大差距。普适性单通道算法的提出为从… …   相似文献
8988.
下载全文  总被引：10，自引：1，他引：10
针对遗传算法GA(genetic algorithm)欺骗问题的某些特点,从理论上对变异算子进行分析,提出了解决GA欺骗问题的一种新的方法.该算法能够在遗传搜索过程中改变变异算子的方向和概率,使变异算子可调,这样可以有效地消除遗传算法中的欺骗性条件,保持群体的多样性,使GA能顺利… …   相似文献
黄焱  蒋培  王嘉松  杨敬安 《软件学报》1999,10(2):216-219
8989.
  
数据密集型应用越来越多,如何将大数据在数据中心实现有效放置变得日益重要。研究了大数据的放置模型。影响大数据放置的因素主要有:能耗、异构节点的服务能力及具有关联计算的数据集。基于这3个因素设计了一种节能、充分考虑异构节点服务能力及提升MapReduce处理Join连接的效率的大数据… …   相似文献
张桂刚 《计算机科学》2014,41(6):1-4,36
8990.
  
在执行软件维护任务中,开发人员经常需要在软件代码中寻找并理解与给定的功能性特征相关的程序元素(如类或方法),这一过程称为特征定位或概念定位。相关的经验研究表明,特征定位是一个以人为中心、信息密集型的探索和认知过程,包含交互式的信息探索、反馈和策略调整。基于这一思想,提出了一种多刻… …   相似文献
8991.
下载全文  总被引：1，自引：0，他引：1
数据切片体现了数据立方体某方面的数据特征,当产生数据切片的数据立方体由于某种原因不可访问时,通过已知的多个数据切片尽可能地恢复数据立方体中的原始信息,有利于对数据的深入分析和理解.提出了一种基于数据切片重建数据立方体的方法,通过数据切片的连接生成多维细粒度空间,利用数据覆盖操作逐… …   相似文献
曹蓟光  王申康 《软件学报》2002,13(8):1586-1592
8992.
下载全文  总被引：1，自引：0，他引：1
本文详细讨论了一个实用专家系统的开发技术,主要包括：ＦＬ知识表示法、定量化模型、知识库的组织与维护方法以及不确定推理方法．  相似文献
8993.
下载全文  总被引：3，自引：0，他引：3
构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论,探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类,它是数据和一组相关操作的统一体,程序开发的关键在于开发这些操作,本文重点讨论了开发这些操作的方法.  相似文献
8994.
下载全文  总被引：2，自引：0，他引：2
溯因问题是人工智能中的一个重要研究方向,它在许多领域中有着广泛的应用,但在很多情形下,溯因解释的求取是非常困难的．本文提供一种基于限定理论的溯因解释求法,对于满足完备性公理和正原因假设的理论,可以证明其限定中的相容解释就是溯因解释,并且对Ｈｏｒｎ子句集给出具体的求解算法.… …   相似文献
陈保平  孙吉贵 《软件学报》1997,8(4):316-320
8995.
  总被引：1，自引：0，他引：1
二分网络社区挖掘对复杂网络有重要的理论意义和应用价值。提出了一个基于矩阵分解的二分网络社区挖掘算法。该算法首先将二分网络分为两个部分,每个部分尽可能保存完整的社区信息,然后分别对两个部分进行递归的拆分,直至不能拆分为止。在拆分的过程中,应用矩阵分解,使得到的分解能与网络的相关矩阵… …   相似文献
8996.
  
概念格理论和粗糙集理论是两种不同的知识表示与知识发现的工具,都已被成功应用于许多领域.粗糙集理论的数据表现方式是信息系统,其研究基础是对象之间的等价关系;概念格理论的数据表现方式是形式背景,其研究基础是一种有序的层次结构--概念格.本文讨论了概念格理论与粗糙集理论之间的基本联系;… …   相似文献
8997.
下载全文  总被引：2，自引：1，他引：2
为了对医学图像进行快速鲁棒的认证提出了一种基于整数小波变换的易碎水印算法.该算法首先利用小波分解后的四叉树结构结合树节点上的统计信息和密钥来选择嵌入水印的位置,然后对确定嵌入水印的位置只嵌入1bit的水印信息.该算法具有以下特点：（1）图像嵌入水印后具有较高的信噪比,适用于医学图… …   相似文献
8998.
  总被引：3，自引：0，他引：3
虽然许多研究人员已认识到三维真实感声音在未来人机交互中的重要地位,但是三维真实感声音在计算机领域的真正实现仍有不少障碍有待克服．基于对声学及心理声学最新研究成果的调查和分析,本文设计并实现了一个基于神经网络方法的ＨＲＴＦ（ｈｅａｄ－ｒｅｌａｔｅｄｔｒａｎｓｆｅｒｆｕｎｃｔｉｏｎ）… …   相似文献
8999.
本文是[1]中内容的继续,讨论系统模型开发的形式化技术。基于多类一阶逻辑设计的概念模型语言CML可用来描述系统模型,并可用CMA对模型描述进行静态一致性和动态时序特性的检查。  相似文献
9000.
文章实现混合型多概念获取系统HMCAS(hybrid multi-concept acquisition system).无论在离散值或连续值输入下,HMCAS系统都可以实现增量式教师学习.HMCAS的核心算法HMCAP基于事例空间的概率分布,结合了符号学习和神经网络学习,能够以… …   相似文献
[首页] « 上一页 [445] [446] [447] [448] [449] 450 [451] [452] [453] [454] [455] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持