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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9481-9500项 搜索用时 125 毫秒
[首页] « 上一页 [470] [471] [472] [473] [474] 475 [476] [477] [478] [479] [480] 下一页 » 末  页»
9481.
在形式规格说明的获取任务中,一个重要问题是验证获取得到的形式规格说明的正确性.即给定一个问题需求P,往往可以获取多种不同形式的规格说明,如何验证这些不同形式的规格说明均正确?问题需求的非(半)形式化与形式规格说明的形式化两者之间差异的本性,使得该问题成为软件需求工程中一个具有挑战… …   相似文献
王昌晶  薛锦云 《软件学报》2013,24(4):715-729
9482.
下载全文  总被引：5，自引：0，他引：5
介绍一种在计算机上生成Ｍａｎｄｅｌｂｒｏｔ集和Ｊｕｌｉａ集图象的简易算法。该算法对计算机的软硬件要求均不高,在普通的微机以及工作站上均可实现。  相似文献
9483.
  
CPS(Cyber-Physical System)系统中的Cyber系统旨在根据用户要求,应用计算、通信和控制等技术实现对现实世界物理行为的精准控制.物理行为是连续和并发的,而Cyber行为是离散的,这种异构性给Cyber系统行为的分析和设计带来了巨大的挑战,迫切需要一种精确的… …   相似文献
9484.
下载全文  总被引：1，自引：0，他引：1
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.  相似文献
丁志军  蒋昌俊 《软件学报》2002,13(12):2305-2316
9485.
  
研究了基于单载波频分多址(SC-FDMA)的宽带认知无线电网络中非授权用户(NU)的最优功率分配(OPA)问题.首先给出了基于SC-FDMA的宽带认知无线电网络中非授权用户对授权用户的干扰功率模型.在此基础上,分别在下述两种约束条件下利用凸优化理论推导出了两种使非授权用户的和速率… …   相似文献
王振朝  马明磊  李延 《计算机科学》2015,42(4):56-59, 88
9486.
  总被引：1，自引：0，他引：1
针对人脸识别在复杂环境下识别率低的问题,提出了一种基于梯度直方图(HOG)多特征融合与随机森林的人脸识别方法.该方法通过HOG特征描述子对人脸进行特征提取.首先以网格作为采样窗在整个人脸图上进行整体HOG特征的提取,并将人脸图像分成均匀子块,在包含有人脸关键部分的子块中提取局部H… …   相似文献
郭金鑫  陈玮 《计算机科学》2013,40(10):279-282
9487.
  
访存指令的乱序执行会导致存储相关性冲突。存储相关性预测技术能够减少相关性冲突,提升处理器性能。已有学术研究工作普遍存在硬件开销大、实现复杂度高的不足;商业处理器中的存储相关性预测技术虽然实现简单,但又存在不具有自适应性或不利于利用指令并行性等问题。设计了一种简单、高效的存储相关性… …   相似文献
9488.
下载全文  总被引：9，自引：0，他引：9
LKH(logical key hierarchy)方法是安全多播实时密钥更新中常用的方法.LKH对所有成员的行为没有进行区分,在具有相同成员变化概率的情况下,具有较高的效率.但当组成员具有不同的变化概率,或者成员行为模式不同时,LKH的效率与最佳值的差距将会变大.在已知成员变化… …   相似文献
许勇  陈恺 《软件学报》2005,16(4):601-608
9489.
  
