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

2010 40th IEEE International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
Revisiting Ultraproducts in Fuzzy Predicate Logics 再论模糊谓词逻辑中的超积
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.33
Pilar Dellunde
{"title":"Revisiting Ultraproducts in Fuzzy Predicate Logics","authors":"Pilar Dellunde","doi":"10.1109/ISMVL.2010.33","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.33","url":null,"abstract":"In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the $L$os Theorem for these notions and discuss the advantages and drawbacks of each definition introduced. Following the work in cite{De09}, we show that these constructions are adequate for working in a reduced semantics","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124577246","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
Two Many Values: An Algorithmic Outlook on Suszko's Thesis 两个多值:Suszko理论的算法展望
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.25
Carlos Caleiro, J. Martin Marcos
{"title":"Two Many Values: An Algorithmic Outlook on Suszko's Thesis","authors":"Carlos Caleiro, J. Martin Marcos","doi":"10.1109/ISMVL.2010.25","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.25","url":null,"abstract":"In spite of the multiplication of truth-values, a noticeable shade of bivalence lurks behind the canonical notion of entailment that many-valued logics inherit from the 2-valued case. Can this bivalence be somehow used to our advantage? The present note briefly surveys the progress made in the last three decades toward making that theme precise from an abstract point of view and extracting some useful procedures from it, harvesting some of its most favorable crops on the domains of semantics and proof-theory.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124749121","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
Toffoli Gate Implementation Using the Billiard Ball Model 利用台球模型实现Toffoli门
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.40
Hadi Hosseini, G. Dueck
{"title":"Toffoli Gate Implementation Using the Billiard Ball Model","authors":"Hadi Hosseini, G. Dueck","doi":"10.1109/ISMVL.2010.40","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.40","url":null,"abstract":"In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown to ignored physical realities. We prove that some logic function cannot be realized without additional control balls. For example, to realize the logical OR operation, at least three control balls are needed. We show how reversible Toffoli gates can be constructed with this model. Finally, a Toffoli gate module is proposed that can be used in a cascade of gates and thus implement arbitrary reversible functions.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114668275","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
Information-Theoretical Mining of Determining Sets for Partially Defined Functions 部分定义函数确定集的信息论挖掘
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.61
D. Simovici, D. Pletea, R. Vetro
{"title":"Information-Theoretical Mining of Determining Sets for Partially Defined Functions","authors":"D. Simovici, D. Pletea, R. Vetro","doi":"10.1109/ISMVL.2010.61","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.61","url":null,"abstract":"This paper describes an algorithm that determines the minimal sets of variables that determine the values of a discrete partial function. The algorithm is based on the notion of entropy of a partition and is able to achieve an optimal solution. A limiting factor is introduced to restrict the search, thereby providing the option to reduce running time. Experimental results are provided that demonstrate the efficiency of the algorithm for functions with up to 24 variables. The effect of the limiting factor on the optimality of the algorithm for different sizes of partial functions is also examined.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116856800","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
A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics 基于无限值Lukasiewicz语义的分级推理方法
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.54
David Picado Muiño
{"title":"A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics","authors":"David Picado Muiño","doi":"10.1109/ISMVL.2010.54","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.54","url":null,"abstract":"We present a consequence relation for graded inference within the frame of infinite-valued Lukasiewicz semantics. We consider the premises to be true to at least a certain degree A and consider as consequences those sentences entailed to have a degree of truth at least some suitable threshold B. We focus on the study of some aspects and features of the consequence relation presented and, in particular, on the effect of variations in the thresholds A, B.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116804221","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
Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups 有限非阿贝尔群调和分析中的异质决策图应用
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.63
S. Stankovic, J. Astola, D. M. Miller, R. Stankovic
{"title":"Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups","authors":"S. Stankovic, J. Astola, D. M. Miller, R. Stankovic","doi":"10.1109/ISMVL.2010.63","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.63","url":null,"abstract":"Spectral techniques on Abelian groups are a well-established tool in diverse fields such as signal processing, switching theory, multi-valued logic and logic design. The harmonic analysis on finite non-Abelian groups is an extension of them, which has also found applications for particular tasks in the same fields. It takes advantages of the peculiar features of the domain groups and their dual objects. Representing unitary irreducible representations, that are kernels of Fourier transforms on non-Abelian groups, in a compact manner is a key task in this area. These representations are usually specified in terms of rectangular matrices with matrix entries. Therefore, the problem of their efficient representations can be viewed as handling large rectangular matrices with matrix-valued entries. Quantum Multiple-valued Decision Diagrams (QMDDs) and Heterogeneous Decision Diagrams (HDDs) have been used for representation of matrices with numerical values, under some restrictions to the order of matrices to be represented. In this paper, we present a generalization of this concept for the representation of rectangular matrices with matrix-valued entries. We also demonstrate an implementation of an XML-based software package aimed at handling such data structures.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124008809","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
Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors 多值密码处理器的防篡改寄存器设计
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.20
Yuichi Baba, N. Homma, A. Miyamoto, T. Aoki
{"title":"Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors","authors":"Yuichi Baba, N. Homma, A. Miyamoto, T. Aoki","doi":"10.1109/ISMVL.2010.20","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.20","url":null,"abstract":"This paper presents the design of tamper-resistant registers for multiple-valued cryptographic processors. The voltage-mode and current-mode registers are proposed for hiding dependencies between power consumption and input data. For this purpose, the voltage-mode register activates any one of two flip-flops in a complementary style, and the current-mode register maintains the number of current signals independently of the input value. This paper also applies the two registers to RSA processors in Multiple-Valued Current-Mode Logic and evaluates the power characteristics by HSIM simulations using 90nm process technology. The result shows that the proposed designs can achieve constant power consumption with lower overhead in comparison with the conventional designs.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130064789","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
Secure Design Flow for Asynchronous Multi-valued Logic Circuits 异步多值逻辑电路的安全设计流程
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.56
A. Rafiev, Julian P. Murphy, A. Yakovlev
{"title":"Secure Design Flow for Asynchronous Multi-valued Logic Circuits","authors":"A. Rafiev, Julian P. Murphy, A. Yakovlev","doi":"10.1109/ISMVL.2010.56","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.56","url":null,"abstract":"The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques often implies non-standard methods that are not supported by the conventional design tools. In the recent decade the designers of secure devices have been working hard on customising the workflow. The presented research aims to collect the up-to-date experiences in this area and create a generic approach to the secure design flow that can be used as guidance by engineers. In the presented paper the emphasis is put on multi-valued logic synthesis and asynchronous system design. The proposed flow employs the tool based on higher radix and mixed radix Reed-Muller expansions, power-balanced logic component libraries and TiDE design environment. The challenge of the research here is interfacing between different EDA tools and technologies. An example is also presented and described from the view of the system designer.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121678365","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
Reducing Reversible Circuit Cost by Adding Lines 通过增加线路来降低可逆电路的成本
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.48
D. M. Miller, R. Wille, R. Drechsler
{"title":"Reducing Reversible Circuit Cost by Adding Lines","authors":"D. M. Miller, R. Wille, R. Drechsler","doi":"10.1109/ISMVL.2010.48","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.48","url":null,"abstract":"Additional lines are required to implement an irreversible function as a reversible circuit. The emphasis, particularly in automated synthesis methods, has been on using the minimal number of additional lines. In this paper, we show that circuit cost reductions can be achieved by adding additional lines. We present an algorithm for line addition that can be targeted to reducing the quantum cost of a circuit or the transistor count for a CMOS implementation. Experimental results show that the cost reduction can be significant even if (1) only a small number of lines (even one) is added and (2) other circuit optimizations have already been applied.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132364164","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}
引用次数: 78
Spectral Techniques: The First Decade of the XXI Century (Invited Paper) 光谱技术:二十一世纪的第一个十年(特邀论文)
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.10
C. Moraga
{"title":"Spectral Techniques: The First Decade of the XXI Century (Invited Paper)","authors":"C. Moraga","doi":"10.1109/ISMVL.2010.10","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.10","url":null,"abstract":"Following an “unwritten tradition” this paper offers a review of another decade of achievements in the area of Spectral Techniques. Topics like transforms of matrix-valued functions, transforms based on non-Abelian groups, latest advancements related to Linear Independent transforms, a space-efficient algorithm to calculate spectral transforms, will be discussed. A special mention will be given to other areas, like signal processing, and coding theory, where Spectral Techniques have been (and continue to be) used, even though with possibly different names.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115679392","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学术文献互助群
群 号：481959085
Book学术官方微信