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

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第5121-5140项 搜索用时 328 毫秒
[首页] « 上一页 [252] [253] [254] [255] [256] 257 [258] [259] [260] [261] [262] 下一页 » 末  页»
5121.
  总被引：5，自引：0，他引：5
从国内企业信息管理存在的问题入手,针对数据分散,信息利用效率低下等问题,提出了基于XML网络服务和Office信息检索技术的一个解决方案,并结合微软员工信息系统（MEIS）的系统设计实例,介绍了如何利用网络服务和信息检索解决实际问题。  相似文献
5122.
下载全文  总被引：3，自引：0，他引：3
本文给出了一种在与时间有关的多时间片序列数据场中抽取特征并进行可视化的方法．首先讨论了特征可视化的一般概念,给出了数据场中特征的定义及特征可视化的基本方法．提出了一个在二维数据场中进行特征边界跟踪的方法,采用２个边界算子抽取边界,用树形结构表示特征边界之间的关系,用Ｆｏｕｒｉｅｒ… …   相似文献
梁训东  刘慎权 《软件学报》1996,7(9):547-552
5123.
该文提出了一种基于卫星参数预测的无(少)地面控制点的星载SAR图像的定位方法。该方法利用待校正影像相邻景的成像参数,同时建立预测模型,内插或外推待校正SAR图像的成像参数,从而通过SAR共线方程模型实现无(少)地面控制点的星载SAR图像的定位。文中利用RADARSAT影像进行实验… …   相似文献
5124.
  总被引：2，自引：0，他引：2
提出了一种利用薄板样条函数实现非刚性图像匹配的新方法，该方法是将图像表示成由特征点构成的特征点集，利用薄板样条（TPS）能够将形变清楚为仿射分量和非仿射分量的独特性质，应用TPS函数来表征特征点集之间的非刚性映射，然后采用确定性退火技术，迭代求解点集之间的匹配矩阵和映射参数，与其… …   相似文献
孙冬梅  裘正定 《电子学报》2002,30(8):1104-1107
5125.
提出了一种新的直接从图像中检测特定目标的算法。算法分为3个步骤。首先用分水岭变换对图像作\"过分割\",得到标注的积水盆地和堤坝。实际目标可能是其中一个或多个盆地的组合。然后对盆地进行初步筛选,删除不可能是目标的盆地,并用区域邻接图(RAG)表示剩下的盆地。最后针对问题特点定义能… …   相似文献
5126.
基于信任委托的思想,提出一种移动环境下的跨可信域的直接匿名(direct anonymous attestation,简称DAA)证明方案,采用代理签名技术和直接匿名证明方法,实现对移动终端在多可信域之间漫游时的可信计算平台认证,并在认证过程中协商会话密钥,增强了远程证明体系的安… …   相似文献
杨力  马建峰  姜奇 《软件学报》2012,23(5):1260-1271
5127.
下载全文  总被引：5，自引：1，他引：5
模型检测技术一直以来主要是检验用时态逻辑描述的规范,人们很少注意认知逻辑的模型检测问题,而在分布式系统领域,系统和协议的规范已广泛地采用知识逻辑来描述.着重研讨了时态认知逻辑的模型检测算法.在SMV(symbolic model verifier)模型检测器的基础上,根据知识的语… …   相似文献
吴立军  苏开乐 《软件学报》2004,15(7):1012-1020
5128.
  
