论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2009年第8期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
1. 有界模型检测的优化刊名： 软件学报发表期刊： 2009年8期页码:摘要： 公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态...
-
2. ETL的符号化模型检验刊名： 软件学报发表期刊： 2009年8期页码:摘要： 能够被高效地采用符号化技术加以检验.
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述"假设-保证"的逻辑基础的问题,提出了一个基于IμTL的"假设-保证"规则.该规则比往常应用线性时序逻...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 服务消费者在选择服务之前,通常需要基于其他消费者的经验对未使用过的服务的质量进行预测.考虑到不同服务消费者对同一服务的服务质量的感受之间可能存在较大的差别,提出了一种QoS(quality ...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 基于以上方法,可得到Web Service组合的定义-使用链,最终可产生满足既定测试标准以获得需求Web服务组合质量要求的测试路径.
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 在对类型范畴理论进行扩展的基础上,将其与进程代数相结合,为软件体系结构模型及其间的转换关系提供了一种统一的语义描述框架.模型的结构语义由类型范畴图表来指代,其行为语义则由范畴附带的进程行为迹...
-
11. 复述技术研究刊名： 软件学报发表期刊： 2009年8期页码:摘要： 对自然语言处理研究中的复述的研究现状与进展进行了总结,分别介绍了复述的应用、复述资源的获取、复述句的生成、复述的评测以及与复述紧密联系的相关研究等.重在对复述研究的主流方法和前沿进展进行概括...
-
12. 无监督词义消歧研究刊名： 软件学报发表期刊： 2009年8期页码:摘要： 研究的目的是对现有的无监督词义消歧技术进行总结,以期为进一步的研究指明方向.首先,介绍了无监督词义消歧研究的意义.然后,重点总结分析了国内外各类无监督词义消歧研究中的各项关键技术,包括使用的...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 提出一种大规模数据集求解核主成分的计算方法.首先使用Gram矩阵生成一个Gram-power矩阵,根据线性代数的理论可知,新形成的矩阵和原先的Gram矩阵具有相同的特征向量.因此,可以把Gr...
-
14. 基于机器学习的自动协商决策模型刊名： 软件学报发表期刊： 2009年8期页码:摘要： 所提出的模型利用协商历史中隐含的信息自动对数据进行标注以形成训练样本,用最小二乘支持向量回归机学习此样本得到对手效用函数的估计,然后结合自己和对手的效用函数构成一个约束优化问题,用遗传算法求...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 结合步行机器人行走的动力学特性,通过对机器人的加速度传感器信息进行离散傅立叶变换,建立了行走相关特征值的概率模型.通过使用马氏距离作为判定标准,对步行机器人的行走稳定性给出定量描述.四足步行...
-
16. 一种研讨模型刊名： 软件学报发表期刊： 2009年8期页码:摘要： 提出了一种研讨模型.该模型用简化的Toulmin模型表示争议内部结构,用Dung的抽象辩论框架的方法定义争议之间的关系,给出了争议可防卫性和陈述可接受性算法.用该模型对已有文献中的实例重新建...
-
17. 基于表情相似性的人脸表情流形刊名： 软件学报发表期刊： 2009年8期页码:摘要： 用于各种基于人脸表情识别的人机交互中.
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 对现有的应用于移动互联网的P2P技术方面的研究进行了分析.首先介绍了P2P技术和移动互联网的概念,并提出将P2P技术应用在移动互联网所面临的挑战和应用模式.其次,分别针对集中式架构、超级节点...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： GADR(regular expressions group algorithm based on DR),在可以接受的存储需求总量下,通过选择性分群大幅度减少了状态机的个数,有效地降低了匹...
-
刊名： 软件学报发表期刊： 2009年8期页码:摘要： 丢弃原则,以进一步降低网络传输能耗.模拟实验结果表明,与现有的几种DTMSN(delay tolerant mobile sensor networks)数据传输算法相比,SRAD的网络寿命...
-
21. 一种基于拓扑势的网络社区发现方法刊名： 软件学报发表期刊： 2009年8期页码:摘要： 从数据场思想出发,提出了一种基于拓扑势的社区发现算法.该方法引入拓扑势描述网络节点间的相互作用,将每个社区视为拓扑势场的局部高势区,通过寻找被低势区域所分割的连通高势区域实现网络的社区划分....
-
22. 并行下载最优机制刊名： 软件学报发表期刊： 2009年8期页码:摘要： 建立并行下载模型,并基于这一模型,从下载节点效益的角度出发,分析并提出最优机制.这种最优机制包括最优的选择源节点集合和文件分块方案.理论分析表明,这种机制能够使下载节点代价函数最小.仿真结果...
-
23. 基于遗传算法的网络编码优化刊名： 软件学报发表期刊： 2009年8期页码:摘要： 额外调用初始成员生成算法,加入一定数量的新成员,从而避免了局部性问题.3) 对于不能达到最大组播速率的网络编码方案,基于各个接收者各自的接收速率确定更为合适的适应值而不是统一设为-1,从而使...
-
24. 别名解析中的别名过滤技术刊名： 软件学报发表期刊： 2009年8期页码:摘要： 日本、韩国这3个国家因特网的traceroute数据集对上述算法进行了验证分析.结果表明,别名过滤的概念非常重要并且文中提出的算法效率比较高.
-
25. 一种交错编码的多重门限调度算法刊名： 软件学报发表期刊： 2009年8期页码:摘要： 化方案即可获得比现有算法更优的调度性能.
-
26. 行为驱动的基于角色的信任管理刊名： 软件学报发表期刊： 2009年8期页码:摘要： 给出了描述行为驱动的信任管理语言RTB.将变量引入到角色中可以记录用户的累积行为状态;行为驱动的信任规则根据用户已发生的行为调整其在本信任域中被分配的角色;组合规则提高了信任判定的效率;信任...
-
27. 《软件学报》投稿指南刊名： 软件学报发表期刊： 2009年8期页码:摘要：
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
