scholarly journals Multi-core synthesis and maximum satisfiability applied to optimal sizing of solar photovoltaic systems

Author(s):  
Alessandro Trindade ◽  
Edilson Galvão ◽  
Lucas Cordeiro

<pre>Annual global energy consumption growth is around 1.3% with forecasts until 2040. Photovoltaic systems became a suitable alternative to nuclear and fossil energy generation. In order to support this technology's dissemination, we develop and evaluate an automated formal synthesis approach that assists in decision-making for off-grid systems. Our proposed approach, called PVz, is based on a variant of the counterexample-guided inductive synthesis; it has a multi-core feature, which can obtain the optimal sizing of photovoltaic systems focusing on Life Cycle Cost analysis. Given the electrical needs of a home, we seek a set of electrical equipment with the best possible combination of devices that meet the specified requirements. We calculate all costs related to maintenance over 20 years. The results presented are based on seven case studies; some of them are real ones from the Amazon region in Brazil. The same case studies were solved by a commercial optimization tool. Our technique and the commercial tool results were validated with popular simulation software to perform a fair comparison. Furthermore, we analyze some topics such as run-time, optimal solution, and configuration of the resulting systems. We claim that our technique is advantageous compared to the existing approaches in the literature.</pre>p, li { white-space: pre-wrap; }

2021 ◽  
Author(s):  
Alessandro Trindade ◽  
Edilson Galvão ◽  
Lucas Cordeiro

<pre>Annual global energy consumption growth is around 1.3% with forecasts until 2040. Photovoltaic systems became a suitable alternative to nuclear and fossil energy generation. In order to support this technology's dissemination, we develop and evaluate an automated formal synthesis approach that assists in decision-making for off-grid systems. Our proposed approach, called PVz, is based on a variant of the counterexample-guided inductive synthesis; it has a multi-core feature, which can obtain the optimal sizing of photovoltaic systems focusing on Life Cycle Cost analysis. Given the electrical needs of a home, we seek a set of electrical equipment with the best possible combination of devices that meet the specified requirements. We calculate all costs related to maintenance over 20 years. The results presented are based on seven case studies; some of them are real ones from the Amazon region in Brazil. The same case studies were solved by a commercial optimization tool. Our technique and the commercial tool results were validated with popular simulation software to perform a fair comparison. Furthermore, we analyze some topics such as run-time, optimal solution, and configuration of the resulting systems. We claim that our technique is advantageous compared to the existing approaches in the literature.</pre>p, li { white-space: pre-wrap; }


2020 ◽  
Vol 12 (6) ◽  
pp. 2233
Author(s):  
Tamer Khatib ◽  
Dhiaa Halboot Muhsen

A standalone photovoltaic system mainly consists of photovoltaic panels and battery bank. The use of such systems is restricted mainly due to their high initial costs. This problem is alleviated by optimal sizing as it results in reliable and cost-effective systems. However, optimal sizing is a complex task. Artificial intelligence (AI) has been shown to be effective in PV system sizing. This paper presents an AI-based standalone PV system sizing method. Differential evolution multi-objective optimization is used to find the optimal balance between system’s reliability and cost. Two objective functions are minimized, the loss of load probability and the life cycle cost. A numerical algorithm is used as a benchmark for the proposed method’s speed and accuracy. Results indicate that the AI algorithm can be successfully used in standalone PV systems sizing. The proposed method was roughly 27 times faster than the numerical method. Due to AI algorithm’s random nature, the proposed method resulted in the exact optimal solution in 6 out of 12 runs. Near-optimal solutions were found in the other six runs. Nevertheless, the nearly optimal solutions did not introduce major departure from optimal system performance, indicating that the results of the proposed method are practically optimal at worst.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Geraldine Cáceres Sepúlveda ◽  
Silvia Ochoa ◽  
Jules Thibault

AbstractDue to the highly competitive market and increasingly stringent environmental regulations, it is paramount to operate chemical processes at their optimal point. In a typical process, there are usually many process variables (decision variables) that need to be selected in order to achieve a set of optimal objectives for which the process will be considered to operate optimally. Because some of the objectives are often contradictory, Multi-objective optimization (MOO) can be used to find a suitable trade-off among all objectives that will satisfy the decision maker. The first step is to circumscribe a well-defined Pareto domain, corresponding to the portion of the solution domain comprised of a large number of non-dominated solutions. The second step is to rank all Pareto-optimal solutions based on some preferences of an expert of the process, this step being performed using visualization tools and/or a ranking algorithm. The last step is to implement the best solution to operate the process optimally. In this paper, after reviewing the main methods to solve MOO problems and to select the best Pareto-optimal solution, four simple MOO problems will be solved to clearly demonstrate the wealth of information on a given process that can be obtained from the MOO instead of a single aggregate objective. The four optimization case studies are the design of a PI controller, an SO2 to SO3 reactor, a distillation column and an acrolein reactor. Results of these optimization case studies show the benefit of generating and using the Pareto domain to gain a deeper understanding of the underlying relationships between the various process variables and performance objectives.


