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

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

筛选
英文 中文
Inference in fuzzy logic via generalized constraint propagation 基于广义约束传播的模糊逻辑推理
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508358
L. Zadeh
{"title":"Inference in fuzzy logic via generalized constraint propagation","authors":"L. Zadeh","doi":"10.1109/ISMVL.1996.508358","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508358","url":null,"abstract":"The concept of a generalized constraint provides a basis for a significant generalization of inference processes in fuzzy logic. In this paper, generalized rules of inference for various values of r are formulated and illustrated by examples. The inference rules are interpreted as rules for generalized constraint propagation. Such rules provide a foundation for what might be called computing with words, or CW for short.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"51 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":"121435672","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}
引用次数: 21
Intuitionistic counterparts of finitely-valued logics 有限值逻辑的直觉对应物
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508349
M. Baaz, C. Fermüller
{"title":"Intuitionistic counterparts of finitely-valued logics","authors":"M. Baaz, C. Fermüller","doi":"10.1109/ISMVL.1996.508349","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508349","url":null,"abstract":"We investigate the relation between Kripke's model structures for intuitionistic logic and the simple syntactical restriction that turns the classical sequent calculus into an intuitionistic one. For this purpose we generalize ordinary Kripke structures to ones based on arbitrary finite sets of truth values and show that imposing a proper syntactical restriction on many-placed sequents leads to calculi that are correct and cut-free complete for the new logics.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"27 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":"125253416","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
New interpolation algorithms for multiple-valued Reed-Muller forms 多值Reed-Muller形式的新插值算法
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508330
Z. Zilic, Z. Vranesic
{"title":"New interpolation algorithms for multiple-valued Reed-Muller forms","authors":"Z. Zilic, Z. Vranesic","doi":"10.1109/ISMVL.1996.508330","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508330","url":null,"abstract":"This paper presents new algorithms for the sparse multivariate polynomial interpolation over finite fields, which can be used for optimizing Reed-Muller forms for MVL functions. Starting with a quadratic time interpolation algorithm for Boolean functions, we develop a method that decomposes the problem into several smaller problems for the MVL case. We then show how each of these problems can be solved by a practical probabilistic algorithm. The approach is extended to fixed polarity RM forms, in which the complexity of the resulting forms becomes simpler and also the running lime of the algorithm is reduced.","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":"130197694","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
Helena Rasiowa-a view of the academic trajectory and the influence upon Polish and international scientific community 海伦娜·拉西奥瓦——学术轨迹的观点及其对波兰和国际科学界的影响
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508350
G. Malinowski
{"title":"Helena Rasiowa-a view of the academic trajectory and the influence upon Polish and international scientific community","authors":"G. Malinowski","doi":"10.1109/ISMVL.1996.508350","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508350","url":null,"abstract":"The death of H. Rasiowa was a big loss for both, the Polish and the international scientific community. The life of Professor Rasiowa was passionately devoted to the development of logic, algebra and computer science and brought the fruits already reckoned among the results of the highest importance. The influence of her personality goes far beyond Poland and the group of logicians, mathematicians and computer scientists.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"28 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":"131808606","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
New MVL-PLA structures based on current-mode CMOS technology 基于电流型CMOS技术的新型MVL-PLA结构
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508343
M. Abd-El-Barr, M. N. Hasan
{"title":"New MVL-PLA structures based on current-mode CMOS technology","authors":"M. Abd-El-Barr, M. N. Hasan","doi":"10.1109/ISMVL.1996.508343","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508343","url":null,"abstract":"Programmable logic arrays (PLAs) are being used to implement complex multi-valued logic (MVL) circuits. In this paper we introduce three new current-mode CMOS MVL-PLA structures for the implementation of MVL functions. These PLA structures use four current-mode CMOS building blocks namely, cycle, min, tsum and constants. Comparison between the introduced architectures is made based on their respective ability to realize all possible r-valued one-variable functions. Simulation results are provided to show that the third type of PLA, called type-C PLA, is superior to the other two types, called type-A PLA and type-B PLA respectively, in terms of the total number of functions realized using a given number of columns. However, this comes at the expense of an increased hardware overhead in the form of extra cyclic generator blocks added at the input of the PLA.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"26 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":"121651450","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
Rational transitivity and its models 理性及物性及其模型
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508354
H. Bezzazi, R. Pérez
{"title":"Rational transitivity and its models","authors":"H. Bezzazi, R. Pérez","doi":"10.1109/ISMVL.1996.508354","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508354","url":null,"abstract":"We study here the Preferential Logic enriched by a rule called rational transitivity. We prove that the preferential relations satisfying this new rule are stronger than rational relations. Our main result is a representation theorem for these new relations. As a corollary we obtain the equivalence between the rational transitivity and a form of contraposition.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"10 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":"116510125","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}
引用次数: 17
A multiple-valued ferroelectric content-addressable memory 一种多值铁电内容可寻址存储器
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508339
A. Sheikholeslami, P. Gulak, T. Hanyu
{"title":"A multiple-valued ferroelectric content-addressable memory","authors":"A. Sheikholeslami, P. Gulak, T. Hanyu","doi":"10.1109/ISMVL.1996.508339","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508339","url":null,"abstract":"A novel architecture for a multiple-valued ferroelectric content-addressable memory (FCAM) is proposed. An FCAM employs ferroelectric capacitors as storage elements to provide a nonvolatile content-addressable memory. A 2-bit search operation is performed by a simultaneous access to a 4-level polarization, hence reducing the total number of search operations to half. Four FCAM structures are discussed in terms of their speed, area, and implementation feasibility.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"10 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":"122221947","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}
引用次数: 14
Interband RTDs with nanoelectronic HBT-LED structures for multiple-valued computation 用于多值计算的纳米电子HBT-LED结构带间rtd
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508340
L. Micheel, H. Hartnagel
{"title":"Interband RTDs with nanoelectronic HBT-LED structures for multiple-valued computation","authors":"L. Micheel, H. Hartnagel","doi":"10.1109/ISMVL.1996.508340","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508340","url":null,"abstract":"For future nanoelectronic arrays, complex signal processing methods and highly efficient computation are required. A proposed new family of HBT-LED-RTD circuitry chiefly addresses the latter with multiple-valued logic. We use internal optical methods of signal summation in otherwise electronic circuitry. Precision photon streams are generated and summed that are equivalent to electron currents in conventional circuitry. These strictly local interactions of HBTs and LEDs are combined with the folding and thresholding functions of vertically integrated RTDs. Power-of-two bit patterns implement the positive-digit radix-2 MVL. The same circuitry with a summation range of seven also facilitates nanoelectronic signal processing with its innate A/D conversion capability. Our new circuitry is aimed at very high packing density on the order of 10/sup 4/ to 10/sup 6/ gates per IC die. For this purpose it is resistor free and requires no signal-level shifting subcircuits, the HBT-RTD structure is 3-dimensional, and parasitic electrostatic interaction of densely packed circuits is prevented by the optical isolation and the buried optical interconnects. Non-local (especially vertical free-space) optical interconnects are also feasible with our approach using LEDs or microcavity lasers.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"27 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":"116360161","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
Fault diagnosis system based on sensitivity analysis and fuzzy logic 基于灵敏度分析和模糊逻辑的故障诊断系统
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508335
L. J. Miguel, Margarita Mediavilla, José Ramón Perán González
{"title":"Fault diagnosis system based on sensitivity analysis and fuzzy logic","authors":"L. J. Miguel, Margarita Mediavilla, José Ramón Perán González","doi":"10.1109/ISMVL.1996.508335","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508335","url":null,"abstract":"This paper describes three ways of building a decision system for model-based fault diagnosis. The aim is the management of uncertain and redundant information provided by a parity equation fault diagnosis method. Although any residual generation method may be considered, the input-output parity equation approach has been used. Sensitivity analysis is the key point in the evaluation of fault symptoms in order to obtain a final diagnosis. With this method, sensitivity estimates are easily obtainable by direct observation of the parity equations. Three ways to solve the decision problem are described: fuzzy logic-based, direct weighting of symptoms and directional properties. A simple simulated case has been used to prove its performance. Moreover, the fuzzy approach, that has showed to be the most robust of them, has been tested on a real laboratory equipment with similar results.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"14 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":"125047745","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
Family of fast mixed arithmetic logic transforms for multiple-valued input binary functions 多值输入二元函数的快速混合算术逻辑变换族
Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96) Pub Date : 1996-01-19 DOI: 10.1109/ISMVL.1996.508331
S. Rahardja, B. Falkowski
{"title":"Family of fast mixed arithmetic logic transforms for multiple-valued input binary functions","authors":"S. Rahardja, B. Falkowski","doi":"10.1109/ISMVL.1996.508331","DOIUrl":"https://doi.org/10.1109/ISMVL.1996.508331","url":null,"abstract":"A family of mixed arithmetic logic whose transform matrices possess fast algorithms is introduced. The mixed arithmetic transforms are applied to multiple-valued input binary functions. The paper describes basic properties and lists those mixed arithmetic transforms which have fast forward and easily defined inverse transforms. Finally, the advantages of mixed arithmetic logic spectra for some multiple-valued input binary functions are shown.","PeriodicalId":403347,"journal":{"name":"Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)","volume":"159 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":"123166256","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
首页 上一页 下一页 尾页
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学术官方微信