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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第7721-7740项 搜索用时 115 毫秒
[首页] « 上一页 [382] [383] [384] [385] [386] 387 [388] [389] [390] [391] [392] 下一页 » 末  页»
7721.
简要介绍了几种常用的管理信息系统之间数据传榆交换的软接口技术,并对其实现机理、应用环境、优缺点作了探讨探究,旨在给系统分析设计和开发人员以有益的启示.  相似文献
7722.
本文提出一种新的可执行规格说明实现技术,它利用源级转换思想把规格说明直接转换成程序设计语言程序,且这种源级转换基于形式定义的规则与基于规范抽象语法树,该技术及相应的支持系统支持速成原型技术,具有支持系统开发工作量小、易保证正确性、开发代价低且开发周期短等特点,能较好地达到速成原型… …   相似文献
7723.
  总被引：3，自引：0，他引：3
为提高WebGIS系统的响应速度,提出了服务器端采用地图切片技术,客户端采用地图预取技术的解决方案。利用用户操作间隙的空闲时间,通过后台线程请求服务器提前生成用户下一次操作可能会用到的地图数据,并将其传送到客户端,从而大大缩短了用户等待时间。测试结果显示,该WebGIS系统能有效… …   相似文献
7724.
针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法… …   相似文献
孙聪  唐礼勇  陈钟 《软件学报》2012,23(8):2149-2162
7725.
下载全文  总被引：1，自引：0，他引：1
有限域GF(2k)上本原σ-LFSR序列的分量序列均是二元域上具有相同极小多项式的m-序列,已知一条GF(2k)上本原σ-LFSR序列的距离向量,就可以用二元域上的m-序列构造它.研究了一类本原σ-LFSR序列——Z本原σ-LFSR序列距离向量的计算问题.给出了一种GF(2k)上… …   相似文献
7726.
下载全文  总被引：18，自引：1，他引：18
给出了一个基于单向函数的动态(t,n)-门限方案,它具有下述特点:(1) 系统在更新系统密钥时,无须更改每个成员的子密钥;(2) 当某个成员的子密钥泄密时,系统只需为该成员重新分配子密钥而不必更改其他成员的子密钥;(3) 当有新成员加入时,系统只需为新成员分配一个子密钥,而其他成员不受任何影响;(4) 子密钥可无限制地多次使用;(5) 只需公开n+1个信息(在需要确认欺骗者时需公开2n+1个);(6) 恢复系统密钥时,采用并行过程.… …   相似文献
7727.
下载全文  总被引：2，自引：0，他引：2
解释学习可以直接应用于知识库的推理加速．经解释学习学到的一组规则,其参加匹配的先后次序直接影响着学习的效用．本文提出并证明了在以规则的成功频率与本身匹配费用的比值为序自大至小排列时,可以使这些规则的整体匹配费用最小．文中给出学习结果的优化排序算法,对于训练例的任意给定次序,可求得… …   相似文献
郝继刚  石纯一 《软件学报》1996,7(4):233-237
7728.
下载全文  总被引：1，自引：0，他引：1
用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递Ω区域、Φ区域,并在数据流分析过程中,利用Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.  相似文献
7729.
  
在英文语音合成系统中,韵律短语边界预测的精度对合成语音的自然度和可懂度有着至关重要的影响。基于决策树的预测方法是现阶段最为常用的韵律短语边界预测方法,但因决策树构建时受到数据平衡性制约,难以针对关键词进行建模,而且在基于决策树进行预测时采用了局部最优的搜索方式无法达到全局最优。所… …   相似文献
7730.
在基因表达式编程(gene expression programming,简称GEP)中,由于不同问题得到的适应度-距离相关系数(fitness-distance correlation,简称FDC)值很相近,所以难以用FDC预测GEP求解不同问题的进化难度.为了解决该问题,提出… …   相似文献
7731.
  
对搭配的定义及搭配在自然语言处理中的应用作了介绍,着重分析了目前广泛使用的基于统计模型的词语搭配自动获取方法,并对衡量搭配强度的六种统计指标进行了详细的分析和比较。  相似文献
7732.
提出了一种基于单个三维加速度传感器的人体行为的特征提取及识别方法,主要识别了站立、走、跑、上楼和下楼五种动作. 该方法提取了多种统计特征包括标准差、偏度、峰度和相关系数实现多层分类. 实验表明, 本文采用的方法能够有效地识别这五种动作.  相似文献
7733.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在某种条件下是相容的。显然,任意两种归结的相容方法是对原来两种归结方法的进一步改进。  相似文献
刘叙华 《软件学报》1992,3(2):60-64
7734.
  总被引：2，自引：1，他引：1
针对传统的K-medoids聚类算法具有对初始聚类中心敏感、全局搜索能力差、易陷入局部最优、收敛速度缓慢等缺点,提出一种基于差分演化的K-medoids聚类算法。差分演化是一类基于种群的启发式全局搜索技术,有很强的鲁棒性。将差分演化的全局优化能力用于K-medoids聚类算法,有… …   相似文献
7735.
  总被引：1，自引：1，他引：0
针对车辆路径问题(VRP),提出基于logistic函数的自适应混沌蚁群优化算法。利用混沌运动的遍历性、随机性和规律性特点,把具有强局部搜索能力的logistic映像融入到蚁群算法局部信息素更新中。屏蔽logis-tic映像断点区间,克服蚁群算法搜索时间过长、易于停滞的现象,提高… …   相似文献
7736.
  
认知无线电中,认知用户允许接入授权频谱会对主用户造成严重干扰。为解决这一问题,结合多天线技术,提出一种干扰抑制算法。该方法不需要干扰信号的先验信息,可有效降低主用户与认知用户之间的干扰。从理论上推导了采用新算法后系统的SINR(信干噪比)表达式,给出了误码率下限。仿真结果表明,S… …   相似文献
7737.
下载全文  总被引：2，自引：0，他引：2
在虚拟环境中实现应用服务级目标,是当前数据中心系统管理的关键问题之一.解决该问题有两个方面的要求:一方面,在虚拟化层次和范围内,能够动态和分布式地按需调整虚拟机资源分配;另一方面,在虚拟化范围之外,能够控制由于虚拟机对非虚拟化资源的竞争所导致的性能干扰,实现虚拟机性能隔离.然而,… …   相似文献
文雨  孟丹  詹剑锋 《软件学报》2013,24(2):358-377
7738.
  
总结了自2000年以来专家系统在国内外的发展及应用情况,并根据知识表示方法的不同,对专家系统在各个领域的应用进行分类。结果显示：近五年来,伴随网络时代的到来及蓬勃发展,国内外专家系统发展迅速,一些新技术已经应用于专家系统,尤其是XML和W eb技术的应用,为专家系统的研究注入新的… …   相似文献
7739.
下载全文  总被引：2，自引：0，他引：2
网络计算是分布式应用的新技术。Java的分布式对象模型能较好地实现网络的远程数据库访问。本文在JDBC的基础上探讨了Java的远程数据库访问模型,并以Java对Oracle7数据库的远程访问为例论述了这一模型的实现。  相似文献
7740.
下载全文  总被引：5，自引：0，他引：5
针对网络信息审计系统的需要,提出一种新颖的基于Episode距离的快速多模式相似串匹配算法.该算法把模式串集合转换为多个有限自动机,然后利用模式串集合建立一个状态驱动器.依次用待匹配串的字符驱动状态驱动器,由状态驱动器驱动各个有限自动机,实现了中英文混合的允许插入错误的相似多模式… …   相似文献
[首页] « 上一页 [382] [383] [384] [385] [386] 387 [388] [389] [390] [391] [392] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持