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

当期目录

    论文
    分叉计算问题在YH—2机上的向量算法
    廖振民 袁仙春
    1996, 18(2): 1-6. doi:
    摘要 ( 359 )   PDF (155KB) ( 338 )     

    本文提出了在YH-2机上计算分叉问题的SORTLIB库分类向量算法,并和其他向量算法进行了比较,效能测试表明,这种算法是YH-2机上计算分叉问题的最优算 法。

    变长码通用译码算法的设计与实现
    高罕
    1996, 18(2): 7-14. doi:
    摘要 ( 372 )   PDF (180KB) ( 324 )     

    本文针对当今流行的一类变长码数据压缩编码技术,提出了一种通用的适于软件实现的独立于码表的优化译码算法,文中分析了该算法的核心技术及模型,最后依据该算法实 现了一种MREAD编码的解码。

    MD5报文摘要算法的各圈函数碰撞分析
    王小云 张金清
    1996, 18(2): 15-22. doi:
    摘要 ( 371 )   PDF (170KB) ( 490 )     

    本文通过分析MD5报文摘在要算法的四个非线性函数的特点,讨论了MD5的每个圈函数的许多碰撞及这些碰撞发生的概率,本文的分析结果有助于了解MD5各圈函数的  特点及MD5方案的安全性。

    Jacobi和素性测定算法在PC上的实现
    张振祥
    1996, 18(2): 23-28. doi:
    摘要 ( 446 )   PDF (127KB) ( 474 )     

    我们在PC机上实现了Adleman-Pomerance-Rumely的Jacobi和素性测定算法的Cohen-Lenstra版本,我们的Pascal程序在486微机上对104位素数的严格素性证明在5分钟内完成。

    公平性分类及其分析
    贾国平 郑国梁
    1996, 18(2): 29-33. doi:
    摘要 ( 354 )   PDF (150KB) ( 371 )     

    本文对不同通信及协调机制的程序设计语文的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型,此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平概念:弱公平性,进程公平性和强公平性。我们进一步对每一类公平性进行了分析。

    指挥系统中军标图符库的设计
    陈惠桐 尹迪
    1996, 18(2): 34-37. doi:
    摘要 ( 357 )   PDF (133KB) ( 365 )     

    军标图符库是专为指挥系统中综合显控台的态势显示而设计的,本文从图形系统硬件的巧妙使用的软件中图形数据结构的科学设计两方面,讲述了如何提高图形显示速度以及 如何压缩军标,图符的数据量的一些方法。

    方正Ⅴ型卡曲线汉字实现技术
    吕强 邵斌
    1996, 18(2): 45-55. doi:
    摘要 ( 340 )   PDF (311KB) ( 363 )     

    曲线轮廓汉字的优越性已越来越受到广大用户的认同。本文概述了分析方正Ⅴ型卡曲线汉字技术的方法。

    基于TRANSPUTER多机系统的研究与设计
    王开慧 程退安
    1996, 18(2): 56-65. doi:
    摘要 ( 363 )   PDF (241KB) ( 505 )     

    并行知识库机是利用多机系统的并行性提高知识库系统理效率的专用机,我们研制的并行知识库机由前后端机组成。其中,前端机是一台486微机,而后端机是基于TRANSPUTER的多机系统,本文重点研究后端机的拓扑结构,与PC机的接口和存储器的设计等问题。

    一种新型的对象类型规范语言
    李侃 李舟军
    1996, 18(2): 66-72. doi:
    摘要 ( 367 )   PDF (155KB) ( 314 )     

    本文介绍了一种新型的对象类型规范语言,它融汇了一些关于对象类型理论的最新成果,并给出了基于该语言的子类型概念。

    几何分形图形的动态方向准则
    张谦 卢振荣
    1996, 18(2): 73-78. doi:
    摘要 ( 330 )   PDF (146KB) ( 330 )     

    本文提出了一种新的生成自相似几何分形集的技术准则:动态方向准则,并给出了动态方向准则的应用原则,在该原则下,提出了符号移位法,以实现递归过程中方向的动态  控制。动态方向准则继承了传统方法中生成几何自相似集的机理,同时增加了由一种生成元和初始元所能生成的分形图形的种类。

    一种新颖的双口RAM通讯方案
    赵跃龙 张江陵
    1996, 18(2): 79-81. doi:
    摘要 ( 370 )   PDF (83KB) ( 336 )     

    本文提出了一种采用新型双口RAM器件来实现双机通讯的方案,由于采用双口RAM非异步的流水线方式和较少的元器件,所以与一般的通讯方案相比,其硬件结构要简单 些,通讯速度也提高了许多倍。

    轴角编码器中的粗精组合与纠错技术实现
    吴虎成 张俊科
    1996, 18(2): 82-85. doi:
    摘要 ( 389 )   PDF (88KB) ( 321 )     

    本文分析了轴角编码器中粗精组合与纠错的基本原理,并基于160DD×4/16多线旋转变压器,提出了运用纯硬件电路实现编码纠错的一种简单方法,这种方法具有快 速,简洁易行,准确等优点。