软件学报杂志是由中国科学院主管，中国科学院软件研究所;中国计算机学会主办的一本北大期刊。
软件学报杂志创刊于1990，发行周期为月刊，杂志类别为计算机类。
杂志介绍
软件学报杂志
-
主管单位：中国科学院
-
主办单位：中国科学院软件研究所;中国计算机学会
-
国际刊号：1000-9825
-
国内刊号：11-2560/TP
-
发行周期：月刊
-
全年订价：￥1000.00
杂志介绍
软件学报杂志是由中国科学院主管，中国科学院软件研究所;中国计算机学会主办的一本北大期刊。
软件学报杂志创刊于1990，发行周期为月刊，杂志类别为计算机类。
主管单位：中国科学院
主办单位：中国科学院软件研究所;中国计算机学会
国际刊号：1000-9825
国内刊号：11-2560/TP
发行周期：月刊
全年订价：￥1000.00
关键词: simd扩展部件 自动向量化 数据级并行 编译优化
SIMD扩展部件是集成到通用处理器中的加速部件，旨在发掘多媒体程序和科学计算程序的数据级并行．首先介绍SIMD扩展部件的背景和研究现状，然后从发掘方法、数据布局、多平台向量化这3个角度介绍了SIMD自动向量化的研究问题、困难和最新研究成果，最后展望了SIMD编译优化未来的研究方向．
关键词: 软件配置 故障诊断 错误修复
软件的多样性、复杂性、灵活性和高度可定制性对系统的正确配置提出了挑战，配置错误已经成为影响应用服务质量的关键问题之一，很多学者和研究机构致力于配置错误的检测、诊断和故障修复的相关技术和方法研究，以提高复杂应用系统的可用性和可靠性．为系统了解软件配置错误相关的研究现状和进展，建立了一种多方面、多角度的分析框架对该领域的...
关键词: 数学函数库 测试平台 精度测试 性能测试
数学函数库作为CPU软件的重要组成部分，对于高性能计算机平台上的科学计算、工程数值计算起着极为关键的作用．现有的测试工具只能片面地对函数库进行测试，没有从正确性、精度和函数性能这3方面加以考虑，而且往往只针对一类目标体系结构，适用性有限．针对现有测试工具的缺陷，提出了面向多目标体系结构、全面可复用的一体化测试平台BMltest...
关键词: 时间多样性 虚拟机软件保护 累积攻击 执行路径差异
软件核心算法防逆向保护，是软件研发乃至软件产业发展的迫切需求，也是当前软件安全研究领域的热点之一．虚拟机软件保护作为一种保护强度高、商业应用广的技术，已被用于软件核心算法保护，并在很大程度上能够抵御攻击者的逆向分析．但这种保扩方法难以抵御累积攻击，无法提供更加持久的保护．时间多样性是指一个软件在不同时间被执行时，执行...
关键词: 泛型约束机制 apla语言 代数结构 动态语义约束 安全性
泛型程序设计可大幅提高程序的可重用性、可靠性和开发效率．泛型约束机制是对泛型参数进行形式描述，并对其合法性进行检测及验证，从而保证泛型程序的可靠性和安全性．分析总结多种主流语言的泛型约束特性，存在难以描述及验证基于动态语义的复杂约束需求问题，与完整实现GP尚有距离；以抽象程序设计语言Apla为宿主语言，提出了基于代数结构及...
关键词: 推荐系统 协同过滤 信任推理 矩阵分解 因子分解机
近年来，社会化推荐系统已成为推荐系统研究领域较为活跃的研究方向之一．如何利用用户社会属性信息缓解推荐系统中数据稀疏性和冷启动问题、提高推荐系统的性能，成为社会化推荐系统的主要任务．对最近几年社会化推荐系统的研究进展进行综述，对信任推理算法、推荐关键技术及其应用进展进行前沿概括、比较和分析．最后，对社会化推荐系统中有待...
关键词: 不完备模型 离散事件系统 基于模型诊断 可诊断性
在离散事件系统的建模过程中，由于系统行为的复杂，存在物理系统向逻辑系统映射的不完全性，因此产生了不完备模型的概念．提出在模型不完备的前提下，判断模型可诊断性的方法．提出可诊断性的在线判定方法，同时将不完备的行为加入模型，使模型完备．用经典的双树方法判断离线可诊断性，根据观测序列的时序及语言的前缀判断并处理不完备行为．...
关键词: 联合分辨率 线性判别分析 最坏分离 平均紧性
现实中，常需辨识低分辨率（low-resolution，简称LR）图像（如监控系统所捕捉的人脸），但相比通常的高（high-resolution，简称HR）或超（super-resolution，简称SR）分辨率图像而言，其含有相对较少的判别信息，致使通常的子空间学习算法，如结合主成分分析（principal components analysis，简称PCA）的线性判别分析（1inear discriminant a...
关键词: 推荐系统 协同过滤 冷启动 个性化 标签
推荐系统作为缓解信息过载问题的有效方法之一，在社交媒体中的作用日趋重要．但是，新项目冷启动和新用户冷启动问题是推荐技术面临的难题．为了解决新项目冷启动问题，提出了用户时间权重信息概念，该定义考虑到了用户评价时间与项目时间的时间间隔卉艮据用户时间权重值的大小，可以判断该用户是积极用户还是消极用户，以及用户对新项目的偏爱...
关键词: 语音合成弹元选择 构件 组合构件 音素
基于语料库的语音合成是国内外应用广泛的语音合成方法．在这种合成方法中，单元选择是语音合成的关键．通过分析藏语言文字的属性特征，设计了藏语语音合成系统模型，提出以构件、组合构件、字、词及句单元相融合的藏语语音合成方法，有效地保留了语音合成中大单元的完整性和小单元的灵活性与鲁棒性．同时，给出语音合成的单元选择策略与算法．...
关键词: 实体 相似性连接 劣质数据
按照元组描述的实体对其进行组织和查询处理，是一种管理劣质数据的有效方法考虑到同一个实体的同一属性存在多个描述的值周此，基于实体的数据库上的连接是支持多个值的相似性连接与字符串的相似性连接相比较．实体的相似性连接在数据清洗、信息集成、模糊关键字查询、诈骗检测和文本聚集等领域有着更好的应用效果．通过建立双层索引结构，提出...
关键词: 连接查询 mapreduce 查询优化
数据的指数级增长给数据管理和分析带来了严峻的挑战．连接查询是数据分析中一种常用运算，而MapReduce是一种用于大规模数据集并行处理的编程模型，研究基于MapReduce的连接查询代价评估和查询优化．有着学术意义和应用价值．MapReduce连接查询算法的性能主要取决于I／O代价（包括本地和网络I／O），而I／O代价与数据集以及连接运算的特征参数...
关键词: 隐私保护 差分隐私 分布式结构 优化
目前隐私保护的事务数据研究多是基于集中式结构．针对分布式结构下事务数据问题，为保护数据隐私，同时最大化数据效用，提出一种满足差分隐私约束的策略．首先，将结果效用性优化与差分隐私约束相结合，构建分布式非线性规划模型．然后，基于全局与局部数据设计两种解决方案安全求解该分布式模型．理论分析与实验结果均表明，所提出的策略是安...
关键词: 微博 意见领袖 影响力 消息传播
在微博网络中，消息的传播与意见领袖的影响力密切相关．然而，意见领袖在消息动态传播过程中所表现出的影响力难以量化衡量，这对意见领袖影响力的评估和消息传播趋势的预测带来了巨大挑战．针对这一问题，提出一种基于消息传播的微博意见领袖影响力建模与测量分析方法．在分析消息传播模式的基础上，采用动态有向图描述消息在微博网络中的传播...
关键词: 结构健康监测 桥梁 无线传感器网络 损伤识别
桥梁的安全运营，是关系到国计民生的大事．因此，桥梁结构健康监测系统正成为国内外学术界和工程界的研究热点．无线传感器网络由于安装方便、维护成本低和部署灵活等特点，已被广泛应用于桥梁健康监测系统中．对现有的基于无线传感器网络的桥梁健康监测系统进行综述，依次介绍了各个子系统中的基本原理和典型方法，并结合多个具体实例分析了系...
关键词: 车载自组织网络 数据分发 路边停放车辆
VANETs（vehicular ad hoc networks）具有节点高速移动、网络间歇性连通和拓扑高度动态变化等特点．要分发的数据很难被维持在目标区域的道路上，不能持续为行驶经过的车辆提供服务．鉴于城市区域道路两旁长时间拥有大量停放车辆这一事实，提出了VANETs中基于停放车辆辅助的数据分发策略PADD（parked－vehicle assisted data dissemination）．...
关键词: bittorrent 搭便车 unchoking策略 连接交换 概率算法
BitTorrent文件共享系统中的搭便车（free。riding）节点会使系统性能大幅下降，目前，BitTorrent主要采用choking策略来抑制搭使车行为，但与choking合作而存在的随机选择节点的unchoking策略仍然给搭便车行为提供了机会．提出了一种基于概率连接交换（probabilistic link exchange，简称PLX）的unchoking策略，在实现unchoking功能的同时，有...
关键词: 访问控制 saas 策略精化 策略冲突分析 开放逻辑 r反驳计算
策略精化是解决分布式应用访问控制策略配置复杂性的重要方法，现有精化技术给出了策略分层描述和逐层精化的方法，但处理策略之间关联问题的能力不足．基于精化树描述策略和策略关联，基于叶结点策略冲突判断，采用开放逻辑R反驳计算分析精化树策略关联属性，能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确，并能...
关键词: 计算机软件 投稿指南 学报 学术期刊 计算机科学 研究成果 软件技术 交流平台
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊，所刊登的论文均经过严格的同行专家评议．《软件学报》主要面向全球华人计算机软件学者，致力于创办与世界计算机科学和软件技术发展同步的以中文为主的“中文国际软件学术期刊”，为全球华人同行提供学术交流平台．
关键词: 形式化方法 征文通知 软件 应用 学报 计算机科学 程序理论 数学方法
形式化方法起步于对程序理论和语义的研究，历经50多年的发展，成为了计算机科学中的重要领域．它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径．
若用户需要出版服务，请联系出版商，地址：北京8718信箱，邮编：100190。