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

当期目录

    论文
    一种基于角色访问控制的新模型
    胡和平 汪传武
    2002, 24(4): 1-3. doi:
    摘要 ( 360 )   PDF (170KB) ( 468 )     

    本文在充分研究基于角色访问控制模型的基础上,提出了一种基于角色的访问控制新模型(WRBAC)--基于业务工作流和角色的访问控制,并给出了这种模型的非形式化描述和形式化描述,最后介绍了基于这种模型的实例系统。

    一个先进加密库系统CRYPTLIB
    柴新忠[1] 宁洪[2] 等
    2002, 24(4): 4-6. doi:
    摘要 ( 340 )   PDF (186KB) ( 443 )     

    本文分析了一种先进的加密体系结构,它包含了一个控制访问对象的安全核心,位于其上的是一些实现基本功能的模块,如加密和数字签名、证书管理、安全会话、数据密封等。

    密钥协商的Kerberos化(KINK)及实现
    赵春晖 孟波
    2002, 24(4): 7-9. doi:
    摘要 ( 302 )   PDF (199KB) ( 487 )     

    本文讨论了为什么要实现密钥协商的Kerberos化(Kerberized Internet Negotiation of Keys,简称KINK)和怎样在IKE(Internet Key Exchange,简称IKE)的基础上进行 KINK,提出了一种在Linux系统中实现KINK的方案。

    基于角色的访问控制在WFPN模型中的实现
    叶卫国 卢正鼎
    2002, 24(4): 10-13. doi:
    摘要 ( 321 )   PDF (188KB) ( 423 )     

    大多数现存工作流系统缺乏如验证、网络安全等基本安全服务,本文研究了基于角色的访问控制并应用于WFPN模型:首先定义了扩展的RBAC模型及WFPN模型,然后描述了安全 机制的实现过程,最后采用COTS技术来实现我们的系统结构。

    入侵检测中的人工智能方法研究
    梁铁柱[1] 李建成[2]
    2002, 24(4): 14-17. doi:
    摘要 ( 346 )   PDF (218KB) ( 468 )     

    人工智能方法已经应用在异常检测、数据约简和归纳,以及审计数据的规则发现与解释中。本文分析了人工智能方法在入侵检测系统中的应用情况,讨论了与之相关的主要技术问题,并通过一个实例来说明聚类方法对提高网络连接的分类性能的效果。

    搜索引擎的设计剖析
    张汛涞
    2002, 24(4): 18-20. doi:
    摘要 ( 315 )   PDF (143KB) ( 666 )     

    本文介绍了搜索引擎的四个组成部分:搜索器、索引器、检索器和用户接口,并分析其工作原理,给出搜索引擎中包含的关键技术算法,分词技术、多路归并算法和大文件处理技术;最后结合当前最新的几种搜索引擎在多语言处理,专业化和有效性等方面的技术改进目标。

    利用有限状态机分析TCP协议握手过程的安全问题
    刘湘辉[1] 许江[2] 等
    2002, 24(4): 21-23. doi:
    摘要 ( 442 )   PDF (146KB) ( 782 )     

    本文提出一种扩充的有限状态机模型,设计了一种状态空间的搜索处法,并在此模型的基础上,用搜索算法分析了TCP协议握手过程的安全问题。

    基于路由器的网络拥塞控制策略研究
    陈晶 郑明春 等
    2002, 24(4): 24-27. doi:
    摘要 ( 311 )   PDF (196KB) ( 599 )     

    因特网的迅速发展使拥塞控制问题日益得到人们的重视,传输控制协议(TCP)在拥塞控制中一直发挥着至关重要的作用,但路由器是网络中的核心部件,是网络状态更直接的感受者。为实现网络的有更有效的控制,路由器端处也应采取相应的措施,本文讨论了路由器端的几种拥塞控制方安,并分析了比较各种方案的优缺点。

    基于J2EE的网上定货系统的设计与实现
    常晋义 周蓓
    2002, 24(4): 28-30. doi:
    摘要 ( 322 )   PDF (198KB) ( 454 )     

    以当前农资销售市场的业务需求,结合国内实施电子商务的具体环境,设计了一个基于J2EE的农资电子商务系统的网上定货子系统。系统以网上调拨配送为分析重点,建立了 一种基于J2EE的崭新软件平台体系,以Java应用服务器JRun为核心,给中小型企业建立电子商务系统提供了一种新的思路。

    基于Web的考试系统实现技术
    蔡碧野
    2002, 24(4): 31-34. doi:
    摘要 ( 296 )   PDF (202KB) ( 466 )     

    本文简术字基于Web技术的网络考试系统,分析了分布式Web应用系统及其相关的ASP技术、COM组件技术及MTS技术,最后介绍了如何利用Delphi5.0提供的Internet Express技术开发分布式应用系统。

    交通道路网中任意两点之最短路径的快速算法
    周培德
    2002, 24(4): 35-37. doi:
    摘要 ( 310 )   PDF (145KB) ( 1427 )     

    寻找交通道路网中任意两点之间最短径的算法已有许多,其中Dijkstra算法是最有效的算法之一,其时间复杂性为O(n^2)。本文提出的算法与Dijkstra算法不同,其主要思 想是依据从始点至终点的直线段方向选择边产生二叉树,并采取有效方法降低二叉树的规模及缩短路径长度,然后由二叉树节点的标记计算出近似最短路径及其长度,反复执行常数次该算法可以求得最短路径及其长度。

    实时系统中的调度算法分类研究
    禹农[1] 孙祥斌[2]
    2002, 24(4): 38-40. doi:
    摘要 ( 329 )   PDF (147KB) ( 668 )     

    本文叙述了实时系统中调度算法的分类、各类算法的研究成果和近期研究状况。

    一种基于粗集理论不完备数据的改进算法
    张振华 刘文奇
    2002, 24(4): 41-42. doi:
    摘要 ( 290 )   PDF (138KB) ( 365 )     

    本文在对粗集理论进入深入研究的基础上,依据决策规则独立原则,提出一种改进的ROUSTIDA算法,有效地解决了原算法可能存在的决策规则矛盾的问题,实例表此方法是行之有效的。

    视频回取过程的数学建模
    刘衡竹[1] 鲁正海[2] 等
    2002, 24(4): 43-47. doi:
    摘要 ( 318 )   PDF (247KB) ( 348 )     

    本文提出了从磁盘系统中读取连续媒体数据以缓冲器的一般回取框架,然后对基于服务循环的回取算法进行了深入的讨论、量化分析和数学建模。

    基于特征向量和分类树的签名认证方法
    邱德红 陈杲 等
    2002, 24(4): 48-49. doi:
    摘要 ( 312 )   PDF (150KB) ( 372 )     

    本文介绍了如何从签名的基本信息中提取签名特征构成特征向量,在此基础上提出了生成分类树,以及根据分类对的树型特征进行签名真伪认证的方法。该方法简单快捷,决策依据的物理意义明确,在实验中获得了较好的认证效果。

    照片的公有水印防伪算法
    刘春和 陆哲明 等
    2002, 24(4): 50-53. doi:
    摘要 ( 302 )   PDF (196KB) ( 451 )     

    照片的数字水印防伪处理是通过在原始照片中嵌入数字水印来证实照片所有权的过程。数字水印于少应具有如下特征:安全性、鲁棒性和透明性。公有水印技术是水印提取或检测时不需要原始照片参与。本文提出了一种改进的利用DCT系数量化的有水印算法。实验结果表明,该算法有相当好的鲁棒性,可以应用于照片防伪。

    Web数据库访问的中间件技术分析与研究
    徐琨 刘志镜 等
    2002, 24(4): 54-56. doi:
    摘要 ( 328 )   PDF (193KB) ( 748 )     

    本文介绍了基于B/S模式三层体系结构,同时分析了中间件技术在三层结构中的作用。然后讨论了几种基于Web服务器端的中间件技术及其各自优缺点,最后详细介绍了一种新的中间件技术-JSP/Servlet,并给出了实现模型。

    动态数据记录存储结构的设计
    鞠时光 蔡涛 等
    2002, 24(4): 57-59. doi:
    摘要 ( 314 )   PDF (132KB) ( 457 )     

    在新兴的数据库应用领域中,出现了许多不确定,不完全的动态数据记录,这就要求数据库管理系统能够存储长度可变或格式可变的数据记录,有的场合需求存储记录属性内 嵌复杂对象的数据信息。本文首先对传统的记录存储结构进行分析,进而设计出适宜于存储不确定、不完全信息的存储数据结构。

    数据仓库保证任务一致性的多版本实视图维护
    方翔 李伟生
    2002, 24(4): 60-63. doi:
    摘要 ( 312 )   PDF (188KB) ( 461 )     

    本文在3vwq算法的版本控制和补充思想的基础上,提出利用实现图的相关性和通过灵活的版本控制解决用户查询时的任务一致性问题和视图维护的多版本问题。

    SQL3对面向对象技术的支持
    曹渝昆 朱征宇 等
    2002, 24(4): 64-67. doi:
    摘要 ( 340 )   PDF (178KB) ( 442 )     

    在关系数据库中融合面向对象技术已经成为当今数据库领域研究和发展的热点。SQL3是最新的关系数据库语言标准,特别增加了SQL语言对面向对象技术的支持。文章以SQL3对面向对象技术的支持为出发点,初步探讨了面向对象技术在SQL语言中应用,并结合实例分析了SQL3中为面向对象技术提供的数据类型,调用例程和对象语言等。

    针对ASIC中记忆部件的易测试性设计技术
    张民选 张承义 等
    2002, 24(4): 68-70. doi:
    摘要 ( 353 )   PDF (141KB) ( 398 )     

    本文提出了一种简洁有效的,针对ASIC中记忆部件的易测试性设计技术,可消除部分不可测故障,提高故障覆盖率。

    并行PC系统结构及其I/O性能评价
    李之棠 赵振龙 等
    2002, 24(4): 71-73. doi:
    摘要 ( 311 )   PDF (183KB) ( 407 )     

    传统的微/小型计算机采用共享总线结构,其带宽,扩展性,可用性,可靠性等受到限制,因此,总线形成了系统内部通信瓶颈,并行PC结构是一种新型的,以交换网络为中心的、高效的系统结构,它解决了传统PC机存在的不足和缺陷,本文对并行PC系统结构了介绍,然后采用M/M/1排队模型,针对传统PC和并行PC的I/O性能进行了评价与比 较,最后给出结论及建议。

    具有可信度的主体信念
    顾益军 朱娟 等
    2002, 24(4): 74-77. doi:
    摘要 ( 405 )   PDF (174KB) ( 350 )     

    本文提出了一种基于可信度逻辑的主体信念程度描述方法,这种方法通过定义信念的可信度描述主体信念的不确定性,允许相互矛盾的主体信念同时存在,并给出了可信度的计算方法与推理规则。信念修正和更新时,根据主体不同的性格采取不同的选择倾向,本文提出的“必要时修正”方法具有很高的效率和实用性。本文选择基于区间的时间逻 逻辑描述主体信念中的时间概念,为涉及到大量时间段行为与操作的应用提供了一个新的信念逻辑描述方法。

    SMPCluster:如何开发两级并行
    王韬 李晓明
    2002, 24(4): 78-80. doi:
    摘要 ( 333 )   PDF (192KB) ( 613 )     

    本文由基础的Linux操作系统入手,考察在一个SMP系统内部的两种不同的并行实现机制:代表共享存储模型的线程模型(和OpenMP模型)和代表消息传递模型的MPI模型。然后,通过分析应当如何结合节点和节点内两级并行得出:从效率和易用性的综合考虑,在LinuxSMP Cluster上应当直接使用利用共享内存进行通信的MPI进行编程。

    基于ADuC812的温湿度测量控制系统
    朱祖俊[1] 甘亚莉[2]
    2002, 24(4): 81-82. doi:
    摘要 ( 290 )   PDF (145KB) ( 539 )     

    文中介绍了ADuC812为核心的温湿度测控系统的原理,并给出了硬件电路和软件编程的设计方法。

    几个常用解释器的性能分析
    吴作顺 窦文华
    2002, 24(4): 83-84. doi:
    摘要 ( 362 )   PDF (147KB) ( 517 )     

    解释性语言由于其易用、可移植性好,安全可靠等原因得到越来越多的应用,本文从硬件和软件的角度出发,分析了几个常用解释器的性能以及影响其性能的因素。结果表明 ,解释器的性能与解释语言虚拟机、解释性语言的运用库都有着很大的关联,而上层应用程序对其性能没有太大影响。

    汉英机器翻译中汉语篇章时间信息系统模型
    马红妹 齐璇 等
    2002, 24(4): 85-88. doi:
    摘要 ( 285 )   PDF (189KB) ( 471 )     

    汉语篇章中时间信息的分析及其在英语译文中的再现是汉英机器翻译的一个难点,本文首先提出了一种汉语篇章分析方法,然后建立了一个汉语篇章时间信息系统模型,并在汉英机器翻译中进行了实现工作。

    分布式互操作调合系统DIMS
    刘宇
    2002, 24(4): 89-93. doi:
    摘要 ( 296 )   PDF (257KB) ( 380 )     

    DIMS是解决异种或独立信息资源之间专用信息收集问题的一个查询合框架,允许信息用户基于个人视图的角度而不是系统定义系统的集成角度来表示查询,它的查询调合过程分5个步骤:查询路由选择、查询分解、并行访问计划生成、子查询变换及执行和查询结果装配。

    全数字化实现的异步电动机直接转矩控制
    王敏[1] 王颖[2] 等
    2002, 24(4): 94-97. doi:
    摘要 ( 277 )   PDF (179KB) ( 444 )     

    本文开发了一套全数字化的直接转矩控制系统,用于异步电动机的控制,文中给出了其硬件和软件系统的结构及工作流程,并详细介绍了全数字化实现和提高系统快速性方面所采用的关键技术。实验结果证明本设计是可行的,算法是高效的。

    可编程设计在存储控制器实现中的应用
    田际平
    2002, 24(4): 98-101. doi:
    摘要 ( 294 )   PDF (185KB) ( 342 )     

    本文给出了一个动态随机访问存储器控制器的设计实例,并且说明应设置哪些参数来实现可编程设计。

    动态菜单和窗口的自动创建与管理
    蔡志文 姚益平
    2002, 24(4): 102-104. doi:
    摘要 ( 304 )   PDF (141KB) ( 365 )     

    为了提高通用分布式显控软件的通用性和灵活性,显控软件基于控制文件进行设计,本文介绍了根据控制文件自动生成并管理动态菜单的技术,介绍了利用动态数组窗口进行管理,对窗口关闭时的线程进行同步的技术。

    时间Petri网在企业经营过程重组中的应用研究
    刘杰昌 曹化工 等
    2002, 24(4): 105-107. doi:
    摘要 ( 332 )   PDF (143KB) ( 326 )     

    本文给出了时间Petri网对企业经营过程中的生产流水线进行建模,并将之与工作流管理系统相结合以进行仿真分析的一种方案;结合实例说明方案的实施过程,其中关键在于约束条件的充定;通过消除“瓶颈”优化生产流水线,实现企业经营过程的有效重组。

    多数据库系统中关键技术的研究
    韩伟红 杨晓东
    2002, 24(4): 109-109. doi:
    摘要 ( 233 )   PDF (65KB) ( 308 )     
    典型结构大型线性方程组的分布式并行算法研究
    骆志刚 李晓梅
    2002, 24(4): 109-109. doi:
    摘要 ( 248 )   PDF (65KB) ( 342 )