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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第2701-2720项 搜索用时 173 毫秒
[首页] « 上一页 [131] [132] [133] [134] [135] 136 [137] [138] [139] [140] [141] 下一页 » 末  页»
2701.
使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法。最后,通过一个实例来说明如何将该方法应用于实时软件建模。利用这种方法建立的UML-RT模型,能够从整体上提高实时系统软件体系结构设计的可信性。… …   相似文献
祝义  黄志球  曹子宁  周航  刘亚萍 《软件学报》2010,21(11):2738-2751
2702.
  总被引：1，自引：0，他引：1
提出了一种基于节点之间竞争关系以及感知代价的分布式频谱感知算法.该算法基于分布式最小团划分理论,将节点划分至不同的团中,然后再根据团的结构来计算最优频谱感知分配.该算法的时间复杂度仅为O(N2+M×N),其中,N为网络中节点数,M为信道数目.大量的仿真实验结果表明,该算法能够有效… …   相似文献
2703.
下载全文  总被引：1，自引：0，他引：1
基于时间自动机理论,提出了时间窗、时间依赖服务代价以及时间依赖旅行时间这3类时变网络中国邮路问题的统一建模的语义模型和求解方法.首先,将中国邮路问题可行解条件和时变参数与时间自动机联系起来,建立了3类问题的统一时间自动机系统(timed automata system,简称TAS… …   相似文献
2704.
在线客服系统是一种网页形式的即时通讯软件平台的统称,为企业提高形象,加强企业与企业网站访客的互动,为企业进行网络营销提供了很好的平台。AJAX（Asynchronous JavaScript and Xml）作为Web2.0的代表技术之一,是在线客服系统得以实现,推广的关键技术之… …   相似文献
2705.
  
时态地理信息系统(TGIS)以表达、管理和分析动态变化的地理现象为目的,其核心是时空数据库,因此对时空数据库的理论基础——时空数据模型的研究十分必要。目前的时空数据模型主要有简单模型、时空联合模型、时空属三域模型、基于对象/特征的模型和基于事件/过程的模型等。首先对这些模型进行了… …   相似文献
2706.
  
从软件可移植性研究和软件移植方法两方面出发,分别探讨了可移植性定义、可移植性度量、可移植性软件工程、源代码移植方法、二进制移植方法的研究现状,最后指出了软件移植的发展趋势。  相似文献
2707.
多核系统中,内存子系统消耗大量的能耗并且比例还会继续增大.因此,解决内存的功耗问题成为系统功耗优化的关键.根据线程的内存地址空间和负载均衡策略将系统中的线程划分成不同的线程组,根据线程所属的组,给同一组内的线程分配相同内存rank中的物理页,然后,根据划分的线程组以组为单位进行调… …   相似文献
贾刚勇  万健  李曦  蒋从锋  代栋 《软件学报》2014,25(7):1403-1415
2708.
提出一种基于类型推理的移动Ad-Hoc网络安全路由协议的形式化验证方法.定义了一种邻域限制通信演算NCCC(neighborhood-constrained communication calculus),包括演算的语法和基于规约的操作语义,在类型系统中描述了移动Ad-Hoc网络… …   相似文献
李沁  曾庆凯 《软件学报》2009,20(10):2822-2833
2709.
  总被引：1，自引：1，他引：0
提出了一种功能等价的类型封装和嵌套方法,可以有效地将COBOL数据描述映射到Java类型系统.该方法已在所开发的COBOL2Java翻译系统中进行应用,通过了近400万行的真实银行商用系统的测试.实验结果表明,此方法正确有效,并且提高了生成代码的执行效率和可读性.  相似文献
2710.
设计了几种用于CT三维锥束图像重建的滤波器,并将其对图像质量的影响进行了分析。CT是一种先进的成像技术,现已被应用于多个领域。CT图像重建算法多采用滤波反投影法,滤波是此方法的核心部分。本文介绍了三维锥束近似重建的基本原理,分析并设计了几种用于CT锥束图像重建的滤波器,并且通过投… …   相似文献
2711.
  
提出并实现了基于Pareto最佳解实现两方协商过程中自动达成协商结果的算法,结合实验数据说明了算法相对于协商双方的公正性,并分析了参数选择对协商结果的影响。最后结合实例提出将该算法应用于P3P隐私协商的可能性,并给出了算法的改进方向。  相似文献
2712.
下载全文  总被引：12，自引：0，他引：12
多媒体会议中多点控制单元(multi-point controlling unit,简称MCU)在多点会议中提供音频、视频和数据等的集中处理能力,其中音频处理能力是最基本的,也是实时性要求最高的要素.针对多点多媒体会议的实际应用需求,归类并分析了多种自适应多点语音混合处理方案,提… …   相似文献
樊星  顾伟康  叶秀清 《软件学报》2005,16(1):108-115
2713.
下载全文  总被引：7，自引：0，他引：7
在缺乏集中控制的无线自组网络中,节点在转发过程中所表现出的自私行为将严重影响其网络服务的可靠性.在节点理性假设的基础上,针对自组网络节点的预期收益及其协作交互过程建立了一个重复博弈模型,提出了一个激励一致性条件,在此条件下,节点将迫于惩戒机制威慑而自愿采取合作策略;并分析了节点对… …   相似文献
陆音  石进  谢立 《软件学报》2008,19(3):755-768
2714.
下载全文  总被引：10，自引：0，他引：10
具有真实感的三维人脸模型的构造和动画是计算机图形学领域中一个重要的研究课题.如何在三维人脸模型上实时地模拟人脸的运动,产生具有真实感的人脸表情和动作,是其中的一个难点.提出一种实时的三维人脸动画方法,该方法将人脸模型划分成若干个运动相对独立的功能区,然后使用提出的基于加权狄里克利… …   相似文献
张青山  陈国良 《软件学报》2003,14(3):643-650
2715.
  
作为流量识别的一个重要手段,深度流检测使用的统计特征中屡屡包含包长信息。从互联网五种典型应用的平均包长入手,利用滑动窗口模型探索五种应用在平均包长概率分布上的差异。对FTP、Foxmail、WWW、迅雷、Emule五种应用的实验表明:设置相同的滑动窗口,五种应用平均包长的均值有明… …   相似文献
2716.
  
在分析现有路由选择协议的基础上,设计了适用于一类专用网络的动态路由选择协议。该协议采用按需路由方式,利用该类专用网络的全连通性缩短初始通信延迟,通过度量链路延迟来确定最佳路由,通过邻接节点信息表的维护实现备份链路的管理,支持到目的节点的多重路由。原型系统实现表明,该协议简单、高效… …   相似文献
2717.
在生物信息学中,蛋白质序列比对是最为重要的算法之一,生物技术的发展使得已知的序列库变得越来越庞大,这类算法本身又具有计算密集型的特点,这导致进行序列比对所消耗的时间也越来越长,目前的单核或者数量较少的多核系统均已经难以满足对计算速度的要求.Godson-T是一个包含诸多创新结构的… …   相似文献
叶笑春  林伟  范东睿  张浩 《软件学报》2010,21(12):3094-3105
2718.
下载全文  总被引：2，自引：1，他引：1
针对应用程序开发过程中不可避免的数据存储问题,从分析Android平台及其数据存储途径入手,详细阐述了SQLite数据库在该平台上的应用,并以电话簿为例,给出了开发的具体过程以及仿真结果。最后,提出了在应用程序间进一步共享数据库的解决方案。  相似文献
2719.
下载全文  总被引：21，自引：2，他引：21
杜宗霞  怀进鹏 《软件学报》2006,17(3):454-462
2720.
下载全文  总被引：15，自引：0，他引：15
目前的Internet体系结构缺乏一定的灵活性,制约了新协议、新应用的开发与应用.主动网络试图通过为节点赋予计算处理能力来改变这一现状.分析和阐述了主动网络产生的背景与动机,并详细介绍了这一新的网络体系结构,讨论了它对网络体系结构研究带来的影响,总结了主动网络的研究现状,最后结合… …   相似文献
任丰源  任勇  山秀明 《软件学报》2001,12(11):1614-1622
[首页] « 上一页 [131] [132] [133] [134] [135] 136 [137] [138] [139] [140] [141] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持