经典广义Hough变换可以较好地解决非形变目标定位问题,但对于存在形变的目标定位问题存在不少困难。为解决该问题,同时考虑如何提高检测定位速度与减少存储消耗,在粗定位与精确定位两级框架下提出基于改进GHT形变目标两层定位快速算法。粗定位过程首先利用图像的局域二进制模式的直方图特征对… …   相似文献
5129.
下载全文  总被引：3，自引：0，他引：3
在移动通信网络环境中,如何合理地组织和存储移动对象的配置信息,从而有效地降低查询和更新代价是位置管理中的一个重要问题.将数据挖掘应用到移动计算环境中是一项具有挑战性的研究课题,具有广阔的应用前景.区域划分能够优化位置数据库的拓扑结构,有效地降低查询和更新代价.但是随着时间的迁移,… …   相似文献
马帅  唐世渭  杨冬青  王腾蛟 《软件学报》2004,15(9):1351-1360
5130.
下载全文  总被引：1，自引：0，他引：1
Paterson等人在Waters签名方案的基础上提出的基于身份的签名方案,虽然在标准模型下被证明能够归约于CDH问题假定,但方案的计算效率不高.此后,李-姜等人对Paterson方案虽然进行了改进,但方案的在线计算效率不高.在Parerson方案的基础上,提出了一种在标准模型下… …   相似文献
谷科  贾维嘉  姜春林 《软件学报》2011,22(6):1350-1360
5131.
以独立图层表达各种交通模式是交通系统空间数据表达的主要形式。虽然这种数据建模方式完全满足可视化和数据管理需求,然而各种交通模式的分图层独立表达使得交通模式之间的连接关系构建成为瓶颈问题,直接导致有着最为迫切需求的多标准出行路径规划难以实现。首先提出了一种多模式交通网络逻辑一体化模… …   相似文献
5132.
下载全文  总被引：54，自引：1，他引：54
针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结… …   相似文献
范玉顺  吴澄 《软件学报》2002,13(4):833-839
5133.
下载全文  总被引：13，自引：1，他引：13
针对亮度不一致的阴影路面的目标分割问题,对使用空间关系约束的模糊聚类算法进行了改进,即首先定义了像素之间以及像素与区域之间的近邻关系,并构造了像素与区域之间的空间关系隶属度矩阵,然后将此矩阵约束到传统的模糊C-均值聚类算法的隶属度矩阵中,最终形成了基于空间关系约束的模糊聚类算法。… …   相似文献
5134.
  
针对典型的支持向量机增量学习算法对有用信息的丢失和现有支持向量机增量学习算法单纯追求分类器精准性的客观性,将三支决策损失函数的主观性引入支持向量机增量学习算法中,提出了一种基于三支决策的支持向量机增量学习方法.首先采用特征距离与中心距离的比值来计算三支决策中的条件概率;然后把三支… …   相似文献
5135.
  总被引：19，自引：0，他引：19
最近几年,工作流技术的研究和应用已引起了许多研究人员、开发人员和用户的普遍关注。象计算机支持的协同工作、无纸办公、表单传递、协作系统和办公自动化这些概念很早就已经提出,但由于实现技术和应用领域的限制一再被搁浅。随着高性能微机的普及,分布式网络通讯和业务流程重组技术的发展,使得这一… …   相似文献
5136.
研究了扩散结构为二元域上非线性变换的异或分支数.给出了扩散结构为二元域上非线性变换的异或分支数的定义及其与分组密码抗差分攻击和线性分析能力的关系,证明了以模2n加和模2加的混合运算为扩散结构的异或分支数等于将模2n加换成模2加且将各变元系数模2后所得的二元域上线性变换的异或分支数… …   相似文献
常亚勤  金晨辉 《软件学报》2011,22(7):1652-1660
5137.
  
似物性推荐是计算机视觉研究中的热门问题,其目的是用尽可能少的推荐窗口涵盖可能的兴趣目标,以显著地提升目标检测任务的计算效率。从组合几何学角度对该问题进行了分析,一种“完全窗口覆盖”的方法被提出,用少量窗口即可覆盖所有可能目标区域。对于尺寸不大于512×512的图像,约19000个… …   相似文献
5138.
提出了四边形网格的三分细分模式.对于正则和非正则四边形网格,分别采用不同的细分模板获得新的细分顶点.从双三次B样条中推导出正则四边形网格的三分细分模板,极限曲面C2连续;对细分矩阵进行傅里叶变换,推导出非正则四边形网格的三分细分模板,极限曲面C1连续.提出的三分细分模式可以解决任意拓扑四边形网格的曲面细分问题.与其他细分模式相比,具有收敛速度快、适用范围广等优点.最后给出了四边形网格细分的实例.… …   相似文献
刘丽  张彩明  杨兴强  伯彭波 《软件学报》2007,18(9):2346-2355
5139.
  
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了NL松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:NL与N等价;有N的证明则必有长度不超过它的NL证明。… …   相似文献
何锫  唐稚松 《软件学报》1993,4(4):51-55
5140.
下载全文  总被引：2，自引：0，他引：2
软件中存在的故障很多与数据流紧密相关,对数据流故障定位是一个具有相当难度的研究问题.通过分析变量的定义-使用关系和变量间的依赖关系,并跟踪程序运行时各种操作对变量值的影响,即,变量操作状态的变化等基本信息,提出了一种综合考虑变量操作状态变化以及变量操作状态间依赖关系的数据链模型,… …   相似文献
杨波  吴际  刘超 《软件学报》2015,26(2):254-268
[首页] « 上一页 [252] [253] [254] [255] [256] 257 [258] [259] [260] [261] [262] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持