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

Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)最新文献

筛选
英文 中文
Spectral transformation of multiple-valued decision diagrams 多值决策图的谱变换
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302209
D. M. Miller
{"title":"Spectral transformation of multiple-valued decision diagrams","authors":"D. M. Miller","doi":"10.1109/ISMVL.1994.302209","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302209","url":null,"abstract":"This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many 'practical' functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124685688","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}
引用次数: 25
Lattices of resolution logics 解析逻辑的格
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302214
Z. Stachniak
{"title":"Lattices of resolution logics","authors":"Z. Stachniak","doi":"10.1109/ISMVL.1994.302214","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302214","url":null,"abstract":"We study classes of logical calculi which have the same inconsistent sets of formulas. We investigate the algebraic structure of these classes as well as general properties of logical calculi in these classes in the context of the search for efficient resolution based automated reasoning methods.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124584210","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
Parallel processing of fuzzy inferences 模糊推理的并行处理
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302206
C. Moraga, J. Cañas, R. Monge, L. Salinas, Manuel Gómez
{"title":"Parallel processing of fuzzy inferences","authors":"C. Moraga, J. Cañas, R. Monge, L. Salinas, Manuel Gómez","doi":"10.1109/ISMVL.1994.302206","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302206","url":null,"abstract":"Rule based systems are computationally very demanding, since a large number of rules has to be evaluated every time new input data are observed in order to undertake a corresponding action. The authors study the possible improvements in performance by using parallel processing. Both fine grade algorithms and standard multiprocessor architectures for Mamdani-type fuzzy systems with two inputs and one output are considered. It is shown, that a speed-up close to linear may be achieved. The results may be extended to systems with more than two inputs.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123008325","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}
引用次数: 1
Multiple-valued logic operations with universal literals 具有通用文字的多值逻辑运算
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302217
G. Dueck, J. T. Butler
{"title":"Multiple-valued logic operations with universal literals","authors":"G. Dueck, J. T. Butler","doi":"10.1109/ISMVL.1994.302217","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302217","url":null,"abstract":"We propose the use of universal literals as a means of reducing the cost of multiple-valued circuits. A universal literal is any function on one variable. The target architecture is a sum-of-products structure, where sum is the truncated sum and product terms consist of the minimum of universal literals. A significant cost reduction is demonstrated over the conventional window literal. The proposed synthesis method starts with a sum-of-products expression. Simplification occurs as pairs of product terms are merged and reshaped. We show under what conditions such operations can be applied.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127244890","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}
引用次数: 8
Soft computing perspectives 软计算视角
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302190
E. Sanchez
{"title":"Soft computing perspectives","authors":"E. Sanchez","doi":"10.1109/ISMVL.1994.302190","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302190","url":null,"abstract":"Soft computing stands for methods and techniques in fuzzy logic, probabilistic reasoning, neural networks, genetic algorithms, chaos or other approaches related to cognitive modeling. These overlapping domains can reinforce each other, thus offering suitable tools to represent and solve real world problems. Genetic algorithms and classifier systems are introduced in the framework of soft computing. Their interactions with other fields are discussed, especially in relation to neural networks and fuzzy logic based systems of If-Then rules. It finally presents fuzzy genetic algorithms involving soft (fuzzy) crossover operators.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121952849","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}
引用次数: 17
Quaternary multiplier circuit 四元倍增电路
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302225
W. Chu, K. Current
{"title":"Quaternary multiplier circuit","authors":"W. Chu, K. Current","doi":"10.1109/ISMVL.1994.302225","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302225","url":null,"abstract":"A new quaternary multiplier circuit is presented. This current-mode CMOS circuit multiplies the values of two quaternary-valued input currents and adds a ternary-valued carry input current to generate the two-quaternary-digit output: a most-significant-digit ternary-valued CARRY output current and a quaternary-valued PRODUCT output current. This multiplier circuit uses 49 MOS transistors and generates its outputs in about 10 microseconds, worst case.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125318674","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}
引用次数: 9
Algebraic division for multilevel logic synthesis of multi-valued logic circuits 多值逻辑电路多电平逻辑综合的代数划分
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302221
Hui Min Wang, Chung-Len Lee, Jwu-E Chen
{"title":"Algebraic division for multilevel logic synthesis of multi-valued logic circuits","authors":"Hui Min Wang, Chung-Len Lee, Jwu-E Chen","doi":"10.1109/ISMVL.1994.302221","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302221","url":null,"abstract":"Presents the concept of algebraic division for multilevel logic synthesis of multi-valued logic (MVL). At first, an MVL algebraic division procedure is developed based on a basic set of gates. By introducing two MVL Boolean properties: \"identical\" and \"complementary\" into the division operation, the procedure is further improved to be a mix-algebraic division procedure, which can obtain more efficient algebraic division to facilitate multilevel logic synthesis of MVL functions. Experimental results show that, in average, the multilevel implementation cost for an MVL function can have 30.1% cost saving over the two-level implementation, and the improved mix-algebraic division procedure can have 19.4% cost saving over the algebraic division procedure.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116987243","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}
引用次数: 5
Digital circuit verification using partially-ordered state models 使用部分有序状态模型的数字电路验证
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302226
C. Seger, R. Bryant
{"title":"Digital circuit verification using partially-ordered state models","authors":"C. Seger, R. Bryant","doi":"10.1109/ISMVL.1994.302226","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302226","url":null,"abstract":"Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over \"weakened\" state values. This technique has long been practiced with logic simulators, using the value X to indicate a signal that could be either 0 or 1. This concept can be formally extended to a wider class of circuit models and signal values, yielding lattice-structured state domains. For more precise modeling of circuit operation, these values can be encoded in binary and hence represented symbolically as ordered binary decision diagrams. The net result is a tool for formal verification that can apply a hybrid of symbolic and partially-ordered evaluation.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115839091","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}
引用次数: 7
Several remarks on algebraic entropy 关于代数熵的几点说明
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302184
C. Reischer, D. Simovici, I. Stojmenovic
{"title":"Several remarks on algebraic entropy","authors":"C. Reischer, D. Simovici, I. Stojmenovic","doi":"10.1109/ISMVL.1994.302184","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302184","url":null,"abstract":"Following our previous results on axiomatization of entropy of finite functions we introduce an axiomatization of the notion of entropy for equivalence relations. Also, we examine entropic properties of several classes of functions.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131690155","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
Design of multiplex interconnection networks for massively parallel computing systems 面向大规模并行计算系统的多路互连网络设计
Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94) Pub Date : 1994-05-25 DOI: 10.1109/ISMVL.1994.302196
T. Takimoto, T. Aoki, T. Higuchi
{"title":"Design of multiplex interconnection networks for massively parallel computing systems","authors":"T. Takimoto, T. Aoki, T. Higuchi","doi":"10.1109/ISMVL.1994.302196","DOIUrl":"https://doi.org/10.1109/ISMVL.1994.302196","url":null,"abstract":"The concept of multiplex interconnection networks is proposed to attack the communication crisis in massively parallel computing in the next generation. In the multiplex interconnection network, multiplexable information carriers, such as optical wavelengths, are employed so that large-scale communication topologies can be embedded in the virtual space of multiplexable carriers with reduced interconnections. This paper discusses a systematic multiplexing scheme for the class of interconnection networks defined by bit-permute-complement (BPC) permutations. It is shown that by using the proposed technique, the wiring area can be reduced by less than the factor of 1/r using r kinds of multiplexable components.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124621190","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}
引用次数: 1
首页 上一页 下一页 尾页
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学术官方微信