论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2010年出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2010年10期页码:摘要： 为了在移动ad hoc网络中有效利用无线信道资源,提出一种基于ID的信道预约(ID-based channel reservation,简称IDBCR)多址接入协议.该协议在公共信道上发送R...
-
212. 逆向工程中的大类图拆分方法刊名： 软件学报发表期刊： 2010年11期页码:摘要： 提出了一种大类图拆分方法.首先通过度量工具计算类图中类目(类及接口)间的耦合度.根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离.为了确保生...
-
213. 基于约束的多面体抽象域的弱接合刊名： 软件学报发表期刊： 2010年11期页码:摘要： 基于约束的多面体抽象域的处理能力主要受限于其高代价的(强)接合操作,即两多面体的凸闭包计算.针对基于约束的多面体抽象域提出了一系列低代价的弱接合操作,以作为凸闭包计算的可靠替代候选.为了能够...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 针对常见的利用指针或引用的聚集实现方式,提出一种基于形态分析的一对多聚集关系的自动识别方法.首先,扩充Sagiv的三值逻辑结构中的谓词以描述链表上聚集管理操作的语义特征.然后,给出基于控制流...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建...
-
216. 时间属性序列图:语法和语义刊名： 软件学报发表期刊： 2010年11期页码:摘要： 为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实...
-
217. 基于行为自动机的构件可替换性分析与验证刊名： 软件学报发表期刊： 2010年11期页码:摘要： 在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提...
-
218. 粒计算的一种覆盖模型刊名： 软件学报发表期刊： 2010年11期页码:摘要： 为了在一种更为广泛的背景之下研究粒计算的基本问题(诸如粒化、粒的计算及粒空间之间信息粒转化等),在放弃等价关系的3个条件的基础上提出了一种基于覆盖的粒计算模型,进一步推广了已有的工作.在该模...
-
219. 一种高效的复杂系统遗传算法刊名： 软件学报发表期刊： 2010年11期页码:摘要： 针对遗传算法效率低等问题,基于复杂系统理论对其作了以下改进:首先,用反映复杂系统能量分布的幂律法则改造了选择算子;其次,引入复杂系统自学习特性重新设计了交叉算子;再次,采用反馈机理改进了更新...
-
220. 一种基于语料特性的聚类算法刊名： 软件学报发表期刊： 2010年11期页码:摘要： 为寻求模型不匹配问题的一种恰当的解决途径,提出了基于语料分布特性的CADIC(clustering algorithm based on the distributions of intri...
-
221. 基于贝叶斯网络的半监督聚类集成模型刊名： 软件学报发表期刊： 2010年11期页码:摘要： 已有的聚类集算法基本上都是非监督聚类集成算法,这样不能利用已知信息,使得聚类集成的准确性、鲁棒性和稳定性降低.把半监督学习和聚类集成结合起来,设计半监督聚类集成模型来克服这些缺点.主要工作包...
-
222. 可能性扩展规则的推理和知识编译刊名： 软件学报发表期刊： 2010年11期页码:摘要： 在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 根据基因表达谱数据的特点,提出了全局分量模型(global component model,简称GCM)和癌症组分量模型(cancer component model,简称CCM)两种癌症识...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 引入统计理论中的卡方统计检验,提出一种通用的应用协议流量行为特征分析方法--ABSA (application behavior significance assessment).该方法不针...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 基于IEEE 802.11 p-persistent协议模型的研究,对一种近似优化条件在多优先级业务网络条件下的适用性进行了证明.应用该近似优化条件,提出了一种适用于IEEE 802.11 ...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 在分析了无线传感器网络的布局基本符合流形(manifold)特点的基础上,借助所提出的局部保持的典型相关分析(locality preserving canonical correlatio...
-
227. 采用启发式算法的无线自组网网络编码方法刊名： 软件学报发表期刊： 2010年11期页码:摘要： 首先证明了与应用网络编码相关的最优化问题是NP完全的,然后提出了一种采用启发式算法的网络编码方法COMP.该网络编码方法利用贪婪集合配置启发式算法和贪婪集合覆盖启发式算法的基本思想来尽可能多...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 微机电技术、移动计算技术和无线通信技术的飞速发展,促使在现有道路网上快速构建一个自组织、分布式控制的车辆间多跳通信网络成为现实,随之引起了一系列问题亟待解决,例如高速运动车辆间的物理拓扑连通...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 给出了前向安全多重签名的形式化安全性模型,并提出了一个可证安全的前向安全多重签名方案.在该方案中,即使所有参与多重签名成员的当前密钥泄漏,所有以前时间段的签名也是有效的.证明了方案是标准模型...
-
230. 提高无线传感器网络能效的双轮成簇协议设计刊名： 软件学报发表期刊： 2010年11期页码:摘要： 提出一种用于提高无线传感器网络能效的双轮成簇协议(energy efficient double rounds clustering protocol,简称EEDRCP).它对LEACH协议...
-
231. 基于异常捕获的强脆弱性分析和利用刊名： 软件学报发表期刊： 2010年11期页码:摘要： 从强脆弱性的本质、分析和利用3个方面对强脆弱性进行了剖析.首先给出了强脆弱性定义,提出了程序存在强脆弱性的必要条件和充分条件,并证明了不存在万能的强脆弱性检测程序;其次,提出了判断程序存在强...
-
232. 一种动态物体次表面散射实时绘制方法刊名： 软件学报发表期刊： 2010年11期页码:摘要： 在给出非均匀材质建模描述方法的基础上,通过对光线类型和光的次表面散射物理过程进行分解,分别给出了图像空间非均匀材质单次散射和多次散射的近似计算方法.延迟着色思想的融入,满足了动态物体实时绘制...
-
刊名： 软件学报发表期刊： 2010年11期页码:摘要： 实现数据库中全部故事单元的相似度分析所面临的复杂性问题相当突出.提出了一种有效的方法来克服这些问题.首先,对限制相似关键帧识别速度的因素进行了研究,通过构建关联分析子数据库和精简局部关键点数...
-
234. 利用块几何约束及视差概率的立体匹配算法刊名： 软件学报发表期刊： 2010年11期页码:摘要： 为了解决倾斜表面或曲面的匹配问题,提出了一种基于图像分割块之间的几何约束和视差值的概率分布信息的视差估算方法.在一个全局能量函数中增加了图像分割块之间的几何约束项,通过计算匹配能量得到分割块...
-
235. 软件缺陷发现时序过程的叠加双阻尼振荡模型刊名： 软件学报发表期刊： 2010年12期页码:摘要： 在软件测试实践中,被测软件通常要经历多轮次的测试和修改过程.由于受到被测软件的缺陷分布、迭代式的开发与测试过程、测试者发现缺陷的能力等诸多非确定性因素的影响,使得软件缺陷发现的时序过程呈现出...
-
刊名： 软件学报发表期刊： 2010年12期页码:摘要： 将经典的数据重用理论扩充到并行领域,分别提出了面向OpenMP和OpenTM应用的并行数据重用理论.针对重用在线程、事务中的关系,系统地讨论了并行应用中重用的分类、判定和求解方法.同时,应用...
-
237. 风险驱动的软件项目缓冲分配方法刊名： 软件学报发表期刊： 2010年12期页码:摘要： 提出一种风险驱动的项目缓冲分配方法,并开发了相应的项目模拟执行工具对方法进行验证.方法旨在通过综合考虑软件项目的风险因素、任务之间的进度约束和资源约束对项目的可用缓冲进行合理分配.模拟实验的...
-
238. 虚拟计算环境中基于重复博弈的惩罚激励机制刊名： 软件学报发表期刊： 2010年12期页码:摘要： 如何促进网络中自主元素自觉规范行为、积极有序协作从而形成"可信的计算平台"是下一代互联网亟需解决的重点问题.提出一种基于重复博弈的惩罚激励机制PETrust,旨在有效促进自主元素采取系统期望...
-
239. 一种用于字节码程序模块化验证的逻辑系统刊名： 软件学报发表期刊： 2010年12期页码:摘要： 字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重...
-
240. 一种求解度约束最小生成树问题的优化算法刊名： 软件学报发表期刊： 2010年12期页码:摘要： 为求解大规模结点度约束最小生成树问题,提出一种带有嫁接和剪接算子操作的优化算法.通过借鉴花草果树种植技术,建立一种以基本遗传算子为基础、带有加速和调节算子作为激励的进化计算体系;嫁接以一种贪...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
