计算机科学

一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用

张兴芳孟广武

计算机科学. 2005, 32 (10): 1-5.

摘要 ( 103 )

PDF(229KB) ( 333 )

相关文章 | 多维度评价

通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑（或一阶模糊语言）公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架.

从文本中获取植物知识方法的研究

计算机科学. 2005, 32 (10): 6-13.

摘要 ( 111 )

PDF(488KB) ( 446 )

相关文章 | 多维度评价

知识获取一直是人工智能中的一个关键问题.当前,知识的文本挖掘（KAT）已经成为计算机领域的一个重要的研究课题.本文中,给出了基于植物本体的从海量网页文本库中自动获取植物领域知识的方法.该方法包括两个部分,一是植物本体（Botanical Ontology）,它是顾芳博士等建立的生物本体的扩展.第二部分是以植物本体为基础,在网络文本库中进行文本挖掘（Text Mining）,自动获取植物知识.实验证明,基于本体的文本挖掘是一种有效的知识获取方法.

“过程”新论

计算机科学. 2005, 32 (10): 14-15.

摘要 ( 72 )

PDF(194KB) ( 271 )

相关文章 | 多维度评价

“过程”本是计算机界早期的话题.关于“过程”的研究热潮早已成为过去,很长时间已很少有人谈及“过程”.然而,工作流和业务过程管理系统（BPMS）的出现使“过程”再次成为研究的热点.业务过程管理系统被认为是继工作流技术之后实现业务过程的创建、集成、复用的下一代技术.它在过程的描述、实现方法上用Process把业务流中的控制流、数据流和参与者统一起来.Petri Net是一种很好的描述过程管理的模型,它能够较好地描述系统执行过程中的并行、竞争和同步等特性.本文论述了建立过程模型中遇到的一些新问题,并介绍了一种基

面向数据绑定的表格建模研究与实现

许晖徐鹏

计算机科学. 2005, 32 (10): 16-19.

摘要 ( 73 )

PDF(285KB) ( 312 )

相关文章 | 多维度评价

表格作为结构化数据的一种最常用的表现形式,已被各个行业广泛应用在信息管理系统中.表格的自动生成和处理技术也成为应用信息系统设计和实现中的关键技术.随着Internet和Web技术的发展,Web与传统的数据库系统、文档管理系统结合在一起构成了巨大的、异构的、分布式的数据仓库.海量信息和异构信息的处理对表格的数据建模和处理技术提出了新的要求.针对现有技术在表格建模方面存在的模型结构简单,支持的表格类型有限和缺乏对集成异构数据源的支持等缺陷,本文在从设计和实现方面分析现有各种信息系统对表格处理技术的需求基础上,

集群高速互连网络分析

李涛陈宇明赵精龙倪长顺杨愚鲁

计算机科学. 2005, 32 (10): 20-22.

摘要 ( 169 )

PDF(206KB) ( 638 )

相关文章 | 多维度评价

集群是当今高性能计算领域的重要发展方向,高速互连网络是构建高性能集群系统的关键技术,它是影响集群系统整体性能的关键因素.本文对几种用于集群互连的高带宽、低延迟高速互连网络进行了分析与比较,最后指出了高速互连网络的未来发展.

一种无线传感器网络中多应用系统级分布式接入控制策略

计算机科学. 2005, 32 (10): 23-26.

摘要 ( 74 )

PDF(338KB) ( 281 )

相关文章 | 多维度评价

本文从无线传感器网络中多应用场景下的能量管理问题出发提出了一个系统级分布式接入控制策略.其目的为在一定的网络初始配置能量的前提下最大化总用户收益期望值.在设计该策略时,本文将多应用接入控制问题抽象成为一个特殊的“动态随机背包问题”,并采用相关理论对该问题建立了模型.为了求解这一模型,本文还提出了一个估计应用Reward及Cost联合概率分布的方案.并采用相关算法对该模型进行了求解,并据此设计了最优系统级分布式接入控制策略.经实验表明,本文提出的分布式接入控制策略能在各种网络初始能量配置下获取显著的总用户收

多业务IP网络规划与QoS研究

计算机科学. 2005, 32 (10): 27-30.

摘要 ( 91 )

PDF(282KB) ( 275 )

相关文章 | 多维度评价

在IP网络上开展多业务商业应用是目前的研究热点.需要解决的突出问题是,如何保障多业务应用的服务质量.本文针对这一问题,将多业务IP网络规划与QoS结合起来加以考虑.在分析了各种QoS的机制、将IP网络信息作适当分类建模后,提出一种统一链路模型,最后给出了三种网络规划方案及其实现的可能性.

IP/DWDM光Internet中的一种公平智能QoS组播路由机制

计算机科学. 2005, 32 (10): 31-33.

摘要 ( 84 )

PDF(160KB) ( 293 )

相关文章 | 多维度评价

QoS（Quality of Service）与组播是IP/DWDM光Internet中应该具备的基本能力.本文研究了IP/DWDM光Internet中的公平智能QoS组播路由机制.在所提出的机制中,QoS需求的区间表示形式体现了对柔性与异构QoS的支持;根据微观经济学理论,建立基于Kelly/PSP模型的定价策略,体现组间公平性;使用下游链路均分方法在组成员之间分摊费用,体现组内公平性;基于点火耦合神经网络,建立智能QoS组播路由算法.以上各方面有机结合,构成IP/DWDM光Internet中的公平智能

一种无线Ad Hoc网络的区分服务体系结构

计算机科学. 2005, 32 (10): 34-37.

摘要 ( 92 )

