•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第7721-7740项 搜索用时 106 毫秒
[首页] « 上一页 [382] [383] [384] [385] [386] 387 [388] [389] [390] [391] [392] 下一页 » 末  页»
7721.
针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法… …   相似文献
孙聪  唐礼勇  陈钟 《软件学报》2012,23(8):2149-2162
7722.
  总被引:3,自引:0,他引:3
为提高WebGIS系统的响应速度,提出了服务器端采用地图切片技术,客户端采用地图预取技术的解决方案。利用用户操作间隙的空闲时间,通过后台线程请求服务器提前生成用户下一次操作可能会用到的地图数据,并将其传送到客户端,从而大大缩短了用户等待时间。测试结果显示,该WebGIS系统能有效… …   相似文献
7723.
下载全文  总被引:1,自引:0,他引:1
有限域GF(2k)上本原σ-LFSR序列的分量序列均是二元域上具有相同极小多项式的m-序列,已知一条GF(2k)上本原σ-LFSR序列的距离向量,就可以用二元域上的m-序列构造它.研究了一类本原σ-LFSR序列——Z本原σ-LFSR序列距离向量的计算问题.给出了一种GF(2k)上… …   相似文献
7724.
  
为使产品设计时间预测既克服小样本、异方差噪声问题,又提供除预测值以外的其他有用信息,建立概率支持向量回归(PSVR)模型。首先,在异方差回归模型基础上设计概率约束条件,以使预测值以较大概率位于真实值的某邻域,结合具有参数不敏感损失函数的支持向量回归确定优化目标,提出PSVR。然后… …   相似文献
7725.
下载全文  总被引:18,自引:1,他引:18
给出了一个基于单向函数的动态(t,n)-门限方案,它具有下述特点:(1) 系统在更新系统密钥时,无须更改每个成员的子密钥;(2) 当某个成员的子密钥泄密时,系统只需为该成员重新分配子密钥而不必更改其他成员的子密钥;(3) 当有新成员加入时,系统只需为新成员分配一个子密钥,而其他成员不受任何影响;(4) 子密钥可无限制地多次使用;(5) 只需公开n+1个信息(在需要确认欺骗者时需公开2n+1个);(6) 恢复系统密钥时,采用并行过程.… …   相似文献
7726.
下载全文  总被引:2,自引:0,他引:2
解释学习可以直接应用于知识库的推理加速.经解释学习学到的一组规则,其参加匹配的先后次序直接影响着学习的效用.本文提出并证明了在以规则的成功频率与本身匹配费用的比值为序自大至小排列时,可以使这些规则的整体匹配费用最小.文中给出学习结果的优化排序算法,对于训练例的任意给定次序,可求得… …   相似文献
郝继刚  石纯一 《软件学报》1996,7(4):233-237
7727.
发布/订阅系统技术具有异步、松散耦合和多对多通信的特点,有着广阔的应用前景.但是,已有的发布/订阅系统技术不能满足动态环境下有延迟需求的应用要求.针对时间约束问题,扩展了发布/订阅系统的语法,建立了延迟模型,提出了一种基于收益机制的分布式发布/订阅系统时间约束保障技术和使系统获益… …   相似文献
马建刚  黄涛  徐罡  汪锦岭  叶丹 《软件学报》2008,19(7):1590-1602
7728.
  
对搭配的定义及搭配在自然语言处理中的应用作了介绍,着重分析了目前广泛使用的基于统计模型的词语搭配自动获取方法,并对衡量搭配强度的六种统计指标进行了详细的分析和比较。  相似文献
7729.
  
在英文语音合成系统中,韵律短语边界预测的精度对合成语音的自然度和可懂度有着至关重要的影响。基于决策树的预测方法是现阶段最为常用的韵律短语边界预测方法,但因决策树构建时受到数据平衡性制约,难以针对关键词进行建模,而且在基于决策树进行预测时采用了局部最优的搜索方式无法达到全局最优。所… …   相似文献
7730.
在基因表达式编程(gene expression programming,简称GEP)中,由于不同问题得到的适应度-距离相关系数(fitness-distance correlation,简称FDC)值很相近,所以难以用FDC预测GEP求解不同问题的进化难度.为了解决该问题,提出… …   相似文献
7731.
提出了一种基于单个三维加速度传感器的人体行为的特征提取及识别方法,主要识别了站立、走、跑、上楼和下楼五种动作. 该方法提取了多种统计特征包括标准差、偏度、峰度和相关系数实现多层分类. 实验表明, 本文采用的方法能够有效地识别这五种动作.  相似文献
7732.
  总被引:1,自引:1,他引:1
