...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Pomiary Automatyka Kontrola >Zastosowanie grafu niezgodności i dopełnień w procesie kodowania automatów asynchronicznych
【24h】

Zastosowanie grafu niezgodności i dopełnień w procesie kodowania automatów asynchronicznych

机译：不相容和补图在异步自动机编码过程中的应用

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

W artykule przedstawiono przykład zastosowania nowego rodzaj grafu -grafu niezgodności i dopełnień. Specyficzną cechą tego grafu jest to, że zawiera on dwa rodzaje krawędzi: krawędzie skojarzone z relacjami niezgodności oraz krawędzie skojarzone z relacjami dopełniania. Graf może być wykorzystywany w szeregu problemów optymalizacyjnych, w których rozważane są relacje niegodności i dopełniania wzorców bitowych. W artykule zaprezentowano wykorzystanie grafu w procesie kodowania stanów asynchronicznych układów sekwencyjnych. Przedstawiono też odpowiednie algorytmy tworzenia grafu i kolorowania jego wierzchołków.%The paper presents an application of a novel concept of graph - the Incompatibility and Complement Graph. A specific feature of the graph is that it contains two kinds of edges: connecting mutually incompatible nodes, and connecting mutually complementing nodes [3, 4]. The graph can be useful in certain class of optimization problems, in which compatibility of bit patterns in both the true and the complemented form has to be analyzed [5]. An example of such a problem is covering analysis in asynchronous FSM coding. The relevant coding method was presented by Tracey [1]. The method consists of several steps. In one of the steps a Boolean matrix is built, describing partitions of the relevant state set, which are required to provide coding free form critical races. In the subsequent step the Boolean matrix has to be reduced. During this step compatibility of the matrix rows both in the true, and the complemented form has to be analysed. For this purpose the Row Incompatibility and Complement graph can be used. The paper presents a simple example explaining the method. Appropriate algorithms for the graph building (Fig. 3) and colouring (Fig. 4) are also presented.
机译：本文提供了一个使用新型图形的示例-不兼容和附加的图形。该图的一个特定功能是它包含两种类型的边缘：与不兼容关系关联的边缘和与填充关系关联的边缘。该图可用于许多考虑了不可靠性和位模式补全关系的优化问题。本文介绍了在异步顺序系统的状态编码过程中使用图的方法。还介绍了用于创建图形和为其顶点着色的算法。％本文介绍了一种新颖的图形概念-不兼容和补图。图的一个特定特征是它包含两种边缘：连接相互不兼容的节点和连接相互互补的节点[3，4]。该图在某些类型的优化问题中很有用，在这种情况下，必须分析真实和补充形式的位模式的兼容性[5]。此类问题的一个示例是涵盖异步FSM编码中的分析。相关的编码方法由Tracey提出[1]。该方法包括几个步骤。在步骤之一中，构建布尔矩阵，描述相关状态集的分区，这是提供无编码形式的关键种族所必需的。在随后的步骤中，必须简化布尔矩阵。在此步骤中，必须分析矩阵行的真实性和互补形式的兼容性。为此，可以使用行不兼容和互补图。本文提供了一个简单的示例来说明该方法。还介绍了用于图形构建（图3）和着色（图4）的适当算法。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号