Showing 1–8 of 8 results for author: Heo, K

Folding potential with modern nuclear density functionals and application to 16O+208Pb reaction

Authors: Kyoungsu Heo, Hana Gil, Ki-Seok Choi, K. S. Kim, Chang Ho Hyun, W. Y. So

Abstract: Double folding potential is constructed using the M3Y interaction and the matter densities of the projectile and target nuclei obtained from four microscopic energy density functional (EDF) models. The elastic scattering cross sections for the 16O+208Pb system are calculated using the optical model with the double folding potentials of the four EDF models. We focus on the correlation between the m… ▽ More Double folding potential is constructed using the M3Y interaction and the matter densities of the projectile and target nuclei obtained from four microscopic energy density functional (EDF) models. The elastic scattering cross sections for the 16O+208Pb system are calculated using the optical model with the double folding potentials of the four EDF models. We focus on the correlation between the matter densities and the behavior the double folding potential and the elastic scattering cross sections. First, the matter and charge densities are examined by comparing the results of the four EDF models. There is a slight difference in the density in the internal region, but it is negligible in the outer region. Next, we calculate the double folding potential with the matter densities obtained from the four EDF models. Differences between the models are negligible in the outer region, but the potential depth in the internal region shows model dependence, which can be understood from the behavior of matter densities in the internal region. Another point is that the double folding potential is shown to be weakly dependent on the incident energy. Finally, the elastic scattering cross sections have no significant model dependence except for the slight difference in the backward angle. △ Less

Submitted 14 January, 2024; originally announced January 2024.

Comments: 17 pages, 13 figures

Suppression of the elastic scattering cross section for 17Ne + 208Pb system

Authors: Kyoungsu Heo, Myung-Ki Cheoun, Ki-Seok Choi, K. S. Kim, W. Y. So

Abstract: We investigated the elastic scattering, inelastic scattering, breakup reaction, and total fusion reactions of 17Ne + 208Pb system using the optical model (OM) and a coupled channel (CC) approaches. The aim of this study is to elucidate the suppress of the elastic cross-section that is invisible in proton-rich nuclei such as 8B and 17F projectiles but appears in neutron-rich nuclei such as 11Li and… ▽ More We investigated the elastic scattering, inelastic scattering, breakup reaction, and total fusion reactions of 17Ne + 208Pb system using the optical model (OM) and a coupled channel (CC) approaches. The aim of this study is to elucidate the suppress of the elastic cross-section that is invisible in proton-rich nuclei such as 8B and 17F projectiles but appears in neutron-rich nuclei such as 11Li and 11Be projectiles. The results revealed that this suppression was caused mainly by the nuclear interaction between the projectile and target nucleus rather than the strong Coulomb interaction observed in neutron-rich nuclei and the contributions of Coulomb excitation interaction due to two low-lying E2 resonance states are relatively small. From the simultaneous chi-square analysis of the 17Ne + 208Pb system, we can infer a strong suppression effect in the elastic scattering cross-section due to the nuclear interaction between the projectile and target nucleus, rather than the Coulomb interaction as observed in neutron-rich nuclei. Also, the contribution of the direct reaction, comprising the inelastic scattering and breakup reaction cross-sections, accounted for almost half of the total reaction. Finally, we perform the CC calculation using the parameters obtained from our OM calculation but our CC calculations could not explain the 15O production cross section. △ Less

Submitted 20 January, 2024; v1 submitted 17 September, 2023; originally announced September 2023.

Comments: 20 pages, 7 figures

On Correcting Errors in Existing Mathematical Approaches for UAV Trajectory Design Considering No-Fly-Zones

Authors: Kanghyun Heo, Gitae Park, Kisong Lee