PDF(245KB) ( 288 )

相关文章 | 多维度评价

提供服务质量保证是目前无线ad hoc网络的研究热点.本文对将区分服务应用于无线ad hoc网络进行了阐述,提出了一种应用于无线ad hoc网络的区分服务体系结构,最后进行了仿真验证.仿真结果证明,在无线ad hoc网络中区分服务可以在资源不够用的情况下,降低对低优先级的业务流的服务,保证对高优先级的业务流的服务,从而使得高优先级的业务流获得较大的吞吐量和较低的延迟.

网络最大流问题求解的符号ADD增广路径算法

徐周波古天龙赵岭忠

计算机科学. 2005, 32 (10): 38-40.

摘要 ( 91 )

PDF(222KB) ( 474 )

相关文章 | 多维度评价

本文通过对网络及网络最大流问题的符号代数判定图（ADD）描述,将网络中的结点和边用ADD隐式表示,并利用Gabow的容量变尺度算法的主要思想,将一般网络最大流问题化为一系列的单位容量网络最大流问题,结合Hachtel等的单位容量网络最大流问题的求解算法,给出了网络最大流问题求解的符号ADD增广路径算法,简称为符号ADD算法.与Dinic算法、Karzanov算法相比,本文算法的空间复杂度得到了改善.实验结果表明,本文算法是切实有效的,且可处理更大规模的问题.

一种适用于Ad Hoc网络的拥塞控制算法

唐伟郭伟苏俭

计算机科学. 2005, 32 (10): 41-43.

摘要 ( 95 )

PDF(255KB) ( 284 )

相关文章 | 多维度评价

Ad hoc网络是一种无基础设施、无中心控制的分布式自组织网络,在紧急情况下能够迅速搭建.目前,在IEEE802.11协议基础上所搭建的ad hoc网络面临的主要问题是在信道达到饱和时,其链路层时延明显增加,以至于其上层的协议无法正常工作.本文提出了一种结合链路层及传输层的拥塞控制算法,通过对传输层拥塞窗口的控制、以及引入报文生命期及优先级,使得网络即使在大业务量时,链路层依然能够保持很低的时延,同时大幅度地提高传输层吞吐率.最后通过仿真,验证了该算法的有效性.

一种基于负载均衡的动态多信道自组网MAC协议

计算机科学. 2005, 32 (10): 44-45.

摘要 ( 79 )

PDF(182KB) ( 291 )

相关文章 | 多维度评价

自组网的信道是多跳共享的,使用传统的单信道接入协议会带来隐终端和暴露终端等问题,而目前提出的多信道协议没考虑到负载均衡问题会导致系统性能下降.在本文中提出一种基于负载均衡的动态多信道接入协议,该协议将可用频带分为一个控制信道和多个数据信道,源站与目的站在控制信道上交换控制分组信息来决定在最佳的数据信道上传输数据分组,信道选择是基于信道接收功率最大的原则.仿真结果表明,它比单信道协议有更好的性能.

一种可靠可伸缩组通信系统设计与实现

刘畅刘西洋陈平

计算机科学. 2005, 32 (10): 46-48.

摘要 ( 89 )

PDF(282KB) ( 346 )

相关文章 | 多维度评价

组通信系统是支持一致性和容错的分布式协同系统中非常重要的组成部分.为了满足大规模协同应用的需求,文中采用了基于流言的协议与确定性协议组合的方法设计并实现了一种可靠可伸缩组通信系统SGCS.该系统主要包括可靠消息传输服务与组成员管理服务,其中基于流言的可靠多播协议和确定的消息恢复、流量控制、排序协议的组合,基于流言的失败检测协议与确定的视图一致化协议的组合以及乐观虚同步机制应用使系统具有良好的可伸缩性、可靠性和灵活性.

Peer-to-Peer网络中文件查询的研究

王涛卢显良侯孟书

计算机科学. 2005, 32 (10): 49-51.

摘要 ( 92 )

PDF(243KB) ( 347 )

相关文章 | 多维度评价

随着P2P网络应用研究的热化,文件查询即给出文件名后如何确定文件的存放位置,已经成为大规模分布式网络中最常遇到的问题之一.文件查询的效率直接影响到整个P2P网络的性能.本文从P2P网络的基本现状出发,给出了目前文件查询在非结构化,结构化和松散结构化P2P网络中的解决方案并进行了深入分析和比较.文章最后指出了目前P2P网络中文件查询算法的缺点和今后的研究方向.

基于iSCSI的IP存储广域网可用性分析

计算机科学. 2005, 32 (10): 52-54.

摘要 ( 88 )

PDF(159KB) ( 270 )

相关文章 | 多维度评价

随着远程容灾、内容分发、数据网格等不断发展,要求数据存储的范围从局域网拓展到广域网.本文提出了基于iSCSI协议的IP存储广域网系统模型,并利用一种新的可用性度量标准-任务完成概率,分析了IP存储广域网的可用性.分析结果表明：当任务数量达到百万时,系统完成概率在99.7%左右.

统一消息中邮件的XML标准化方法

计算机科学. 2005, 32 (10): 55-58.

摘要 ( 64 )

PDF(265KB) ( 390 )

相关文章 | 多维度评价

原始邮件松散的结构和过于灵活的定义给应用程序分析带来了困难,为了给基于邮件的应用程序开发提供统一的结构化表示和统一管理各种消息,可以选择XML来标准化邮件.在对邮件的语法结构进行简要分析的基础上,分别给出了XML表示邮件头和邮件体的方法,该方法解决了复杂邮件实体结构的表示问题.还对这种表示方法的性能进行了分析.

