Next Article in Journal
Testing Some Different Implementations of Heat Convection and Radiation in the Leapfrog-Hopscotch Algorithm
Next Article in Special Issue
Evolutionary Algorithm with Geometrical Heuristics for Solving the Close Enough Traveling Salesman Problem: Application to the Trajectory Planning of an Unmanned Aerial Vehicle
Previous Article in Journal
Deep Learning Classification of Colorectal Lesions Based on Whole Slide Images
Previous Article in Special Issue
Joints Trajectory Planning of Robot Based on Slime Mould Whale Optimization Algorithm
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Design of HIFU Treatment Plans Using Thermodynamic Equilibrium Algorithm

1
Department of Mechanical and Mechatronics Engineering, University of Waterloo, 200 University Avenue West, Waterloo, ON N2L 3G1, Canada
2
Department of Automotive Engineering; Shinhan University, 95, Hoam-ro, Uijeongbu-si 11644, Gyeonggi-do, Korea
3
Korea Electrotechnology Research Institute (KERI), 12, Jeongiui-gil, Seongsan-gu, Changwon-si 51543, Gyeongsangnam-do, Korea
*
Author to whom correspondence should be addressed.
Algorithms 2022, 15(11), 399; https://doi.org/10.3390/a15110399
Submission received: 3 September 2022 / Revised: 14 October 2022 / Accepted: 25 October 2022 / Published: 28 October 2022
(This article belongs to the Special Issue Metaheuristics Algorithms and Their Applications)

Abstract

:
High-intensity focused ultrasound (HIFU) is a non-invasive medical procedure, which is mainly used to ablate tumors externally by focusing on them with high-frequency ultrasound. Because a single ablation can process only a small volume of tissue, a succession of ablations is required to treat a large volume of cancerous tissue. In order to maximize the therapeutic effect and reduce side effects such as skin burns, careful preoperative treatment planning must be performed to determine the focal location and sonication time for each ablation. This paper proposes a novel optimization algorithm, called the thermodynamic equilibrium algorithm (TEA), inspired by the behavior of thermodynamic systems reaching their equilibrium states. Like other evolutionary algorithms, TEA starts with an initial population. Gas chambers at various thermodynamic states are employed as representatives of the population individuals, and the equilibrium state is regarded as the global minimum. The movement of thermodynamic parameters in the direction of reducing the temperature gradient forms the basis of the proposed evolutionary algorithm. During this movement, the second law of thermodynamics is checked to ensure that entropy will increase in each process. This movement leads to the state where most of the systems are at equilibrium. In this state, the systems are localized at the same position and have the same cost as the global minimum. The TEA was applied to several well-known unconstrained and constrained benchmark cost functions, and the performance was compared with other well-known optimization algorithms. The results showed that the TEA has high potential to handle various types of optimization problems with a good convergence rate and high precision. Finally, the suggested evolutionary approach is applied to HIFU treatment regimens adopting a map of patient-specific material properties and an accurate thermal model. High-quality treatment plans could be created using the suggested method, and the average amount of tissue that is over- or under-treated was less than 0.08 percent.

1. Introduction

A number of solid malignant tumors, such as pancreatic, liver, prostate, breast, fibroids, and soft-tissue sarcomas, have recently been treated with High-Intensity Focused Ultrasound (HIFU). HIFU is a non-invasive and non-ionizing treatment modality with far fewer post-treatment problems than traditional tumor/cancer treatment techniques such as open surgery, radiotherapy, and chemotherapy. Over 100,000 patients have been successfully treated throughout the globe over the last decade [1].
The basic principles of HIFU ablation include coagulative thermal necrosis caused by ultrasonic energy absorption and ultrasound-induced cavitation damage. The thermal mechanism for tissue ablation is often employed when treatments are conducted under MR guidance, since it is better understood and simpler to manage. The fundamental idea behind hyperthermic HIFU treatment is to use enough ultrasonic energy to raise the temperature by several tens of degrees, triggering coagulative necrosis, which would destroy the cancerous tissue. Targeted HIFU reduces the danger of thermal injury to tissue beyond the focused zone by producing cytotoxic temperatures only at a specific location within a small volume (e.g., 1 mm in diameter and 10 mm in length). Normally, the margin between damaged cells and healthy tissue is less than 50 micrometers [2]. By creating a continuous lesion lattice that surrounds the tumor and has appropriate tissue margins, large tumors can be completely ablated.
Despite its advantages, HIFU has disadvantages compared to other existing treatment methods, including a longer extended treatment time, lack of haptic feedback, and monitoring methods. Furthermore, treatment becomes much more difficult when essential blood vessels pass near the tumor. Blood perfusion may remove a large quantity of energy from the body, compromising the therapy effect, and even small damage to blood vessels can have serious consequences [3]. With recent improvements throughout numerical methods and IT, it is now possible to run detailed simulations that accurately predict how focused ultrasound waves behave and how temperature is distributed in heterogeneous tissue [4]. This can be effectively used for a variety of purposes, such as identifying a patient’s suitability for a certain therapy based on their unique anatomy, or verifying the effectiveness of a treatment. Model-based treatment planning, which determines the best transducer placement and sonication settings to deliver ultrasonic energy to the intended target volume, is currently carried out in a crude way, depending on heuristics rather than actual physical models of the therapy.
Evolutionary algorithms are a subset of evolutionary computations inspired by Darwinian natural evolution, which tackle complex optimization problems. It is a metaheuristic optimization algorithm based on the concept of population [5]. The major part of these algorithms is a search procedure for an optimized solution, which begins with multiple points in the solution space. Compared to traditional optimization methods or search algorithms, evolutionary algorithms do not search from a single point, but study a population of potential solutions simultaneously in parallel. These algorithms require neither implicit information nor complementary knowledge; only objective function and related merits affect the search process [6,7]. Use of evolutionary algorithms is generally very straightforward, as there are no limitations in objective functions [8]. The outputs of these algorithms usually include a number of acceptable solutions. Therefore, the final choice rests on the user, especially when the problem does not have a singular solution (for example, a family of Pareto efficiency problems). Naturally, evolutionary algorithms are suitable for providing such multiple responses simultaneously [9].
Evolutionary algorithms can be further categorized on the basis of their implementation and the method of application. Evolutionary strategy (ES) is an optimization method which is based on the idea of compatibility and evolution. This mimics the biological evolution strategy, including mutation, recombination, selection, annidation, dominance, recession, etc. The genetic algorithm (GA) is a special kind of evolutionary algorithm which is inspired by heredity and mutation actions in biology. This algorithm is a search technique used in computer science to find an approximate solution for the optimization and search problems [10]. GA is also a good option for regression-based predictive techniques. In artificial intelligence, GA is a programming technique that employs genetic evolution as a problem-solving model. The desired solution of a problem can be achieved by the genetic evolution process. These solutions are evaluated by the fitness function, and if the solution is provided with the desired accuracy, the algorithm is terminated. Particle swarm optimization (PSO) is a global mathematical optimization method which can treat the problems with the solution of one point or a surface in multi-dimensional space [11,12,13]. In such a space, initially, a number of starting points would be selected, and an initial speed of movement would be assigned. Communication channels between the particles are also considered [14]. Then, the particles are moved in the solution space, and results are calculated based on the eligibility criteria after each time interval. Over time, this algorithm allows all particles to communicate with all the other particles. Thus, the whole swarm moves toward the optimal position found. The PSO method has shown great performance in solving continuous mathematical optimization problems [15,16]. The artificial bee colony (ABC) algorithm is another mathematical optimization algorithm based on swarm intelligence, i.e., intelligent behavior of honeybees [17]. This method offers use of swarm intelligence in the development of artificial systems to solve complex problems in traffic and transportation. Based on the foraging behavior of bee colonies, metaheuristic bee colony optimization (BCO) is able to solve combinatorial problems, as well as combined problems with uncertain characteristics [18]. Ant colony optimization (ACO) is inspired by the pheromone trail laying and following behavior of some ant species. ACO is known to be one of the best methods to tackle shortest path problem, which sometimes is very difficult and time consuming to solve. In ACO, artificial ants are moving around and leaving traces on the chart graph of the problem, like real ants leaving signs on their way, to help the next artificial ants find better solutions to the problem [19,20]. Simulated annealing (SA) is a simple and effective metaheuristic algorithm used to solve mathematical optimization problems. In order to solve difficult optimization problems, Kirkpatrick et al. proposed a SA optimization method based on the analogy with gradual annealing in solids [21]. The gradual annealing technique is used by metallurgists to achieve a state in which the solid material is well groomed while minimizing energy consumption. This technique involves placing the material at a high temperature and then gradually lowering the temperature [22]. Recently, the hunter algorithm (HA) was proposed as a novel optimization algorithm which mimics the behavior of a group of hunting dogs [23]. Hunting dogs allow humans to pursue and kill prey by following the smell of the prey, which is the key concept of this algorithm. In the HA, the hunters perform the action of hunting for trapping the prey. High performance can be achieved by setting few parameters, which is the most important benefit of this algorithm.
The aforementioned optimization algorithms are extensively used to solve diverse kinds of optimization problems in applied sciences, engineering, industry, biology, and computer science. Furthermore, optimization techniques are widely adopted in various fields such as artificial intelligence, hardware synthesis and testing, design and optimization of digital and analog filters, multi-processor systems, robots control, and logic cells layout [24,25,26,27,28,29,30,31,32,33,34,35,36]. However, each of these algorithms suffers from its own deficiencies. For example, a major problem of the proposed formula for PSO is that the speed is constantly increasing, while the particle should slow down as it gets closer to the global optimum so that it does not go past the global optimum. There are several solutions to this problem, but they are effective only for specific cases [37,38]. The genetic algorithm has the inherent disadvantages of producing unpredictable and unripe results [39,40]. Moreover, another major drawback of these algorithms is the need to set many parameters for each problem to achieve high performance [41]. Therefore, finding high-efficiency algorithms has been one of the most important tasks for optimization in engineering and AI applications [42,43].
In the present paper, a new novel algorithm for global optimization, called the thermodynamic equilibrium algorithm (TEA), is proposed. TEA is inspired by the equilibrium process of thermodynamic systems that move toward equilibrium according to the second law of thermodynamics, while satisfying the first law of thermodynamics. During the process, the equilibrium state is checked by using the first and second law of thermodynamics. This allows the systems to converge to the global minimum of the cost function. This paper describes how the thermodynamic equilibrium procedure can be modeled with physically relevant systems and implemented for optimization purposes. Moreover, this work tackles the HIFU treatment planning by utilizing an optimization-based method based on TEA. The inputs to the optimization are the anticipated target volume and the organs that have to be ablated, and the TEA produces a workable treatment strategy. This scheme has the potential to improve targeting accuracy of HIFU and shorten treatment durations, ultimately improving clinical outcomes for HIFU patients.

