论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2014年第11期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 主要研究带mismatch的高阶进程演算的公理化问题。首先，建立存在mismatch时高阶进程的开弱高阶互模拟理论，证明了等价关系、同余性等重要性质；其次，沿用线性的方法，构建得到带 mis...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 提出使用事件自动机对 C 程序的安全属性进行规约，并给出了基于有界模型检测的形式化验证方法。事件自动机可以规约程序中基于事件的安全属性，且可以描述无限状态的安全属性。事件自动机将属性规约与C...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 已有的Web服务QoS(quality of service)度量方法由于无法对用户偏好的模糊性予以准确量化，以及对候选服务 QoS 属性数据分布特征的忽视，导致其度量结果不准确。为此，提出...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 指针分析是数据流分析中的关键性技术，其分析结果是编译优化和程序变换的基础。在基于包含的指针分析算法研究的基础上，对 Narse 优先权约束评估算法中存在的冗余约束评估和优先权评估模型计算开销...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 软件在其生命周期中不断地发生变更，以适应需求和环境的变化。为了及时预测每次变更是否引入了缺陷，研究者们提出了面向软件源代码变更的缺陷预测方法。然而现有方法存在以下3点不足：(1)仅实现了较粗...
-
6. 双极信息的聚合与分解?刊名： 软件学报发表期刊： 2014年11期页码:摘要： 信息聚合是信息处理过程中的基本手段，主要讨论若干聚合算子的性态。首先，从广义伴随对的角度讨论了广义聚合算子的性质。从聚合算子 A 出发，给出两种不同的方法，构造了大于(小于)等于 A 的新的...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 篇章是论元经过语义关联和结构化组织形成的自然语言文体.篇章分析研究的核心任务之一是解释论元的语义关系,其中,显式关系因具有直观线索而易于检测,目前检测精度高达90%；相对而言,隐式关系因缺乏...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 伴随着无线通信技术和智能移动终端的快速发展,基于位置的服务(location-based services,简称LBS)以其移动性、实用性、随时性和个性化的特点,在军事、交通、物流等诸多领域...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 基于闪存的固态硬盘(solid state driver,简称SSD)已经广泛应用于各种移动设备、PC机和服务器.与磁盘相比,尽管SSD具有数据存取速度高、抗震、低功耗等优良特性,但SSD自...
-
10. 时态拟序数据结构研究及应用?刊名： 软件学报发表期刊： 2014年11期页码:摘要： 时态数据索引是实现时态数据有效管理的关键技术之一.讨论了一种时态数据结构及其在时态数据索引上的应用.常规的时态数据管理技术多基于代数框架.提出了一种基于拟序关系的时态数据结构，该结构能够像常...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 信息网络无处不在.通过把网络中的对象抽象为点,把对象之间的关系刻画为边,相应的信息网络就可以用图来表示.图中结点相似度计算是图数据管理中的基本问题,在很多领域都有运用,比如社会网络分析、信息...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 传统的基于几何区域分割的报文分类算法在空间切分时,通常只采用一种切分方法,并不会根据每个域的特点选取不同的对策。提出了一种采用混合切分法的报文分类算法HIC(hybrid intellige...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 针对物联网感知层调度问题,研究和分析三维空间基于四锚点节点定位实解个数的分类问题。利用不等式机器证明理论和研究成果以及不等式机器证明软件DISCOVERER,分析了四锚点定位在特定情形下的实...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 802.11无线局域网技术的广泛普及,给无线室内定位系统带来了良好的发展契机.提出了一种基于支持向量回归的802.11无线室内定位方法.该方法主要包括离线训练和在线定位两个阶段.离线阶段的主...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 针对已有检测方法不能有效地检测未知推荐攻击的问题，提出了一种基于仿生模式识别(bionic pattern recognition)的检测方法。首先，依据项目流行度划分项目到不同的窗口，把用...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 针对密度非均匀Ad Hoc网络,提出了一种基于预留的时隙混合类MAC——RTV协议。该协议将业务区分为预留和非预留,以提供不同质量的接入传输服务。通过时延调整预留算法来满足多种预留业务的不同...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 提出了基于粗糙集模糊聚类与差分免疫克隆聚类的图像分割算法。该算法在差分免疫克隆聚类算法的基础上，通过引入粗糙集模糊聚类，将差分免疫克隆聚类算法中的硬聚类变成模糊聚类，从而获得更丰富的聚类信息...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 由于视频编码技术趋向于采用越来越复杂的分块模式,多模式决策技术也随之成为一种非常重要的编码技术.多模式决策的优劣不仅会大幅度地影响视频编码的计算消耗,而且也对编码性能的高低起到关键的作用.为...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 随着虚拟化技术的发展与普及，越来越多的企业将关键业务系统部署到了虚拟化平台上。虚拟化技术降低了企业的硬件和管理成本，但同时也给系统的可靠性带来了严峻挑战。传统的方法通过运行时系统状态备份的方...
-
刊名： 软件学报发表期刊： 2014年11期页码:摘要： 随着大数据处理的深入发展，系统单位时间内产生的数据日趋庞大，数据间的关联关系日趋复杂，这使得传统的“存储-查询”或者“发布-订阅”的方式无法很好地满足诸如故障监控、股票分析、医疗及生命保障等...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
