计算机科学

许峰林果园黄皓

计算机科学. 2005, 32 (2): 1-4.

摘要 ( 69 )

PDF(219KB) ( 315 )

相关文章 | 多维度评价

随着Web Services的发展，它本身的安全问题已经成为制约其发展的关键因素。本文主要论述了Web Services的访问控制技术的研究现状及其问题。首先，从协议层次出发讨论了Web Servtces的访问控制技术的研究方法。然后分别介绍了XML文档和SOAP协议的访问控制技术，以及Web Services的相关访问控制规范。最后总结全文并提出了需要进一步研究的问题。

数据库安全评测系统研究

王艺超冯玉王珊

计算机科学. 2005, 32 (2): 5-8.

摘要 ( 89 )

PDF(255KB) ( 525 )

相关文章 | 多维度评价

多年来．如何增强和评测DBMS安全已成为一个研究热点。本文首先概述了DBMS安全的当前研究工作，并介绍了一些数据库安全评测系统。最后以Kingbase ES为例．介绍了一个实际的数据库安全评测系统。

基于免疫体系的安全数据库结构设计研究

钟勇秦小麟

计算机科学. 2005, 32 (2): 9-12.

摘要 ( 66 )

PDF(216KB) ( 274 )

相关文章 | 多维度评价

提出了基于免疫体系的安全数据库四层结构：身份认证层，存取控制层，约束安全层，适应性检测层。并给出了约束安全层和适应性检测层的予层结构。将约束安全层分为完整性约束、分级和推理约束、访问约束和应用语义约束四个予层，将适应性检测层分为数据库活动级、关系模式级、事务级和应用语义级四个子层。构造了一个多层多级的数据库安全体系，最后给出了具体实现方案。

电子数据取证研究概述

孙波孙玉芳张相锋梁彬

计算机科学. 2005, 32 (2): 13-19.

摘要 ( 91 )

PDF(430KB) ( 1720 )

相关文章 | 多维度评价

随着计算机技术的飞速发展，人类社会对数字信息的依赖已达到前所未有的程度。与此同时，计算机犯罪率也以惊人的速度增长(2003 CSI／FBI计算机犯罪调查报告)。由于计算机犯罪是刑事犯罪中一种新兴的高科技犯罪，政法机关在如何利用高技术手段对付这种高技术犯罪方面缺乏必要的技术保障和支持，为了保障和促进计算机信息网络健康有序发展，提高政法机关打击计算机犯罪的能力，需要对电子数据取证(数字取证、计算机取证)领域进行深入的研究，这不但需要开发切实有效的取证工具，更需要对电子数据取证领域的取证定义、取证标准、取证程序

用异步I／O请求处理提高流媒体服务器支持并发访问的性能

李中王刚刘璄

计算机科学. 2005, 32 (2): 20-24.

摘要 ( 69 )

PDF(264KB) ( 314 )

相关文章 | 多维度评价

流媒体服务是一种I／O请求密集型应用，为了提高流媒体服务器支持并发访问的能力，需要提高其处理I／O请求的能力。目前的操作系统通常支持同步处理I／O请求，但因此产生的进程的阻塞和中断响应处理将对服务器处理I／O请求的效率产生负面影响。我们采用异步方式处理I／O请求，消除了上述的影响，优化了流媒体服务器处理I／O请求的效率，提高了其支持并发访问的能力。

IP／DWDM光因特网中一种基于人工免疫算法的QOS组播路由算法

王兴伟陈明华程辉黄敏

计算机科学. 2005, 32 (2): 25-27.

摘要 ( 74 )

PDF(225KB) ( 275 )

相关文章 | 多维度评价

本文提出了一种IP／DWDM光因特网中基于人工免疫算法的QoS组播路由算法，当QoS组播请求和需求区间给定时，能够找到一棵基于QoS的柔性费用近优组播路由树。该算法基于人工免疫算法构造QoS组播路由树，并基于波长图对树进行波长分配，将路由和波长分配集成到一个过程中，同时考虑了负载平衡。仿真结果表明，算法为IP／DWDM光因特网中的组播应用构造的QoS组播路由树是可行和有效的。

可用性约束资源预留与分配算法

李波石冰心沈斌

计算机科学. 2005, 32 (2): 28-30.

摘要 ( 125 )

PDF(166KB) ( 478 )

相关文章 | 多维度评价

给定一系列作业和只能在有限的时间段可用的资源，如何预留和分配资源以实现作业的最大完成时间最小化的问题是NP难的。本文将其归结为一种新型的尺寸可变装箱问题并给出了作业信息和资源信息完全已知条件下的六种离线算法，理论分析表明所给算法的渐进最坏比为2，在作业相互独立的务件下推广的降序最佳适合(Best Fit Decreasing)算法的平均性能最优，在作业有先后依赖关系的条件下推广的最佳适合(Best Fit)算法的平均性能最优。

P2P中基于本体论的知识管理框架模型及实现

孙宝军王新军

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

摘要 ( 135 )

PDF(162KB) ( 252 )

相关文章 | 多维度评价

为了将P2P中对等体的资源描述为结构化的知识，以提高资源共享，本文提出一个基于本体论的知识管理框架模型。从知识的建立和知识的检索两方面分析了模型的实现技术。探讨了相互协作的对等体按预定义查询模式和本体论匹配的语义技术实现信息搜索和知识获取的过程。

