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

当期目录

    论文
    基于信息冗余分散的系统可存活性研究
    基于信息冗余分散的系统可存活性研究
    李之棠 舒承椿
    2002, 24(1): 1-4. doi:
    摘要 ( 313 )   PDF (183KB) ( 310 )     

    系统可存活性是开放网络环境带来的新的研究方向,本文建立了信息冗余分散模型G=(S,Z;E),并根据点覆盖集与可存活性之间的联系提出信息冗余系统可丰活性的有效分析方法。文章给出了信息冗余分散可存活性的实例分析结果,表明了系统可存活性的提高以及以保密性的影响。

    AFIDS中的自适应模型研究
    李之棠 杨俊卫 等
    2002, 24(1): 5-8. doi:
    摘要 ( 318 )   PDF (152KB) ( 290 )     

    本文首先提出了一个新的入侵检测系统--自适应模糊入侵检测系统,然后重点介绍了该系统中用于采集基于主机的原始事实的自适应模型,此模型主机状态分为不同的等级  ,不同的等级采用不同的审计策略。最后,本文用Petri网对该模型进行了描述和性能分析。

    基于代理的网络入侵检测的研制
    唐勇 胡华平 等
    2002, 24(1): 9-13. doi:
    摘要 ( 278 )   PDF (208KB) ( 431 )     

    入侵检测系统可以系统或网络资源进行实时检测,及时发现闯入系统或网络的入侵者,也可预防合法用户对资源的误操作,它是P^2DR(Policy Protection Detection Response,简称P^2DR)安全模型的一个重要组成部分。本文首先介绍了入侵检测系统的研究难点与目前存在的问题,然后重点介绍了我们所研制的基于代理的网络入侵检测系统的 体系结构,总体设计与实现,关键技术以及系统的特色。目前该系统在入侵检测系统的体系结构,入侵检测技术、响应与恢复策略,分布式代理(Agent)技术,基于代理的入侵检测知识等方面有创新和突破。

    网络安全战略预警系统的攻击检测技术研究
    苗青 宣蕾 等
    2002, 24(1): 14-17. doi:
    摘要 ( 343 )   PDF (175KB) ( 472 )     

    攻击检测系统是网络安全战略预警系统的重要组成部分,它从现有的入侵检测系统(IDS)出发,应用当前的民用技术来发展更先进的入侵检测系统(IDS),又将数据输入从逻辑入侵拓展到物理、心理和情报攻击,这些都是信息战进攻的一部分,本文主要探讨适合大范围协同攻击的检测技术。

    智能卡口令认证方案
    袁时金 吕丽民
    2002, 24(1): 18-19. doi:
    摘要 ( 321 )   PDF (123KB) ( 377 )     

    本文提出了一种智能卡口令认证方案,在这个方案中,用户能随意更改口令,远程系统不需要存储用户的口令表或验证表,并且能防止恶意的重放攻击,一旦建立起安全的网 络环境,认证能被通信双方单独处理。

    集成RBAC到多级关系模型
    李沛武[1] 周铭[2]
    2002, 24(1): 20-23. doi:
    摘要 ( 368 )   PDF (164KB) ( 317 )     

    文章提出了用基于角色的访问控制方案实现多级关系中向下读和向上写的安全策略,并且解决了修改操作的隐通道问题。

    区域划分技术在图象压缩中的应用和实现
    郭小星
    2002, 24(1): 24-26. doi:
    摘要 ( 321 )   PDF (134KB) ( 295 )     

    不同空间位置的不同物体表达的信息有不同的重要性,本文目的是通过统计分析图象内容重要程度的空间组织规律,改进原有JPEG压缩方法,给不同重要性的内容分配不同的压缩比。

    基于质点网格法的爆炸景象模拟算法
    谢剑斌[1] 朱建凯[2] 等
    2002, 24(1): 27-28. doi:
    摘要 ( 310 )   PDF (113KB) ( 434 )     

    本文首先阐述了质点网格法,然后基于质点网格法的爆炸景象模拟算法进行了详细地研究,采用本算法可快速生成形象逼真的爆炸景象。

    一种基于GPS与GIS集成的车辆追踪系统解决方案
    童瑞华 李军 等
    2002, 24(1): 29-32. doi:
    摘要 ( 404 )   PDF (150KB) ( 346 )     

    本文提出了一种集成GPS与GIS技术的车辆追踪系统的设计方案与实现机制,分析了系统结构,并讨论了盲区问题的解决方法。

    一个基于算术编码的灰度图象无损压缩算法
    杨胜天
    2002, 24(1): 33-36. doi:
    摘要 ( 324 )   PDF (155KB) ( 536 )     

    本文介绍了一个基于算术编码的灰度图象无损压缩算法,它以JPEGT-LS算法为基础,采用了一系列有利于算术编码的改进措施,获得了满意的压缩效果。


    统一数据视图的研究与实现
    杨嵘[1] 刘江宁[2]
    2002, 24(1): 37-39. doi:
    摘要 ( 297 )   PDF (155KB) ( 485 )     

    本文讨论一种基于CORBA和Java技术的统一数据图的设计思想,给出了统一数据视图的层次结构,详细描述了统一数据视图的对象建模,远程数据传输粒度和对象分布等内容

    利用角点坐标计算图象的矩不变量
    刘钢钦
    2002, 24(1): 40-42. doi:
    摘要 ( 295 )   PDF (98KB) ( 423 )     

    本文提出了一种直接利用角点坐标计算形状的方法,并导出了低阶矩的闭合形式,最后给出了计算M.K.Hu提出的七个矩不变量的算法。该算法计算的是经典不变矩的精确值,但大大地筒化了计算。

    群机系统高速互联网网络驱动程序的研究与实现
    陶孜谨 任开军 等
    2002, 24(1): 43-45. doi:
    摘要 ( 329 )   PDF (166KB) ( 308 )     

    本文在群机系统高速互连网的NI卡提供的系统消息传递(MP)和远程数据读写(BLT)机制基础上,提出了一个TCP/IP网络驱动程序的实现模型和ARP(地址解析协议)的仿真实现机制。文中分析了互网通信机制和网络报文传送的需求,详细描述了该驱动程序和ARP  Server的工作原理,并给出了具体的实现过程。

    网络虚拟实验室应用研究
    贾皓丽 宋端智 等
    2002, 24(1): 46-48. doi:
    摘要 ( 382 )   PDF (118KB) ( 466 )     

    为了满足远程教育对实验的新要求,我们尝试使用VRML、Java等工具在内联网上实现了网络虚拟实验室,在条件充分后很容易扩展到因特网上。

    WCDMA基站下行专用信道基带处理模块的一种实现方案
    杨洪生 李娟 等
    2002, 24(1): 49-53. doi:
    摘要 ( 324 )   PDF (215KB) ( 536 )     

    本文根据3GPP相关协议对WCDMA基站下行专用信道基带处理模块数据处理过程及影响基带处理模块实现的关键特征进行了详细分析,针对一个同时支持16路下行专用信道基带处理模块设计目标,提出了采用多DSP处理器结合大规模FPGA的“三阶段前向流水式”实现方案,并给出了实现方案的设计框图。

    基于Java的WebGIS系统的研究与开发
    张曙光 李春燕 等
    2002, 24(1): 54-58. doi:
    摘要 ( 313 )   PDF (210KB) ( 655 )     

    WebGIS是一种基于因特网/内联网的技术标准和通信协议和网络化处理信息系统。实现WebGIS系统的方法有多种。本文主要介绍用Java语言建立WebGIS的技术特点和设计方法 ,并以实例说明了WebGIS在输变电地理信息系统中的应用。

    一个基于因特网的个性化信息服务系统的设计和实现
    肖晓军 杨岳湘 等
    2002, 24(1): 59-62. doi:
    摘要 ( 312 )   PDF (153KB) ( 331 )     

    该系统和搜索引擎相结合,以整个因特网为基础,向用户提供实时的, 自动推送式的个性化信息服务,本文详细介绍了该系统的原理、技术、逻辑结构,流程及实现方式, 并通过一个实例说明了它的应用。

    基于域策略形成算法的研究与实现
    顾永跟[1] 田小鹏[2]
    2002, 24(1): 63-65. doi:
    摘要 ( 292 )   PDF (144KB) ( 313 )     

    本文在深入分析域、策略的基础上,提出了基于域为单位的策略形成算法,并进一步介绍了具体实现方法。

    基于引导的思维进化算法
    介婧 曾建潮
    2002, 24(1): 66-69. doi:
    摘要 ( 345 )   PDF (161KB) ( 393 )     

    本文在分析思维化算法特点与不足的基础上,提出了两点改进:一是尝试将模矢法引入趋同算子中,形成模矢法趋同策略,该策略能有效地利用子群体的进化信息,利用模矢为子群体提供一个快速的趋同方向,从而提高算法的局部搜索能力,二是提出了基于进化强度引导的异化策略。该异化策略不仅考虑了成熟子群之间的竞争,而且加强了未成 熟子群体间的协作及信息交流,从而加快了优良子群的收敛速度,进而提高了算法的全局搜索能力。仿真结果证明,这两种改进是有效的。

    MATLAB在计算机辅助数值分析与计算中的应用
    孙智娟 徐杜 等
    2002, 24(1): 70-73. doi:
    摘要 ( 328 )   PDF (221KB) ( 492 )     

    简要介绍了MATLAB语言,并把MATLAB语言应用于计算机辅助数值分析与计算中,在MATLAB软件环境下研制了计算机辅助数值分析与计算(CANAC)软件包,最后用一个典型实 例较为深入地对其使用方法,特点和效果进行讨论,实践表明,该软件包使用效果良好。

    128条码的编码分析和识别算法
    战荫伟
    2002, 24(1): 74-76. doi:
    摘要 ( 258 )   PDF (168KB) ( 712 )     

    本文对128条码的编码进行了理论分析,证明了由相似边距离确定其编码的唯一性,并据此给出了一种适于批量表格录入的识别条码的有效算法。我们还提议了一种利用条码进行汉字编码的方案。

    核心路由器BGP—4协议实现技术的研究
    白建军 朱培栋 等
    2002, 24(1): 77-80. doi:
    摘要 ( 301 )   PDF (163KB) ( 423 )     

    BGP-4是一个用于自治系统间的路由协议,它的主要功能是在各自治系统之间的交换网络可达性信息。为了支持内干网互连,核心路由器必须支持BGP-4协议,本文主要介绍了国防科技大学计算机学院研制的核心路由器中GBP-4协议的具体实现,描述了其体系结构,组成模块,主要特征及实现过程中遇到的技术难点,给出了相应的解决方法。

    路由器Cache对多处理器系统性能的影响
    汪波 潘国腾 等
    2002, 24(1): 81-84. doi:
    摘要 ( 300 )   PDF (209KB) ( 373 )     

    在多处理器计算机系统中,Cache一致性是一个十分重要的问题,对多处理器系统的性能有很大的影响,在多处理器系统中加入路由器Cache可以有效地减少系统远程访问延时  ,提高系统有效带宽,本文提出了路由器Cache的一种组织方式,并对其性能作了模拟和分析。

    高速路由器缓冲区流水工作算法设计与实现
    张锐 苏金树 等
    2002, 24(1): 85-87. doi:
    摘要 ( 306 )   PDF (113KB) ( 334 )     

    本文根据IPOA的思想,提出流水工作算法在缓冲中将信元重组成IP报文,从而有效地解决了信元写入时产生拥塞的问题,同时还介绍了读出报文时可以采用的两种调度算法,  均衡调度算法和非均衡调度算法。本文最后以具体的路由器为背景,利用FPGA技术实现上述设计。

    基于多Agent的分布式故障智能诊断原型系统研究
    何永勇 褚福磊 等
    2002, 24(1): 88-92. doi:
    摘要 ( 287 )   PDF (211KB) ( 363 )     

    近年来,基于多Agent的分布式故障系统已成功地应用于众多领域,本文将多Agent技术应用于故障诊断领域研究,以开发故障智能诊断的多Agent系统,提出了基于原型系统 的基本框架和系统实现途径及方法,其中着重研究了基于多Agent理论的诊断问题分布式任务分解与控制问题,以及诊断Agent之间的协调合作问题,原型系统的研究,为实际 应用系统的研制开发提供了理论指导和方法依据。

    基于相似学的面向对象软件复杂性的定量测度研究
    雷战波[1] 许倩钰[2]
    2002, 24(1): 92-96. doi:
    摘要 ( 296 )   PDF (172KB) ( 318 )     

    针对面向对象软件复杂性的定量评价问题,从相似系统学出发研究了面向对象软件系统的复杂性测度问题,提出了相似度、相异度和关联度杂度计算式,并建立了面向对象分类机制的模糊聚类方法。

    无延迟Cache:减少Load相关停顿的有效方法
    张晨曦[1] 刘依[2] 等
    2002, 24(1): 97-99. doi:
    摘要 ( 305 )   PDF (114KB) ( 371 )     

    Load相关会导致流水线停顿,解决这个问题的一种办法是提前执行Load指令,以减少Load延迟,本文提出了一种易于实现的方案,模拟结果表明,这种方案对于定点程序能达 到较高的Load地址猜测命中率。

    控制膨胀的程序结构化
    张远芳 马国凯 等
    2002, 24(1): 100-102. doi:
    摘要 ( 293 )   PDF (175KB) ( 333 )     

    目前人们通常单纯用增加临时变量和相关判断的方法,或者使用共享代码拷贝的方法来消除goto语句,但前一种方法会造成判定增加,语义分析困难,而后一种虽然使转变后 的程序结构清晰,却造成了benchmark中的某些程序急剧膨胀,针对上述问题,本文提出了能控制膨胀的代码拷贝算法,且该算法还能有效地处理不可规约的程序。

    面向路径的测试数据自动生成工具的设计与实现
    单锦辉 王戟 等
    2002, 24(1): 103-107. doi:
    摘要 ( 294 )   PDF (211KB) ( 559 )     

    面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松驰方法求解该问题。文献[2]改进了该方法,证明改进后的方法与原方法生成的约束系统相同,文章以改进后的方法为核心算法,根据软件工程的思想,采用面向对象的方法,使用UML进行设计,并且在Linux Red Hat7.0操作系统下用C++语言 言实现一个为程序路径自动生成测试数据的原型工具,然后将它移植到Windows操作系统。

    SCMP中共享多端口数据Cache结构的研究
    光奇 周兴铭
    2002, 24(1): 109-109. doi:
    摘要 ( 242 )   PDF (51KB) ( 305 )     
    基于多经济智能主体的计算网格资源管理
    曹鸿强 周兴铭
    2002, 24(1): 109-109. doi:
    摘要 ( 218 )   PDF (51KB) ( 252 )