普适计算的信任计算模型

计算机科学. 2005, 32 (10): 59-62.

摘要 ( 114 )

PDF(245KB) ( 392 )

相关文章 | 多维度评价

信任和安全有紧密的联系,当前的安全技术都隐含地与信任相关.普适计算环境是一个开放的环境,相互合作的主体具有自发性和不可预知性.在互相不知道的主体之间进行交互,必须有足够级的信任.普适计算比传统计算更强调信任的作用.本文在分析普适计算的信任特征后给出了适合该环境的信任计算模型.证明了普适计算环境中的信任关系是偏序关系,根据信任Hasse图,我们给出了信任评估机制.最后分析表明该模型满足Lamsal的普适计算信任建模要求.

网格监控体系结构的一种可执行性模型

刘显明李师贤

计算机科学. 2005, 32 (10): 63-67.

摘要 ( 75 )

PDF(330KB) ( 303 )

相关文章 | 多维度评价

为网格监控体系结构建立可执行性模型有助于网格监控系统的服务质量提升.因为网格环境的动态性和不可靠性,所以对网格监控体系结构建模时要从可用性和性能两方面综合考虑.讨论系统可用性、响应时间分布、事件丢失概率、公平性等问题.用随机Petri网建立网格监控体系结构的可执行性模型并讨论了模型的应用.网格监控体系结构的系统模型有一个关键特性：事件发布信息和监控事件数据由不同通道传递,在模型中重点关注这一特性.

提高S盒非线性度的有效算法

计算机科学. 2005, 32 (10): 68-70.

摘要 ( 75 )

PDF(231KB) ( 414 )

相关文章 | 多维度评价

S盒是分组密码算法中的重要的非线性部件.William Millan曾给出一个能改善S盒非线性度的Hill Climbing算法,它通过交换S盒的两个输出向量来提高S盒的非线性度直到非线性度达到一个局部最优值,即交换任何两个输出向量也不能提高S盒的非线性度.本文研究了如何同时改变S盒的三个输出向量的位置来提高S盒的非线性度,并给出了MHC算法,它能在Hill Climbing算法的基础上进一步提高非线性度.实验证明,MHC算法对随机S盒的优化效果明显大于Hill Climbing算法.

动态自适应安全的（k,n）先应秘密共享系统设计

计算机科学. 2005, 32 (10): 71-74.

摘要 ( 82 )

PDF(234KB) ( 260 )

相关文章 | 多维度评价

针对目前先应秘密共享系统基于经验方法的安全参数设置问题,本文将安全检测技术与先应秘密共享方案相结合,提出了动态自适应安全的先应秘密共享系统结构和响应方法.利用系统的安全审计日志,在评估移动攻击安全风险的基础上,分析了系统的共享服务器组由起始安全向入侵转移的渐进过程,建立了系统的状态转移模型,给出了系统的安全性定量分析和评估方法.并且,通过比较不同的门限配置、入侵率和安全阈值等参数情况,说明了维持先应秘密共享系统安全性的一般步骤,通过动态调整运行配置,实现系统安全的自适应控制和管理.给出了该方法应用的具体步

网络入侵行为表示的分类研究

计算机科学. 2005, 32 (10): 75-79.

摘要 ( 82 )

PDF(353KB) ( 311 )

相关文章 | 多维度评价

在计算机安全领域,特别是网络安全领域,对入侵行为进行研究十分重要,它是入侵的预防、检测、预警和响应等多项技术的基础.本文从本体论的角度对入侵行为进行分类,介绍了每种表示观的实质及其表示方法.最后讨论了入侵行为研究存在的问题及今后的方向.

资源的数字权利保护机制研究

刘清堂杨宗凯

计算机科学. 2005, 32 (10): 80-83.

摘要 ( 107 )

PDF(247KB) ( 292 )

相关文章 | 多维度评价

数字权利保护机制是数字版权管理（DRM）研究的重要内容.数字权利描述语言为权利执行提供了权利描述信息.本文首先通过权利信息描述和资源的元数据描述的整合提出了教育资源的数字权利许可证基本模型.然后,文章探讨了教育资源的权利可执行性问题,并将可执行性依据归结为权利信息、技术支持和可信任的执行环境三个方面.接着,文章提出了教育资源的数字权利执行模型,并通过许可证的描述、执行机制的分析和探讨以及实例设计,研究了许可证执行的基本方法和策略.

一种针对SYN-Flooding攻击的防范方法

黄勤廖伟刘益良李楠杨洁

计算机科学. 2005, 32 (10): 84-86.

摘要 ( 97 )

PDF(193KB) ( 621 )

相关文章 | 多维度评价

针对SYN-Flooding攻击的特点,分析了几种防御SYN-Flooding攻击的方法,本文提出了一种TCP/IP“一次握手”协议防御方法,即服务器对客户端的传输连接响应通过代理服务器判断,按照前向神经网络的时间统计概率PE值后排序提交,解决了分布式拒绝服务攻击,特别是系列攻击和重复攻击对资源过量占用引起系统瘫痪的问题.攻击防御实验表明,本文方法防御SYN-Flooding攻击有明显效果.

无线网络安全技术及AES在WEP中的应用

伍珏彤刘冬九

计算机科学. 2005, 32 (10): 87-88.

摘要 ( 121 )

PDF(178KB) ( 399 )

相关文章 | 多维度评价

