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

2013 IEEE 43rd International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
On the Combinatorics of Tolerance Relations 论容差关系的组合
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.47
D. Simovici
{"title":"On the Combinatorics of Tolerance Relations","authors":"D. Simovici","doi":"10.1109/ISMVL.2013.47","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.47","url":null,"abstract":"Tolerance relations are useful in soft computing in the treatment of non-disjoint clusterings, in the study of fuzzy automata, etc. After a comparative review of tolerance and equivalences of a set, we evaluate the number of tolerances situated between two equivalences, certain combinatorial aspects of the lattice of tolerances on a finite set and the use of bipartite graphs in the study of tolerances.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121006068","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
Four Decades of Multi-Valued Logic: Lists of Highly Cited Papers 四十年的多值逻辑:高被引论文列表
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.29
Tsutomu Sasao
{"title":"Four Decades of Multi-Valued Logic: Lists of Highly Cited Papers","authors":"Tsutomu Sasao","doi":"10.1109/ISMVL.2013.29","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.29","url":null,"abstract":"This paper surveys research activities in multiple-valued logic (MVL), and focuses on the International Symposium on Multiple-valued Logic (ISMVL). It spans 40 years. Using four different databases, lists of highly cited papers on MVL are shown, and research topics are analyzed.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116557043","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
Low-Power Multiple-Valued Source-Coupled Logic Circuits Using Dual-Supply Voltages for a Reconfigurable VLSI 用于可重构VLSI的双电源电压低功耗多值源耦合逻辑电路
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.36
Xu Bai, M. Kameyama
{"title":"Low-Power Multiple-Valued Source-Coupled Logic Circuits Using Dual-Supply Voltages for a Reconfigurable VLSI","authors":"Xu Bai, M. Kameyama","doi":"10.1109/ISMVL.2013.36","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.36","url":null,"abstract":"A novel dual-supply-voltage technique is proposed for a low-power multiple-valued VLSI without decreasing speed. A high-supply voltage is required to generate multiple-valued voltage signals in a current-voltage converter, and a low-supply voltage is used to generate binary voltage signals in a comparator whose speed is not decreased by the low-supply voltage. Moreover, level shifters used to prevent direct-path currents in the conventional dual-VDD CMOS circuits are not necessary to be provided because of constant current flow in the multiple-valued source-coupled logic circuits. As a result, the power consumption of a cell using dual-supply voltages for a multiple-valued reconfigurable VLSI is reduced to 79% in comparison with that of the cell using a single-supply voltage.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122374758","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
A Fuzzy Human Detection for Security System Using Infrared Laser Camera 基于红外激光摄像机的安防系统模糊人识别
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.4
Takahiro Takeda, Kei Kuramoto, Syoji Kobashi, Y. Hata
{"title":"A Fuzzy Human Detection for Security System Using Infrared Laser Camera","authors":"Takahiro Takeda, Kei Kuramoto, Syoji Kobashi, Y. Hata","doi":"10.1109/ISMVL.2013.4","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.4","url":null,"abstract":"This paper describes an object classification method using infrared laser camera. The method detects moving objects from a distance distribution data. We classify the object to adults, children and other objects. The objects are extracted and clustered by fuzzy c-means clustering method. To classify the object, we calculate the height, thickness, aspect ratio and occupancy of the object as features from a sampling time. Fuzzy if-then rules and fuzzy membership functions are derived from knowledge of human and object. The system classifies the object based on fuzzy logic. In our experiment, we employed seven volunteers, two dogs and a box, and the system successfully classified them.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114513793","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
Remarks on Applications of Shapes of Decision Diagrams in Classification of Multiple-Valued Logic Functions 决策图形状在多值逻辑函数分类中的应用述评
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.49
S. Stankovic, R. Stankovic, J. Astola
{"title":"Remarks on Applications of Shapes of Decision Diagrams in Classification of Multiple-Valued Logic Functions","authors":"S. Stankovic, R. Stankovic, J. Astola","doi":"10.1109/ISMVL.2013.49","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.49","url":null,"abstract":"The paper studies ternary logic functions that have decision diagrams of identical shape. The concept of beads, a special class of binary sequences, is extended to ternary sequences and are used to describe the shape of the decision diagrams representing functions that are mathematical models of such sequences. We point out that establishing the links between beads, functions, and their decision diagram representations can be useful in classification of ternary functions, checking the equivalence of functions, as well as their circuit implementations.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129193930","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
On the Semigroup of Equational Classes of Finite Functions 有限函数的等式类的半群
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.48
J. Almeida, Miguel Couceiro, Tamás Waldhauser
{"title":"On the Semigroup of Equational Classes of Finite Functions","authors":"J. Almeida, Miguel Couceiro, Tamás Waldhauser","doi":"10.1109/ISMVL.2013.48","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.48","url":null,"abstract":"We consider the set of equtional classes of finite functions endowed with the operation of class composition. Thus defined, this set gains a semigroup structure. This paper is a contribution to the understanding of this semigroup. We present several interesting properties of this semigroup. In particular, we show that it constitutes a topological semigroup that is profinite.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123631921","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
A Study on Essentially Minimal Clones 基本最小克隆的研究
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.8
Hajime Machida, I. Rosenberg
{"title":"A Study on Essentially Minimal Clones","authors":"Hajime Machida, I. Rosenberg","doi":"10.1109/ISMVL.2013.8","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.8","url":null,"abstract":"For a non-empty set A, a clone C on A is essentially minimal if C is not a minimal clone and is minimal among all clones on A containing essential functions. For a finite A with |A|=A Study on Essentially Minimal Clones (>2), we prove that any essentially minimal clone on A has a generator whose arity is no greater than κ. We also determine all conjugate classes of essentially minimal groupoids on a three-element set.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114624052","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
Exact Template Matching Using Boolean Satisfiability 使用布尔可满足性的精确模板匹配
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.26
Nabila Abdessaied, Mathias Soeken, R. Wille, R. Drechsler
{"title":"Exact Template Matching Using Boolean Satisfiability","authors":"Nabila Abdessaied, Mathias Soeken, R. Wille, R. Drechsler","doi":"10.1109/ISMVL.2013.26","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.26","url":null,"abstract":"Reversible logic is an emerging research area that has shown promising results in applications such as quantum computing, low power design, and optical computing. Since the synthesis of minimal circuits is a cumbersome task, many synthesis algorithms apply heuristics and can therefore not provide a minimal solution. As a consequence, post synthesis methods such as window optimization and template matching are being applied. Template matching algorithms explore the circuits for gate cascades that can be replaced by smaller ones using a special class of identity circuits, so called templates. The determination of cascades applicable for substitution is the bottleneck of the template matching algorithm and problem-solving methods have been proposed in the recent past. Since these algorithms are based on heuristics, it cannot be ensured that a matching cascade can always be found. In this paper, we propose a new approach that determines matching cascades based on Boolean satisfiability and therefore ensures that these cascades are always found if they exist. Experimental results demonstrate that template matching yields smaller circuits when applying the new method for cascade determination.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117242259","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}
引用次数: 24
Highly Reliable Non-Volatile Logic Circuit Technology and Its Application 高可靠非易失性逻辑电路技术及其应用
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.32
H. Kimura, Zhiyong Zhong, Y. Mizuochi, N. Kinouchi, Yoshinobu Ichida, Y. Fujimori
{"title":"Highly Reliable Non-Volatile Logic Circuit Technology and Its Application","authors":"H. Kimura, Zhiyong Zhong, Y. Mizuochi, N. Kinouchi, Yoshinobu Ichida, Y. Fujimori","doi":"10.1109/ISMVL.2013.32","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.32","url":null,"abstract":"A ferroelectric-based (FE-based) non-volatile logic is proposed for low-power LSI. Standby currents in a logic circuit can be cut off by using FE-based non-volatile flip-flops(NVFFs), and the standby power can be reduced to zero. The FE capacitor is accessed only when the power turns on/off, performance of the NVFF is almost as same as that of the conventional flip-flop in a logic operation. The use of complementarily stored data in coupled FE capacitors makes it possible to realize wide read voltage margin, which guarantees 10 years retention at 85 degree Celsius under less than 1.5V operation. The low supply voltage and electro-static discharge (ESD) detection technique prevents data destruction caused by illegal access for the FE capacitor during standby state. Applying the proposed circuitry in CPU, the write and read operation for all FE capacitors in 1.6k-bit NVFFs are performed within 7us and 3us with access energy of 23.1nJ and 8.1nJ, respectively, using 130nm CMOS with Pb(Zr, Ti)O3(PZT) thin films.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127912965","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}
引用次数: 16
The Complexity of Lukasiewicz Logic Lukasiewicz逻辑的复杂性
2013 IEEE 43rd International Symposium on Multiple-Valued Logic Pub Date : 2013-05-22 DOI: 10.1109/ISMVL.2013.58
M. Goldstern
{"title":"The Complexity of Lukasiewicz Logic","authors":"M. Goldstern","doi":"10.1109/ISMVL.2013.58","DOIUrl":"https://doi.org/10.1109/ISMVL.2013.58","url":null,"abstract":"Lukasiewicz logic is a [0, 1]-valued fuzzy logic with two disjunctions, corresponding to the maximum operation and (truncated) addition. The set of valid formulas for this logic is a complete Π20 set. We give a proof of this result and discuss two variants of this logic: a syntactic variant in which only the classical connectives are allowed, and a semantic variant where we restrict the models to structures with decidable relations.","PeriodicalId":124947,"journal":{"name":"2013 IEEE 43rd International Symposium on Multiple-Valued Logic","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122980898","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
下一页 尾页
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学术官方微信
小红书