针对传统的K-medoids聚类算法具有对初始聚类中心敏感、全局搜索能力差、易陷入局部最优、收敛速度缓慢等缺点,提出一种基于差分演化的K-medoids聚类算法。差分演化是一类基于种群的启发式全局搜索技术,有很强的鲁棒性。将差分演化的全局优化能力用于K-medoids聚类算法,有… …   相似文献
7733.
语义归结、锁归结、线性归结是三种重要的关于归结原理的改进。本文给出如下结果:语义归结和锁归结在某种条件下是相容的;语义归结和线性归结是不相容的;线性归结和锁归结在某种条件下是相容的。显然,任意两种归结的相容方法是对原来两种归结方法的进一步改进。  相似文献
刘叙华 《软件学报》1992,3(2):60-64
7734.
  
认知无线电中,认知用户允许接入授权频谱会对主用户造成严重干扰。为解决这一问题,结合多天线技术,提出一种干扰抑制算法。该方法不需要干扰信号的先验信息,可有效降低主用户与认知用户之间的干扰。从理论上推导了采用新算法后系统的SINR(信干噪比)表达式,给出了误码率下限。仿真结果表明,S… …   相似文献
7735.
  
针对车辆路径问题(VRP),提出基于logistic函数的自适应混沌蚁群优化算法。利用混沌运动的遍历性、随机性和规律性特点,把具有强局部搜索能力的logistic映像融入到蚁群算法局部信息素更新中。屏蔽logis-tic映像断点区间,克服蚁群算法搜索时间过长、易于停滞的现象,提高… …   相似文献
7736.
  
总结了自2000年以来专家系统在国内外的发展及应用情况,并根据知识表示方法的不同,对专家系统在各个领域的应用进行分类。结果显示:近五年来,伴随网络时代的到来及蓬勃发展,国内外专家系统发展迅速,一些新技术已经应用于专家系统,尤其是XML和W eb技术的应用,为专家系统的研究注入新的… …   相似文献
7737.
下载全文  总被引:2,自引:0,他引:2
在虚拟环境中实现应用服务级目标,是当前数据中心系统管理的关键问题之一.解决该问题有两个方面的要求:一方面,在虚拟化层次和范围内,能够动态和分布式地按需调整虚拟机资源分配;另一方面,在虚拟化范围之外,能够控制由于虚拟机对非虚拟化资源的竞争所导致的性能干扰,实现虚拟机性能隔离.然而,… …   相似文献
文雨  孟丹  詹剑锋 《软件学报》2013,24(2):358-377
7738.
下载全文  总被引:2,自引:0,他引:2
网络计算是分布式应用的新技术。Java的分布式对象模型能较好地实现网络的远程数据库访问。本文在JDBC的基础上探讨了Java的远程数据库访问模型,并以Java对Oracle7数据库的远程访问为例论述了这一模型的实现。  相似文献
7739.
下载全文  总被引:10,自引:0,他引:10
副本的存在是一种提高P2P系统的可扩展性、容错性、可用性和减少查询响应时间的有效手段.随着P2P应用逐渐由只读静态文件共享转换为需要实时更新的读写动态文件交互,副本一致性维护成为确保新业务正确运行的关键.从直接更改消息报文角度出发,提出一种基于节点轨迹标签的无结构P2P副本一致性… …   相似文献
7740.
  总被引:1,自引:0,他引:1
研究了一种新的启发式全局优化算法——类电磁机制(Electromagnetismlike Mechanism, EM)算法。系统介绍了类电磁机制算法的原理、基本步骤、几个不同版本及其改进,综述了类电磁机制算法在函数优化、神经网络训练和调度等方面的应用,最后对类电磁机制算法的研究… …   相似文献
[首页] « 上一页 [382] [383] [384] [385] [386] 387 [388] [389] [390] [391] [392] 下一页 » 末  页»