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

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

筛选
英文 中文
Galois Connection for Hyperclones 超克隆的伽罗瓦连接
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.45
Hajime Machida, J. Pantović, I. Rosenberg
{"title":"Galois Connection for Hyperclones","authors":"Hajime Machida, J. Pantović, I. Rosenberg","doi":"10.1109/ISMVL.2010.45","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.45","url":null,"abstract":"This paper is inspired by the paper of Tarasov in which he investigates maximal partial clones on a two-element set. It happens that the approach of Tarasov can be translated into the language of hyperclone theory. He introduced a notion of quasicomposition which assigns to extended hyperoperations extension of their composition. We introduce a new operation in the set of extended hyperoperation and define a quasiclone as a composition closed set of extended hyperoperations containing all projections which is closed with respect to the new operation. For a Galois connection between sets of extended hyperoperations and power relations, we prove that the set of all extended hyperoperations e-preserving every relation is a quasiclone and that each quasiclone is of the form ePolR for a set R of relations on the power set of A without empty-set. Finally, we re-state results of Tarasov in hyperclone framework.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"205 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122459057","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
Truth-Functionality, Rough Sets and Three-Valued Logics 真功能、粗糙集与三值逻辑
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.26
D. Ciucci, D. Dubois
{"title":"Truth-Functionality, Rough Sets and Three-Valued Logics","authors":"D. Ciucci, D. Dubois","doi":"10.1109/ISMVL.2010.26","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.26","url":null,"abstract":"This paper investigates the significance of truth-functional three valued logics of ill-known sets described by pairs of disjoint (or pairs of nested) subsets. In particular the case of three-valued logics of rough sets is studied in more details, showing that, while the mathematical underpinnings are sound, the relevance of these logics for reasoning about data-tables containing incomplete descriptions of objects is questionable.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132262651","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
Efficient Simulation-Based Debugging of Reversible Logic 基于仿真的可逆逻辑高效调试
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.37
Stefan Frehse, R. Wille, R. Drechsler
{"title":"Efficient Simulation-Based Debugging of Reversible Logic","authors":"Stefan Frehse, R. Wille, R. Drechsler","doi":"10.1109/ISMVL.2010.37","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.37","url":null,"abstract":"Reversible logic has become an active research area due to its various applications in emerging technologies, like quantum computing, low power design, optical computing, DNA computing, or nanotechnologies. As a result, complex reversible circuits containing thousands of gates can be efficiently synthesized, today. However, this also increases the probability of design errors. While for the detection of errors already a couple of simulation-based or formal verification techniques have been proposed for reversible logic. Research in the domain of debugging is still at the beginning. In this paper, we present an automatic debugging approach for reversible logic which is based on simulation. We show that a particular error in a gate always requires a counterexample leading to a concrete gate input pattern. By simulating all counterexamples and checking for these input patterns, irrelevant gates (i.e. gates that do not contain an error) can be excluded. Experiments show, that applying the proposed approach leads to speed-ups of up to five orders of magnitude. Furthermore, the number of error candidates can be reduced in comparison to previous work.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116277994","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
Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function 基于周期激活函数的多值神经元学习多值逻辑的非阈值函数
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.15
I. Aizenberg
{"title":"Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function","authors":"I. Aizenberg","doi":"10.1109/ISMVL.2010.15","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.15","url":null,"abstract":"In this paper, a theory of multiple-valued threshold functions over the field of complex numbers is further developed. k-valued threshold functions over the field of complex numbers can be learned using a single multi-valued neuron (MVN). We propose a new approach for the projection of a k-valued function, which is not a threshold one, to m-valued logic (m≫k), where this function becomes a partially defined m-valued threshold function and can be learned by a single MVN. To build this projection, a periodic activation function for the MVN is used. This new activation function and a modified learning algorithm make it possible to learn nonlinearly separable multiple-valued functions using a single MVN.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130575998","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
ESOP-Based Toffoli Network Generation with Transformations 基于esop的Toffoli网络生成与转换
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.58
Yasaman Sanaee, G. Dueck
{"title":"ESOP-Based Toffoli Network Generation with Transformations","authors":"Yasaman Sanaee, G. Dueck","doi":"10.1109/ISMVL.2010.58","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.58","url":null,"abstract":"In this paper a new Toffoli gate cascade synthesis method is presented. This method is based on previous work and generates a cascade of inverted-control-Toffoli gates from the ESOP representation of a multi-output function. The algorithm first generates a circuit with n + m lines, where n and m are the number of inputs and outputs, respectively. A set of gate transformations are applied to the circuits to remove some of the output lines. The improvements of this new algorithm are twofold: most NOT gates are eliminated and the number of lines is reduced. A significant reduction is the quantum cost of the resulting networks can be observed.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124060373","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}
引用次数: 28
One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control 基于多值同步控制的单色两相异步通信链路
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.47
Atsushi Matsumoto, N. Onizawa, T. Hanyu
{"title":"One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control","authors":"Atsushi Matsumoto, N. Onizawa, T. Hanyu","doi":"10.1109/ISMVL.2010.47","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.47","url":null,"abstract":"This paper presents one-color two-phase asynchronous communication links for a high-performance asynchronous system. The proposed communication links based on simple one-color encoding is effectively connected to processing cores. Since the communication is controlled by simultaneous handshaking, where a request and an acknowledge signals are overlapped, the number of communication steps is greatly reduced. Moreover, the use of multiple-valued current-mode circuit makes it possible to realize asynchronous communication with just two wires. The asynchronous transmission circuits based on the proposed encoding are implemented and evaluated using HSPICE simulation with 0.13 um CMOS technology. Throughput of the proposed 2-bit transmission attains 0.45Gbps/wire, which is three times faster than that of the conventional two-color two-phase transmission.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130283024","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 Ontology Mediated Multimedia Information Retrieval System 基于本体的多媒体信息检索系统
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.65
U. Straccia
{"title":"An Ontology Mediated Multimedia Information Retrieval System","authors":"U. Straccia","doi":"10.1109/ISMVL.2010.65","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.65","url":null,"abstract":"We outline DL-Media, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia feature-based similarity retrieval. An ontology layer is used to define (in terms of a fuzzy description logic) the relevant abstract concepts and relations of the application domain, while a content-based multimedia retrieval system is used for feature-based retrieval.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129669228","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}
引用次数: 19
Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control 具有8级静态电流源控制的低能量流水线多值电流模式电路
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.51
M. Natsui, T. Arimitsu, T. Hanyu
{"title":"Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control","authors":"M. Natsui, T. Arimitsu, T. Hanyu","doi":"10.1109/ISMVL.2010.51","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.51","url":null,"abstract":"A static current-source control technique in a multiple-valued current-mode (MVCM) circuit is proposed for a low-energy pipelined system. A current-control block embedded in each pipeline stage generates current control signals, which minimizes the amount of current flows depending on a given condition. The use of this current-source control technique makes it possible to reduce the power dissipation with maintaining the operating frequency. The efficiency of the proposed technique in a pipelined MVCM multiplier is confirmed by using HSPICE simulation under 0.13um CMOS technology. The MVCM circuit using the proposed technique achieves 65.1% power reduction compared with a conventional MVCM implementation at the operating frequency of 100MHz and 26.5% reduction at 500MHz with 6.88% area overhead.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121050904","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
On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables 用四值变量SOPs表示区间函数的积数
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.59
Tsutomu Sasao
{"title":"On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables","authors":"Tsutomu Sasao","doi":"10.1109/ISMVL.2010.59","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.59","url":null,"abstract":"Let A and B be integers such that A less than or equal to B. An n-variable interval function IN[n:A, B] is a mapping from{0,1}^n to {0,1}, where IN[n:A, B](X)=1 iff X is in the interval [A, B]. Such function is useful for packet classification in the internet, network intrusion detection system, etc. This paper considers the number of products to represent interval functions by sum-of-products expressions with two-valued and four-valued variables. It shows that to represent any interval function of n variables, an SOP with two-valued variables requires up to 2(n-2) products, while an SOP with four-valued variables requires at most n-1 products. These bounds are useful to estimate the size of a content addressable memory (CAM).","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115533928","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
Representing Fuzzy Structures in Quantum Computation with Mixed States 混合态量子计算中的模糊结构表示
2010 40th IEEE International Symposium on Multiple-Valued Logic Pub Date : 2010-05-26 DOI: 10.1109/ISMVL.2010.38
H. Freytes, R. Giuntini, G. Sergioli, A. Aricò
{"title":"Representing Fuzzy Structures in Quantum Computation with Mixed States","authors":"H. Freytes, R. Giuntini, G. Sergioli, A. Aricò","doi":"10.1109/ISMVL.2010.38","DOIUrl":"https://doi.org/10.1109/ISMVL.2010.38","url":null,"abstract":"In this work we introduce a particular kind of quantum operations called polynomial quantum operations that allow us to represent the basic operations of the standard Product MV -algebra. Consequently, these operations can be treated as quantum computational gates in the powerful model of quantum computation given by “quantum operations - density operators”.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123294589","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学术官方微信