搜索筛选:
搜索耗时2.2157秒,为你在为你在102,285,761篇论文里面共找到 25 篇相符的论文内容
发布年度:
[期刊论文] 作者：慈云桂,,
来源：计算机工程与科学 年份：1980
前言151-3(4)是大型通用计算机系统。151-3是单机系统,151-4是双处理机(或双机)系统。该系统可以用于科学研究或工程设计计算,也可用于实时的或事后的数据处理。机器主颁为三...
[期刊论文] 作者：慈云桂,
来源：计算机工程与科学 年份：1980
151系列计算机是一个大型的积成电路的系列机,现在已经基本制成,并正逐步投入运行。经过长期的科研实践,广大科技人员根据工作的需要积累了一些资料,这些资料有的发表在“748...
[期刊论文] 作者：慈云桂,
来源：计算机学报 年份：1981
本文概述151-3/4大型计算机系统的特点并给出一个简要的系统可靠性分析。This article outlines the features of the 151-3 / 4 mainframe computer system and gives a b...
[期刊论文] 作者：张晨曦,慈云桂,
来源：计算机应用与软件 年份：1991
本文论述实现Prolog系统的基本思想,并且对若干实现技术进行了讨论,提出了我们的观点。文中首先介绍Prolog及其基本实现方法,然后讨论Prolog编译实现的几个问题。文中对Warren抽象机进行了介绍和分析,论述了我们对硬件支持的考虑。......
[期刊论文] 作者：张晨曦,慈云桂,
来源：计算机学报 年份：1990
本文介绍了基于WAM的Prolog实现技术的研究结果。首先论述了新的Prolog执行模型WAM-PLUS。该模型由扩充了的WAM和非逻辑成分执行机制NLEM构成。它能支持Prolog动态代码,并能...
[期刊论文] 作者：张晨曦,慈云桂,
来源：电子学报 年份：1989
在编译型Prolog系统中,程序以代码的形式存在。与传统语言不同,Prolog提供了修改数据库的功能,Prolog代码应是可修改的。对于这些代码,必须有一个功能较强的管理系统。本文论...
[期刊论文] 作者：慈云桂,邵大成,
来源：物理学报 年份：2004
利用电子管来测量时间的方法很多,其间应用得最普遍的是结合各型隂极射線管示波器,进行各种微时的观测。这里所讨论的是只用一个(或两个)电子管和一个直流电表(电源部分除外...
[期刊论文] 作者：陈海波,慈云桂,,
来源：Journal of Computer Science and Technology 年份：1988
In this paper,we present a group of optimization rules to systematically improve theparallelism of non-DO loops under Leading Iteration Model.Control relations...
[期刊论文] 作者：叶楷,慈云桂,
来源：中国物理学报 年份：1947
在电抗管调频电路中,频偏与载波频率之比值,乃随调频器之诸变相常数,及振荡电路中Lf/Cf之比率而变更。本文即就两种基本调频电路,作理论之推引,得出两个基本方程式,表明其间...
[期刊论文] 作者：张晨曦,慈云桂,
来源：中国科学：数学英文版 年份：1989
In order to implement Prolog efficiently, Prolog-oriented processors and VLSI chips have been proposed and designed. However, most of the Prolog machines and pr...
[期刊论文] 作者：张晨曦,慈云桂,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1989
为了高效实现Prolog,人们研制了面向Prolog的专用处理机或处理器片子。然而,已有的这类机器大多或者不能支持Prolog数据库操作的实现,或者不能进行快速的数值计算。本文论述了我们设计的一种基于WAM-PLUS模型的顺序推理机GKD-PLM的系统结构。该结构不仅能高速执......
[期刊论文] 作者：刘桂仲,慈云桂,
来源：计算机学报 年份：1989
数据流计算机开销过大的基本原因是并行的粒度太细。本文研完在数据流计算模型中引入复合函数级并行的开发,讨论它在SDS模型的抽象机上的实现方法,并介绍以此为基础的模型机S...
[期刊论文] 作者：王志英,慈云桂,
来源：国防科技大学学报 年份：1989
文中首先以数据库为基础研究了知识库系统KBS-1,然后基于关系知识模型,研究了一台关系知识库模型机,并以它为硬核研究了知识库系统KBS-2,最后进行了性能分析。...
[期刊论文] 作者：孙成政,慈云桂,
来源：计算机学报 年份：1989
1.引言 我们的研究目标是设计一个并行执行逻辑程序的计算机系统结构。从1984年初开展这一工作以来,已取得的主要结果包括:提出了一种描述逻辑程序执行过程的新方法——OR树...
[期刊论文] 作者：慈云桂,胡守仁,
来源：自然辩证法通讯 年份：1984
【正】 在世界新的技术革命中,微电子技术和计算机技术处于先导地位。由于它的迅速发展,广泛应用于各个方面,深入地渗透到国民经济各个部门、国防系统、文化教育和社会生活的...
[期刊论文] 作者：孙成政,慈云桂,
来源：计算机学报 年份：1989
本文介绍以SES-PIM系统为工具,对三种不同的逻辑程序执行模型进行对此模拟实验研究的结果。实验表明:PSOF模型能有效地开发确定性和非确定性逻辑程序的AND和OR两种并行性;PSO...
[期刊论文] 作者：孙成政,慈云桂,,
来源：Journal of Computer Science and Technology 年份：1988
A new method for describing the execution of logic programs is presented in this paper.Our method,named OR-forest,not only retains the merits of the traditiona...
[期刊论文] 作者：慈云桂,胡守仁,,
来源：计算机工程与科学 年份：1983
近几年来,由于半导体技术和集成工艺的飞速发展,集成电路的集成度和开关速度不断提高,功耗和价格日益降低,各种类型计算机迅速换代,性能价格比日益增高,软件日益丰富,应用日...
[期刊论文] 作者：慈云桂,胡守仁,,
来源：计算机工程与科学 年份：1980
前言近10年来,随着半导体技术与集成电路工艺的不断提高,计算机科学与工程得到了飞速地发展,计算机的应用日益广泛和深入。它和通讯技术相结合构成了各种各样集中式或分布式...
[期刊论文] 作者：孙成政,慈云桂,
来源：中国科学(A辑 数学 物理学 天文学 技术科学) 年份：1989
本文提出一种新的环境共享方案。这种方案不仅克服了Ciepielewski的方案中的缺陷,而且能支持在PSOF模型下对逻辑程序的AND和OR两种并行执行。本文定义的环境存储器的二级结构以及各种处理变量约束环境的算法过程都已作为SES-PIM系统的一部分,用PROLOG在VAX-11/7......
相关搜索：
