Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

中国智能网3号样机系统通过中审

由北京邮电大学程控交换与通信网国家重点实验室研制的，由国家863重大项目资助，遵照IN（智能网）CS－2标准开发出了新一代智能同样机──CIN03系统，最近通过863专家组的中期检查．专家组在听取了项目负责人的系统汇报后，经实地考察一致认为该项目按计划进展顺利，CIN03样机属国内领先，其中智能同业务生成环境子系统已达国际同期水平．为便于读者了解该系统的情况，下面简要介绍一下INCS－2及CIN03系统的主要性能。一．INCS－2简介INCS－2标准是1997年9月ITU－T正式批准的关于智能网设备开发和研制的新建议．CS－2标准除了…     

基于用户偏好的垂直搜索算法

提出并研究、实现了基于用户偏好的垂直搜索算法(PVSA)。以领域特征为基本出发点,PVSA借助领域主题偏好向量、领域元数据权重因子、检索名词差异化、行业词典库更新等4项策略,有效地挖掘、表征用户的领域个性化偏好,以此为基础构建基于用户偏好的垂直搜索算法。实验结果表明了PVSA算法的有效性和可行性。     

基于BP神经网络的协作过滤推荐算法

研究、探讨了协同推荐问题,提出了一种基于两层面的多个后向传播(BP)神经网络的协作过滤推荐算法(TMNN-CFRA). 两层面的多个BP神经网络协同工作,高层面BP网反向误差传播直至低层面多个人工神经网络(ANN)进行网络权值修正,以此为基础,借助用户评价等特征前向给出项目推荐. 标准评测集Movielens上的实验评测表明了TMNN-CFRA的可行性和有效性.     

可并行中文同主题词聚类新算法

提出了一种高效的自动按照主题对中文词进行聚类的算法.该算法利用顿号(、)切分抽取语料库句子中的并列中文词,并以抽取出的中文词为节点构建一个共引用图; 然后对每个中文词节点产生若干个locality sensitive Hashing (LSH)签名组合; 最后将至少有1个相同LSH签名组合的任意2个中文词标记为同一个主题类.实验表明,该算法运算速度快,且易并行实现,在海量语料库的支持下,执行效率高,聚类效果较好.     

《云计算和服务计算》专辑前言

云计算作为一种新兴的信息处理基础设施模式和商业模式得到广泛认可之后,人们开始关注其背后的科学问题和特有的核心技术,以便能更有效、高效、节省、保质地建设和利用云基础设施.此外,软件和资源走进云基础设施,以服务的形式为消费者所用,服务成为接入和放大各类基础设施能力的基本途径.云计算与服务计算的关系非常密切,云计算中最常提到的软件即服务(SaaS)、平台即服务(PaaS)和基础设施即服务(IaaS)中最核心的就是服务,而近来服务计算相关研究也多涉及云基础设施上的资源共享和应用集成.     

JacUOD: A New Similarity Measurement for Collaborative Filtering

Collaborative filtering(CF) has been widely applied to recommender systems,since it can assist users to discover their favorite items.Similarity measurement that measures the similarity between two users or items is critical to CF.However,traditional similarity measurement approaches for memory-based CF can be strongly improved.In this paper,we propose a novel similarity measurement,named Jaccard Uniform Operator Distance(JacUOD),to effectively measure the similarity.Our JacUOD approach aims at unifying similarity comparison for vectors in different multidimensional vector spaces.Compared with traditional similarity measurement approaches,JacUOD properly handles dimension-number difference for different vector spaces.We conduct experiments based on the well-known MovieLens datasets,and take user-based CF as an example to show the effectiveness of our approach.The experimental results show that our JacUOD approach achieves better prediction accuracy than traditional similarity measurement approaches.     

一种基于复合近邻的聚类中心点初始化算法

提出了一种有效选择初始聚类中心的算法CNICC.该算法参考了网格聚类算法的思路.划分数据空间为相应维度上的网格单元,然后根据实例的分布情况确定初始聚类中心.从二阶差分的概念出发,CNICC定义了网格单元的一阶邻居和二阶邻居,算法根据每个网格单元的一阶和二阶邻居的局部密度变化寻找包含聚类中心的网格单元.在人工数据集上进行的实验表明,与现有初始化聚类中心的方法相比,CNICC能够有效减少K-means算法的迭代次数,提升聚类精度.同时,随着数据集实例数、维度和网格单元数量的增加,算法的时间复杂度呈线性增加.     

异步环境中的服务接口兼容分析

基于异步协议兼容中的可同步条件，对异步消息通信环境中的服务交互进行接口兼容分析，提出一种异步环境下的接口兼容分析方法，通过这种方法，可以判定两个接口之间的异步交互行为是否是一致的，从而可以应用于接口的匹配问题和服务组合的设计时验证，保证最终获得的组合协议也满足可同步条件。