Search results: Found 6

Listing 1 - 6 of 6
Sort by
Mathematical Aspects of Logic Programming Semantics

Authors: --- ---
ISBN: 9781439829615 Year: Pages: 304 Language: English
Publisher: Taylor & Francis
Subject: Mathematics
Added to DOAB on : 2020-07-29 23:58:06
License:

Loading...
Export citation

Choose an application

Abstract

Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks. For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration.

Process Design, Integration, and Intensification

Authors: ---
ISBN: 9783038979821 9783038979838 Year: Pages: 188 DOI: 10.3390/books978-3-03897-983-8 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-06-26 08:44:06
License:

Loading...
Export citation

Choose an application

Abstract

With the growing emphasis on enhancing the sustainability and efficiency of industrial plants, process integration and intensification are gaining additional interest throughout the chemical engineering community. Some of the hallmarks of process integration and intensification include a holistic perspective in design, and the enhancement of material and energy intensity. The techniques are applicable for individual unit operations, multiple units, a whole industrial facility, or even a cluster of industrial plants. This book aims to cover recent advances in the development and application of process integration and intensification. Specific applications are reported for hydraulic fracturing, palm oil milling processes, desalination, reactive distillation, reaction network, adsorption processes, herbal medicine extraction, as well as process control.

Modelling and Analysis of Sustainability Related Issues in New Era

Author:
ISBN: 9783039210244 9783039210251 Year: Pages: 350 DOI: 10.3390/books978-3-03921-025-1 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Economics
Added to DOAB on : 2019-06-26 08:44:06
License:

Loading...
Export citation

Choose an application

Abstract

The purpose of this Special Issue is to investigate topics related to sustainability issues in the new era, especially in Industry 4.0 or other new manufacturing environments. Under Industry 4.0, there have been great changes with respect to production processes, production planning and control, quality assurance, internal control, cost determination, and other management issues. Moreover, it is expected that Industry 4.0 can create positive sustainability impacts along the whole value chain. There are three pillars of sustainability, including environmental sustainability, economic sustainability, and social sustainability. This Special Issue collects 15 sustainability-related papers from various industries that use various methods or models, such as mathematical programming, activity-based costing (ABC), material flow cost accounting, fuel consumption model, artificial intelligence (AI)-based fusion model, multi-attribute decision model (MADM), and so on. These papers are related to carbon emissions, carbon tax, Industry 4.0, economic sustainability, corporate social responsibility (CSR), etc. The research objects come from China, Taiwan, Thailand, Oman, Cyprus, Germany, Austria, and Portugal. Although the research presented in this Special Issue is not exhaustive, this Special Issue provides abundant, significant research related to environmental, economic, and social sustainability. Nevertheless, there still are many research topics that require our attention to solve problems of sustainability.

Keywords

carbon tax policy --- return policy --- carbon reduction --- e-commerce platform --- carbon emissions --- cap & trade --- green production --- footwear industry --- activity-based costing (ABC) --- activity-based costing (ABC) --- industry 4.0 --- integrated mathematical programming --- product-mix decision --- theory of constraints (TOC) --- carbon tax --- small and medium enterprises --- OEE --- OECD --- manufacturing sustainability --- time study --- Industry 4.0 --- material handling systems --- agent-based control architecture --- Activity-Based Costing (ABC) --- Industry 4.0 --- tire industry --- carbon emission --- carbon tax --- mathematical programming --- sustainability --- sustainability performance --- corporate social responsibility (CSR) --- internal control --- multi-attribute decision model (MADM) --- decision making trial and evaluation laboratory (DEMATEL) --- DANP (DEMATEL based ANP) --- VIKOR --- fuel consumption --- sustainability --- active suspension --- PID controller --- white noise --- colored noise --- long- and short-term --- greenhouse gas --- LS-ARIMAXi-ECM model --- sustainability --- economic growth --- exogenous variables --- CO2 emissions --- family business --- succession plan --- corporate characteristics --- family capital --- niche inheritance --- multi-attribute decision model (MADM) --- social sustainability --- artificial intelligence --- corporate social responsibility --- decision making --- firm value --- Activity-Based Costing (ABC) --- Industry 4.0 --- aluminum-alloy wheel industry --- mathematical programming --- Activity-Based Standard Costing (ABSC) --- Manufacturing Execution System (MES) --- Activity-Based Costing (ABC) --- Enterprise Resource Planning (ERP) --- Industry 4.0 --- industrial internet of things --- digital transformation --- digital platforms --- qualitative-empirical study --- small and medium-sized enterprises --- sustainable development --- energy efficiency --- electrical appliances --- life cycle cost analysis (LCCA) --- multi-attribute value theory (MAVT) --- multi-objective optimization --- NSGAII --- sustainability --- ISO14051 --- material flow cost accounting --- n/a

Modeling and Simulation of Carbon Emission Related Issues

Author:
ISBN: 9783039213115 9783039213122 Year: Pages: 420 DOI: 10.3390/books978-3-03921-312-2 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Economics
Added to DOAB on : 2019-12-09 11:49:15
License:

