Property-based integration for sustainable development

被引:0
|
作者
Kazantzi, V [1 ]
Harell, D [1 ]
Gabriel, F [1 ]
Qin, X [1 ]
El-Halwagi, MM [1 ]
机构
[1] Texas A&M Univ, Dept Chem Engn, College Stn, TX 77843 USA
关键词
property integration; sustainability; component-less design;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
This paper provides a systematic approach for optimal resource allocation, unit manipulation, and waste reduction using integrated component-less design. In particular, we identify a new procedure for determining optimal modifications in the design and operating variables of the process so as to optimize the allocation of process resources and minimize waste discharge. Interval arithmetic tools are used to derive rigorous bounds on the process performance, when all allowable changes in design and operating variables are considered. These bounds are mapped into a "trust region of clusters", which represents the feasible search domain. In addition, material substitution strategies are considered for optimizing both the process and the fresh properties. A case study is also presented to illustrate the applicability of the proposed approach.
引用
收藏
页码:1069 / 1074
页数:6
相关论文
共 50 条
  • [21] Property-based remote attestation model
    Yu, Ai-Min
    Feng, Deng-Guo
    Wang, Dan
    Tongxin Xuebao/Journal on Communications, 2010, 31 (08): : 1 - 8
  • [22] PrologCheck - Property-Based Testing in Prolog
    Amaral, Claudio
    Florido, Mario
    Costa, Vitor Santos
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 1 - 17
  • [23] A property-based attestation protocol for TCM
    FENG DengGuo1
    2National Engineering Research Center of Information Security
    Science China(Information Sciences), 2010, 53 (03) : 454 - 464
  • [24] Property-Based Testing for Spark Streaming
    Riesco, A.
    Rodriguez-Hortala, J.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019, 19 (04) : 574 - 602
  • [25] A property-based attestation protocol for TCM
    Feng DengGuo
    Qin Yu
    SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (03) : 454 - 464
  • [26] Property-Based Testing of SPARQL Queries
    Almendros-Jimenez, Jesus M.
    Becerra-Teron, Antonio
    PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), 2017,
  • [27] Towards Substructural Property-Based Testing
    Mantovani, Marco
    Momigliano, Alberto
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), 2022, 13290 : 92 - 112
  • [28] An Improved Protocol for Property-Based Attestation
    Li Jianjun
    Li Yingjia
    Hu Yajun
    Wang Honglv
    Liu Weiwei
    2013 32ND CHINESE CONTROL CONFERENCE (CCC), 2013, : 6343 - 6348
  • [29] Property-Based Testing of Sensor Networks
    Loscher, Andreas
    Sagonas, Konstantinos
    Voigt, Thiemo
    2015 12TH ANNUAL IEEE INTERNATIONAL CONFERENCE ON SENSING, COMMUNICATION, AND NETWORKING (SECON), 2015, : 100 - 108
  • [30] AN APPROACH TO THE PROPERTY-BASED PLANNING OF SIMULATIONS
    Reitmeier, Jochen
    Chahin, Abdo
    Paetzold, Kristin
    ICED 15, VOL 5: DESIGN METHODS AND TOOLS - PT 1, 2015,