Proceedings of the Twentieth International Symposium on Multiple-Valued Logic最新文献_第2页

Lukasiewicz logic arrays Lukasiewicz逻辑阵列

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122584

J. W. Mills, M. Beavers, Charles A. Daffinger

引用次数: 22

On the diagnosability of systems with three valued test results: diagnosis by comparison strategy 三值测试结果系统的可诊断性:比较诊断策略

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122606

A. Sengupta, C. Rhee

引用次数: 1

Note on resolution approximation of many-valued logics 关于多值逻辑的分辨率逼近的注意事项

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122622

Z. Stachniak

引用次数: 4

On design of multiple-valued static random-access-memory 多值静态随机存取存储器的设计

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122585

O. Ishizuka, Zheng Tang, H. Matsumoto

引用次数: 8

Binary to quaternary encoding in clocked CMOS circuits using weak buffer 基于弱缓冲的CMOS电路二进制到四进制编码

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122617

D. Bhattacharya

引用次数: 2

Application of multiple-valued switch-level algebra to the design and analysis of pass-transistor switch networks 多值开关级代数在通管开关网络设计与分析中的应用

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122620

Mou Hu, Kenneth C. Smith

引用次数: 1

Multi-valued neural logic networks 多值神经逻辑网络

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122658

L. Hsu, H. Teh, Sing-Chai Chan, K. Loe

引用次数: 3

A general fuzzy logical operator set 一般模糊逻辑算子集

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122633

Lichun Cheng, Mou Hu

引用次数: 0

Walsh type transforms for completely and incompletely specified multiple-valued input binary functions 完全和不完全指定多值输入二元函数的Walsh类型变换

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122598

B. Falkowski, M. Perkowski

引用次数: 11

Minimization of functions with multiple-valued outputs: theory and applications 多值输出函数的最小化:理论与应用

Proceedings of the Twentieth International Symposium on Multiple-Valued Logic Pub Date : 1990-05-23 DOI: 10.1109/ISMVL.1990.122638

S. Devadas

{"title":"Minimization of functions with multiple-valued outputs: theory and applications","authors":"S. Devadas","doi":"10.1109/ISMVL.1990.122638","DOIUrl":"https://doi.org/10.1109/ISMVL.1990.122638","url":null,"abstract":"A theoretical framework for the minimization of logic functions with symbolic or multiple-valued outputs is presented. By use of this framework, efficient, exact algorithms for the problems of output encoding and finite-state-machine (FSM) state assignment are developed. All previous automatic approaches to these encoding problems have involved the use of heuristic techniques. A notion of generalized prime implicants is presented for functions with multiple-valued outputs, and a novel minimization procedure of prime implicant generation and covering for solving the output encoding problem is proposed. An optimum solution to this covering problem is also an optimum solution to the encoding problem. A single logic minimization step thus replaces on the order of n-factorial minimizations required by straightforward exhaustive search. It has been shown previously that the input encoding problem can be exactly solved using Boolean minimization over functions with multiple-valued inputs. An extension of the presented algorithm that handles functions with multiple-valued inputs and outputs can be used to solve the state assignment problem exactly. Experimental results are presented for a set of examples.<<ETX>>","PeriodicalId":433001,"journal":{"name":"Proceedings of the Twentieth International Symposium on Multiple-Valued Logic","volume":"4 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132397262","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