2. Materials and Methods

2.1. Thermodynamics

Thermodynamics is a branch of the natural sciences that discusses the relationship between heat, energy, and work. Macroscopic variables (such as temperature, internal energy, entropy, and pressure) are used in thermodynamics to characterize the state of the system and to derive the physical laws that govern the change in the state. Thermodynamics describes the average behavior of the system composed of a large number of microscopic particles. The rules governing thermodynamics can also be inferred through statistical mechanics.

2.2. Thermodynamic Equilibrium Algorithm

TEA is inspired by thermodynamic phenomena, and can be categorized as an evolutionary algorithm. In this method, the coordinates of each system are converted to temperature or volume, both of which are thermodynamic parameters. Figure 1 shows the flowchart of TEA’s working sequence. Like other evolutionary algorithms, TEA begins with an initial population (thermodynamic systems with different states). Given that each system is in its own condition, it is coupled with another system in the next step. The two systems are placed side by side so that they can exchange heat freely (Figure 2), and thermodynamic equilibrium processes of the two interactive systems are initiated. The algorithm intends to develop a mathematical expression mimicking thermodynamic phenomena occurring in the coupled systems to find the best result.
Then, according to the first law of thermodynamics, the equilibrium temperature and volume are calculated at each stage. Knowing the equilibrium state, both systems move toward equilibrium and update their recent states.
During the processes for equilibrium, specific conditions must be met and the new state must comply with the second law of thermodynamics. The process will be completed when the coupled systems reach equilibrium. Some systems may be trapped in the domain of the function (local extrema), but a large number of systems will reach equilibrium, and their final thermodynamic state will be declared as the optimum parameter.

2.3. Working Sequence of TEA

2.3.1. Initialize Thermodynamic Systems

The goal of optimization is to find the optimal solution according to the problem variables. In genetic algorithm (GA) terminology, an array of variables that need to be optimized is frequently called the chromosome, but here, the term is replaced with the thermodynamic system. In a N v a r -dimension optimization problem, each system is a dimensional array defined by Equation (1).
x = [ T , V 1 , V 2 , , V N v a r 1 ]
where T is the temperature and V is the volume, which may have more than one parameter. Therefore, for convenience, the problem can be turned into a two-dimensional problem by defining a new variable ∀ called “overall volume”:
= i = 1 N v a r 1 V i N v a r 1
Now, the thermodynamic state of each system can be simply defined as:
x = [ T , ]
The cost of each system is determined by the cost function f, as shown in Equation (4).
c o s t = f ( x ) = f ( T , )
To start the algorithm, the initial optimization population is created by the number of N s y s . Systems are randomly scattered in the domain of the function based on the upper and lower limits.

2.3.2. Coupling of the Thermodynamic Systems

Initially, each system is coupled with the closest system in the function domain according to its coordinates. Then, the coupled systems exchange heat or perform work together to gradually reach equilibrium. Over time, the temperature gradient decreases and, as a result, the scope of the optimization function is well studied and the optimal value is found.

2.3.3. Compute Equilibrium Temperature and Volume

After the systems are coupled, heat exchange and work are performed, resulting in the changes in the temperature and the volume of the systems. If we consider the two systems as two cylinders side by side, the temperature and volume are different, but the pressure is the same in both systems (Figure 2). Additionally, the pistons in both systems are free to move, so each system can perform either positive or negative work. In each thermodynamic process, the pressures in both systems are equal.
According to the first law of thermodynamics, the internal energy change of a system can be calculated as follows:
Δ E = Q W
where Q is the amount of heat transfer into the system and W represents the work performed by each system. Due to the law of conservation of energy, the heat absorbed from one system is equal to the heat lost by the other ( Q 1 = Q 2 ). Thus, the following relationship is established between these two systems:
Δ E 1 + W 1 = ( Δ E 2 + W 2 )
The energy change for ideal gases can be calculated by Δ E = m c v Δ T , and the thermodynamic work by W = P Δ . By substituting these terms into Equation (6) and dividing with P, Equation (7) is obtained:
m 1 c v P ( T e q T 1 ) + ( e q 1 ) = m 2 c v P ( T e q T 2 ) ( e q 2 )
where the subscript e q represents the thermodynamic state at equilibrium. By assuming that m 1 = m 2 and for simplicity α = ( m 1 c v ) / P = ( m 2 c v ) / P = 1 , Equation (7) can be simplified as:
( T e q T 1 ) + ( e q 1 ) = ( T 2 T e q ) + ( 2 e q )
Note that Equation (8) is only dependent on temperature and overall volume at equilibrium state, which are still unknown at present.
On the other hand, the ideal gas law can be implemented as follows:
P = n R T
Based on the conservation law of mass, the total molar mass at equilibrium state is equal to the sum of the molar mass of each system:
n 1 + n 2 = 2 n e q
By substituting Equation (9) into Equation (10),
1 T 1 + 2 T 2 = 2 e q T e q
By combining Equations (8) and (11), T e q is obtained as follows:
T e q = T 1 2 T 2 + T 1 T 2 2 + T 1 T 2 1 + T 1 T 2 2 T 1 T 2 + T 2 1 + T 1 2
Additionally, e q can be derived as:
e q = T 1 2 2 + T 1 T 2 1 + T 1 T 2 2 + T 1 1 2 + T 1 2 2 + T 2 2 1 + T 2 1 2 + T 2 1 2 2 ( T 1 T 2 + T 2 1 + T 1 2 )
At this stage, with the help of the first law of thermodynamics and the ideal gas law, the equilibrium state of the hypothetical systems can be calculated (Figure 3).

2.3.4. Update System Thermodynamic State

After calculating the equilibrium temperature ( T e q ) and overall volume ( e q ), the systems will move in the direction of equilibrium. In fact, the new thermodynamic state of the system is the result of calculation according to the thermodynamic laws. If each system reaches equilibrium immediately, the states of the two systems will be equal and they will not exchange energy. In this case, the domain of the function will not be searched further, and the optimal answer cannot be obtained. To prevent this, the following relationship is recommended for new temperature and overall volume:
T i , n e w = T i + T e q 2
i , n e w = i + e q 2
where subscript i represents system number.
If ∀ value is composed of more than one parameter, such as the cases in a three or higher dimensional problem, V i can be obtained as follows:
V i , n e w = V i + i , n e w
Using the proposed relationships above, the two systems grow closer to equilibrium at each stage, which causes the entire domain to be gradually searched and the optimal point to be found.

