计算机科学

语音用户界面研究进展

韩勇须德戴国忠

计算机科学. 2004, 31 (6): 1-4.

摘要 ( 69 )

PDF(300KB) ( 570 )

相关文章 | 多维度评价

语音是人们日常生活中高效、自然的交流方式之一。但是直到目前为止，语音交互方式在计算机技术上的应用还是比较少的。近年来，随着Ubiquitous Computing和便携式计算机的出现，再次对语音用户界面的应用提出了迫切的需求。而且语音识别、合成技术的发展也为语音交互界面的实现提供了技术基础。本文综合参考了国内外语音界面的一些应用系统实例以及语音这种独特的交流媒体的优点和局限性，总结了语音用户界面的适用环境和设计指导原则，并提出了对语音界面的发展展望。

心理常识概念的表示、获取和分析

田雯曹存根王海涛

计算机科学. 2004, 31 (6): 5-12.

摘要 ( 81 )

PDF(462KB) ( 351 )

相关文章 | 多维度评价

常识知识是一类重要的人类知识，对自然语言分析、机器智能研究和自动推理研完等都有重要的意义。本文围绕心理常识，主要讨论与心理相关的常识概念的表示、获取和分析的方法。针对现有的概念模型中的概念主要由手工获取．缺乏自动方法，使得概念获取的非冗余性、一致性不能得到保证的问题，本文提出了获取心理常识概念的基本策略：依据心理学中的心理范畴手工获取心理常识的基础概念及概念间关系；根据属性的心理特征手工得到心理属性和属性问关系；以心理常识基础概念和心理常识属性为语义成分，通过“子类生成规则”自动完成获取和组织心理常识概念

基于构件的中间件技术J2EE

窦蕾袁臻刘冬梅

计算机科学. 2004, 31 (6): 13-16.

摘要 ( 86 )

PDF(283KB) ( 436 )

相关文章 | 多维度评价

近年来，随着网络技术及应用的发展．对中间件的需求也日益增多。虽然有很多成熟的分布式中间件技术，例如CORBA，但其过于复杂而且存在缺陷，很难满足企业应用的需求。因此，基于构件的中间件技术J2EE应运而生。本文首先从企业对分布式中间件的发展需求说起。介绍J2EE产生的背景及其总体框架。其次，本文重点分析J2EE的核心技术，服务器端构件技术EJB．阐述构件技术的基本理念和主要设计思想。最后本文比较了当前几种主流的基于构件的中间件技术：J2EE、CORBA、Microsoft．Net。

GDB——一种数据库网格系统

冯建新于浩海王光兴

计算机科学. 2004, 31 (6): 17-20.

摘要 ( 86 )

PDF(169KB) ( 342 )

相关文章 | 多维度评价

网格计算技术将资源有效整合，从而提供统一且灵活的资源共享，但目前主要应用于科学研究，不适于民用和商业应用。通过研究网格计算的重要内容——数据库共享技术，本文提出了数据库网格系统GDB。资源代理、中间件和XML技术的采用，使GDB能够有效整合数据库资源，解决民用和商业领域应用中所遇到的问题。实跋表明，GDB有着广阔的应用前景。

虚拟组织中的一种信任管理机制

王惠芳郭中郭金庚黄永忠陈海勇

计算机科学. 2004, 31 (6): 21-24.

摘要 ( 84 )

PDF(259KB) ( 318 )

相关文章 | 多维度评价

灵活、安全地共享虚拟组织内的资源是虚拟组织的目的之一，也是需要研究的重要课题之一。本文提出了一种新的授权模型，即基于角色证书和策略的信任管理机制，来解决虚拟组织中的资源共享问题，并给出了原形系统。

一种IP／DWDM光因特网中的QoS组播路由算法

王兴伟程辉李佳郑露滴黄敏

计算机科学. 2004, 31 (6): 25-28.

摘要 ( 108 )

PDF(200KB) ( 316 )

相关文章 | 多维度评价

本文讨论了一种IP／DWDM光因特同的QoS组播路由算法，在已知QoS组播请求和所需时间延迟的前提下．提出了一种可以找到基于柔性QoS的、次优的路由树的算法。此外．我们对QoS满意程度一术语作了定义。所提出的算法在多种群并行遗传模拟退火算法基础上构建组播树，并根据波长图为树分配波长。此算法将路由选择和波长分配一体化，路由选择的目的在于找到一个次优组播树，波长分配的目的则是通过使波长覆盖数量最小来最小化组播树的延迟。因此，组播树的估价和QoS用户满意程度两方面都接近最优。该算法同时考虑了负载均衡。仿真结果表

Ad Hoc无线网络公平调度算法研究

马涛张信明陈国良王青山

计算机科学. 2004, 31 (6): 29-32.

摘要 ( 95 )

PDF(257KB) ( 476 )

相关文章 | 多维度评价