CACF：一种面向P2P客户端的应用程序框架

宋杰卢显良韩宏

计算机科学. 2005, 32 (2): 33-35.

摘要 ( 89 )

PDF(155KB) ( 255 )

相关文章 | 多维度评价

P2P客户端程序对网络通信的要求正变得越来越复杂。在开发过程中使用应用程序框架可以比较好地处理这种复杂性。本论文提出了框架CACF。它支持水平，垂直和协作过程等多种并行模式，能通过消息优先级和多种排队模型实现流控和端到端QoS，引入多路复用器实现对网络连接的多路复用，复合消息则消除了费时的内存拷贝。作为P2P系统Virtual Helpdesk的客户端，JCVIEWER的开发实践证明了CACF的有效性。

Internet 3A访问模式及相关技术的研究

侯志强刘东华何戈徐志伟

计算机科学. 2005, 32 (2): 36-39.

摘要 ( 74 )

PDF(238KB) ( 277 )

相关文章 | 多维度评价

随着计算模式的发展和变化，用户的访问模式也面临新的要求。在松散耦合和动态变化的网络资源空间里．需要给用户提供一种时间无关、空间无关和物理无关的访问机制，它被称为3A(Anytime、Anywhere、and on Any device)访问模式。该文通过分析3A访问的丰富含义和需求内容，提出Internet 3A访问模式的三个基本特征，即：持续性、移动性和适应性。并分别总结和比较了支持这三种性质的多种解决方案及相关实现技术。

无线传感器网络中确保端到端传输质量的自适应调制缩放技术

袁勇杨宗凯何建华

计算机科学. 2005, 32 (2): 40-44.

摘要 ( 67 )

PDF(418KB) ( 299 )

相关文章 | 多维度评价

在满足数据收集任务的时延要求及可靠性要求的前提下最小化能量消耗是传感嚣网络设计中的一个关键问题。选取不同的调制级数(即调制时的星座图大小，每符号位数)可以获得不同程度的能量节省，但引入不同程度的时延的同时也会造成不同程度的丢包。本文提出了一种优化模型在满足数据收集任务的时延要求及可靠性要求的前提下，最优选取各节点的调制级数以最小化网络能耗延长网络生命期。并在此基础之上提出了一个集中式控制算法以根据网络状况自适应地调节各节点的调制级数。实验表明本算法在所考查的各种网络环境下都能明显减少能耗，可以用该模型来确

分布式视频信息存储网络的任务均衡分配

陈进才张江陵冯丹

计算机科学. 2005, 32 (2): 45-47.

摘要 ( 73 )

PDF(142KB) ( 267 )

相关文章 | 多维度评价

考虑将广义超级市场模型(Generalized Supermarket Model，GSM)应用于分布式视频信息存储网络的任务均衡分配。设：①分布式视频信息存储网络由在地理上分布的存储服务结点、存储负载均衡调度结点和客户结点组成；③视频信息存储任务的到这是一泊松过程，任务粒度为视频流文件；③存储任务的执行时间服从指数分布；④系统在初始时刻的存储任务有限；⑤与存储任务的执行时间相比，存储任务的调度时间不计。在概率意义下，深入讨论了基于广义超级市场模型的负载均衡调度与随机服务选择两种情况下的平均存储任务消耗时

iSCSI：网络存储的未来

崔雪芝王东燕

计算机科学. 2005, 32 (2): 48-49.

摘要 ( 66 )

PDF(339KB) ( 248 )

相关文章 | 多维度评价

iSCSI是一种在Internet协议网络上，特别是以太网上进行数据块传输的标准。简单地说，iSCSI可以实现在IP网络上运行SCSI协议，使其能够在高速千兆以太网上进行路由选择。在当前网络存储的需求日益高涨的前提下，由于其标准成熟通用、安装及维护成本较低、良好的可扩展性以及快速高效等特点，性能明显高于当前的DAS、NAS、SANS三种存储模式使其有望成为将来网络存储的主要模式。

一个基于签密技术的安全多方乘积协议

张华陈智雄肖国镇

计算机科学. 2005, 32 (2): 50-52.

摘要 ( 73 )

PDF(175KB) ( 263 )

相关文章 | 多维度评价

本文利用签密技术和不经意传递提出一个两方安全乘积协议，同时用归纳的方法得出一个多方安全乘积协议。此协议不需要可信任第三方的参与，从而避免了其导致的瓶颈问题，并且可以防止攻击者篡改信息，提高安全性。

移动Ad hoc网络的一种安全路由协议

蒋廷耀李庆华李鹏

计算机科学. 2005, 32 (2): 53-55.

摘要 ( 79 )

PDF(188KB) ( 272 )

相关文章 | 多维度评价

移动ad hoc网络的开放、动态、分布式特性对网络安全问题提出了巨大挑战。本文指出了几种典型安全路由协议的缺陷，并提出了一种新的安全路由协议AMDSR。它采用对路由请求消息进行逐跳认证、端-端完整性检查和监听的方法来扩展DSR协议的安全功能，并确保建立最快速的路径。AMDSR监听邻居结点广播的路由消恩而不似传统协议混杂收听所有消息，具有更好的适用性。

分组采样技术研究

高文宇陈松乔王建新

计算机科学. 2005, 32 (2): 56-59.

摘要 ( 77 )

PDF(224KB) ( 298 )

相关文章 | 多维度评价

