论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2014年第6期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题。证明了当线性迭代映射满足一定条件时，...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 目前，针对线程信息流的验证研究主要着重于时间信道。然而，由于线程程序中线程控制原语存在函数副作用，对此类原语的不恰当调用亦可引起非法信息流，有意或无意地破坏程序的非干扰属性。因此，提出以验证...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 发掘DOACROSS循环中蕴含的并行性,选择合适的策略将其并行执行,对提升程序的并行性能非常重要。流水并行方式是规则 DOACROSS 循环并行的重要方式。自动生成性能良好的流水并行代码是一...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 在软件系统中，缺陷定位是缺陷修复的一个关键环节，如果能将缺陷自动定位到很小的范围，将会极大地降低缺陷修复的难度.基于高斯过程提出了一种缺陷定位方法(GPBL)，即针对每个缺陷，向开发人员推荐...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 提出一种面向大规模功能个性化需求的服务组合方法，支持服务的大规模个性化定制。现实服务场景通常面临多客户的大量并发的请求，且不同客户对服务的功能需求存在差异。传统方法在应对该场景时需要针对每个...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 在面向多用户的动态环境中进行基于QoS的服务选择需要面临诸多挑战,而动态的服务负载就是其中之一。当前的服务选择方法难以在多用户多业务的开放环境下应对服务执行时的负载动态变化,缺乏实时感知负载...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： Tabular 表达式是一种采用表格化结构组织函数或关系的形式化描述工具，在需求工程领域中具有广泛的应用，为Tabular表达式建立形式的语义模型是非常必要的。针对Tabular表达式通用模...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 辩论是智能主体间为了消除分歧的一种基于言语的交互行为。由于知识的局限性，争议以及争议内部的陈述通常存在不确定性，因此在对辩论进行建模时需要考虑不确定信息处理问题。提出一种基于可信度的辩论模型...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 针对现有的基于图的半监督学习(graph-based semi-supervised learning,简称 GSSL)方法存在模型参数敏感和数据空间判别信息不充分等问题,受最近特征空间嵌入...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 在模糊知识表示与推理中，否定信息扮演了一个重要角色.从概念层面上区分了模糊知识中存在的3种否定关系，即矛盾否定关系、对立否定关系和中介否定关系.为了建立能够完全描述这些不同否定关系的逻辑基础...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 可信终端的远程证明无论是基于二进制的证明方案还是基于属性的证明方案，针对的均是终端的静态环境，反映的是终端的软件配置结构，并不能证明终端运行环境的真正可信。针对这一问题，提出了一种终端可信环...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 投递延迟是机会网络的一个重要指标,给定节点缓存和消息副本数目限制,如何选择合适的节点复制消息成为一个关键问题.提出一种基于最优停止理论的路由决策方法(OSDR).OSDR将每个时隙上所遇节点...
-
13. 结构化对等网测量方法研究*刊名： 软件学报发表期刊： 2014年6期页码:摘要： 网络测量是深入开展结构化对等网研究的基础，结构化对等网络协议设计、共享内容检索、态势感知乃至安全性的研究都需要以网络测量为前提.在节点分布对等、实时变化显著、未知瞬发扰动频繁的结构化对等网络...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 隐藏节点问题是导致IEEE 802.15.4协议性能下降的一个重要因素,而在IEEE 802.15.4中没有给出解决该类问题的具体方案.提出一种基于冲突指示和分组的隐藏冲突避免策略(hidd...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 可重构信息通信基础网络通过构建宏电路实现针对特定服务的传输质量优化。由于该网络架构加入了对网络虚拟化技术的支持，因此在对服务请求进行映射时，若将类型相同的服务映射到同一组底层设备上，则能够有...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 虽然以服务器为中心的数据中心网络互连结构部分程度地解决了树型结构面临的性能瓶颈和可扩展性难题，但如何使数据中心网络同时兼具高吞吐量和高可扩展能力，仍然是一个颇具挑战性的问题.为此，提出了具有...
-
17. 移动低占空比传感网邻居发现算法*刊名： 软件学报发表期刊： 2014年6期页码:摘要： 低占空比技术极大地降低了传感网(即无线传感器网络)的能耗,延长了网络的生命周期,但却使邻居发现变得异常困难。尤其结合了节点移动性后,邻居发现问题将具有更大的挑战性。提出了一种基于 Conti...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