随着个人通信的日益增长，支持诸如移动会议、移动网络以及自然灾难营救的ad hoc无线网络逐渐从军用扩大到商用等诸多领域。商用ad hoc无线同使用一种称为“付贾使用”(pay—for—use)的模式，于是在用户间定义合理的公平机制则变得非常重要。公平机制的核心问题是公平调度算法问题。但是在ad hoc无线网中，公平分配带宽和最大化利用资源本质上是冲突的，这为公平调度算法的设计带来了巨大的挑战。本文系统地研究了著名的公平性标准以及两类公平调度机制。通过模拟和分析，我们讨论了这两类公平调度机制中存在的问题。此

基于模糊逻辑的拥塞控制研究

徐跃东关治洪王华

计算机科学. 2004, 31 (6): 33-35.

摘要 ( 89 )

PDF(179KB) ( 332 )

相关文章 | 多维度评价

本文针对Internet拥塞控制提出一种新的基于模糊逻辑的主动队列管理策略。队列的状态转换成为语言变量输入，通过依据经验定义的模糊推理计算数据包的丢弃率。仿真结果表明采用模糊逻辑的主动队列管理策略具有良好的性能和鲁棒性。

实现ATM网中各种承载业务控制

鲁瑞华雷开友

计算机科学. 2004, 31 (6): 36-39.

摘要 ( 72 )

PDF(225KB) ( 335 )

相关文章 | 多维度评价

本文描述了ATM信元结构，异步时分复用，适配层的功能以及服务种类，详细讨论了GFR业务类型并与其他业务类型作比较，显示了其在ATM网络中的业务控制。

Web服务器负荷状态检测方法研究

王田杨士中

计算机科学. 2004, 31 (6): 40-43.

摘要 ( 93 )

PDF(216KB) ( 313 )

相关文章 | 多维度评价

本文对Web服务器的负荷状态检测方法进行了深入研究。在基于对系统负荷状态与内部资源关系的研究基础上，对Web服务器的负荷特性进行了分析，给出了负荷状态检测参数、检测模型及基于多参数数据融合的检测方法，并通过实验数据对其有效性进行了分析。

基于自回归技术的自适应服务质量测量方法

赵成栋

计算机科学. 2004, 31 (6): 44-47.

摘要 ( 87 )

PDF(201KB) ( 329 )

相关文章 | 多维度评价

SLA管理已经成为服务商和用户关心的重要内容。在进行服务质量管理时，服务质量的测量是其他管理功能的基础。本文从采样的角度分析了服务质量测量和传统网络测量的异同点，给出了服务质量采样频率的理论下限。在讨论已有方法不足的基础上，提出了基于预测的自适应采样算法，该算法在采样区间内随机确定采样的具体时间点，并结合自回归预测方法对即将采样的结果进行预测，在此基础上以一定的概率接受预测结果，放弃对准确预测时间点的采样，从而减少了采样次数，降低了对服务的影响。最后的实验结果说明了算法的有效性。

基于UML的SDH网管系统的分析与设计

孙知信王汝传王绍棣

计算机科学. 2004, 31 (6): 48-51.

摘要 ( 86 )

PDF(248KB) ( 387 )

相关文章 | 多维度评价

网络通信在当今高速发展的信息技术中占据着越来越重要的地位，作为其截体的世界上最大的通信网络——电信网的传输机制已从准同步数字序列(PDH)转向了同步数字序列(SDH)。SDH网络的各项强大的功能和优越的性能要通过先进的管理系统或管理网络才能体现出来。本文首先论述了系统的需求要点。基于统一建模语言给出了用例图描述的分析结果，并对相应的场景进行了分析；接着利用对象建模方法及其它一些主流的面向对象的技术对系统的建模进行了详细的分析与设计，包括从静态的类的结构分析和动态的类行为两方面进行了深入的研究，最后设计了系

一种基于非对称结构的虚拟存储网络的实现

刘朝斌谢长生黄建忠

计算机科学. 2004, 31 (6): 52-53.

摘要 ( 109 )

PDF(155KB) ( 319 )

相关文章 | 多维度评价

全球范围内数据量的飞速增长，对存储系统提出了更高的要求，网络存储越来越受到人们的关注。目前流行的网络存储技术是NAS和SAN。NAS和SAN各有自己的体系架构、互联协议、文件组织和管理方式等。而将这两种技术融合到一个统一的结构框架下已经成为目前人们关注的热点问题。本文利用存储虚拟化技术，采用非对称结构模型，实现了一种融合NAS和SAN的虚拟存储网络。

Web服务合成研究综述

石静丁长明赵泽宇薛向阳

计算机科学. 2004, 31 (6): 54-58.

摘要 ( 106 )

PDF(284KB) ( 378 )

相关文章 | 多维度评价

