检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

编译程序

电子计算机参考资料 1975年第Z4期 183-239页

本章有两个目的: 1.介绍能用作设计和研究编译程序基础的编译程序的一般模型。 2.了解实现和使用诸语言特性的困难和“代价”。为此,我们将本章分成三个部分。第一部分,举一个简单例子并介绍编译程序的一个一般模型。第二部分,研究... 详细信息

本章有两个目的: 1.介绍能用作设计和研究编译程序基础的编译程序的一般模型。 2.了解实现和使用诸语言特性的困难和“代价”。为此,我们将本章分成三个部分。第一部分,举一个简单例子并介绍编译程序的一个一般模型。第二部分,研究这个模型并详细地说明它的内部运转情况。第三部分,用该模型说明第六章中讨论过的各种优良特性(例如,数据结构,递归,存贮分配,分程序结构,条件和指示器)的实现方法。

关键词：矩阵编译程序语句数学分析编译器词法分析标识符表软件例行程序归约语法分析代码优化

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

CYBER计算机系统程序执行的管理与控制

电子计算机参考资料 1979年第2期 1-63页

CYBER170系列计算机的前身是CDC6000系列。以下是6000系列发展简史: 1971年,在6000系列计算机上增加了由外围处理机PPU到扩存ECS的通道DDP。并作到PPU数目可扩充。通道CH数目可扩充。CPU可更换转移。PPU优先访问,还增设了

关键词：作业程序 RBT CYBER 永久文件队列管理程序控制点文件处理磁带标号调度程序操作系统 MTR 例行程序软件优先数地址计算机系统电脑系统程序执行

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

微程序及其应用

电子计算机参考资料 1976年第Z5期 127-158页

6.1 什么是微程序最近,微程序广泛应用于计算机、终端设备、通讯控制器等信息处理装置中。作为一种控制方式,其优点和有效性已经是众所周知的了。微程序控制并不是新概念,早在1951年就由剑桥大学教授***提出来了。以后十多年中没有引... 详细信息

6.1 什么是微程序最近,微程序广泛应用于计算机、终端设备、通讯控制器等信息处理装置中。作为一种控制方式,其优点和有效性已经是众所周知的了。微程序控制并不是新概念,早在1951年就由剑桥大学教授***提出来了。以后十多年中没有引起人们的注意,随着硬件处理速度的提高,只读存贮器(ROM)等的发展,它才在最近很快地引起了人们的注意。

关键词：微程序终端设备例行程序电子交换机硬件逻辑软件软件包总线寄存器微指令格式微命令微程序控制计算机控制存贮器存储器

电子交换系统微程序自校验控制复合装置的维修技术

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

计算机工程与应用 1974年第9期 52-69页

作者： HERBERT YU-PANG CHANG ,韩正钦

本文叙述了一台交换复合装置的设计中所采用的种种故障检测、例行程序考验、和诊断技术。与别的电子交换系统(ESS)处理机不同,该处理机完全是自校验的。由于充分发挥微程序设计和实时余量(excess real time),只需增添少量设备就可以并... 详细信息

本文叙述了一台交换复合装置的设计中所采用的种种故障检测、例行程序考验、和诊断技术。与别的电子交换系统(ESS)处理机不同,该处理机完全是自校验的。由于充分发挥微程序设计和实时余量(excess real time),只需增添少量设备就可以并行检测出处理机中大多数的故障。如果从开始方案设计时就注意对硬件、软件、和维修能力等进行全面考虑和调整,就能把这样的自校验性能运用到机器的设计上。硬件校验对处理机的故障检测起着重要作用。这些技术包括奇偶校验、译码器的N中取1校验、双规判别、总计时器、以及自校验的时钟机构。采用微程序挖制的错误检测技术包括寄存器——寄存器传送的全符合校验、保证指令按正确的次序执行的顺序校验、和存贮器的先写后读校验。处理机的多数故障由上述的一种技术并行检测。不能并行检测的那些故障(通过用计算机模拟辨别)和维修逻辑用频繁的程序考验来校验。通过处于指令级或微指令级的处理机以及用本机维修中心执行程序考验。当呼叫存贮器(CS)中有故障时,例行程序考验还参与决定出现故障的设备。对简化诊断过程方面作了深入的研究。处理机的组装和所提供的测试通路为许多故障的诊断分辨提供了方便。处理机实现所有这些特性的详细的门电路设计已经完成。为了验证自校验的