随着网络带宽的不断提高，分组采样技术作为网络测量的手段越来越受到重视。因为在高速网络中对所有的分组进行实时的统计分析代价太大，而通过分组采样可以大大减少测量的代价，从而具有更好的可扩展性。本文对近来提出的一些分组采样技术进行了系统的分析和研究，主要对它们的原理、精度和效果进行了详细分析，并对其中存在的问题提出了一些改进的措施。

网格计算安全构架及其实现

应宏

计算机科学. 2005, 32 (2): 60-62.

摘要 ( 93 )

PDF(145KB) ( 273 )

相关文章 | 多维度评价

网格要实现分布资源的共享，必须构建新的安全体系，制定更高要求的安全机制。通过分析网格计算的安全特性和安全策略，研究了网格计算的安全体系结构，讨论了结构中的主要技术和用户任务的安全认证过程。介绍了Globus Toolkit 3(GT3)中安全机制的实现，探讨了Globus Toolkit 3为体现OGSA思想对安全机制和任务分配流程的改进。

一个基于PAM的身份认证系统的设计与实现

李大治卿斯汉

计算机科学. 2005, 32 (2): 63-65.

摘要 ( 91 )

PDF(178KB) ( 379 )

相关文章 | 多维度评价

当今网络安全越来越受到人们的重视，身份认证作为同络安全的重要组成部分，已成为保证应用系统安全的有力手段。当前的一些身份认证产品的缺点是认证方法单一，缺少扩展性，很难满足不同应用系统的需要。本文提出了一个基于Linux PAM(Pluggable Authentication Modules)的身份认证系统，可支持多种认证方法，而且具有良好的扩展性。本文首先介绍了PAM，讨论了基于PAM开发的关键问题，然后给出了系统的设计，最后结合具体实例阐明了系统的工作原理。

基于LDAP的PKI证书的存储与备份

何朝辉李琦卿斯汉

计算机科学. 2005, 32 (2): 66-68.

摘要 ( 78 )

PDF(155KB) ( 438 )

相关文章 | 多维度评价

本文较深入地介绍了LDAP协议在PKI体系中的应用，主要讲遂了如何利用LDAP服务器存储以及备份电子证书。首先简单阐明了目录服务的优点，然后根据存储的需要自定义了LDAP中的属性，并扩展了一个对象类，最后描述了LDAP服务的复制和均衡负载模型。

垃圾邮件的综合过滤方法

徐激龚俭

计算机科学. 2005, 32 (2): 69-72.

摘要 ( 93 )

PDF(285KB) ( 369 )

相关文章 | 多维度评价

本文研完了几种常用的垃圾邮件过滤算法，分析了它们在中文邮件环境中存在的问题。本文根据各算法的优缺点，将它们进行改进、叠加和相互结合，并通过查看发出的邮件内容进行辅助学习，从而建立一个垃圾邮件的综合过滤方法。文章最后对该综合方法的效率做了分析和比较。

基于贝叶斯公式的垃圾邮件过滤方法

詹川卢显良周旭侯孟书袁连海

计算机科学. 2005, 32 (2): 73-75.

摘要 ( 61 )

PDF(153KB) ( 458 )

相关文章 | 多维度评价

伴随着电子邮件的广泛使用，垃圾邮件泛滥成灾，严重影响了人们正常的学习、工作和生活。本文提出了一种改进的基于贝叶斯公式垃圾邮件过滤技术。我们采用了基于词熵的特征项提取方法，并且使用特征项单词出现频率来表示向量，推导出相应的贝叶斯计算公式。实验表明，我们的方法使垃圾邮件过滤的整体性能都有明显提高。

网格与Web服务的融合—WSRF和WS-Notification

刘会斌都志辉

计算机科学. 2005, 32 (2): 76-79.

摘要 ( 80 )

PDF(221KB) ( 297 )

相关文章 | 多维度评价

Web服务通知(WS-Notification)和Web服务资源框架(WS-Resource Framework，简称WSRF)规范提供可扩展的发布／预定通知模式和用Web服务为有状态资源(Statefu Resource)建模的能力。本文首先介绍了OGSI和WSRF的关系，WSRF可以简单地看作是OGS11．0规范中的概念和接口的重写。WSRF通过Web服务资源(WS-Resource)方法来为有状态资源建模，通过WS-Resource方法来说明、执行Web服务和一个或多个指定类型的状态组件间的关系，阐

一种新的XML文档的存储平台SDML的实现技术

洪晓光

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

摘要 ( 80 )

PDF(201KB) ( 292 )

相关文章 | 多维度评价

目前，XML文档数据库(NXD—Native XML DBMS)的设计和存储正受到越来越多的关注，这是由于它可以灵活地表示各种数据，尤其是那些关系模式无法表达的复杂的数据。已经有一些NXD产品出现。而对XML文档的存储的好坏直接影响到它的查询效率，基于此我们自主提出了一种高效的XML文档存储平台SDML。详细讨论了它的存储结构和实现细节。特别提出了如何解决具有大量结构相同元素的存储方法，并给出了在其上进行查询、插入、删除和索引维护等操作的解决方案。给出了这种结构I／O费用代价，并进行了相关的实现，为NXD

基于OGSA的网格编程技术

李季黄小勇张伟

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

摘要 ( 78 )

PDF(178KB) ( 305 )

相关文章 | 多维度评价