Web服务的发展将Web应用从信息交互领域扩展到了服务交互领域。Web服务诸多的特性使得它非常适合于商务应用集成，因此工业界和学术界都希望能够通过合成多个Web服务从而获得增值的新服务。在服务合成的过程中，不仅需要语义清晰的服务描述语言和直观的建模方法，并且应该能够动态地发现构件服务，顺利地执行复合服务以及对其进行事务处理。此外对Web服务合成的分析评估也将有助于理解复合服务中每一项活动的行为，从而促使不断改进服务合成技术。

音频信息检索综述

王清亮常青薛向阳

计算机科学. 2004, 31 (6): 59-63.

摘要 ( 91 )

PDF(296KB) ( 970 )

相关文章 | 多维度评价

随着多媒体和Internet技术的广泛应用和深入普及，多媒体数据的数量正在飞速增长，音频数据作为多媒体数据的重要组成部分，其信息量也在不断膨胀。如何有效的对音频信息进行检索成为现代信息检索的一个重要的研究领域。然而，音频数据同传统的文本数据不同，文本检索中的相关技术不能简单地应用到音频信息检索中，因为后者往往是基于语义的，所以不可避免地要用到音频数据的特征提取和模式匹配等技术。本文将对音频数据检索相关技术和系统做一综述性的介绍。

适于Internet新闻文本实时分类的动态向量空间模型DVSM

张晓辉李莹常桂然赵宏

计算机科学. 2004, 31 (6): 64-67.

摘要 ( 99 )

PDF(193KB) ( 353 )

相关文章 | 多维度评价

传统向量空间模型(VSM)特征间无关联，且不能动态增量训练，不适合主题和焦点实时变化的Internet新闻信息，为此提出了一种改进的文本实时分类模型——动态向量空间模型(DVSM)。通过对VSM的特征提取策略进行改进，提出了特征聚合和增量训练算法。通过将对分类有相同贡献的文本特征词聚合，使用它们共同的分类贡献向量特征模式作为文本特征向量的基本维；采用增量动态训练改变对分类贡献已改变的特征词在文本向量的特征模式中的位置，适应Internet新闻信息的实时特性。使用静态训练集和动态训练集进行的DVSM与传统V

基于XML相关规范集的动态Web Service框架系统

魏兵海

计算机科学. 2004, 31 (6): 68-71.

摘要 ( 109 )

PDF(220KB) ( 312 )

相关文章 | 多维度评价

介绍7XML相关规范集：XML—SIG、XML—Encryption、XKMS、SOAP、WSDL、UDDI，分析7各规范的技术特性和工作原理。基于XML相关规范技术，设计了一个可扩展动态Web Service框架系统X—WebServS，包括构建于底层PKI公钥基础设施之上的XKMS安全模块组件和基于服务定向模型SOA的服务发布、查找和绑定的Web Service动态交互模块组件。通过X—WebServS的体系结构和工作流程剖析，探讨了基于XML相关规范的动态Web Service实现技术。

优化的XML查询匹配：基于B^＋-Tree索引的包含段的结构化联接算法

樊小华庞引明张谧汪卫陈金海施伯乐

计算机科学. 2004, 31 (6): 72-75.

摘要 ( 76 )

PDF(197KB) ( 294 )

相关文章 | 多维度评价

高效的结构化联接方法是XML查询的关键。本文提出一种新颖的结构化联接方法，使用了包含段结构化XML文档树，并且使用了B^+-Tree索引技术支持该新方法，从而在基于栈的结构化联接过程中得以忽略若干时空耗费，提高处理效率。

分布式空间数据库中基于事务的客户端高速缓存技术研究

涂小朋汪林林

计算机科学. 2004, 31 (6): 76-78.

摘要 ( 84 )

PDF(201KB) ( 311 )

相关文章 | 多维度评价

空间数据通过Intranet或Internet从服务器传送给客户端，由于涉及到大量的空间数据，繁重的网络传输可能成为系统的瓶颈。客户端高速缓存技术能较好的解决这个问题。论文提出了客户端缓冲技术应用在分布式空间数据系统中的体系结构；研究了基于重叠区域的客户端缓冲技术在分布式空间数据库中具体应用。并给出适合空间数据特点的缓冲置换算法；同时讨论了高速缓存技术相关高速缓冲一致性问题。

基于扩展有限状态机的诱骗服务器关键技术研究

陈云芳王汝传杨学刚

计算机科学. 2004, 31 (6): 79-81.

摘要 ( 84 )

PDF(161KB) ( 431 )

相关文章 | 多维度评价

作为防火墙和入侵检测的有效补充，诱骗服务器成为网络安全的越来越重要的部分，本文在对当前诱骗服务器的研究水平进行了仔细分析的基础之上，提出了使用有限状态机理论来构建诱骗服务器的方案，并对其中的关键技术做了详细阐述。

支持企业业务柔性集成的服务网格技术的研究

