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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第361-380项 搜索用时 78 毫秒
[首页] « 上一页 [14] [15] [16] [17] [18] 19 [20] [21] [22] [23] [24] 下一页 » 末  页»
361.
下载全文  总被引：25，自引：2，他引：23
XML已经成为网络上信息描述和信息交换的标准.由于网络上信息的本质特性和XML数据内在的灵活性,很多用XML编码的数据都是半结构化的.随着XML应用得越来越广泛,人们提出了多种XML数据的存储模型.与此同时,XML的查询优化也是数据库领域研究的一个重要课题.综合论述了XML数据查… …   相似文献
孟小峰  王宇  王小锋 《软件学报》2006,17(10):2069-2086
362.
下载全文  总被引：4，自引：0，他引：4
提出一种云计算环境下的能效模型和度量方法.首先定义了能效的数学表达及其测量和计算方法,并推导出了能效最大值的发生条件;其次,为方便能效计算,改进了计算机功率和CPU工作状态之间关系的数学表达,通过CPU使用率和频率来计算能效,从而简化了能效测量方法,此外,还设计并实施了大量实验,… …   相似文献
363.
下载全文  总被引：13，自引：2，他引：11
随着网格技术研究和应用的不断深入,缺乏服务质量保证已成为制约网格应用的瓶颈之一.如何建立一个开放的、可扩展的体系结构,是当前支持端到端服务质量的服务网格体系结构研究的重要问题.提出了支持服务质量的服务网格层次体系结构(QESA),并通过对网格服务容器、信息服务与调度服务的服务质量… …   相似文献
胡春明  怀进鹏  沃天宇  雷磊 《软件学报》2006,17(6):1448-1458
364.
下载全文  总被引：2，自引：0，他引：2
作为解决信息过载问题的有效方式,推荐系统能够根据用户偏好对海量信息进行过滤,为用户提供个性化的推荐。但在推荐过程中,性能表现优异的协同过滤模型并没有充分利用上下文信息,这在一定程度上使系统面临性能瓶颈。为了进一步提高系统性能,从评分上下文信息着手,通过对项目评分进行分类统计获得评… …   相似文献
365.
下载全文  总被引：5，自引：0，他引：5
以基于服务组合的可信软件为研究对象,重点研究通过组合服务的动态演化机制保障网络化软件的可信性.首先,提出了一个合理性保持的演化操作集,避免复杂的验证过程,使得演化后的组合服务保持结构合理性;在此基础上,通过构造冗余路径的方式给出了一个面向可用性保障的组合服务演化方法;然后,针对组… …   相似文献
366.
下载全文  总被引：10，自引：0，他引：10
提出一种多项式复杂度的路径敏感静态缺陷检测算法.该方法采用变量的抽象取值范围来表示属性状态条件,通过属性状态条件中的变量抽象取值范围为空来判断不可达路径.在控制流图(control flow graph,简称CFG)中的汇合节点上合并相同属性状态的状态条件,从而避免完整路径上下文… …   相似文献
367.
  
在下一代移动通信中话音业务以外的数据业务将会越来越重要,其中文件共享类业务是数据业务发展的一个方向.本文提出了IMS(IP Multimedia Subsystem)网络中一种根据手机的位置,就近查找邻近手机实现手机文件共享的新业务,给出了业务描述,设计了系统结构和信令流程.… …   相似文献
368.
下载全文  总被引：6，自引：0，他引：6
近年来,超三代移动通信系统的QoS体系结构已成为计算机网络领域和通信领域的一个研究热点.调研了相关的主要研究项目,通过对重点项目和国外该领域相关论文成果进行分析和比较,总结出未来B3G(beyond 3rd generation)系统QoS体系结构应是一种全IP的、层次化的、端到… …   相似文献
林闯  曾荣飞  雷蕾  肖圳莎 《软件学报》2008,19(1):90-102
369.
下载全文  总被引：1，自引：0，他引：1
将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应对… …   相似文献
370.
下载全文  总被引：17，自引：1，他引：16
网格环境中资源的负载预测是实现资源优化分配的关键任务之一,而网格资源的动态性和异构性使得准确判断资源的负载状态十分困难.针对已有的分配策略对资源负载评估的不足,提出了一种基于序贯博弈的优化用户时间的网格资源分配策略.该策略将正比例资源共享的网格环境中多用户竞争同一计算资源的问题形… …   相似文献
李志洁  程春田  黄飞雪  李欣 《软件学报》2006,17(11):2373-2383
371.
下载全文  总被引：5，自引：1，他引：4
代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到20世纪90年代中后期才被越来越多的计算机学者关注.代数从\"构造\"的角度研究数据类型,而共代数则从\"观察\"的角度考察系统及其性质.共代数方法对研究基于状态的系统有独特的优… …   相似文献
周晓聪  舒忠梅 《软件学报》2003,14(10):1661-1671
372.
下载全文  总被引：3，自引：0，他引：3
利用双线性对构造了一个高效的无证书聚合签名方案,在随机预言机模型下给出了方案的安全性证明,其安全性基于计算Diffie-Hellman难题.与已有的无证书聚合签名方案相比,本文方案更能提高签名验证与传输效率,因聚合签名的验证只需要计算4个双线性对,签名的长度是固定的,仅有320b… …   相似文献
373.
  总被引：21，自引：0，他引：21
