发布求助
文献互助 智能选刊 最新文献

[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
The design of current mode CMOS multiple-valued circuits 电流型CMOS多值电路的设计
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130718
Young-hoon Chang, J. T. Butler
{"title":"The design of current mode CMOS multiple-valued circuits","authors":"Young-hoon Chang, J. T. Butler","doi":"10.1109/ISMVL.1991.130718","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130718","url":null,"abstract":"A vertical partitioning algorithm for the design of multiple-valued current-mode CMOS logic (CMCL) circuits that is based on the cost-table technique is proposed. The algorithm is a heuristic search technique (AO* algorithm) applied to an AND-OR tree. It partitions a given function according to the location of logic zeros. It is significantly faster than exhaustive search while providing realizations that are almost as good. A cost-table that results in better realizations than obtained with a previous cost-table is proposed.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128339712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
VLSI fuzzy chip and inference accelerator board systems VLSI模糊芯片与推理加速板系统
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130716
Hiroyuki Watanabe, J. Symon, W. Dettloff, K. E. Yount
{"title":"VLSI fuzzy chip and inference accelerator board systems","authors":"Hiroyuki Watanabe, J. Symon, W. Dettloff, K. E. Yount","doi":"10.1109/ISMVL.1991.130716","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130716","url":null,"abstract":"The architecture and operational features of a VLSI fuzzy logic inference processor are described. Also described are the architecture and associated high-level software of two VMEbus-board systems based on the fuzzy chip. The VLSI implementation of a fuzzy logic inference mechanism allows the use of rule-based control and decision making in demanding real-time applications. The CMOS chip consists of 688000 transistors, of which 476000 are used for RAM memory. In addition to operating in a robot, the single chip board is installed on a Sun-3 workstation for further research and software development.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124317802","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 49
On the maximum number of implicants needed to cover a multiple-valued logic function using window literals 使用窗口文字覆盖多值逻辑函数所需的最大隐含数
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130743
G. Dueck, G. H. Rees
{"title":"On the maximum number of implicants needed to cover a multiple-valued logic function using window literals","authors":"G. Dueck, G. H. Rees","doi":"10.1109/ISMVL.1991.130743","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130743","url":null,"abstract":"Some bounds on the maximum number of implicants needed in a minimal sum of products expression using window literals and the truncated sum, operation are investigated. Functions with one input variable require at most r implicants in their minimum sum of products expression, where r is the radix of the function. Two variable functions with radix less than eight are analyzed. No firm bounds could be established for two variable functions with radix greater than four.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128633003","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Theory of grounded current switches and quaternary III circuits 接地电流开关和四元电路原理
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130731
Xunwei Wu, Xiaowei Deng
{"title":"Theory of grounded current switches and quaternary III circuits","authors":"Xunwei Wu, Xiaowei Deng","doi":"10.1109/ISMVL.1991.130731","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130731","url":null,"abstract":"According to the action principle of I/sup 2/L circuits, the theory of grounded current switches is proposed to describe the interaction between grounded transistors and current signals in I/sup 2/L circuits. In this theory, the switching state of transistor and the current signal are described separately by two different kinds of variables. Threshold comparison operations and grounding operations are introduced to connect these two kinds of variables. Based on discussions of the properties of operations and syntheses of functions, the design procedure is illustrated using the quaternary level restored complement gate and the quaternary quantizer as examples.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133713467","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An investigation into the implementation costs of residue and high radix arithmetic 残数和高基数算法的实现代价研究
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130758
Chyan Yang, Han-Chung Lu, David E. Gilbert
{"title":"An investigation into the implementation costs of residue and high radix arithmetic","authors":"Chyan Yang, Han-Chung Lu, David E. Gilbert","doi":"10.1109/ISMVL.1991.130758","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130758","url":null,"abstract":"Due to the need for coexistence with binary logic, the implementation of multiple-valued logic must deal with the representations that are conceptually multiple-valued, but physically binary. Some theoretical insights about the VLSI implementation based on a programmable logic array (PLA) approach are presented. The study of these output functions reveals an interesting problem domain that parallels the number theory. It is found that the binary-related radices are not just efficient or direct-packing, but also lower in terms of silicon costs. Implementation of the individual modulo adders and multipliers that form the core for designing a residual number arithmetic unit is discussed. The costs involved in developing these subsystems can then be directly related to the design of the overall system. This tutorial demonstrates that the power-of-two advantage in the implementation costs may be technology-independent.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131616312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An algorithm for the solution of multi-valued logic programming 多值逻辑规划问题的一种求解算法
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130750
Y. Tsuchiya
{"title":"An algorithm for the solution of multi-valued logic programming","authors":"Y. Tsuchiya","doi":"10.1109/ISMVL.1991.130750","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130750","url":null,"abstract":"Logic programming using the Horn clause in the field of artificial intelligence is considered. It has been previously reported that the solution of multivalued logic programming with many truth values is obtained by solving the multivalued logic formula expressed in the Postian algebra. In this paper, expanding the idea that unnecessary search can be avoided by using an indeterminate value, an algorithm that solves three-valued logic programming using four-valued logic is obtained. The relation between the Horn clause and Postian algebra is established.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"241 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131863589","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Synthesis of current-mode pass transistor networks 电流模式通管网络的合成
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130719
O. Ishizuka, H. Takarabe, Z. Tang, H. Matsumoto
{"title":"Synthesis of current-mode pass transistor networks","authors":"O. Ishizuka, H. Takarabe, Z. Tang, H. Matsumoto","doi":"10.1109/ISMVL.1991.130719","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130719","url":null,"abstract":"The basic properties of the MOS current-mode circuits are considered, and the network synthesis for realization of unary multivalued functions is discussed. The main concern is the minimization of hardware realization. Functional blocks to compose a current-mode circuit from the viewpoint of a design cost are considered. Some decomposition methods of unary functions are proposed and their circuit realizations with MOS pass transistor networks are presented.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130597394","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A note on minimal partial clones 关于最小部分克隆的说明
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130740
F. Börner, L. Haddad, R. Pöschel
{"title":"A note on minimal partial clones","authors":"F. Börner, L. Haddad, R. Pöschel","doi":"10.1109/ISMVL.1991.130740","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130740","url":null,"abstract":"Clones of partial operations playing important role in the theory of partial algebras and in computer science are considered. It is shown that the atoms of the lattice Lp/sub A/ of all partial clones are either the atoms of Lo/sub A/ or are generated by partial projections, defined on a totally reflexive and totally symmetric domain.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129280886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
NPN calculi: a family of three strict Q-algebras NPN微积分:由三个严格q -代数组成的一族
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130739
Wen-Ran Zhang
{"title":"NPN calculi: a family of three strict Q-algebras","authors":"Wen-Ran Zhang","doi":"10.1109/ISMVL.1991.130739","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130739","url":null,"abstract":"NPN (negative-positive-neutral) calculi, a family of three mathematical structures are introduced for qualitative reasoning. NPN crisp logic extends the usual 4-valued model (+, -, 0, ?) to a 6-valued model (1, 0, +1, (-1, 0), (0, +1), (-1, +1)) and adds one more level of specification to the usual model. NPN fuzzy logic extends the NPN model to the space ( For all (x,y) mod x, y epsilon (-1, 1) and x<or=y) and adds infinite levels of specifications to the usual model. NPN algebra generalizes the NPN model to include algebraic operations on NPN variables defined in the space of (- infinity , infinity ). Based on the three models, NPN relations and NPN matrices are proposed. It is proved that the three models provide three strict qualitative algebras after the usual 4-valued model. Properties of different models are discussed. Potential applications of NPN calculi in qualitative reasoning are outlined.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125123825","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A decade of spectral techniques 十年的光谱技术
[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic Pub Date : 1991-05-26 DOI: 10.1109/ISMVL.1991.130726
C. Moraga
{"title":"A decade of spectral techniques","authors":"C. Moraga","doi":"10.1109/ISMVL.1991.130726","DOIUrl":"https://doi.org/10.1109/ISMVL.1991.130726","url":null,"abstract":"Some of the significant achievements of the last ten years in the area of spectral techniques are summarized. The name spectral techniques denotes developments in abstract harmonic analysis oriented to possible applications in switching theory and logic design, fault detection, coding theory, and pattern analysis. A review of pattern analysis, with emphasis on the study of self-similarity of patterns, is presented.<<ETX>>","PeriodicalId":127974,"journal":{"name":"[1991] Proceedings of the Twenty-First International Symposium on Multiple-Valued Logic","volume":"194 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121021917","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信