软件学报杂志

发表咨询:400-808-1731

订阅咨询:400-808-1751

软件学报杂志 北大期刊 CSCD期刊 统计源期刊

Journal of Software

  • 11-2560/TP 国内刊号
  • 1000-9825 国际刊号
  • 2.86 影响因子
  • 1-3个月下单 审稿周期
软件学报是中国科学院软件研究所;中国计算机学会主办的一本学术期刊,主要刊载该领域内的原创性研究论文、综述和评论等。杂志于1990年创刊,目前已被上海图书馆馆藏、CSCD 中国科学引文数据库来源期刊(含扩展版)等知名数据库收录,是中国科学院主管的国家重点学术期刊之一。软件学报在学术界享有很高的声誉和影响力,该期刊发表的文章具有较高的学术水平和实践价值,为读者提供更多的实践案例和行业信息,得到了广大读者的广泛关注和引用。
栏目设置:理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构

软件学报 2011年第12期杂志 文档列表

软件学报杂志系统软件与软件工程
异构系统硬件故障传播行为分析及容错优化2853-2865

摘要:以异构系统的过程间相关性分析为基础,研究分析异构系统硬件故障在软件之中的传播行为,指导优化基于异构系统的应用级checkpointing检查点保存问题,并通过实验验证其可行性及性能,对异构系统的容错优化研究具有重大意义.

一种网络化移动应用部署方案优化方法2866-2878

摘要:从软件体系结构角度出发,从满足移动用户个性化需求入手,提出一种便于移动应用开发和部署的整合方案.该方案从设备属性(如CPU、内存、屏幕、通信模式等)、用户偏好(如对能耗和性能的偏好等)以及QoS需求(如交互频率、安全、实时性等)等多重维度入手,采用体系结构驱动的方法对应用进行建模,并生成满足用户个性化需求的部署方案,从而有效提高了移动应用的可配置性.实验结果表明,该方案可以有效地方便移动应用的开发及部署,提高应用与用户需求的契合程度,改善网络化移动应用的可配置性.关键词:软件体系结构;软件可配置性;用户配置信息;服务质量;网络化移动应用

一种基于粒子群优化的成对组合测试算法框架2879-2893

摘要:提出一种基于粒子群优化的成对组合测试用例集生成算法框架.在生成测试用例时,该框架采用粒子群优化尝试生成强组合覆盖能力的测试用例,并研究了搜索空间、适应值函数和启发式的合理设定;在构造组合测试用例集时,以上述测试用例生成算法为基础,提出两种策略:一种基于one—test-at-a—time,另一种基于类IPO.编程实现该算法框架,并通过实证研究分析了算法框架中不同设定对组合测试用例集规模的影响;最后,与现有的经典方法在组合测试用例集生成规模和算法执行时间上进行了比较.最终结果表明,该算法具有竞争力.

容错优先级可提升的抢占阈值容错调度算法2894-2904

摘要:基于软件容错模型,提出了允许容错优先级提升的抢占阈值容错调度算法(extended fault.tolerant fixed-priority with preemption threshold,简称FT-FPPT*).该算法能够在抢占式容错调度算法(fault.tolerantfixed—prioritypreemptive,简称FT-FPP)和抢占阈值容错调度算法ffault—tolerant fixed-priority with preemption threshold,简称FT-FPPT)无法提高系统容错能力的情况下,进一步提高系统的容错能力.为了获得系统中任务优先级分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的优先级配置搜索算法(priority assignment searchalgorithm,简称PASA).经过深入分析和实验证明,与FT-FPPT算法相比,FT-FPPT*算法能够有效地提高硬实时系统的容错能力.

程序代码中隐含数据与控制的Petri网建模技术2905-2918

摘要:应用一种Petri网扩展CNets,描述程序代码中所隐含着的数据与控制,分别给出了程序代码的数据视图和控制视图.在CNets规范的基础上,研究程序中的数据与控制流之间的交互以及程序中数据、操作和资源之间的关系,同时给出CNets规范向经典Petri网规范的转换规则.在不运行程序的前提下,根据这一映射机制,通过CNets规范,利用经典Petri网理论对程序的性质进行分析.

