杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
杂志简介：《软件学报》杂志经新闻出版总署批准，自1990年创刊，国内刊号为11-2560/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：理论计算机科学、系统软件与软件工程、模式识别与人工智能、数据库技术、计算机网络与信息安全、计算机体系结构
作者：陈小红 尹斌 金芝 刊期：2011年第02期
在深入研究问题框架方法的基础上，抽取并构建了一个问题框架本体，以概念化基于问题框架的需求建模，设计了一个本体制导的基于问题框架方法的需求建模过程，为需求分析员提供建模指导并规范其建模活动．最后，通过案例展示整个本体制导的建模过程．
作者：何啸 麻志毅 张岩 邵维忠 刊期：2011年第02期
QVT（Query／View／Transformation）Relations无法描述包含嵌套模式，因此在描述流程模型的转换规则时存在一些困难．针对此问题，对QVTRelations进行了扩展，引入了模式因子、嵌套关系表达式和关联端约束这3个概念，并讨论了扩充之后匹配模型和创建模型的语义变化．并用一个例子展示，扩展之后的QVTRelations可以解决流程模型转换的问题．
作者：田聪 段振华 刊期：2011年第02期
提出了基于命题投影时序逻辑（propositional projection temporal logic，简称PPTL）的单调速率调度（rate monotonic scheduling，简称RMs）模型检测方法．该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模，使用PPTL描述系统期望的性质，通过SPIN验证系统模型是否满足性质，从而得知一个任务组在RMS下是否可调度．同时，RMS...
作者：李世奇 赵铁军 李晗静 刘鹏远 刘水 刊期：2011年第02期
提出一种基于特征组合和支持向量机（support vector machine，简称SVM）的语义角色标注（semantic role labeling，简称SRL）方法．该方法以句法成分作为基本标注单元，首先从当前基于句法分析的语义角色标注系统中选出高效特征，构成基本特征集合．然后提出一种基于统计的特征组合方法．该方法能够根据正反例中组合特征的分布状况，以类间距离...
作者：费仲超 周雅倩 黄萱菁 吴立德 刊期：2011年第02期
提出一套分为两步的代词指代消解算法，算法不需要人工清洗语料及预定义规则．算法第1步采用一些新特征和机器学习算法对名词性指代代词和非名词性指代（non-anaphoric）代词分类，第2步分别对两类代词进行消解．针对名词性代词指代消解，提出了适用于口语对话的特征抽取及表示方法，如代词和候选先行词的距离、语法、语义等的抽取和表示方法，...
作者：代印唐 吴承荣 马胜祥 钟亦平 刊期：2011年第02期
对已有的句法分析中引入知识的方法进行了归纳分析，认为多种句法分析方法都可被看作是基于特征标记的分类，然后分析了其中的欠分类和过分类问题．在此基础上，提出一种层级分类短语结构文法和一种层级分类概率句法分析方法（hierarchically classified probabilistic context-free grammar），并设计了一种通过对实例进行聚类来消除句法规则的...
作者：李川 赵磊 唐常杰 陈瑜 李靓 赵小明 刘小玲 刊期：2011年第02期
提出了一系列Graph的OLAP模型和算法，实现了以Graph数据为中心度量的OLAP操作．主要贡献包括：（1）提出了面向Graph的数据仓库概念模型一一双星模型；（2）提出了Graph的数据立方概念和创建过程；（3）设计了信息维聚集算法I-OLAPing；（4）设计了拓扑维聚集算法T-OLAPing；（5）实现了GraphOLAP的原型系统Graph OLAPerl．0．实验结果表明，设...
作者：朱欣焰 周春辉 呙维 夏宇 刊期：2011年第02期
研究分布式空间数据库（distributed spatial database，简称DSDB）中数据按区域分片时的跨边界片段拓扑连接查询问题，并提出相应的优化方法．首先研究了分布式环境下的空间数据的分片与分布，提出了空间数据分片的扩展原则：空间聚集性、空间对象的不分割性、逻辑无缝保持性．然后，将区域分割分片环境下的片段连接分为跨边界和非跨边界两类；...
作者：王悦 唐常杰 杨宁 张悦 李红军 郑皎凌 朱军 刊期：2011年第02期
提出了不确定干预分析模型，主要工作包括：（1）建立了用于多维不确定数据分析的不确定监测点模型（uncertainsurveillance）；（2）建立了基于不确定监测点的不确定干预策略及挖掘评价算法；（3）在真实数据及仿真数据上对所提出的两种算法作了大量实验比较，验证了所提出的干预策略评价优化算法具有较高精度，效率比朴素方法高出3个数量级，...
作者：胡罡 徐明 刘丽霞 李宏建 彭宇行 刊期：2011年第02期
提出了一种基于节点之间竞争关系以及感知代价的分布式频谱感知算法．该算法基于分布式最小团划分理论，将节点划分至不同的团中，然后再根据团的结构来计算最优频谱感知分配．该算法的时间复杂度仅为0（N^2＋MxN），其中,N为网络中节点数，M为信道数目．大量的仿真实验结果表明，该算法能够有效地提高网络性能．
作者：徐娟 洪永发 王成 白星振 刊期：2011年第02期
考虑了n个传感节点和一个Sink组成的跳时脉冲无线电超宽带（time hopping impulse radio ultra wideband，简称TH-IR UWB）传感网，其中，n个传感节点均匀且独立地分布在正方形上．分别推导了常规分簇的密集和扩展TH—IR UWB传感网的生存期上界．常规分簇网络的簇头仅对本簇内的节点发送的数据进行融合，而对其他簇头发送的数据仅转发．研究结果...
作者：徐梓耀 贺也平 邓灵莉 刊期：2011年第02期
基于Merkle哈希树提出了一种效率高、方式灵活并能保护平台隐私的远程验证机制．针对特定的目标应用场景，分析IMA（integrity measurement architecture）体系架构的不足，详细描述基于Merkle哈希树的远程验证机制的体系架构和度量验证过程，阐述新机制对现有TPM（trusted platform module）的功能增强即TPM_HashTree命令的功能及伪代码，并分...
刊期：2011年第02期
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊，所刊登的论文均经过严格的同行专家评议．《软件学报》主要面向全球华人计算机软件学者，致力于创办与世界计算机科学和软件技术发展同步的以中文为主的“中文国际软件学术期刊”，为全球华人同行提供学术交流平台．《软件学报》创刊于1990年，
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊
影响因子：1.2
期刊级别：省级期刊
发行周期：半月刊
影响因子：1.75
期刊级别：北大期刊
发行周期：月刊
影响因子：1.26
期刊级别：部级期刊
发行周期：月刊
影响因子：0.37
期刊级别：省级期刊
发行周期：月刊
影响因子：1.71
期刊级别：统计源期刊
发行周期：半月刊
影响因子：--
期刊级别：部级期刊
发行周期：月刊
影响因子：0.62
期刊级别：北大期刊
发行周期：双月刊
影响因子：0.95
期刊级别：北大期刊
发行周期：月刊
影响因子：0.3
期刊级别：省级期刊
发行周期：月刊
影响因子：0.68
期刊级别：省级期刊
发行周期：月刊
影响因子：2.24
期刊级别：北大期刊
发行周期：月刊