Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions

RADOMIR S. STANKOVIC

首页> 外文期刊>Formal Methods in System Design >Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions

【24h】

Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions

机译：离散函数决策图表示优化中的非阿贝尔群

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper is devoted to the reduction of decision diagram(DD) representations of discerte functions by using the non-Abelian groups and Fourier DDs on these groups. The number of levels in a DD can be reduced through decomposition of the domain group of the represented function into large subgroups. That approach however increases the number of nodes per levels which may decrease the global reduction possibilities in the DD. At the same time, the nodes with a considerable number of outgoing edges are required.

机译：本文致力于通过使用非阿贝尔群和这些群上的傅立叶DD来简化离散函数的决策图（DD）表示。通过将代表函数的域组分解为大的子组，可以减少DD中的级别数。但是，该方法增加了每个级别的节点数量，这可能会降低DD中的全局减少可能性。同时，需要具有大量向外边缘的节点。

著录项

来源
《Formal Methods in System Design》 |2001年第3期|p.209-231|共23页
作者
RADOMIR S. STANKOVIC;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
discrete functions; decision diagrams; non-Abelian groups;

机译：离散功能;决策图;非阿贝尔族;

相似文献

外文文献
中文文献
专利

1. Ordered Kronecker functional decision diagrams-a data structure for representation and manipulation of Boolean functions [J] . Drechsler R., Becker B. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 1998,第10期

机译：有序Kronecker功能决策图-用于表示和操作布尔函数的数据结构
2. Representation of Multiple-Valued Functions with Flat Vilenkin-Chrestenson Spectra by Decision Diagrams [J] . Stanislav Stankovic, Milena Stankovic, Jaakko Astola Journal of multiple-valued logic and soft computing . 2014,第5a6期

机译：用决策图表示平维伦金-克雷森森谱的多值函数
3. Comparing two-level and ordered binary decision diagram representations of logic functions [J] . Devadas S. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 1993,第5期

机译：比较逻辑函数的两级和有序二进制决策图表示形式
4. Complexity of ternary decision diagrams for representation of discrete functions [C] . Jankovic, D., Stnkovic, . 2001

机译：用于离散函数表示的三元决策图的复杂性
5. State-based control of timed discrete event systems using binary decision diagrams [D] . Saadatpoor, Ali. 2004

机译：使用二进制决策图的定时离散事件系统的基于状态的控制
6. Neural Representation of Task Difficulty and Decision Making during Perceptual Categorization: A Timing Diagram [O] . Marios G. Philiastides, Roger Ratcliff, Paul Sajda 2006

机译：感知分类过程中任务难度和决策的神经表示：时序图
7. Numerical function generators using decision diagrams for discrete functions [O] . Nagayama Shinobu, Sasao Tsutomu, Butler Jon T. 2009

机译：使用决策图的离散函数的数值函数生成器

Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions

摘要

著录项

相似文献

相关主题

期刊订阅