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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9161-9180项 搜索用时 117 毫秒
[首页] « 上一页 [454] [455] [456] [457] [458] 459 [460] [461] [462] [463] [464] 下一页 » 末  页»
9161.
针对蚁群优化算法的关键步骤--信息素轨迹更新过程进行了深入分析.通过理论上的证明和实验验证,提出了信息素轨迹更新中存在着一个利用-探索困境;在此基础上针对这个现象提出了一种基于Metropolis接受准则的信息素更新策略,并通过在不同规模的TSP上的实验,证明了这种新策略的有效性… …   相似文献
9162.
下载全文  总被引：1，自引：0，他引：1
Chi-演算是将π-演算中两类受限名统一后得到的.多态Chi-演算扩充了Chi-演算的通信能力,使得一次通信可传递多个信息.元Chi-演算是在省略多态Chi-演算的前缀操作子之后得到的子语言.研究了元Chi-演算的互模拟等价关系,证明了在某种意义下,元Chi-进程之间只有一个互模… …   相似文献
林敏  傅育熙 《软件学报》2001,12(12):1793-1800
9163.
本文从分析中文域名系统实现需要的基本功能模块出发,将域名系统分为应用层、表示层和寻址定位层3层结构。并简单说明了应用层应具备哪些功能,重点讨论了起关键作用的表示层中的中文域名统一编码的Puny-code编码实现流程,分析了寻址定位层中基于IPv6地址下的中文域名正反向解析方法,从… …   相似文献
9164.
下载全文  总被引：1，自引：0，他引：1
Apache是Internet中最流行的Web服务器软件之一。世界上可能有超过半敏的网站采用Apache作为Web Sever.Apache提供了许多有特色的服务功能,虚拟主机就是主要功能之一。本文主要讨论Apacche的虚拟主机的配置及应用。  相似文献
9165.
下载全文  总被引：1，自引：0，他引：1
基于对偶模型理论,从公平性、稳定性和可扩展性三个方面结合多个发展线索,对因特网拥塞控制研究的发展和近况进行综述,并阐释和辨析了一些重要概念和算法,如网络拥塞控制算法的公平性概念,基于窗口调整和基于速率调整的端节点算法,调度算法与主动队列管理算法,端节点算法、中间节点算法与对偶模型… …   相似文献
9166.
现有MPTCP的数据调度方案无法满足多路径的动态变化,出现链路传输性能降低的问题.通过对每条路径上的ACK数、往返时延进行预测,提出一种前向预测速度调度方法.利用NS-3对该算法仿真,表明该算法能提高吞吐量,更加合理,并使负载更加均衡.  相似文献
9167.
下载全文  总被引：1，自引：0，他引：1
研究了一个制造商领导市场、一个零售商和一个第三方回收商共同负责回收且跟随决策的再制造闭环供应链系统。对制造商领导博弈时的四种不同市场结构下(M→R+T、M→R→T、M→T→R和M→C)的闭环供应链的各方决策变量值以及利润值进行计算及分析,最后采用重复博弈方法对避免劣市场结构(M→… …   相似文献
9168.
为了提高分子动力学模拟在对称多处理(SMP)集群上的计算速度,在分子动力学并行方法中引入MPI+TBB的混合并行编程模型.基于该模型,在分子动力学软件LAMMPS中设计并实现混合并行算法,在节点间采用MPI及空间分解技术实施进程级并行,节点内采用TBB及临界区技术实施线程级并行.… …   相似文献
9169.
研究了多域光网络中的路由保护问题;为了克服多域光网络中可扩展性约束,提出了一种混合拓扑聚合方法.该方法结合了全连通和生成树拓扑聚合的优点,在网络中需要存储和发布的链路状态信息与聚合信息反映实际物理拓扑的精确性之间进行了折中;然后在此混合拓扑聚合方法的基础上,提出了一种基于查询机制… …   相似文献
9170.
  
为了应对互联网环境的开放性和动态性,加强对Web服务态势的管控,并为自主Web服务应用的开发提供支持,对传统的SOA架构进行了扩展,提出了一个面向自主化Web服务的注册中心模型。该注册中心不仅支持Web服务的基本注册功能,还提供了对Web服务态势信息的管理能力。介绍了自主服务的生… …   相似文献
9171.
  总被引：10，自引：0，他引：10
从模糊信息量入手,对复合模糊命题的真值及其模糊信息量的计算进行了探讨,提出了一种新方法.此方法既考虑了子命题的逻辑关系,又考虑了子命题的相对重要程度而不丢失过多信息.实验证明,这种方法克服了封闭性、信息丢失、二义失效和全同失效的缺陷,能获得较合理的结果.  相似文献
刘纯武  孙即祥 《软件学报》1998,9(11):857-860
9172.
下载全文  总被引：1，自引：2，他引：1
本交通过实例介绍实现Java语言程序设计中的数据交换和通信技术的几种方法,并给出具体实现的关键部分程序代码。  相似文献
9173.
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ）,并且在证明所定义的证明网是可矢列化时更加自然和简单．  相似文献
9174.
下载全文  总被引：1，自引：0，他引：1
介绍电子内窥镜图像传输系统的设计及实现,包括系统的硬件设计和软件功能实现.用PCI接口控制器实现PCI总线接口,用DMA方式将图像数据由PCI总线传送至主杌内存,操作员只要采用脚踏板开关发送采集信号并可以进行实时图像采集;采用数据库方式进行图像数据存储;报告采用填充式模板结构进行… …   相似文献
9175.
  
自然语言的主题转换是自然语言理解的一个重要线索.语言处理通常是针对不同的主题有不同的数据库和处理方法.因此,如何找到文本中的主题转换点是语言处理中的一个重要内容.该技术在语言理解、文本自动索引以及语言模型的建立等方面都有重要意义.该文以文本主题转换时的词汇突变为表征,提出和定义了… …   相似文献
陈浪舟  黄泰翼 《软件学报》1999,10(12):1246-1252
9176.
协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模.  相似文献
9177.
  
针对Android APK的静态描述,目前主要是采用权限、数据以及API调用序列的方法,而忽视了代码本身的层级结构,因此无法有效地通过这些静态特征来揭示应用程序的可能行为和恶意属性.设计并实现了一种基于代码层次结构的系统API调用描述方法,其主要是提取APK文件中API调用在应用… …   相似文献
魏松杰  杨铃 《计算机科学》2015,42(1):155-158,179
9178.
为发现分布式数据流下不同形状的聚簇,提出了一种基于代表点的聚类算法。算法首先在代表点定义的基础上,提出环点的概念以及迭代查找密度相连环点的算法,在此基础上生成远程站点的局部模型;然后在协调站点设计合并局部模型,生成全局聚簇的算法。通过真实数据集与仿真数据集的实验表明,算法使用代表… …   相似文献
9179.
目前,关于窃密防范措施基本上只针对已知协议,为了保证网络的安全运行以及对攻击与危害行为的预警,迫切需要在当前结构复杂的网络环境下为决策者准确提供一种能高效地对未知协议进行识别的方法。为此,在整合已有的网络安全和数据挖掘技术的基础上,设计了基于数据报指纹关系的未知协议识别发现的解决… …   相似文献
9180.
远程证明是可信计算领域中亟待突破的重要问题。结合二进制证明和基于属性的证明,应用环签名思想提出了一种简单、高效的匿名远程证明协议。该协议不需要属性证书,也不需要AIK证书,它通过借助一个离线可信第三方,应用可信计算绑定和密封机制,采用基于双线性对的属性环签名,同时实现了平台的身份… …   相似文献
[首页] « 上一页 [454] [455] [456] [457] [458] 459 [460] [461] [462] [463] [464] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持