微逻辑元件

本文叙述用微逻辑元件来使计算机达到小型化的途径。用这种方法制成的可靠逻辑部件能在军用环境条件下达到1兆周的操作速度,同时,还可大大减少逻辑部件的制造成本。我们把这种途径命名为微逻辑,因为我们觉得这个名称能比其他名称能更恰当的描绘逻辑系统和逻辑部件小型化技术,而逻辑密度是逻辑系统小型化的中心问题。平面型制造工艺和蒸发线路的接线技术的应用使之有可能制造一系列的可靠的功能块,用功能块来制造逻辑部件比用单独元件更能提高逻辑部件的可靠性,因为这时有可能大大减少内部接线和外引线。研究这种生产技术的目的在于能廉价生产微逻辑元件。此外,采用微逻辑元件的逻辑部件的设计和制造的简化能进一步减少总系统的成本。1兆周的速度特性,逻辑设计的简易性,逻辑部件装配的简易性都有助于微逻辑元件在一般逻辑线路中的应用。     

推荐的二进制浮点运算标准

没有几个程序员关心他的计算机如何执行浮点运算。即使他们关心的话,通常也是由于使用零除而出现故障(甚至要在用x-y除之前为确保x≠y而插入一个测试)或者同样地某些不可思议的差错。规定一个使此类异常情况最小化的程序设计环境,是本标准化工作的目标之一。总之,它试图使面向数值计算的程序移植更为简易,并促进研制高质量的数值计算软件。这两个目标在微处理机环境中尤为重要,因为微处理机器件厂家不大可能花费大量投资去为社会开发数值计算软件。     

计算机微逻辑元件

利用微逻辑元件,只要将各种基本组件加以简单的联结就可以组成计算机。诸如触发器,半加器,半移位寄存器,门等的元件可以做得很小,装在一个小的匣子里。解发器的示意图如图3所示。利用这种技术可以使逻辑元件在一个硅的模子上形成,这样,就可以在一块硅的垫板上形成多个     

磁膜变感元件构成的逻辑元件

高频磁膜变感元件已经构成并加以观测,在单一偏置条件下它可有两状态或三状态操作。作为两状态元件时,磁膜变感元件可用作多数决定元件,与铁氧体磁心变感元件极为相近。另一种有用的逻辑元件是“阈”元件,在这种元件中输入激励必须达到某一最小电平才能持续振荡。在加上适当的时钟作用后,磁膜电感可当作在系统中有单向信息流的门用。由偏置磁场所控制的门的作用可由另一变感元件所整流了的输出而产生。文中描述了双元件二进加法器、二进移位计数器及移位寄存器。三状态工作的可能性也就七个元件构成的三进位加法器加以探索。     

计算机中的流体逻辑元件

计算机逻辑网络中流体开关元件技术已经较广泛地研制。最近 IBM 公司试验成功了采用这种技术的二进制计算器、“或”门、多谐振荡器及移位奇存器。这些元件的类形有两种:一种是用轴阀作开关,另一种是利用包括不移动或不变形的固体部份的动态现     

多数元件逻辑网络的综合

Ⅰ.引言近几年以来,按多数决定原则来工作的元件,即所谓多数元件,已经提出许多种。磁心逻辑元件、变参数元件、克希荷夫加法器、电阻-隧道二极管元件等等,都是属于这一类型的元件。这些元件的一个共同特点是,当输入端表示一组开关变数的某些物理量之总和超过某一阈值时,元件处于一种稳态;而当小于该阈     

二进制程序整型符号转换缺陷的动态检测方法

针对符号转换错误引起缓冲区溢出的这类缺陷提出了一种面向二进制程序整型符号转换缺陷检测方法。以二进制插桩框架为基础,利用类型推断方法识别整型变量的符号类型信息,得到内存相关库函数中为冲突类型的参数的集合,并将其作为潜在的整型符号转换缺陷候选集。在中间代码层面插入检测代码做运行时检测,最终确定真正的整型符号转换缺陷。原型系统Sconvcheck的实验结果表明：该方法可以有效地检测出程序中的整型符号转换缺陷,并准确地定位错误发生的位置,而且误报率较低。     

萤光—光敏元件构成的符号自动识别装置

这个装置采用了“流水作业式”逻辑结构;并且,当识别不同符号时,它不需改变接线和变动结构;标准符号是用按键放入存贮板矩阵中;清除字模则只要切断电源电压即可。由于这个装置具有上述的优点,并且它所用的器材也是一般的器材,所以它不仅适用于商业及其他数据处理系统中,而且也可供数字机的文字输入设备的设计参考。该装置是做成夹层式的,共有三块板(如图1):     

二极管-电流开关高速逻辑元件

