论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2012年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2012年5期页码:摘要： 基于信任委托的思想,提出一种移动环境下的跨可信域的直接匿名(direct anonymous attestation,简称DAA)证明方案,采用代理签名技术和直接匿名证明方法,实现对移动终端...
-
刊名： 软件学报发表期刊： 2012年5期页码:摘要： 针对Http洪泛Web DDoS(distributed denial of service)攻击,提出了一种检测机制.该机制首先采用型方法量化处理用户访问的网页序列,以得到用户访问不同网页...
-
刊名： 软件学报发表期刊： 2012年5期页码:摘要： 自动聚焦是全自动显微成像中的关键技术.为了解决在极低内容密度(稀疏内容)情况下传统聚焦方法无法成功找到焦平面的问题提出一种基于图像内容重要度加权的聚焦函数增强算法.该算法利用聚焦过程中当前图...
-
刊名： 软件学报发表期刊： 2012年5期页码:摘要： 图像语义检索的一个关键问题就是要找到图像底层特征与语义之间的关联,由于文本是表达语义的一种有效手段,因此提出通过研究文本与图像两种模态之间关系来构建反映两者间潜在语义关联的有效模型的思路,基...
-
刊名： 软件学报发表期刊： 2012年5期页码:摘要： 四边形网格的结构特点要求网格单元满足全局一致性,难以取得网格质量与表达效率之间的平衡.为此,提出一种基于全局的各向异性四边形主导网格重建方法,可生成网格质量好且冗余程度低的四边形网格.重建过...
-
96. 稀疏字典编码的超分辨率重建刊名： 软件学报发表期刊： 2012年5期页码:摘要： 基于学习的超分辨率方法通常根据低分辨率图像从样本库中选取若干特征相似的匹配对象,再使用优化算法进行超分辨率估计,但其结果受匹配对象的质量限制,并且匹配特征一般只选择图像的几何结构信息,匹配准...
-
97. 基于自适应网格变形的图像编辑算法刊名： 软件学报发表期刊： 2012年5期页码:摘要： 提出一套基于自适应网格变形的图像编辑算法框架,包括图像中特征物的平移、旋转和变形,以及保持特征物的任意几何边界图像适应.该算法将图像表示为基于图像特征的自适应三角网格,由此将图像编辑问题转换...
-
刊名： 软件学报发表期刊： 2012年6期页码:摘要： 随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解We...
-
99. Web服务选择中信誉度评估方法刊名： 软件学报发表期刊： 2012年6期页码:摘要： 在开放的Web服务环境中,由于无法保证用户使用服务后给出的反馈等级是真实可靠的,导致服务的信誉度评估结果与实际值存在较大偏差,进而服务选择失败率较高.为了克服上述问题,提出了一种用于Web服...
-
100. 基于LoCMD的软件修改分析技术刊名： 软件学报发表期刊： 2012年6期页码:摘要： 当对软件进行修改时,肯定会对软件的其他部分造成一些潜在的影响,从而带来软件的不一致性;如果该修改所带来的影响波及到整个系统,可能就需要考虑其他修改方案表实施该修改、因此在实施修改之前,需要对...
-
101. 异构并行系统能耗优化分析模型刊名： 软件学报发表期刊： 2012年6期页码:摘要： 随着处理器功耗不断增大,功耗问题逐渐成为高性能计算机系统设计与实现的首要问题.当前,异构系统已成为高性能计算机的发展趋势之一.与传统同构体系结构相比,异构体系结构具有更高的理论峰值性能和能效...
-
刊名： 软件学报发表期刊： 2012年6期页码:摘要： 由于传统QoS感知的Web服务选择方法无法保证服务选择的可靠性和实时性,提出了一种基于云模型的不确定性QoS感知的Skyline服务选择方法.该方法首先通过云模型计算QoS的不确定性,然后采...
-
103. 全路径剖析方法刊名： 软件学报发表期刊： 2012年6期页码:摘要： 路径剖析是动态分析的一项重要技术,通过获取和分析程序中各条路径的执行次数,在编译优化、软件调试和测试等诸多方面发挥重要作用.针对现有技术剖析能力不足的情况(即只能或者剖析非循环路径,或者首先...
-
104. 基于事件图的离散事件仿真模型并行检验方法刊名： 软件学报发表期刊： 2012年6期页码:摘要： 非形式化仿真模型验证方法易受主观因素的影响且具有不完备性,而传统的形式化模型检验方法由于受到状态空间爆炸问题的影响,很难处理大规模的仿真模型.并行模型检验方法以其完备性、高效性已经在工业界中...
-
105. 一种扩展双极辩论模型刊名： 软件学报发表期刊： 2012年6期页码:摘要： 提出一种扩展双极辩论模型EBAF(extended bipolar argumentation framework).该模型不仅包括攻击和支援两种独立的语义关系,还允许攻击和支援的递归交互,...
-
106. 大间隔最小压缩包含球学习机刊名： 软件学报发表期刊： 2012年6期页码:摘要： 为了提高球形分类器的分类性能,受支持向量机和小球体大间隔等方法的启发,提出一种大间隔最小压缩包含球(large margin and minimal reduced enclosing ba...
-
107. 利用统计搭配模型改进基于实例的机器翻译刊名： 软件学报发表期刊： 2012年6期页码:摘要： 基于实例的机器翻译(example-based machine translation,简称EBMT)使用预处理过的双语例句作为主要翻译资源,通过编辑与待翻译句子匹配的翻译实例来生成译文.在...
-
108. 一种结合主动学习的半监督文档聚类算法刊名： 软件学报发表期刊： 2012年6期页码:摘要： 半监督文档聚类,即利用少量具有监督信息的数据来辅助无监督文档聚类,近几年来逐渐成为机器学习和数据挖掘领域研究的热点问题.由于获取大量监督信息费时费力,因此,国内外学者考虑如何获得少量但对聚类...
-
109. 分类不平衡协议流的机器学习算法评估与比较刊名： 软件学报发表期刊： 2012年6期页码:摘要： 网络协议流不平衡环境下,流样本分布的变化对基于机器学习的流量分类器准确性及稳定性有较大的影响选择合适的机器学习算法以适应网络协议流不平衡环境下的在线流量分类,显得格外重要.为此,首先通过单因...
-
110. 基于带权图的层次化社区并行计算方法刊名： 软件学报发表期刊： 2012年6期页码:摘要： 提出了一种基于带权图并行分解的层次化社区发现方法,该方法采用图划分的方式定义社区结构,并在这种社区结构之上实现了社会网络社区发现并行算法P-SNCD(parallel social netw...
-
111. CP-nets的完备性及一致性研究刊名： 软件学报发表期刊： 2012年6期页码:摘要： CP-nets是一种简单而又直观的图形化偏好表示工具,成为近几年人工智能的一个研究热点.然而,任意二值CP-nets上的强占优算法还没有给出,CP-nets可表示的偏好的完备性还无人研究,C...
-
112. 不确定性Top-K查询处理刊名： 软件学报发表期刊： 2012年6期页码:摘要： 高效Top-K查询处理在涉及大量数据交互的应用中是一项重要技术,随着应用中不确定性数据的大量涌现,不确定性数据的管理逐渐引起人们的重视.不确定性数据上Top-K查询从语义和处理上都呈现出与传...
-
113. XML数据流上Top-K关键字查询处理刊名： 软件学报发表期刊： 2012年6期页码:摘要： 利用关键字可以在模式未知的情况下对XML数据进行查询.在当前的XML数据流上的关键字查询处理中,打分函数往往不能都满足各种用户不同的需求.提出了一种基于skyline的XML数据流上的Top...
-
114. 基于增量型聚类的自动话题检测研究刊名： 软件学报发表期刊： 2012年6期页码:摘要： 随着网络信息飞速的发展,收集并组织相关信息变得越来越困难.话题检测与跟踪(topic detection and tracking,简称TDT)就是为解决该问题而提出来的研究方向.话题检测是...
-
115. 不确定集值数据的高效相似查询刊名： 软件学报发表期刊： 2012年6期页码:摘要： 基于可能世界的不确定集合的相似查询,从语义上或者从计算方法的角度来看,都有别于传统的确定型集合上的技术.由于集合中的项存在不确定性,即一个项出现在集合中是有一定概率的,使得传统处理集合的技术...
-
116. 基于广义污点传播模型的操作系统访问控制刊名： 软件学报发表期刊： 2012年6期页码:摘要： 动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性...
-
117. 虚拟机确定性执行重放的模型分析和实现方法刊名： 软件学报发表期刊： 2012年6期页码:摘要： 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟...
-
118. 上下文相关图文法的表达能力分析刊名： 软件学报发表期刊： 2012年7期页码:摘要： 上下文相关图文法是描述可视化语言的形式化工具.为了直观地刻画并高效地分析可视化语言,已有图文法形式框架均着重于文法形式和分析算法的研究,而忽略了对它们之间表达能力的分析.在对已有上下文相关图...
-
119. 概率计算树逻辑的限界模型检测刊名： 软件学报发表期刊： 2012年7期页码:摘要： 为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性；之后,通过实例说明在传统限界模型检测中,以...
-
120. W4H:一个面向软件部署的技术分析框架刊名： 软件学报发表期刊： 2012年7期页码:摘要： 部署是软件生命周期中的一个重要环节,是软件生产的后期活动,通过配置、安装和激活等活动来保障软件制品的后续运行.为了系统地了解软件部署的现状和最新进展,建立了一个多侧面、细粒度的分析框架——W...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-9825 | CN | 11-2560/TP |
| 邮编 | 100190 | 电子邮箱 | jos@iscas.ac.cn |
| 电话 | 010-62562563 | 网址 | www.jos.org.cn |
| 地址 | 北京8718信箱 |
软件学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 科学文摘(英) |
| 6. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 百种中国杰出学术刊物 |
软件学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
