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

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)最新文献

筛选
英文 中文
Multiple-valued decision diagrams with symmetric variable nodes 具有对称变量节点的多值决策图
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508375
D. M. Miller, N. Muranaka
{"title":"Multiple-valued decision diagrams with symmetric variable nodes","authors":"D. M. Miller, N. Muranaka","doi":"10.1109/ISMVL.1996.508375","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508375","url":null,"abstract":"Symmetry is an important property of logic functions. In this paper, we introduce symmetric variable nodes, and investigate how they can be used to advantage in decision diagrams. We consider totally-symmetric and partially-symmetric functions as well as functions with partial symmetries. The identification of symmetric variable nodes is investigated as is the uniqueness of the resulting representation. A principal advantage of the new node type is that it often reduces the depth of the decision diagram. We consider the effect this has on the circuits that can be directly identified from decision diagrams.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126820731","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
A method to represent multiple-output switching functions by using multi-valued decision diagrams 一种用多值决策图表示多输出开关函数的方法
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508365
Tsutomu Sasao, J. T. Butler
{"title":"A method to represent multiple-output switching functions by using multi-valued decision diagrams","authors":"Tsutomu Sasao, J. T. Butler","doi":"10.1109/ISMVL.1996.508365","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508365","url":null,"abstract":"Multiple-output switching functions can be simulated by multiple-valued decision diagrams (MDDs) at a significant reduction in computation time. analyze the following approaches to the representation problem: shared multiple-valued decision diagrams (SMDDs), multi-terminal multiple-valued decision diagrams (MTMDDs), and shared multi-terminal multiple-valued decision diagrams(SMTMDDs). For example, we show that SMDDs fend to be compact, while SMTMDDs tend to be fast. We present an algorithm for grouping input variables and output functions in the MDDs.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"214 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114227616","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}
引用次数: 69
Design of multivalued circuits using genetic algorithms 用遗传算法设计多值电路
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508361
Wenjun Wang, C. Moraga
{"title":"Design of multivalued circuits using genetic algorithms","authors":"Wenjun Wang, C. Moraga","doi":"10.1109/ISMVL.1996.508361","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508361","url":null,"abstract":"This paper describes an evolutionary algorithm for the design of good multivalued logic (MVL) circuits based on genetic algorithms. A method for deriving low-cost realizations, based on the cost-table technique, is presented. A new cost-table is also proposed that results in better realizations than that obtained in the past. With genetic algorithms the design of MVL circuits can be handled as an optimization problem.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"403 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132576647","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}
引用次数: 13
On the contributions of Helena Rasiowa to mathematical logic 论海伦娜·拉西奥瓦对数理逻辑的贡献
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508351
J. M. Font
{"title":"On the contributions of Helena Rasiowa to mathematical logic","authors":"J. M. Font","doi":"10.1109/ISMVL.1996.508351","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508351","url":null,"abstract":"Summarizes the central aspects of the contributions of Helena Rasiowa (1917-1994) to the more traditional or classical part of Mathematical Logic. One could reasonably argue that all her original research properly belongs to Mathematical Logic, more precisely to the sub-field of Algebraic Logic. As a natural consequence of her previous work on non-classical logics, in the seventies she began to study several logics motivated by computational questions, but still the spirit of her original contributions retained the same algebraic flavour. Even the introductory book (1973) bears this mark: it contains elementary set theory with special attention to ordered sets, mathematical logic, and abstract algebra.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"822 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133848695","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
Planarity in ROMDDs of multiple-valued symmetric functions 多值对称函数的romdd中的平面性
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508364
J. T. Butler, J. Nowlin, Tsutomu Sasao
{"title":"Planarity in ROMDDs of multiple-valued symmetric functions","authors":"J. T. Butler, J. Nowlin, Tsutomu Sasao","doi":"10.1109/ISMVL.1996.508364","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508364","url":null,"abstract":"We show that a multiple-valued symmetric function has a planar ROMDD (reduced ordered multiple-valued decision diagram) if and only if it is a pseudo-voting function. We show that the number of such functions is (r-1)(n+r, n+1) where r is the number of logic values and n is the number of variables. It follows from this that the fraction of symmetric multiple-valued functions that have planar ROMDDs approaches 0 as n approaches infinity. Further, we show that the worst case and average number of nodes in planar ROMDDs of symmetric functions is n/sup 2/(1/2-1/2r) and n/sup 2/(1/2-1/(r+1)), respectively, when n is large.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"220 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121308335","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}
引用次数: 4
Complex spectral decision diagrams 复谱决策图
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508376
B. Falkowski, S. Rahardja
{"title":"Complex spectral decision diagrams","authors":"B. Falkowski, S. Rahardja","doi":"10.1109/ISMVL.1996.508376","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508376","url":null,"abstract":"Different decision diagrams for representations of binary and multiple-valued functions in the form of Complex Hadamard Transforms and Spectra are introduced in this paper. Since Complex Hadamard Transform matrix can be recursively expanded through Kronecker products, complex hybrid decision diagrams can be easily derived. Other types of decision diagrams introduced are: complex multi-terminal decision diagrams, complex algebraic decision diagrams, real and imaginary decision diagrams and complex edge-valued decision diagrams. The latter decision diagrams are derived from partial Complex Hadamard Transform. Introduction of different efficient representations of Complex Hadamard Transforms and spectra in the form of decision diagrams with their useful properties as the discrete transformations should open the possibility of new applications of spectral techniques based on such transformations in the design of binary and multiple-valued logic systems.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123779499","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}
引用次数: 15
As you like them: connectives in fuzzy logic 如你所愿:模糊逻辑中的连接词
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508328
C. Alsina
{"title":"As you like them: connectives in fuzzy logic","authors":"C. Alsina","doi":"10.1109/ISMVL.1996.508328","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508328","url":null,"abstract":"We review the question of which connectives (conjunctions, disjunctions and negations) may be of interest in fuzzy logic. Several alternative structures to the classical Boolean algebras are presented and discussed. We show how techniques from the theory of functional equations may help to clarify the problem of choosing appropriate connectives or refusing inadequate operations.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132484621","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
Multi-valued decoder based on resonant tunneling diodes in current tapping mode 电流分接模式下基于共振隧道二极管的多值解码器
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508363
Hao Tang, H. Lin
{"title":"Multi-valued decoder based on resonant tunneling diodes in current tapping mode","authors":"Hao Tang, H. Lin","doi":"10.1109/ISMVL.1996.508363","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508363","url":null,"abstract":"A multiple valued decoder based on RTDs is proposed and the functionality is verified via both simulation and experiment. The proposed circuit is simulated and tested with several single peaked RTD sections connected in series (stacked RTDs). The design uses current tapping techniques to switch on only one RTD section exclusively in order to create a single literal function. The number of RTD sections connected in series therefore determines the radix of signals used in the decoder.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116925435","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
Commodious axiomatization of quantifiers in multiple-valued logic 多值逻辑中量词的大量公理化
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1900-01-01 DOI: 10.1109/ISMVL.1996.508346
R. Hahnle
{"title":"Commodious axiomatization of quantifiers in multiple-valued logic","authors":"R. Hahnle","doi":"10.1109/ISMVL.1996.508346","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508346","url":null,"abstract":"We provide a concise axiomatization of a broad class of generalized quantifiers in many-valued logic, so-called distribution quantifiers. Although sound and complete axiomatizations for such quantifiers exist, their size renders them virtually useless for practical purposes. We show that for certain lattice-based quantifiers relatively small axiomatizations can be obtained in a schematic way. This is achieved by providing an explicit link between skolemized signed formulas and filters/ideals in Boolean set lattices.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"108 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126076855","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
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信