引言为了提高晶体管的开关速度,希望晶体管线路接成共基极形式,而且使之不进入饱和区。另外,为使线路对收集结势垒电容和线路杂散电容充电时间减到最小,必须使线路讯号幅度减至最小。二极管网络可以完成逻辑操作,而且也很经济。但由于二极管是一种无源器件,在操作     

AutoCAD下粗糙度符号的标准

本文详述了能够使粗糙度符号自动垂直于所标平面的命令的开发原理和过程，介绍了ＡｕｔｏＬＩＳＰ中各种选择集和实体处理函数的功能和使用方法。     

英国的安防检测标准

英国安防行业一直以来都有许多不同的团体出具资格证书。现在英匡政府介入并建立了安防行业管理局，但是它并没有触及到安防检测标准的重点。本文作者对此现象提出独特的观点。     

直观与逻辑——从实体的芯片到虚拟的物理元件

<正>“好雪片片,不落别处”,中唐时期,庞蕴辞药山归去,在大门口手指空中飘雪发此感慨。相送者中有一人问“落在甚处？”,却遭庞蕴很不客气的一掌,且被评论为“眼见如盲,口说如哑”。必须承认,“落在甚（什么）处”的问题很有逻辑性,但这一问却将庞蕴想要传达的本真的美破坏殆尽了。不落别处的“处”应不是某个具体的空间,想来天下万物,自有其恰到某处之好,     

基于符号替换逻辑的光学数字计算

本文综述了利用符号替换逻辑进行光学数字计算的原理和技术途径，分析探讨了基于符合替换逻辑光学数字计算技术的发展前景。     

模糊计算树逻辑的符号模型检测

对含有模糊不确定性信息的系统进行模型检测时,状态空间爆炸问题成为了亟待解决的主要问题.将形式化的系统模型用拟布尔公式表示,用多终端二叉决策图来对拟布尔公式进行存储.对模糊计算树逻辑的不动点语义给出了解释和证明,然后给出模糊计算树逻辑的符号化模型检测算法,最后通过一个实例验证算法的正确性.该算法可有效缓解对模糊模型检测验证时的状态空间爆炸问题,并扩展了模型检测的应用范围.     

电流型二极管逻辑元件(上)

本文介绍 NGR-315数据处理系统的逻辑系统,它是由电流开关式的与—或门和饱和式晶体管反相器组成的。介绍了逻辑元件的简图,定性地讨论了电路的工作原理。NGR-315数据处理系统的逻辑系统包括四种主要插件,即:1)逻辑驱动器,2)功率驱动器,3)双相驱动器,4)触发器。文中概述了它们的工作原理以及它们的设计程序。文中指出电流型逻辑电路比其它系统有更多的优点并做了说明。对最后所选定的插件电路与在选择过程中曾考虑过的一些电路进行了比较。     

亳微秒计算机系统光逻辑元件的进展情况

超高速信息处理速度是未来的计算机最希望得到的特性之一。光(或光子)是考虑用于这样的未来计算机系统的候选者之一。本文详细地对谕了在未来的计算机系统中应用(1)光电技术及(2)全光技术的情况。讨论包括现有的材料、器件及技术方面所存在的一些优缺点。所对论的器件包括玻璃及半导体莱塞(光量子放大器),光检波器和光导纤维。     

电流型二极管逻辑元件(下)

Ⅴ.逻辑电路一、驱动器逻辑驱动器(图9)是一个单级反相器,当它被单位逻辑电流驱动时,它能够驱动五个各具有20微微法电容的负载。共传输时间小于0.25微秒。     

一个命题投影时序逻辑符号模型检测器

现有模型检测工具的形式化规范语言,如计算树逻辑(computation tree logic,简称CTL)和线性时序逻辑(linear temporal logic,简称LTL)等的描述能力不足,无法验证ω正则性质.提出了一个命题投影时序逻辑(propositional projection temporal logic,简称PPTL)符号模型检测工具——PLSMC(PPTL symbolic model checker)的设计与实现过程.该工具基于著名的符号模型检测系统NuSMV,实现了PPTL的符号模型检测算法.PLSMC的规范语言PPTL具有完全正则表达能力,这使得定性性质和定量性质均可被验证.此外,PLSMC可以有效地缓解模型检测工具中容易发生的状态空间爆炸问题.最后,利用PLSMC对铁路公路交叉道口护栏控制系统的安全性质和周期性性质进行验证.实验结果表明,PPTL符号模型检测工具扩充了NuSMV系统的验证能力,使得时间敏感、并发性和周期性等实时性质可以被描述和验证.     

PMOS集成逻辑元件应用中的几个问题

<正> 近年来,在电子计算技术、程序控制及各种自动化系统中,PMOS集成逻辑元件得到广泛应用。它有集成度高、功耗小、抗干扰性能好等许多优点。但是,在利用这种元件设计逻辑线路时,却由于其本身的特点存在着一些值得注意的问题。一、输入端正电平“误触发”问题对于PMOS元件,一般规定电