Login
 Forum
 
 
Thesis topic proposal
 
Botond Bertók
Development of formal data description based software synthesis algorithms and software for multiple programming languages

THESIS TOPIC PROPOSAL

Institute: University of Pannonia
computer sciences
Doctoral School of Information Science and Technology

Thesis supervisor: Botond Bertók
Location of studies (in Hungarian): University of Pannonia, Veszprém, Egyetem str. 10., Faculty of Information Technology, Department of Computer Science and Systems Technology
Abbreviation of location of studies: PE


Description of the research topic:

Description of the research topic:
Numerous publications and successful applications in industrial process optimization demonstrate the effectiveness of application-specific optimization models. However, the progress of research and development is limited by the need to write generation code to build newer models. Alternatively, model transformation processes and engine involvement are emerging. The aim of the research is to develop an axiomatically established methodology for the development of model transformation rules that leads to mathematically proven correct results, so the generated mathematical model must contain at least one optimal solution of the practical problem.

Steps of the research:
- To get acquainted with the problems of the industrial process synthesis and their mathematical models
- Knowledge of model transformation methods and tools
- Formal definition of rules for template-based model synthesis
- Elaboration of model transformation rules equivalent to model generating algorithms for model-based solution of industrial optimization problems
- Prove the correctness of a set of rules
Preliminary results can be found in the following publications:
• Bertok, Botond, and Aniko Bartos. "Renewable energy storage and distribution scheduling for microgrids by exploiting recent developments in process network synthesis." Journal of Cleaner Production 244 (2020): 118520.
• Konig, Eva, and Botond Bertok. "Process graph approach for two-stage decision making: Transportation contracts." Computers & Chemical Engineering 121 (2019): 1-11.
• Production line balancing by P-graphs
• Barany, Mate, Botond Bertok, Zoltan Kovacs, Ferenc Friedler, and Liang T. Fan. "Solving vehicle assignment problems by process-network synthesis to minimize cost and environmental impact of transportation." Clean Technologies and Environmental Policy 13, no. 4 (2011): 637-642.
• Heckl, István, Ferenc Friedler, and L. T. Fan. "Solution of separation-network synthesis problems by the P-graph methodology." Computers & Chemical Engineering 34, no. 5 (2010): 700-706.

Number of students who can be accepted: 1

Deadline for application: 2020-09-30

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 2.2358 ( 2017. X. 31. )