论文部分内容阅读
本文从负数表示的研究引入对称三进制系统与对称三值逻辑.基于作者提出的传输函数理论,本文讨论了基本对称三值运算的CMOS电路实现,并已用计算机模拟证明它们具有正确的逻辑功能与理想的DC传输特性.基于这些基本电路单元,本文进一步设计了实现加法与乘法的两种对称三值运算单元.
对称三值逻辑及对称三值CMOS电路
【摘 要】
：
本文从负数表示的研究引入对称三进制系统与对称三值逻辑.基于作者提出的传输函数理论,本文讨论了基本对称三值运算的CMOS电路实现,并已用计算机模拟证明它们具有正确的逻辑
【机 构】
：
杭州大学电子工程系,杭州大学电子工程系杭州310028,杭州310028
【出 处】
：
计算机学报
【发表日期】
：
1991年5期
【基金项目】
：
国家自然科学基金
其他文献
模型验证是对有限状态系统的一种形式化确认方法，近几年，模型验证方法已逐步扩展到实时系统应用中，为解决实时系统的模型验证问题，本文采用离散时段演算人实时系统规格说明的形式
本文通过总结实施莫斯科前后两个总体规划的经验,阐述了苏联城市理论界对旧城改建问题的多年研究和探索的成果及各种理论流派.同时对苏联城市建设理论的环境保护问题进行了探
本文针对并行处理中并行颗粒度的控制问题，将惰性计值的延迟思想引入并行进程的生成过程中，并与文献［１，２］的ＬＥ计值语义相结合，提出了函数式语言的并行ＬＥ计值语义，由于采用ＩＨＲＥＡＤ来实现对并行归约
【正】 许多早期的城市地理学者对城市中心很有兴趣,因为那里聚集着中心商业区。起初,人们并没有采取特殊的方式对它加以圈定,但它作为一个城市的一定区域被组织起来。尽管如
同心拼图（Concentric Mosaics,CM)是一种重要的基于图像的绘制方法。如果利用深度信息则可以进一步提高绘制质量并减少数据量。作者发现在CM序列中也存在着近拟的极线平面图像
农业生态区划是土地承载力研究的重要内容，生态区划的数值分类，可避免传统方法主观性和任意性的弱点，桂西南山区１６县（市）在系统聚类分析基础上划分为三个农业生态区：左江及右江下游河
本文采用微分离散差分方法求解滑流条件下的修正Reynolds方程．对于一阶导数间断的物理量——气膜厚度采用高精度保凸性磨光法进行处理．给出了气膜压强分布立体图以及几种因加工
本文提出一种面向流水线计算机的立体视觉并行匹配算法,使立体视觉算法所需的低层视觉信息处理和特征匹配都能在具有高速视频总线的流水线计算机中完成,这样既简化了视觉系统
多媒体合作创作是ＣＳＣＷ的一个重要领域，它融合了多媒体技术和计算机通信技术，是高效地创作媒体文档的有效手段。本文提出了将单用户多媒体创作平台扩充为多用户创作平台中存在的问题
旋转圆锥体空间中不等圆柱体群的布局为人造卫星再入舱布局的简化模型，属带动力性能约束的Packing优化问题，具有NP难度．本文提出了模式迭换法，用以构造布局拓扑模式，形成初始布局