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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8061-8080项 搜索用时 121 毫秒
[首页] « 上一页 [399] [400] [401] [402] [403] 404 [405] [406] [407] [408] [409] 下一页 » 末  页»
8061.
下载全文  总被引：2，自引：0，他引：2
为了充分利用高性能网络,研究人员开发了多种用户级通信协议．这些用户级通信协议可以获得底层硬件提供的高带宽、低延迟．然而由于它们提供完全不同的应用程序接口,用户级通信协议往往只能支持科学计算,而不能支持传统的基于Socket接口、采用核心级通信协议的网络应用程序．通过增加一个IP协… …   相似文献
陈志辉  马捷  陈国良  高帆 《软件学报》2003,14(9):1629-1634
8062.
由于程序的形式化验证技术还局限于比较小的程序,软件测试仍然是目前和今后相当长一段时间内保证大型软件质量和可靠性的主要手段．测试大型软件是一项既繁重又复杂的工作,计算机辅助软件测试将会大大降低测试工作量,提高测试效率．本文首先提出一种新的、简单有效的基于结构化功能规格说明的测试方法… …   相似文献
林振  吴定一 《软件学报》1995,6(6):366-371
8063.
文章分析了感知模型一般形式上要解决的问题,并结合人感觉系统的特点,提出了一种可测量嵌入水印感知度的模型,从感知的角度提出了一种检测水印的方法,同时这种模型也增强了水印被载体作品隐藏的效果。  相似文献
8064.
下载全文  总被引：9，自引：0，他引：9
名字解析机制是移动Agent技术研究的重要课题.目前,多数基于域名系统的名字解析机制由于算法自身的复杂性限制,很难实现移动对象的应用级位置透明性访问.全局的、与位置无关的命名和名字解析极大地方便了移动Agent系统通信模型和导航模型的建立,具有良好的实用性.通过引入一种基于全局命… …   相似文献
王申康  滕敏堂 《软件学报》2002,13(4):616-620
8065.
为了在系统协同工作过程中使异构数据库的数据同步,基于agent技术给出了一个数据同步模型.在该模型中,agent的局部代理利用数据同步监听器对数据的变化进行实时监听,全局代理利用数据同步检测器对数据是否同步进行定期检测,并生成相应的同步命令由全局代理分发执行,解决了协同系统中异构… …   相似文献
8066.
下载全文  总被引：5，自引：0，他引：5
针对Web应用系统中用户对表单的需求不断变化的普遍现象,设计了基于XML的表单设计器构件,实现了Web应用系统中用户对表单的动态管理.  相似文献
8067.
  总被引：5，自引：0，他引：5
该文阐述了用神经网络校正传感系统非线性误差的原理和方法,提出了一种新颖的简化小脑模型神经网络（SCMAC）及其模型、算法与实现技术.模型、算法采用直接权地址映射技术,以训练样本的输入为地址,建立起输入与权重的关系.任意输入作为相近的权地址,即可找到对应的权,经过联想插补后可获得高… …   相似文献
朱庆保 《软件学报》1999,10(12):1298-1303
8068.
TCP经由卫星链路传输时性能较低,这是卫星通信系统设计和应用中的一个需要解决的重要问题。分段连接机制是改善卫星TCP性能的一种有效方式。在对分段连接的研究中,它的整体系统性能和语义维持问题被大量关注,但在如何实现却少有论述。为了填补这一空白,提出了分段连接的一种实现方法。并进行了… …   相似文献
8069.
下载全文  总被引：12，自引：0，他引：12
图像分割可视为两类模式分类问题.将最大似然聚类方法应用于图像分割,并采用模拟退火技术求解最大似然聚类,解决了用迭代方法求解最大似然聚类只能得到局部最优解的问题.获得的图像分割效果优于迭代方法和著名的Otsu方法,且分类误差小于迭代方法.  相似文献
张引  潘云鹤 《软件学报》2001,12(2):212-218
8070.
  