2.3.5. Check for Entropy Increase

After updating the thermodynamic state, we need to ensure that the systems are moving toward the optimal point of the function. Given that the second law of thermodynamics requires processes to move in the direction of increasing entropy, each system in the proposed algorithm must proceed in the direction of decreasing the cost function. For this purpose, at this stage, it is necessary to examine whether the cost function has decreased in the new state. The relationship between cost function and entropy can be defined as follows:
c o s t = 1 e n t r o p y t e m p e r a t u r e h e a t
Therefore, the attempt of the algorithm to minimize the cost function results in maximizing the system’s entropy (S). The desired condition is set by the following relation:
S n e w S e q 0
By converting entropy into cost function, the condition can be translated as follows:
f ( T n e w , n e w ) f ( T e q , e q ) 0
The above condition causes the algorithm to move in the direction to optimize the functions. If the condition is not met, a counter is defined to count the number of unsuccessful attempts and thermodynamic conditions are updated as follows:
T i , n e w = T i + T e q 2 j n e w
i , n e w = i + e q 2 j n e w
where j n e w = j + 1 . Due to the above relationships, in such a case, the system moves towards the balance state at a slower speed compared to Equations (14) and (15) to satisfy the aforementioned condition (Equation (19)). This part of the algorithm is similar to examining the second law of thermodynamics and prevents blind search of the function domain.

2.3.6. Check for Thermodynamic Equilibrium

Finally, a large number of coupled systems reach to equilibrium and accumulate at one point, except for a few that may have been trapped. This method has the advantage that not all systems have the same state, so the cost of each system varies with the thermodynamic equilibrium process. Therefore, the system with the lowest cost and its state will be reported.
There are two criteria for stopping the proposed algorithm. The algorithm will be stopped after a certain number of iterations, or when the systems reach an equilibrium state. For the latter, if the difference of the cost from last two steps remains lower than a certain value, stop condition is met and the iterative process of the algorithm is completed, as expressed by the following equation:
T n e w T < ϵ
where ϵ is a threshold value which can be defined based on the required accuracy.

2.4. HIFU Treatment Plan

To properly cover a vast target region with HIFU ablation, a number of sonications are required. The potential solution I during the therapy, which is the HIFU transducer location, follows a certain course in the tissue. The HIFU therapy is not a continuous process, but the ultrasound is intermittently focused on a specific location in the tissue during each sonication. The total number of sonications for a specific tumor is restricted to N, which is often in the low tens. Sonication duration t o n and cooling interval t o f f determine the amount of energy supplied in a single sonication. One sonication is defined as a quintuple S i , which is a function of spatial coordinates of beam focus, sonication and cooling intervals t o n and t o f f :
I = ( S 1 , S 2 , , S N ) , w h e r e S i = ( x i , y i , t o n , i , t o f f , i )
Determining the best location and sonication times for the specified number of ablations in order to thoroughly treat the intended target volume while protecting the surrounding organs is how the treatment planning problem is described in this case. The four parameters which formed S i in Equation (23) are the optimization parameters, and they are converted to T and i based on Equation (1).

2.5. Fitness Function

There are various phases to evaluate the quality of prospective treatment programs. First, the expected form and location of the ultrasonic focal region, as well as the sonication duration, are used to calculate the heat deposition for each sonication. Second, the temperature distribution in the domain is calculated during the treatment using a numerical thermal model. The treatment plan simulates the whole sonication process using a heat model. Third, the treatment domain is then examined, and the locations where the thermal dose threshold has been exceeded are discovered. Finally, the areas that have not been adequately treated are highlighted, and the quality of the treatment plan is evaluated.

2.5.1. Calculation of the Heat Deposition

The first step in analyzing a treatment plan is to compute the heat deposition. The physical characteristics and the placement of the focal point are determined by considering the nonlinear behavior of the ultrasonic wave as it travels through heterogeneous tissue. The amount of thermal energy that is deposited at the focal point is proportional to the medium’s absorption of ultrasonic energy. It is possible to get an exact forecast of the heat deposition by using various models such as basic ray-tracing models [44], simplified forward wave propagation models [45], or precise full-wave models [46]. Unfortunately, none of these models can be used for TEA optimization because of their lengthy execution times (on the order of minutes).
As a result, some assumptions are required to simplify the problem. The initial assumption is that the focus’s center may be located at the coordinates determined by sonication S i = [ x i , y i ] . This is accomplished via the HIFU transducer’s precise electrical steering of the ultrasound beam [47]. Second, the focus is assumed to be an elliptical shape in form, with the length of the axis proportional to the distance from the HIFU transducer (see Figure 4). Based on the power of the transducer, elliptical axes can be determined by the variance and used to estimate the volume rate of heat deposition using the Gaussian distribution of energy in the focus [48,49,50], i.e., the acoustic model is not utilized to compute the heat source term. Finally, in order to keep things simple, only two-dimensional issues are considered, and it is assumed that the transducer axes are always parallel to the domain axes. At this stage, the total energy deposited in the tissue is proportional to the sonication time t o n .

2.5.2. Thermal Model Execution

The numerical thermal model is then used to determine heat diffusion in the tissue in the second stage. Heat diffusion is predicted using the so-called Pennes’ bioheat equation [51], which includes a matching source term for ultrasonic energy absorption (see Equation (24)).
ρ C T t = . ( k T ) + W b C b ( T T a ) + Q
The tissue-specific heat C and blood C b [J/kg°C] perfusion-related parameter W b [kg/m3s], arterial temperature T a , and ultrasonic transducer power Q [W/m3] are all taken into account in this equation. The arterial temperature is considered to be 37 degrees Celsius.
Blood perfusion, which can cool the tissue and hinder the thermal ablation of cancerous cells close to blood vessels, should be carefully considered, especially when determining the energy balance in heat transmission. This effect becomes more important as the heating period grows longer; for example, for volumetric ablation of vast tissue regions.
Figure 5 depicts the temperature at the focus center during the duration of a 3-s sonication and a 7-s cooling interval. The temperature rises as soon as the transducer is turned on. Due to heat diffusion and blood circulation, the temperature gradually drops back to ambient levels after the transducer is turned off (during the cooling interval).
Following sonication, the primary focus axis was subjected to temperature measurements every 2 s (see Figure 6). The temperature distribution in space is Gaussian when a major blood artery is absent. The temperature drops from a peak of around 65 °C at the end of the sonication phase to about 38 °C at the end of the cooling phase. On the other hand, the surrounding region with temperatures above 37 °C is progressively expanding.
Thermal damage is often calculated using the Sapareto–Dewey iso-effect thermal dose equation [52], which gives the equivalent time in seconds required to induce the same biological effects at 43 °C. This statistic is known as cumulative equivalent minutes (CEM43). After calculating CEM43 at each location in the tissue (see Equation (25)), S i averages the results from all sonications.
C E M 43 = 0 t o n + t o f f R ( 43 T ) d t , w h e r e R = 0 f o r T 39   ° C 0.25 f o r 39   ° C < T 43   ° C 0.5 f o r T > 43   ° C ,
Thermal doses of 240 min at 43° Celsius irreversibly destroy and coagulate vital cellular protein, tissue structural components, and the vasculature, leading to rapid tissue death [1]. In Figure 6, the region where the dose exceeds 240 CEM43 is marked by yellow bar. Note that the threshold may vary depending on the kind of tissue.
Patient-specific models of tissue anatomy are used to generate exact tissue parameter settings for implementation in Matlab using the FDA HIFU toolbox [53]. The Simulator predicts many important characteristics of continuous wave, high-intensity therapeutic ultrasound beams and their heating effects. The formulation is accurate and unconditionally stable for a homogeneous medium. Compared to standard pseudospectral time-domain approaches, the time scheme allows for greater time steps with the same degree of accuracy in a heterogeneous medium. As a result, the convergence testing determines the resolutions in space and time for the grid that divides the simulation domain.

2.5.3. Evaluation of the Treated Area