Loading...
Export citation

Choose an application

Abstract

Carbon emissions reached an all-time high in 2018, when global carbon dioxide emissions from burning fossil fuels increased by about 2.7%, after a 1.6% increase in 2017. Thus, we need to pay special attention to carbon emissions and work out possible solutions if we still want to meet the targets of the Paris climate agreement. This Special Issue collects 16 carbon emissions-related papers (including 5 that are carbon tax-related) and 4 energy-related papers using various methods or models, such as the input–output model, decoupling analysis, life cycle impact analysis (LCIA), relational analysis model, generalized Divisia index model (GDIM), forecasting model, three-indicator allocation model, mathematical programming, real options model, multiple linear regression, etc. The research studies come from China, Taiwan, Brazil, Thailand, and United States. These researches involved various industries such as agricultural industry, transportation industry, power industry, tire industry, textile industry, wave energy industry, natural gas industry, and petroleum industry. Although this Special Issue does not fully solve our concerns, it still provides abundant material for implementing energy conservation and carbon emissions reduction. However, there are still many issues regarding the problems caused by global warming that require research.

Keywords

household consumption --- total carbon emissions --- CLA Model --- influence factor --- STIRPAT model --- carbon emissions --- influencing factors --- decoupling elasticity --- Generalized Divisia Index --- Tapio’s model --- household CO2 emissions (HCEs) --- per capita household CO2 emissions (PHCEs) --- input–output model --- refined oil distribution --- inventory routing problem --- hybrid genetic algorithm --- carbon emissions --- carbon tax --- decoupling analysis --- greenhouse gas emissions --- carbon footprint --- low-carbon agriculture --- causal factors --- CO2 emissions forecasting --- VARIMAX-ECM model --- sustainable development --- economic growth --- population growth --- carbon price fluctuation --- renewable energy --- real options analysis --- investment under uncertainty --- carbon emissions --- carbon tax --- activity-based costing (ABC) --- capacity expansion --- green quality management --- product-mix decision model --- mathematical programming --- long-term --- final energy consumption --- LT-ARIMAXS model --- sustainable development --- economic growth and the environment --- error correction mechanism model --- activity-based costing (ABC) --- mathematical programming --- textile industry --- green manufacturing --- Industry 4.0 --- carbon emissions --- Activity-Based Costing (ABC) --- carbon emissions --- tire industry --- carbon trading --- mathematical programming --- quotas allocation --- carbon emissions --- electric power industry --- fairness --- agricultural-related sectors --- carbon emissions --- carbon tax --- China --- power industry --- carbon emissions --- Generalized Divisia Index --- scenario forecast --- Monte Carlo method --- wave energy converter --- life cycle assessment --- energy intensity --- carbon intensity --- aircraft --- taxi time --- takeoff rate --- pushback control --- green transportation --- carbon emissions --- reducing carbon emissions --- carbon intensity target --- energy structure --- gray model (GM (1, 1)) --- generalized regression neural network (GRNN) --- Markov forecasting model --- non-linear programming --- ethylene supply --- shale gas --- non-energy uses of fossil fuels --- socio-economic scenarios --- climate change --- tea --- climate change --- sustainable agriculture --- environmental impact --- carbon footprint --- CO2 emissions --- HOMER software --- hybrid ship power systems --- Li-ion battery --- shipping --- n/a

Optimum Choice of Energy System Configuration and Storages for a Proper Match between Energy Conversion and Demands

Authors: ---
ISBN: 9783039280360 9783039280377 Year: Pages: 362 DOI: 10.3390/books978-3-03928-037-7 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Science (General) --- Physics (General)
Added to DOAB on : 2020-04-07 23:07:09
License:

Loading...
Export citation

Choose an application

Abstract

This Special Issue addresses the general problem of a proper match between the demands of energy users and the units for energy conversion and storage, by means of proper design and operation of the overall energy system configuration. The focus is either on systems including single plants or groups of plants, connected or not to one or more energy distribution networks. In both cases, the optimum design and operation involve decisions about thermodynamic processes, about the type, number, design parameters of components/plants, and storage capacities, and about mutual interconnections and the interconnections with the distribution grids. The problem is absolutely general, encompassing design and operation of energy systems for single houses, groups of houses, industries, industrial districts, municipal areas, regions and countries. The presented papers show that similar approaches can be used in different applications, although a general standard has not been achieved yet.

Keywords

