用户名:
密码:
找回密码
中文版
English
本站信箱
收藏本站
本网介绍
省份
北京
天津
河北
山西
山东
内蒙古
湖北
湖南
河南
江西
上海
江苏
浙江
安徽
广东
广西
海南
福建
黑龙江
吉林
辽宁
陕西
甘肃
新疆
青海
宁夏
四川
重庆
贵州
云南
西藏
港澳台
城市
首页
加盟期刊
收录期刊
评价中心
文献导读
期刊动态
博客美文
问题解答
在线订阅
新浪微博
RSS
网站动态:
中国计算机期刊网介绍
欢迎关注中国计算机期刊网微信订阅号!
中国计算机期刊网正式发布,欢迎访问!
如何申请成为收录期刊和加盟期刊
按
任意字段
标题
关键词
摘要
作者姓名
作者单位
基金项目
杂志名称
ISSN号
分类号
被引次数
DOI
文章编号
检索 检索词:
高级检索
排序:
相关度
OA
时间
被引次数
点击次数
下载次数
共有10000条符合
的查询结果,以下是第1241-1260项 搜索用时 113 毫秒
[首页]
« 上一页
[58]
[59]
[60]
[61]
[62]
63
[64]
[65]
[66]
[67]
[68]
下一页 »
末 页»
1241.
真实感雨线绘制
下载全文
雨线的真实感绘制极具挑战性.雨滴在下落过程中会发生快速的震荡,由于光线在其中的反射和折射而具有复杂的光学效果,在人眼和摄像机观察时会产生运动模糊形成雨线.提出一种基于Monte Carlo光线跟踪的方法用于绘制真实感雨线.通过预先对雨滴震荡周期内每个离散时间点的雨滴三角形网格建立… …
相似文献
江隆盛
吴恩华
《中国图象图形学报》
2013,18(5):600-606
1242.
纯公钥模型下对NP语言的高效并发零知识证明系统
下载全文
提出了一种从3轮公开掷币的对任何NP语言的诚实验证者零知识证明系统到纯公钥模型下4轮(轮最优)对同一语言的具有并发合理性的并发零知识证明系统.该转化方法有如下优点:1)它只引起O(1)(常数个)额外的模指数运算,相比Di Crescenzo等人在ICALP05上提出的需要Θ(n)… …
相似文献
邓燚
林东岱
《软件学报》
2008,19(2):468-478
1243.
基于领域知识重用的虚拟领域本体构造
下载全文
总被引:64,自引:2,他引:64
提出了一种重用现有领域知识库知识构造新领域本体的方法.该方法充分利用了领域知识模型以及领域本体相互之间存在的语义相关性,从语义匹配的角度探讨了构造新领域本体的可能性.首先给出了领域本体的一种结构化定义,然后讨论了领域模型之间、领域本体之间存在的语义相关性,并给出了领域本体语义相关… …
相似文献
陈刚
陆汝钤
金芝
《软件学报》
2003,14(3):350-355
1244.
UML Statecharts的模型检验方法
下载全文
总被引:22,自引:2,他引:22
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性… …
相似文献
董威
王戟
齐治昌
《软件学报》
2003,14(4):750-756
1245.
嵌入式API测试套生成方法和技术
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled… …
相似文献
赵会群
孙晶
张爆
王同林
《软件学报》
2014,25(2):373-385
1246.
海量层次信息的Focus+Context交互式可视化技术
下载全文
综述了海量层次信息可视化与Focus Context技术的相关工作,针对海量层次信息可视化的交互问题,在嵌套圆可视化技术的基础上提出了基于上下文感知的Focus Context交互式可视化技术.首先,基于外切圆排列方法提出对圆心进行三角网格剖分的方法,为变形计算建立上下文;然后,… …
相似文献
任磊
王威信
滕东兴
马翠霞
戴国忠
王宏安
《软件学报》
2008,19(11):3073-3082
1247.
无线传感器网络的WPCS覆盖策略
下载全文
延长无线传感器网络生存时间的有效方法是让冗余节点进入休眠状态。而现有研究多是基于传感器感知模型为圆形的假设前提。该文集中讨论传感器感知模型非圆时,覆盖与连通性之间的联系,并提出适用性更广的WPCS(Well-Proportioned Coverage Strategy)覆盖策略。… …
相似文献
屈玉贵
蔺智挺
赵保华
《电子与信息学报》
2007,29(4):767-770
1248.
混成系统形式化验证
总被引:1,自引:0,他引:1
混成系统是实时嵌入式系统的一种重要子类,其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况,因此行为复杂,难以掌握与控制.由于此类系统广泛出现在工控、国防、交通等与国计民生密切相关的安全攸关的领域,因此,如何对相关系统进行有效的分析与理解,从而保障系统安全运营,是一项具… …
相似文献
卜磊
解定宝
《软件学报》
2014,25(2):219-233
1249.
LANDSAT-5 TM数据的辐射校正与几何定位精度
下载全文
总被引:1,自引:1,他引:1
辐射校正与几何校正是遥感信息定量化应用的重要步骤,对真实反映目标和背景特征以及实际地理位置是至关重要的。提出了LANDSAT-5 TM数据的辐射校正方法与使用精确星历参数进行数据处理后的几何定位精度,并以实际数据检验了修正后的中国遥感卫星地面站的LANDSAT-5卫星数据产品的辐… …
相似文献
陈俊
王文
李子扬
李安
《中国图象图形学报》
2008,13(6):1094-1100
1250.
一种需求驱动的自主Web服务聚集方法
下载全文
总被引:6,自引:0,他引:6
引入具有主动搜索需求能力的自主Web服务概念,提出基于环境本体的意图-行为-实现机制,用于描述服务请求和自主Web服务能力,构型了一种需求驱动的自主Web服务聚集的模型.给出了基于意图-行为-实现机制的需求能力匹配算法和自主Web服务聚集算法.最后,通过对应用案例的研究来展示该方… …
相似文献
叶荣华
金芝
王璞巍
郑丽伟
杨夏芬
《软件学报》
2010,21(6):1181-1195
1251.
Web数据挖掘
总被引:26,自引:4,他引:26
Web Mining is an important branch in Data Mining.It attracts more research interest for rapidly developing Internet. Web Mining includes(1)W… …
相似文献
王实
高文
《计算机科学》
2000,27(4):28-31
1252.
基于Hadoop的可信Web服务多维QoS权重最优选择模型
随着Web服务应用的快速增长,用户如何在众多功能相似的Web服务中更加准确地选择出满足自己非功能性需求的Web服务是一个急需解决的问题.针对此问题,设计了一种基于Hadoop的可信Web服务多维QoS权重最优选择模型——HL模型.在HL模型中,以Hadoop和HBase平台为基本… …
相似文献
何小霞
谭良
《计算机科学》
2015,42(4):51-55, 67
1253.
用基于移动均值的索引实现时间序列相似查询
下载全文
总被引:2,自引:0,他引:2
提出了基于移动均值的索引来解决子序列匹配中的\"ε-查询\"问题:提出并证明了基于移动均值的缩距定理和缩距比关系定理,后者具有很好的\"裁减\"能力,可以在相似查询时淘汰大部分不符合条件的候选时间序列,从而达到快速相似查找的目的;引入了由Jagadish等人提出的BATON~*-… …
相似文献
林子雨
杨冬青
王腾蛟
《软件学报》
2008,19(9):2349-2361
1254.
一种从黑体到隶书的汉字字形自动变体方法
下载全文
总被引:2,自引:1,他引:2
本文介绍了一种以构架和基本笔划为汉字的知识表示,从黑体到隶书的汉字字形自动变体方法.该方法首先实现基于特征的黑体构架到隶书构架的变换,然后实现基于笔划柔性映射的隶书构架到隶书轮廓字形的生成.此方法探讨了一条汉字字体间自动转换的途径,并具体实现了从黑体到隶书的自动变体.
相似文献
高晓
蔡士杰
《软件学报》
1995,6(9):542-550
1255.
半监督
k
近邻分类方法
下载全文
加权KNN(k-nearest neighbor)方法,仅利用了k个最近邻训练样本所提供的类别信息,而没考虑测试样本的贡献,因而常会导致一些误判。针对这个缺陷,提出了半监督KNN分类方法。该方法对序列样本和非序列样本,均能够较好地执行分类。在分类决策时,还考虑了c个最近邻测试样本… …
相似文献
陈日新
朱明旱
《中国图象图形学报》
2013,18(2):195-200
1256.
双层IP 地址空间体系结构
下载全文
互联网面临的挑战之一就是路由系统的可扩展性.路由表的快速增长以及越来越频繁的BGP更新,对核心路由器的性能、复杂性、能耗和成本产生了越来越大的压力.近年来,大量网络研究人员正在针对这些问题寻找解决方案.将现有的IP地址分解为标识和位置的思想,是重要的研究方向之一.提出一种新的标识… …
相似文献
钱华林
鄂跃鹏
葛敬国
任勇毛
游军玲
《软件学报》
2012,23(1):97-107
1257.
场景驱动的服务行为调控
提出了一个场景驱动的服务行为调控途径.首先,用UML顺序图模型作为场景规约以描述用户对服务行为的需求,并且基于目标服务的BPEL行为规约,构造表示服务行为的BPEL-Petri网模型(简称BPN模型);其次,基于并发变迁分析BPN模型上表示服务行为的路径,并通过遍历BPN模型获取… …
相似文献
柳溪
杨璐
潘敏学
王林章
《软件学报》
2011,22(6):1185-1198
1258.
跨学科前沿与应用的交汇点:日常活动理解
下载全文
人口老龄化是对当今大多数国家的未来产生重大影响的社会因素.为了解决由此而来的巨大经济和社会压力,目前现实可行的方法是依靠高度发展的信息和通信技术,自动识别和理解人们在家居环境下的日常活动(ADL),向老人提供日常生活辅助以尽可能地延长老人在家中独立生活的时间.由于日常生活发生的物… …
相似文献
徐光祐
陶霖密
邸慧军
《中国图象图形学报》
2013,18(2):132-140
1259.
自动图像标注技术研究进展
总被引:1,自引:0,他引:1
近年来,自动图像标注(Automatic Image Annotation,AIA)技术已经成为图像语义理解研究领域的热点。其基本思想是利用已标注图像集或其他可获得的信息自动学习语义概念空间与视觉特征空间的潜在关联或者映射关系,来预测未知图像的标注。随着机器学习理论的不断发展,包… …
相似文献
鲍泓
徐光美
冯松鹤
须德
《计算机科学》
2011,38(7):35-40
1260.
密码协议的一种安全模型
下载全文
总被引:8,自引:0,他引:8
将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题.… …
相似文献
刘怡文
李伟琴
冯登国
《软件学报》
2003,14(6):1148-1156
[首页]
« 上一页
[58]
[59]
[60]
[61]
[62]
63
[64]
[65]
[66]
[67]
[68]
下一页 »
末 页»