目前，网格技术作为一种新的计算范式正在兴起。网格论坛组织提出的OGSA正成为网格应用的通用和标准化的体系结构，其核心就是网格服务，它是Web Service和网格技术的结合。本文对该体系结构进行了概述，并对网格程序的编写模式进行了归纳和总结。

基于受限中文的轻型业务规则管理系统的设计与实现

徐黎冯元勇糜宏斌孙玉芳

计算机科学. 2005, 32 (2): 87-89.

摘要 ( 58 )

PDF(217KB) ( 410 )

相关文章 | 多维度评价

业务规则管理是实现企业灵活多变的业务控制和客户服务的理想方案。本文介绍了业务规则管理系统的基本思想，并面向业务分析人员设计了一种受限中文业务规则语言，实现了一个轻型业务规则管理系统。

基于网格计算市场模型的资源与作业描述语言的研究

陈颖杨寿保

计算机科学. 2005, 32 (2): 90-92.

摘要 ( 96 )

PDF(153KB) ( 270 )

相关文章 | 多维度评价

网格计算市场模型是把经济学的概念应用到网格的资源管理和作业调度中的模型。本文分析了网格计算市场模型中资源和作业描述语言的需求，简要介绍了资源和作业描述语言Classified Advertisements(Classad)，指出它在网格计算市场模型中描述资源和作业的不足之处，对它做了相应的改进和扩充．以实现在经济模型下对资源和作业更加灵活、细枉度的描述。

电子支付协议的原子性研究综述

刘义春张焕国王丽娜

计算机科学. 2005, 32 (2): 93-96.

摘要 ( 71 )

PDF(257KB) ( 447 )

相关文章 | 多维度评价

原予性是设计电子支付协议时应考虑的重要性质。文章介绍了电子支付系统的原予性概念，分析了一些重要电子支付协议的原予性，论述了原予性电子支付协议的实现策略，描述了两个著名的原予性电子支付协议——NetBill和Anonymous Atomlc Transaction Ptotocol的协议实现，基于两阶段提交策略提出了一种新的原予性实现方法并用于构造原予性电子合同签署协议，就复杂电子交易模式的原予性支付问题进行了探讨，指出了电子支付原予性研究的最新发展和亟待解决的公开问题。

科学数据库基于内容的多媒体检索系统

陈峰莲阎保平黎建辉胡良霖

计算机科学. 2005, 32 (2): 97-99.

摘要 ( 72 )

PDF(375KB) ( 265 )

相关文章 | 多维度评价

科学数据库中存在大量的多媒体数据，为了实现对多媒体内容的有效存储、管理和检索．基于内容的多媒体综合检索技术将成为技术研究的重点。本文首先分析了科学数据库多媒体资源的特点和对多媒体内容管理的需求．然后探讨了基于内容的多媒体检索技术的原理、特点和检索方法。最后提出了科学数据库多媒体检索系统的一套设计方案，并说明了该体系的结构和功能。

用MPEG-7 DDL表示用户查询需求的方法

富亮薛向阳

计算机科学. 2005, 32 (2): 100-105.

摘要 ( 71 )

PDF(344KB) ( 265 )

相关文章 | 多维度评价

随着ISO MPEG-7标准在多媒体信息检索领域的深入应用，如何描述用户的查询信息需求变得越来越重要，本文提出一种新的用户查询需求的表示方法。该方法的主要特点是充分考虑MPEG-7标准对多媒体内容的标准化描述特性，因此对用户提交的信息需求具有很强的表达能力和较好的通用性。

基于内容管理的网站自动化生成系统的开发与实现

赵骅陈晓慧

计算机科学. 2005, 32 (2): 106-108.

摘要 ( 99 )

PDF(160KB) ( 302 )

相关文章 | 多维度评价

本文首先介绍了三代网站建设技术的特点，结合第三种技术，提出了一种基于内容管理的网站自动化生成方法，并对该方法进行了全面的分析。同时开发和实现了一个基于内容管理的网站自动化发布系统。结果表明，该系统大大降低了企业网站的管理及维护成本，同时保证了信息的及时性及海量信息发布的需求。

软件体系结构描述语言研究现状分析

田丽从张莉周伯生

计算机科学. 2005, 32 (2): 109-113.

摘要 ( 80 )

PDF(323KB) ( 1077 )

相关文章 | 多维度评价

软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前，已定义的ADL超过20种，新的ADL还在不断出现。然而，各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况，分析了ADL的研究现状，讨论了ADL研究中存在的主要问题及解决思路。

一种面向嵌入式实时软件的需求建模语言

舒风笛毋国庆

计算机科学. 2005, 32 (2): 114-120.

摘要 ( 76 )

PDF(371KB) ( 300 )

相关文章 | 多维度评价

针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征，提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心，以支持合成的模板为基本组成单元．利用转换有效期和事件预定机制来描述时间限制，既具有较强的时间限制描述能力，又能自然而直接地支持交互行为的建模，可执行且具有良好的形式语义。给出了该语言的形式化语法，举例说明了其时间描述机制，并通过执行步算法和基于HCA项的结构化操作规则定义了该语言的形式化操作语义。

基于Petri网的工作流建模与正确性分析

周福明吴斌顾庆陈道蓄

计算机科学. 2005, 32 (2): 121-124.

摘要 ( 70 )

PDF(185KB) ( 1012 )