advanced exergy-based analysis --- superstructure-based --- superstructure-free --- mathematical programming --- flowsheet synthesis --- multi-objective optimization --- thermal power plants --- gas supply chain --- optimization --- distributed energy --- liquefied natural gas (LNG) --- compressed natural gas (CNG) --- small-scale compressed-air energy storage (SS-CAES) --- energy storage --- exergy analysis --- optimization --- Real Coded Genetic Algorithm (RCGA) --- Violation Constraint-Handling (VCH) --- oil palm --- palm oil mills --- palm oil residues --- value-added products --- supply chains optimization --- spatial analysis --- techno-economic analysis --- wave energy --- battery storage --- price estimation --- hourly distribution --- electricity production --- electricity demand --- synthesis/design optimization --- cycle configuration --- absorption technology --- absorption refrigerator --- district energy system --- optimization --- renewable energy systems --- combined heat and power --- operating cost --- uncertainty --- reliability --- sustainability --- IEEE-RTS --- uncertainties --- MONA --- energy storage --- thermo-electric --- supercritical CO2 --- solar energy --- thermal energy storage --- mixed integer linear programming --- rolling-horizon --- combined heat and power --- optimization --- energy systems --- integrated ship energy systems --- synthesis --- design and operation optimization --- intertemporal optimization --- dynamic optimization --- smart energy systems --- Mixed-Integer NonLinear/Linear Programming (MINLP/MILP) --- dynamic modelling --- design and operation optimization --- fleet of energy conversion and storage units --- smart power systems --- multi-energy systems --- optimization of energy systems design and operation

Modeling and Simulation of Energy Systems

Author:
ISBN: 9783039215188 9783039215195 Year: Pages: 496 DOI: 10.3390/books978-3-03921-519-5 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering
Added to DOAB on : 2019-12-09 11:49:16
License:

Loading...
Export citation

Choose an application

Abstract

Energy Systems Engineering is one of the most exciting and fastest growing fields in engineering. Modeling and simulation plays a key role in Energy Systems Engineering because it is the primary basis on which energy system design, control, optimization, and analysis are based. This book contains a specially curated collection of recent research articles on the modeling and simulation of energy systems written by top experts around the world from universities and research labs, such as Massachusetts Institute of Technology, Yale University, Norwegian University of Science and Technology, National Energy Technology Laboratory of the US Department of Energy, University of Technology Sydney, McMaster University, Queens University, Purdue University, the University of Connecticut, Technical University of Denmark, the University of Toronto, Technische Universität Berlin, Texas A&M, the University of Pennsylvania, and many more. The key research themes covered include energy systems design, control systems, flexible operations, operational strategies, and systems analysis. The addressed areas of application include electric power generation, refrigeration cycles, natural gas liquefaction, shale gas treatment, concentrated solar power, waste-to-energy systems, micro-gas turbines, carbon dioxide capture systems, energy storage, petroleum refinery unit operations, Brayton cycles, to name but a few.

Keywords

cogeneration --- process integration --- solar energy --- thermal storage --- desalination --- optimization --- naphtha recovery unit --- statistical model --- simulation --- optimization --- concentrating solar thermal --- CST --- concentrating solar power --- CSP --- parabolic trough --- PTC --- thermal storage --- industrial process heat --- hybrid solar --- power plants --- supervisory control --- dynamic simulation --- dynamic optimization --- optimal control --- post-combustion CO2 capture --- energy efficiency --- time-varying operation --- shale gas condensate --- process synthesis and design --- shale gas condensate-to-heavier liquids --- technoeconomic analysis --- supercritical carbon dioxide --- recompression cycle --- combined cycle --- efficiency --- organic Rankine cycle --- exergy loss --- second law efficiency --- auto thermal reformer --- palladium membrane hydrogen separation --- polymer electrolyte membrane fuel cell (PEMFC) --- multi-loop control --- nonsmooth modeling --- process simulation --- DMR liquefaction processes --- fuel cost minimization problem --- FCMP --- piecewise-linear function generation --- linearization --- natural gas transportation --- compressor modeling --- compressibility factor --- isentropic exponent --- friction factor --- demand response --- energy management --- energy storage --- optimal battery operation --- battery degradation --- micro gas turbine --- modelling --- diagnostics, gas path analysis, analysis by synthesis --- circulating fluidized bed boiler --- refuse derived fuel --- waste to energy --- dynamic modeling --- process control --- dynamic modeling --- process control --- load-following --- supercritical pulverized coal (SCPC) --- cycling --- time-delay --- smith predictor --- energy systems --- modeling and simulation --- multi-scale systems engineering --- sustainable process design --- energy economics --- top-down models --- hybrid Life Cycle Assessment --- oil and gas --- offshore wind --- combined cycle --- hybrid system --- kriging --- multi-objective optimisation --- solar PV --- wind power --- life cycle analysis --- energy storage --- multiphase equilibrium --- RK-ASPEN --- methyl-oleate --- biodiesel --- supercritical CO2 --- WHENS --- work and heat integration --- building blocks --- superstructure --- MINLP --- absorption refrigeration --- H2O-LiBr working pair --- double-effect system --- cost optimization --- nonlinear mathematical programming --- Organic Rankine Cycle (ORC) --- geothermal energy --- binary cycle --- R245fa --- R123 --- mixture ratio --- Dieng --- Indonesia --- modeling --- simulation --- energy --- energy systems --- process systems engineering --- optimization --- process design --- operations

Listing 1 - 6 of 6
Sort by
Narrow your search