软件学报杂志模式识别与人工智能
基于颜色聚类和多帧融合的视频文字识别方法2919-2933

摘要:提出一种基于颜色聚类和多帧融合的视频文字识别方法,首先,在视频文字检测模块,综合考虑了文字区域的两个显著特征:一致的颜色和密集的边缘,利用近邻传播聚类算法,根据图像中边缘颜色的复杂程度,自适应地把彩色边缘分解到若干边缘子图中去,使得在各个子图中检测文字区域更为准确.其次,在视频文字增强模块,基于文字笔画强度图过滤掉模糊的文字区域,并综合平均融合和最小值融合的优点,对在不同视频帧中检测到的、包含相同内容的文字区域进行融合,能够得到背景更为平滑、笔画更为清晰的文字区域图像.最后,在视频文字提取模块,通过自适应地选取具有较高文字对比度的颜色分量进行二值化,能够取得比现有方法更好的二值化结果;另一方面,基于图像中背景与文字的颜色差异,利用颜色聚类的方法去除噪声,能够有效地提高文字识别率.实验结果表明,该方法能够比现有方法取得更好的文字识别结果.

基于贝叶斯网络的频繁模式兴趣度计算及剪枝2934-2950

摘要:采用贝叶斯网络表示领域知识,提出一种基于领域知识的频繁项集和频繁属性集的兴趣度计算和剪枝方法BN—EJTR,其目的在于发现与当前领域知识不一致的知识,以解决频繁模式挖掘所面,临的有趣性和冗余问题.针对兴趣度计算过程中批量推理的需求,BN-EJTR提供了一种基于扩展邻接树消元的贝叶斯网络推理算法。用于计算大量项集在贝叶斯网络中的支持度;同时,BN-EJTR提供了一种基于兴趣度阈值和拓扑有趣性的剪枝算法.实验结果表明,与同类方法相比,方法BN-EJTR具有良好的时间性能,而且剪枝效果明显;分析发现,经过剪枝后的频繁属性集和频繁项集相对于领域知识符合有趣性要求.

软件学报杂志数据库技术
基于代价的闪存数据库缓冲区置换算法2951-2964

摘要:提出一种基于闪存硬盘(solid state disk,简称SSD)的自适应缓冲区管理算法CBLRU,其将数据页的置换代价与其驻留内存的影响相结合,为每个数据页附加一个权值,当发生页缺失问题时,选择具有最小权值的数据页进行置换,从而可以在延长修改页驻留缓冲区的同时,避免某些修改页长期占用缓冲区中有效空间问题的发生.由于该权值会根据不同闪存的读写代价进行动态调整,因此可适用于不同类型的闪存硬盘:进一步,提出了同类型数据页的权重关系稳定性结论,基于该结论,CBLRU将缓冲区中的数据页组织为两个LRU队列,分别用于管理只读页和修改页,从而将内存的CPU操作代价从O(klogk)降低为O(1).基于不同闪存硬盘和不同存取模式的实验结果说明,CBLRU可有效应用于不同类型的闪存硬盘,且综合性能优于已有方法.

一种高效的多层和概化关联规则挖掘方法2965-2980

摘要:通过对分类数据的深入研究,提出了一种高效的多层关联规则挖掘方法:首先,根据分类数据所在的领域知识构建基于领域知识的项相关性模型DICM(domain knowledge.based item correlation model),并通过该模型对分类数据的项进行层次聚类;然后,基于项的聚类结果对事务数据库进行约简划分;最后,将约简划分后的事务数据库映射至一种压缩的AFOPT树形结构,并通过遍历AFOPT树替代原事务数据库来挖掘频繁项集.由于缩小了事务数据库规模,并采用了压缩的AFOPT结构,所提出的方法有效地节省了算法的I/O时间,极大地提升了多层关联规则的挖掘效率.基于该方法,给出了一种自顶向下的多层关联规则挖掘算法TD-CBP-MLARM和一种自底向上的多层关联规则挖掘算法BU-CBP-MLARM.此外,还将该挖掘方法成功扩展至概化关联规则挖掘领域提出了一种高效的概化关联规则挖掘算法CBP。GARM.通过大量人工随机生成数据的实验证明,所提出的多层和概化关联规则挖掘算法不仅可以确保频繁项集挖掘结果的正确性和完整性,还比现有同类最新算法具有更好的挖掘效率和扩展性.

