本文提出了在YH-2机上计算分叉问题的SORTLIB库分类向量算法,并和其他向量算法进行了比较,效能测试表明,这种算法是YH-2机上计算分叉问题的最优算 法。
本文针对当今流行的一类变长码数据压缩编码技术,提出了一种通用的适于软件实现的独立于码表的优化译码算法,文中分析了该算法的核心技术及模型,最后依据该算法实 现了一种MREAD编码的解码。
本文通过分析MD5报文摘在要算法的四个非线性函数的特点,讨论了MD5的每个圈函数的许多碰撞及这些碰撞发生的概率,本文的分析结果有助于了解MD5各圈函数的 特点及MD5方案的安全性。
我们在PC机上实现了Adleman-Pomerance-Rumely的Jacobi和素性测定算法的Cohen-Lenstra版本,我们的Pascal程序在486微机上对104位素数的严格素性证明在5分钟内完成。
本文对不同通信及协调机制的程序设计语文的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型,此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平概念:弱公平性,进程公平性和强公平性。我们进一步对每一类公平性进行了分析。
军标图符库是专为指挥系统中综合显控台的态势显示而设计的,本文从图形系统硬件的巧妙使用的软件中图形数据结构的科学设计两方面,讲述了如何提高图形显示速度以及 如何压缩军标,图符的数据量的一些方法。
曲线轮廓汉字的优越性已越来越受到广大用户的认同。本文概述了分析方正Ⅴ型卡曲线汉字技术的方法。
并行知识库机是利用多机系统的并行性提高知识库系统理效率的专用机,我们研制的并行知识库机由前后端机组成。其中,前端机是一台486微机,而后端机是基于TRANSPUTER的多机系统,本文重点研究后端机的拓扑结构,与PC机的接口和存储器的设计等问题。
本文介绍了一种新型的对象类型规范语言,它融汇了一些关于对象类型理论的最新成果,并给出了基于该语言的子类型概念。
本文提出了一种新的生成自相似几何分形集的技术准则:动态方向准则,并给出了动态方向准则的应用原则,在该原则下,提出了符号移位法,以实现递归过程中方向的动态 控制。动态方向准则继承了传统方法中生成几何自相似集的机理,同时增加了由一种生成元和初始元所能生成的分形图形的种类。
本文提出了一种采用新型双口RAM器件来实现双机通讯的方案,由于采用双口RAM非异步的流水线方式和较少的元器件,所以与一般的通讯方案相比,其硬件结构要简单 些,通讯速度也提高了许多倍。
本文分析了轴角编码器中粗精组合与纠错的基本原理,并基于160DD×4/16多线旋转变压器,提出了运用纯硬件电路实现编码纠错的一种简单方法,这种方法具有快 速,简洁易行,准确等优点。