1 引言世纪之交,人类面临着新的问题:不缺数据缺知识。随着数据库技术的成熟和数据应用的普及,人类积累的数据量正以指数速度增长。例如,Wal Mart公司每天要处理二千万个事务;美国航天局1999年发射的地球观测系统每小时要产生50Gb的图像数据等。毫无疑问,这些庞大的数据库及其中… …   相似文献
374.
图像去噪是图像处理邻域的重要课题,该文在3维直方图的基础上定义图像的3维轴距,分析无噪声及椒盐噪声影响下图像3维轴距的分布特点,提出基于3维轴距的去噪算法。算法首先对图像进行边沿扩展,再利用3维轴距来检测噪声,最后用非噪声中值滤波来消除噪声。仿真比较了3维轴距去噪算法与中值滤波、… …   相似文献
375.
研究了Deep Web集成环境中构件的依赖关系(执行偏序依赖和知识依赖),并在此基础上提出了一种基于知识的环境变化的处理方法,包括Deep Web集成环境变化处理模型以及适应Deep Web环境变化的动态体系结构和处理算法,可以对大规模Deep Web集成的进一步探索和走向应用提… …   相似文献
376.
下载全文  总被引：47，自引：0，他引：47
当今万维网的规模已经快速发展到包含大约80亿个网页和560亿个超链接．此外,对万维网的创建进行全局规划显然是不可能的．这些都对万维网的相关研究提出了挑战．另一方面,互联网环境下通过超链连接起来的网页,为人们的日常和商务用途提供了非常丰富的信息资源,但前提是必须掌握有效的办法来理解… …   相似文献
王晓宇  周傲英 《软件学报》2003,14(10):1768-1780
377.
下载全文  总被引：4，自引：1，他引：3
提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解决了服务动态演化中公共数据的一致性问题和动态演化问题;探讨了服务动态演化中服务增、减等问题… …   相似文献
张仕  黄林鹏 《软件学报》2008,19(5):1201-1211
378.
下载全文  总被引：6，自引：0，他引：6
为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;E… …   相似文献
雷丽晖  段振华 《软件学报》2007,18(12):2980-2990
379.
提出了一种应用动态描述逻辑对被诊断系统进行分析的方法.动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为.给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性.同时,给出了故障诊断器的构造算法.该故障诊断器通过实时地观察系统的行为完成故障诊断.以例子对算… …   相似文献
王竹晓  杨鲲  史忠植 《软件学报》2010,21(2):248-260
380.
下载全文  总被引：13，自引：2，他引：11
在典型相关分析算法(canonical correlation analysis,简称CCA)的基础上,通过引入以成对约束形式给出的监督信息,提出了一种半监督的典型相关分析算法(Semi-CCA).在此算法中,除了考虑大量的无标号样本以外,还考虑成对约束信息,即已知两样本属于同一… …   相似文献
彭岩  张道强 《软件学报》2008,19(11):2822-2832
[首页] « 上一页 [14] [15] [16] [17] [18] 19 [20] [21] [22] [23] [24] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持