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

软件学报 2008年第01期杂志 文档列表

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

量子程序设计语言NDQJava1-8

摘要：量子程序设计语言自1996年出现以来，颇受业界重视．在简述几种有代表性的量子程序设计语言之后，着重阐述自行设计之量子程序设计语言NDQJava之概貌，其中包括设计准则、语言风范、硬件平台、基本成分以及示例等，此外，还提及相关工作。

量子程序设计语言NDQJava处理系统9-16

摘要：简要介绍了量子程序设计语言NDQJava的一个处理系统．其特点是：程序中经典部分之处理借助Java系统，着重考虑量子部分之处理．该处理系统遵循编译．解释的途径，由词法分析程序、语法分析与代码转换程序以及量子汇编与解释程序3部分组成．文末还给出了示例，该系统已于2006年6月底在经典计算机上模拟实现．

全国第15届计算机辅助设计与图形学（CAD／CG200s）学术会议16-16

基于抽象解释理论的程序验证技术17-26

摘要：抽象解释（abstract interpretation）理论是Cousot．P和Cousot．R于1977年提出的程序静态分析时构造和逼近（aproxiamation）程序不动点语义的理论描述了程序语义基于Galois连接的抽象解释理论框架，讨论了基于抽象解释理论的程序变换、程序安全性验证和活性性质验证这3种典型的应用，并指出了基于抽象解释理论的程序验证的主要研究方向．

谓词抽象技术研究27-38

摘要：随着软、硬件系统规模和功能的不断扩充，状态空间爆炸问题严重影响了模型检验的进一步发展与应用，成为验证大规模系统的瓶颈．谓词抽象是解决状态空间爆炸的最有效方法之一，近年来得到迅速发展．介绍了谓词抽象的基本算法并比较了不同的求解支持工具；重点分析了反例指导的抽象求精和基于插值的抽象求精原理；分析了产生新谓词的各种方法的优、缺点；最后指出了谓词抽象技术进一步发展所面临的挑战和发展方向。

变量极小不可满足在模型检测中的应用39-47

摘要：提出一个结合变量抽象和有界模型检测（BMC）的验证框架，用于证明反例不存在或输出存在反例，引入变量极小不可满足（VMU）的数学概念来驱动抽象精化的验证过程，一个VMU公式F的变量集合是保证其不可满足性的一个极小集合．严格证明了VMU驱动的精化满足抽象精化框架中的两个理想性质：有效性和极小性．虽然VMU的判定问题和极小不可满足（MU）一样难，即D^p完全的，该案例研究表明，在变量抽象精化过程中，VMU比MU更为有效。

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

聚类算法研究48-61

摘要：对近年来聚类算法的研究现状与新进展进行归纳总结．一方面对近年来提出的较有代表性的聚类算法，从算法思想、关键技术和优缺点等方面进行分析概括；另一方面选择一些典型的聚类算法和一些知名的数据集，主要从正确率和运行效率两个方面进行模拟实验，并分别就同一种聚类算法、不同的数据集以及同一个数据集、不同的聚类算法的聚类情况进行对比分析．最后通过综合上述两方面信息给出聚类分析的研究热点、难点、不足和有待解决的一些问题．上述工作将为聚类分析和数据挖掘等研究提供有益的参考．

基于层次划分的最佳聚类数确定方法62-72

摘要：确定数据集的聚类数目是聚类分析中一项基础性的难题．常用的trail-and-error方法通常依赖于特定的聚类算法，且在大型数据集上计算效率欠佳．提出一种基于层次思想的计算方法，不需要对数据集进行反复聚类，它首先扫描数据集获得CF（clustering feature，聚类特征）统计值，然后自底向上地生成不同层次的数据集划分，增量地构建一条关于不同层次划分的聚类质量曲线；曲线极值点所对应的划分用于估计最佳的聚类数目．另外，还提出一种新的聚类有效性指标用于衡量不同划分的聚类质量．该指标着重于簇的几何结构且独立于具体的聚类算法，能够识别噪声和复杂形状的簇．在实际数据和合成数据上的实验结果表明，新方法的性能优于新近提出的其他指标，同时大幅度提高了计算效率．

一种从不完备关系数据中学习PRM的方法73-81

摘要：现有的关系学习研究都是基于完备数据进行的，而现实问题中，数据通常是不完备的．提出一种从不完备关系数据中学习概率关系模型（probabilistic relational models，简称PRMs）的方法——MLTEC（maximumlike lihood tree and evolutionary computing method）．首先，随机填充不完备关系数据得到完备关系数据．然后从每个随机填充后的数据样本中分别生成最大似然树并作为初始PRM网络，再利用进化过程中最好的网络结构反复修正不完备数据集，最后得到概率关系模型．实验结果显示，MLTEC方法能够从不完备关系数据中学习到较好的概率关系模型．

基于区分类别能力的高性能特征选择方法82-89

摘要：特征选择在文本分类中起着重要作用．文档频率（documentfrequency,简称DF）、信息增益（informationgain，简称IG）和互信．（mutual information，简称MI）等特征选择方法在文本分类中广泛应用．已有的实验结果表明，IG是最有效的特征选择算法之一，DF稍差，而MI效果相对较差．在文本分类中，现有的特征选择函数性能的评估均是通过实验验证的方法，即完全是基于经验的方法．特征选择是选择部分最有区分类别能力的特征，为此，给出了两个特征选择函数需满足的基本约束条件，并提出了一种构造高性能特征选择的通用方法．依此方法构造了一个新的特征选择函数KG（knowledgegain）．分析发现，IG和KG完全满足该构造方法，在Reuters-21578，OHSUMED和NewsGroup这3个语料集上的实验表明，IG和KG性能最好，在两个语料集上，KG甚至超过了IG验证了提出的构造高性能特征选择函数方法的有效性，同时也在理论上给出了一个评价高性能特征选择算法的标准．

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