关键词：自校验容错技术微程序软件状态寄存器校验寄存器存贮器存储器处理机总线接口奇偶校验电路例行程序软件包电路故障装置

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

论“行动”概念的两种逻辑分析

湖南科技大学学报（社会科学版） 2016年第2期19卷 31-36页

作者：王淑庆南京大学现代逻辑与逻辑应用研究所江苏南京210023

西格伯格和贝尔纳普是两位最重要的行动逻辑学家兼行动哲学家。西格伯格认为行动的核心要素是"例行程序",并据此分析了"行动"的逻辑结构。贝尔纳普为了避免已有对行动句分析的缺陷,从分支时间、非决定论和自由选择的角度对"行动"进行了... 详细信息

西格伯格和贝尔纳普是两位最重要的行动逻辑学家兼行动哲学家。西格伯格认为行动的核心要素是"例行程序",并据此分析了"行动"的逻辑结构。贝尔纳普为了避免已有对行动句分析的缺陷,从分支时间、非决定论和自由选择的角度对"行动"进行了形式化分析。基于这两种逻辑分析的比较研究可以表明:对"行动"概念进行形式分析的关键是在假定主体与世界的关系的基础上,揭示主体的能动结构,从而为发展精确化的行动哲学和构造行动的逻辑奠定基础。

关键词：行动行动逻辑例行程序能动作用

维普期刊数据库

解稠密对称特征值和奇异值分解用的多处理机Jacobi算法

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 1990年第1期12卷 82-92页

作者： MichaelBerry AhmedSameh 王宏斌

本文介绍两种基于 Jacobi 算法的并行算法,用于多处理机上解稠密实对称矩阵的全部特征值以及对直角矩阵进行奇异值分解。我们的目的是研究和介绍在 Alliant FX/8多处理机环境下 Jacobi 算法和类 Jacobi 算法与当前最新 EISPACK、LINPACK... 详细信息

本文介绍两种基于 Jacobi 算法的并行算法,用于多处理机上解稠密实对称矩阵的全部特征值以及对直角矩阵进行奇异值分解。我们的目的是研究和介绍在 Alliant FX/8多处理机环境下 Jacobi 算法和类 Jacobi 算法与当前最新 EISPACK、LINPACK 例行程序相比的突出优点。我们对稠密特征值问题列出了矩阵阶数小情况下的较为理想的结果;并说明对直角矩阵(矩阵的行数大于列数)采用单边类 Jacobi 算法进行奇异值分解也可提供较为理想的性能。

关键词： Jacobi 特征值问题多处理机奇异值分解特征向量相似变换对角阵标准正交正交化例行程序

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

微处理机扩充高级语言推荐标准

小型微型计算机系统 1983年第4期 60-65页

作者：乔菲

多年来,语言设计者早就希望为用户提供某些反映硬件和操作系统特性的语句。用户使用这些新语句,就可以减少对汇编语言的依赖。随着微处理机和微计算机的广泛应用,以及在它们之上实现的语言的数量不断增加,已经到了提出这样一个问题的时... 详细信息

多年来,语言设计者早就希望为用户提供某些反映硬件和操作系统特性的语句。用户使用这些新语句,就可以减少对汇编语言的依赖。随着微处理机和微计算机的广泛应用,以及在它们之上实现的语言的数量不断增加,已经到了提出这样一个问题的时候了:能满足微处理机用户最需要的语言扩充最小通用集是什么?本小组出版的这个推荐标准试图按照如下考虑回答这个问题:

关键词：函数高级语言地址程序语言推荐标准机器语言变元存储器存贮器软件子程序软件包例行程序微处理机 PEEK

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数组

电子计算机参考资料 1977年第Z3期 124-134页

编译程序的主要数组是位条和框架数组,它们由阶段25在代码生成时使用。下列说明详述与经受代码生成的文本项的运算符有关的位条和框架数组。对每个运算符的框架数组用一串由基本操作码(它被改变以适合运算量的模式)和运算量(它们是以编... 详细信息

编译程序的主要数组是位条和框架数组,它们由阶段25在代码生成时使用。下列说明详述与经受代码生成的文本项的运算符有关的位条和框架数组。对每个运算符的框架数组用一串由基本操作码(它被改变以适合运算量的模式)和运算量(它们是以编码的形式)组成的汇编语言指令说明。运算量编码和它们的意义

关键词： 110 运算符文本项 BZ 例行程序软件运算量数组