2021 ◽  
Vol 13 (12) ◽  
pp. 6708
Author(s):  
Hamza Mubarak ◽  
Nurulafiqah Nadzirah Mansor ◽  
Hazlie Mokhlis ◽  
Mahazani Mohamad ◽  
Hasmaini Mohamad ◽  
...  

Demand for continuous and reliable power supply has significantly increased, especially in this Industrial Revolution 4.0 era. In this regard, adequate planning of electrical power systems considering persistent load growth, increased integration of distributed generators (DGs), optimal system operation during N-1 contingencies, and compliance to the existing system constraints are paramount. However, these issues need to be parallelly addressed for optimum distribution system planning. Consequently, the planning optimization problem would become more complex due to the various technical and operational constraints as well as the enormous search space. To address these considerations, this paper proposes a strategy to obtain one optimal solution for the distribution system expansion planning by considering N-1 system contingencies for all branches and DG optimal sizing and placement as well as fluctuations in the load profiles. In this work, a hybrid firefly algorithm and particle swarm optimization (FA-PSO) was proposed to determine the optimal solution for the expansion planning problem. The validity of the proposed method was tested on IEEE 33- and 69-bus systems. The results show that incorporating DGs with optimal sizing and location minimizes the investment and power loss cost for the 33-bus system by 42.18% and 14.63%, respectively, and for the 69-system by 31.53% and 12%, respectively. In addition, comparative studies were done with a different model from the literature to verify the robustness of the proposed method.


Author(s):  
Patrick Nwafor ◽  
Kelani Bello

A Well placement is a well-known technique in the oil and gas industry for production optimization and are generally classified into local and global methods. The use of simulation software often deployed under the direct optimization technique called global method. The production optimization of L-X field which is at primary recovery stage having five producing wells was the focus of this work. The attempt was to optimize L-X field using a well placement technique.The local methods are generally very efficient and require only a few forward simulations but can get stuck in a local optimal solution. The global methods avoid this problem but require many forward simulations. With the availability of simulator software, such problem can be reduced thus using the direct optimization method. After optimization an increase in recovery factor of over 20% was achieved. The results provided an improvement when compared with other existing methods from the literatures.


2003 ◽  
Vol 290 (3) ◽  
pp. 1541-1556 ◽  
Author(s):  
Koji Nakano ◽  
Stephan Olariu ◽  
Albert Y. Zomaya

Author(s):  
Meng Ning ◽  
Zhi Wu ◽  
Lianjie Chen ◽  
Fan Zhang ◽  
Huitao Chen

Research and design an intelligent bed and chair integration system for assisting inconvenient mobility and aging population. The system consists of a removable detached wheelchair and a c-shaped bed with a fixed structure. The user can switch freely between the mobile wheelchair and the bed to meet the user's requirements of free movement and repositioning.Through the simulation software to analyze the movement characteristics of the bed backboard, the angle of the take-off and landing of the backboard and the sudden change of the take-off and abrupt angular velocity will cause the user to have dizziness and discomfort. In the case of determining the speed of the driving push rod, the relationship between mechanism parameters and installation parameters is the key to affect the lifting rate of the rear plate. Modeling and analysis of each mechanism is performed to determine the relationship between the mechanism parameters and the take-off and landing speed of the backplane. After optimizing the mechanism, the simulation is compared again to obtain the optimal solution. Finally, the optimal solution parameter is the final solution to improve the overall comfort of the nursing bed.


Author(s):  
Mingxing Yuan ◽  
Bin Yao ◽  
Dedong Gao ◽  
Xiaocong Zhu ◽  
Qingfeng Wang

Time optimal trajectory planning under various hard constraints plays a significant role in simultaneously meeting the requirements on high productivity and high accuracy in the fields of both machining tools and robotics. In this paper, the problem of time optimal trajectory planning is first formulated. A novel back and forward check algorithm is subsequently proposed to solve the minimum time feed-rate optimization problem. The basic idea of the algorithm is to search the feasible solution in the specified interval using the back or forward operations. Four lemmas are presented to illustrate the calculating procedure of optimal solution and the feasibility of the proposed algorithm. Both the elliptic curve and eight profile are used as case studies to verify the effectiveness of the proposed algorithm.


2021 ◽  
Vol 15 (4) ◽  
pp. 518-523
Author(s):  
Ratko Stanković ◽  
Diana Božić

Improvements achieved by applying linear programming models in solving optimization problems in logistics cannot always be expressed by physically measurable values (dimensions), but in non-dimensional values. Therefore, it may be difficult to present the actual benefits of the improvements to the stake holders of the system being optimized. In this article, a possibility of applying simulation modelling in quantifying results of optimizing cross dock terminal gates allocation is outlined. Optimal solution is obtained on the linear programming model by using MS Excel spreadsheet optimizer, while the results are quantified on the simulation model, by using Rockwell Automation simulation software. Input data are collected from a freight forwarding company in Zagreb, specialized in groupage transport (Less Than Truckload - LTL).


Sign in / Sign up

Export Citation Format

Share Document