相关文章 | 多维度评价

目前用于工作流建模和分析的工具很多，Petri网以其坚实的数学基础、直观的图形表示受到大家的青昧。本文介绍了如何使用WF-Net建立工作流模型，并根据Aalst给出的WF-Net正确性定义提出了一个算法，用来检查该WF-Net的正确性。

敏捷开发方法及一个非典型应用实例

林海徐晓飞潘金贵

计算机科学. 2005, 32 (2): 125-128.

摘要 ( 120 )

PDF(283KB) ( 627 )

相关文章 | 多维度评价

敏捷(agile)软件开发方法是近几年来新兴的一种软件开发方法，它的主要特征是允许对过程进行自主调整，并且强调软件开发中人的因素，和传统开发方法有着很多不同。本文对这一新的软件开发方法作一些简单的讨论，简要介绍了其中有代表性的几种方法，并给出了自己的一个应用实例。

关注分离问题研究综述

何丽莉金淳兆冯铁张家晨

计算机科学. 2005, 32 (2): 129-132.

摘要 ( 84 )

PDF(249KB) ( 341 )

相关文章 | 多维度评价

数十年以来，关注分离问题一直是软件工程的核心问题之一，关注分离是将软件分解成可管理、可理解的部分并将之组织起来的主要动力。本文综合了现有的关注分离的研完工作，分析了对于关注这一个概念的两类观点，并从问题求解的角度给出了关注以及关注分离的定义。论述了在软件开发周期各个阶段从关注分离角度需要考虑的问题、策略和当前的研完热点。

频率自适应的动态副本管理机制

周旭卢显良侯孟书詹川

计算机科学. 2005, 32 (2): 133-136.

摘要 ( 58 )

PDF(279KB) ( 247 )

相关文章 | 多维度评价

本文提出了一种新颖的基于访问频率的分布式文件系统自适应动态副本管理机制：FSRM(Frequency Sensitive Replica Management)。在FSRM中，节点周期性地扫描本地副本读写情况，根据系统对文件读写模式的变化，自主决定本地副本的增删或迁移，以调整文件副本数量以及副本存放位置，提供更高的系统性能，减少网络流量。同时，FSRM中各副本对应的扫描周期长度不固定，能根据本地副本被访问的频率自动增减，从而以更少的系统开销提供灵敏的系统适应性，同时实现对系统中各个副本实现不同精度的差异化

一种改进的基于模板的工作流过程定义方法

尹俊潘金贵

计算机科学. 2005, 32 (2): 137-139.

摘要 ( 96 )

PDF(192KB) ( 277 )

相关文章 | 多维度评价

随着工作流技术在企业业务流程管理中的广泛应用，人们对工作流管理系统的描述能力和动态变更能力提出了更高的要求。针对目前的工作流过程定义方法在这两个方面的不足，本文提出了一种基于模板机制的工作流过程定义方法。该方法在现有的工作流过程定义模型的基础上，加入了新的过程模板和活动接口元素。本文由此扩展了工作流过程定义语言，增加了支持模板描述的机制。实际应用的结果表明，该方法和现有的工作流过程定义方法相比，显著提高了模型描述能力，使得过程模型具有了较强的可重用性和可扩展性，并具备了一定的动态变更能力。

基于CMMI的软件风险管理

王天青潘金贵

计算机科学. 2005, 32 (2): 140-141.

摘要 ( 70 )

PDF(149KB) ( 544 )

相关文章 | 多维度评价

大型软件项目在开发过程中经常会伴随一些风险，而这些风险往往会对项目造成不利的影响，因此需要对风险进行管理。在CMMI模型中，在严格定义级给出了一个软件风险管理的过程域，本文介绍的软件风险管理实现就是基于这个规范的。该实现把软件风险管理分成五个步骤：风险识别、风险评估、风险计划、风险跟踪和风险控制，进而对风险进行全面管理。

高性能数值软件包设计方案研究

谢立刚姚继锋陈玉荣

计算机科学. 2005, 32 (2): 142-146.

摘要 ( 77 )

PDF(288KB) ( 404 )

相关文章 | 多维度评价

本文主要关注于高性能数值软件包的设计方案研完。在指出优秀数值软件包的几个重要特征之后，阐明了面向对象技术的引入对于设计灵活易用的数值软件包的重要意义。本文尤其着重于分析阐述基于分布式并行计算的高性能数值软件包的设计考虑．从综合的角度提出了一套框架性的设计方案。

实时交互的远程学习原型系统

钟艳如赵新有

计算机科学. 2005, 32 (2): 147-149.

摘要 ( 73 )

PDF(173KB) ( 260 )

相关文章 | 多维度评价

发展远程教育的最大障碍就是缺乏实时交互性。本文通过把音频、视频及Seminar三者结合在一起，提出一种实时交互的远程学习系统。不仅节省了学习者的学习时间，而且提高了他们的学习兴趣及学习效率。关键词远程教育。

高效率重写型程序的设计

冯速

计算机科学. 2005, 32 (2): 150-152.

摘要 ( 50 )

PDF(140KB) ( 272 )

相关文章 | 多维度评价

本文考虑如何设计高效率(即重写步数较少的)重写型程序。文中以计算Fibonacci数列的程序为例．比较具有相同功能的重写型程序，展示编写高效率重写型程序的可能性。介绍利用动态项重写计算编写高效率重写型程序的直观、简洁的方法。其中．动态项重写计算是项重写系统的元计算模型，其计算同样基于项重写。

