检索结果-内蒙古大学图书馆

计算机工程与应用 1984年第2期 39-47页

作者：孟晓华华北计算技术研究所

本文提出一个将UNIX扩充改造成为具有动态任务平衡和分布式文件系统的分布式UNIX操作系统的设计方案。给出机间通讯机制和分布式文件系统的实现方法。在分布式文件系统中采用了一种新的同步修改算法,保证冗余文件强一致性。此算法是一... 详细信息

本文提出一个将UNIX扩充改造成为具有动态任务平衡和分布式文件系统的分布式UNIX操作系统的设计方案。给出机间通讯机制和分布式文件系统的实现方法。在分布式文件系统中采用了一种新的同步修改算法,保证冗余文件强一致性。此算法是一种集中与分布相结合,由主文件管程控制的方法,解决了目前关于同步修改算法中,集中式控制存在的脆弱性和瓶子口问题与分布式控制的通讯次数多的问题。其通讯量为3-4次,并具有故障隔离和故障恢复的功能。

关键词：文件结点付本奇点管程分布式文件系统通讯机制 UNIX 分布式

来源：评论

学校读者我要写书评

暂无评论

指称语义的研究与实践

引用

计算机科学 1984年第5期 1-20页

作者：屈延文蔡林宋嘉吕旭华北计算技术研究所

本文旨在对指称语义的研究与实践作一全面通俗的介绍,主要从软件的角度来讨论。强调指称语义的通俗化与工程化,强调如何去写一个好读的指称语义。它对加强计算机科学在我国的应用会起到积极作用的。

关键词：指称语义语法成分概念标志语义形式语义思维形式对象定义域表达式 exp 约束变量语义解释函数定义

来源：评论

学校读者我要写书评

暂无评论

代码生成中模式匹配方法的设计与实践

引用

计算机工程与应用 1984年第3期 67-73页

作者：庄悦平华北计算技术研究所

一个C语言子集S-C（Small C）的编译程序S-CC已经初步实现,目前已能为Z80机生成目标代码。S-CC的设计目标是可移植性,正确性和一定的时空效率。目的是探讨采用自动化方法移植编译程序的可行性。由于S-CC在代码生成中采用了较先进的模式... 详细信息

一个C语言子集S-C（Small C）的编译程序S-CC已经初步实现,目前已能为Z80机生成目标代码。S-CC的设计目标是可移植性,正确性和一定的时空效率。目的是探讨采用自动化方法移植编译程序的可行性。由于S-CC在代码生成中采用了较先进的模式匹配方法,使可移植性有了很大提高。本文重点讨论模式匹配方法中的重要数据基—机器描述部分。

关键词：寄存器名机器工作寄存器模式匹配代码生成目标机

来源：评论

学校读者我要写书评

暂无评论

DJS-186计算机双机故障切换系统部件的设计及实现

引用

计算机工程与应用 1984年第5期 60-66页

作者：叶木天华北计算技术研究所

本文对该方案的选择进行了论证,对几种方案进行了比较。所采用的方案是不对称的冗余系统,在工作时,一台计算机(主机)作为实时处理用,另一台计算机(副机)作为热备份。在主机出现故障时,进行总线切换,用副机接替主机的工作,以提高系统可靠... 详细信息

本文对该方案的选择进行了论证,对几种方案进行了比较。所采用的方案是不对称的冗余系统,在工作时,一台计算机(主机)作为实时处理用,另一台计算机(副机)作为热备份。在主机出现故障时,进行总线切换,用副机接替主机的工作,以提高系统可靠性,延长平均无故障时间。当各子系统的可靠性相等时,本方案可比单机系统延长1/3的平均无故障时间。在设计和调试该系统部件的基础上,本文叙述了该系统部件的工作方式,介绍了单总线转发器,致命性故障自动检测以及自动切换过程,分析了与其对应的DEC DTABφ总线开关诊断检查程序,讨论了提高可靠性的问题。目前该系统部件已经通过了DEC DTABφ总线开关诊断检查程序和人工切换模拟程序,转发器已通过四小时系统练习程序。

关键词：开关控制故障切换双机 DJS-186 冗余系统系统的可靠性平均无故障时间致命性故障副机转发器

来源：评论

学校读者我要写书评

暂无评论

LR(1)语法分析程序的自动生成系统

引用

计算机工程与应用 1984年第2期 33-38页

作者：薛强华北计算技术研究所

本文描述一个自动构造LR(1)文法的语法分析程序生成器PG系统(ParserGenerator)及其初步实现。该系统采用分解合并状态方法构造的LR(1)语法分析程序具有规范LR(1)语法分析程序的功能,而产生的分析表空间远远小于规范LR(1)分析表的空间,... 详细信息

本文描述一个自动构造LR(1)文法的语法分析程序生成器PG系统(ParserGenerator)及其初步实现。该系统采用分解合并状态方法构造的LR(1)语法分析程序具有规范LR(1)语法分析程序的功能,而产生的分析表空间远远小于规范LR(1)分析表的空间,等于或稍大于LALR(1)分析表的空间。该系统可作为语言开发工具系统的子系统,以产生具有LR(1)文法语言的语法分析程序,也可扩充成独立的系统用于其它目的。

