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

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

软件学报杂志系统软件与软件工程

基于问题框架的需求建模：一种本体制导的方法177-194

摘要：在深入研究问题框架方法的基础上，抽取并构建了一个问题框架本体，以概念化基于问题框架的需求建模，设计了一个本体制导的基于问题框架方法的需求建模过程，为需求分析员提供建模指导并规范其建模活动．最后，通过案例展示整个本体制导的建模过程．

扩展QVT Relations实现业务流程模型的转换195-210

摘要：QVT（Query／View／Transformation）Relations无法描述包含嵌套模式，因此在描述流程模型的转换规则时存在一些困难．针对此问题，对QVTRelations进行了扩展，引入了模式因子、嵌套关系表达式和关联端约束这3个概念，并讨论了扩充之后匹配模型和创建模型的语义变化．并用一个例子展示，扩展之后的QVTRelations可以解决流程模型转换的问题．

基于命题投影时序逻辑的单调速率调度算法模型检测211-221

摘要：提出了基于命题投影时序逻辑（propositional projection temporal logic，简称PPTL）的单调速率调度（rate monotonic scheduling，简称RMs）模型检测方法．该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模，使用PPTL描述系统期望的性质，通过SPIN验证系统模型是否满足性质，从而得知一个任务组在RMS下是否可调度．同时，RMS算法控制下的任务调度系统的其他性质也可以得到验证．

软件学报杂志模式识别与人工智能

基于特征组合的中文语义角色标注222-232

摘要：提出一种基于特征组合和支持向量机（support vector machine，简称SVM）的语义角色标注（semantic role labeling，简称SRL）方法．该方法以句法成分作为基本标注单元，首先从当前基于句法分析的语义角色标注系统中选出高效特征，构成基本特征集合．然后提出一种基于统计的特征组合方法．该方法能够根据正反例中组合特征的分布状况，以类间距离和类内距离之比作为统计量来衡量组合特征对分类所产生的效果，保留分类效果较好的组合特征．最后，在Chinese PropBank（CPB）语料上利用支持向量机进行分类实验，结果表明，引入该特征组合方法后，语义角色标注整体F值达91．81％，提高了近2％．

口语对话中的代词指代消解233-244

摘要：提出一套分为两步的代词指代消解算法，算法不需要人工清洗语料及预定义规则．算法第1步采用一些新特征和机器学习算法对名词性指代代词和非名词性指代（non-anaphoric）代词分类，第2步分别对两类代词进行消解．针对名词性代词指代消解，提出了适用于口语对话的特征抽取及表示方法，如代词和候选先行词的距离、语法、语义等的抽取和表示方法，然后通过综合这些特征来选择先行词．针对非名词性指代，将右边界规则（right frontier rule）改进为可以在口语对话中自动抽取的形式，并根据该规则选择先行项．在Byron于2004年的语料上测试，消解正确率达到77．0％，召回率达到66．0％．与Byron的工作相比，该方法在保证系统能够自动完成的同时还提高了消解性能．

层级分类概率句法分析245-257

摘要：对已有的句法分析中引入知识的方法进行了归纳分析，认为多种句法分析方法都可被看作是基于特征标记的分类，然后分析了其中的欠分类和过分类问题．在此基础上，提出一种层级分类短语结构文法和一种层级分类概率句法分析方法（hierarchically classified probabilistic context-free grammar），并设计了一种通过对实例进行聚类来消除句法规则的分类歧义方法．还进一步将层级分类扩展到概率上下文相关句法分析方法，利用上下丈相关性的层级分类来解决引入上下丈相关时的数据稀疏性问题．通过上述一系列方法有效地克服了过分类与前分类之间的矛盾，

软件学报杂志数据库技术

Graph OLAPing的建模、设计与实现258-268

