1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2005年第1期, 刊出日期:2018-11-17
  
软件工程与数据库技术
Web使用信息挖掘综述
郭岩 白硕 于满泉
计算机科学. 2005, 32 (1): 1-7. 
摘要 ( 89 )   PDF(375KB) ( 273 )   
相关文章 | 多维度评价
Web使用信息挖掘可以帮助我们更好地理解Web和Web用户访问模式,这对于开发Web的最大经济潜力是非常关键的。一般来说,使用信息挖掘包含三个阶段:数据预处理,模式发现和模式分析。文章以这三个阶段为PWeb框架,分别介绍了数据预处理的技术与困难,Web使用信息挖掘中常用的方法和算法,以及主要应用。
IPv6业务技术研究
张云勇 张智江 刘韵洁 李国杰 李忠诚
计算机科学. 2005, 32 (1): 8-12. 
摘要 ( 71 )   PDF(299KB) ( 551 )   
相关文章 | 多维度评价
IPv6业务技术在以IPv6为核心的下一代互联网中是关键因素之一,本文着重阐述了IPv6业务相关的关键技术、过渡期IPv6业务相关的服务器、IPv6特色业务。对存在的问题进行了分析,并对IPv6业务相关的发展给予了展望。
计算机网络与信息安全
人工智能又添新篇
朝阳 敏捷
计算机科学. 2005, 32 (1): 12-12. 
摘要 ( 107 )   PDF(66KB) ( 349 )   
相关文章 | 多维度评价
继《人工智能及其应用》第三版本科生用书在不久前问世之后,由蔡自兴教授和徐光占教授编著的《人工智能及其应用》第三版研究生用书又于2004年8月由清华大学出版社出版发行了。该书第一版(1987年)是国内率先公开出版的人工智能教材,1992年在海外出版繁体字版。1996年出了第二版。该书已先后印刷了10多次,共发行10万多册,居全国同类书籍之冠,
一种基于TD-SCDMA的无冲突自组网MAC协议
庞博 徐雷鸣 向勇 史美林
计算机科学. 2005, 32 (1): 13-18. 
摘要 ( 89 )   PDF(851KB) ( 256 )   
相关文章 | 多维度评价
本文研究了非理想信道对自组网MAC协议的影响,在此基础上提出了一种名为TAMP的基于TD-SCD-MA的自组网MAC协议,它可以有效地避免数据分组的冲突,并能让节点同时在自组网和峰窝网中工作。
Krylov子空间方法及其并行计算
李晓梅 吴建平
计算机科学. 2005, 32 (1): 19-20. 
摘要 ( 125 )   PDF(176KB) ( 3205 )   
相关文章 | 多维度评价
Krylov子空间方法在提高大型科学和工程计算效率上起着重要作用。本文阐述了Krylov子空间方.法产生的背景、Krylov子空间方法的分类,在此基础上,研完了分布式并行计算环境下Krylov子空间方法的并行计算方法,给出了Krylov子空间方法的并行化策略。
分布式虚拟环境平台(NPSNET-V)的研究
薛晓明 敬万钧 刘锦德
计算机科学. 2005, 32 (1): 21-24. 
摘要 ( 73 )   PDF(223KB) ( 265 )   
相关文章 | 多维度评价
NPSNET-V由美国海军研究生院开发,其目标是逐步发展形成一个支持互联网上分布式虚拟环境的框架。目前,NPSNET-V是一个支持网络虚拟环境应用的、基于组件的、动态可扩展平台。本文论述了它的基本构思、组件框架、实体模型、典型架构、应用结构、设计启示等。
软件工程与数据库技术
移动Ad hoc网络中基于控制域的网络管理及拓扑生成
闻英友 刘治国 王光兴
计算机科学. 2005, 32 (1): 25-27. 
摘要 ( 106 )   PDF(156KB) ( 280 )   
相关文章 | 多维度评价
结合实际的移动ad hoc网络管理研究,钟对以往ad hoc网络管理体系缺乏可扩展性的问题,同时考虑网络中节点的能力差异性,引入了动态的网络管理控制域并定义了管理控制域的生成与合并过程,在此基础上提出了一种动态分布式的ad hoc网络管理体系,并利用管理控制域的生成过程实现了ad hoc网络中的拓扑管理。仿真结果表明,网络中的管理控制域生成算法能够适应网络节点移动性的特点,具有可靠的控制域划分能力。在此基础上的ad hoc网络拓扑生成具有较好的准确性和可靠性。
基于移动Ad hoc网络的服务管理研究
姜月秋 刘勇兵 赵林亮 王光兴
计算机科学. 2005, 32 (1): 28-30. 
摘要 ( 68 )   PDF(244KB) ( 243 )   
相关文章 | 多维度评价
本文基于移动Ad hoc网络的广播特性、分簇的普遍性等特点,在分析分布式服务发现协议GSD等的基础上,提出了新的服务发现机制,该机制考虑了各节点处理能力、存储能力以及所提供的服务种类等不可能完全相同的特性,克服了GSD同等对待所有节点的缺欠;另外,文中提出了基于优先级和两步资源预约的服务调度和QoS分配方式,依据服务所请求的QoS级别和资源情况来确定合适的端到端QoS级别,保证资源的充分利用,并给出了算法的一个实际应用的例子,该算法考虑了资源的抢占和两步方式的资源预约,比普通的确定QoS级别的算法具有更高
IP/DWDM光Internet中基于软计算的智能多约束波长分配算法的研究
王兴伟 刘聪 黄敏
计算机科学. 2005, 32 (1): 31-33. 
摘要 ( 85 )   PDF(234KB) ( 268 )   
相关文章 | 多维度评价
波长分配问题是影响IP/DwDM光Internet中网络资源利用的关键问题之一。本文提出了两种基于软计算的多限制的波长分配算法,使得波长源分配适应实际的网络特征。事实上,由于考虑到多种限制问题,包括成本,功率和网络性能等,因此采用分层解决方案。因为每一层都是NP完全问题,所以采用软计算和启发式相结合的方法进行求解,设计并实现了一个仿真软件,仿真表明该算法既是可行的又是有效的。
一种串行接口设备的Internet接入服务器
王小英 赵海 阮冠春 张文波
计算机科学. 2005, 32 (1): 34-36. 
摘要 ( 76 )   PDF(220KB) ( 278 )   
相关文章 | 多维度评价
随着设备网络化及普适计算模式的形成,许多带有传统串行接口的设备产生了Internet接入的需求。早期的解决方案要求Internet接入服务器能够识别设备的数据通信协议,并依据通信协议的内容来确定网络数据报的报文。为了提高接入服务器的通用性,减少接入服务器对设备通信协议的依赖,本文基于嵌入式Internet技术,提出了一种通用Internet设备接入服务器。它无需对现有设备做任何修改,不依赖于串行设备自身数据帧格式的结构,“透明”地实现了面向流传榆方式的串行接口和面向包传输方式的网络接口之间的数据转换。
多服务级别带宽公平分配算法的研究
刘威 杨宗凯 乐春晖 何建华
计算机科学. 2005, 32 (1): 37-40. 
摘要 ( 70 )   PDF(227KB) ( 299 )   
相关文章 | 多维度评价
区分服务网络节点中的多级别的队列输出带宽由权值调度算法保证,固定权值调度在网络负载发生变化时无法继续提供公平的带宽保证。本文提出了一种动态调整权值的调度算法以达到在多服务级别间公平分配带宽。实验仿真表明,该算法可以对负载流数目的变化作出有效的响应,并快速实现调度权值的理想公平值。
适用于内容分发网络的动态负载均衡策略
徐卫东 王康
计算机科学. 2005, 32 (1): 41-44. 
摘要 ( 85 )   PDF(256KB) ( 422 )   
相关文章 | 多维度评价
本文阐述了内容分发网络和网络负载均衡技术的基本原理、算法,分析了现有负载均衡算法及BP神经网络的优缺点,在此基础上,将神经网络理论应用于网络负载均衡于,提出了基于改进BP算法并适用于内容分发网络的负载均衡算法和实现方法。
无线移动自组织网络中的定向广播算法
何建华 桑巴 程文青 范震
计算机科学. 2005, 32 (1): 45-47. 
摘要 ( 68 )   PDF(140KB) ( 339 )   
相关文章 | 多维度评价
在无线自组织网络(MANET)中,收集可靠的全局拓扑信息是不可行的。因此,在网络拓扑信息未知的前提下,广播成为Ad Hoc网络必不可少的通信方式。然而,由于无线信号在同一区域内很可能会重叠,直接用洪泛法进行广播将孚致分组的过多转发、信道竞争和冲突,即广播风暴问题。为解决这个问题,现阶段提出的许多路由协议要么可到达性低,要么计算开销量大。本文提出了.一种新型广播算法;定向广播算法,该算法减少了.重传,获得了.较高的可到达性,具有较低的能量和带宽消耗性能。
以太网带宽管理机制下TCP性能的建模研究
张轶博 王海霞 雷振明
计算机科学. 2005, 32 (1): 48-52. 
摘要 ( 88 )   PDF(264KB) ( 323 )   
相关文章 | 多维度评价
随着以太网技术的迅速发展,基于以太网的链路层流量控制技术成为流量工程的一个重要组成部分,基于漏桶式流控的以太网带宽控制算法被应用于驻地同环境当中。考虑到互联同中长时TCP业务流量增长迅速这一背景,评估以太网流量控制算法对长时TCP性能的影响有其积极意义。论文通过建模分析的方法,对于NewReno TCP算法在漏桶式带宽控制机制下的性能进行了分析,并通过仿真对结论进行了说明。
以太网上实时业务服务质量保证策略的研究
黄周松 雷振明
计算机科学. 2005, 32 (1): 53-55. 
摘要 ( 69 )   PDF(165KB) ( 247 )   
相关文章 | 多维度评价
首先分析了以太网上相关技术的进展,并指出了以太网上保证实时业务服务质量的迫切性,然后提出了以太网上保证实时业务服务质量的策略,并给出了该策略的实现结构。仿真验证了我们提出的策略对实时业务服务质量的保证是有效的。
宽带交换机输入缓存QoS研究
余英 赵东风
计算机科学. 2005, 32 (1): 56-57. 
摘要 ( 72 )   PDF(105KB) ( 275 )   
相关文章 | 多维度评价
宽带化、数字经、综合化将成为今后网络建设的潮流,为了改善宽带业务的服务质量QoS,我们对ATM交挟机输入缓存提出了一种新的改进方案。通过计算机仿真实验,我们分析了系统的相关性能,获得了一些有用的结果。
适合遥感影像处理的网格计算环境研究
沈占锋 骆剑承 郑江 陈秋晓 明冬萍
计算机科学. 2005, 32 (1): 58-60. 
摘要 ( 73 )   PDF(231KB) ( 300 )   
相关文章 | 多维度评价
网格计算是近几年来发展迅速的一种网络资源共享模型,其目的是网络资源的完全共享。网格计算相对于传统的C/S及Web GIS来说,它在网络计算、数据处理、资源共享、任务协同等方面都有了进一步的发展。在适感影像处理与理解应用方面,由于涉及大量的网络计算及网络传输等耗时操作,应用网格计算思想进行适感图像处理就更有实际意义。结合网格计算的网络计算及资源共享的优势,设计并开发适合适感影像处理的网格计算环境及软件,是解决当前适感影像海量数据处理的有效途径之一,同时也是适感图像处理软件的一个发展趋势之一。本文结合实际研究
基于OSGI的普及计算系统的改进
熊江 应宏
计算机科学. 2005, 32 (1): 61-63. 
摘要 ( 82 )   PDF(168KB) ( 216 )   
相关文章 | 多维度评价
本文分析了OSGI框架规范及其应用,指出其局限性,利用SIP来补充OSGI规范使其更符合普及计算的要求,提出了集成SIP方法和OSGI框架的普及计算系统OSA。
BACnet/IP基于UDP的技术解析
陈恒鑫 王波 刘万民
计算机科学. 2005, 32 (1): 64-66. 
摘要 ( 164 )   PDF(162KB) ( 1246 )   
相关文章 | 多维度评价
BACnet标准是用于楼宇自控网络的数据通信协议,其作用是使不同厂商的楼宇自控设备能够实现互操作。BACnet/IP则是基于IP技术的BACDnet标准,它将IP网络作为自己的局域网来构建大型BACnet网络。BACnet/IP技术的体系结构中构架于IP协议之上的是UDP协议,而不是TCP或自定义的IP协议包,这是与IP网络自身特点、BACnet标准的特点以及TCP和自定义IP协议包的特征限制等因素分不开的。本文通过技术分析说明了只有采用UDP协议,BACnet/IP技术才能够成功并高效地实现将BACne
安全组策略管理
尹青 蔡延荣 王清贤
计算机科学. 2005, 32 (1): 67-69. 
摘要 ( 83 )   PDF(227KB) ( 276 )   
相关文章 | 多维度评价
安全组通信的前提是一致的安全策略。组安全策略描述成员的安全目标、能力和需求,进而规定安全组的行为、访问控制参数、密码机制等。本文研究安全组策略的管理,包括组策略的制定、协商以及翻译、执行。在策略生命周期的基础上,依据安全多播组模型,提出组策略管理模型,并描述策略服务器的设计实现。策略的表示采用组安全策略标记语言(GSPML).能够支持组策略灵活的表示和协商。
基于虚拟组织和移动代理的网格认证机制研究
陈宏伟 王汝传 韩光法
计算机科学. 2005, 32 (1): 70-73. 
摘要 ( 71 )   PDF(377KB) ( 270 )   
相关文章 | 多维度评价
认证是网格安全的重要组织部分。在网格中,认证的基本场景包括:证书和证书链、身份认证、会话认证。基于虚拟组织和移动代理的网格特色是以虚拟组织为基本管理单元、以移动代理作为网格结点之间重要的交互手段。本论文的主要内容是把网格认证的基本场景内容引入到基于虚拟组织和移劝代理的网格中。基于虚拟组织的网格认证场景主要包括:用户登录虚拟组织、用户获取虚拟组织内部资源、用户获取虚拟组织外部资源。基于移动代理的网格认证场景主要包括:移动代理和移动代理平台之间交互、移动代理之间交互、移动代理迁移。
用于未知病毒检测的免疫识别模型和算法研究
鲍欣龙 马建辉 罗文坚 曹先彬 王煦法
计算机科学. 2005, 32 (1): 74-76. 
摘要 ( 101 )   PDF(448KB) ( 305 )   
相关文章 | 多维度评价
现有的反病毒技术难以识别与处理新的未知病毒。本文借鉴生物免疫系统识别未知病毒的机制,以非我识别机制为基础,进一步抽取免疫进化学习机制和阳性/阴性选择机制,提出了一种新的检测器和自我均自适应变化的免疫识别模型和算法。文中给出了算法的详细实现步骤,并针对几种实际病毒进行了检测实验。测试实验结果表明该算法能够检测到未知病毒,具有很好的应用前景。
隐通道存在的最小条件及其应用
王昌达 鞠时光 杨珍 郭殿春
计算机科学. 2005, 32 (1): 77-79. 
摘要 ( 68 )   PDF(182KB) ( 276 )   
相关文章 | 多维度评价
隐通道能在安全机制的监控之下将保密信息外泄,因而对系统安全的威胁极大。通过研究隐通道的工作原理,形式化地证明了隐通道存在的最小条件。在此基础上,对现有的隐通道搜索与消除方法进行了分类,并从理论上说明了各种方法的正确性及其不足。这些工作不仅为隐通道的搜索与消除工作提供了可信的理论依据,而且为寻找新的隐通道搜索与消除方法提供了一个研究框架。
具有时限约束的安全协议分析技术研究
董荣胜 彭勋 郭云川 古天龙
计算机科学. 2005, 32 (1): 80-85. 
摘要 ( 60 )   PDF(277KB) ( 261 )   
相关文章 | 多维度评价
本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架。通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明。
基于模糊C均值聚类的网络入侵检测算法
杨德刚
计算机科学. 2005, 32 (1): 86-87. 
摘要 ( 58 )   PDF(164KB) ( 302 )   
相关文章 | 多维度评价
入侵检测已成为网络安全的第二层重要防御线。分析了对新型未知的攻击的入侵检测,提出基于模糊C均值聚类的网络入侵检测算法。用KDD-99数据集的仿真实验结果表明算法的可行性、有效性和可扩展性,并有效提高了聚类检测的检测率,降低了误检率。
数据库访问控制研究综述
赵宝献 秦小麟
计算机科学. 2005, 32 (1): 88-91. 
摘要 ( 73 )   PDF(238KB) ( 472 )   
相关文章 | 多维度评价
信息技术的迅速发展使数据库面临的安全更加复杂,访问控制(Access Control)是数据库安全领域的一个重要部分。本文首先回顾了传统的数据库访问控制各自存在的缺点,并总结了传统访问控制的不足之处,由此引出了现代访问控制方法——使用控制(Usage Control,UCON),在此基础上总结了数据库访问控制技术的发展现状,并指出了在此方面进行研究的难点和需要解决的关键问题,并对今后发展的趋势进行了展望。
SPINE:一个轻型永久对象管理器
宋杰 卢显良 韩宏
计算机科学. 2005, 32 (1): 92-94. 
摘要 ( 91 )   PDF(361KB) ( 262 )   
相关文章 | 多维度评价
在信息系统中,应用程序是基于对象模型的,但企业数据主要还是存储在关系型数据库中。永久对象管理层搭起了一个沟通对象模型和关系模型的桥梁,简化了应用程序的开发。SPINE是我们开发的一个轻型的永久对象管理构架,它允许系统中同时存在一个对象的多个拷贝,并通过版本机制来解决访问冲突;其次,它引入了三层对象设计模式,使系统更加紧凑;它还通过PROXY设计模式实现了关联对象的延迟装载,从而提高了系统性能。
基于数据库的影像数据管理技术研究
朱铁稳 常磊 李琦 苗前军
计算机科学. 2005, 32 (1): 95-97. 
摘要 ( 52 )   PDF(575KB) ( 285 )   
相关文章 | 多维度评价
数据库技术在“结构”性数据的管理中起到了十分重要的作用,把这种方便、高效的机制用于影像数据(如遥感数据和航空摄影数据等)这类“非结构”性数据的管理,由于影像数据的海量性和数据关系的复杂性,目前还存在许多困难。本文在充分分析影像数据具体特点的前提下,提出了一种对影像数据进行数据库管理的系统体系结构。我们开发的运行系统表明,利用该方法对适感影像进行管理,可以在网络环境下,达到对超过500GB的遥感影像进行快速查询和快速访问的目的。
一种基于Agent技术的Web Services匹配模型的研究
卞昭娟 任晓鑫 陶先平 吕建
计算机科学. 2005, 32 (1): 98-100. 
摘要 ( 63 )   PDF(230KB) ( 274 )   
相关文章 | 多维度评价
Web Services是当前Web应用的一种新的模式。Internet将成为一个真正的分布式的计算平台,其上的服务可以协作完成某一任务,并且Web将成为可编程的。Web Services的发现是很重要的,因此有必要研完Web Services的匹配。在本文中,我们提出了一种基于Agent的Web Services的两层次匹配模型。
流媒体点播的服务器通道调度方案综述
覃少华 李子木 蔡青松 胡建平
计算机科学. 2005, 32 (1): 101-105. 
摘要 ( 57 )   PDF(373KB) ( 281 )   
相关文章 | 多维度评价
服务器通道调度技术是解决大规模流媒体点播应用系统资源瓶颈问题的有效途径。它的基本思想是通过让用户尽可能共享同一个数据流来提高系统资源的利用率。本文综述了媒体点播系统中通道调度方案的研究现状,分析了一些典型方案的设计思想和方法,指出目前通道调度方案研究中的不足,并对今后该领域需要进一步研究的问题进行展望
阅卷信息的形式化描述及其应用
金炳尧 马永进 骆红波 吴樟兴
计算机科学. 2005, 32 (1): 106-107. 
摘要 ( 82 )   PDF(118KB) ( 261 )   
相关文章 | 多维度评价
本文介绍了阅卷信息的形式化描述应用于阅卷系统的优势,并简单介绍了其实现方法和实现过程。这种形式化描述方法可以提高阅卷系统的独立性、适应性,延长其生命周期,并可广泛应用于其他领域。
安全电子支付系统研究
付雄 程文青 郎为民 谭运猛 熊志强
计算机科学. 2005, 32 (1): 108-110. 
摘要 ( 85 )   PDF(173KB) ( 543 )   
相关文章 | 多维度评价
给出了电子支付系统的安全需求,并深入探讨了各类安全电子支付系统的基本模型、主要特点和相关实例。同时,基于对安全电子支付系统发展现状和未决问题的分析和评述,指出了今后该领域的研究方向。
数字图像水印与版权保护——概念与方法
桑军 廖晓峰
计算机科学. 2005, 32 (1): 111-115. 
摘要 ( 63 )   PDF(321KB) ( 413 )   
相关文章 | 多维度评价
本文介绍了用于多媒体数字产品版权保护的数字水印技术的应用背景及概念,特别是对于数字图像水印技术特点及系统框架进行了较为详细的分析,并讨论了当前研究热点,明确了今后的研完和应用方向。
一种基于混沌映射的抗剪切的数字水印算法
高婷婷 廖晓峰 桑军
计算机科学. 2005, 32 (1): 116-117. 
摘要 ( 75 )   PDF(165KB) ( 247 )   
相关文章 | 多维度评价
本文提出了一种基于混沌映射的空域数字水印算法。利用混沌系统产生的混沌信号在截体图像中随机选取要嵌入水印的点,考虑人类视觉系统(HVS)的特性,并结合这些点的自身特征,在这些点上自适应地嵌入水印。本文的水印是由Logistic映射产生的一个随机序列。由于算法是在空域上进行水印嵌入的,因此计算较快,实时性较好。同时又充分利用了HVS特性,水印的不可见性得到了很好的保证。实验结果表明该算法对剪切攻击具有较好的鲁棒性。
两两组合覆盖测试数据自动生成集成工具的设计与实现
周晓宇 聂长海 徐宝文 陈火旺
计算机科学. 2005, 32 (1): 118-119. 
摘要 ( 64 )   PDF(171KB) ( 272 )   
相关文章 | 多维度评价
两两组合覆盖测试方法是一种科学有效的软件测试方法,相应的测试数据生成算法是人们研究的一个重点问题,本文在人们已有的研究基础上,结合我们在这个方面的研究成果,设计实现了一个两两组合覆盖测试数据自动生成工具,所产生的测试数据集与同类工具相比具有一定的特点和优势。
Web应用服务器中实体BEAN的性能优化策略
杨波 张文博 范国闯 陈宁江
计算机科学. 2005, 32 (1): 120-124. 
摘要 ( 51 )   PDF(271KB) ( 276 )   
相关文章 | 多维度评价
Web应用服务嚣是Web计算环境下产生的新型中间件,为创建、部署、运行、集成和管理事务性Web应用提供一个跨平台运行环境。如何快速地响应大规模并发客户的请求,提供高可用性等特性是Web应用服务器需要解决的重点问题之一。本文采用ECperf作为性能测试基准,对影响实体Bean组件性能的瓶颈进行研究,给出若干优化策略,包括使用由容器管理实体Bean的持久化方式,选用更高级别的提交方式,声明只读的实体Bean等,并通过试验对优化的性能进行分析和比较。这些优化策略已应用到中科院软件所自主研制的WebFrame应用
Web应用的自动测试
周晓宇 许蕾 徐宝文 陈火旺
计算机科学. 2005, 32 (1): 125-127. 
摘要 ( 72 )   PDF(163KB) ( 312 )   
相关文章 | 多维度评价
Web应用测试涉及到各种纷繁艽杂的测试对象、方法和过程,需要增强其测试执行过程的自动化、智能化水平以提高测试效率。为此,本文结合Web应用的特性,对自动、智能执行Web应用测试的必要性、可行性进行分析;在此基础上,详细描述并深入分析Web应用测试的执行过程,明确测试执行的步骤、流程以及采用的技术、工具等相关内容;再次,改进捕捉,回放技术使之适应Web应用的动态特性,并采用智能Agent来实现对整个测试执行过程的监控、管理和应急处理,从而自动、智能地执行Web应用测试。
一种基于构件组装方式的特征干扰检测方法
胡金柱 费丽娟 李敏
计算机科学. 2005, 32 (1): 128-129. 
摘要 ( 72 )   PDF(161KB) ( 233 )   
相关文章 | 多维度评价
随着基于构件的软件开发技术(CBSDT)的不断发展,构件组装中的特征干扰问题逐渐受到大家的重视,针对这一问题的研究也成为一个热点。基于软件构件的特点。提出采用时序逻辑语言XYZ/E形式化构件,并根据构件组装的不同方式对特征干扰问题进行检测。
通用OS内核的构件化是否合适
李航 郭敬林 刘西洋 陈平
计算机科学. 2005, 32 (1): 130-131. 
摘要 ( 68 )   PDF(107KB) ( 268 )   
相关文章 | 多维度评价
本文从OS研究的推动力——上层应用和底层硬件的角度,对过去OS的研完成果进行了详细的考察,并在该基础上得出结论:通用OS内核的结构不适合采用构件式。
Survey Propagation:一种求解SAT的高效算法
李韶华 张健
计算机科学. 2005, 32 (1): 132-137. 
摘要 ( 79 )   PDF(316KB) ( 485 )   
相关文章 | 多维度评价
Survey propagation是一种新生的SAT(CSP)算法。它基于统计物理的spin glass模型,针对具体问题进行纵览(survey),从而极大地降低求解的复杂度。但sp算法在某些时候不收敛,或引导向错误的解。对此,G.Parisi提出一种复杂回溯(backtrack)算法,而作者在sp中加入简单回溯,也使一部分此类问题得到解决。
AgletBlackboard:Aglets系统协同机制的扩充
周嵩 周宇 陶先平 吕建
计算机科学. 2005, 32 (1): 138-141. 
摘要 ( 64 )   PDF(295KB) ( 270 )   
相关文章 | 多维度评价
随着Internet的不断发展,移动Agent技术的应用越来越广泛。实际的应用通常需要由多个移动Agent共同来完成任务,如何组织与协调移动Agent之间的行动带来了对分布式环境中移动Agent之间协同的研究。本文介绍了移动Agent的四种协同模式,并针对Aglets系统中Aglet之间通过直接协同存在的不足.设计实现了基于黑板协同模式的AgletBlackboard,进一步提高了Aglets系统的功能。
基于上下文的知识表示和推理——人工智能的观点
林仙 刘惟一
计算机科学. 2005, 32 (1): 142-146. 
摘要 ( 119 )   PDF(224KB) ( 339 )   
相关文章 | 多维度评价
本文中,我们从知识表示和推理(KRR)的角度概括地阐述了上下文推理的概念和基本原理。首先阐述了上下文的概念;然后介绍了上下文推理的三种基本形式和上下文理论的两个基本原理,也就是局部性原理和一致性原理;接着讨论了上下文推理的形式化问题;最后通过对一个叫“魔术盒问题”的求解来展示如何利用多上下文系统MCS对问题进行形式化表示和求解。
一个基于Bayesian学习的协商模型
安波 唐亮贵 李双庆 程代杰
计算机科学. 2005, 32 (1): 147-150. 
摘要 ( 67 )   PDF(260KB) ( 247 )   
相关文章 | 多维度评价
在Multi-Agent系统(MAS)中,每一个Agent都有不同的目标。通常只拥有对方的不完全信息。Agent需要具有解决在实现各自目标过程中所产生的各种矛盾的能力。协商是解决这些矛盾的一种有效途径。本文提出了一个基于Bayesian学习的协商模型NMBL:在每一轮协商中,Agent通过Bayesian学习获取协商对手的信息,更新对协商对手的信念,然后根据基于冲突点和不妥协度的协商策略提出下一轮的协商提议。NMBL把整个协商过程看成一个动态的交互过程,体现了Multi-Agent系统的动态特性,同时NM
动态不确定环境下的决策:一种分层决策模型
杨洋 陈小平
计算机科学. 2005, 32 (1): 151-154. 
摘要 ( 71 )   PDF(230KB) ( 371 )   
相关文章 | 多维度评价
本文提出一种智能体分层决策结构模型,试图通过分层决策技术有效地解决动态、不确定环境中的智能体的实时决策问题。本模型的高层采用BDI结构,以便为较长期任务的规划和推理提供充分的支持;模型的底层采用反应式结构,以保证对短期实时任务的及时响应。实验结果表明了这种分层模型在某些复杂任务领域中的有效性。
Web模糊聚类方法及其应用
刘茂福 何炎祥 彭敏
计算机科学. 2005, 32 (1): 155-158. 
摘要 ( 62 )   PDF(194KB) ( 274 )   
相关文章 | 多维度评价
本文提出了Web模糊聚类的概念,给出了Web模糊聚美的过程模型WFCM并进行了详细阐述,沦述了Web模糊聚类在Web访问信息挖掘中,尤其是在Web用户聚类和Web页面聚类方面的应用.最后用实例证明了在Web页面聚类中使用Web模糊聚类的可行性。
基于互包含度的数据分类效果评价研究
吴成茂 范九伦
计算机科学. 2005, 32 (1): 159-161. 
摘要 ( 55 )   PDF(150KB) ( 274 )   
相关文章 | 多维度评价
针对模糊C-均值聚类算法对初始化分类参数的选择比较敏感而导致分类结果差异性较大的不足,提出了基于互包含度的有效性函数进行数据分类效果好坏的评价。实验结果表明,本文定义的分类效果评价方法是可行的。
模糊推理中零级泛蕴涵的信息度约束研究
付利华 何华灿
计算机科学. 2005, 32 (1): 162-164. 
摘要 ( 86 )   PDF(194KB) ( 276 )   
相关文章 | 多维度评价
基于线性特征测度的定义,本文详细地讨论了模糊推理中零级泛蕴涵满足信息有界性原则的条件,并得出结论:当命题间是相克相关,即其广义相关系数h∈[0,0.5]时,零级泛蕴涵满足信息有界性原则。这一结论对于在实际控制应用中,如何给定命题间的广义相关系数h值具有重要的指导意义。
基于数据场改进的PAM聚类算法
余建桥 张帆
计算机科学. 2005, 32 (1): 165-167. 
摘要 ( 70 )   PDF(156KB) ( 380 )   
相关文章 | 多维度评价
PAM是基于κ-中心值聚类的一种算法,在处理数据集的聚类问题时,具有良好的准确性和伸缩性。但PAM算法在随机选取初始中心点时存在不足,而且在处理存在孤立点或哚声的数据时算法不是很健壮。本文针对这两点不足,使用了数据场的概念对PAM聚类算法进行了有益的改进,提高了算法的准确性和处理孤立点或噪声的能力,使其更适合于对数据集的处理,提高了挖掘结果的质量。
基于禁忌搜索的聚类簇数目估算算法
刘勇国 张伟 陈克非 廖晓峰
计算机科学. 2005, 32 (1): 168-171. 
摘要 ( 75 )   PDF(206KB) ( 280 )   
相关文章 | 多维度评价
本文提出一种基于禁忌搜索的聚类算法,能自动估计数据集的正确的聚类簇数目,其数据对象既可是紧凑球型分布,也可是非紧凑球型分布,或皆具两者。该算法包括三个阶段:最小生成树聚类、聚类簇重组和禁忌搜索优化。实验结果表明,所提出的算法可行、有效。
基于Tabu搜索的聚类算法研究
钟将 吴中福 吴开贵 杨强
计算机科学. 2005, 32 (1): 172-174. 
摘要 ( 70 )   PDF(213KB) ( 290 )   
相关文章 | 多维度评价
聚类分析的两个基本任务是分析数据集中簇的数量以及这些簇的位置。大多数的聚类方法通常只关注后一个问题。为了在聚类数不确定的情况下实现聚类分析,本文提出了一种新的结合人工免疫网络和Tabu搜索的动态聚类算法—DCBIT。新算法主要包含两个阶段:先使用人工免疫网络算法获得一个候选聚类中心集,然后使用Tabu搜索在候选聚类中心集上实现动态聚类。仿真实验结果表明与现有方法相比,新方法具有更好的收敛概率和收敛速度。
网络环境下的语音识别方法
韩纪庆 张磊 郑铁然
计算机科学. 2005, 32 (1): 175-176. 
摘要 ( 69 )   PDF(140KB) ( 303 )   
相关文章 | 多维度评价
随着Internet技术的广泛使用,出现了通过Internet来传输语音的新的通信方式——VOIP技术;由此产生了网络环境下语音识别的新问题,这是一个富有挑战性的研究课题。本文将讨论这种网络环境下语音识别的方法和技术。
基于主题区域发现的中文自动文摘研究
胡珀 何婷婷 姬东鸿
计算机科学. 2005, 32 (1): 177-181. 
摘要 ( 70 )   PDF(264KB) ( 349 )   
相关文章 | 多维度评价
自动文摘是自然语言处理领域的一项重要的研究课题。文中提出了一种基于主题区域发现的中文自动文摘的方法。该方法的特色在于:产生的文摘能在尽可能全面地覆盖全文多个主题的同时,显著地缩减自身的冗余,从而能有效地平衡两者之间的矛盾。通过采用K—medoids的聚类算法联同新的自定义目标函数的聚类分析方法,实现了段落自适应聚类下的文本潜在主题区域的发现及其在自动文摘领域的应用。此外,一种基于表达熵的新的评价因子被用来评价摘要的冗余。实验结果验证了该方法的可行性,有效性,是对中文自动文摘研究的一种有意义的探索。
模糊概念格在知识发现中的应用研究
强宇 刘宗田 吴强 时百盛 李云
计算机科学. 2005, 32 (1): 182-184. 
摘要 ( 87 )   PDF(144KB) ( 260 )   
相关文章 | 多维度评价
概念格是一种优良的形式化分析工具,已经广泛应用于知识发现和数据挖掘中。在大量研究中概念格基于精确的形式背景,即二值背景,而在实际中,形式背景中的信息往往是模糊、不确定的。本文将“模糊”引入概念格,定义了属性模糊概念格和其上的截运算,在概念格结点级上定义了两模糊参数α和δ,提出了从模糊概念格提取不确定规则、计算规则支持度、置信度的原则、方法,并给出了一个实例。
HS主曲线的数学特性
王真 苗夺谦 张红云
计算机科学. 2005, 32 (1): 185-186. 
摘要 ( 66 )   PDF(114KB) ( 257 )   
相关文章 | 多维度评价
主曲线被定义作穿过多维数据分布“中间”的满足“自相合”的光滑曲线,它是第一主成分的非线性推广,第一主成分是对数据集的一维线性最优描递。HS主曲线强调非参数模型,对其参数无关性本文给出了具体证明。同时为了全面理解主曲线,本文以空间主曲线为例,分析了它的横截性质。
基于主曲线的指纹细节特征提取方法
唐庆适 苗夺谦 张红云
计算机科学. 2005, 32 (1): 187-189. 
摘要 ( 63 )   PDF(152KB) ( 339 )   
相关文章 | 多维度评价
要提高指纹识别的识别率,关键是指纹特征的提取。主曲线是主成份分析的非线性推广,它是通过数据分布“中间’’并满足“自相合”的光滑曲线,较好地反映了数据分布的结构特征。本文尝试使用主曲线这种新的方法来提取指纹的细节特征。实验结果表明利用主曲线来提取指纹的结构特征是可行的,它为指纹特征提取的研究提供了一条新途径。
基于广义交叉截面的实时虚拟人皮肤变形方法
李艳 王兆其 毛天露
计算机科学. 2005, 32 (1): 190-193. 
摘要 ( 60 )   PDF(199KB) ( 241 )   
相关文章 | 多维度评价
皮肤变形是虚拟人合成研究领域的重要研究方向之一。交叉截面皮肤变形方法由于具有较好的实时性和逼真性在实时虚拟人应用环境中被广泛采用。但是这种方法要求虚拟人皮肤网格按照规则的交叉截面轮廓的方式组织,难以表达更丰富和精细的皮肤变形特征。基于此,本文提出了基于广义交叉截面的皮肤变形方法。该方法既具有速度快、操作简单、占用存储空间小的优点,同时又克服了交叉截面方法在皮肤网格组织方式方面的局限性,可以驱动任意皮肤网格组织方式的虚拟人表面模型,获得非常逼真的皮肤变形效果。
基于图像能量谱直方图的纹理检索算法RAH
丁玲 王崇俊 杨育彬 陈世福
计算机科学. 2005, 32 (1): 194-197. 
摘要 ( 58 )   PDF(239KB) ( 650 )   
相关文章 | 多维度评价
本文提出的基于纹理的图像检索算法RAH是以图像的能量谱直方图为基础,包括以下两个方面:第一,计算图像能量谱的半径和角度直方图的方法以及基于图像能量直方图的频率去提取纹理特征的算法;第二,基于纹理特征的相似度检测方程。这个实验结果表明,RAH算法优于一般的灰度共生矩阵纹理检索算法,具有较好的检索效果,比较适用于基于内容的图像检索。
基于笔序的手绘草图识别方法
尹建峰 孙正兴 邱庆华 蒋维
计算机科学. 2005, 32 (1): 198-201. 
摘要 ( 58 )   PDF(417KB) ( 298 )   
相关文章 | 多维度评价
本文提出了一种基于用户绘图过程笔序信息的手绘草图识别方法,该方法利用同一用户绘制同一草图的笔序趋向于一致这一特点,在收集用户绘图笔序信息的基础上建立用户模型,从而达到提高输入自由度和识别效率的目的,并用实验加以了证明。
基于小波的图像水印研究进展
王相海
计算机科学. 2005, 32 (1): 202-207. 
摘要 ( 64 )   PDF(428KB) ( 329 )   
相关文章 | 多维度评价
随着多媒体和Internet的迅速发展,对数字产品保护和信息安全的迫切需求使得数字水印技术成为多媒体信息安全研究领域的一个热点问题。基于小波的多媒体水印算法近年来受到人们高度重视,特别是,随着JPEG2000将小波交换纳入其中,该领域的研究更加具有实际意义。本文首先分析了有益于图像水印的小波转换的性能,随后对基于小波的图像水印技术进行了综述,对目前常用的水印技术进行了分类和讨论,最后对小波领域图像水印的发展方向进行了展望。
小波域隐Markov交叠树模型及块效应评价
郭小卫 田铮 林伟
计算机科学. 2005, 32 (1): 208-211. 
摘要 ( 65 )   PDF(259KB) ( 229 )   
相关文章 | 多维度评价
本文针对小波域隐Markov树模型(hidden Markov tree model,HMT)的块效应问题,分析了块效应的产生机理,给出了以图像去噪为基础的块效应评价准则,并提出小波域隐Markov交叠树模型(hidden Markov overlappmg tree model,HMOLT)和基于该模型的图像去噪算法。该模型通过对每个节点的数据扩展,使每个节点包括相邻的3个(1维)或9个(2维)小波系数,实现同一尺度相邻节点数据的交叠,有效地减轻HMT因树状结构而产生的块效应。实验表明,本文给出的模型和
有限长度信号正交小波变换的若干问题的探讨
陈铿 韩伯棠
计算机科学. 2005, 32 (1): 212-213. 
摘要 ( 65 )   PDF(85KB) ( 336 )   
相关文章 | 多维度评价
本文讨论了有限长度信号的正交小波变换在实际应用中的边界延拓方式及其计算复杂度,提出了一种正交小波变换的精确重构的方法。数值计算的实例表明了我们所提出的精确重构方法是有效的。
LOD地形渲染算法
朱志辉 张嘉华 沈红辉
计算机科学. 2005, 32 (1): 214-216. 
摘要 ( 67 )   PDF(157KB) ( 417 )   
相关文章 | 多维度评价
我们开发了一个基于分形和快速动态渲染的地形生成系统,使用了四种不同的渲染算法,并对这几种不同的地形渲染算法进行了比较实验。
彩色光栅图像的矢量化
张元科 曹宝香
计算机科学. 2005, 32 (1): 217-220. 
摘要 ( 87 )   PDF(230KB) ( 295 )   
相关文章 | 多维度评价
彩色图像的矢量化在很多领域都有着重要的应用,例如制作在网上非常流行的精美的生动形象的矢量动画,实现彩色地图的GIS系统等。文中提出了一种对彩色图像进行矢量化的方法.并给出了相应处理过程和算法流程。该矢量化方法根据彩色图像的特点,在处理过程中引入HSI彩色空间,利用轮廓提取和跟踪技术,完成了对彩色图像的矢量化。经试验表明,该算法有一定的实用性。
第二届全国计算机网络教育学术会议征文通知
计算机科学. 2005, 32 (1): 220-220. 
摘要 ( 61 )   PDF(66KB) ( 251 )   
相关文章 | 多维度评价
基于线匹配的图像拼接
张显全 唐振军 卢江涛
计算机科学. 2005, 32 (1): 221-223. 
摘要 ( 80 )   PDF(153KB) ( 567 )   
相关文章 | 多维度评价
提出一种图像拼接算法,通过确定两幅图像的最佳拼接线,不需要手工指定特征点,可对图像进行快速、自动无缝拼接。实验结果证明了该算法的有效性。
第二届全国Web信息系统及其应用会议(WISA2005)征文通知
计算机科学. 2005, 32 (1): 224-224. 
摘要 ( 66 )   PDF(43KB) ( 274 )   
相关文章 | 多维度评价