随着无线网络的普及,其安全问题越发引人注目.本文首先对无线局域网进行了概述,然后介绍了目前无线局域网中几种主要的安全技术,最后重点针对WEP（有线对等保密）技术中采用的RC4算法存在的问题,提出了用AES（高级加密标准）替代RC4算法的解决方案.

P2P环境下数据管理系统上的Top-k查询

何盈捷文继军冯月利王珊

计算机科学. 2005, 32 (10): 89-94.

摘要 ( 87 )

PDF(318KB) ( 298 )

相关文章 | 多维度评价

目前大多数P2P系统只提供文件的共享,缺乏数据管理能力.基于关系数据库上的关键搜索,本文提出了一种在P2P环境下共享数据库的新框架,其中每个节点上的数据库被看成是一个文档集,用户不用考虑数据库的模式结构信念,简化了不同节点数据库模式间的映射过程,能更好地适应P2P的分散和动态特性.将基于直方图的分层Top-k查询算法扩展到P2P环境下的数据库管理系统上,文档集和数据库的查询被统一起来,一致对待.在查询处理期间,直方图可以自动更新,同时根据查询结果,邻居节点可以自调整,具有自适应性.实验结果表明,基于关键词

第十届中国机器学习会议

无

计算机科学. 2005, 32 (10): 94-94.

摘要 ( 92 )

PDF(47KB) ( 276 )

相关文章 | 多维度评价

第十届中国机器学习会议（CCML2006）由中国人工智能学会机器学习专业委员会和中国计算机学会模式识别与人工智能专业委员会联合主办，海南大学承办，海南软件学院协办．该系列会议每两年举行一次，现已成为国内机器学习界最主要的学术活动．此次会议将为机器学习及相关研究领域的学者交流最新研究成果、进行广泛的学术讨论提供便利，并且将邀请国内机器学习领域的著名学者做精彩报告．

一种基于结构索引的XML模式匹配方法

乔健陈彤兵汪卫施伯乐

计算机科学. 2005, 32 (10): 95-99.

摘要 ( 155 )

PDF(283KB) ( 295 )

相关文章 | 多维度评价

XML文档采用了树型的数据模型,对其查询通常是用带有选择谓词的模式树在XML数据中进行匹配.因此,找出XML文档中所有符合模式树结构的元素集,是XML查询处理的核心操作.本文提出了结构索引JoinGuide,并在此基础上提出了一种新的XML模式匹配方法.它使用JoinGuide来对模式树进行预匹配,这样在XML文档上查询时可以利用索引上的匹配结果来忽略部分连接谓词和不必要的候选XML元素序列.本文还提出了三种具体算法来利用索引匹配结果进行进一步的查询.实验结果表明本文中的模式树匹配方法优于以往的匹配方法,

基于数字城市系统平台的GIS Server服务器研究与设计

周波李琦

计算机科学. 2005, 32 (10): 100-102.

摘要 ( 107 )

PDF(223KB) ( 384 )

相关文章 | 多维度评价

本文讨论了现有WebGIS系统的缺陷,并提出了新一代网络GIS系统——基于数字系统平台的GIS Server服务器的设计思路和实现方法,以解决服务层面上的地理信息互操作问题提供基础,为数字城市应用提供了GIS开发平台.

前缀立方的索引

丁胡临冯剑琳聂晶

计算机科学. 2005, 32 (10): 103-107.

摘要 ( 128 )

PDF(301KB) ( 304 )

相关文章 | 多维度评价

前缀立方是最近提出的一种新的数据立方结构.它利用前缀共享和基本单元组有效地缩小了数据立方的尺寸,相应减少了数据立方的计算时间.为提高前缀立方的查询性能,本文提出了它的一种索引机制Prefix-CuboidTree.文中用真实数据集和模拟数据集进行大量实验,证明了该索引机制的查询性能.

分片段的移动实时数据库事务模型

计算机科学. 2005, 32 (10): 108-109.

摘要 ( 70 )

PDF(187KB) ( 304 )

相关文章 | 多维度评价

由于移动计算环境的固有特性、数据访问者的移动性、事务的截止期限制等,传统平坦事务模型无法满足移动实时数据库的需求.本文针对移动实时数据库事务的特点,提出了一种分片段移动实时数据库事务模型.

实时事务调度及静态可调度性分析

许贵平刘云生

计算机科学. 2005, 32 (10): 110-113.

摘要 ( 91 )

PDF(226KB) ( 310 )

相关文章 | 多维度评价

在类似闭环控制的硬实时数据库应用环境,实时事务具有一定的静态可预报性,其中实时事务的可调度性分析是维护实时数据库时间正确性的基础.通过利用抢占阈值,提出了一种新的实时事务处理模型,它集成了CPU调度和数据调度,实现离线并发控制,具有单阻塞的特征与好的静态可预测性,并有利于降低事务系统的负载和改善可调度性.进一步由此建立了实时事务的静态可调度性分析模型以及求最优可行调度的整数规划模型,该模型有利于达到实时事务调度的整体优化.

面向协同工作的信息流模型研究

王宁王延章于淼叶鑫

计算机科学. 2005, 32 (10): 114-117.

摘要 ( 258 )

PDF(206KB) ( 315 )

相关文章 | 多维度评价

首先通过对一般协同工作模型的分析,给出了信息流的形式化描述,然后基于信息是一种实体的观点,对信息流中的模式、运算和相应形式化描述做了较深入的研究,最后结合实际项目对其在工程中的应用进行了说明.

大学水平的“数学分析知识”的获取和分析研究

计算机科学. 2005, 32 (10): 118-123.

摘要 ( 74 )

PDF(412KB) ( 295 )

相关文章 | 多维度评价