A cumulative spatial map of CEM43 for treatment solution I is produced by the thermal model. To create a binary mask of damaged tissue, this map is thresholded at 240. The effectiveness of HIFU treatment is evaluated using the criterion of destroying all tissues of the target site without damaging the prohibited site (the organs at risk). Do not care zones may also be set to offer the optimization algorithm more flexibility.
For a two-dimensional instance, the fitness function can be represented as:
c o s t = f = 0 Y 0 X ( ( D C ¯ ) + ( D ¯ C ) ) d x d y , R = 0 f o r C E M 43 240 1 f o r C E M 43 > 240 , D R + , D ¯ R + ,
where X, Y are the x and y dimensions of the domain, C is the bi-mask corresponding to the treated region, C ¯ is the complementary mask corresponding to the untreated area, D is the target map designating the treated area, and D ¯ is the banned area. Since D and D ¯ are described as functions over a two-dimensional space, users may choose the level of urgency for each point in the space. This enables the inclusion of two crucial concepts to the fitness function: (1) a fine-tuning of the target and prohibited regions’ shapes; and (2) the addition of a gradient to the fitness function space that directs evolution away from the prohibited areas and toward the desired areas.

3. Results & Discussions

3.1. Optimization Performance

The proposed TEA was tested with 25 optimization test functions. All of them were minimization problems. Details of the functions are listed in Table 1. The first problem f 1 is Ackley’s function, which was frequently used as an optimization benchmark function.
For f 1 , a 3D plot of the function is shown in Figure 7. The global minimum of the function in interval 5 < x , y < 5 is located at f 1 ( 0 , 0 ) and the cost of 0.
In the optimization process using TEA, the initial population of 100 systems was chosen in Figure 8a. Every coupled system individually explored the minimum point. The systems are indicated by × marks. Figure 8b–d show the movements of systems at iterations 17, 34, and 50. It can be seen that at iteration 17, while most of the systems were located at local minima of the function, a couple of them had reached the global minimum point, at which the best cost is 3.591 × 10 6 . At iteration 34, although a couple of systems were trapped, the majority of them reached the equilibrium and the best cost was 8.141 × 10 11 . At iteration 50, almost all systems had reached the optimal location. The final answer was 9.251 × 10 15 , which is very close to zero.
As examples of other optimization algorithms, continuous GA and PSO were also applied to this problem. To make a fair comparison of the performance among these methods, the initial population of 100 was chosen for all of them. In continuous GA, mutation and selection rates were set to 0.3 and 0.5, respectively, and for PSO, both p _ i n c r e m e n t and g _ i n c r e m e n t were set to 2. The minimum cost of all population versus generation is shown in Figure 9a. At the fifth iteration, TEA found the minimum to near one-thousandths and is attempting to increase the accuracy of the answer in the following iterations. GA and PSO converged to the global minimum at iteration 31 and 36, respectively, by the accuracy of the one-thousandth.
Problems f 2 and f 3 are Sphere function and Rosenbrock function, respectively. The minimum cost against the iteration for f 2 and f 3 achieved by TEA are compared with those by GA and PSO, as shown in Figure 9b,c, respectively. Both of the plots indicate that TEA performed best, followed by GA and PSO.
Table 1 shows the results of optimizations performed by GA and TEA for 20 different test functions to compare the performances when dealing with various types of problems. Table 2 presents the optimization results for five different constrained test functions, also by GA and TEA to investigate the precision of the proposed algorithm in constrained optimization. The numbers of initial systems and iteration used in problem f 1 to f 25 were 100 and 50, respectively. Table 1 and Table 2 show the minimum cost of all systems in problems f 1 to f 20 and f 21 to f 25 , respectively.
In all test functions, TEA yields better results than GA. In smooth functions, such as f 2 , f 6 , and f 9 , both algorithms have comparable performance. GA could find the answers within the given number of iterations and tried to improve the accuracy in further iterations. However, for complex functions which include several local optima, such as f 11 and f 13 , GA was trapped in the local minima and required a much larger number of iterations to achieve an acceptable performance. Additionally, in complex constrained function such as f 24 , GA showed higher tendency to converge towards local optima instead of the global minimum of the function. In contrast, by checking the second law of thermodynamics, TEA ensured that most of the systems were able to obtain the optimal answer and avoided local minima convergency.

3.2. Application to HIFU

The experimental study given in this research has three primary goals: (1) testing the idea that the TEA can develop appropriate HIFU treatment plans, (2) discovering appropriate TEA parameters, and (3) assessing the TEA’s computing complexity.

3.2.1. HIFU Treatment Setup

For the application of TEA to HIFU treatment, realistic parameters and situations were employed. The material properties were established using data from real patients, and the transducer parameters were created using data from a true-to-life HIFU transducer. Simulation parameters were selected using numerical analysis.
Maps of the material characteristics of the human body were needed to illustrate the suggested algorithm’s capacity to develop appropriate treatment regimens. AustinWoman, an open-source voxel model, was used in this case [55]. This is a segmentation of a digital image dataset obtained as a result of the Visible Human Project run by the US National Library of Medicine. The original dataset consists of digital cryosection images with a 0.33 mm pixel spacing of a 59-year-old female corpse taken at 0.33 mm intervals along the axial direction. There are also radiological imaging (CT and MRI) accessible. The AustinWoman segmentation divides the digital image data into 58 material labels, each of which stands for one of the main tissue types in the human body. The distribution of tissue density, specific heat, and thermal conductivity was obtained using the IT’IS tissue property database V3.0 [56]. Capillary blood perfusion was solely considered throughout this examination for the purpose of simplicity.
One thorax target inside the left lobule was utilized for the case study of HIFU therapy planning. The divided section of the body used for treatment planning is shown in Figure 10. The target location is near the center of the breast. D (target map) at this area is equal to 1 ( D x , y = 1 ) and elsewhere equals to zero ( D x , y = 0 ).
The HAIFU JC-200’s nominal characteristics and a single-element transducer were used to size the heat source [57]. The focusing beam has an oval shape with a diameter of around 19 × 2.5 mm, a radius of curvature of 145 mm, an aperture diameter of 200 mm, and a frequency of 0.95 MHz. This dimension was used to calculate the half-maximum full-width ellipsoidal heat source term. The peak rate of heat deposition in space was set to 100 W/cm2, which is close to the values used in clinical treatments.
Following the results of numerical convergence testing, the following parameters were included into the numerical thermal model:
  • 495 × 495 grid points, discretized simulation domain; periodic boundary condition.
  • 0.2 mm of spatial resolution. Linear interpolation was used to upsample the original AustinWoman data.
  • 0.1 s temporal resolution.
  • The total length of the simulation i = 0 N ( t o n , i + t o f f , i ) .
  • Positions of the ultrasound focus center are limited to the bounding box at grid positions [270, 230] × [345, 295].
  • Maximum sonication and cooling periods t o n = [0, 5 s], t o f f = [0, 20 s].
  • Number of sonications considered N Z + .
The numerical model and the TEA were run in Matlab 2021b. The Matlab Parallel Computing Toolbox was used to parallelize the execution over 16 processor cores.

3.2.2. Evaluation of the Equilibrium Process

This section assesses the TEA’s ability to determine a viable treatment plan for a specific patient. For statistical analysis, 15 separate runs were conducted with a maximum execution duration of 48 h per run. To evaluate the performance, three key metrics were looked at, including: (1) the best treatment plan’s quality, (2) the amount of fitness assessments that must converge, and (3) the best system’s progress over time.
The capacity of the TEA to identify a suitable treatment plan is the first and most significant criterion. This was assessed with the fitness value defined in Equation (26). With the fitness value equal to zero, the ideal solution would cover the entire treated region while leaving the rest completely undamaged. Figure 11 displays the histogram of fitness values compiled from the top solutions produced in 15 distinct runs. Here, the effects of numbers of systems and sonications on the fitness value are presented.
The overall trend in Figure 11 suggests that the average quality of the treatment plan improves as the number of sonications permitted by the TEA increases. Naturally, the finer the coverage control, the more (possibly shorter or smaller) sonications are performed. However, more sonications lead to longer treatment times, patient discomfort, and heavier computational load (more thermal model runs). The best compromise between the quality of the treatment plan and the number of sonications seems to be eight sonications with 20 to 30 systems. Finally, with ten sonications and 30 systems, the best fitness value approaches zero, but most of the systems still cannot achieve the best quality. As the numbers of sonication and system increase, the evaluation time also increases and the computation time quickly reaches 48 h before convergence is reached.
Since Equation (26) demonstrates that the fitness value is the product of two metrics (non-treated and mistreated), these metrics are also provided for the treatment plan’s quality. Table 3 and Table 4, respectively, illustrate the median and average percentages of untreated and improperly treated locations. The non-treated region denotes areas in which the treatment was unsuccessful (due to insufficient energy deposition), while the mistreated region denotes areas where the normal tissue was harmed. According to the data from both tables, the non-treated and mistreated regions make up less than 0.1 percent of the highlighted areas. This is a remarkable achievement, and is considered clinically applicable.
In Table 3, given that the medians of both measures are zero for 8 and 10 sonications, regardless of the number of systems, it can be inferred that more than fifty percent of runs resulted in flawless treatment plans. The comparison between Table 3 and Table 4 indicates that in most circumstances, it was easier to completely cover the treated area than to completely protect the normal tissue. Energy seeping from the focus point (heat diffusion) to the protected zone was the cause of mistreatment.
Convergence speed is another crucial aspect that determines the quality of the suggested evolutionary method. Figure 12 demonstrates the number of iterations required to obtain an ideal solution, whereas Table 5 shows the wall clock time required to get a suboptimal solution to quantify this metric.
As shown in Figure 12, the number of systems obviously influences the number of iterations. To achieve convergence in a population of 30 systems as opposed to a population of 20 systems, approximately 30% more TEA iterations are required. Unfortunately, the increase in evolution time due to the increase of the number of systems cannot be justified by the gain in solution quality.
Increases in the number of sonications, on the other hand, have large influence on the number of iterations. This is due to the TEA’s quality, which is supposed to scale linearly with the issue size.
Finally, the development of the TEA is looked at by tracking the evolution of the finest system. On a logarithmic scale, Figure 13 depicts the statistics of the evolution of a best system over the course of 15 separate runs, each of which had 8 sonications and 20 systems. It can be observed that a normal run converges very quickly, with 200 iterations generally sufficing.