申德荣于戈赵志滨董晓梅

计算机科学. 2004, 31 (6): 82-85.

摘要 ( 78 )

PDF(237KB) ( 302 )

相关文章 | 多维度评价

基于Web服务的服务同格，借助于共享资源，有效地为合作伙伴的商务合作提供了可靠的保证，是当今网络经济模式的发展趋势。基于已有的同格的研究经验，讨论了服务同格的优势，提出了四层的服务同格的使能系统。文中概要地介绍了当今的IT技术和使能环境支持，详细地描述了实现服务同格的关键技术，主要包括资源目录管理、服务最佳发现、服务质量、领域知识管理、服务合成协调、数据资源集成、异构解决和服务审计与安全管理。最后，概括了服务网格的社会效益。

识别和抽取Web列表中的关系信息

吴扬扬陈锻生

计算机科学. 2004, 31 (6): 86-88.

摘要 ( 98 )

相关文章 | 多维度评价

有大量的关系信息存在于各种各样的Web列表中，但使用目前的搜索引擎却难以找到它们。本文提出了一种基于语义和数据特征的方法，用于识别和抽取Web列表中的关系信息。我们首先建立一个模型，描述所要的关系信息，然后寻找Web上的列表并估计它们是否包含所要的关系信息，当估计值足够大时．则从中抽取所要的关系信息。

普适计算环境中基于移动Agent的数据访问原型

张向刚张云勇刘锦德

计算机科学. 2004, 31 (6): 89-91.

摘要 ( 85 )

PDF(156KB) ( 321 )

相关文章 | 多维度评价

普适计算^**(pervasive computing)不仅包含无处不在的计算设备和网络连接，更重要的是需要实现无处不在的数据访问。如何使用户及时、可靠、安全、方便地获取信息是这种计算环境的目的，同时也是该环境中数据管理的核心和目标。本文以移动agent为基础，实现了适合于普适计算环境的数据获取原型。重点阐述了实现原理、原型体系结构、工作流程，并通过实验数据以体现其优越性。

面向企业信息基础设施集成的商务智能系统框架

倪旻徐晓飞邓胜春

计算机科学. 2004, 31 (6): 92-95.

摘要 ( 86 )

PDF(217KB) ( 359 )

相关文章 | 多维度评价

商务智能系统是多种技术的综合体，提出了面向企业信息基础设施集成的闭环商务智能系统框架，商务智能系统的生命周期和信息、知识在其中的作用。以及通过现有的企业信息基础设施构建商务智能系统，通过商务智能系统达到持续优化的方法，使用包含企业本体论、商务过程模型、元数据仓库的企业元模型和两级映射模式对集成过程中的语义一致性进行控制。

网格模式下的电子商务

钟伟森李吉桂

计算机科学. 2004, 31 (6): 96-98.

摘要 ( 99 )

PDF(153KB) ( 302 )

相关文章 | 多维度评价

针对目前电子商务运用中所存在的问题，结合当今迅猛发展的网格技术，提出了网格模式下的电子商务模型，对其体系结构和分层结构进行了详细的阐述，通过与传统电子商务的比较，对其功能和特点进行具体的介绍，并展望了电子商务未来发展趋势。

企业信息资源整合的目录服务解决方案

傅瑞军郑东

计算机科学. 2004, 31 (6): 99-101.

摘要 ( 92 )

PDF(156KB) ( 315 )

相关文章 | 多维度评价

大型企业的信息系统经多年建设，逐步形成了自己特色的若干信息应用系统，但由于企业应用平台的复杂性、应用的复杂性、组织的复杂性，使集中管理和整合上难度加大。把目录系统作为基础信息平台引入到企业的信息资源管理和整合中来，可以较好地实现整个企业信息系统各类资源的统一管理，加速信息系统的整合。

用SQUID架构本地信息代理服务器

罗忠石刘虹霞

计算机科学. 2004, 31 (6): 101-102.

摘要 ( 86 )

PDF(157KB) ( 296 )

相关文章 | 多维度评价

仿照电视广播里的插播模式，我们设想了一个活动的代理中心结构作为支持本地信息高效传送的手段，当网页通过与内容服务器协作的动态代理服务器被取回的时候，当地信息将基于需要灵活地被插入到网页中。本文介绍了用Squid—based架构的代理服务器上的信息传送的设计和各种功能，这种方案的操作对于网页客户与内容提供商来说完全透明的，是切实可行的。

一种基于互联网智能元搜索引擎的研究

包骏杰马燕

计算机科学. 2004, 31 (6): 103-105.

摘要 ( 79 )

PDF(144KB) ( 378 )

相关文章 | 多维度评价