关键词：通路语法分析归约非终极符文法语法符号表程序 LR

来源：评论

学校读者我要写书评

暂无评论

大、中型计算机系统可靠性设计和评价

引用

计算机工程与应用 1984年第1期 73-81页

作者：朱文达华北计算技术研究所

由于计算机自身的发展和应用的扩大,计算机系统的规模越来越大,功能越来越复杂,而其使用环境越来越恶劣,由此,使使用要求和计算机系统自身的可靠性矛盾越来越尖锐,尤其是大、中型计算机的矛盾更为突出。因此,如何来分析、评估及提高一... 详细信息

由于计算机自身的发展和应用的扩大,计算机系统的规模越来越大,功能越来越复杂,而其使用环境越来越恶劣,由此,使使用要求和计算机系统自身的可靠性矛盾越来越尖锐,尤其是大、中型计算机的矛盾更为突出。因此,如何来分析、评估及提高一个计算机系统的可靠性也变得越来越重要。本文就以此为题作一个简单的讨论。一、计算机系统可靠性概念为了分析评估及提高系统的可靠性,必须弄清楚可靠性指标的基本物征量及其相互关

关键词：计算机系统可靠性可靠度分配不可靠度软件故障逻辑故障错误处理系统可靠性分配

来源：评论

学校读者我要写书评

暂无评论

降维Powell方法

引用

数值计算与计算机应用 1984年第2期 95-102页

作者：李辛吴旺成华北计算技术研究所

一、问题的提出与降维在非线性优化问题中,当参数较多时,可能有一些参数对目标函数的影响并不显著,也可能有某些参数被改变到一定程度之后,例如达到极值点的某个邻域之后,就对目标函数没有显著的影响了。如想提高优化速度,在这些情况... 详细信息

一、问题的提出与降维在非线性优化问题中,当参数较多时,可能有一些参数对目标函数的影响并不显著,也可能有某些参数被改变到一定程度之后,例如达到极值点的某个邻域之后,就对目标函数没有显著的影响了。如想提高优化速度,在这些情况下可以对影响不显著的参数或它们的线性组合不再进行搜索。这就是我们定义的降维。

关键词：降维 Powell

来源：评论

学校读者我要写书评

暂无评论

一种分布式控制系统

引用

计算机工程与应用 1984年第2期 62-73页

作者：阎铭华北计算技术研究所

本文介绍了经过改造后面向实时的UNIX操作系统支持的16位同型号微处理机（Z-8000,M68000等）构成一个子分布式控制系统（Distributed Computer ControlSystems）的软件方案,并简要叙述了系统的结构、分布程序语言、扩充的网络软件等。

关键词：分布式控制系统函数调用站点操作系统调用者计算机系统子进程信件

来源：评论

学校读者我要写书评

暂无评论

图形核心系统GKS的评价

引用

计算机工程与应用 1984年第11期 1-7页

作者：方家骐华北计算技术研究所

本文将介绍ISO/DIS 7642图形核心系统GKS的标准草案。文章从GKS的基本概念,主要功能和特点,以及GKS和汉字的关系等几个方面进行阐述,并把它和美国SIGGRAPH的GSPC COPE系统进行比较。和CORE系统相比,GKS更适于目前正成为图形显示主流的... 详细信息

本文将介绍ISO/DIS 7642图形核心系统GKS的标准草案。文章从GKS的基本概念,主要功能和特点,以及GKS和汉字的关系等几个方面进行阐述,并把它和美国SIGGRAPH的GSPC COPE系统进行比较。和CORE系统相比,GKS更适于目前正成为图形显示主流的光栅显示。它的图段概念虽与CORE系统类似。但其插入功能使之更适合于各种重复性大的画面。其它方面,如对图形输出属性和图形输入的种类和方式也作了重大改进。

关键词：图段应用程序子程序应用软件软件坐标系规格化图形软件包非几何属性 GKS 原语图形核心系统图形工作站主要功能

来源：评论

学校读者我要写书评

暂无评论

DCOS/UNIX:一个分布式操作系统

引用

计算机工程与应用 1984年第1期 59-65页

作者：刘京松华北计算技术研究所

作者提出了一个用于飞行控制环境的分布式操作系统DCOS,讨论了DCOS与通用操作系统的区别,并给出了DCOS的实现方法。DCOS对标准的UNIX操作系统进行了改造和扩充,保持了UNIX与用户的原有界面,在实时调度、时钟管理、实时文件管理、专用设... 详细信息

作者提出了一个用于飞行控制环境的分布式操作系统DCOS,讨论了DCOS与通用操作系统的区别,并给出了DCOS的实现方法。DCOS对标准的UNIX操作系统进行了改造和扩充,保持了UNIX与用户的原有界面,在实时调度、时钟管理、实时文件管理、专用设备管理、进程间通讯等方面扩充了UNIX操作系统的功能。

关键词：进程调度所有操作系统计算机系统 DCOS/UNIX UNIX 飞行控制系统分布式系统进程间通讯分布式控制系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：