计算机工程

Select

性质继承的线性逻辑表示和推理

黄林鹏,孙永强

. 1993, 19(03): 3-8.

摘要 ( ) PDF全文 ( )

可视化

本文给出了一个性质的带例外继承的形式表示方法和推理模型,该方法采用线性逻辑的连接词和推理规则,避免了例外的显式表示,在不借助于逻辑外机制的情况下有效地解决了带例外继承推理中出现的问题.

Select

模糊函数依赖与模糊关系的规范化

吴永辉

. 1993, 19(03): 9-13.

摘要 ( ) PDF全文 ( )

可视化

本文基于一个模糊关系数据库系统的实验性原型FRDB1中定义的模糊关系.首先定义了模糊等价性,然后描述并验证了模糊依赖的理论,最后讨论了模糊关系的规范化设计.

Select

多媒体技术

顾君忠,王人生

. 1993, 19(03): 14-20.

摘要 ( ) PDF全文 ( )

可视化

近年来,多媒体(multimedia)技术蓬勃发展.本文对联邦德国正在开发的一个多媒体电子新闻系统—is—News进行了分析,从而论述了多媒体技术的特点和尚需解决的问题.＊

Select

动画自动生成环境JT-AGE

晏才林,盛焕烨,郑凯

. 1993, 19(03): 21.

摘要 ( ) PDF全文 ( )

可视化

本文结合一个研制的二维动画自动生成环境JT-AGE,研究动画自动生成系统中画面描述,运动描述及画面运动控制等实现技术,并给出一种动画描述原语,该动画自动生成环境基于运动学模型,采用双缓冲显示技术.＊

Select

一个快速线裁剪方法

刘勇奎

. 1993, 19(03): 24.

摘要 ( ) PDF全文 ( )

可视化

在计算机图形学中,线裁剪过程的主要内容就是求线与窗口边界的交点的过程.本文讨论了线裁剪中的求交问题,提出将线的裁剪过程与生成过程有机地结合起来进行综合考虑,指出在裁剪过程中有些交点的计算是不必要的,并且给出了相应的条件.然后,根据前面阐述的新思想提出了一个线裁剪新算法,并且与现有的几种主要的线裁剪算法进行了比较.结果表明:新算法在执行过程中采用了较少的判断,并且所计算的交点数也是较少的(甚至对于某些部分可见线段的裁剪,不必计算任何交点便可完成裁剪过程),因而其执行速度是较快的.＊

Select

微机多任务实时操作系统——设计与应用

陈曾汉 ,蔡德礼 ,蔡增华 ,高长良 ,何立明 ,罗正经

. 1993, 19(03): 29-33.

摘要 ( ) PDF全文 ( )

可视化

本文从应用角度,介绍了一种用于微机安全监测系统的MROS,十分详尽地分析了它的设计思想、功能、原理及特点.本文的叙述方式颇为新颖.

Select

私有Cache的选择对紧耦合多处理机系统访存冲突的影响

邢二保,周兴铭

. 1993, 19(03): 34-39.

摘要 ( ) PDF全文 ( )

可视化

使用Cache有两点好处:减少访存链时间及减轻访存负载.有许多种计算机使用了Cache(如小型机和微型机).本文分析了概率意义下紧耦合多处理机系统引进不同的私有Cache对系统访存负载的影响.结果表明,标量程序得益于标量Cache,而不论向量化程度的高低,均可采用标向量混合Cache.随着紧耦合处理机系统中处理机数目的不断增加,访存冲突会更加严重.大容量的标向量混合Cache将是缓解这一问题的有效途径.＊

Select

COMPS连接法定理证明系统

缪淮扣,李迎豪,吴茂康

. 1993, 19(03): 40-45.

摘要 ( ) PDF全文 ( )

可视化

连接法是继归结法以后由Bibel W等人于80年代初提出的一种自动定量证明的方法.本文介绍了一个以PASCAL语言在IBM4361中型机上实现的COMPS连接法定理证明系统.＊

Select

层次式并行处理系统通讯机制的实现

许佑辉,王仲康

. 1993, 19(03): 46-50.

摘要 ( ) PDF全文 ( )

可视化

本文从目前信息传递通讯方式的普遍应用,探讨了层次式并行处理系统中有关信息传递通讯方式功能及实现的原理,并详细地给出了实现所需要的包格式和具体的通讯机制以及控制方式.最后分析了信息传递通讯方式在层次式并行处理系统中的性能.

Select

32位结构将逐步过渡到64位结构

张正兴

. 1993, 19(03): 50.

摘要 ( ) PDF全文 ( )

可视化

<正> 据IDC最近的一份研究报告预测,64位体系结构是计算机技术必然的发展趋势,但在本世纪内不会占统治地位。从32位过渡到64位完全不同于以前16位到32位的过渡.在16位向32位过渡时,人们迫切需要扩大地址空间.由于商业(界)用户的保守性及其对高级软件工具的依赖,对64位结构的地址空间需求不是十分迫切.

Select

TJTITR德汉题录机器翻译系统

柴佩琪,赵晓东,臧德滋,许玉祥,梁欣

. 1993, 19(03): 51.

摘要 ( ) PDF全文 ( )

可视化

本文介绍基于德语单词的词性自动识别和综合德语题录的结构类型的德汉题录机器翻译系统TJTITR.提出了根据德语题录类型制定语法分析规则及实现德汉转换和生成译文的方法.＊

Select

具有实例学习功能的增量逆句法分析器的设计

徐智晨,钱家骅

. 1993, 19(03): 54-58.

摘要 ( ) PDF全文 ( )

可视化

本文介绍了一种具有实例学习功能的增量逆句法分析工具的构造技术.文中采用属性文法描述程序设计语言的排版信息.文中的排版属性和排版风格信息的表示具有很好的语言独立性.特别,排版属性集与属性计值过程还具有产生式独立性.文中的方法可为开发句法制导的编辑工具、混合的编辑工具、程序美观排版工具提供性能优良的逆句法分析程序.特别由于文中排版信息描述与计值过程的语言独立性与产生式独立性使得文中的方法还可以用于构造通用的逆句法分析工具.＊

Select

统计数据库管理系统——KDSSDB的设计

王小辉,陈永年

. 1993, 19(03): 59-64.

摘要 ( ) PDF全文 ( )

可视化

本文首先论述了统计数据库的特点,然后具体地介绍了KDSSDB统计数据库管理系统的设计思想.

Select

iSBC544智能通讯板固化程序的剖析与改进

廖迪洪,唐修俊,刘亚平

. 1993, 19(03): 65-69.

摘要 ( ) PDF全文 ( )

可视化

本文分析了iSBC544智能通讯板固化程序,描述了固化程序所用的数据结构及关键存储单元,提供了简单的框图,并提出了固化程序的改进方法.

Select

一类额外级网的置换寻径控制

冯斐玲

. 1993, 19(03): 70-74.

摘要 ( ) PDF全文 ( )

可视化

额外级网(ESN)是在唯一路径网的前面增加一级开关所成的网络.本文从潜在的通讯能力方面讨论该网的置换寻径控制,为此提出0—1分配图(G_(0-1))的概念,并设计了一个控制算法,最后对该网的置换能力作了一些分析.

选择文件类型/文献管理软件名称

选择包含的内容

1993年, 第19卷, 第03期　刊出日期：

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

1993年, 第19卷, 第03期 刊出日期：

1993年, 第19卷, 第03期　刊出日期：