robdd的演变:初步结果和初步分析

Proceedings of the First NASA/DoD Workshop on Evolvable Hardware Pub Date : 1900-01-01 DOI:10.1109/EH.1999.785461

P. van Remortel, Tom Lenaerts, B. Manderick

{"title":"robdd的演变:初步结果和初步分析","authors":"P. van Remortel, Tom Lenaerts, B. Manderick","doi":"10.1109/EH.1999.785461","DOIUrl":null,"url":null,"abstract":"In this paper, we describe and analyze a number of evolutionary experiments concerning reduced ordered binary decision diagrams. These are important representations of Boolean functions for both circuit design and verification, and evolvable hardware. We experiment with the use of cube transformations in the genetic learning of unknown Boolean functions using ROBDDs.","PeriodicalId":234639,"journal":{"name":"Proceedings of the First NASA/DoD Workshop on Evolvable Hardware","volume":"114 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The evolution of ROBDDs: preliminary results and a first analysis\",\"authors\":\"P. van Remortel, Tom Lenaerts, B. Manderick\",\"doi\":\"10.1109/EH.1999.785461\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we describe and analyze a number of evolutionary experiments concerning reduced ordered binary decision diagrams. These are important representations of Boolean functions for both circuit design and verification, and evolvable hardware. We experiment with the use of cube transformations in the genetic learning of unknown Boolean functions using ROBDDs.\",\"PeriodicalId\":234639,\"journal\":{\"name\":\"Proceedings of the First NASA/DoD Workshop on Evolvable Hardware\",\"volume\":\"114 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the First NASA/DoD Workshop on Evolvable Hardware\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EH.1999.785461\",\"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 the First NASA/DoD Workshop on Evolvable Hardware","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EH.1999.785461","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文描述并分析了一些关于约简有序二元决策图的进化实验。这些是布尔函数在电路设计和验证以及可进化硬件中的重要表示。我们尝试在使用robdd的未知布尔函数的遗传学习中使用立方体变换。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

The evolution of ROBDDs: preliminary results and a first analysis

In this paper, we describe and analyze a number of evolutionary experiments concerning reduced ordered binary decision diagrams. These are important representations of Boolean functions for both circuit design and verification, and evolvable hardware. We experiment with the use of cube transformations in the genetic learning of unknown Boolean functions using ROBDDs.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the First NASA/DoD Workshop on Evolvable Hardware

自引率

0.00%

发文量