Michael Binns

Prof. Michael Binns

Dongguk University
orcid

Research Focus & Metrics

Academic Career Length

7Years (2020-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
29 October 2020 in Energies
Verified
Journal Article
Open access
PDF file
HAHafiz Muhammad Uzair Ayub
Hafiz Muhammad Uzair Ayub
SPSang Jin Park
Sang Jin Park
MBMichael Binns
Michael Binns
Biomass gasification is the most reliable thermochemical conversion technology for the conversion of biomass into gaseous fuels such as H2, CO, and CH4. The performance of a gasification process can be estimated using thermodynamic equilibrium models. This type of model generally assumes the system reaches equilibrium, while in reality the system may only approach equilibrium leading to some errors between experimental and model results. In this study non-stoichiometric equilibrium models are modified and improved with correction factors inserted into the design equations so that when the Gibbs free energy is minimized model predictions will more closely match experimental values. The equilibrium models are implemented in MatLab and optimized based on experimental values from the literature using the optimization toolbox. The modified non-stoichiometric models are shown to be more accurate than unmodified models based on the calculated root mean square error values. These models can be applied for various types of solid biomass for the production of syngas through biomass gasification processes such as wood, agricultural, and crop residues.

15 October 2020 in Energies
Verified
Journal Article
Open access
PDF file
HAHafiz Muhammad Uzair Ayub
Hafiz Muhammad Uzair Ayub
SPSang Jin Park
Sang Jin Park
MBMichael Binns
Michael Binns
To help meet the global demand for energy and reduce the use of fossil fuels, alternatives such as the production of syngas from renewable biomass can be considered. This conversion of biomass to syngas is possible through a thermochemical gasification process. To design such gasification systems, model equations can be formulated and solved to predict the quantity and quality of the syngas produced with different operating conditions (temperature, the flow rate of an oxidizing agent, etc.) and with different types of biomass (wood, grass, seeds, food waste, etc.). For the comparison of multiple different types of biomass and optimization to find optimal conditions, simpler models are preferred which can be solved very quickly using modern desktop computers. In this study, a number of different stoichiometric thermodynamic models are compared to determine which are the most appropriate. To correct some of the errors associated with thermodynamic models, correction factors are utilized to modify the equilibrium constants of the methanation and water gas shift reactions, which allows them to better predict the real output composition of the gasification reactors. A number of different models can be obtained using different correction factors, model parameters, and assumptions, and these models are compared and validated against experimental data and modelling studies from the literature.

28 March 2022 in Korean Journal of Chemical Engineering
Verified
Journal Article
Closed access
PDF file
MKMiae Kim
Miae Kim
MBMichael Binns
Michael Binns
JKJin-Kuk Kim
Jin-Kuk Kim

4 November 2021 in Sustainability
Verified
Journal Article
Open access
PDF file
MBMichael Binns
Michael Binns
HAHafiz Muhammad Uzair Ayub
Hafiz Muhammad Uzair Ayub
Various modeling approaches have been suggested for the modeling and simulation of gasification processes. These models allow for the prediction of gasifier performance at different conditions and using different feedstocks from which the system parameters can be optimized to design efficient gasifiers. Complex models require significant time and effort to develop, and they might only be accurate for use with a specific catalyst. Hence, various simpler models have also been developed, including thermodynamic equilibrium models and empirical models, which can be developed and solved more quickly, allowing such models to be used for optimization. In this study, linear and quadratic expressions in terms of the gasifier input value parameters are developed based on linear regression. To identify significant parameters and reduce the complexity of these expressions, a LASSO (least absolute shrinkage and selection operator) shrinkage method is applied together with cross validation. In this way, the significant parameters are revealed and simple models with reasonable accuracy are obtained.

6 May 2024 in Korean Journal of Chemical Engineering
Verified
Journal Article
Closed access
PDF file
JPJong-Hyeok Park
Jong-Hyeok Park
JLJoohwa Lee
Joohwa Lee
MBMichael Binns
Michael Binns
JKJin-Kuk Kim
Jin-Kuk Kim

7 August 2025 in International Journal of Hydrogen Energy
Verified
Journal Article
Closed access
KJKyeonghwa Jeong
Kyeonghwa Jeong
MBMichael Binns
Michael Binns
JKJin-Kuk Kim
Jin-Kuk Kim