3.2.3. Visualization of Treatment Plan

The illustration of the ideal treatment strategy with four sonication cycles is shown in Figure 14. In the order they appear in the treatment plan, each row in Figure 14 corresponds to each sonication out of four sonication cycles. The left column depicts the lesion map (yellow region), namely the places where C E M 43 has surpassed 240 min. In this column, the red line shows the boundary of the area which must be treated properly. After sonication, the actual temperature distribution of the domain is shown in the right column (including the cooling phase). It can be observed that some of the energy from prior sonications had not yet dissipated, but was utilized to increase the temperature by subsequent sonications. In Figure 14, the whole target area is ultimately covered.

3.2.4. Validation Results

Next, the numerical HIFU treatment was evaluated three times with the actual HIFU experiments on chicken breast. The results of the three trials are shown in Figure 15. The left column shows the shape of lesion patterns based on the numerical simulation. The right column demonstrates the actual treated region after the HIFU irradiation. Each experiment consisted of five sonications and a one-second cooling cycle. The distances between sonications were set to 3 mm, 5 mm, and 3 mm, and the heating time was set to 3 s, 3 s, and 2 s, respectively. Even though there are a few tiny patches of tissue that have not received the intended dosage of 240 C E M 43 , comparisons of the planned and actual treated regions indicate excellent agreements.

4. Conclusions

High-Intensity Focused Ultrasound (HIFU) is a state-of-the-art, minimally invasive method of cancer treatment. However, significant preoperative treatment planning is necessary to accurately aim the ultrasonic beam and ablate only the tumor without damaging healthy tissue. Manual and semi-automated planning are time consuming and computationally complex tasks. As a result, new techniques for fully automated treatment planning are of great interest.
In this paper, an optimization algorithm based on the behavior of the thermodynamic systems, called the thermodynamic equilibrium algorithm (TEA), was proposed. In TEA, each individual of the population was modeled as a gas container. The global minimum of the function was defined as the thermodynamic equilibrium state. Changes in thermodynamic states of the systems toward the equilibrium direction, in which the temperature difference is reduced, formed the core of this algorithm. The proposed approach showed good performance in the convergence of systems to the global minimum of the problem. While the thermodynamic states were changing, most of the systems could reach the global minimum through thermodynamic equilibrium process. The TEA was tested with 25 benchmark functions, and the results confirmed that the algorithm was able to find the global minimum of these functions successfully. Additionally, the algorithm was evaluated by comparing its performance with PSO and GA for three of the benchmark functions, which showed that the convergence rate was faster and the global minimum was reached sooner with the TEA than with PSO or GA.
The TEA was applied to HIFU planning and produced excellent outputs with mistreated and undertreated areas on the order of 0.1 percent. These results shows that TEA can be utilized to create treatment plans that are close to ideal. The major benefit of the proposed method is that it just needs a map of the patient’s anatomy and the corresponding target and prohibited areas. Evolution will take care of the rest.
The proposed method, on the other hand, has a few drawbacks. First, even when no acoustic model was used and just 2D thermal simulations were performed, it took anywhere between 36 and 48 h to construct a good treatment plan. This will be addressed in the next phase of the study, which entails rewriting the whole algorithm in high-performance languages such as parallel C/C++ with the aim of achieving at least a five-fold reduction in computation time. Second, owing to computational complexity, it is only able to operate in two dimensions. Third, it requires a numerical model that accounts for acoustic heterogeneities in treatment plans by linking the ultrasonic and temperature modes.

Author Contributions

Conceptualization, S.L. and H.J.K.; methodology, S.W.H.; software, S.L.; validation, S.L. and S.W.H.; formal analysis, H.J.K.; investigation, S.L.; resources, S.W.H. and J.U.K.; writing—original draft preparation, S.L.; writing—review and editing, J.U.K. and H.J.K.; visualization, S.L. and S.W.H.; supervision, H.J.K. and J.U.K.; project administration, J.U.K.; funding acquisition, H.J.K. and J.U.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Korea Electrotechnology Research Institute (KERI) grant number 22A03009.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