小卫星星务综合模拟测试系统

朱智林左天军王竹平陈平

计算机科学. 2005, 32 (2): 153-155.

摘要 ( 56 )

PDF(152KB) ( 372 )

相关文章 | 多维度评价

本文分析了小卫星星务综合模拟测试系统的特点和性能，借助模拟测试系统的硬件结构，给出了动态的请求／应答关系并且讨论了监测数据信号的定义和解决方法。通过小卫星，介绍了该方法的实现且证明了其有效性。

一种基于CBD的软件测试方法

曹严元张为群

计算机科学. 2005, 32 (2): 156-158.

摘要 ( 54 )

PDF(162KB) ( 307 )

相关文章 | 多维度评价

基于构件的开发方法(CBD)的提出和大量应用，对传统的测试技术提出了新的挑战。本文通过对CBD方法及特点的研完，提出了CBD软件的测试样式，通过构件规格说明构架和构件交互图对构件间交互关系建模，并在此基础上给出了构件软件系统的测试技术和方法。

计算机安全中的无干扰模型

周伟尹青郭金庚

计算机科学. 2005, 32 (2): 159-165.

摘要 ( 165 )

PDF(357KB) ( 607 )

相关文章 | 多维度评价

与基于访问控制的形式安全模型相比，基于信息流的安全模型对于定义什么是安全来说更为本质，自提出信息流的无干扰概念以来，信息流模型成为安全研完的中心之一，并提出了多种无干扰信息流模型。本文基于进程代数框架研完这些模型，并给出了一些新的结果和证明。

密码体制的量子算法分析

吕欣冯登国

计算机科学. 2005, 32 (2): 166-168.

摘要 ( 80 )

PDF(153KB) ( 555 )

相关文章 | 多维度评价

很多快速量子算法都可以归结为隐子群问题的讨论，本文回顾了隐子群问题量子算法的基本思想，分析了群上量子算法的优越性。分析了可以归结为隐子群问题的公钥密码体制，描述了求解椭圆曲线上离散对数问题的量子算法，讨论了隐子群问题量子算法的局限性。

一种新的访问控制模型——TBPM-RBAC

王瑜卿斯汉

计算机科学. 2005, 32 (2): 169-172.

摘要 ( 85 )

PDF(224KB) ( 436 )

相关文章 | 多维度评价

基于角色的访问控制RBAC(role—based access control)能够降低访问控制管理工作的复杂性，但是要在RBAC申高效合理地为角色配置权限仍然具有一定的难度，而且RBAC不适合处理存在依赖和时序关系的访问控制。本文通过在RBAC中引入任务机制解决以上两点困难，即权限被授予任务，任务被授予角色，角色只能使用它正在执行的任务所允许的权限。提出了TBPM-RBAC(task—based permissions management in RBAC)模型，给出了模型的定义，对模型进行了分析并给出

汇编嵌入式软件程序流程图自动生成的研究

汪文勇王学东向渝唐科刘利枚

计算机科学. 2005, 32 (2): 173-175.

摘要 ( 116 )

PDF(194KB) ( 317 )

相关文章 | 多维度评价

程序流程图的自动生成是软件结构分析及软件测试的基础。为实现汇编嵌入式软件程序流程图的自动生成，本文首先分析汇编嵌入式软件的特征，将汇编指令划分为5种典型类型，分别定义其单链表存储结构，给出链表生成算法。在此基础上，给出汇编嵌入式软件程序流程图自动生成算法。最后，对算法的时问复杂度进行了分析。

命题对象的空间逻辑运算模型

毛明毅何华灿陈志成

计算机科学. 2005, 32 (2): 176-179.

摘要 ( 66 )

PDF(217KB) ( 327 )

相关文章 | 多维度评价

在现有逻辑系统中，各连接词的运算模型都可以归结为某些“代数算子”，其共同特征是仅考虑了命题所描述集合的代数测度大小，而没有考虑它们在几何空间中的位置关系。文章以“空间位置相关性”为中心，提出了“摸天花板问题”，分析了逻辑运算中存在的几何位置相关性。在“命题对象”、“真位向量”、“空间图像”等概念的基础上，提出了命题对象的空间逻辑运算模型，并结合格分维理论给出了在几何图像中的具体应用形式。本文工作拓展了泛逻辑学中广义相关性的含义，为连接词的运算形式提供了一种新的模型。

直觉模糊集时态逻辑算子及扩展运算性质

雷英杰王宝树

计算机科学. 2005, 32 (2): 180-181.

摘要 ( 62 )

PDF(127KB) ( 258 )

相关文章 | 多维度评价

首先在考察Atanassov直觉模糊集的基本运算的基础上．引入两个典型的作用于直觉模糊集的时态逻辑算子“□(always)”和“◇(sometimes)”，重点研究了直觉模糊集在直觉模糊时态逻辑算子作用下的若干扩展运算及其性质。最后，将这些运算性质归结为一组定理，并给出详细的证明过程。

Bayesian网的独立性推广模型

彭青松张佑生汪荣贵

计算机科学. 2005, 32 (2): 182-184.

摘要 ( 61 )

PDF(182KB) ( 256 )

相关文章 | 多维度评价