在过去的几十年里,数学软件系统变得越来越强大和复杂.各种数学系统的集成变得非常有意义.基于Web的分布式数学平台使得与数学相关的活动（称之为数学服务）都可以在Web上得以实现.所有这些都需要一个底层的、可共享的、面向内容的知识库作为支撑.本文介绍一个大学水平的、可共享的数学分析知识库的获取和分析方法.NKIMath采用基于本体、框架、逻辑和类型的形式表示,采用面向概念的知识获取方法,从一套大学本科数学分析课本（2本）中获取了所有主要概念和定理.本文还总结和分析了知识获取过程中出现的错误.

超越支持度-置信度框架的负相关对规则挖掘

计算机科学. 2005, 32 (10): 124-127.

摘要 ( 93 )

PDF(352KB) ( 250 )

相关文章 | 多维度评价

相关规则比传统的关联规则更具有实际意义.但现存的相关规则挖掘算法均需利用apriori类似算法挖掘具有高支持度的项集,再对获得的项集进行相关性测试而获取相关规则,这导致低支持度-高相关度的规则不易被发现.直接挖掘相关规则的困难在于候选相关项不能利用apriori类似性质进行剪枝,导致搜索空间爆炸性增长.本文提出的算法MNI利用Phi相关系数的下界来产生候选负相关项,从而缩小负相关项搜索空间,并证明了该算法的完全性和正确性.在负相关项对基础上利用规则可靠度产生负相关规则时,提出将负相关对计数统一转化为正相关

挖掘概念类之间的相互作用关系

计算机科学. 2005, 32 (10): 128-131.

摘要 ( 69 )

PDF(243KB) ( 282 )

相关文章 | 多维度评价

一条关联规则是有趣的如果它满足最小支持度和可信度的限制.这导致大量平凡的规则产生.设计一个算法挖掘这样的有趣规则,它的前件和后件分别属于不同的概念类,称这种规则为类间桥.类间桥在行销中的交叉销售,生物工程中的嫁接,化学中的合成等应用中有重要的应用价值.

含缺省属性值的数据中的规则发现算法

计算机科学. 2005, 32 (10): 132-134.

摘要 ( 68 )

PDF(223KB) ( 278 )

相关文章 | 多维度评价

根据用户定义的主观重视程度,综合考虑属性的缺省值情况以及信息系统中各属性的属性值个数,确定模式的综合重要度,进而得出模式的最小支持度.另外,提出剪枝技术剪除无意义的频繁项集,仅挖掘用户感兴趣的规则.实验证明该方法是有效的.

一种启发式知识约简算法

计算机科学. 2005, 32 (10): 135-138.

摘要 ( 70 )

PDF(226KB) ( 263 )

相关文章 | 多维度评价

属性约简是Rough集理论中的核心问题之一,找出所有的约简或最小约简是一个NP难题.本文证明了正区域和边界域的一些性质,指出在考虑正区域作为启发信息的同时,还应该考虑在不一致决策表中边界域对约简的影响,综合这两种信息,提出了不一致决策表约简的启发信息.并在此基础上,设计了不一致决策表的启发式约简算法.实验证明,在多数情况下,该算法能够得到决策表的最小或次优约简.

产品配置的知识表示

计算机科学. 2005, 32 (10): 139-142.

摘要 ( 289 )

PDF(253KB) ( 285 )

相关文章 | 多维度评价

为按照用户的需要定制售卖产品的公司提供支持的基于知识的配置系统,产品配置器是人工智能技术的一个重要应用.本文首先描述了配置问题及其相关概念,然后分析了某些配置知识表示的优缺点,在此基础上提出了产品配置知识的图形表示方法,最后讨论了目前的一些热点研究问题.

前向神经网络隐含层节点数的一种优化算法

夏克文李昌彪沈钧毅

计算机科学. 2005, 32 (10): 143-145.

摘要 ( 280 )

PDF(187KB) ( 487 )

相关文章 | 多维度评价

由于前向神经网络隐合层节点数的确定尚无理论依据,为此提出一种基于黄金分割原理的优化算法,首先确定网络隐含层节点数频繁出现的区间范围;将网络总误差作为试验结果,然后利用黄金分割法搜索其区间中的理想数值;兼顾高精度的需要,将隐含层节点数频繁出现的区间作拓展,可以求得逼近能力更强的节点数.算法分析和仿真例子表明,此优化算法是切实可行的,不仅能找到理想的隐含层节点数,而且能起到节省成本、提高搜索效率等功效.

基于移动Agent的反射式异构服务协同机制初探

计算机科学. 2005, 32 (10): 146-148.

摘要 ( 82 )

PDF(228KB) ( 260 )

相关文章 | 多维度评价

使用不同类型的中间件实现了开放动态环境中的软件服务.客户方的应用需要采用灵活的方法来发现并绑定这些服务.本文提出一种基于移动agent的反射式异构协同机制,它通过动态加载功能构件可重配置agent当前对外协同行为,通过动态创建子协同agent可实施多种服务发现机制与服务绑定机制的并发执行,可有效减轻客户端应用的负担,提高对异构服务的协同效率.

CuMen：基于最大频繁序列模式的聚类算法及其在基因拼接中的应用

黄东唐俊汪卫施伯乐

计算机科学. 2005, 32 (10): 149-153.

摘要 ( 150 )

PDF(295KB) ( 355 )

相关文章 | 多维度评价

