1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
当期目录
2005年第3期, 刊出日期:2018-11-17
  
软件工程与数据库技术
从ALC到SHOQ(D):描述逻辑及其Tableau算法
梅靖 林作铨
计算机科学. 2005, 32 (3): 1-11. 
摘要 ( 103 )   PDF(555KB) ( 937 )   
相关文章 | 多维度评价
描述逻辑是一类知识表示的形式系统,并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论,基于Tableau的算法提供7描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)描述逻辑基础及其相应的Tableau算法。
生成式程序设计研究概述
范少锋 张乃孝
计算机科学. 2005, 32 (3): 12-16. 
摘要 ( 80 )   PDF(312KB) ( 458 )   
相关文章 | 多维度评价
随着软件规模越来越大、软件复杂度越来越高,如何高效地开发出高质量的软件以及如何有效地维护和更新软件都是当前软件方法学研究所关注的重点。为了实现这一目标,已经陆续出现一些有效的方法和技术。Krzysztof Czarnecki和U.Eisenecker融合先进方法和技术的精髓,提出了一种新的软件工程范型——生成式程序设计:基于为软件系统族进行建模,对给定的需求规格说明,利用配置知识,把基本的可重用构件根据需求进行自动化的配置以产生高定制、优化的软件产品。生成式程序设计的基础是面向系统族的生成式领域模型,该模
一种支持领域变化性的Web Services组装方法
赵俊峰 张路 王亚沙 谢冰
计算机科学. 2005, 32 (3): 17-20. 
摘要 ( 70 )   PDF(264KB) ( 348 )   
相关文章 | 多维度评价
随着Web Services及其相关技术的成熟,软件开发逐渐从基于构件的软件开发转向基于服务的软件开发。因此如何支持适应用户需求的Web Services的组装是当前研究的热点之一。本文提出了一种支持领域变化性的Web Services组装方法,该方法可以较好地适应用户需求的更改。文中引入了领域组装模型,使之能对一族具有领域共性和变化性的系统进行定义与描述。接着论述了如何根据用户的需求来确定Web Services应用的系统组装模型,并转换为可执行的组装描述语言的过程和方法。本文在最后给出了一个应用实例。
移动Agent系统中的安全问题和技术研究综述
张阳 曹迎春 黄皓 谢立
计算机科学. 2005, 32 (3): 21-25. 
摘要 ( 93 )   PDF(277KB) ( 399 )   
相关文章 | 多维度评价
移动Agent是分布式计算领域中一种新的计算模式。由于其在异步性、自治性以及移动性等方面的优势,移动Agent技术应用范围日益广泛,而随之而来的系统安全性问题也日益突出。拳文对移动Agent系统中的主要安全威胁做了细致的分析;在此基础上,从主机和Agent两技术方面以及社会角度总结了目前主要存在的安全保障措施;描述并比较了几种具代表性的移动Agent系统及各自的安全实现机制。
随机时间Petri网综述
卢光松 葛运建
计算机科学. 2005, 32 (3): 26-30. 
摘要 ( 109 )   PDF(278KB) ( 2102 )   
相关文章 | 多维度评价
随机时间Petri网作为一种灵活有力的建模机制,被广泛应用于计算机和通信系统的性能与可靠性评价。综述了随机时间Petri网各主要予类的发展历程与研究现状。首先介绍了随机时间Petrl网的一些基本概念,然后回顾了广义随机Petri网,简要总结了处理状态空间爆炸问题的主要途径,讨论了非马尔科夫随机Petri网及其分析技术,最后详细分析了流体随机Petri网。
一种支持宽带无线多媒体网络QoS的动态呼叫接纳策略
刘干 朱光喜 吴伟民 胡臻平 刘应状
计算机科学. 2005, 32 (3): 31-35. 
摘要 ( 125 )   PDF(235KB) ( 436 )   
相关文章 | 多维度评价
在无线网络中,小区微型化的趋势使得呼叫切换发生的频率越来越高,迫切需要一种有效的呼叫接纳控制策略,对有限的无线带宽资源进行分配,以保证切换时的QoS,同时使带宽利用率最高。传统的预留带宽策略(GC,guard channel scheme)由于其固有的静态特征而不能适应流量模式的变化。最近,人们发现采用动态的随机控制策略能适应流量模式的变化,而且能使精度和稳定性大大提高。但将这种策略应用于多业务环境依然十分困难,挑战来自于多类呼叫的QoS要求、流量模式、切换率的多样性和宽带条件下的实时可计算性。在文[3]
单播和多播QoS路由问题研究及解决方法
张静 汤红波 李鸥 胡捍英
计算机科学. 2005, 32 (3): 36-38. 
摘要 ( 115 )   PDF(200KB) ( 449 )   
相关文章 | 多维度评价
当前的互联网只能提供“尽力而为”的发送服务,使网络层无法控制传输质量,因此,为不同应用提供不同QoS的服务是网络用户的基本要求和互联网面临的重要研究课题。近几年,有关IP QoS的讨论焦点是Intserv、Diffserv、MPLS等服务模型和框架,在资源受限的网络环境下,这些解决方案实现的基础是QoS路由。论文的目的是在明确QoS路由重要性的基础上,通过建立网络模型和度量合成规则,详细分析单播和多播可能遇到的单度量的基本路由问题和多度量的组合路由问题,并给出解决这些路由问题的方法和计算复杂度,这对于设计
方向性天线对MANETs路由协议的性能影响研究
王炫 李建东 张文柱
计算机科学. 2005, 32 (3): 39-42. 
摘要 ( 81 )   PDF(197KB) ( 391 )   
相关文章 | 多维度评价
本文研究了方向性天线对DSR路由协议性能的影响。通过仿真证明了,当使用方向天线进行分组发送时,由于网络节点获取拓扑信息的效率降低,导致协议的分组交付率降低和路由开销数量增加。分析了此现象产生原因,并提出了一个改进方法:由DSR协议参与控制分组发送时使用的天线模式,对部分影响协议性能最为严重的分组采用全向发送,其余分组使用方向天线发送。仿真证明了使用该方法后,可以明显改善协议性能。
移动自组网中信息层次扩散的可靠性和健壮性分析
郭敬林 李航 朱智林 陈平
计算机科学. 2005, 32 (3): 42-43. 
摘要 ( 92 )   PDF(159KB) ( 439 )   
相关文章 | 多维度评价
讨论了移动自组网的层次结构生成过程,并利用任意度随机图理论为该生成过程建模。同时,基于逾渗理论分析了信息在该层次结构中扩散的可靠性和健壮性。并结合应用,给出了节点扇出与信息层次扩散的可靠性和健壮性之间的关系。最后,通过仿真验证了理论分析的正确性。
基于自适应集中性和多样性搜索策略的多用户检测方法
温万惠 刘光远 贺一
计算机科学. 2005, 32 (3): 44-46. 
摘要 ( 98 )   PDF(153KB) ( 402 )   
相关文章 | 多维度评价
序列扩频系统的性能受到多用户干扰的严格制约。多用户检测方法被证明是限制这种干扰的一种有效方法。本文提出一种自适应Tabu搜索算法,用于序列扩频系统中的多用户检测,其中引入自适应集中性和多样性搜索策略,充分发挥短禁忌周期彻底搜索局部空间的能力。仿真实验表明,这种多用户检测方法具有接近最佳检测的误比特性能和较好的抗远近效应能力,并具有多项式计算复杂度。
基于等级保护的网络容灾系统模型
蔡皖东
计算机科学. 2005, 32 (3): 47-49. 
摘要 ( 81 )   PDF(147KB) ( 505 )   
相关文章 | 多维度评价
等级保护是信息安全技术的重要原则之一,作为信息安全重要组成部分的网络容灾系统同样要遵循这一原则。本文详细论述了容灾系统等级划分、4种不同等级的网络容灾系统模型以及灾难管理等内容。
网络管理中基于移动Agent的通信模型及性能分析
郑洪方 韩传冰 王光兴
计算机科学. 2005, 32 (3): 50-53. 
摘要 ( 75 )   PDF(186KB) ( 398 )   
相关文章 | 多维度评价
为了保证网络的可靠性和性能,网络管理变得尤为重要。随着IP网络规模的飞速发展,基于SNMP的集中式网络管理在扩展性和灵活性方面显得尤为不足。自从移动Agent技术的出现至今,其应用范围越来越广,其分布式计算弥补了M/A模型的不足。本文就移动Agent技术提出两种通信模型,并就模型进行性能方面的理论上的论证,最后进行试验仿真并得出结论。
千兆网安全监测系统的性能分析
汪文勇 黄鹂声
计算机科学. 2005, 32 (3): 54-56. 
摘要 ( 83 )   PDF(221KB) ( 408 )   
相关文章 | 多维度评价
网络安全监测是Internet/Intranet上的一个重要课题,如何能够在保证各种监测功能的前提下,尽量提高网络监测系统的性能,一直是一个难点。本文提出了一种基于PC机和Libpcap的纯软件网络监测系统模型,并分析其在千兆骨干网络上的实时监测性能。
一种基于主动网络的管理模型研究
邹显春 何俊梅 周彦晖
计算机科学. 2005, 32 (3): 57-59. 
摘要 ( 83 )   PDF(151KB) ( 391 )   
相关文章 | 多维度评价
主动网络是一种新型网络体系结构,可以为网络协议、网络服务的快速提升和部署提供简单的网络平台。本文讨论了传统网络管理(NN)中存在的问题,分析了主动网络管理(ANN)体系结构与管理机制。重点讨论了一种基于节点为核心的主动网络分层管理模型,并分析了该模型的结构、管理机制、设计要点和各层关系,说明了本方案能够较好地适应主动网络的特点和管理的需求。
基于自组网的CAES的应用研究
赵春晓 刘彪 郭艳东
计算机科学. 2005, 32 (3): 60-61. 
摘要 ( 77 )   PDF(158KB) ( 376 )   
相关文章 | 多维度评价
一个Adhoc网络是一个多跳无线网络,网络中的节点互相通信而不依赖于预先架设的固定基础设施,本文介绍了自组网并讨论了其在教学中的应用。
基于隔离策略的蠕虫传播模型及分析
张运凯 王方伟 马建峰 张玉清
计算机科学. 2005, 32 (3): 62-65. 
摘要 ( 91 )   PDF(197KB) ( 406 )   
相关文章 | 多维度评价
近几年,蠕虫频繁爆发,而且传播愈来愈快,破坏力也增大,已成为互联网安全的主要威胁。基于经典的Kermack-Mckendrick模型,本文提出了一个采用动态隔离策略、动态传染率和恢复率的蠕虫传播模型。分析表明此模型能更有效降低蠕虫的传播速度,为防御蠕虫赢得更多宝贵的时间,减缓和降低了蠕虫造成的负面影响,仿真试验证明了此模型的有效性。
一种基于学习向量量化网络的垃圾邮件过滤方法
詹川 卢显良 周旭 侯孟书
计算机科学. 2005, 32 (3): 66-68. 
摘要 ( 84 )   PDF(223KB) ( 443 )   
相关文章 | 多维度评价
伴随着电子邮件的广泛使用,垃圾邮件泛滥成灾,严重影响了人们正常的学习、工作和生活。拳文针对目前的垃圾邮件主要是由多种商业或政治性类别的垃圾邮件组成的特点,利用学习向量量化网络能把多个子类合并成一个复杂大类的特性,构建了一个反垃圾邮件的LVQ神经网络模型,我们对该LVQ网络模型进行了与其他算法的对比试验,试验表明它比基于贝叶斯公式算法和基于神经网络BP算法的过滤器有更好的性能。
基于P2P的数据索引与查询
姚佳丽 张坤龙 王珊
计算机科学. 2005, 32 (3): 69-72. 
摘要 ( 107 )   PDF(221KB) ( 380 )   
相关文章 | 多维度评价
现有的基于DHT的P2P系统只能通过精确匹配整个数据识别器来查询数据。但用户一般只有部分信息可以确认这些信息,为了在用户需求和基于DHT的P2P系统能力间架起一座桥梁,本文提出了一种新的索引和查询数据的方法。这种方法在数据的XML描述上建立了DHT索引,并方便了Xpath表达式的复杂查询。
分段式音频检索算法
郑贵滨 韩纪庆 李海峰 郑铁然
计算机科学. 2005, 32 (3): 73-75. 
摘要 ( 88 )   PDF(163KB) ( 399 )   
相关文章 | 多维度评价
本文提出了一种基于分段的快速音频检索算法。该算法将检索目标划分成多个较小的片段,每个片段可以独立进行检索;检索过程中使用检索窗控制参与检索的片段及数量。该算法的速度不随检索目标的长度变化,检索速度可调,且能获得良好的查全率和查准率,适用于从未知音频数据源中检索任意长度的特定音频数据及实时应用场合。
基于用户行为及语义相关实时更新用户兴趣的推荐系统
全海金 邱玉辉 李瑞
计算机科学. 2005, 32 (3): 76-78. 
摘要 ( 170 )   PDF(227KB) ( 341 )   
相关文章 | 多维度评价
在现有的推荐系统中,其用户兴趣模型都能够有效地表达出用户的兴趣,但在用户兴趣发生变化时却不能很好地调整用户兴趣模型,不能及时适应用户兴趣的动态变化。本文提出一种基于语义相关实时更新用户兴趣模型的推荐系统。该系统能够及时响应用户兴趣变化,从而改善了以往推荐系统对用户兴趣更新不及时所导致的推荐结果不够全面、准确的问题。实验表明该系统能够准确表达用户兴趣,特别是在用户兴趣发生变化时比以往系统具有更高的准确性。
缓存关联对数据库系统性能的影响及其优化策略
冯柯 陈刚 董金祥
计算机科学. 2005, 32 (3): 79-82. 
摘要 ( 82 )   PDF(213KB) ( 534 )   
相关文章 | 多维度评价
研究了缓存关联对数据库系统性能的影响,并提出了一种优化策略,大大降低了数据访问时对缓存的争用。该优化技术实现简单,对已有系统改动小,已经实现并应用于开放源代码数据库系统Postgres和MySQL,以及自主开发的CoreBase数据库系统中,测试结果表明:数据库的查询速度得到了极大的提高。
基于代理的高性能目录服务的设计和实现
李晖 赵曦滨 顾明 雍建平
计算机科学. 2005, 32 (3): 83-87. 
摘要 ( 98 )   PDF(299KB) ( 365 )   
相关文章 | 多维度评价
目录服务能有效解决虚拟组织中动态多样的资源管理问题。在分布式系统环境下,目录服务的可用性和安全性必须得到保障。本文提出了一种基于代理的目录服务模型,该模型以基于虚拟组织的分布式商业应用为背景,在提高目录服务自身保护能力的同时,保障了目录服务的稳定和高效。
支持VCR功能的扩展流合并算法VCRSM的设计与实现
单炜 叶保留 戴菡 陆桑璐 陈道蓄
计算机科学. 2005, 32 (3): 88-94. 
摘要 ( 90 )   PDF(350KB) ( 398 )   
相关文章 | 多维度评价
多播传输作为视频点播服务的一个有效方法在近十年来被广泛研完,许多算法都相对成熟。但由于VCR操作会使多播调度的复杂度增加,性能降低,因此对支持用户VCR操作的多播调度算法的研究很少。针对该问题,本文提出了一个支持VCR功能的零时延流合并调度算法VCRSM。VCRSM通过在客户端使用主动缓存技术满足部分VCR操作,并在服务器端对普通流合并算法进行扩展,使之能响应VCR请求流,并通过延迟请求提高流的共享度,优化服务器的性能。模拟实验证实,VCRSM能在不占用更多带宽的情况下,零延迟地满足用户的各种VCR操作。
基于信息系统的工作流版本管理
孙明 郑永清 洪晓光
计算机科学. 2005, 32 (3): 95-96. 
摘要 ( 78 )   PDF(166KB) ( 378 )   
相关文章 | 多维度评价
目前工作沆管理系统缺乏对业务过程所涉及的应用信息系统版本的一致性管理,阻碍了工作流技术在多信息系统协同工作环境下的应用。本文在提出基于信息系统的工作流平台概念的基础上,给出工作流应用信息系统版本数据模型,提供有效的工作流应用信息系统版本一致性检测机制和具体算法。
智能化刺绣CAD系统中的工作流技术研究
李俊 张华 王崇骏 陈世福
计算机科学. 2005, 32 (3): 97-100. 
摘要 ( 77 )   PDF(211KB) ( 431 )   
相关文章 | 多维度评价
基于智能化刺绣CAD系统向网络化和规模化方向发展的趋势,本文设计并实现了一个面向刺绣CAD的工作流框架,在该框架结构下,刺绣任务的各个执行环节被分解为粒度不同的、独立的节点任务,用户根据实际的工作环境定义这些节点任务的执行序列,工作流引擎根据用户定义控制任务的执行。本文主要介绍了面向刺绣CAD系统的工作流结构框架和其中的关键技术,包括过程定义、通信和调度。文中给出了一个基于该框架的系统实例,实际应用表明该框架是可行和有效的。
基于粗糙集的空间信息预处理方法
郭平 叶莲 范丽
计算机科学. 2005, 32 (3): 101-104. 
摘要 ( 79 )   PDF(192KB) ( 398 )   
相关文章 | 多维度评价
空间数据可以通过不同的方法获取,但是获得的原始数据一般不适于直接应用,通常还需要进行预处理加工。本文通过对空间信息预处理一般过程的研究,提出了预处理中的几个关键问题,并将Rough集理论用于空间数据预处理,解决遗漏值补剂、属性离散化等问题,同时给出了相应的算法。
基于GSM的移动微支付方案
杨宗凯 付雄 郎为民 吴世忠
计算机科学. 2005, 32 (3): 105-106. 
摘要 ( 86 )   PDF(107KB) ( 349 )   
相关文章 | 多维度评价
本文提出了一种基于GSM移动环境的微支付方案,它通过将计算、存储和通信量转移到静态的网络主机上使得移动电话的负荷最小化。在整个支付过程中,移动电话发送和接收的信息非常简单,且避开了复杂的公钥运算,减少了系统延时并消除了因通信失败而造成不完全支付的可能性。同时,本方案使用会话密钥对交易信息进行加密,保护了移动用户隐私和支付信息的安全。与其它移动微支付方案相比,由于本方案完全没有使用公开密钥算法,因而效率大大提高。此外,方案还为移动用户提供了有限的匿名性。
公平电子合同协议的模块化设计方法
庞辽军 柳毅 王育民
计算机科学. 2005, 32 (3): 107-110. 
摘要 ( 100 )   PDF(173KB) ( 455 )   
相关文章 | 多维度评价
电子合同协议的研究越来越受到人们的重视。本文提出一种模块化的方法来设计公平电子合同协议。通过对电子合同的签定过程进行分析,定义了一套协议模块,利用这些模块可以有效地构造公平电子合同协议。该方法不仅能降低协议设计和分析的复杂度,而且使得设计者可以根据不同的应用需求,灵活地设计公平性程度不同的电子合同协议。
一次性代理签名方案在移动代理技术中的应用研究
吴敏 王汝传
计算机科学. 2005, 32 (3): 111-113. 
摘要 ( 88 )   PDF(158KB) ( 379 )   
相关文章 | 多维度评价
随着电子商务、网络管理等分布式计算应用的发展,移动代理技术日益受到重视。但移动代理本身存在的各种安全隐患,限制了移动代理技术的发展。鉴于此,本文在代理签名体制上提出了一种新型的可验证安全性的一次性代理签名方案,并通过将它结合到一个典型的移动代理电子商务应用实例中去阐述了谈方案在移动代理系统中的应用,最后对其有效性和安全性进行了解析。
分布式虚拟环境中兴趣管理技术的分类研究
沈瑜 崔业怡 李惠 孙元浩 潘金贵
计算机科学. 2005, 32 (3): 114-117. 
摘要 ( 81 )   PDF(280KB) ( 421 )   
相关文章 | 多维度评价
分布式虚拟环境作为虚拟现实与网络技术的结合有着广泛的应用,但却面临着扩展性的问题。而兴趣管理正是解决这一问题的有效技术之一。本文提出了基于(表示模型、过滤规则、体系结构)三个要素对兴趣管理进行分类的新方法,并据此对以往的分布式虚拟环境系统中采用的兴趣管理技术进行了分析和总结,籍以促进兴趣管理技术的进一步发展,此外简要介绍了南京大学AIMNET中所采用的兴趣管理技术。
电子校务系统建设研究
赵骅 陈晓慧
计算机科学. 2005, 32 (3): 118-120. 
摘要 ( 75 )   PDF(243KB) ( 416 )   
相关文章 | 多维度评价
电子校务系统是教育信息化的重要组成部分,首先,阐述了电子校务的作用、发展历程以及建设电子校务的基本原则和目标;结合电子校务系统应具备的基本功能,详细分析了电子校务的系统结构、逻辑结构和整体结构;最后,从实用、高效的角度探讨了电子校务建设中应选择的关键技术。
多媒体教学软件及网络资源开发和应用的研究
谢晓兰 程小辉
计算机科学. 2005, 32 (3): 121-124. 
摘要 ( 93 )   PDF(228KB) ( 349 )   
相关文章 | 多维度评价
多媒体网络教学是指应用多媒体和网络技术,通过多种媒体教学信息的收集、传输、处理和共享来实现教育教学目标的新型教学模式。多媒体网络教学的特点是:资源共享、交互性强、多任务。多媒体与网络教学模式不受时间、空间和地域的限制,这是真正意义上的开放性学习和研完性学习。本文以笔者承担的2003年广西教育科学十五规划立项课题——大学英语E-Learning教学系统的开发为例,来说明如何进行多媒体教学软件及网络资源的开发。其中用到了流媒体技术、动态网页技术、数据库技术、题库随机抽题技术,可以供开发类似软件借鉴。
虚拟农业体系结构的研究
杨国才
计算机科学. 2005, 32 (3): 125-126. 
摘要 ( 86 )   PDF(160KB) ( 468 )   
相关文章 | 多维度评价
本文通过对国内外虚拟农业的研究分析,在总结前人研究的基础上,认为虚拟农业是应用虚拟现实技术和可视化技术,在计算机和Internet的支持下,对农业生产、科研、教学、加工、销售等各个环节在计算机上的模拟和再现,以实现农业生产的高效益和可持续发展为目的的技术系统,从而指出虚拟农业既是一个系统平台,也是一种研究方法和手段,并应建立起完整的技术理论体系。提出了虚拟农业的技术支撑体系和体系结构。阐述了虚拟农业的应用前景和重要意义。
MDA——新一代软件开发方法学的挑战与发展研究
陈平 王柏
计算机科学. 2005, 32 (3): 127-131. 
摘要 ( 90 )   PDF(264KB) ( 887 )   
相关文章 | 多维度评价
本文首先概述了OMG的模型驱动对象(MDA)的体系结构,对MDA的发展前途的正反两方面进行了论述,同时给出了MDA的发展现状和最新动态、重点研究方向以及相关技术,并预测了其可能的发展模式及前景。
软件复合连接件的形式化研究
任洪敏 张敬周 钱乐秋
计算机科学. 2005, 32 (3): 132-135. 
摘要 ( 77 )   PDF(201KB) ( 362 )   
相关文章 | 多维度评价
基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities),是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加,连接件变得愈加复杂和多样。因此,需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式,即连接件运算符,组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约,给出了谊复合连接件形
UML的形式化及其应用
周瑾 马应龙 李巍 吴志林
计算机科学. 2005, 32 (3): 136-140. 
摘要 ( 68 )   PDF(239KB) ( 473 )   
相关文章 | 多维度评价
本文介绍一个面向度量的UML的代数表达框架。这个框架可以作为设计模型检测的基础,并为设计人员提供一个在软件设计进化过程中检测一些设计错误和提出可能的优化方案的理论基础。本文给出了UML类图、序列图和状态图的代数表达并用例子说明了这个UML的代数表达框架的应用及它是如何检测设计错误和提供可能的优化建议的。
基于本质用例的软件需求分析和获取
吴斌 汪琦 顾庆 陈道蓄
计算机科学. 2005, 32 (3): 141-143. 
摘要 ( 65 )   PDF(216KB) ( 368 )   
相关文章 | 多维度评价
本质用例描述了用户与系统间抽象、轻量级和技术无关的对话过程。与传统的用例相比,本质用例更为简洁,避免了在开发过程早期就进行设计决策。本文探讨了在软件系统开发过程中,使用本质用例进行需求分析与获取的过程,并将其与传统的用例技术进行了比较。
通过扩展LSM框架构建审计支持机制
陈慧 石文昌 梁洪亮
计算机科学. 2005, 32 (3): 144-147. 
摘要 ( 64 )   PDF(224KB) ( 592 )   
相关文章 | 多维度评价
LSM是纳入到Linux内核的一个安全模型支持框架,它通过提供钩子机制来支持安全机制的实现。审计机制是安全操作系统的重要组成部分。然而,LSM的现有设计主要考虑的是对访问控制的支持,对审计机制的支持存在着明显的不足。把审计支持纳入到LSM框架中,为审计系统或者是入侵检测系统提供统一的支持接口,对安全操作系统的研究有重要意义。本文提出一个扩展LSM框架的方法,以增强LSM框架对审计机制的支持能力。本文论述了扩展LSM框架实现审计的方法,以及如何在LSM框架中加入审计钩子及在内核函数中插入钩子函数。依照这种方
分形可视化组件的设计与应用
陈宁涛 王能超
计算机科学. 2005, 32 (3): 148-151. 
摘要 ( 62 )   PDF(217KB) ( 544 )   
相关文章 | 多维度评价
开发分形可视化软件具有重要的理论意义和应用价值。研完了分形可视化理论和组件化软件开发原理,设计了基于COM技术的分形可视化组件框架,开发了一个分形可视化组件,并分析了组件客户的类型及其使用方法。最后,给出了应用该组件的一个例子。
嵌入式应用中运行支撑框架的构件化技术研究
冯庆 桑楠 熊光泽
计算机科学. 2005, 32 (3): 152-155. 
摘要 ( 80 )   PDF(215KB) ( 355 )   
相关文章 | 多维度评价
为增强嵌入式软件的复用性、可移植性,缩短开发周期,通过研究现有的主流构件运行支撑技术,提出了一种面向嵌入式领域的运行支撑体系结构。为实现灵活、开放的嵌入式应用平台,本文首先建立了构件化的嵌入式运行支撑框架模型,然后结合PDA手机领域重点分析了开放式HLA结构和虚拟OS平台等关键技术,最后利用伪代码示例探讨了该领域中应用平台的定制与扩展方法。
防止缓冲区溢出攻击的增强编译技术分析
潘亦 吴春梅 武港山
计算机科学. 2005, 32 (3): 156-158. 
摘要 ( 58 )   PDF(153KB) ( 1291 )   
相关文章 | 多维度评价
通过增强传统的编译处理技术来防止缓冲区溢出攻击是一种常用有效的方法。本文比较了几个典型的应用这一技术来防卫缓冲区溢出攻击的常用工具的原理与性能,比较的结果可以指导软件开发者根据自己的安全需求来选择合适的工具来防止缓冲区溢出攻击,以达到提高软件安全性能的目的,也有助于正在研究缓冲区溢出攻击防范技术的工作者提出更加有效而安全的防止缓冲区溢出攻击工具。
一个自动构造类测试驱动程序的框架
姜文 缪淮扣 刘玲
计算机科学. 2005, 32 (3): 159-161. 
摘要 ( 69 )   PDF(192KB) ( 389 )   
相关文章 | 多维度评价
在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。
回归测试自动化工具研究
马雪英 姚砺 叶澄清
计算机科学. 2005, 32 (3): 162-165. 
摘要 ( 140 )   PDF(197KB) ( 349 )   
相关文章 | 多维度评价
回归测试是软件测试生命周期中非常重要但十分费时费力的阶段,我们通过研究事件捕获/回放技术,实现回归测试自动化;通过优化测试用例,降低测试费用。本文介绍了基于事件源识别的捕获/回放技术和基于事件跟踪的回放同步技术,以及测试用例优化算法。最后简单介绍了所开发的面向Java的事件捕获/回放工具-Panorama Player。测试自动化工具的使用,能简化测试过程,提高测试效率。
DSP处理器和通用处理器的比较
岳虹 沈立 戴葵 王志英
计算机科学. 2005, 32 (3): 166-168. 
摘要 ( 71 )   PDF(230KB) ( 683 )   
相关文章 | 多维度评价
随着嵌入式系统的广泛应用,其应用程序的功能变得越来越强大和复杂,从而要求嵌入式处理器系统既能有效支持运算密集型的应用,又能有效支持控制密集型的应用。数字信号处理器(DSPs)能够有效进行运算密集型的实时计算;另一方面,通用微处理器(GPPs)则对控制密集型的应用提供有效的支持。本文从DSP处理器和通用微处理器的功能出发,讨论了两者在指令集、体系结构及存储器结构等方面的异同,同时对两者的性能也进行了评测和比较。结果表明,DSP处理器和通用微处理器都很难同时高效支持运算密集型的应用和控制密集型的应用。将两者体
基于PADL的古代人物简历知识获取
郝天永 曹存根
计算机科学. 2005, 32 (3): 169-174. 
摘要 ( 66 )   PDF(360KB) ( 380 )   
相关文章 | 多维度评价
领域文本知识获取是目前人工智能中的一个关键问题。本文探讨如何从人物简介中获取人物知识。由于自然语言技术目前尚不足支持自动的知识获取,某种形式的人机交互或半自动方法是一种可行的折衷方案。本文在总结人物知识描述的特点基础上,提出了一种中问标记语言,它是自然语言到目标知识表示语言的过渡桥梁。同时,我们还介绍使用该方法在宗教古代人物知识获取中的应用。
基于广义相关系数的Agent行为决策模型
王澜 何华灿
计算机科学. 2005, 32 (3): 175-177. 
摘要 ( 71 )   PDF(153KB) ( 363 )   
相关文章 | 多维度评价
对于Agent之间交互作用的研究是多Agent系统研究领域中的一个重要方面。Agent的行为决策作为在进行交互作用时的关键过程,更引起研究者的极大重视。而现有的对于Agent的行为决策的研究多局限于特定的交互作用环境或特定的应用中,如协作、协商、竞争等。基于广义相关系数的MAS交互作用框架,将各种类型的交互作用——协作、自利、竞争、敌对——都纳入到这一统一框架之下。本文在这一框架的基础上,建立了基于广义相关系数的Agent模型,以及基于广义相关系数的Agent行为决策模型。该决策模型不再受限于单一的环境,
MMAS:基于模型的多Agent系统开发方法
袁成祥 高济
计算机科学. 2005, 32 (3): 178-181. 
摘要 ( 106 )   PDF(206KB) ( 388 )   
相关文章 | 多维度评价
MAS的复杂性使其应用受到限制。本文提出一个基于模型的MAS开发方法——MMAS。MMAS用任务模型、角色模型、组织模型、交互模型、信念模型和Agent模型来描述一个MAS。本文阐述如何在这六个模型的基础上设计Agent,以实现软件重用,减少MAS开发的复杂性和提高软件开发速度。
多Agent系统中信任的动态性处理
王平 张自力
计算机科学. 2005, 32 (3): 182-185. 
摘要 ( 70 )   PDF(204KB) ( 358 )   
相关文章 | 多维度评价
信任是多Agent系统中进行决策和交互的重要内容。收集必要的信息确定信任关系,动态地管理、维护信任关系,以及监控和重估已有的信任关系是多Agent系统中信任管理的关键问题。虽然研究者对上述关键问题提出了一系列解决方案,但依然存在一些问题有待进一步解决。本文针对信任的动态性处理这一问题,在分析现有的典型信任模型基础之上,提出一个具有动态性的Confidence-Reputation信任模型。模型中,我们不仅考虑了Agent的直接交互历史(Confidence)和信誉(Reputation),同时也考虑了信任
自然语言信息抽取中的机器学习方法研究
周俊生 戴新宇 尹存燕 陈家骏
计算机科学. 2005, 32 (3): 186-189. 
摘要 ( 147 )   PDF(291KB) ( 801 )   
相关文章 | 多维度评价
信息抽取是一种用于处理各种类型文本文档的非常有效的方法,然而建立一个文本信息抽取系统却是非常困难和耗费时间的。近年来,基于统计的机器学习方法在信息抽取领域的研究受到了广泛关注。本文深入探讨了当前自然语言信息抽取领域广泛采用的几种非常有效的统计学习方法,比较分析了各种方法的统计推断过程和学习算法及其优缺点,讨论了各种统计学习方法所面临的训练语料匮乏问题的主要解决方法,并指出了今后进一步研究的方向。
强化学习算法中启发式回报函数的设计及其收敛性分析
魏英姿 赵明扬
计算机科学. 2005, 32 (3): 190-193. 
摘要 ( 87 )   PDF(199KB) ( 1507 )   
相关文章 | 多维度评价
回报函数设计的好与坏对学习系统性能有着重要作用,按回报值在状态-动作空间中的分布情况,将回报函数的构建分为两种形式:密集函数和稀疏函数,分析了密集函数和稀疏函数的特点。提出启发式回报函数的基本设计思路,利用基于保守势函数差分形式的附加回报函数,给学习系统提供更多的启发式信息,并对算法的最优策略不变性和迭代收敛性进行了证明。启发式回报函数能够引导学习,加快学习进程,从而可以实现强化学习在实际大型复杂系统应用中的实时控制和调度。
知识发现状态空间模型研究及其应用
游福成 杨炳儒
计算机科学. 2005, 32 (3): 194-196. 
摘要 ( 64 )   PDF(197KB) ( 348 )   
相关文章 | 多维度评价
结构化数据挖掘与复杂类型数据挖掘既有联系,又有区别。如何将这两者统一起来,建立一个统一的理论框架,以指导数据挖掘与知识发现研完,已经成为一个迫切需要解决的问题。本文提出了知识发现状态空间统一模型UMKDSS,将结构化数据挖掘与复杂类型数据挖掘联系起来,为复杂类型数据挖掘提供理论指导。文章最后给出了UMKDSS在Web文本挖掘中的应用实例。
数据挖掘方法本体研究
邹力鹍 王丽珍 姚绍文
计算机科学. 2005, 32 (3): 197-199. 
摘要 ( 68 )   PDF(159KB) ( 373 )   
相关文章 | 多维度评价
数据挖掘是包含多个阶段的知识发现过程。一个简单、但典型的数据挖掘过程可能包括数据预处理阶段,数据挖掘算法的应用阶段,以及对挖掘结果的可视化处理阶段。在每个阶段,都会有多个算法或方法供数据挖掘工作者选择,但仅有一些算法和方法组合是有效的。即使是数据挖掘领域的专家,也可能会忽略一些重要的、有助于知识发现的数据挖掘算法或方法。本文中,我们将讨论使用本体的方法来协助数据挖掘工作者在实施数据挖掘过程中对众多可供选择的算法和方法进行选择。
快速关联规则挖掘算法研究
高俊 施伯乐
计算机科学. 2005, 32 (3): 200-201. 
摘要 ( 88 )   PDF(139KB) ( 361 )   
相关文章 | 多维度评价
本文在分析FP-growth关联规则挖掘算法的基础上,提出了一种称之为MFP的算法,给出了算法的工作原理。MFP算法能在一次扫描事务数据库过程中,把该数据库转换成MFP树,然后对MFP树进行关联规则挖掘。
基于语义的Web挖掘
伏晓 骆斌 陈世福
计算机科学. 2005, 32 (3): 202-206. 
摘要 ( 77 )   PDF(281KB) ( 577 )   
相关文章 | 多维度评价
基于语义的Web挖掘是使用从现有Web数据中抽取的语义或直接使用Web数据中已有的语义结构来帮助Web挖掘。它有效地结合了语义网和Web挖掘两个领域的研完成果,既可以通过开发新的语义结构来帮助Web挖掘,又可以利用挖掘结果促进语义网的创建。本文介绍了基于语义的Web挖掘的基本思想和研究现状,分析了语义网和Web挖掘相结合的优势,并详细论述了国际上关于利用数据挖掘技术创建语义网,利用语义挖掘Web数据和直接挖掘语义网三个方面的研究工作。
SAT-FOIL+:基于句子级关联的文本分类
冯玉才 李曲 何玉 冯剑琳
计算机科学. 2005, 32 (3): 207-212. 
摘要 ( 121 )   PDF(317KB) ( 432 )   
相关文章 | 多维度评价
以往基于词语关联的方法在挖掘频繁项集和关联规则时,都是将整个文本看作一个事务来处理的,然而文本的基本语义单元实际上是句子。那些同时出现在一个句子里的一组单词比仅仅是同时出现在同一篇文档中的一组单词有更强的语义上的联系。基于以上的考虑,我们把一篇文档里的一个句子作为一个单独的事务,从而提出了一种基于句子级关联的分类方法SAT-FOIL。并在本文中提出新的得分模型来获得改进的新算法SAT-FOIL+。通过在标准的文本集Reuters上的大量实验,不仅证明新模型的优越性,而且证明了SAT-FOIL+分类效果同其
支持Internet上个性化信息重组与发布的Web挖掘关键技术的研究
王大玲 胡明涵 于戈 鲍玉斌
计算机科学. 2005, 32 (3): 213-215. 
摘要 ( 71 )   PDF(158KB) ( 345 )   
相关文章 | 多维度评价
Internet上个性化信息的重组与发布是Web个性化技术的一个重要组成部分,这一领域目前存在的主要问题是:并非没有信息重组和发布的工具,而是缺乏能够使这类工具高效工作的支持技术。本文提出一种将流数据处理技术引入Web点击流、IP地址流及页面文本流挖掘和分析过程,研究基于Web数据流挖掘的用户行为和需求分析方法;将本体和领域知识引入Web内容挖掘过程,研究领域知识指导下的Web内容挖掘方法;将基于Web数据流挖掘的用户行为和需求分析与领域知识指导下的Web内容挖掘相结合,研究Internet上Web信息模
一种有效的并行高维聚类算法
冯永 吴开贵 熊忠阳 吴中福
计算机科学. 2005, 32 (3): 216-218. 
摘要 ( 70 )   PDF(158KB) ( 383 )   
相关文章 | 多维度评价
针对CLIQUE算法聚类结果精确性不高的缺点,提出利用小波变换来生成自适应网格的方法对CLIQUE算法进行改进,将改进算法并行化以增强聚类维数升高时算法的可伸缩性,并将其应用于药品的销售预测,实验表明本算法聚类结果的精确性高,可伸缩性好,并且有效地降低了计算复杂度。
动态粒度下的粗糙集近似
钱宇华 梁吉业 王江
计算机科学. 2005, 32 (3): 219-222. 
摘要 ( 76 )   PDF(186KB) ( 336 )   
相关文章 | 多维度评价
粒度计算是粗糙集理论研完的一种强有力的工具。本文讨论了粒度意义下的粗糙集近似,并定义了动态粒度下的正向近似。另外,本文还从粒度的角度讨论了聚类结果和先验知识的协调度问题,并提出了一种基于动态粒度下的正向近似的聚类算法。这些结果将有助于枉度计算和粗糙集理论的研究。
基于完备性和语义性的隶属函数GA优化方法
时招军 邓辉文 黄笑鹃
计算机科学. 2005, 32 (3): 223-225. 
摘要 ( 78 )   PDF(161KB) ( 670 )   
相关文章 | 多维度评价
提出优化隶属函数的GA编码方法可以保证其完备性和语义性,并给出了仿真结果。
MIS智能处理的近似评判法及其算法研究
谈文蓉 杨宪泽
计算机科学. 2005, 32 (3): 226-228. 
摘要 ( 68 )   PDF(148KB) ( 383 )   
相关文章 | 多维度评价
在MIS的设计中,智能技术的使用是一大趋势。本文围绕关键词的智能检索问题,完成了三部分工作:1)探讨了近似评判方法在MIS智能处理中的应用;2)给出了一个文献检索智能接口的设计;3)提出了相应的规则索引算法。
用HCM聚类和遗传算法实现多级模糊神经网络
赵海军 崔梦天
计算机科学. 2005, 32 (3): 229-232. 
摘要 ( 77 )   PDF(191KB) ( 345 )   
相关文章 | 多维度评价
模糊集理论适用于一些实验数据中不确定性和模糊性的建模问题,而模糊推理系统拥有模糊IF-THEN格式的结构化知识表示,但缺少适应性。神经网络本身具有对外部很强的适应性和从过去数据中学习的机制,但基于线性推理的模糊神经网络(FNN)模型作为模糊推理方法不能得到存在于参数间的最终关系,也不能影响接着发生的模糊集合。因此,我们提出了一个多级模糊神经网络(Multi-FNN),使用硬C均值聚类和进化模糊颗粒,利用处理为近似推理的一个线性推理,获得信息微粒和模糊集之间的关系。