WWW的迅速发展，使得开发新型的搜索引擎成为Web发展过程中亟待解决的问题之一。结合信息检索领域和人工智能领域最新的发展状况，本文提出了一种全新的解决方案——互联网智能元搜索引擎。文章在回顾已有的搜索引擎技术的基础上．首先提出了智能元搜索引擎的基本框架，之后详细介绍了实现的关键技术。这些技术包括：机器学习中的文本学习技术，中文文本表示技术，信息过滤技术，个性化用户建模技术等。

基于ASP．NET技术的网上论坛的设计

苏学花杨寿保王丽侠

计算机科学. 2004, 31 (6): 106-108.

摘要 ( 74 )

PDF(155KB) ( 378 )

相关文章 | 多维度评价

介绍了．NET框架的体系结构、．NET程序的执行架构以及ASP．NET的优势，论述了基于ASP．NET的网上论坛的设计方法以及实现该论坛的关键技术。

ASP．NET在基于B／S结构的网络教育资源库系统中应用的研究及其实现

杨丹符云清

计算机科学. 2004, 31 (6): 109-111.

摘要 ( 76 )

PDF(168KB) ( 294 )

相关文章 | 多维度评价

本文探讨了ASP．NET在基于B／S结构的教育资源库中的应用，提出了基本结构和设计思想，并说明了其中主要技术的实现。

安全政策格及一个格的修正

石文昌

计算机科学. 2004, 31 (6): 112-114.

摘要 ( 88 )

PDF(160KB) ( 301 )

相关文章 | 多维度评价

对安全政策灵活性的支持是现代安全操作系统追求的重要目标，安全政策格为安全政策灵活性的研究提供了一个很好的手段。本文通过分析DTOS项目的研究成果讨论安全政策格的基本思想，介绍DTOS项目中设计的一个安全政策格，并针对该安全政策格中存在的问题给出一个修正结果。

基于Linux的电信高可用软件的设计与实现

左天军左圆圆陈平

计算机科学. 2004, 31 (6): 115-117.

摘要 ( 94 )

PDF(168KB) ( 275 )

相关文章 | 多维度评价

许多关键业务应用要求系统能够持续稳定地运行以便为用户提供不问断的服务。高可用系统通过配置冗余硬件和故障监控处理软件，可以大幅度地提高系统的可用性。本文设计实现了一个基于Motorola CPX8216和HA-Linux的电信高可用应用软件。实验证明该软件能够自动检测系统控制节点和服务进程的错误、失效，并且当发生这种情况时能够自动将系统控制和服务切换到备用节点。文中最后指出了需要进一步研究的问题。

基于进程组构件模型的软件体系结构设计方法

褚华陈平

计算机科学. 2004, 31 (6): 118-119.

摘要 ( 79 )

PDF(159KB) ( 291 )

相关文章 | 多维度评价

软件工程的有效性在于进行体系化或系统化的设计，软件体系结构的好坏对系统的成败起着举足轻重的作用。本文针对并发系统，结合面向对象、构件以及软件复用的思想，提出了一种基于进程组构件模型的软件体系结构设计方法。最后介绍了采用该方法设计的iCALL系统。

智能卡安全中间件的研究与开发

沈仟佘堃周明天宁显明

计算机科学. 2004, 31 (6): 120-122.

摘要 ( 83 )

PDF(141KB) ( 295 )

相关文章 | 多维度评价

本文介绍了智能卡中间件的关键技术和层次结构模型。在此基础之上结合其在金融领域的实际应用，提出各种层次模型的用例，并详述了层次和用例的服务功能以及屏蔽差异的关键技术。

一种使用OCI的容错CORBA体系结构

黄小炜赵致琢吴文鑫

计算机科学. 2004, 31 (6): 123-126.

摘要 ( 79 )

PDF(191KB) ( 303 )

相关文章 | 多维度评价

本文提出了一种使用OCI的容错CORBA的体系结构。这里，我们使用的OCI在大部分的CORBA ORB中都有提供。我们替换OCI的网络协议，使用组通信系统来实现到对象组的通信。在我们的方法中，不需要对CORBA ORB和应用进行任何修改，或者只需要对应用进行少量的修改。

面向Agent的软件分析和设计方法

向郑涛缪育平鲁东明

计算机科学. 2004, 31 (6): 127-132.

摘要 ( 74 )

PDF(312KB) ( 318 )

相关文章 | 多维度评价

在复杂系统的分析、设计、开发过程中，面向Agent的方法在映射现实世界，模拟人认识问题、解决问题的过程等方面具有优势。从描述Agent的概念、分类和体系结构出发，对面向对象和面向Agent的分析设计方法进行了比较．讨论了面向Agent的分析模型及各模型的组成部分，以及面向Agent的分析模型到设计模型的转换，并指出面向Agent的分析设计方法提供了在建模、设计和实现不同级别上复用的基础。以政府公共行政服务系统为例对上述方法进行实例分析。最后得出面向Agent的软件分析和设计将为复杂系统提供新的解决思路的结

程序时序属性的自动测试

