Please wait a minute...
  • 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

当期目录

    论文
    一种基于Linux的附网光盘镜像服务器的研究与实现
    谢长生 刘文藻 万继光
    2004, 26(5): 1-3. doi:
    摘要 ( 316 )   PDF (135KB) ( 437 )     

    本文研究了附网存储的体系结构和关键技术,分析了它在实现光盘镜像服务器时的运用,并阐述了一种基于Linux的光盘镜像网存储服务器的设计方案及部分实现。

    卫星网络协议的仿真与模拟技术研究
    王鹏 白建军 卢泽新
    2004, 26(5): 4-6. doi:
    摘要 ( 417 )   PDF (146KB) ( 981 )     

    本文主要对卫星网络中有关协议的模拟与仿真方法进行了研究。首先,对卫星网络中有关协议模拟与仿真的主要内容和指标进行了说明,接着对当前流行的卫星网络模拟仿真工具进行了介绍,然后对仿真工具的工作原理和工作方法进行了简单的解释,最后给出了使用模拟工具模拟卫星网络中路由协议的结果,并对构建自主仿真平台进行了探讨。

    电子商务推荐系统研究
    黎星星 黄小琴 朱庆生
    2004, 26(5): 7-10. doi:
    摘要 ( 466 )   PDF (189KB) ( 1562 )     

    目前,电子商务网站之间的竞争日益加剧,赢得这场竞争的关键之一是如何更好地了解用户需求以提供更令人满意的服务,于是以AI领域的agent技术为依托,电子商务推荐 系统就逐步发展起来。本文首先介绍推荐系统的表现形式,然后分类研究各种主流推荐技术,并在此基础上深入分析和比较这几种推荐技术的异同及其应用范围,最后探讨实
     际应用效果最好的混合推荐系统技术。

    一个采用TCP Handoff技术的基于内容调度系统
    范开钦 金海 邹晓辉 储杰
    2004, 26(5): 11-14. doi:
    摘要 ( 331 )   PDF (186KB) ( 446 )     

    针对传统的Web调度系统普遍存在可扩展性差、系统开销大等种种缺陷,我们研究了一种新的基于内容调度系统。该系统在Linux内核TCP/IP层实现,主要采用了TCP Handoff  、报文捎带等技术。本文详细阐述了基于内容调度系统的设计原理和实现过程。实验表明,该系统与传统的Web调度系统相比具有更高的可扩展性和更好的性能。

    RBAC在EAI中的应用研究
    肖道举 肖迎霜 陈晓苏
    2004, 26(5): 15-17. doi:
    摘要 ( 298 )   PDF (167KB) ( 361 )     

    针对EAI中访问控制具有用户量大、权限关系复杂、访问控制必须满足企业的安全策略等特点,给出了RBAC在EAI中的应用模型,该模型通过RBAC提供访问控制策略实现EAI中各应用系统的统一访问控制。讨论了两个关键技术——RBAC在EAI中的授权管理和访问控制策略的实现

    基于域模型的开放式信息交易系统
    姚卫新
    2004, 26(5): 18-20. doi:
    摘要 ( 313 )   PDF (132KB) ( 325 )     

    因特网的应用使电子商务蓬勃发展,作为其特例的信息贸易专注于信息产品的买卖。本文介绍了一种支持信息贸易的基于域模型的开放式信息产品交易系统,使企业能通过因 特网生产、销售、发送和管理信息产品及服务。

    智能卡与因特网连接模型的研究
    曹计昌 徐日东
    2004, 26(5): 21-24. doi:
    摘要 ( 329 )   PDF (183KB) ( 350 )     

    文章提出了因特网智能卡的概念,给出了其系统结构,并重点分析了智能卡协议栈的层次结构。在此基础上,提出智能卡与因特网连接的远程控制模型和代理模型。通过分析 智能卡和终端之间的数据交换过程,阐明了两种连接模型的工作机理,为因特网智能卡的实际应用提供了理论支持。

    分子三维结构可视化软件建模的研究与实现
    欧阳星明 谢欣荣 张少伟 姚小龙
    2004, 26(5): 25-28. doi:
    摘要 ( 384 )   PDF (176KB) ( 684 )     

    本文针对生物信息学中的分子三维结构显示软件的建模问题进行了分析和研究,介绍了Java3D技术中关于场景图等概念以及基于Web的可视化系统的分析和设计方法。在此基 础上,我们详细讨论了分子的几何模型和运动模型,提出了一种基于Java3D的交互式分子三维结构显示软件的建模方法。最后,在相应软件系统HJMV的实现中,给出了几种提
     高该软件运行速度的方法。

    基于特征的参数化造型设计在企业零件库建设中的应用
    刘胜 孔丽红 朱希玲
    2004, 26(5): 29-30. doi:
    摘要 ( 311 )   PDF (132KB) ( 430 )     

    本文论述了基于特征的参数化造型技术,提出了Solid Edge环境下基于特征变量的参数设计方法,并结合起重机企业零件库建设给出了应用实例。

    一种基于区域熵值的车牌定位方法
    张国敏 殷建平 祝恩
    2004, 26(5): 31-33. doi:
    摘要 ( 333 )   PDF (134KB) ( 387 )     

    因搜索空间太大,现有的车牌号码识别系统所采用的图象分割方法一般说来效率较低。为此,本文提出了一种基于区域熵值的车牌定位方法,可快速判定车牌的粗略位置与颜 色,即得到一个属于车牌区域的参考点和车牌的背景色,从而使得随后的图象分割仅在该参考点的周边区域进行,大大缩小了搜索空间,提高了效率。

    基于流水光总线阵列的快速并行排序算法
    陈宏建[1] 陈峨[2] 沈洁[1] 秦玲[1] 徐晓华[1]
    2004, 26(5): 34-37. doi:
    摘要 ( 362 )   PDF (194KB) ( 417 )     

    基于流水光总线的可重构线性阵列系统(LARPBS)是一种建立在光总线上的并行计算模型。本文提出了一种基于LARPBS模型的快速排序并行算法,该算法使用n个处理器,对关  键字位数固定的n个记录可以在O(1)时间完成排序;对于关键字位数不固定的n个记录,可以在O(d)时间完成排序,这里d为关键字的最大位数。

    基于思维进化算法的神经网络权值与结构优化
    何小娟 曾建潮 徐玉斌
    2004, 26(5): 38-42. doi:
    摘要 ( 387 )   PDF (194KB) ( 499 )     

    人工神经网络应用的关键在于权值和结构的优化。思维进化计算(MEC)是模拟人类思维进化过程的一种新的进化算法,具有极强的全局寻优能力,在数值优化和非数值优化方面均显示出明显的优越性。本文在思维进化计算框架的基础上,提出了一种用于人工神经网络权值与结构优化的思维进化算法,设计了有效的结构优化‘趋同’与‘异化’算
     子;在局部范围内寻求局部最优解,然后使用异化算子跳出局部范围的约束,在整个解空间寻求全局最优解。仿真结果说明了方法的正确性与有效性。

    不共面P4P问题多解的判定方法
    孔辉 谢端强
    2004, 26(5): 43-45. doi:
    摘要 ( 360 )   PDF (150KB) ( 512 )     

    PnP问题源于照相机检测,即根据给定空间n个点的相互位置关系,确定摄象机在空间的方位。以前的研究成果表明,对于给定的空间三点,最多可以出现四个解。本文针对不 共面的四点透射(P4P)问题,利用Wu-Ritt零点分解方法对问题进行分组分解,并经分析后得到了问题存在多解时的若干充分条件,从而在实际应用中很容易避开那些可能存在
    在多解的观察点。

    数据通讯中LZW算法的应用研究
    金卫民
    2004, 26(5): 46-48. doi:
    摘要 ( 318 )   PDF (131KB) ( 460 )     

    串行通讯是计算机常用的通讯手段之一,但其通讯速率较低。为提高数据传输的实时响应速度,可采用数据压缩算法,无损数据压缩技术LZW算法就是较好的算法之一。本文把这种算法应用于无线数据通讯,较大幅度地提高了数据传输速度。

    企业数据集成模型的研究
    肖万贤 刘江宁
    2004, 26(5): 49-51. doi:
    摘要 ( 54 )   PDF (168KB) ( 181 )     

    本文从现代企业实施数据集成的需求出发,对联邦数据库系统、中间件模式和数据仓库模式等几种经典数据集成体系进行了分析,并指出了它们的局限;提出了一种基于OMG模型驱动和XML的企业数据集成的模型框架,并阐述了该数据集成模型的相关技术和优越性,同时也说明了应用模型的概念设计应用时应把握的观点。

    通用数据仓库元数据模型的研究
    李姗姗 宁洪 陈波 彭绍亮
    2004, 26(5): 52-55. doi:
    摘要 ( 62 )   PDF (177KB) ( 188 )     

    元数据及其管理是数据仓库技术的核心部分,数据仓库数据的使用及其相互间的关系迫切需要统一的元数据模型来描述。本文详细介绍了OMG推出的通用数据仓库元数据模型(CWM)的组成结构和底层技术标准,并讨论了这些技术标准与CWM之间的关系。

    一种基于粗糙集的大规模语料库语言学知识发现模型
    陈清才 王晓龙 赵健
    2004, 26(5): 56-61. doi:
    摘要 ( 52 )   PDF (278KB) ( 174 )     

    文中首先通过语言学特征表来对文本信息进行结构化处理,同时实现了对远距离约束的表示;然后借助于面向个体的数据泛化算法来去除语言学特征表中的冗余信息,并利用规则抽取算法过滤特征表中不一致的部分,从而为相应的自然语言处理任务建立了一个一致、高效的规则库。最后,本文研究了模型在汉语词义排歧以及音字转换中的应用,在采用了动态规则平滑算法后,分别获得了0.93和0.95的判别精度以及0.92和0.89的覆盖率,这一结果显示模型具有很高的实用性。

    Heartbeat-Gear:一种新型的实时心跳监测技术
    谢长生 胡庆平 潭志虎
    2004, 26(5): 62-65. doi:
    摘要 ( 77 )   PDF (169KB) ( 155 )     

    本文以双机热备高可用系统中心跳周期对高可用性能的影响为研究对象,提出了一种新型的实时心跳监测技术Heanbeat-Gear。该技术通过动态排档式调整双机热备系统的心跳周期,能够在变化的请求服务环境下,提高系统的心跳周期环境适应能力,从而最终提高系统的高可用性。

    产品生命周期评价系统研究
    杨家红[1] 肖松文[2] 杨忠诚[2] 肖晓[2]
    2004, 26(5): 66-69. doi:
    摘要 ( 78 )   PDF (177KB) ( 156 )     

    本文主要从系统结构、锌冶炼物流模块化、工艺流程计算结构图自动绘制和物料平衡计算等方面对生命周期评价系统进行了研究,开发出以工段为单元的物料平衡计算算法。实践证明,与以设备为计算单元的方法相比,本算法能在很大程度上降低计算复杂性并且提高了适应能力。

    人工免疫系统:一个新兴的交叉学科
    莫宏伟 金鸿章
    2004, 26(5): 70-73. doi:
    摘要 ( 59 )   PDF (180KB) ( 150 )     

    本文介绍了基于人类免疫系统而发展的新兴交叉学科一人工免疫系统,对其发展历程、研究内容以及免疫工程进行了介绍,最后指出其发展方向。

    IC卡数据存储模型的研究
    曹计昌 张凡
    2004, 26(5): 74-76. doi:
    摘要 ( 73 )   PDF (161KB) ( 158 )     

    本文首先研究了IC卡数据存储的特点,依据存储特点将IC卡划分为单数据应用分区IC卡、单分区IC卡和多分区IC卡三类。给出了IC卡的只读区、控制区、数据区和分区的定义,并在此基础上构造出单张IC卡的数据存储模型和对应的数据结构。为了能够描述任意类型的IC卡,本文进一步提出IC卡的统一数据模型和对应的数据结构,并给出了统一数据模型中分区信息表的数据结构以及数据存取的算法。

    CAD系统设计中的形式化方法与功能命题
    郑国磊[1] 朱心雄[1] 许德[2]
    2004, 26(5): 77-81. doi:
    摘要 ( 65 )   PDF (180KB) ( 145 )     

    本文结合作者多年的研究实践,对CAD系统功能设计理论和方法进行研究,并在此基础上提出和建立CAD系统功能设计的数学模型,其中包括:(1)介绍需求分析的形式化描述和表示方法,建立需求空间结构;(2)提出复合功能、设计逻辑、功能与参数依赖及交互效率等新概念,并分别建构复合功能的构造和效率命题;(3)阐述这些理论和方法在自行开发的专业化系统中的应用。

    基于实例推理的电子工艺规划
    刘青[1] 马康民[2] 邓庆山[2]
    2004, 26(5): 82-85. doi:
    摘要 ( 55 )   PDF (207KB) ( 171 )     

    本文针对PCB检修工艺中存在的效率低下、标准不统一的问题,提出了一种基于实例推理的工艺规划。在阐述基于实例推理基本原理的基础上,构造了一种推理模型,并讨论了实例匹配算法。实际应用表明,这种设计方案有效地提高了PCB检修工艺的设计效率。

    基于嵌入式Linux的磁盘阵列控制软件设计
    薛向辉 张江陵 冯丹
    2004, 26(5): 86-87. doi:
    摘要 ( 48 )   PDF (136KB) ( 152 )     

    磁盘阵列是解决I/O瓶颈的一条有效途径。本文介绍了一种采用嵌入式Linux操作系统为软件平台、使用通用计算机部件集成的EIDE磁盘阵列。该阵列使用SCSI接口与主机连接,是一种具有良好性能和低廉价格的异构磁盘阵列。

    基于适配器驱动层次实现的可扩展并行I/O研究
    吴涛 张江陵
    2004, 26(5): 88-92. doi:
    摘要 ( 72 )   PDF (233KB) ( 155 )     

    本文首先简要介绍了Windows存储设备驱动程序层次模型,然后基于一种EIDE扩展卡详细描述了在适配器驱动程序层次实现并行I/O的方法和原理,并给出了一个软阵列的实例,最后结合I/O测试结果对软阵列性能特点进行了评价。

    语音线性预测技术新探
    徐静波 冉崇森
    2004, 26(5): 93-95. doi:
    摘要 ( 67 )   PDF (120KB) ( 167 )     

    本文提出了一种线性预测分析方法。通过估计频率抽样获得谱包,由归一化频率估计谱包;谱包规定在mel频率级,由IDFT提取抽样自相关估计,我们从抽样自相关的结果最终获得谱包cepstral系数(SEC)。HMM(Hidden Markov Model)识别实验表明,SEC与其它算法相比较,在低 信噪比时,识别性能明显提高。

    工作流程管理系统中的资源管理框架
    章涛 金连甫
    2004, 26(5): 96-99. doi:
    摘要 ( 60 )   PDF (217KB) ( 147 )     

    资源管理是流程管理系统设计中的一个重要环节。在企业复杂的计算环境中,工作流程管理系统所要面对的是各种各样、数量庞大的资源。这些资源对象通常分布于企业信息的各个子系统中,为使工作流程管理系统既能够有效地对资源进行访问和管理,又能够使工作流程管理 系统对特定资源保持独立性。本文提出一个面向工作流程管理系统的资源管理模型和接口。

    基于UML的移动电话计费数据采集系统的设计与实现
    郑谦益
    2004, 26(5): 100-102. doi:
    摘要 ( 87 )   PDF (124KB) ( 207 )     

    本文运用统一建模语言,对移动计费数据采集子系统的逻辑结构和物理实现进行了介绍。首先,利用类图和顺序视图对系统中对象的静态结构和动态行为进行了详细分析,然后运用物理视图对系统中构件的实现结构作了介绍,最后给出了系统实现的框架代码。

    基于冲突处理的并行工程研究
    胡钢伟 赵克 李凯 米建伟
    2004, 26(5): 103-105. doi:
    摘要 ( 60 )   PDF (128KB) ( 158 )     

    本文探讨了并行工程中的冲突处理问题,基于冲突处理机制采用了协同产生式系统技术,建立支持并行工程方法的产品开发系统模型。该模型通过多个产生式系统的协调工作,来模仿并行工程中的多功能小组,并采用基于黑板的冲突处理器来协调多个产生式系统的工作。

    不一致信念的定量非修正方法满足AGM公设的讨论
    尚颖[1] 邓安生[2] 鞠晓东[3]
    2004, 26(5): 106-109. doi:
    摘要 ( 55 )   PDF (152KB) ( 141 )     

    常识推理的核心问题为信念修正问题,研究人员就此已经提出了许多方法,其中AGM理论是最有影响的一个。本文讨论并逐条证明了定量非修正方法满足AGM公设的情况,表明该方法是一种性质良好的信念修正方法。