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

当期目录

    论文
    基于.NET的自动化处理和事务处理
    陈传波 张勇
    2005, 27(1): 1-2. doi:
    摘要 ( 316 )   PDF (141KB) ( 253 )     

    随着信息技术的高速发展,企业对其业务的自动化处理水平的要求也越来越高,而在自动化处理中经常涉及到事务处理。这里讨论了在.NET下企业自动化处理的思想和实现方法,并提出了几种事务处理的方法。

    一种基于数字水印和数字签名的消费者权益保护协议
    陈晓苏 卢炜 刘立刚 肖道举
    2005, 27(1): 3-5. doi:
    摘要 ( 338 )   PDF (140KB) ( 287 )     

    在互联网迅猛发展的今天,数字版权保护的重要性和紧迫性越来越明显,数字水印技术可以用来有效地保护数字媒体的版权。由于数字水印技术主要是为了保护版权所有者的  权益,所以在现有的数字水印协议中,很少考虑保护消费者的权益。本文给出了一种基于数字水印和数字签名的消费者权益保护协议,既可以保护销售者的版权,也可以保护护消费者的权益。

    基于TCP/IP的嵌入式网络电子称量技术研究
    曹计昌 徐日东
    2005, 27(1): 6-8. doi:
    摘要 ( 309 )   PDF (162KB) ( 374 )     

    基于TCP/IP的嵌入式网络电子称量技术改变了传统电子衡器的操作控制方式,实现了电子衡器的远程控制。本文在分析了基于TCP/IP的嵌入式网络电子称量技术系统结构的基础上,讨论了在电子衡器中嵌入TCP/IP协议栈及Web服务器的具体实现,并阐述了电子衡器的远程控制原理。

    基于防火墙的路径MTU发现问题研究
    陈娜 李芝棠
    2005, 27(1): 9-10. doi:
    摘要 ( 340 )   PDF (147KB) ( 417 )     

    通过分析路径MTU发现机制,本文深入剖析了复杂网络环境中由于防火墙、路由器等网关设备存在而引起的端到端访问异常的问题,结合FW3000防火墙设计了FAPM模型,并通过实际测试和理论分析证明了这个模型解决复杂网络环境中PMTU发现问题的有效性。

    安全工具包的设计
    朱政坚 宁洪
    2005, 27(1): 11-13. doi:
    摘要 ( 293 )   PDF (143KB) ( 254 )     

    目前的公开密钥基础设施PKI产品及其它加解密产品在底层的实现上都是利用国外公司提供的安全工具包。这些安全工具包虽然功能强,但它们对中国用户削弱了安全强度,且屏蔽了内部实现细节。为了突破国外产品的垄断局面,我们提出一种新的安全工具包。此安全工具包在整体上采用面向对象技术,在内部对象通信方面使用消息处理机制, 在对象安全控制方面采取策略与机制相分离的方法。

    数字校园中基于LDAP的统一用户身份管理技术研究
    张辉[1] 杨岳湘[2] 汪诗林[1]
    2005, 27(1): 14-16. doi:
    摘要 ( 344 )   PDF (205KB) ( 622 )     

    本文在简要介绍了LDAP及相关技术的基础上,提出了一套基于LDAP的统一用户身份管理解决方案并对其中涉及的关键技术进行了论述。方案实现了对数字校园中用户的统一身份认证、单点登录、集中鉴权以及对网络应,源的统一管理。

    基于RSA的(t0,t1,t,n)门限签名方案
    张鹏 徐秋亮
    2005, 27(1): 17-18. doi:
    摘要 ( 445 )   PDF (83KB) ( 280 )     

    本文提出了一个基于RSA的(t0,t1,t,n)门限签名方案。与已有的(t0,t,n)门限签名相比,该方案具备以下优点:(1)基于广泛认可的RSA方案;(2)公钥及签名验证和普通RSA门限签名相同;(3)安全性和效率有所提高。

    一个基于渐进传输和动态感兴趣区域编码的远程维护系统
    刘清波 李国辉 涂丹
    2005, 27(1): 19-21. doi:
    摘要 ( 368 )   PDF (228KB) ( 320 )     

    计算机技术和网络技术的发展,使得人们在远距离上进行实时协同工作成为可能。但是,如何在状态不稳定和有限带宽的无线通信网络环境下来保证远程维护的顺利实现,仍然是一个新的研究问题。本文提出并构造了一个新型的远程维护系统RMS,它利用静态图像压缩编码的码流可伸缩性和静态感兴趣编码特性,增强了无线通信网络环境下对远程协同维护的图像支持能力,能有效满足远程维护的特殊要求。

    炸点二维坐标测量系统
    孙湧
    2005, 27(1): 22-23. doi:
    摘要 ( 311 )   PDF (131KB) ( 250 )     

    笔者在文献[1]解决了因落地炸点丧失一维空间信息而无法判定二台像机上的一对成像点是否匹配的难题。本文即以此文为基础,用光轴共面且相交于一点的三台摆放均匀的 像机组建一个炸点测量系统模型,从而为研制实际测量系统提供了理论依据。

    基于小波变换的双水印算法
    许斌 王润生
    2005, 27(1): 24-26. doi:
    摘要 ( 301 )   PDF (146KB) ( 286 )     

    结合数字水印空间域和频域算法的特点,本文提出一种在图像小波变换域嵌入双水印的算法。在图像变换域低频分量嵌入识别水印,高频分量嵌入确认水印,图像版权所有者 拥有单一密钥。试验结果表明,该水印算法具有良好的不可见性和稳健性,能够有效地保护图像版权。

    基于数学形态学的快速运动物体检测
    王志勇 刘文奇
    2005, 27(1): 27-28. doi:
    摘要 ( 342 )   PDF (144KB) ( 416 )     

    本文根据数学形态学理论,提出了一种快速运动物体检测的新方法。与帧间变化检测法相比,新方法不仅能检测出静止背景下的运动物体,而且还能检测出复杂背景下的快速 运动物体,并能提供运动方向信息。

    利用Delphi 6实现主/从表关系
    杨晓波
    2005, 27(1): 29-30. doi:
    摘要 ( 311 )   PDF (86KB) ( 421 )     

    Delphi作为一种具有强大的数据库开发能力的软件开发工具,它对数据库的操作是非常频繁的。本文介绍了建立主/从表关系的相关控件的一些知识,然后以两个例子讲述了在Delphi 6版本中实现主/从表连接的两种基本方法。

    计算机生成兵力平台体系结构技术研究
    郑义 李思昆 曾亮
    2005, 27(1): 31-35. doi:
    摘要 ( 350 )   PDF (242KB) ( 444 )     

    本文介绍了我们实现的计算机生成兵力平台,提出一种开放的CGF系统体系结构SEFBG,给出了一种通用的CGF实体模型以及CGF行为建模语言BBML,针对海战计算机生成兵力进行了试用。试用结果表明,SEFBG可以有效地支持基于DIS或HLA分布仿真平台的计算机生成兵力系统的开发。

    关于数据库查询的自然语言接口研究
    于龙 殷建平 张国敏
    2005, 27(1): 36-37. doi:
    摘要 ( 313 )   PDF (137KB) ( 274 )     

    本文探讨了为数据库查询提供自然语言接口的可能性,给出了查询流程、基于状态转换图的词法分析和语法分析方法、将疑问句转换成SOL查询语句的方法以及由查询结果生成回答句的方法。

    基于空间信息栅格服务的空间数据集成
    傅冰 刘云翔 陈荦 唐宇
    2005, 27(1): 38-39. doi:
    摘要 ( 330 )   PDF (165KB) ( 645 )     

    空间信息栅格(SIG)集成网络上的计算机、数据、设备和服务等空间信息资源,联合向全社会按需提供全方位的信息服务。本文阐述了SIG的概念、关键技术和中心策略,并对当前的信息集成进行了探讨,提出了基于SIG服务的空间数据集成的基本思路。在此基础上,我们实现了SIG原型系统,证明了SIG架构的可行性。

    计算机应用能力网络化考核系统设计
    詹英
    2005, 27(1): 40-41. doi:
    摘要 ( 49 )   PDF (139KB) ( 93 )     

    文章介绍了一个基于B/S的考核系统。通过对Office软件的VBA对象结构的分析,提出了通过XML的评分脚本(XML-Based Script)技术实现的评分模式,使系统具备更高的可靠性和容错能力。考生可以使用Web浏览器完成所有的考试,减少了硬件投资,最终实现远程考试。

    基于梯度动力学的协同神经网络学习算法的改进
    陈丽 戚飞虎
    2005, 27(1): 42-45. doi:
    摘要 ( 66 )   PDF (171KB) ( 103 )     

    本文在研究协同神经网络梯度动力学过程的基础上,针对学习过程收敛速度缓慢的缺点,提出了一种改进的、基于梯度动力学的协同神经网络学习算法。该算法分析了非平衡注意参数对学习过程的影响,简化了初始伴随向量的选取;并引入最优化理论,将该问题归结为求解非线性最优化问题,用共轭梯度法代替梯度下降法,加快了学习过程的收敛。通过对汉字图像库和人脸图像库的图像识别实验表明,该算法比其他学习算法的识别率高,并能较快地收敛到极小值。

    QEA加密算法的研究与设计
    吕俊怀[1] 王波[1] 刘俭云[2] 陈厚桥[1]
    2005, 27(1): 46-47. doi:
    摘要 ( 62 )   PDF (78KB) ( 146 )     

    本文主要论述了快速加密算法QEA、加密和解密过程及实现。QEA加密算法首先从文件中读取数据,将明文进行64位的数字化分组,再将64位分成32位的两组数据;然后,读取128位密钥,将其分成四组,每组32住,通过循环移位,每组产生8组子密钥;通过8次循环迭代的异或, 形成64位的密文。此算法具有加密程度高、应用方便、开销小等特点。

    移动自组网络分簇算法综述
    胡光明 蒋杰 龚正虎
    2005, 27(1): 48-50. doi:
    摘要 ( 77 )   PDF (188KB) ( 173 )     

    在移动自组网络中,许多应用都依赖层次结构的支持。簇结构是移动自组网络中应用最为广泛的层次结构。本文介绍了实现簇结构的多种典型分族算法,以及度量分簇算法的标准与工具,比较了各种算法的优缺点,最后对未来分簇算法的研究热点进行了预测。

    嵌入式多功能芯片管理模块的研究与实现
    胡贯荣 黄晓峰 涂刚
    2005, 27(1): 51-53. doi:
    摘要 ( 55 )   PDF (132KB) ( 96 )     

    本文对基于AC’97规范的多功能芯片进行了研究,并合理安排了各功能模块,最后利用Linux心多种机制实现了芯片的管理。

    高速浮点乘法部件的CMOS电路设计
    郝志刚 曾献君 李国宽
    2005, 27(1): 54-57. doi:
    摘要 ( 55 )   PDF (158KB) ( 202 )     

    本文提出了一种有效的高速乘法器结构,该结构具有连线简单、速度快的优点,阐述了用传输管实现的串行进位加法器、存储进位加法器(CSA)和子倍数选择电路的设计思想。

    基于Gray码的异步FIFO接口技术及其应用
    汪东 马剑武 陈书明
    2005, 27(1): 58-60. doi:
    摘要 ( 48 )   PDF (120KB) ( 162 )     

    本文介绍了利用异步FIFO在跨时钟域的逻辑设计中进行异步接口的技术,介绍了利用Gray码作异步FIFO指针的方法。这些技术和方法对于异步逻辑的设计具有广泛的参考意义。

    基于LCC的LEAP编译器设计与实现
    李宝峰 窦勇 周兴铭
    2005, 27(1): 61-63. doi:
    摘要 ( 40 )   PDF (174KB) ( 136 )     

    开发并行体系结构——LEAP之上的编译器是验证LEAP正确性和有效性的重要基础。因此,我们设计并实现了LEAP-CC。本文全面介绍了LEAP-CC的设计方案和实现过程,并给出了实现中的一些关键技术。最后,本文还就一个测试程序给出了LEAP-CC的编译结果。测试结果证明,LEAP-CC方案合理,功能无误。

    嵌入式Linux系统BSP的设计与实现
    阳富民 王朋宇 涂刚
    2005, 27(1): 64-66. doi:
    摘要 ( 79 )   PDF (132KB) ( 102 )     

    本文介绍了嵌入式系统的BSP及其作用,以基于PXA250的嵌入式Linux系统为开发环境,详细阐述了不同开发阶段BSP的设计与实现。

    面向Agent的软件开发方法及其评估
    闫琪 毛新军 王怀民 朱鸿 齐治昌
    2005, 27(1): 67-69. doi:
    摘要 ( 49 )   PDF (138KB) ( 197 )     

    本文根据技术背景的差异,对已有面向Agent的软件开发方法进行了系统的分类,介绍了当前较有影响的一组代表性工作,分析和评估了各种方法的技术特点、适用范围及其存在的问题,概述了已有工具对面向Agent软件开发方法的支持;在参考国际上比较关注的面向Agent软件 开发方法特性的基础上,提出了面向Agent软件开发方法的评估方法,对今后研究亟待解决的关键问题作了展望。

    软件配置管理中的分支管理与协作机制研究
    陈帆[1] 尹黎明[1] 肖卫军[1] 沈全勇[2]
    2005, 27(1): 70-73. doi:
    摘要 ( 54 )   PDF (178KB) ( 86 )     

    本文探讨了以并行软件开发为背景的软件配置管理对分支管理和分支间协作的基本要求,分析了在典型配置管理模型下进行分支管理和分支间协作存在的主要问题,并针对这些问题提出了一个灵活的、基于信息路由的协作机制。

    基于模糊综合评判的分类模型及其应用
    张丽娟 李舟军 陈火旺
    2005, 27(1): 74-76. doi:
    摘要 ( 44 )   PDF (127KB) ( 103 )     

    对传统的分类方法而言,分类结果是非常明确的。当将这些分类方法应用于模糊性对象时,其明确的分类结果显得不公平且与实际不符。本文研究了模糊数学的基本概念和方法,提出了一种基于模糊综合评判的分类模型,并将该模型应用了把企业信用评估中。

    基于UML的消防接处警系统开发建模研究
    张智彬 陈宏盛
    2005, 27(1): 77-79. doi:
    摘要 ( 49 )   PDF (133KB) ( 130 )     

    接处警系统作为城市消防通信指挥系统的核心组成部分,系统结构复杂,功能强大。统一建模语言UML是一种表达能力丰富的、强有力的建模语言。该文首先简要介绍了UML几技术及其在开发应用程序中的一般框架,并以此为依据,使用UML对接处警系统开发进行建模,给出了基于UML的接处警系统开发分析阶段描述。

    高性能计算机RAS技术现状与趋势
    蒋旬平 庞征斌 周兴铭
    2005, 27(1): 80-82. doi:
    摘要 ( 59 )   PDF (196KB) ( 451 )     

    RAS技术是实现计算机系统高可靠、高可用和高可维的重要技术手段。本文描述了高性能计算机系统对RAS的需求,介绍了当前RAS技术的现状,并对其发展趋势进行了分析。

    基于BER的ASN.1编解码原理与设计实现
    余鹰 范辉 见春蕾
    2005, 27(1): 83-86. doi:
    摘要 ( 55 )   PDF (194KB) ( 608 )     

    本文介绍了ASN.1和BER基本编码规则,分析了7号信令协议栈的TCAP层消息结构和ASN.1之间的关系,详细介绍了应用于信令中继系统中的ASN.1编解码模块的设计和实现。

    CCM构件技术的研究与实现
    窦蕾 吴泉源 贾焰
    2005, 27(1): 87-88. doi:
    摘要 ( 50 )   PDF (127KB) ( 89 )     

    本文首先介绍CCM产生的背景和驱动力,然后介绍我们参照CCM规范实现的CCM构件平台。最后,通过比较构件模型和对象模型及比较两种构件模型CCM和EJB,对CCM构件技术的特点进行了总结。

    一种多实例工作流模式的解决方案
    陈大锋 吴泉源 刘江宁 刘必欣
    2005, 27(1): 89-92. doi:
    摘要 ( 51 )   PDF (177KB) ( 88 )     

    多实例MI是一种重要的工作流模式,由于它引入了许多与工作流语言的语义和系统实现相关的问题,在许多情况下难以被直接有效地实现。本文在对MI的类型和实现技术进行分析的基础上,提出了一种基于“活动数组”的方案。它不仅能明显简化MI的建模,提高模型语义的精 确性,并且具有较强的表达能力,实现较简洁。

    跨平台、多用户iSCSI存储系统的实现与管理
    鲁修卓 谢长生 任劲
    2005, 27(1): 93-95. doi:
    摘要 ( 41 )   PDF (128KB) ( 159 )     

    SCSI协议用来与I/O设备尤其是存储设备通信。iSCSI是工作在TCP/IP之上的SCSI传输协议,其基本功能是将SCSI命令封装在IP包内,通过TCP/IP网络传输到存储设备,再由网络接收命令处理的结果。本文将介绍iSCSI在Linux和Windows 2000两种操作系统下的实现过程,论述  iSCSI的多用户访问和管理方法,最后对所实现的iSCSI系统的性能测试结果进行分析。

    变精度粗集模型在决策树生成过程中的应用
    王名扬[1] 卫金茂[3] 伊卫国[1]
    2005, 27(1): 96-98. doi:
    摘要 ( 62 )   PDF (103KB) ( 103 )     

    Pawlak粗集模型所描述的分类是完全精确的,而没有某种程度上的近似。在利用Pawlak粗集模型构造决策树的过程中,生成方法会将少数特殊实例特化出来,使生成的决策树过于庞大,从而降低了决策树对未来数据的预测和分类能力。利用变精度粗集模型,对基于Pawlak粗集 模型的决策树生成方法进行改进,提出变精度明确区的概念,允许在构造决策树的过程中划入明确区的实例类别存在一定的不一致性,可简化生成的决策树,提高决策树的泛化能力。

    基于Java源码的设计模式探测初探
    徐正权 但蕾蕾
    2005, 27(1): 99-101. doi:
    摘要 ( 67 )   PDF (120KB) ( 184 )     

    设计模式探测是从源码中提取设计模式实例的过程,其搜索算法是探测的关键。文中分析了设计模式探测的一般步骤和搜索策略,通过实现从Java源码中搜索Factory Method模式的算法,给出了设计模式自动探测工具的搜索功能实现原型。

    面向供应链的生产计划模型研究
    林中旭 林中伟
    2005, 27(1): 102-104. doi:
    摘要 ( 66 )   PDF (106KB) ( 85 )     

    在协同的商务环境下,供应链计划排程必须从全局规划的角度来整合供应链上所有的资源,以消除企业个体规划所产生的冲突。因此,传统计划方法不适用于供应链的计划与高度需求。本文针对分布式多供应商、多工厂、多分销商和多客户的情况,建立了供应链生产计划模型 。仿真结果说明了模型的有效性和可行性。

    网络流量技术应用与分析
    田东 董德存
    2005, 27(1): 102-104. doi:
    摘要 ( 25 )   PDF (150KB) ( 90 )     

    随着因特网的高速发展,IP网络承载的数据流量越来越大,需要了解IP网络的整体性能及流量状况来适应业务的发展。本文阐述当前主要的流量技术NETFLOW与RMON2的原理、结构和关键技术,提出了基于NETFLOW技术的应用分析,并对RMON2与NETFLOW的应用进行了比较分析。

    虚拟FTP服务器的一种负载调度算法
    尚艳艳 陈国龙
    2005, 27(1): 108-110. doi:
    摘要 ( 59 )   PDF (120KB) ( 89 )     

    本文根据已有的LVS集群系统组建了一台虚拟FTP服务器,针对已有调度算法的不足和FTP服务的特点提出一种基于主机的调度算法,并从理论上分析了算法的可行性。