책 이미지

책 정보
· 분류 : 외국도서 > 과학/수학/생태 > 과학 > 환경과학
· ISBN : 9783030922153
· 쪽수 : 261쪽
· 출판일 : 2022-02-04
목차
Chapter 1. Basic concepts of automatic process design.- Chapter 2. Representation of Process Structures: P-graphs.- Chapter 3. Structural Model of PNS.- Chapter 4. Algorithmic Generation of the Maximal Structure.- Chapter 5. Algorithmic Generation of all Solution Structures.- Chapter 6. Accelerated Branch-and-Bound Algorithm of PNS.- Chapter 7. Literature Review on Research and Applications.- Chapter 8. Case study: Synthesis of production process for adipic acid.- Chapter 9. Enumeration-based Properties of Processing Systems: Reliability & Resilience.- Chapter 10. Formal proof of Algorithm MSG.- Chapter 11. Simplification of the Maximal Structure.- Chapter 12. Formal proof of algorithm SSG.- Chapter 13. Formal proof of algorithm ABB.- Chapter 14. Refined B&B Procedure.- Chapter 15.A Look Ahead B&B Procedure