基因组序列拼接的主流方法是将整条序列随机打断成小片段,然后根据片段间重叠关系连接成长序列.由于较多噪音存在,算法复杂度高,加之生物数据的海量增长,序列拼接处理导致巨大的时空开销而无法完成.本文提出一种基于最大频繁序列模式的聚类算法,将整个数据集分成若干个子集,分别高效地处理,实现了一个基因拼接网格系统、透明动态的资源管理,大大扩展了基因拼接计算能力.基于最大频繁序列模式聚类算法及挖掘算法,针对生物数据的特性做出了优化.

网页优化策略的模糊C均值（FCM）聚类算法研究

王玉龙叶新铭李秀华

计算机科学. 2005, 32 (10): 154-156.

摘要 ( 82 )

PDF(159KB) ( 266 )

相关文章 | 多维度评价

在对Web站点进行优化时,为了降低成本,往往需要在不改变硬件和网络配置的情况下提高网站的性能.此时,对构成网站的网页的修改就成为提高站点性能的主要途径.对网页的访问速度的测量已有很多成熟的方法,但是如何根据测试的结果指定合理的优化策略,却鲜有论述.本文使用FCM算法对测试结果和网站日志进行聚类分析,从而得到一个良好的优化策略.

关于最小测试集的线性规划松弛近似

计算机科学. 2005, 32 (10): 157-159.

摘要 ( 138 )

PDF(217KB) ( 375 )

相关文章 | 多维度评价

目前最小测试集的最佳近似比是贪心算法的2 ln n＋o（1）.这个近似比能否改进是一个公开的问题.本文讨论了最小测试集的基于线性规划松弛的近似比证明方法的能力问题.我们证明最小测试集的整性间隙至少为0.72 ln n,而且最小测试集整性间隙的系数可以与最小集合覆盖的整性间隙的系数一样大.另外,我们说明加权最小测试集的贪心算法的近似比不能通过对偶拟合方法改进超过一个常数.

基于线性规划的多类支持向量机算法

计算机科学. 2005, 32 (10): 160-163.

摘要 ( 83 )

PDF(239KB) ( 283 )

相关文章 | 多维度评价

多类支持向量机一般采用多个两类分类支持向量机来求解,这就需要解多个二次规划问题,从而导致算法的计算复杂性很高.根据一类分类思想,提出一种基于线性规划的多类分类算法及其分解形式,所给算法通过引入核函数能够独立地对每一类样本形成一个紧致的优化区域,从而达到分类的目的.对人工三螺旋线数据和几组实际数据库的识别实验表明,所给算法在保持良好的分类精度前提下,能有效地降低程序的运行时间.

带约束的最优多元回归模型及其应用

计算机科学. 2005, 32 (10): 164-166.

摘要 ( 58 )

PDF(176KB) ( 334 )

相关文章 | 多维度评价

针对区域经济发展短期预测建模的特点,结合核方法和支持向量回归的研究进展,提出了一类带约束的最优多元回归模型,该模型综合考虑了多元回归函数的拟合误差、泛化能力以及经济预测的特点,为区域经济的发展预测提供了一种新方案,对广东省江门市最近五年经济发展的预测也验证了该模型的有效性.

最大熵模型的树-栅格最优N解码算法

计算机科学. 2005, 32 (10): 167-169.

摘要 ( 59 )

PDF(196KB) ( 262 )

相关文章 | 多维度评价

最大熵模型已被广泛应用于多种自然语言处理任务,但一些现有研究工作在解码算法上存在有待改进的地方.本文提出了一个最大熵模型的树-栅格最优N解码算法,并对算法性能进行了分析和比较.算法的另一优点在于可以在解码过程中检测并控制潜在的标注冲突.

关于Vague集相似度量的一个注记

计算机科学. 2005, 32 (10): 170-171.

摘要 ( 82 )

PDF(124KB) ( 234 )

相关文章 | 多维度评价

自从Hong等学者指出由Chen给出的关于Vague集的相似性度量方法不合理并提出改进的相似性度量方法后,很多新的改进方法被提出.文章认为Chen给出的关于Vague集的相似性度量与Hong等学者提出的相似性度量具有不同的度量意义,Hong对Chen的否定是错误的.

Tandem repeat查找方法比较

徐恒宇王镝王国仁郑若石

计算机科学. 2005, 32 (10): 172-175.

摘要 ( 83 )

PDF(264KB) ( 310 )

相关文章 | 多维度评价

Tandem repeat在基因组成和进化中起到非常重要的作用,查找和分析Tandem repeat已经成为当前生物信息学的一个前沿领域和研究焦点.目前在这一研究领域存在多类解决方法,主要有基于LZ分解技术的方法和最近兴起的基于后缀树索引的方法.本文选取了两种时间复杂度达到O（nlogn）数量级的代表性的方法,对这两种方法进行了全面的综述,并对它们的性能进行了系统的比较和分析.

基于用户兴趣子类的协作推荐算法

朱征宇张小林熊茜谢祈鸿

计算机科学. 2005, 32 (10): 176-180.

摘要 ( 87 )

PDF(321KB) ( 289 )

相关文章 | 多维度评价

随着电子商务规模的进一步扩大,用户数目和文档资源急剧增加,导致用户数据的极端稀疏性.传统协作推荐算法都无法很好地解决数据稀疏性问题.本文提出一种基于兴趣子类的协作推荐算法,通过子类处理思想的引入,使得某两个用户即使整体不相似而因为“局部点”的相似产生有用的推荐,“最近邻居”的发现变得更容易更准确.实验结果表明,该算法能有效地解决用户数据的极端稀疏问题,在同等条件下,相对于传统协作推荐算法有更好的推荐质量.

非平衡数据训练方法概述