马晓东董威王戟齐治昌

计算机科学. 2004, 31 (6): 132-134.

摘要 ( 86 )

PDF(192KB) ( 355 )

相关文章 | 多维度评价

测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中，作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先，作者将一线性时序逻辑公式转换为一个有限状态自动机，然后，管理源代码，以便抽取与线性时序逻辑性质有关的状态序列。最后，用谊信息来模拟状态自动机，并决定程序执行是否满足线性时序逻辑的性质。

Web应用软件的分析和测试

路晓丽葛玮郝克刚

计算机科学. 2004, 31 (6): 135-137.

摘要 ( 88 )

PDF(150KB) ( 329 )

相关文章 | 多维度评价

随着Web应用软件的快速发展，作为保证Web质量和可靠性的重要手段，Web应用软件的分析和测试受到了人们越来越多的重视。本文描述了Web应用软件的RE分析方法，提出了一个Web应用软件测试模型，并讨论了Web应用软件单元测试、集成测试和导航测试的策略和方法。

业务流程管理与集成系统SynchroFLOW的软件体系结构

董云卫楼文晓郝克刚

计算机科学. 2004, 31 (6): 138-140.

摘要 ( 62 )

PDF(229KB) ( 285 )

相关文章 | 多维度评价

信息技术的快速发展和应用改变着企业的商业环境。面对市场竞争越来越激烈，如何提高系统柔性，以支持企业重组和业务流程再遣；如何集成异构系统，对原有系统资源的利用和保护。本文从业务域的角度提出了一种企业应用业务流程管理和集成系统SynchroFLOW的软件体系结构，该体系构架以企业业务需求的抽象与描述为基础，通过对企业应用业务流程、活动功能和活动参与者的信息交换机制的独立的封装，降低业务逻辑、业务数据和业务操作实体三者间的耦合，实现业务流程的柔性管理和异构环境下不同应用的功能集成。这样的系统不但具有较高的柔性和

LU分解递归算法的研究

陈建平

计算机科学. 2004, 31 (6): 141-142.

摘要 ( 211 )

PDF(79KB) ( 458 )

相关文章 | 多维度评价

将递归方法引入稠密线性代数的计算，能产生自动的矩阵分块，使算法适合于当今分级存储高性能计算机的结构，提高运算速度。文中对解线性代数方程组的LU分解递归算法进行了研究，给出了算法的详细推导过程。

电子证据的获取及可靠性关键技术研究

董晓梅王大玲于戈肖珂杨景辉

计算机科学. 2004, 31 (6): 143-145.

摘要 ( 77 )

PDF(217KB) ( 272 )

相关文章 | 多维度评价

电子证据作为一种新的证据形式，逐渐成为新的诉讼证据之一。本文提出了一种结合法学、密码学、计算机网络安全技术、知识发现与人工智能技术来获取电子证据并保证其可靠性的研究方法，包括基于数据挖掘、入侵检测和入侵容忍技术的电子证据的高效获取技术，基于加密和网络公证技术的电子证据的可靠保全技术以及基于数据挖掘技术的电子证据的智能分析技术等。设计了一个智能取证系统Intelligent—Forensic System(IFS)，以解决电子证据的获取、传输、保存、分析、使用和可靠性保证问题。

复合离散对数与安全认证研究

李波邱小平

计算机科学. 2004, 31 (6): 146-148.

摘要 ( 76 )

PDF(142KB) ( 266 )

相关文章 | 多维度评价

本文首先回顾了Girault的认证算法以及Poupard和Stern对这个算法安全性所作的分析，在此基础上研究了基于证据不可分辨性的Girault算法只进行一次迭代也能达到抵抗主动攻击的安全性要求。最后给出了一种盲签名算法，算法以安全的因式分解问题为基础。这个新算法的最大特点就是高效。

基于泛逻辑的分形与混沌逻辑初探

陈志成何华灿毛明毅

计算机科学. 2004, 31 (6): 149-152.

摘要 ( 58 )

PDF(228KB) ( 324 )

相关文章 | 多维度评价

人们对自然的看法正经历着一个根本性的改变，即转向多重性、暂时性和复杂性，混沌学与分形论则是研究此类非线性自然系统的新兴科学。本文分析了分形与混沌的基本特征及其与泛逻辑的相互关系，讨论了建立分形与混沌逻辑的强要性和可能性，并给出了分形逻辑的研究纲要和混沌逻辑的实现途径。文章指出：<1>．分形与混沌逻辑的产生既是人类对自然规律认识深入的必然产物，也是深入认识自然的客观需要；<2>．泛逻辑学原理为建立具体的逻辑体系提供了理论框架与生成规则，这使得建立分形与混沌逻辑成为可能；<3>．分形与混沌逻辑在复杂系统的研究

范例推理结构相似性研究

郑浩森汤胤彭宏郑启伦