要本文提出了Bayesian同的独立性推广模型。Bayesian同能够表示变量之间概率影响关系与条件独立性，但不能表示因果独立性。虽然Noisy OR模型能够较好地表示变量之问的因果独立性，但该模型又因只能表示因果独立性而具有很大的局限性。本文提出的独立性推广模型解决了Bayesian同因果独立性表示能力不足的问题，扩展了Bayesian同与Noisy OR模型的表示范围，同时简化了Bayesian同的条件概率表，并且新模型更能够反映变量之间的概率影响关系。实验结果表明了该模型的实用性。

知识链模型研究

徐焕良李绪蓉

计算机科学. 2005, 32 (2): 185-187.

摘要 ( 85 )

PDF(206KB) ( 267 )

相关文章 | 多维度评价

知识链定义为有限个知识资源组成的有序集合。从“过程”的观点来看，伴随业务过程而存在的一个流动的“知识过程”，也就是知识链。知识链映射业务过程，支持并主导业务过程，更提升、激励业务过程。知识链模型包含了知识资源生产过程和知识资源应用过程。前者定义为知识生产链，其操作包括知识资源的挖掘、表示和存储。后者定义为知识应用链，其操作包括知识资源的识别和选用、执行、评估。一个完备、健壮的知识链模型可以通过定义知识链单元的特性参数来评估，以保证知识链操作过程的高效率、低成本和负荷平衡。

供应链系统异构知识集成方法研究

徐琪 RobinQiu

计算机科学. 2005, 32 (2): 188-192.

摘要 ( 89 )

PDF(273KB) ( 367 )

相关文章 | 多维度评价

供应链系统流动着大量的异构信息和知识．为了有效地利用现有知识对供应链进行优化管理和运作．供应链不仅要实现信息系统的集成而且需要实现知识集成。本文运用领域本体论(Ontology)、多Agent等技术研究供应链系统异构知识集成的方法．应用资源描述框架模式(RDFS)作为信息和知识的核心转换技术．实现异构知识的转换和集成，为供应链系统异构知识集成提供一个切实可行的技术解决方案。该方案可以保证全程信息数据和知识的正确性、及时性和完整性，进一步促使信息流为决策人员提供及时、可靠和科学的有效决策支持。

基于关键词抽取的hypertext自动建立方法

路绪清唐杰李涓子蔡月茹

计算机科学. 2005, 32 (2): 193-195.

摘要 ( 68 )

PDF(220KB) ( 242 )

相关文章 | 多维度评价

随着Internet的发展，电子文档的数量成指数级增长，大量的文档之间存在密切的联系。将这些电子文档发布到WWW上需要有效地建立这些大量文档之间的链接，从而为用户提供一个更加友好的导航界面。对于以超文拳形式产生出来的大量文档，用手工的方式为其指定超链接，不但需要领域知识，而且将是一项极为繁重的劳动。因此，实现超文本建立的自动化是一项很有意义的工作。目前的各种超链建立方法存在着自动化程度不高和准确率低的缺点。本文基于关键词自动抽取提出了一种为文档自动建立超链接的方法。实验证明该方法取得了较好的效果。

基于耦合映像格子模型的时空混沌二值序列及其性能分析

彭军李学明张伟廖晓峰 EijiOkamoto

计算机科学. 2005, 32 (2): 196-198.

摘要 ( 76 )

PDF(207KB) ( 322 )

相关文章 | 多维度评价

基于耦合映像格子模型。给出了一种时空混沌二值序列的产生方法，并对其性能进行了详细分析。结果表明，该种时空混沌二值序列具有十分理想的随机性和相关性。此外，混沌序列容易产生和控制，具有线性复杂度高、对参数敏感等特性，因此特别适合于在保密通信和密码学等诸多领域中应用。

基于MAS的企业GDSS设计

李刚仲元昌韩逢庆王越

计算机科学. 2005, 32 (2): 199-201.

摘要 ( 68 )

PDF(166KB) ( 324 )

相关文章 | 多维度评价

由于企业决策支持系统GDSS的分布性和协同性，采用基于多层次MAS的企业GDSS可提高决策效率、缩短决策周期。本文讨论了以多重层次结构设计的系统的通信方式、总体结构、功能划分、动态特性，设计了基于多个agent群的企业GDSS结构模型，分析了各agent群的结构和实现，最后给出了系统的实现过程。

软件系统层次的数据挖掘方法

钟智尹云飞张师超

计算机科学. 2005, 32 (2): 202-205.

摘要 ( 65 )

PDF(229KB) ( 257 )

相关文章 | 多维度评价

论文在软件数据中挖掘聚类模式的研究基础上，进一步提出了在软件层次上的数据挖掘方法。对于解决软件工程中项目代价的估算和评测具有重要的参考价值。首先收集不同类型软件数据，接着根据Halstead软件科学从它们中间抽取不同的特征，以此来标识不同的软件；然后将这些软件归为不同的类别，对于同一类中的软件可以认为它们具有相似的软件代价或相似的结构，可以用于病毒特征检测和预测，对于在不同类中的软件可以发现二者存在差异的决定“相异因素”；最后给出了对5414个实际软件系统挖掘的实验结果。结果表明这种软件层次的数据挖掘方法

PFTM：一种基于投影的频繁子树挖掘算法

杨沛郑启伦彭宏李颖基

计算机科学. 2005, 32 (2): 206-209.

摘要 ( 117 )

PDF(612KB) ( 344 )

