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

33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.最新文献

筛选
英文 中文
Cascade realizations of two-valued input multiple-valued output functions using decomposition of group functions 利用群函数分解的二值输入多值输出函数级联实现
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201396
Tsutomu Sasao
{"title":"Cascade realizations of two-valued input multiple-valued output functions using decomposition of group functions","authors":"Tsutomu Sasao","doi":"10.1109/ISMVL.2003.1201396","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201396","url":null,"abstract":"This paper considers a method to realize a two-valued input three-valued output function f:{0, 1}/sup n//spl rarr/{0, 1, 2} by using a cascade of four-input cells. Decomposition of a group function is used to find a canonical form. We show that the Walsh spectrum specifies the canonical form, and the number of non-zero coefficients in the spectrum is proportional to the number of cells in the cascade. Finally, we show a design algorithm for a p-valued function f:{0, 1}/sup n//spl rarr/{0, 1, ..., p-1}. The designed cascades are reversible and conservative.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126566988","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
New information on the effectiveness of different reed-muller algebras on the representation of quaternary functions 关于不同reed-muller代数在四元函数表示上有效性的新信息
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201381
K. Adams, J. McGregor
{"title":"New information on the effectiveness of different reed-muller algebras on the representation of quaternary functions","authors":"K. Adams, J. McGregor","doi":"10.1109/ISMVL.2003.1201381","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201381","url":null,"abstract":"Efforts to get reliable data about the efficiency of a set of basis functions in representing a Reed-Muller canonical form with the minimum number of coefficients are frustrated by the long computation times necessary for calculation. Using an integrated suite of utility programs employing fast transforms, we provide statistics on the performance of six different algebras for two, three, four and five variables. Based on experimental results we suggest that the choice of basis functions has only a marginal effect for random samples from the entire function space. In addition we provide evidence which suggests that providing additional polarities has a more and more marginal effect upon efficiency.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121488058","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
On the centralizers of monoids in clone theory 克隆理论中一元群的中心器
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201421
Hajime Machida, I. Rosenberg
{"title":"On the centralizers of monoids in clone theory","authors":"Hajime Machida, I. Rosenberg","doi":"10.1109/ISMVL.2003.1201421","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201421","url":null,"abstract":"For a set S of functions of k-valued logic, the centralizer S* is the set of functions which 'permute' with all functions in S. As a continuation of our previous work we study the centralizers for certain monoids consisting of unary functions. First we show that the centralizers of permutation groups are distinct to each other, and then characterize the centralizer of the alternating group. Next, for certain monoids whose centralizer is the smallest clone J/sub k/, we study the centralizers of some of its proper submonoids. In particular, we report the existence of a considerably small monoid whose centralizer is J/sub k/ as well.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131407825","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
Universes of fuzzy sets-a short survey 模糊集合的宇宙——一个简短的调查
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201387
S. Gottwald
{"title":"Universes of fuzzy sets-a short survey","authors":"S. Gottwald","doi":"10.1109/ISMVL.2003.1201387","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201387","url":null,"abstract":"For classical sets one has their cumulative hierarchy, and also the category SET of all sets and mappings as standard approaches toward the universe of all sets. We discuss the corresponding situation for fuzzy set theory and give is a (concise) survey of a lot of such approaches which have been offered in the past approximately 35 years.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116954154","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}
引用次数: 11
From continuous to Multiple-valued data 从连续数据到多值数据
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201430
D. Popel
{"title":"From continuous to Multiple-valued data","authors":"D. Popel","doi":"10.1109/ISMVL.2003.1201430","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201430","url":null,"abstract":"In modern science, significant advances are typically made at cross-roads of disciplines. Thus, many optimization problems in Multiple-valued Logic Design have been successfully approached using ideas and techniques from Artificial Intelligence. In particular, improvements in multiple-valued logic design have been made by utilizing information/uncertainty measures. In this respect, the paper addresses the problem known as discretization and introduces a method of finding an optimal representation of continuous data in the multiple-valued domain. The paper introduces new information density measures and an optimization criterion. We propose an algorithm that incorporates new measures and is applied to both unsupervised and supervised discretization. The experimental results on continuous-valued benchmarks are given to demonstrate the efficiency and robustness of the algorithm.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"167 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114044810","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
Fixed points for fuzzy rule bases and fuzzy chaining syllogism 模糊规则库和模糊链式三段论的不动点
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201388
Khosro Soleimani, M. Mashinchi, H. Maleki
{"title":"Fixed points for fuzzy rule bases and fuzzy chaining syllogism","authors":"Khosro Soleimani, M. Mashinchi, H. Maleki","doi":"10.1109/ISMVL.2003.1201388","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201388","url":null,"abstract":"In this paper we review the notion of fixed points for fuzzy if-then rules. Some known results on fixed points for fuzzy if-then rules are given and more new ones are added. Then we extend this notion for fuzzy chaining syllogism with rule bases and we obtain new and interesting results.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"188 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123016025","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
On the size of multiple-valued decision diagrams 关于多值决策图的大小问题
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201411
D. M. Miller, G. Dueck
{"title":"On the size of multiple-valued decision diagrams","authors":"D. M. Miller, G. Dueck","doi":"10.1109/ISMVL.2003.1201411","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201411","url":null,"abstract":"The worst-case number of nodes is considered for decision diagrams for general and totally-symmetric multiple-valued functions. We present upper bounds on the number of nodes and then show the bounds are exact by showing how to construct decision diagram of that size. We also show that cyclic edge negations do not reduce the worst case size as much as might be anticipated. Finally, we show that functions exist which have exponential size with respect to one radix, but have linear size with respect to a different radix.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127971365","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
Spectral transforms of mixed-radix MVL functions 混合基MVL函数的谱变换
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201425
M. Thornton
{"title":"Spectral transforms of mixed-radix MVL functions","authors":"M. Thornton","doi":"10.1109/ISMVL.2003.1201425","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201425","url":null,"abstract":"Mixed-radix \"Multiple Valued Logic\" (MVL) functions are assumed to be finite and discrete-valued and depend on a finite-valued variable support set {x/sub i/,...,x/sub j/} such that x/sub i/ is q/sub i/-valued and x/sub j/ is q/sub j/-valued with q/sub i/ /spl ne/ q/sub j/. The spectra of such MVL functions is of interest to circuit designers and automated design tool researchers and developers. Spectral transforms are described that are applicable to such functions over the elementary additive (mod(p)) Abelian groups. Three formulation of such transforms are described here; a linear transformation matrix derived front a group character table, a Kronecker-based expansion allowing for a 'fast' transform algorithm, and a Cayley graph spectrum computation. It is shown that a particular spectral transformation of a discrete mixed-radix function over Z/sub 6/ is equivalent to that over Z/sub 2/ /spl times/ Z/sub 3/ within a permutation. Also, it is shown that a Cayley graph may be formed over Z/sub 6/ with a generator corresponding to the discrete function of interest.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"28 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132476124","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
Implementation of multiple-valued functions using literal-splitting technique 使用逐字拆分技术实现多值函数
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201377
E. Dubrova
{"title":"Implementation of multiple-valued functions using literal-splitting technique","authors":"E. Dubrova","doi":"10.1109/ISMVL.2003.1201377","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201377","url":null,"abstract":"One of the main practical problems of implementing multiple-valued logic circuits is reduced noise margins. In this paper we show that this problem can be avoided by implementing multiple-valued functions using the following technique. First, the input domain of an m-valued n-variable function f is partitioned into m m-valued input binary-valued output characteristic functions. Then, each of these functions is treated as a function of n/spl middot/m binary variables, representing the literals of the variables off. The fact that any multiple-valued function can be implemented that way is known. The main contribution of this paper is to show a technology, for which this type of implementation is natural and results in no hardware overhead.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115683746","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
Proposal of four-valued MRAM based on MTJ/RTD structure 基于MTJ/RTD结构的四值MRAM的提出
33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings. Pub Date : 2003-05-16 DOI: 10.1109/ISMVL.2003.1201417
T. Uemura, Masafumi Yamamoto
{"title":"Proposal of four-valued MRAM based on MTJ/RTD structure","authors":"T. Uemura, Masafumi Yamamoto","doi":"10.1109/ISMVL.2003.1201417","DOIUrl":"https://doi.org/10.1109/ISMVL.2003.1201417","url":null,"abstract":"We proposed a novel four-valued magnetic random access memory (MRAM), that uses a double barrier magneto tunnel junction (MTJ) and a resonant tunneling diode (RTD) connected in series. The double barrier MTJ in the form FM1/I/FM2/I/FM1, where FM1 and FM2 represent ferromagnetic materials with different coercive forces and I represents an insulator, respectively, can take four distinct resistance values, depending on the direction of magnetization of each ferromagnetic layer The RTD can increase the tunneling magneto-resistance (TMR) ratio of the MTJ without area penalty due to the nonlinear nature of the NDR characteristics and compactness. The SPICE simulation showed that the RTD with its peak-to-valley current ratio of 12 could increase the effective TMR ratio from 15% to more than 100%. The cell area per bit is 2F/sup 2//bit, which is suitable for an ultra-high density memory.","PeriodicalId":434515,"journal":{"name":"33rd International Symposium on Multiple-Valued Logic, 2003. Proceedings.","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126104025","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术官方微信