计算机科学. 2004, 31 (6): 153-155.

摘要 ( 74 )

PDF(156KB) ( 346 )

相关文章 | 多维度评价

本文将范例的结构相似性问题提炼为结构图的相似问题，改变了将范例属性线性地映射到区间的方式，建立以关键节点为特征的分层模型，来进行范例结构图比较，并得到一个可以计算的合理的相似度数值，可以较为方便地解决结构相似性度量的问题，为复杂范例的多种类型的带偏序的属性的综合比较提供了基础。最后本文提供了一个例子，对相似性模型作了说明。

K—Means聚类中序列模式和批量模式的比较研究

徐君黄亚楼李飞

计算机科学. 2004, 31 (6): 156-158.

摘要 ( 71 )

PDF(500KB) ( 313 )

相关文章 | 多维度评价

数据挖掘中的聚类分析对发现数据中隐含的类别和分布有着重要的应用。传统的K—Means聚类算法在给出簇数目的条件下能够对数据进行较好的聚类，算法采用批量模式进行学习，在每一趟数据扫描结束后更新簇中心。序列模式是另外一种学习方式，它每扫描一条记录就更新簇中心。本文提出并实现了基于序列模式的K—Means算法，并与采用批量模式的K—Means算法进行了比较。

一个面向软件过程的知识挖掘与管理系统

张晓刚李雄锋陈晋川李明树

计算机科学. 2004, 31 (6): 159-163.

摘要 ( 66 )

PDF(300KB) ( 259 )

相关文章 | 多维度评价

软件过程的知识密集性特征要求组织人员的密切协作、交流，并能够有效地重用组织的实践经验。数据挖掘技术能够从大规模数据中发现有意义的知识，能够为知识管理提供有益的支持，从而得到更好的知识共享和重用效果。在对软件过程进行分析的基础上，提出了协同知识管理模型。介绍了一个集成的面向软件过程的知识挖掘与管理系统iKnow。对iKnow的知识表示、知识挖掘、知识服务和个性化知识检索进行了论述。系统使软件组织的实践经验成为可视、可控和可重用的知识资源。

基于反转矩阵的含重复项的关联规则挖掘算法

樊征柏文阳徐洁磐

计算机科学. 2004, 31 (6): 164-166.

摘要 ( 112 )

PDF(133KB) ( 248 )

相关文章 | 多维度评价

本文研究了多层关联规则挖掘中在由低概念层泛化至较高概念层后出现的含重复项规则的问题。在当前最新的高效关联规则发掘算法(IM)基础上引入了“数量”概念，提出了一种用于挖掘含重复项规则的新算法，并对其性能进行了分析。

用ICA提取高维科学数据的特征

聂琨坤傅彦

计算机科学. 2004, 31 (6): 167-168.

摘要 ( 83 )

PDF(105KB) ( 413 )

相关文章 | 多维度评价

独立分量分析(ICA)是基于数据高阶统计特性的一种线性变换手段。目前，已广泛应用于盲信号分离和图像识别。文章将此技术引入到科学数据挖掘领域，以求解决预处理中高维复杂特征的提取问题。提出了ICA结合主成分分析(PCA)的特征提取步骤，并结合科学数据集量大的特点给出了一种快速收敛算法—FastICA。最后指出ICA特征提取技术可以应用于高维科学数据挖掘，并且较传统的特征提取技术有更高的准确率。

一种基于模糊粗糙集知识获取方法

王基一顾沈明

计算机科学. 2004, 31 (6): 169-170.

摘要 ( 78 )

PDF(79KB) ( 333 )

相关文章 | 多维度评价

本文介绍了粗糙集和模糊粗糙集的上下近似。并且利用模糊粗糙上下近似算子，论述了在不完备模糊信息系统中知识获取的一种方法。应用这种方法能够让隐藏在不完备模糊信息系统中的知识，以决策规则的形式表示出来。最后给出了一种实现算法和实例。

Fuzzy格上的粗相等

吴明芬谢祥云

计算机科学. 2004, 31 (6): 171-172.

摘要 ( 66 )

PDF(130KB) ( 277 )

相关文章 | 多维度评价

本文引入了Fuzzy格上的粗相等的定义，并给出了粗相等的刻画。作为应用。得到Pawlak粗代数中粗相等的刻画。

多变量规则的线性插值推理方法

王天江卢正鼎

计算机科学. 2004, 31 (6): 173-176.

摘要 ( 75 )

PDF(163KB) ( 337 )

相关文章 | 多维度评价

插值推理是稀疏规则条件下的一类重要的推理方法，单变量的情况已有较多研究，但针对多变量情况的研究还不多，仅有的几种插值方法，存在着难以保证推理结果的凸性和正规性等问题。多变量规则的插值推理是插值推理研究的重要方面，为了在多变量稀疏规则条件下能得到好的插值推理结果，本文对多变量规则的插值推理方法进行了研究，提出了一个多变量规则的线性插值推理方法。该方法能较好地保证推理结果隶属函数的凸性和正规性，为智能系统中的模糊推理提供了一个十分有用的工具。

