面向对象计算机系统若干问题的研究

现有面向对象的软件环境大都建立在传统的Von Neumann 型计算机结构上,其执行效率很低。传统系统是无法支持面向对象风格高效实现的。很有必要开发新型的体系结构以支持这种良好的程序设计风格。本文从介绍面向对象程序设计的基本思想入手,建立面向对象思想与计算机系统的联系,阐述有关研究问题并给出初步的解决办法。

超级计算机转移机制研究

延迟转移是RISC技术特点之一。根据在类Cray-I巨型机上对标量程序的模拟可知,机器运行中约15%～20%的时间花在转移处理上。本文深入分析了i860RISC机制中延迟转移技术,研究了在类Cray-I模型机上移植延迟转移技术的实现方法。模拟结果和理论分析表明,(?)向量化率不高的标量程序,每条转移指令的执行时间每减少一拍可提高系统速度4～5%左右。

计算机“二—十”进制数据转换算法

“二一十”转换是计算机中经常用到的,将二进制浮点数0.B1B2…Bn*2B转换成十进制数0.D1D2…Dn*10D的关键是首先求出D。本文通过全面研制二进制浮点数的性质,推导出了一个关于精确求D的重要结论,并由此构造出一个实际应用时总误差最小的高效求D公式。

计算机病毒的防治

本文综合地探讨了计算机病毒的概念、原理及其防治。详细地分析了巴基斯坦病毒的结构和传播原理,并叙述了防治这种病毒的方法,包括消除方法和免疫方法。另外,作者认为病毒的防治尚没有完全统一的方法,必须具体情况具体分析。而最有效的措施是病毒预防。

一类递推关系的最佳计算格式及其在图像处理中的应用

本文给出了一类递推关系在递推函数可恢复与不可恢复条件下的最佳计算格式，并讨论了它们在图像的平滑、模化及文本图像版面分析处理中的应用。

知识库推理和维护系统(KBIMS)

赋予知识库自动推理和维护功能,从而使知识库有效和实用,是知识库面临的关键问题。本文提出了一程基于缺言推理的知识库自动推理和维护方法,并介绍了根据此方法,在VAX—Ⅰ/780上使用GKD—Prolog 作为工具实现的一个知识库推理和维护系统。

多处理机系统中的宏任务并行

多处理机系统是巨型机的发展方向。宏任务是在多处理机系统上用来加快程序执行的一条主要途径。文中介绍了宏任务并行,描述了宏任务的实现,讨论了编译器和操作系统的支持。最后解释了宏任务的一个程序。

Prolog对象系统GKD—POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。

便携式通用TTL数字设备诊断测试系统PORTest设计与实现

便携式通用ＴＴＬ数字设备诊断测试系统ＰＯＲＴｅｓｔ是一个利用便携式微机的激励响应式诊断测试系统。它的设计目的是为了实现对各种ＴＴＬ数字电路设备的高速、准确、方便地功能测试和故障诊断。

合同战术级军事专家系统研制

文中以合同战术级军事专家系统的实践为基础,以逻辑型语言为主要实现语言,描述基于黑板模型的问题求解策略,使用框架与产生式规则相结合的知识表示方法,以及运用基于预制文本与模糊文法的解释机制等。应用表明,本文提出和采用的方法与技术取得了明显的效益。

智能工具机通信子系统的设计与实现

智能工具机(ITM)系统采用主辅机结构,Micro VAX作为前端机。本文给出该系统中完成前后端机信息交换的通信子系统设计方案,介绍在VAX/VMS环境中实现并模拟运行该通信子系统的主要技术。

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。

基于格结构假设空间证据推理的双向传播计算模型

在专家系统中,基于证据理论的推理网络一般为格结构形式,将证据理论的现存形式直接应用于具有复杂结构的推理过程存在很大的困难。本文基于格结构假设空间,采用不确定知识的可信度表示方法,给出了初始基本概率赋值函数的一种计算方法,并在扩充的Shenoy-Shafer结点处理模型的基础上,提出了证据推理的双向传播计算模型。

多机环境下系统程序并行化的实现方法

本文给出了多处理机环境对系统程序的要求,阐述了系统程序并行化研制过程中遇到的问题和解决办法,给出了实现临界段互斥的三种处理方法及其性能评价。

多处理机系统的微任务并行

本文讨论微任务技术及其在多机系统上的实现。微任务技术使得一个程序能在循环和语句块一级并行执行,它的显著特点是系统开销较小、效率较高,适应于小粒度并行。

多机环境下多帧速系统仿真的若干问题

本文论述了多帧速系统在多机环境下并行仿真时处理机分配的原则,指出为减少通信开销,应将多帧速系统中各个子系统分配到不同的处理机(群) 上并行处理。并给出了多帧速系统的仿真主控流程。

Transputer多机系统宿主机服务器结构分析及改进

本文从功能、组成和通信结构三方面详细分析ＴｒａｎｓｐｕｔｅｒＴＤＳ（ＴｒａｎｓｐｕｔｅｒＤｅｖｅｌｏｐｍｅｎｔＳｙｓｔｅｍ）的宿主机服务器，并介绍一个扩充了图形和文本显示功能的宿主机服务器ＧＴｓｅｒｖｅｒ。

雷达业务与技术勤务管理系统(RDMS)

智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。

表格／文本图像歪斜度检测方法

在表格处理和光符识别软件中．歪斜图像校正是一项重要的预处理技术。针对文本和表格图像，本文提出了一种基于线条检测模型的高精度、快速的歪斜图像检测方法。

银河机向量线性代数库的并行算法研究及优化

文中对YH-1标量线性代数库进行并行算法研究:改造串行算法,挖掘其中的向量成份,实行并行计算。根据并行机的特点采取有效的程序优化措施,设计出银河机向量线性代数库。该库采用各种直接解法的并行算法求解各类线性代数问题,精度好,运行速度快(当n=300时,向量库运行速度平均为标量库的13倍)。