This research was supported by Changwon-city, Republic of Korea through Korea-Canada Joint AI Research Program.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Zhou, Y.F. High intensity focused ultrasound in clinical tumor ablation. World J. Clin. Oncol. 2011, 2, 8. [Google Scholar] [CrossRef] [PubMed]
  2. Ter Haar, G.; Rivens, I.; Chen, L.; Riddler, S. High intensity focused ultrasound for the treatment of rat tumours. Phys. Med. Biol. 1991, 36, 1495. [Google Scholar] [CrossRef]
  3. Ichihara, M.; Sasaki, K.; Umemura, S.I.; Kushima, M.; Okai, T. Blood flow occlusion via ultrasound image-guided high-intensity focused ultrasound and its effect on tissue perfusion. Ultrasound Med. Biol. 2007, 33, 452–459. [Google Scholar] [CrossRef] [PubMed]
  4. Suomi, V.; Jaros, J.; Treeby, B.; Cleveland, R.O. Full modeling of high-intensity focused ultrasound and thermal heating in the kidney using realistic patient models. IEEE Trans. Biomed. Eng. 2017, 65, 969–979. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  5. Al-Salami, N.M. Evolutionary algorithm definition. Am. Eng. Appl. Sci. 2009, 2, 789–795. [Google Scholar] [CrossRef] [Green Version]
  6. Hornby, G.S.; Pollack, J.B. Creating high-level components with a generative representation for body-brain evolution. Artif. Life 2002, 8, 223–246. [Google Scholar] [CrossRef] [PubMed]
  7. Clune, J.; Beckmann, B.E.; Ofria, C.; Pennock, R.T. Evolving coordinated quadruped gaits with the HyperNEAT generative encoding. In Proceedings of the 2009 IEEE Congress on Evolutionary Computation, Trondhaim, Norway, 18–21 May 2009; pp. 2764–2771. [Google Scholar]
  8. Clune, J.; Ofria, C.; Pennock, R.T. How a generative encoding fares as problem-regularity decreases. In Proceedings of the International Conference on Parallel Problem Solving from Nature, Berlin, Germany, 13–17 September 2008; pp. 358–367. [Google Scholar]
  9. Ferreira, C. Gene expression programming: A new adaptive algorithm for solving problems. arXiv 2001, arXiv:cs/0102027. [Google Scholar]
  10. Mitchell, M. An Introduction to Genetic Algorithms; MIT Press: Cambridge, MA, USA, 1998. [Google Scholar]
  11. Kennedy, J.; Eberhart, R. Particle swarm optimization. In Proceedings of the ICNN’95-International Conference on Neural Networks, Perth, Australia, 27 November–1 December 1995; Volume 4, pp. 1942–1948. [Google Scholar]
  12. Shi, Y.; Eberhart, R. A modified particle swarm optimizer. In Proceedings of the 1998 IEEE International Conference on Evolutionary Computation Proceedings, Anchorage, AK, USA, 4–9 May 1998; IEEE World Congress on Computational Intelligence (Cat. No. 98TH8360). pp. 69–73. [Google Scholar]
  13. Kennedy, J. The Particle Swarm: Social Adaptation of Knowledge. In Proceedings of the 1997 IEEE International Conference on Evolutionary Computation (ICEC’97), Indianapolis, IN, USA, 13–16 April 1997; pp. 303–308. [Google Scholar]
  14. Eberhart, R.C.; Shi, Y.; Kennedy, J. Swarm Intelligence; Elsevier: Amsterdam, The Netherlands, 2001. [Google Scholar]
  15. Poli, R. An analysis of publications on particle swarm optimization applications. J. Artif. Evol. Appl. 2007. [Google Scholar]
  16. Poli, R. Analysis of the publications on the applications of particle swarm optimisation. J. Artif. Evol. Appl. 2008. [Google Scholar] [CrossRef] [Green Version]
  17. Karaboga, D. An Idea Based on Honey Bee Swarm for Numerical Optimization; Technical report; Technical report-tr06; Erciyes University, Engineering Faculty: Kayseri, Turkey, 2005. [Google Scholar]
  18. Lucic, P.; Teodorovic, D. Bee system: Modeling combinatorial optimization transportation engineering problems by swarm intelligence. In Proceedings of the Preprints of the TRISTAN IV Triennial Symposium on Transportation Analysis, Saõ Miguel, Azores Islands, Portugal, 13–19 June 2001; pp. 441–445. [Google Scholar]
  19. Colorni, A.; Dorigo, M.; Maniezzo, V. Distributed optimization by ant colonies. In Proceedings of the First European Conference on Artificial Life, Paris, France, 11–13 December 1991; Volume 142, pp. 134–142. [Google Scholar]
  20. Dorigo, M. Optimization, Learning and Natural Algorithms. Ph. D. Thesis, Polytechnic University of Milan, Milan, Italy, 1992. [Google Scholar]
  21. Kirkpatrick, S.; Gelatt, C.D.; Vecchi, M.P. Optimization by simulated annealing. Science 1983, 220, 671–680. [Google Scholar] [CrossRef]
  22. Metropolis, N.; Rosenbluth, A.W.; Rosenbluth, M.N.; Teller, A.H.; Teller, E. Equation of state calculations by fast computing machines. J. Chem. Phys. 1953, 21, 1087–1092. [Google Scholar] [CrossRef] [Green Version]
  23. Lari, S.M.S.; Mojra, A.; Rokni, M. Simultaneous localization of multiple tumors from thermogram of tissue phantom by using a novel optimization algorithm inspired by hunting dogs. Comput. Biol. Med. 2019, 112, 103377. [Google Scholar] [CrossRef] [PubMed]
  24. Cartwright, H.M. Applications of Evolutionary Computation in Chemistry; Springer Science & Business Media: Berlin, Germany, 2004; Volume 110, pp. 1–32. [Google Scholar]
  25. Angeline, P.J. Evolving fractal movies. In Proceedings of the 1st annual Conference on Genetic Programming, Cambridge, MA, USA, 18–31 July 1996; pp. 503–511. [Google Scholar]
  26. Horner, A.; Goldberg, D. GAs and computer-assisted music composition. In Proceedings of the 4th International Conference on the New Technologies in the Oil, Gas & Petrochemical Industries, Urbana-Champaign, IL, USA, 1993. [Google Scholar]
  27. Horner, A.; Goldberg, D. Machine tongues XVI: GAs and their application to FM matching synthesis. Comp. Music J. 1993, 17, 17–29. [Google Scholar] [CrossRef]
  28. Sims, K. Artificial evolution for computer graphics. In Proceedings of the 18th Annual Conference on Computer Graphics and Interactive Techniques, New York, NY, USA, 28 July–2 August 1991; pp. 319–328. [Google Scholar]
  29. Colombetti, M.; Dorigo, M. Evolutionary computation in behavior engineering. In Evolutionary Computation: Theory and Applications; World Scientific: Singapore, 1999; pp. 37–80. [Google Scholar]
  30. Darwen, P.; Yao, X. Automatic modularization by speciation. In Proceedings of the IEEE International Conference on Evolutionary Computation, Nagoya, Japan, 20–22 May 1996; pp. 88–93. [Google Scholar]
  31. Fogel, D.B. An evolutionary approach to the traveling salesman problem. Biol. Cybern. 1988, 60, 139–144. [Google Scholar] [CrossRef]
  32. Chellaboina, V.; Ranga, M.K. Reduced order optimal control using genetic algorithms. In Proceedings of the American Control Conference, Portland, OR, USA, 8–10 June 2005; pp. 1407–1412. [Google Scholar]
  33. Bontoux, B.; Feillet, D. Ant colony optimization for the traveling purchaser problem. Comput. Oper. Res. 2008, 35, 628–637. [Google Scholar] [CrossRef]
  34. Varol, H.A.; Bingul, Z. A new PID tuning technique using ant algorithm. In Proceedings of the 2004 American Control Conference, Boston, MA, USA, 30 June–2 July 2004; Volume 3, pp. 2154–2159. [Google Scholar]
  35. Fisher, M.L. The Lagrangian relaxation method for solving integer programming problems. Manag. Sci. 2004, 50, 1861–1871. [Google Scholar] [CrossRef] [Green Version]
  36. Andrieu, C.; Doucet, A. Simulated annealing for maximum a posteriori parameter estimation of hidden Markov models. IEEE Trans. Inf. Theory 2000, 46, 994–1004. [Google Scholar] [CrossRef] [Green Version]
  37. Van den Bergh, F.; Engelbrecht, A.P. A convergence proof for the particle swarm optimiser. Fundam. Inform. 2010, 105, 341–374. [Google Scholar] [CrossRef] [Green Version]
  38. Bonyadi, M.R.; Michalewicz, Z. A locally convergent rotationally invariant particle swarm optimization algorithm. Swarm Intell. 2014, 8, 159–198. [Google Scholar] [CrossRef]
  39. Man, K.F.; Tang, K.S.; Kwong, S. Genetic algorithms: Concepts and applications [in engineering design]. IEEE Trans. Ind. Electron. 1996, 43, 519–534. [Google Scholar] [CrossRef]
  40. Rashed, G.; Shaheen, H.; Cheng, S. Evolutionary optimization techniques for optimal location and parameter settings of TCSC under single line contingency. In Proceedings of the 2008 IEEE Power and Energy Society General Meeting-Conversion and Delivery of Electrical Energy in the 21st Century, Pittsburgh, PA, USA, 20–24 July 2008; pp. 1–9. [Google Scholar]
  41. Oftadeh, R.; Mahjoob, M.; Shariatpanahi, M. A novel meta-heuristic optimization algorithm inspired by group hunting of animals: Hunting search. Comput. Math. Appl. 2010, 60, 2087–2098. [Google Scholar] [CrossRef] [Green Version]
  42. He, X.J.; Zeng, J.C.; Jie, J. Artificial neural network weights optimization design based on MEC algorithm. In Proceedings of the 2004 International Conference on Machine Learning and Cybernetics (IEEE Cat. No. 04EX826), Shanghai, China, 26–29 August 2004; Volume 6, pp. 3361–3364. [Google Scholar]
  43. Lari, S. Assessment of Geometrical Features of Internal Flaws with Artificial Neural Network Optimized by a Thermodynamic Equilibrium Algorithm. Master’s Thesis, University of Waterloo, Waterloo, ON, USA, 2020. [Google Scholar]
  44. Marquet, F.; Pernot, M.; Aubry, J.F.; Montaldo, G.; Marsac, L.; Tanter, M.; Fink, M. Non-invasive transcranial ultrasound therapy based on a 3D CT scan: Protocol validation and in vitro results. Phys. Med. Biol. 2009, 54, 2597. [Google Scholar] [CrossRef] [PubMed]
  45. Huijssen, J.; Verweij, M.D. An iterative method for the computation of nonlinear, wide-angle, pulsed acoustic fields of medical diagnostic transducers. J. Acoust. Soc. Am. 2010, 127, 33–44. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  46. Treeby, B.E.; Jaros, J.; Rendell, A.P.; Cox, B. Modeling nonlinear ultrasound propagation in heterogeneous media with power law absorption using ak-space pseudospectral method. J. Acoust. Soc. Am. 2012, 131, 4324–4336. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  47. Vincenot, J.; Melodelima, D.; Chavrier, F.; Vignot, A.; Kocot, A.; Chapelon, J.Y. Electronic beam steering used with a toroidal HIFU transducer substantially increases the coagulated volume. Ultrasound Med. Biol. 2013, 39, 1241–1254. [Google Scholar] [CrossRef]
  48. Dillon, C.; Vyas, U.; Payne, A.; Christensen, D.; Roemer, R. An analytical solution for improved HIFU SAR estimation. Phys. Med. Biol. 2012, 57, 4527. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  49. Jenne, J.W.; Preusser, T.; Günther, M. High-intensity focused ultrasound: Principles, therapy guidance, simulations and applications. Z. FÜR Med. Phys. 2012, 22, 311–322. [Google Scholar] [CrossRef] [PubMed]
  50. Ye, G.; Smith, P.P.; Noble, J.A. Model-based ultrasound temperature visualization during and following HIFU exposure. Ultrasound Med. Biol. 2010, 36, 234–249. [Google Scholar] [CrossRef] [PubMed]
  51. Pennes, H.H. Analysis of tissue and arterial blood temperatures in the resting human forearm. J. Appl. Physiol. 1948, 1, 93–122. [Google Scholar] [CrossRef]
  52. Sapareto, S.A.; Dewey, W.C. Thermal dose determination in cancer therapy. Int. J. Radiat. Oncol. Biol. Phys. 1984, 10, 787–800. [Google Scholar] [CrossRef]
  53. Soneson, J.E. A user-friendly software package for HIFU simulation. In Proceedings of the AIP Conference Proceedings on Therapeutic Ultrasound, Minneapolis, MN, USA, 10–13 September 2008; American Institute of Physics: College Park, MD, USA, 2008; Volume 1113, pp. 165–169. [Google Scholar]
  54. Back, T. Evolutionary Algorithms in Theory and Practice: Evolution Strategies, Evolutionary Programming, Genetic Algorithms; Oxford University Press: Oxford, UK, 1995. [Google Scholar]
  55. Massey, J.; Geyik, C.; Techachainiran, N.; Hsu, C.; Nguyen, R.; Latson, T.; Ball, M.; Celik, E.; Yilmaz, A. AustinMan and AustinWoman: High fidelity, reproducible, and open-source electromagnetic voxel models. In Proceedings of the the 34th Annual Meeting of the Bioelectromagnetics Society, Brisbane, Australia, 7–12 June 2012. [Google Scholar]
  56. Hasgall, P.; Di Gennaro, F.; Baumgartner, C.; Neufeld, E.; Gosselin, M.; Payne, D.; Klingenböck, A.; Kuster, N. IT’IS Database for Thermal and Electromagnetic Parameters of Biological Tissues, Version 3.0; M Gosselin: New York, NY, USA, 2015. [Google Scholar]
  57. Chongqing Haifu Medical Technology Co. Available online: http://www.haifumedical.com/ (accessed on 1 June 2022).