相关文章 | 多维度评价

频繁子树在Web挖掘、XML文档分析、生物信息处理等领域有着重要的应用。提出了一种新的基于投影的频繁子树挖掘算法(PFTM)，通过对数据库和候选节点集进行投影，并采用递推式候选节点集更新技术来有效地压缩搜索空间。以高效地从森林中挖掘出频繁子树。PFTM不需要产生候选子树。性能对比实验表明，PFTM是有效和可扩展的，而在算法效率上，PFTM要比FREQT平均高出40％左右。

一种基于事务树的快速频繁项集挖掘与更新算法

阮幼林李庆华杨世达

计算机科学. 2005, 32 (2): 210-212.

摘要 ( 64 )

PDF(146KB) ( 252 )

相关文章 | 多维度评价

挖掘频繁项集是数据挖掘研究中的关键问题。基于FP-Tree的挖掘及其更新算法无需生成候选项目集因而效率明显高于Aprbri类算法，但FP-Tree结构存在动态维护复杂、必须两次扫描数据库等缺点。因此，本文提出一种基于事务树Trans-Tree的新算法。该算法通过引入一种新结构一事务树Trans-Tree来压缩存放数据的相关信息且易于更新，挖掘算法只需对数据库扫描一次。而且更新算法只需对新增数据扫描一次，无需扫描原始数据，从而大大提高了频繁项集的挖掘和维护效率。

基于压缩的AABB树的碰撞检测算法

潘振宽李建波

计算机科学. 2005, 32 (2): 213-215.

摘要 ( 89 )

PDF(148KB) ( 447 )

相关文章 | 多维度评价

用于碰撞检测的AABB(axis-aligned bounding boxes)方法与其它基于包围盒的方法相比具有相交测试快速和适合变形体碰撞检测的特点。针对工程中大量存在的刚体和变形碰撞情形，本文基于压缩方法对AABB方法进行了改进。通过从空间的角度来对传统的AABB进行优化．从而节省了大量的存储空间，提高了变性体的碰撞检测效率。

一类基于局部信息的特征描述子的图像检索

黄朝兵余胜生周敬利

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

摘要 ( 63 )

PDF(218KB) ( 263 )

相关文章 | 多维度评价

基于内容的图像检索准确性大大依赖于低层可视特征的描述。本文提出一类创新的彩色图像空间描述子、纹理描述子、边缘描述子和颜色描述子，空间描述子由局部均值直方图表示，纹理描述子由局部方向差单元直方图表示，边缘描述子由局部极大一极小差直方图表示，颜色描述子由量化HSV模型颜色直方图表示。这四种描述子被用作特征索引，它们对彩色图像，尤其是对具有相对规则的结构或纹理特征的图像具有很强的描述力。实验结果表明，用这种特征索引来检索图像，可以得到比其它基于颜色一空间方法高得多的精确度。

基于Markov四叉树模型的无监督图像分割

郭小卫田铮林伟

计算机科学. 2005, 32 (2): 219-223.

摘要 ( 71 )

PDF(270KB) ( 278 )

相关文章 | 多维度评价

本文提出了一种基于分布特征的多尺度无监督图像分割方法。通过对多尺度图像数据在每个尺度上进行Gauss子集聚类，并将每个像素的邻域内的Gauss子集类别标记作为特征向量，利用多尺度Markov模型进行二次聚类，从而实现无监督图像分割。与其它基于多尺度Markov模型的无监督分割方法和传统动态聚类方法相比，该方法既无需假定每类的分布形式，又能较好地反映数据的概率结构。对合成图像与SAR图像的实验结果表明，该方法的分割精度接近于有监督的H—MPM和H—SMAP方法。

手绘草图识别中的相关反馈方法

王强孙正兴李曼舞蒋维

计算机科学. 2005, 32 (2): 224-228.

摘要 ( 81 )

PDF(257KB) ( 326 )

相关文章 | 多维度评价

手绘草图是人类思维外化和表达设计意图的有效工具之一，手绘草图的模糊性和用户适应性问题是草图识别中的关键问题。本文提出了将相关反馈机制引入到手绘草图识别中以捕捉用户意图的方法，该方法以抽取手绘草图的向量化特征为基础，首先利用基于图形特征的相似度计算，给出手绘草图候选识别结果集，然后借助用户对识别结果的相关性评价，通过逐渐调整图形构成特征的权重来捕捉用户输入意图，并提高识别效果。实验表明本文所提出的方法具有很好的效果。

基于小波变换与局部能量的多聚焦图像融合

苗启广王宝树

计算机科学. 2005, 32 (2): 229-232.

摘要 ( 63 )

PDF(236KB) ( 326 )

相关文章 | 多维度评价

本文提出了一种基于区域局部能量的不同聚焦点图像融合方法。本文利用小波分解，将图像分解为低频部分和高频部分，然后选择合适的比例，削弱低频部分，减小低频部分在整个图像能量中所占的比例，相对增大高频部分的比例，再重构图像。对于重构的图像，在空域中使用区域局部能量大小判定的方法，对各幅图像中的目标进行判断，并选择其中的清晰部分生成融合图像。该方法不但适用于多聚焦图像融合，而且还可以应用于特性类似的医学图像的融合。实验结果表明，该方法可以提取出多聚焦图像中的清晰目标，生成的融合图像效果优于Laplacian塔型方法