论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2009年第6期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
1. 组合测试:原理与方法刊名： 软件学报发表期刊： 2009年6期页码:摘要： 组合测试能够在保证错误检出率的前提下采用较少的测试用例测试系统.但是,组合测试用例集的构造问题的复杂度是NP完全的.组合测试方法的有效性和复杂性吸引了组合数学领域和软件工程领域的学者们对其进...
-
2. DDS并行模型及其形式化刊名： 软件学报发表期刊： 2009年6期页码:摘要： DDS(deadline-driven scheduler)模型是实时系统研究中的一个经典模型,但其原始设置中未提及空间因素.在DDS模型的原始设置上进行扩展,给出了DDS并行模型并在该模型...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程,该过程避免了基于BDD方法中状态空间快速增长的问题.在SE+LTL的子集SE-LTL-X有界模型检测过程中,集成了stutt...
-
4. 软件错误注入测试技术研究刊名： 软件学报发表期刊： 2009年6期页码:摘要： 软件错误注入测试(software fault injection testing,简称SFIT)技术经过近30年的发展,一直是软件测试领域最活跃的研究内容之一.作为一种非传统的测试技术,在...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 参数化系统(paramterized system)是指包含特定有限状态进程多个实例的并发系统,其中的参数是指系统内进程实例的数目,即系统的规模.反向可达性分析(backward reach...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 为系统构建模型是软件开发中的一项能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 由于服务是由彼此独立的提供商开发的,无法在开发阶段就预测到其潜在的所有交互可能,因此需要在实际协作时检查服务之间的兼容性,从而保障协作的正确性和一致性.提出了一种基于分布式协调模型的方法,以...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 提出了一种基于数据包络分析的软件任务性能基准评价新方法--TaskBeD.介绍了TaskBeD的任务基准评价模型和核心算法(挖掘高性能的软件任务,建立参考任务集和结果的敏感度分析).实验结果...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 提出了一个用于求解二维不规则排样问题的离散临界多边形模型.Burke等人的BLF算法是求解排样问题的一种有效算法,但其算法对一些特殊实例会产生非法的解.为了解决这个问题,提出了一种基于离散临...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 针对二维矩形条带装箱问题提出了一种启发式布局算法,即底部左齐择优匹配算法(lowest-level left align best fit,简称LLABF).LLABF算法遵循最佳匹配优先原...
-
13. 无线网状网的QoS研究刊名： 软件学报发表期刊： 2009年6期页码:摘要： 作为下一代无线通信网络的关键技术,无线网状网能够融合异构网络,满足多类型的业务需求,因此必须提供一定的服务质量(QoS)保证.对目前各种QoS体系结构进行了分析,讨论了无线网状网的QoS体系...
-
14. 生物特征模板保护刊名： 软件学报发表期刊： 2009年6期页码:摘要： 对当前国内外生物特征模板保护技术发展的现状进行综述和探索,对该方向的研究内容进行详细的梳理和分类.首先阐述传统生物特征识别系统存在的本质缺陷和易于遭受到的攻击的形式,进而从理论上引出了生物特...
-
15. 网络距离预测技术研究刊名： 软件学报发表期刊： 2009年6期页码:摘要： P2P网络中节点间的距离信息是实现拓扑感知以优化覆盖网应用以及解决网络监管等问题的基础.P2P网络的大规模、自组织、高度动态等复杂特征使得要准确、完全地测量节点间的距离信息面临着极大的困难....
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 为了得到能量高效、具有高可靠性的数据通信链路,在比较几种不同通信方案的链路可靠性的基础上,提出了一种基于虚拟网格单元的高可靠性路由算法(grid-based high reliability...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 基于数据压缩领域中的行程编码理论提出一种RunTrust动态信任模型,以系统收益衡量节点合作成果,以经过压缩的节点合作记录作为信任评估依据,既增加了评估依赖的信息量,也保留了时间维度,提高了...
-
18. MD5碰撞攻击中的充要条件集刊名： 软件学报发表期刊： 2009年6期页码:摘要： 通过分析MD5中非线性函数的性质以及模232减差分和异或差分的性质,证明了Liang Jie和Lai Xuejia 给出的产生MD5碰撞的充分条件集中的条件是保证第23～62步的差分路径满足...
-
19. 基于组件属性的远程证明刊名： 软件学报发表期刊： 2009年6期页码:摘要： 提出了一个组件级的细粒度属性证明方案,用于向远程依赖方证明用户平台满足某种安全属性.与现有的远程证明方案相比,组件属性远程证明具有一定的语义和属性表述性等优势.该方案不但证明粒度细和扩展性强...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 针对ad hoc网络,提出了基于拓扑透明特性的混合MAC协议--TTHM协议(topology-transparent hybrid MAC protocol).TTHM协议在T-TSMA(...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 提出一种利用图像的表观特征进行头部姿态估计的方法.该方法首先使用了一维Gabor滤波器对头部图像进行特征提取,然后对提取得到的一维Gabor特征进一步使用了基于核函数的局部费舍尔判别分析方法...
-
22. 人体运动的函数数据分析与合成刊名： 软件学报发表期刊： 2009年6期页码:摘要： 在许多虚拟现实的应用中,虚拟人作为人在计算机中的表示,是提高其交互能力和沉浸感的重要因素之一.然而,对于虚拟人建模而言,合成逼真、可控的虚拟人运动仍然是具有挑战性的课题.为此,提出了一种基于...
-
23. 不规则网格上的曲面设计方法刊名： 软件学报发表期刊： 2009年6期页码:摘要： 提出一种在不规则网格上构造曲面的方法.其基本思想是,通过均匀双三次 B 样条基函数的分解和子基函数的分类,将B样条曲面方法推广到任意四边形网格.给定一个任意四边形控制网格,首先对每个控制点构...
-
刊名： 软件学报发表期刊： 2009年6期页码:摘要： 对复杂动态场景进行高效的可见性裁剪是实时绘制领域研究中的一个重要问题.围绕该问题开展工作,并针对相关性遮挡裁剪算法中的问题进行了改进.针对相关性层次遮挡裁剪算法存在冗余和不必要遮挡查询的问题...
-
25. TV图像插值的双方向扩散改进算法刊名： 软件学报发表期刊： 2009年6期页码:摘要： 提出了一种双方向扩散图像插值方法,有效地减小了插值图像的边缘宽度,从而获得清晰而光滑的图像边缘这种双方向扩散在图像边缘斜坡较亮一侧进行前向扩散,而在边缘斜坡较暗一侧进行后向扩散.同时,它能根...
-
26. 《软件学报》投稿指南刊名： 软件学报发表期刊： 2009年6期页码:摘要：
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