特征选择已经成为一种对高维数据进行预处理的必不可少的手段。随着数据规模的爆炸性增长,传统的特征选择算法已经不能满足当前高维大规模数据的处理要求。采用Google的MapReduce编程模型,设计了一种分布式的基于局部学习的特征选择算法D-logsf。在多个现实和合成数据集上的实验… …   相似文献
陆江  李云 《计算机科学》2015,42(8):44-47, 81
9490.
下载全文  总被引：1，自引：0，他引：1
机载激光雷达数据具有直接描述对象几何特征、便于表达空间不连续变化等优势,是建筑物重建的主要数据源之一。为实现基于激光雷达点云数据的模型自动重建和解决现有方法存在的问题,提出了一种基于特征线提取、面向简单规则建筑物的重建方法。该方法以投影为基础,以平高分解为手段,通过在多个投影平面… …   相似文献
9491.
下载全文  总被引：1，自引：0，他引：1
提出了一种具有中断时间代价的抢先调度问题(P|ptmn(δ)|Cmax):在抢先调度中,一个任务发生一次中断,其总的执行时间会增加一个δ.该问题在工程任务分配、分布式计算和网络通信等实际问题中有着广泛的应用背景.证明了这是一个NP-hard问题,给出了一个时间复杂度为O(nlogn+m)的脱线近似算法LPT-Wrap,其近似比小于等于1.40825,并分析了P|ptmn(δ)|Cmax的在线特性,给出一个线性时间复杂度的在线近似算法,其竞争比为2.… …   相似文献
孙广中  陈国良  许胤龙  顾钧 《软件学报》2002,13(8):1606-1611
9492.
提议对加权库进行分层,一方面符合人类的思维习惯,另一方面能够提高推理效率.首先说明现有的针对非分层加权库的编译方法也适用于编译分层加权库,但是,由于存在较多冗余信息而效率不高.提出一种新的编译方法,能够在编译过程中去除冗余信息,并提出两种优化技术提高时间效率.该方法与现有方法相同… …   相似文献
赖永  刘大有 《软件学报》2012,23(10):2550-2563
9493.
为适应遥感图象较高倍率准无损压缩的需要 ,改进了 JPEG- L S算法 ,该算法首先通过放宽游程检测门限 ,并通过引入局部梯度控制下的预测来增加平均游程长度 ,以提高压缩比 ;然后通过在游程编码区域附加误差修正编码及通过重构图象平滑滤波来改善重构图象的目视效果和提高 PSN R… …   相似文献
9494.
下载全文  总被引：10，自引：2，他引：10
为了在滤除图象椒盐噪声的同时能很好地保持图象的细节,提出了一种新颖的图象椒盐噪声非线性自适应滤除算法。该方法首先在噪声图象的滤波窗口中去除具有最大和最小灰度值的象素,然后求取剩余象素的均值,计算出该均值与对应的象素灰度值的差值,再通过与阈值相比较,确定是否用求得的均值代替原噪声图… …   相似文献
9495.
下载全文  总被引：13，自引：0，他引：13
挖掘关联规则是数据挖掘研究的一个重要方面．文章在分析其基本模型和研究多维标度基本性质的基础上,提出一个新的基于多维标度的挖掘关联规则算法．该算法以数据项间的关联度量为依据,将各个数据项投影到多维空间上,进行降维处理,最后将数据项集间的关联关系以可视结果提供给用户.  相似文献
9496.
下载全文  总被引：1，自引：0，他引：1
为了避免复杂的双线性对运算和提高签密机制的性能,Liu等人提出了一种不使用双线性对的无证书签密机制.同时,随机谕示模型下证明了机制是可证安全.通过给出具体的攻击算法,证明了Liu等人所提出的机制不能抵抗类型1敌手的攻击.为了抵抗这种攻击,给出了一种有效的方法.  相似文献
何德彪 《软件学报》2013,24(3):618-622
9497.
  总被引：4，自引：0，他引：4
OMNET 是一个为大型网络提供开源的、基于组件的、模块化的开放网络仿真平台.针对无线传感器网络的仿真特点,将OMNET 与NS2一些主要性能指标进行比较;在相同仿真条件下,选取报文投递率、运行时间和内存消耗指标在OMNET 与NS2上分别进行定向扩散对比实验,证明OMNE… …   相似文献
9498.
下载全文  总被引：3，自引：1，他引：3
在MS SQL Server中如何处理记录条数2000万以上且每日增加20万条的数据表,相信是很多开发人员面临的难题。本文以实际案例描述了此问题的解决方法及其存在的问题。在SQL Server 2000中,可以通过分区视图的定义来支持大数据量表的水平拆分和查询时的数据合并,且查询… …   相似文献
9499.
提出了一种基于加权方差投影函数(WVPF )的眼角定位方法。该方法利用Haarlike 特征训练级联分类器,定位眼角的粗略位置。同时,采用Harris角点检测中的角点响应函数作为加权因子函数,构建了加权方差投影函数。考虑到眼角的角点特征,眼角位置在眼角区域内的水平加权方差投影曲… …   相似文献
9500.
  
随着无线体域网技术的快速发展,移动医疗社交网络作为一个前景广阔的移动健康监测系统应运而生.然而,当前移动医疗社交网络中还存在一些隐私安全问题,例如,当选择病症匹配的对象时如何确保患者的隐私不泄露,以及如何确保对象间通信时的私密性.首先提出了一个匹配度量函数计算协议,通过这个协议患… …   相似文献
[首页] « 上一页 [470] [471] [472] [473] [474] 475 [476] [477] [478] [479] [480] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持