多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议交互消息和计算生成当前协议消息的能力,能够以自动化… …   相似文献
刘威  郭渊博  雷新锋  李俊锋 《计算机科学》2014,41(12):112-117,132
8071.
边缘检测技术的关键在于检测前的图像去噪问题。Madenda方法考虑了尖锐、模糊、噪声的影响,但在全图像范围内采用的是统一的噪声抑制参数和模糊控制参数,从而缺乏对不同区域内噪声抑制的针对性。为此,提出基于图像区域特征的自适应边缘检测方法,通过熵和对比度的计算,将原始图像逐级分解,直… …   相似文献
8072.
对网络进行准确的拓扑发现,对于网络的故障检测、性能分析具有重要意义。通过对目前网络拓扑发现算法的研究、综合和改进,本文提出了一个完整并且通用的物理网络拓扑发现算法。该算法基于SNMP协议,使得算法具有广泛的适应性,能够完全准确的发现网络中设备以及它们之间的连接关系。  相似文献
8073.
下载全文  总被引：3，自引：0，他引：3
在一个空间数据库中,空间数据总是以最细节的信息进行储存,以满足不同应用的需求.制图学中的制图综合就是为不同的应用生成恰当的细节层面.随着空间数据库应用的日益广泛,以及越来越多的基于Internet的空间应用的出现,对空间数据的有效自动综合成为一个紧要问题.深入探讨了当前这一领域存… …   相似文献
陆桑璐  周晓方  陈贵海  谢立 《软件学报》2002,13(8):1534-1539
8074.
针对无线传感器网络中不精确、不确定数据问题,提出了将信息处理和粗糙集技术融为一体的新研究思路,并基于分层簇结构给出了一种层次型智能信息处理方法。无线传感器网络实时森林火灾监测的示例与分析表明,该方法在实际应用中,通过从三个层次进行知识约简等智能数据分析,挖掘实用决策规则,使传感器… …   相似文献
8075.
下载全文  总被引：1，自引：0，他引：1
软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,… …   相似文献
8076.
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法,同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.  相似文献
李轶 《软件学报》2012,23(5):1045-1052
8077.
  
主分量分析(Principal Component Analysis,PCA)是模式识别领域中一种重要的特征抽取方法,该方法通过K-L展开式来抽取样本的主要特征。基于此,提出一种拓展的PCA人脸识别方法,即分块排序PCA人脸识别方法(MSPCA)。分块排序PCA方法先对图像矩阵进… …   相似文献
8078.
由Sch lkopf等人提出的v支持向量回归机具有通过参数控制支持向量和错误向量个数的优点,然而与标准的支持向量机相比,其形式更为复杂,迄今为止仍没有有效的算法计算v解路径.基于支持向量回归机的修改形式,提出了一种新的解路径算法,它能够追踪参数v对应的所有解,并通过理论分析和实验… …   相似文献
顾彬  王建东 《软件学报》2012,23(10):2643-2654
8079.
对于含有类似经验参数C的地形校正模型而言,确定经验参数的抽样方法是影响地形校正模型校正效果的一个关键因素。为此,比较分析了简单随机抽样、坡向分层抽样、坡度分层抽样和cos i分层抽样四种抽样方法分别计算的参数C的地形校正效果。基于cos i分层抽样和坡度分层抽样拟合的线性回归方程… …   相似文献
8080.
下载全文  总被引：1，自引：0，他引：1
SQA架构己成为现代应用开发领域最重要的课题,其服务的平台无关性、语言独立性和松散耦合性极大的方便了各系统之间的集成和扩展。基于SCA构件技术是实现SOA架构的最佳实践,构件具备的完备性、实用性、稳定性和独立性涵盖了整个软件生命周期,也将成为占有绝对优势的软件工程实践方法。… …   相似文献
[首页] « 上一页 [399] [400] [401] [402] [403] 404 [405] [406] [407] [408] [409] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持