计算机科学. 2005, 32 (10): 181-186.

摘要 ( 81 )

PDF(399KB) ( 391 )

相关文章 | 多维度评价

现实世界中数据分类的应用通常会遇到数据非平衡的问题,即数据中的一类样本在数量上远多于另一类,例如欺诈检测和文本分类问题等.其中少数类的样本通常具有巨大的影响力和价值,是我们主要关心的对象,称为正类,另一类则称为负类.正类样本与负类样本可能数量上相差极大,这给训练非平衡数据提出了挑战.传统机器训练算法可能会产生偏向多数类的结果,因而对于正类来说,预测的性能可能会很差.本文分析了导致非平衡数据分类性能差的多方面原因,并针对这些原因列出了多种解决方法.

一种鲁棒性的射影重建方法——加权迭代法

刘侍刚吴成柯唐丽贾静

计算机科学. 2005, 32 (10): 187-189.

摘要 ( 70 )

PDF(140KB) ( 263 )

相关文章 | 多维度评价

本文提出了一种利用加权迭代来剔除出格数据并实现射影重建的方法,该方法首先利用加权来进行射影重建,再利用重投影误差的倒数作为下一次迭代的权值,如此循环,就可以使出格数据的权值接近于0,最后完成射影重建.本方法可以克服最小二乘法鲁棒性差及随机抽样算法计算量大的缺点,模拟实验和真实实验数据结果表明,该重建方法具有运算量小、鲁棒性好等优点.

基于Web服务的图像处理系统研究与实现

毛宏燕黄林鹏孙永强

计算机科学. 2005, 32 (10): 190-192.

摘要 ( 102 )

PDF(188KB) ( 266 )

相关文章 | 多维度评价

网格技术的发展,特别是网络服务资源框架WSRF的推出,为以服务形式实现大型分布式应用提供了有力支持.本文结合基于Web服务构建的图像处理系统WIP,讨论实现网格应用系统的相关技术.WIP采用多层应用模式分解系统功能,任务调度通过UDDI注册中心分布式调用服务,利用网格环境中空闲计算资源处理图像服务,提高图像计算速度.WIP是基于医学图像构建的,该平台易于扩展到其它应用领域.

频繁子图挖掘算法综述

计算机科学. 2005, 32 (10): 193-196.

摘要 ( 117 )

PDF(340KB) ( 1897 )

相关文章 | 多维度评价

本文介绍了基于图的频繁子图挖掘算法的研究情况,提出频繁子图挖掘算法的分类方法,对一些经典的算法进行了分析和评价,归纳出频繁子图挖掘的一般步骤以及实现这些步骤的方法,展望了频繁子图挖掘的未来研究方向.

电脑刺绣中的字符形状分割算法

朱逢华王崇俊陈世福

计算机科学. 2005, 32 (10): 197-199.

摘要 ( 89 )

PDF(171KB) ( 321 )

相关文章 | 多维度评价

本文提出了一个应用于刺绣CAD系统中的字符分割算法.该算法利用字符图像的全局信息,通过以骨架交点作圆来确定需要添加分割线的范围;利用边界信息最后确定分割线来对字符进行形状分割.实验表明该算法对边界噪声具有较强的抗干扰能力,分割的效果能达到电脑刺绣的要求.

一种基于中介的适应性软件协同环境的设计与实现

计算机科学. 2005, 32 (10): 200-203.

摘要 ( 58 )

PDF(239KB) ( 269 )

相关文章 | 多维度评价

Internet平台的发展为软件协同带来了巨大的挑战.Internet平台要求软件协同及中间件能够适应Internet之上软件的多样性,复杂性和多变性.而传统的软件协同存在协同模式单一的不足,不具有适应性和灵活性的特点,难以适应网络环境和用户需求的变化.本文在Internet软件协同研究背景下,基于共享空间协同技术,设计并实现了一个基于中介的适应性协同环境,为Internet平台提供了良好的中介协同支撑.

基于UML的面向方面建模方法

刘瑞成张立臣

计算机科学. 2005, 32 (10): 204-209.

摘要 ( 85 )

PDF(376KB) ( 323 )

相关文章 | 多维度评价

面向方面编程（AOP）技术通过横切关注来实现软件系统.面向方面建模可通过扩展UML来实现,在元模型层次上设计面向方面软件开发（AOSD）模型框架.从结构建模、行为建模、方面织入以及代码产生几个方面实现面向方面的建模方法.利用UML类图实现方面的结构模型,方面与核心组件及方面之间的静态模型关系.协作图表达方面与核心组件及方面之间的动态行为,并通过状态图细化方面和核心组件的动态行为,实现状态图的方面与核心组件及方面之间的织入关系,最终实现方面代码的自动生成.基于UML的方面建模填补AOP与OOP技术之间的空白

基于移动嵌入式系统硬/软件协同设计的EHSC算法

计算机科学. 2005, 32 (10): 210-213.

摘要 ( 63 )

PDF(236KB) ( 260 )

相关文章 | 多维度评价

嵌入式系统设计的一个重要任务就是寻找硬/软件最佳搭配方案.随着系统复杂性的不断提高,采用嵌入式系统硬/软件协同设计是提高设计质量的有效手段.本文在讨论嵌入式系统设计一般方法的基础上,阐述了系统的硬/软件协同设计技术和硬件/软件划分方法,提出了以系统硬/软件划分策略为基础,系统组件的权重值为参考,组成元素划分为依据的设计理念,构造了基于移动环境的系统的硬/软件协同设计的EHSC（Embedded Hardware/Softwarre Codesign）模型.并依照此模型,实现了一种移动嵌入式系统“电子书包”