摘要：提出了一系列Graph的OLAP模型和算法，实现了以Graph数据为中心度量的OLAP操作．主要贡献包括：（1）提出了面向Graph的数据仓库概念模型一一双星模型；（2）提出了Graph的数据立方概念和创建过程；（3）设计了信息维聚集算法I-OLAPing；（4）设计了拓扑维聚集算法T-OLAPing；（5）实现了GraphOLAP的原型系统Graph OLAPerl．0．实验结果表明，设计和实现的Graph OLAPing算法及原型系统Graph OLAPerl．0能够有效地进行科研合作网分析．

分布式空间数据分片与跨边界拓扑连接优化方法269-284

摘要：研究分布式空间数据库（distributed spatial database，简称DSDB）中数据按区域分片时的跨边界片段拓扑连接查询问题，并提出相应的优化方法．首先研究了分布式环境下的空间数据的分片与分布，提出了空间数据分片的扩展原则：空间聚集性、空间对象的不分割性、逻辑无缝保持性．然后，将区域分割分片环境下的片段连接分为跨边界和非跨边界两类；同时，将拓扑关系分为两类，重点研究跨边界的两类片段拓扑连接．提出了跨边界空间片段拓扑连接优化的两个定理，并给出了证明．以此为基础，给出了跨边界空间拓扑连接优化规则，包括连接去除规则和连接优化转化规则．最后设计了详细的实验，对自然连接策略、半连接策略以及所提出的连接策略进行效率比较，结果表明，所提出的方法对跨边界连接优化有明显优势．因此，所提出的理论和方法可以用于分布式跨边界拓扑关系查询的优化．

在不确定数据集上挖掘优化的概率干预策略285-297

摘要：提出了不确定干预分析模型，主要工作包括：（1）建立了用于多维不确定数据分析的不确定监测点模型（uncertainsurveillance）；（2）建立了基于不确定监测点的不确定干预策略及挖掘评价算法；（3）在真实数据及仿真数据上对所提出的两种算法作了大量实验比较，验证了所提出的干预策略评价优化算法具有较高精度，效率比朴素方法高出3个数量级，适合在实际系统中处理海量干预评价．

软件学报杂志计算机网络与信息安全

无线认知网络中一种团划分的频谱感知算法298-312

摘要：提出了一种基于节点之间竞争关系以及感知代价的分布式频谱感知算法．该算法基于分布式最小团划分理论，将节点划分至不同的团中，然后再根据团的结构来计算最优频谱感知分配．该算法的时间复杂度仅为0（N^2＋MxN），其中,N为网络中节点数，M为信道数目．大量的仿真实验结果表明，该算法能够有效地提高网络性能．

常规分簇的超宽带传感网生存期的上界313-322

摘要：考虑了n个传感节点和一个Sink组成的跳时脉冲无线电超宽带（time hopping impulse radio ultra wideband，简称TH-IR UWB）传感网，其中，n个传感节点均匀且独立地分布在正方形上．分别推导了常规分簇的密集和扩展TH—IR UWB传感网的生存期上界．常规分簇网络的簇头仅对本簇内的节点发送的数据进行融合，而对其他簇头发送的数据仅转发．研究结果表明，常规分簇密集TH-IR UWB传感网的生存期上界与节点密度（或节点数）成正比，扩展网络的生存期上界与部署区域大小（或节点数）成反比．研究结果也表明，对于密集网络，理想情形下的生存期上界比静态网络提高了（n／logn）1/2倍；而对于扩展网络，理想情形下生存期的上界比静态网络提高了（λn／log（λn））1/2倍．因此，节点或Sink在正方形内随机移动能够提高传感网生存期．

一种保护隐私的高效远程验证机制339-352

摘要：基于Merkle哈希树提出了一种效率高、方式灵活并能保护平台隐私的远程验证机制．针对特定的目标应用场景，分析IMA（integrity measurement architecture）体系架构的不足，详细描述基于Merkle哈希树的远程验证机制的体系架构和度量验证过程，阐述新机制对现有TPM（trusted platform module）的功能增强即TPM_HashTree命令的功能及伪代码，并分析讨论新机制的优点．

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

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