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

软件学报 2005年第07期杂志 文档列表

软件学报杂志理论计算机科学

粗代数研究1197-1204

摘要：在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对((下近似集,上近似集()表示入手,通过定义偶序对的基本运算,从而构造出相应粗代数,并寻找能够抽象刻画偶序对性质的一般代数结构.其中最有影响的粗代数分别是粗双Stone代数、粗Nelson代数和近似空间代数,它们对应的一般代数结构分别是正则双Stone代数、半简单Nelson代数和预粗代数.通过建立这些粗代数中算子之间的联系,证明了:(a) 近似空间代数可转化为半简单Nelson代数和正则双Stone代数;(b) 粗Nelson代数可转化为预粗代数和正则双Stone代数;(c) 粗双Stone代数可化为预粗代数和半简单Nelson代数,从而将3个不同角度的研究统一了起来.

正则序类逻辑Institution的Lawvere定理及其初始与终结语义1205-1209

摘要：主要考虑了以下3个问题:(1) 通过将正则序类理论态射(延拓为多类型理论态射,得到了模型函子( )·和( )#都与(可交换的结论;(2) 获得了正则序类逻辑Institution的Lawvere定理;(3) 讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终结语义.

软件学报杂志默认

《2005年度计算机科学技术发展报告》征稿启事1204-1204

敬告作者1209-1209

2005年全国开放式分布与并行计算学术会议征文通知1251-1251

《中国计算机学会通讯》杂志创刊1261-1261

《软件学报》有关长文的征文通知1281-1281

中国计算机学会设立创新奖1313-1313

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

关于蜕变测试和特殊用例测试的实例研究1210-1220

摘要：提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.

关于软件需求中的不一致性管理1221-1231

摘要：复杂软件系统开发的一个关键问题是分析和处理可能存在的不一致的需求描述.这个问题解决得好坏直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的一个不一致需求管理框架的基础上,就需求不一致性管理方面的有代表性的工作,进行了较为系统的分析,以期建立对当前需求工程中,关于不一致的需求管理方法和技术的全面认识.最后,对需求不一致性管理方面的研究进行了展望.

下一代通信软件中的特征冲突检测1232-1241

摘要：通信软件在其基本服务基础上进行扩展而得到的附加功能被称为特征,由于特征之间的相互干扰所导致的软件系统的异常行为被称为特征冲突问题.研究了下一代通信软件中由于特征的分布式实现和部署而产生的特征冲突问题.基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则.对所提出的方案及优化策略进行了理论上的证明和实际中的验证,结果均表明,该方案对于通信软件中的特征冲突检测是有效的.

一种基于Petri网化简的工作流过程语义验证方法1242-1251

摘要：过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义验证的需求,定义3DWFN网作为过程描述的形式化模型,然后基于该模型阐述了完成语义验证的化简规则.并通过与其他相关化简规则的比较,说明了这些规则在语义验证层面的优势.

软件学报杂志数据库技术

数据流上的预测聚集查询处理算法1252-1261

摘要：实时数据流未来趋势的预测具有重要的实际应用意义.例如,在环境监测传感器网络中,通过对感知数据流进行预测聚集查询,观察者可以预测网络覆盖的区域在未来一段时间内的平均温度和湿度,以确定是否会发生异常事件.目前的研究工作多数集中在数据流上当前数据的查询,数据流上预测查询的研究工作还很少.采用多元线性回归方法,给出了数据流上的聚集值预测模型,提出了一种数据流预测聚集查询处理方法.当预测失败的次数大于预先给定的阈值时,给出了一种预测模型自动调整策略,以降低预测误差.还提出了滑动窗口的更新周期、数据流的流速对预测精度影响的数学模型.理论分析与实验结果表明,提出的预测聚集查询处理算法具有较高的性能,并且能够返回满足用户精度要求的预测查询结果.在实验中,采用TPC-H国际标准测试数据和TAO(tropical atmosphere ocean)测量的海洋表面空气温度数据来构造数据流.

分布式序列模式发现算法的研究1262-1269

摘要：提出算法FDMSP(fast distributed mining of sequential patterns),以解决分布式环境下的序列模式挖掘问题.首先对分布式环境下序列模式的性质进行了分析.算法采用前缀投影技术划分模式搜索空间,利用序列模式前缀指定选举站点统计序列的全局支持计数,利用局部约减、选举约减、计数约减等方法减少候选序列数,同时将算法分为3个子过程异步运行,使得算法具有较低的I/O开销、内存开销和通信开销,从而高效地生成全局序列模式.实验结果显示,在具有海量数据的局域网环境中,FDMSP算法的性能优于将数据集中后采用GSP算法68.5%～99.5%,并且FDMSP算法具有良好的可伸缩性.

SEEKER：基于关键词的关系数据库信息检索1270-1281

摘要：传统上,SQL是存取关系数据库中数据的主要界面.但是,对于没有经验的用户来说,学习复杂的SQL语法是一件困难的事情.实现基于关键词的关系数据库信息检索,将使用户不需要任何SQL语言和底层数据库模式的知识,用搜索引擎的方式来获取数据库中的相关数据.描述了一个基于关键词的关系数据库信息检索系统SEEKER的设计和实现.现有的关系数据库关键词查询系统只能检索关系数据库中的文本属性,而SEEKER还可以检索数据库元数据以及数字属性.并且,SEEKER采用了更合理的排序公式,支持Top-k查询.实验结果显示,SEEKER具有良好的查询性能.

基于奇异值分解的异常切片挖掘1282-1288

摘要：切片操作是联机分析处理的主要功能之一,在决策支持应用中发挥着重要作用.由于人工的切片过程非常低效,且易忽略重要信息,提出了一种自动、智能的异常切片挖掘方法.该方法基于奇异值分解技术来提取切片的数据分布特征,然后在提取出的奇异值特征之上,利用基于距离的孤立点检测技术发现异常的切片.在人工生成的数据和实际应用的切片数据上所作的实验结果都表明了该方法的高效性和可行性.

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

一类存在特权集的门限群签名方案1289-1295

摘要：针对冯登国提出的"存在特权集的门限群签名"问题,旨在分析现有解决方案的安全缺陷并给出新的解决方案.首先基于有限域理论分析指出石怡等人给出的一种实现方案存在不足和安全隐患.然后推广了利用单签名构造群签名的思想,提出了具有4个变形的一类EIGamal类型门限群签名方案,从而解决了以上问题.这类方案还具有消息恢复、签名长度短等许多良好性质.最后,基于单签名的安全性假设,证明以上方案是安全的.

具有最低竞争吞吐率保证的准入控制算法1296-1304

摘要：研究了IEEE 802.11 PCF(point coordination function)机制下集成实时业务和非实时业务的性能,提出了一种新的实时业务准入控制算法.该算法根据网络中的非实时业务负载情况动态计算准入阈值,并对准入的实时业务结点按服务指标进行轮询,从而在对实时业务提供参数化QoS(quality of service)的同时,使非实时业务吞吐率保持在可接受的水平上.仿真实验验证了算法的有效性.