MAX—t1范数聚类算法的改进

闫德勤迟忠先

计算机科学. 2004, 31 (6): 177-179.

摘要 ( 67 )

PDF(128KB) ( 286 )

相关文章 | 多维度评价

给出了关于传递闭包模糊聚类算法与在t1范数下利用模糊矩阵聚类方法的一些理论结果，同时解决了在t1范数下利用模糊矩阵聚类的方法中难于确定等价类的问题，从而给出了一种基于t1范数的聚类算法与应用结果。最后给出了基于max—t1范数与max—t3范数下利用模糊矩阵聚类方法间关系的讨论。

基于方向关系组合运算表的定性推理

郭平刘然林勇董晓华

计算机科学. 2004, 31 (6): 180-183.

摘要 ( 68 )

PDF(196KB) ( 287 )

相关文章 | 多维度评价

方向关系的定性推理是GIS中的一个重要的理论问题。本文介绍基于井字空间的方向关系定性表示。着重讨论基于方向关系组合运算表的定性推理，最后给出一个基于方向关系组合运算表的定性推理算法。

联合估计混叠度，运动参数和高分辨率图像的JEMAP算法

孟庆武孟新

计算机科学. 2004, 31 (6): 184-188.

摘要 ( 62 )

PDF(704KB) ( 275 )

相关文章 | 多维度评价

本文提出一种空域联合估计混叠度，运动参数和高分辨率图像的JEMAP算法，以提高超分辨率处理的适应性，在地面上稳定地获得高于实测卫星图像中所用CCD设备成像精度的高清晰图像。算法根据星戡CCD设备的成像机理，定义卫星图像的混叠度，确定超分辨率处理模型，通过空域迭代联合估计混叠度，运动参数和高分辨率图像。实际卫星图像处理表明JEMAP算法具有很好的适应性和稳定性，包含先验约束能力较强，可以解开欠采样低分辨率输入图像的混叠，重构清晰卫星图像。

视频图像序列运动参数估计与动态拼接

汤庆阳陆佩忠

计算机科学. 2004, 31 (6): 189-193.

摘要 ( 79 )

PDF(824KB) ( 392 )

相关文章 | 多维度评价

本文采用多重分层叠代算法来估计全局运动参数，并提出应用于动态拼接的运动分割新方法，实现既有摄像机运动又有物体运动的视频图像序列自动拼接。我们的方法基本步骤如下：首先进行全局运动参数的初始估计，并且在分层叠代过程中进行区域分类，得到初始运动模板。接着空间分割原始图像，先根据图像的空间属性由底向上分层合并图像空间区域，再利用视频图像时间属性进一步向上合并，得到图像空间分割结果。然后结合初始运动模板和图像空间分割结果，采用区域分类新方法重新对图像空间分割结果的每个区域进行分类。然后根据分类结果逐步精确求解全局运

在线草图识别中用户手绘习惯建模方法

张斌孙正兴孙建勇彭彬彬

计算机科学. 2004, 31 (6): 194-198.

摘要 ( 75 )

PDF(246KB) ( 280 )

相关文章 | 多维度评价

手绘草图是概念设计和思路外化的一种高效的表达方式。用户绘制草图时存在的多种形式，及其随意性和模糊性使得用户适应性问题逐渐成为草图识别的核心课题。本文提出了一种在线草图识别的用户建模方法来捕捉绘制草图时的用户习惯，主要包括两个方面的内容：一是基于SVM的主动式增量学习方法，二是基于动态用户建模的手绘复杂图形的识别方法。前者与传统的增量式学习方法相比，在识别精度相同的情况下所需的训练时间和训练数据集要少得多。后者则是基于笔划信息以及笔划间的顺序和空间关系信息，采用增量式决策树捕捉用户的输入习惯和过程信息。实验

双线性快速模糊增强图像边界检测最新算法

韩培友王鸿郝重阳

计算机科学. 2004, 31 (6): 199-200.

摘要 ( 70 )

PDF(458KB) ( 346 )

相关文章 | 多维度评价

本文利用广义模糊集(GFS)理论，给出了全新的用于模糊增强图像区域对比度的线性广义模糊算子(LGFO)，从而给出了双线性快速模糊增强图像边界检测最新算法。首先利用线性右半梯形隶属变换将灰度图像的普通空间变换为广义模糊空间，再利用LGFO对广义模糊空间进行区域对比度增强，然后把增强后的广义模糊空间变换为普通空间，最后对处理后的普通空间进行边界提取。通过大量实例验证，使用本文算法提取图像边界速度快、效果好。而且多项指标均超过了文[1～4]。