多值决策图的谱变换

D. M. Miller
{"title":"多值决策图的谱变换","authors":"D. M. Miller","doi":"10.1109/ISMVL.1994.302209","DOIUrl":null,"url":null,"abstract":"This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many 'practical' functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":"{\"title\":\"Spectral transformation of multiple-valued decision diagrams\",\"authors\":\"D. M. Miller\",\"doi\":\"10.1109/ISMVL.1994.302209\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many 'practical' functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition.<<ETX>>\",\"PeriodicalId\":137138,\"journal\":{\"name\":\"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"25\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.1994.302209\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1994.302209","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 25

摘要

本文描述了一种直接从决策图表示对多值函数进行谱变换的算法。频谱依次表示为决策图。在谱决策图中加入循环运算的优点被展示。谱表示的复杂性不像在矩阵情况下那样是固定的,并且对于许多“实用”函数来说是相当紧凑的。同样,算法的执行时间也不是固定的,因为它取决于函数和谱的决策图表示的复杂性。这种变换算法开启了谱逻辑设计技术更广泛应用的可能性,特别是对于具有更多变量的函数,而不是使用早期的矩阵变换技术。该算法适用于二元函数和函数系。它很容易推广到其他具有递归矩阵定义的变换。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Spectral transformation of multiple-valued decision diagrams
This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many 'practical' functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition.<>
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信