基于时间触发的CAN协议任务调度优化算法

计算机科学. 2005, 32 (10): 214-215.

摘要 ( 75 )

PDF(180KB) ( 349 )

相关文章 | 多维度评价

在基于时间触发的CAN协议的实时分布系统中,时间触发的CAN协议的任务调度是一个重要的问题.一种多项式时间复杂度的优化算法被提出来构造调度表,其基本周期有4种假定情况,其中在实验中给出了每种算法的渐近性能比,并证明折衷周期算法的性能要优于其它三种算法.

嵌入式软件平台的构件化模型研究

古幼鹏桑楠熊光泽

计算机科学. 2005, 32 (10): 216-218.

摘要 ( 63 )

PDF(220KB) ( 369 )

相关文章 | 多维度评价

为了提高嵌入式软件的生产率,本文提出了一种基于构件的嵌入式软件平台模型CBMESP.CBMESP将软件开发平台与运行平台以统一的构件模型进行构件化,使其可以应用于各种嵌入式领域而不必更改该模型,只需调整构件库中的具体构件即可,具有普遍适用性.因此,CBMESP不但加强同一领域内,也加强了领域之间的重用性.CBMESP强调并提供了开发平台与运行平台（应用软件）统一的基于构件的定制方式,更好满足了嵌入式软件开发的多样性要求;最后,CBMESP根据嵌入式软件特点提出构件模型由三个可以独立实现和运行的部分组成,并

一种面向对象Petri网模型的语义和行为分析

计算机科学. 2005, 32 (10): 219-221.

摘要 ( 79 )

PDF(182KB) ( 336 )

相关文章 | 多维度评价

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型（Object-Oriented Petri Net,OOPN）,给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具.

基于SOM聚类的软构件分类方法

王卓刘大昕冯晓宁

计算机科学. 2005, 32 (10): 222-225.

摘要 ( 81 )

PDF(225KB) ( 288 )

相关文章 | 多维度评价

软构件刻面分类法是一种被各大软构件库系统广泛采用的分类方法,但是传统的刻面分类法需要人工建立和维护庞大的术语空间,增大了软构件建库和入库的工作量.利用基于SOM神经网络的聚类技术可实现无需建立术语空间的软构件自动分类,同时针对软构件的特点和SOM聚类的需要预先确定拓扑结构和聚类结果与输入样本的次序有关等缺点,对SOM聚类的训练过程进行改进以满足软构件聚类的要求.

J2EE平台上的HTML电子表格工具的设计

谢正良赵建华李宣东郑国梁

计算机科学. 2005, 32 (10): 226-229.

摘要 ( 76 )

PDF(231KB) ( 302 )

相关文章 | 多维度评价

随着Internet的发展,Web应用也得到了快速发展和广泛普及.同时这也给Web应用开发提出了新的要求.与传统应用程序开发相比,Web应用开发具有如下特点：开发周期短,开发成本高,实现技术复杂.为了适应Web应用开发的新特点,开发人员需要一种可以快速开发Web应用的工具.本文介绍了一种J2EE平台上动态HT-ML表格的设计和实现.开发者可以使用该工具定义一个和数据库相联系的动态HTML表格.这个工具可以根据用户的定义自动生成相应的Servlet代码.

模型驱动的软件测试研究

王林章李宣东郑国梁

计算机科学. 2005, 32 (10): 230-235.

摘要 ( 81 )

PDF(332KB) ( 462 )

相关文章 | 多维度评价

MDA（Model-Driven Architecture）旨在基于平台无关的模型（PIM）和平台相关的模型（PSM）之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点.本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试（PIT）,定义并实现了从PIT到平台相关的测试（P

一种基于移动Agent技术的分布式死锁检测算法

计算机科学. 2005, 32 (10): 236-240.

摘要 ( 65 )

PDF(280KB) ( 280 )

相关文章 | 多维度评价

死锁的处理长期以来一直是分布式系统的研究重点,已有许多成熟算法.随着网络技术的发展,越来越多的客户和资源可在网络中自由移动,这种可移动性使得传统算法面临了新的挑战.在这种新的应用背景下,本文结合移动Agent技术,提出了一种分布式系统死锁检测和解除算法：Agent Guard.该算法使用一个移动Agent,使其遵循一定的路线算法在各个站点间移动来收集资源请求和分配信息并进行分析,从而发现并解除死锁.模拟实验证明,A-gent Guard算法能取得较短的死锁持续时间,较小的伪死锁率,且网络的通信复杂度也有降

PSP的软件测量研究

侯红郝克刚

计算机科学. 2005, 32 (10): 241-244.

摘要 ( 266 )

PDF(219KB) ( 326 )

相关文章 | 多维度评价

本文从个体软件过程PSP的体系结构和工作改进过程出发,对PSP中的软件测量进行了研究,指出了其关键的测量元,最后,为帮助实施PSP,给出了对实施效果进行评估的评价标准.

数据挖掘在软件维护中的应用

计算机科学. 2005, 32 (10): 245-248.

摘要 ( 72 )

PDF(263KB) ( 285 )

相关文章 | 多维度评价

软件维护是软件过程中十分重要但又难度较大的一个阶段,数据挖掘技术在软件维护中的应用大大改善了这一现状.本文从技术的适用性、一般应用步骤和主要应用领域等方面介绍了数据挖掘在软件维护中应用的发展历程,并在此基础上研究了所用到的关键技术及存在的问题.最后展望了未来的发展趋势.