...
首页> 外文期刊>New Generation Computing >Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering
【24h】

Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering

机译:ERATO港区项目概述:科学与工程之间的离散结构操纵艺术

获取原文
获取原文并翻译 | 示例
           

摘要

Discrete structure manipulation is a fundamental technique for solving many kinds of problems. Recently, BDD (Binary Decision Diagram) and ZDD (Zero-suppressed BDD) attract a great deal of attention, because they efficiently represent and manipulate large-scale combinational logic data, which are the basic discrete structures in various fields of applications, including system verification/optimization, knowledge discovery, statistical analysis, etc. Last year, the author proposed a new research project to focus on BDDs/ZDDs. In this proposal, as a new viewpoint of BDD/ZDD-based techniques, we intended to organize an integrated method of algebraic operations for manipulating various types of discrete structures, and to construct standard techniques for efficiently solving large-scale and practical problems. Fortunately, the proposal was accepted by JST (Japan Science and Technology Agency) as an ERATO (Exploratory Research for Advanced Technology) project, one of the prestigious projects in Japan. In this article, we present an overview of our research project. Our project aims to develop "The Art" of discrete structure manipulation between Science and Engineering.
机译:离散结构操纵是解决许多问题的基本技术。最近,BDD(二进制决策图)和ZDD(零抑制的BDD)引起了极大的关注,因为它们有效地表示和操纵大规模组合逻辑数据,这些数据是包括系统在内的各种应用领域中的基本离散结构。验证/优化,知识发现,统计分析等。去年,作者提出了一个新的研究项目,重点放在BDD / ZDD上。在本提案中,作为基于BDD / ZDD的技术的新观点,我们打算组织一种代数运算的集成方法来处理各种类型的离散结构,并构建有效解决大规模和实际问题的标准技术。幸运的是,该建议已被日本科学技术厅(JST)接受为ERATO(先进技术探索性研究)项目,这是日本著名的项目之一。在本文中,我们概述了我们的研究项目。我们的项目旨在发展科学与工程之间离散结构操纵的“艺术”。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号