论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2014年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
61. 一种基于标杆管理的优化算法?刊名： 软件学报发表期刊： 2014年5期页码:摘要： 借鉴标杆管理理念,提出了一种基于标杆管理的优化算法(benchmarking-based optimization algorithm,简称 BOA)。根据标杆管理的核心价值观,设计了一套基...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 以一种特殊的粗糙逻辑为研究对象，视全体赋值之集为通常乘积拓扑空间，通过利用赋值集上的Borel概率测度，提出了能融合粗糙逻辑与计量逻辑为一体的公式的 Borel 型概率粗糙真度理论，给出了公...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 根据自适应离散差分进化(SaDDE)算法的提出过程,对算法策略选择问题进行了重点研究。策略池在SaDDE中起着重要作用,策略池的设计面临着3个问题,即：(1)怎样鉴别某个候选解产生策略(CS...
-
64. 双层随机游走半监督聚类?刊名： 软件学报发表期刊： 2014年5期页码:摘要： 半监督聚类旨在根据用户给出的必连和不连约束，把所有数据点划分到不同的簇中，从而获得更准确、更加符合用户要求的聚类结果.目前的半监督聚类算法大多数通过修改已有的聚类算法或者结合度规学习，使聚类...
-
65. 公式分层的谓词模态逻辑?刊名： 软件学报发表期刊： 2014年5期页码:摘要： 由于必然模态词,的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界。在谓词模态逻辑中存在个体跨可能世界相等问题。针对这一问题,Lewis 提出了对应物理论,并且在对...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 粒子群优化算法因形式简洁、收敛快速和参数调节机制灵活等优点,同时一次运行可得到多个解,且能逼近非凸或不连续的 Pareto 最优前端,因而被认为是求解多目标优化问题最具潜力的方法之一。但当粒...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 研究了带有多折扣选项的滑雪租赁问题(ski-rental problem with multiple discount options,简称多折扣租赁问题)的离线和在线算法.多折扣租赁问题是...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 无线Ad Hoc网络(以下简称为Ad Hoc网络)能量感知地理路由协议深度影响网络性能，具有降低网络能量消耗、延长网络寿命等功效，受到越来越多的关注。系统阐述了Ad Hoc网络能量感知地理路...
-
69. 卫星网络路由技术?刊名： 软件学报发表期刊： 2014年5期页码:摘要： 卫星网络周期性动态变化的拓扑对路由协议的设计提出了新的挑战。由于传统网络的路由协议不再适用于卫星网络，许多针对卫星网络的路由技术被相继提出来。在简要介绍卫星网络架构与拓扑控制策略的基础上，根...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 在实际的通信环境中，由于噪声、报文冲突、信号衰减等因素的影响，无线传感器网络节点间信息交换往往是不可靠的。广播是无线传感器网络中广泛使用的操作，如何在不可靠通信环境下实现能量高效的广播算法，...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 在无线认知网络的协作式频谱感知方案中,非授权用户(次要用户)将各自感知到的可用频谱信息转发给邻居节点,作为频谱分配的依据。而实际上,仅有部分数据影响着频谱分配的结果。无用信息的传递不仅产生了...
-
刊名： 软件学报发表期刊： 2014年5期页码:摘要： 基于身份的数字签名方案最显著的特点是,只需要签名人的身份信息而无需签名人的证书来验证签名的有效性,这极大地简化了密钥管理.2006年,Paterson和Schuldt构造了标准模型下可证明安...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题。证明了当线性迭代映射满足一定条件时，...
-
74. 一种面向非干扰的线程程序逻辑*刊名： 软件学报发表期刊： 2014年6期页码:摘要： 目前，针对线程信息流的验证研究主要着重于时间信道。然而，由于线程程序中线程控制原语存在函数副作用，对此类原语的不恰当调用亦可引起非法信息流，有意或无意地破坏程序的非干扰属性。因此，提出以验证...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 发掘DOACROSS循环中蕴含的并行性,选择合适的策略将其并行执行,对提升程序的并行性能非常重要。流水并行方式是规则 DOACROSS 循环并行的重要方式。自动生成性能良好的流水并行代码是一...
-
76. 基于高斯过程的缺陷定位方法*刊名： 软件学报发表期刊： 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将每个时隙上所遇节点...
-
85. 结构化对等网测量方法研究*刊名： 软件学报发表期刊： 2014年6期页码:摘要： 网络测量是深入开展结构化对等网研究的基础，结构化对等网络协议设计、共享内容检索、态势感知乃至安全性的研究都需要以网络测量为前提.在节点分布对等、实时变化显著、未知瞬发扰动频繁的结构化对等网络...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 隐藏节点问题是导致IEEE 802.15.4协议性能下降的一个重要因素,而在IEEE 802.15.4中没有给出解决该类问题的具体方案.提出一种基于冲突指示和分组的隐藏冲突避免策略(hidd...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 可重构信息通信基础网络通过构建宏电路实现针对特定服务的传输质量优化。由于该网络架构加入了对网络虚拟化技术的支持，因此在对服务请求进行映射时，若将类型相同的服务映射到同一组底层设备上，则能够有...
-
刊名： 软件学报发表期刊： 2014年6期页码:摘要： 虽然以服务器为中心的数据中心网络互连结构部分程度地解决了树型结构面临的性能瓶颈和可扩展性难题，但如何使数据中心网络同时兼具高吞吐量和高可扩展能力，仍然是一个颇具挑战性的问题.为此，提出了具有...
-
89. 移动低占空比传感网邻居发现算法*刊名： 软件学报发表期刊： 2014年6期页码:摘要： 低占空比技术极大地降低了传感网(即无线传感器网络)的能耗,延长了网络的生命周期,但却使邻居发现变得异常困难。尤其结合了节点移动性后,邻居发现问题将具有更大的挑战性。提出了一种基于 Conti...
-
90. 绿色数据中心专题前言*刊名： 软件学报发表期刊： 2014年7期页码:摘要：
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