软件学报杂志计算机图形学与计算机辅助设计
使用二维轮廓线的扩展元球造型技术2981-2993

摘要:提出了一种基于二维轮廓线与超二次曲面型元球模型的造型方法,以实现简单、快速三维模型原型构造.给定一条二维轮廓线,首先使用圆或椭圆去逼近它.然后对每一个圆或椭圆设置第三个维度的参数,能够获得相应的超椭球体型元球.最后混合所有元球的场,并对所有元球的形状参数进行优化,得到一个解析的元球隐式曲面.通过调整元球的位置或形状参数构造出的曲面能够方便地实现形状的修改.模型的不同组成部分可以在不同的投影平面上勾画轮廓线相似地进行设计.该造型方法支持简单的建模操作,如布尔加、减或准扫成体生成,以生成各种复杂形状的模型.此方法能够广泛地应用在计算机图形学或计算机辅助设计领域中的概念设计阶段的原型设计工作中.

一种稳定、高效且保持细节的粘性流模拟算法2994-3003

摘要:给出一种基于物理的粘性流体模拟算法,该算法采用一种等价的能量模型将耗散过程与投影过程耦合入一个线性系统中同时求解.实现了在全隐式求解粘性项的同时求解压力来保证流体的不可压缩性,并且自动捕捉了至关重要的零应力边界条件,从而消除了由于直接近似该边界条件而导致的失真现象.此外,利用粒子携带的物理信息来求解对流项以抑制数值耗散同时,基于粒子构建流体的隐式表面.最后的实验结果显示出算法的有效性、精确性及稳定性.该算法可以细致地体现各种粘度的流体的形变特征,并有效地支持可变粘性.

基于多尺度方向特征的快速鲁棒人体检测算法3004-3014

摘要:提出一种多尺度方向(multi—scale orientation,简称MSO)特征描述子用于静态图片中的人体目标检测.MSO特征由随机采样的图像方块组成,包含了粗特征集合与精特征集合.其中,粗特征是图像块的方向,而精特征由Gabor小波幅值响应竞争获得.对于两种特征,分别采用贪心算法进行选择,并使用级联Adaboost算法及SVM训练检测模型.基于粗特征的Adaboost分类器能够保证高的检测速度,而基于精特征的SVM分类器则保证了检测精度.另外,通过MSO特征块的平移,使得所提算法能够检测多视角的人体通过对于MSO特征块的装配,使得算法能够检测人群中相互遮挡的人体目标.在INRIA公共测试集合及SDL多视角测试集合上的实验结果表明,算法具有对视角与遮挡的鲁棒性和较高的检测速度.

推广Dirichlet方法用于B样条极小曲面设计3015-3022

摘要:为弥补当前NURBS系统无法有效设计工程所急需的B样条极小曲面的缺陷,将构造B6zier极小曲面的Dirichlet方法成功地推广到了B样条极小曲面设计.提出了插值控制网格边界的B样条曲面模型,运用B样条基函数的求导公式及求值割角算法,将计算极小曲面内部控制顶点的问题转化为一个线性方程组的求解,从而避免了强非线性问题所导致的困惑,极大地提高了运算效率.最后,用大量实例对理论和算法进行了验证.

首届全国信息安全等级保护技术研讨会(ICSP2012)征文通知3022-3022

摘要:首届全国信息安全等级保护技术研讨会拟于2012年4月在广西桂林召开。本次会议由公安部网络安全保卫局等部门指导,中科院信息安全共性技术国家工程研究中心主办,公安部第三研究所、中国信息安全测评中心和国家信息技术安全研究中心协办。

《软件学报》投稿指南F0003-F0003

摘要:《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的“中文国际软件学术期刊”,为全球华人同行提供学术交流平台.《软件学报》创刊于1990年,

软件学报2011年第22卷总目次I0001-I0016