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

[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic最新文献

筛选
英文 中文
Fuzzy systolic arrays 模糊收缩阵列
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5160
M. A. Manzoul, H. A. Serrate
{"title":"Fuzzy systolic arrays","authors":"M. A. Manzoul, H. A. Serrate","doi":"10.1109/ISMVL.1988.5160","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5160","url":null,"abstract":"The design systolic arrays for the computation of the fuzzy inference process in expert systems is considered. Two arrays are designed: one for the overall fuzzy relation between the antecedent and the conclusion portions of the rules of the system, and the other one for the compositional rule of inference. A comparison between the proposed arrays and a uniprocessor is presented.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114785936","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
On a class of binary operations: non-strict Archimedean aggregation functions 关于一类二元运算:非严格阿基米德聚合函数
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5149
G. Mayor, J. Torrens
{"title":"On a class of binary operations: non-strict Archimedean aggregation functions","authors":"G. Mayor, J. Torrens","doi":"10.1109/ISMVL.1988.5149","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5149","url":null,"abstract":"The concept of nonstrict Archimedean aggregation function appears in a natural form when the orthomodularity property for pairs of aggregation function-t-norm and aggregation function-t-conorm connectives is studied. A theorem for the unicity of generator of these functions is proved. By using this result, which is already known for Archimedean t-norms, this kind of aggregation functions can be manipulated very easily. This is particularly interesting when dealing with classes obtained from the isomorphism relation.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117062009","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
Three-valued system diagnosis and parallel recovery 三值系统诊断与并行恢复
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5191
J. Xu, T. Chen, S. Huang
{"title":"Three-valued system diagnosis and parallel recovery","authors":"J. Xu, T. Chen, S. Huang","doi":"10.1109/ISMVL.1988.5191","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5191","url":null,"abstract":"A generalized three-valued diagnostic model is proposed. A description is given of t1/t1/2-diagnosability with a parallel recovery strategy. The results show clearly that t-1/t-1/2-diagnosis with parallel recovery can effectively shorten the period of recovery time from faults and improves availability of a class of fault-tolerant computer systems, as compared with t-fault diagnosis under the same structural constraint.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123478163","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
Pseudo-random testing of CMOS ternary logic circuits CMOS三元逻辑电路的伪随机测试
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5189
C. Rozon, H. Mouftah
{"title":"Pseudo-random testing of CMOS ternary logic circuits","authors":"C. Rozon, H. Mouftah","doi":"10.1109/ISMVL.1988.5189","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5189","url":null,"abstract":"Two structures that can be used to test ternary logic VLSI circuits are described and compared: the ternary BILBO (built-in logic block observer) and the ternary CALBO (cellular automaton logic block observer). These structures can be used to generate pseudorandom test patterns and signatures. Fault coverage and aliasing are also obtained and compared when each structure is used to test a four-trit ternary arithmetic logic unit. BILBO and CALBO can be used advantageously to test binary VLSI systems as well.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127051514","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
On spectra of many-valued logic symmetric functions 关于多值逻辑对称函数的谱
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5185
I. Stojmenovic, M. Miyakawa, R. Tosic
{"title":"On spectra of many-valued logic symmetric functions","authors":"I. Stojmenovic, M. Miyakawa, R. Tosic","doi":"10.1109/ISMVL.1988.5185","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5185","url":null,"abstract":"Many-valued logic symmetric functions appearing in various applications are investigated from the standpoint of determining the number of n-ary functions belonging to a considered set (called the spectrum of the set). Respective spectra are given of k-valued functions that are p-symmetric, self-dual, and self-dual p-symmetric, where p is a partition of (1,. . .,n). It is proved that there exist self-dual totally symmetric n-ary k-valued logic functions if and only if the greatest common divisor of k and n is equal to one. A test for detecting the self-dual symmetry property is described. Respective spectra are also given of k-valued symmetric functions that are threshold, multithreshold, monotone, and unate (for the monotone and unate functions k=3 only).<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"279 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121040831","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
Algebraic aspects of multiple-valued logic 多值逻辑的代数方面
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5183
I. Rosenberg, D. Simovici
{"title":"Algebraic aspects of multiple-valued logic","authors":"I. Rosenberg, D. Simovici","doi":"10.1109/ISMVL.1988.5183","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5183","url":null,"abstract":"Some of the basic algebraic facts of multivalued logic are presented. The focus is on the results rather than on detailed proofs. Some of the results of completeness theory are also presented.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133580695","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
Three-valued Karnaugh maps 三值卡诺地图
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5171
M. Bahraini, G. Epstein
{"title":"Three-valued Karnaugh maps","authors":"M. Bahraini, G. Epstein","doi":"10.1109/ISMVL.1988.5171","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5171","url":null,"abstract":"A method is presented for the disjunctive simplification of three-valued logic functions using three-valued Karnaugh maps. The number of variables that can be depicted is at most four. While a particular set of primitive operations is used with the simplification method, the method is not restricted to any particular operation set, provided only that the operations of disjunction and conjunction are included.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"216 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116521860","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 proposed DDT/IDCT chip design using quaternary logic 提出了一种基于四元逻辑的滴滴涕/IDCT芯片设计方法
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5146
K. Current
{"title":"A proposed DDT/IDCT chip design using quaternary logic","authors":"K. Current","doi":"10.1109/ISMVL.1988.5146","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5146","url":null,"abstract":"CMOS quaternary threshold logic circuits are used in the design of the instruction memory and arithmetic sections of a proposed single-chip implementation of a unified discrete cosine transform/inverse discrete cosine transform (DCT/IDCT) architecture. The chip is projected to be capable of real-time processing of 10-MHz video signals. The unified DCT/IDCT architecture is described, and the use of quaternary logic circuits is discussed. A 17.5% area savings has been achieved.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"261 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133523996","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
Copulas in the unit interval uniformly close to some t-norms 单位区间内的幂函数一致地接近于某些t模
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5150
R. Rovira
{"title":"Copulas in the unit interval uniformly close to some t-norms","authors":"R. Rovira","doi":"10.1109/ISMVL.1988.5150","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5150","url":null,"abstract":"A class of logical connectives often used in multivalued logic, called t-norms, are considered. Some uniformly close families of copulas are studied in detail.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133015067","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
Representation of symmetric algebras and its subvarieties 对称代数及其子代数的表示
[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic Pub Date : 1988-05-24 DOI: 10.1109/ISMVL.1988.5184
P. Garcia, F. Esteva
{"title":"Representation of symmetric algebras and its subvarieties","authors":"P. Garcia, F. Esteva","doi":"10.1109/ISMVL.1988.5184","DOIUrl":"https://doi.org/10.1109/ISMVL.1988.5184","url":null,"abstract":"A generalization to symmetric and k-symmetric algebras of the Bialinicky-Birula representation theorems for De Morgan algebras is proved. All the subdirectly irreducible k-symmetric algebras are characterized.<<ETX>>","PeriodicalId":368020,"journal":{"name":"[1988] Proceedings. The Eighteenth International Symposium on Multiple-Valued Logic","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114807947","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
首页 上一页 下一页 尾页
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学术官方微信
小红书