Abstract: Motivated by the fact that current mathematical methods for the trajectory design of an unmanned aerial vehicle (UAV) considering no-fly-zones (NFZs) cannot perfectly avoid NFZs throughout the entire continuous trajectory, this study introduces a new constraint that ensures the complete avoidance of NFZs. Moreover, we provide mathematical proof demonstrating that a UAV operating within the propose… ▽ More Motivated by the fact that current mathematical methods for the trajectory design of an unmanned aerial vehicle (UAV) considering no-fly-zones (NFZs) cannot perfectly avoid NFZs throughout the entire continuous trajectory, this study introduces a new constraint that ensures the complete avoidance of NFZs. Moreover, we provide mathematical proof demonstrating that a UAV operating within the proposed constraints will never violate NFZs. Under the proposed constraint on NFZs, we aim to optimize the scheduling, transmit power, length of the time slot, and the trajectory of the UAV to maximize the minimum throughput among ground nodes without violating NFZs. To find the optimal UAV strategy from the non-convex optimization problem formulated here, we use various optimization techniques, in this case quadratic transform, successive convex approximation, and the block coordinate descent algorithm. Simulation results confirm that the proposed constraint prevents NFZs from being violated over the entire trajectory in any scenario. Furthermore, the proposed scheme shows significantly higher throughput than the baseline scheme using the traditional NFZ constraint by achieving a zero outage probability due to NFZ violations. △ Less

Submitted 11 August, 2023; originally announced August 2023.

Comments: 6 pages, 6 figures

Multi-view Cross-Modality MR Image Translation for Vestibular Schwannoma and Cochlea Segmentation

Authors: Bogyeong Kang, Hyeonyeong Nam, Ji-Wung Han, Keun-Soo Heo, Tae-Eui Kam

Abstract: In this work, we propose a multi-view image translation framework, which can translate contrast-enhanced T1 (ceT1) MR imaging to high-resolution T2 (hrT2) MR imaging for unsupervised vestibular schwannoma and cochlea segmentation. We adopt two image translation models in parallel that use a pixel-level consistent constraint and a patch-level contrastive constraint, respectively. Thereby, we can au… ▽ More In this work, we propose a multi-view image translation framework, which can translate contrast-enhanced T1 (ceT1) MR imaging to high-resolution T2 (hrT2) MR imaging for unsupervised vestibular schwannoma and cochlea segmentation. We adopt two image translation models in parallel that use a pixel-level consistent constraint and a patch-level contrastive constraint, respectively. Thereby, we can augment pseudo-hrT2 images reflecting different perspectives, which eventually lead to a high-performing segmentation model. Our experimental results on the CrossMoDA challenge show that the proposed method achieved enhanced performance on the vestibular schwannoma and cochlea segmentation. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Comments: 9 pages, 4 figures

Revisiting the Gamow Factor of Reactions on Light Nuclei

Authors: Eunseok Hwang, Heamin Ko, Kyoungsu Heo, Myung-Ki Cheoun, Dukjae Jang

Abstract: This study provides an improved understanding of the penetration probabilities (PPs) in nuclear reactions of light nuclei by correcting the assumptions used in the conventional Gamow factor. The Gamow factor effectively describes the PP in nuclear reactions based on two assumptions: low particle energy than the Coulomb barrier and neglecting the dependence of nuclear interaction potential. However… ▽ More This study provides an improved understanding of the penetration probabilities (PPs) in nuclear reactions of light nuclei by correcting the assumptions used in the conventional Gamow factor. The Gamow factor effectively describes the PP in nuclear reactions based on two assumptions: low particle energy than the Coulomb barrier and neglecting the dependence of nuclear interaction potential. However, we find that the assumptions are not valid for light nuclei. As a result of a calculation that excludes the assumptions, we obtain the PP that depends on the nuclear interaction potential depth for the light nuclei. For the potential depth fitted by the experimental fusion cross-section, we present that PPs of light nuclei (D+D, D+T, D+$^3$He, p+D, p+$^6$Li, and p+$^7$Li) become higher than the conventional one near the Coulomb barrier. We also discuss the implications of the modified PP, such as changes in the Gamow peak energy, which determine the measurement of the energy range of the nuclear cross-section in experiments, and the electron screening effect. △ Less

Submitted 22 February, 2023; v1 submitted 20 February, 2023; originally announced February 2023.

Journal ref: Astrophys. J. 955, 79 (2023)

Synthesizing Datalog Programs Using Numerical Relaxation

Authors: Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik

Abstract: The problem of learning logical rules from examples arises in diverse fields, including program synthesis, logic programming, and machine learning. Existing approaches either involve solving computationally difficult combinatorial problems, or performing parameter estimation in complex statistical models. In this paper, we present Difflog, a technique to extend the logic programming language Dat… ▽ More The problem of learning logical rules from examples arises in diverse fields, including program synthesis, logic programming, and machine learning. Existing approaches either involve solving computationally difficult combinatorial problems, or performing parameter estimation in complex statistical models. In this paper, we present Difflog, a technique to extend the logic programming language Datalog to the continuous setting. By attaching real-valued weights to individual rules of a Datalog program, we naturally associate numerical values with individual conclusions of the program. Analogous to the strategy of numerical relaxation in optimization problems, we can now first determine the rule weights which cause the best agreement between the training labels and the induced values of output tuples, and subsequently recover the classical discrete-valued target program from the continuous optimum. We evaluate Difflog on a suite of 34 benchmark problems from recent literature in knowledge discovery, formal verification, and database query-by-example, and demonstrate significant improvements in learning complex programs with recursive rules, invented predicates, and relations of arbitrary arity. △ Less

Submitted 25 June, 2019; v1 submitted 1 June, 2019; originally announced June 2019.

Comments: Per editor's instructions, this is only an early preprint of the paper which will be presented at IJCAI 2019

Extended optical model analyses of $^{11}$Be+$^{197}$Au with dynamic polarization potentials

Authors: Kyoungsu Heo, Myung-Ki Cheoun, Ki-Seok Choi, K. S. Kim, W. Y. So

Abstract: We discuss angular distributions of elastic, inelastic, and breakup cross sections for $^{11}$Be + $^{197}$Au system, which were measured at energies below and around Coulomb barrier. To this end, we employ Coulomb dipole excitation (CDE) and long-range nuclear (LRN) potential to take into account long range effects by halo nuclear system and break up effects by weakly-bound structure. We then a… ▽ More We discuss angular distributions of elastic, inelastic, and breakup cross sections for $^{11}$Be + $^{197}$Au system, which were measured at energies below and around Coulomb barrier. To this end, we employ Coulomb dipole excitation (CDE) and long-range nuclear (LRN) potential to take into account long range effects by halo nuclear system and break up effects by weakly-bound structure. We then analyze recent experimental data including 3-channes i.e. elastic, inelastic, and breakup cross sections, at $E_{\textrm{c.m.}}$=29.6 MeV and $E_{\text{c.m.}}$=37.1 MeV. From the extracted parameter sets using $χ^{2}$ analysis, we successfully reproduce the experimental angular distributions of the elastic, inelastic, and breakup cross sections for $^{11}$Be+$^{197}$Au system simultaneously. Also we discuss the necessity of LRN potential around Coulomb barrier from analyzed experimental data. △ Less

Submitted 23 November, 2018; originally announced November 2018.

Automatically generating features for learning program analysis heuristics

Authors: Kwonsoo Chae, Hakjoo Oh, Kihong Heo, Hongseok Yang

Abstract: We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been proposed, which mine existing codebases and automatically learn heuristics for finding a cost-effective abstraction for a given analysis task. Such approaches reduce the burden of the analysis designers, but they do not remove it c… ▽ More We present a technique for automatically generating features for data-driven program analyses. Recently data-driven approaches for building a program analysis have been proposed, which mine existing codebases and automatically learn heuristics for finding a cost-effective abstraction for a given analysis task. Such approaches reduce the burden of the analysis designers, but they do not remove it completely; they still leave the highly nontrivial task of designing so called features to the hands of the designers. Our technique automates this feature design process. The idea is to use programs as features after reducing and abstracting them. Our technique goes through selected program-query pairs in codebases, and it reduces and abstracts the program in each pair to a few lines of code, while ensuring that the analysis behaves similarly for the original and the new programs with respect to the query. Each reduced program serves as a boolean feature for program-query pairs. This feature evaluates to true for a given program-query pair when (as a program) it is included in the program part of the pair. We have implemented our approach for three real-world program analyses. Our experimental evaluation shows that these analyses with automatically-generated features perform comparably to those with manually crafted features. △ Less

Submitted 30 December, 2016; originally announced December 2016.