超三代移动通信系统的QoS体系结构90-102

摘要：近年来，超三代移动通信系统的QoS体系结构已成为计算机网络领域和通信领域的一个研究热点．调研了相关的主要研究项目，通过对重点项目和国外该领域相关论文成果进行分析和比较，总结出未来B3G（beyond 3rd generation）系统QoS体系结构应是一种全IP的、层次化的、端到端的QoS体系结构，它应具有集成性、可管理性、可扩展性、自适应性和动态资源管理等特点．最后提出了B3G系统QoS体系结构的基本设计原则，并对未来工作进行了展望．

无线传感器网络中自适应数据存取103-115

摘要：数据存取，也称信息中介，是指生产者（传感器节点）将产生的感知数据按照某种策略存放在特定的位置上，而消费者（基站、用户、传感器节点）将查询请求按照对应策略路由到数据存放位置获得感兴趣的数据．利用数据速率和地理位置信息来减少网状拓扑结构传感器网络中数据存取的代价．首先，依据生产者和消费者的关系建模为“一对一”（一个生产者，一个消费者）、“多对一”（多个生产者，一个消费者）、“多对多”（多个生产者，多个消费者）3种模型来对存取代价进行分析．其次，基于上述模型，提出利用数据速率和地理位置来确定数据存放位置的自适应全局最优贪婪算法ODS（optimal data storage）和局部最优近似算法NDS（near-optimal data storage）以及最优数据传输模式．最后，ODS和NDS都依据数据速率、生产者和消费者地理位置、网络拓扑来决定存放位置，并且通过自适应地调整来减少数据存取能量消耗．实验结果表明：NDS不仅能够节省能耗，而且在70％的情况下达到与ODS相同的效果．

第5届智能CAD与数字娱乐学术会议征文通知115-115

无线网状网基于不确定性度量极小化信任模型116-124

摘要：WMN（wireless mesh network）络环境中，网络拓扑结构的改变或无线冲突的发生，都可能导致作为信任值评估证据的样本空间不一定完整和可靠,使得现有的信任评估模型不能应用其上．为了解决WMN网络节点间信任评估问题和建立信任关系，在研究现有信任模型并分析其存在问题的基础上，提出了基于不确定性度量极小化的信任模型，模型引入可信任度因子，根据网络实际情况，弱化证据样本空间不一定完整和可靠对信任值评估的影响，使得信任评估值的修正量在全局范围内达到最小．仿真实验与基于证据理论的信任评估模型进行了对比，表明模型是有效的．

高带宽延时网络中一种协同式拥塞控制协议125-135

摘要：提出一种协同工作式的TCP（transmission control protoc01）拥塞控制改进协议C^3P（cooperant congestion control protocol），通过C^3P源端检测RTT（roundtriptime）延时信息和路由器反馈的1bit显式预测信息来判断网络拥塞状态，自适应地调节拥塞窗口．仿真实验表明，C^3P协议能够有效地适应这种高带宽延时网络的传输特性，以保证网络获得更优的链路利用率、TCP友好性以及流与流之间的公平性．

分布式信息检索中文档集合划分问题的评价136-143

摘要：分布式信息检索的文档集合划分方案的评价是一个困难的问题，目前还没有良好的评价标准．从文档集合划分问题本身出发，给出了两个划分模型来刻画文档集合划分问题，从而使这两个模型可以作为文档集合划分的有效评价指标．在此基础上，提出了一种类Huffman编码的模型快速求解算法，可以求出在给定查询测试集情况下的最优文档划分方案，该方案可以作为其他文档划分方案的参考．实验表明，两个文档划分模型可以成为有效的文档集合划分评价标准．

基于博弈论的域间组播计费模型144-155

摘要：实用的组播计费机制是IP组播能够在域间得以广泛部署的前提条件．从不同参与者的角度讨论了IP组播的3种典型的服务模型及其相应的可实施的计费策略．这3种模型代表了域间组播的多种可能情况，它们是ICP-USER模型、ICP-ISP模型以及ICP-ISP-USER模型．分析了每种模型所对应的应用场景、解决方案以及提出算法的复杂性等．整个Internet被看作是一个生态系统，该工作利用博弈论的思想，尊重各个参与者的目的和利益，使得Internet的自组织特性得以充分体现，有利于Internet中“生态链”的长期、稳定和健康发展，具有很好的实用性．

中国科学院软件研究所筹建国内首家软件博物馆155-155

摘要：近日，中国科学院软件研究所发起建设我国首家以计算机软件为主题的软件博物馆。软件博物馆旨在记录软件发展历程，展示软件发展成就，传播软件科技知识，宣传软件科学文化。软件博物馆将以丰富而翔实的史料及珍贵的实物，将计算机软件从起步到现在的发展状况以及未来发展趋势生动、直观地展示给大众。通过各种展示手段，追溯软件的发展历程，发掘软件文化内涵，弘扬科学精神，普及科技知识。