Figure 1. Flowchart of thermodynamic equilibrium algorithm for optimization.
Figure 1. Flowchart of thermodynamic equilibrium algorithm for optimization.
Algorithms 15 00399 g001
Figure 2. Initial thermodynamic state of the coupled systems.
Figure 2. Initial thermodynamic state of the coupled systems.
Algorithms 15 00399 g002
Figure 3. Equilibrium state of the coupled thermodynamic systems.
Figure 3. Equilibrium state of the coupled thermodynamic systems.
Algorithms 15 00399 g003
Figure 4. Visualization of the focal region generated by a bowl HIFU transducer and its variation with distance.
Figure 4. Visualization of the focal region generated by a bowl HIFU transducer and its variation with distance.
Algorithms 15 00399 g004
Figure 5. The temperature variation at the focus center during a sonication with t o n = 3 s and t o f f = 7 s.
Figure 5. The temperature variation at the focus center during a sonication with t o n = 3 s and t o f f = 7 s.
Algorithms 15 00399 g005
Figure 6. Heat distribution along the main focus axis during a sonication with t o n = 3 s and t o f f = 10 s at time t = 3 s, 4 s, 6 s, 8 s, 10 s.
Figure 6. Heat distribution along the main focus axis during a sonication with t o n = 3 s and t o f f = 10 s at time t = 3 s, 4 s, 6 s, 8 s, 10 s.
Algorithms 15 00399 g006
Figure 7. 3D plot of f 1 (Ackley’s function).
Figure 7. 3D plot of f 1 (Ackley’s function).
Algorithms 15 00399 g007
Figure 8. (a) Initial systems, (b) systems at iteration 17, (c) systems at iteration 34, and (d) systems at final iteration.
Figure 8. (a) Initial systems, (b) systems at iteration 17, (c) systems at iteration 34, and (d) systems at final iteration.
Algorithms 15 00399 g008
Figure 9. Minimum costs of TEA, GA, and PSO versus iteration are compared: (a) f 1 , (b) f 2 , and (c) f 3 (convergence speed).
Figure 9. Minimum costs of TEA, GA, and PSO versus iteration are compared: (a) f 1 , (b) f 2 , and (c) f 3 (convergence speed).
Algorithms 15 00399 g009
Figure 10. Segmented AustinWoman data with marked target area.
Figure 10. Segmented AustinWoman data with marked target area.
Algorithms 15 00399 g010
Figure 11. Histogram of the best fitness values from 15 independent runs as a function of the number of systems and the number of sonications.
Figure 11. Histogram of the best fitness values from 15 independent runs as a function of the number of systems and the number of sonications.
Algorithms 15 00399 g011
Figure 12. Number of evaluations to reach convergence for various numbers of sonications and systems.
Figure 12. Number of evaluations to reach convergence for various numbers of sonications and systems.
Algorithms 15 00399 g012
Figure 13. Typical progress of the equilibrium for 8 sonications with 20 systems.
Figure 13. Typical progress of the equilibrium for 8 sonications with 20 systems.
Algorithms 15 00399 g013
Figure 14. Visualization of a perfect treatment plan composed of 4 sonications.
Figure 14. Visualization of a perfect treatment plan composed of 4 sonications.
Algorithms 15 00399 g014
Figure 15. Comparison of the numerical simulation with the experimental treatment plan composed of 5 sonications.
Figure 15. Comparison of the numerical simulation with the experimental treatment plan composed of 5 sonications.
Algorithms 15 00399 g015
Table 1. Details of the functions [54].
Table 1. Details of the functions [54].
Function Name3D PlotFunction FormulaMinimum ValueSearch DomainOptimum Value of the Cost Function
GATEA
Ackley’s
function
Algorithms 15 00399 i001 f 1 ( x , y ) =
20 e x p ( 0.2 ( 0.5 ( x 2 + y 2 ) ) )
e x p ( 0.5 ( c o s ( 2 π x ) +
c o s ( 2 π y ) ) ) + e + 20
f 1 ( 0 , 0 ) = 0 5 < x , y < 5 3.9096 × 10 3 0
Sphere
function
Algorithms 15 00399 i002 f 2 ( x , y ) = x 2 + y 2 f 2 ( 0 , 0 ) = 0 < x , y < 2.5002 × 10 3 0
Rosenbrock
function
Algorithms 15 00399 i003
f 3 ( x , y ) = 100 ( y x 2 ) 2 + ( x 1 ) 2
f 3 ( 1 , 1 ) = 0 < x , y < 2.8738 0
Beale’s
function
Algorithms 15 00399 i004 f 4 ( x , y ) = ( 1.5 x + x y ) 2 + ( 2.25 x + x y 2 ) 2 + ( 2.625 x + x y 3 ) 2 f 4 ( 3 , 0.5 ) = 0 4.5 < x , y < 4.5 5.2628 × 10 1 0
Goldstein-Price
function
Algorithms 15 00399 i005 f 5 ( x , y ) = ( 1 + ( x + y + 1 ) 2 ( 19 14 x + 3 x 2 14 y + 6 x y + 3 y 2 ) ) ( 30 + ( 2 x 3 y ) 2 ( 18 32 x + 12 x 2 + 48 y 36 x y + 27 y 2 ) ) f 5 ( 0 , 1 ) = 108 2 < x , y < 2 111.0029 108.1436
Booth’s
function
Algorithms 15 00399 i006 f 6 ( x , y ) = ( x + 2 y 7 ) 2 + ( 2 x + y 5 ) 2 f 6 ( 1 , 3 ) = 0 10 < x , y < 10 7.6235 × 10 4 0
Matyas’s
function
Algorithms 15 00399 i007 f 7 ( x , y ) = 0.26 ( x 2 + y 2 ) 0.48 x y f 7 ( 0 , 0 ) = 0 10 < x , y < 10 2.3056 × 10 5 0
Lévi
function
Algorithms 15 00399 i008 f 8 ( x , y ) = s i n 2 ( 3 π x ) + ( x 1 ) 2 ( 1 + s i n 2 ( 3 π y ) ) + ( y 1 ) 2 ( 1 + s i n 2 ( 2 π y ) ) f 8 ( 1 , 1 ) = 0 10 < x , y < 10 3.3600 × 10 4 1.3498 × 10 31
Three-hump
camel
function
Algorithms 15 00399 i009 f 9 ( x , y ) = 2 x 2 1.05 x 4 + x 6 6 + x y + y 2 f 9 ( 0 , 0 ) = 0 5 < x , y < 5 8.1648 × 10 6 0
Cross-in-tray
function
Algorithms 15 00399 i010 f 10 ( x , y ) = 0.0001 ( | s i n ( x ) s i n ( y ) e x p ( | 100 x 2 + y 2 π | ) | + 1 ) 0.1 f 10 ( 1.6494 , 1.3494 ) = 2.0626 10 < x , y < 10 2.0626 2.0626
Eggholder
function
Algorithms 15 00399 i011 f 11 ( x , y ) = ( y + 47 ) s i n ( | y + x 2 + 47 | ) x s i n ( | x ( y + 47 ) | ) f 11 ( 512 , 404.2319 ) = 959.6407 512 < x , y < 512 8.0351 × 10 2 9.51 × 10 2
Rastrigin
function
Algorithms 15 00399 i012 f 12 ( x , y ) = 20 + x 2 10 c o s ( 2 π x ) + y 2 10 c o s ( 2 π y ) ) f 12 ( 0 , 0 ) = 0 5.12 < x , y < 5.12 7.17 × 10 8 0
Bukin
function
Algorithms 15 00399 i013 f 13 ( x , y ) = 100 | y 0.01 x 2 | + 0.01 | x + 10 | f 13 ( 10 , 1 ) = 0 15 < x < 5
3 < y < 3
0.1165 0.01119
Himmelblau’s
function
Algorithms 15 00399 i014 f 14 ( x , y ) = ( x 2 + y 11 ) 2 + ( x + y 2 7 ) 2 f 14 ( 3 , 2 ) = 0 5 < x , y < 5 8.55 × 10 9 0
Easom
function
Algorithms 15 00399 i015 f 15 ( x , y ) = c o s x c o s y e x p ( ( ( x π ) 2 + ( y π ) 2 ) ) f 15 ( π , π ) = 1 100 < x , y < 100 8.11 × 10 5 1
Holder table
function
Algorithms 15 00399 i016 f 16 ( x , y ) = | s i n x c o s y e x p ( | 1 x 2 + y 2 π | ) | f 16 ( 8.05502 , 9.66459 ) = 19.2085 10 < x , y < 10 19.2084 19.2085
McCormick
function
Algorithms 15 00399 i017 f 17 ( x , y ) = s i n ( x + y ) + ( x y ) 2 1.5 x + 2.5 y + 1 f 17 ( 0.54719
, 1.54719 ) =
1.9133
1.5 < x < 4 3 < y < 4 1.9132 1.9132
Schaffer
function N. 2
Algorithms 15 00399 i018 f 18 ( x , y ) = 0.5 + s i n 2 ( x 2 y 2 ) 0.5 [ 1 + 0.001 ( x 2 + y 2 ) ] 2 f 18 ( 0 , 0 ) = 0 100 < x , y < 100 0.0045 0.004139
Schaffer
function N. 4
Algorithms 15 00399 i019 f 19 ( x , y ) = 0.5 + c o s 2 [ s i n ( | x 2 y 2 | ) ] 0.5 [ 1 + 0.001 ( x 2 + y 2 ) ] 2 f 19 ( 0 , 1.25313 ) = 0.292579 100 < x , y < 100 0.3615 0.2535
Styblinski-Tang
function
Algorithms 15 00399 i020 f 20 ( x , y ) = x 4 16 x 2 + 5 x + y 4 16 y 2 + 5 y 2 f 20 ( 2.903534 , 2.903534 ) = 78.33233 5 < x , y < 5 78.0297 78.2461
Table 2. Details of the functions [54].
Table 2. Details of the functions [54].
Function Name3D PlotFunction FormulaMinimum ValueSearch DomainOptimum Value of the Cost Function
GATEA
Rosenbrock function
constrained with a
cubic and a line
Algorithms 15 00399 i021 f 21 ( x , y ) = 100 ( y x 2 ) 2 + ( x 1 ) 2 subjected   to :   ( x 1 ) 3 y + 1 0 and   x + y 2 0 f 21 ( 1 , 1 ) = 0 1.5 < x < 1.5
0.5 < y < 2.5
3.4817 0
Rosenbrock function
constrained to a disk
Algorithms 15 00399 i022 f 22 ( x , y ) = 100 ( y x 2 ) 2 + ( x 1 ) 2 subjected   to :   x 2 + y 2 2 f 22 ( 1 , 1 ) = 0 1.5 < x , y < 1.5 2.8727 0
Mishra’s Bird
function-
constrained
Algorithms 15 00399 i023 f 23 ( x , y ) = s i n y e x p [ ( 1 c o s x ) 2 ] + c o s x e x p [ ( 1 s i n y ) 2 ] + ( x y ) 2 subjected   to :   ( x + 5 ) 2 + ( y + 5 ) 2 < 25 f 23 ( 3.1302468 , 1.5821422 ) = 106.7645367 10 < x < 0
6.5 < y < 0
106.7645 106.7645
Townsend functionAlgorithms 15 00399 i024 f 24 ( x , y ) = c o s 2 ( ( x 0.1 ) y ) x s i n ( 3 x + y ) subjected   to :   x 2 + y 2 < [ 2 c o s t 1 2 c o s 2 t 1 4 c o s 3 t 1 8 c o s 4 t ] 2 + [ 2 s i n t ] 2 where :   r = A t a n 2 ( x , y ) f 24 ( 2.0052938 , 1.1944509 ) = 2.0239884 2.25 < x < 2.5
2.5 < y < 1.75
1.1486 2.0195
Simionescu functionAlgorithms 15 00399 i025 f 25 ( x , y ) = 0.1 x y subjected   to :   x 2 + y 2 [ 1 + 0.2 c o s ( 8 t a n 1 x y ) ] 2 f 25 ( 0.84852813 , 0.84852813 ) = 0.072 1.25 < x , y < 1.25 0.01562 0.0717
Table 3. Median percentage of non-treated/mistreated area from 15 independent runs as a function of the number of systems N and the number of sonications.
Table 3. Median percentage of non-treated/mistreated area from 15 independent runs as a function of the number of systems N and the number of sonications.
Number of SystemsNumber of Sonications
N456810
100.027/0.090.018/0.0540.018/0.0360/00/0
200/0.0990/0.0810/0.0090/00/0
300/0.0810/00/00/00/0
Table 4. Average percentage of non-treated/mistreated area from 15 independent runs as a function of the number of systems N and the number of sonications.
Table 4. Average percentage of non-treated/mistreated area from 15 independent runs as a function of the number of systems N and the number of sonications.
Number of SystemsNumber of Sonications
N456810
100.09/0.090.027/0.0450.045/0.0450/0.0180/0.009
200.036/0.090.009/0.0720/0.0360/0.0090/0.009
300.036/0.0630/0.0270/0.0270/0.0090.018/0
Table 5. Median of the execution time of the Matlab implementation running on a 16-core node computer measured over 15 runs as a function of the number of systems N and the number of sonications.
Table 5. Median of the execution time of the Matlab implementation running on a 16-core node computer measured over 15 runs as a function of the number of systems N and the number of sonications.
Number of Sonications
N456810
1010 h14.42 h18.08 h21.4 h28.46 h
2013.68 h17.42 h25.26 h25.43 h29 h
3023.22 h28.6 h38.8 h30.48 h42.26 h
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Lari, S.; Han, S.W.; Kim, J.U.; Kwon, H.J. Design of HIFU Treatment Plans Using Thermodynamic Equilibrium Algorithm. Algorithms 2022, 15, 399. https://doi.org/10.3390/a15110399

AMA Style

Lari S, Han SW, Kim JU, Kwon HJ. Design of HIFU Treatment Plans Using Thermodynamic Equilibrium Algorithm. Algorithms. 2022; 15(11):399. https://doi.org/10.3390/a15110399

Chicago/Turabian Style

Lari, Salman, Sang Wook Han, Jong Uk Kim, and Hyock Ju Kwon. 2022. "Design of HIFU Treatment Plans Using Thermodynamic Equilibrium Algorithm" Algorithms 15, no. 11: 399. https://doi.org/10.3390/a15110399

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop