• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.

• Proceedings of the KSR Conference
• /
• 2011.10a
• /
• pp.1246-1250
• /
• 2011

This paper considers the container storage problem determining storage position of inbound containers in a container yard at a rail freight terminal. The objective of the problem is to minimize the total number of rehandles when storing/retrieving containers onto/from stacks in the yard. Rehandle implies the temporary removal from and placement back onto the stack to retrieval a target container. In order to solve the problem, we formulate the problem as a binary integer program.

• Proceedings of the KIEE Conference
• /
• 1998.07g
• /
• pp.2272-2274
• /
• 1998

This paper presents recognition and classification of high impedance fault(HIF) patterns in the electrical power systems based on chaotic features. Chaotic features are obtained from two dimensional chaos attractors reconstructed from fault current waveform. The RBFN is trained with the two types of HIF data generated by the electromagnetic transient program and measured from actual faults. The RBFN successfully classifies normal and the three types of fault patterns based on the binary chaotic features.

• Nuclear Engineering and Technology
• /
• v.55 no.4
• /
• pp.1287-1299
• /
• 2023

A new Monte-Carlo-based computer program (RDS-BASIC) is developed to simulate the transport of energetic ions in pure matter. This computer program is utilizing an algorithm that uses detailed numerical solutions for the classical scattering integral for evaluating the outcomes of the binary collision processes. This approach is adopted by several prominent similar simulation programs and is known to provide results with higher accuracy compared to other approaches that use approximations to shorten the simulation time. Furthermore, RDS-BASIC simulation program contains special methods to reduce the displacement energy threshold of surface atoms. This implementation is found essential for accurate simulation results for sputtering yield in the case of very low energy ions irradiation (near sputtering energy threshold) and also successfully solve the problem of simultaneously obtaining an acceptable number of atomic displacements per incident ions. Results of our simulation for several irradiation systems are presented and compared with their respective TRIM (SRIM-2013) and the state-of-the-art SDTrimSP simulation results. Our sputtering simulation results were also compared with available experimental data. The simulation execution time for these different simulation programs has also been compared.

• Proceedings of the KIEE Conference
• /
• 2007.11b
• /
• pp.199-201
• /
• 2007

This paper presents new contingency screen and ranking method using the time-domain simulation program and energy function. Since the suggested method is very simple and has fast computation time to calculate energy margin and list the contingency according to the its severity, it can be used in connection with the on-line TSA which has accurate binary search algorithm in parallel or distributed computing environment. The suggested method has been tested by appling to 3-machine and 9-bus system, and its effectiveness has been verified.

• Communications for Statistical Applications and Methods
• /
• v.21 no.5
• /
• pp.387-393
• /
• 2014

Recurrent gap times are analyzed with diverse methods under several assumptions such as a marginal model or a frailty model. Several resampling techniques have been recently suggested to estimate the covariate effect; however, these approaches can be applied with a time-fixed covariate. According to simulation results, these methods result in biased estimates for a time-varying covariate which is often observed in a longitudinal study. In this paper, we extend a resampling method by incorporating new weights and sampling scheme. Simulation studies are performed to compare the suggested method with previous resampling methods. The proposed method is applied to estimate the effect of an educational program on traffic conviction data where a program participation occurs in the middle of the study.

• The Bulletin of The Korean Astronomical Society
• /
• v.45 no.1
• /
• pp.36.3-37
• /
• 2020

Recent observation of the neutron star merger event, GW170817, through both gravitational wave (GW) and electromagnetic wave (EM) observations opened a new way of exploring the universe, namely, multi-messenger astronomy (MMA). One of the keys to the success of MMA is a rapid identification of EM counterpart. We will introduce GW follow-up observation project in Korea for hunting GW EM counterpart rapidly and its strategy for prioritization of GW source host galaxy candidates. Our method relies on recent simulation results regarding plausible properties of GW source host galaxies and the low latency localization map from LIGO/Virgo. We will show a test result for both binary neutron star merger events using previous event and describe observing strategy with our facilities for GW events during the ongoing LIGO/Virgo O3 run. Finally, we report the results of optical/NIR follow-up observation of GW190425, the first neutron.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1297-1307
• /
• 1997

This paper presents a multimedia mail system which transmit and redeive multimedia mailing messges on Intemet.This mail system is an extension of the exsting e-mail system for multimedia uncluding,text,image,MPEG video,and binary data,The MIME(Multipurpose Intert Mail Extensions)format,which is an extension of REF-822 maill format,is used to reprssent multimedia,and SMTP(Simple Mail Transfer Protocol)is utilized as a mail transport prttocol.The IMAP(Intenet Mail Access Protcol)which privides more functions than the widely used POP(Post Office Protocol)is used as a mailbox retrival protocol.The mail client is complemented on a multimedia PC while the server is implemented on a UNIX system.In the mail system, a mail sending program allows a user to attach binary files such as Postscript files and MPEG compressed video,while a receiving program provides direct interface to application programs to play back received multimedia mail messages.

• Journal of the Korean Chemical Society
• /
• v.51 no.1
• /
• pp.21-30
• /
• 2007

A multiwavelength spectrophotometric titration method was applied to study protolytic constants of four water-soluble vitamins, folic acid(vitamin B9 or B0), thiamine(vitamin B1), riboflavin(vitamin B2) and pyridoxal (vitamin B6) in binary ethanol-water mixtures at 25oC and an ionic strength of 0.1M NaNO3. The protolytic equilibrium constants, spectral profiles, concentration diagrams and also the number of components has been calculated from the curve fitting of the pH-absorbance data with appropriate mass balance equations by an established factor analysis model. DATAN program was used for determination of acidity constant and SPECFIT program was used for calculation of standard deviations and partial correlation coefficients. A glass electrode calibration procedure based on the four parameter equation pH=α+SpcH+JH+[H+]+ JOH-Kw/[H+] based on the Gran,s plots was used to obtain pH-readings in the concentration scale (pcH). The effect of the solvent on the protolytic constants was discussed.

• Journal of Convergence for Information Technology
• /
• v.10 no.3
• /
• pp.141-150
• /
• 2020

This study examined the experience of cosmetic surgery and its related factors in order to establish the correct values for female college students' appearance. Data were collected from 283 female college students in Gyeonggi, Chungcheong, and Jeolla-do provinces, and analyzed by Chi-square test, T-test and Binary logistic regression using SPSS 18.0 program. As a result, the experience rate of cosmetic surgery was 66.1%, and the experience of cosmetic surgery was high as the grade was increased. The most common source of information was 'family and people around' at 45.9%, and the cosmetic surgery type 'eye surgery' was the highest at 25.8%. Appearance of interest and cosmetic surgery recognition were higher than those who had no cosmetic surgery experience. Factors related to cosmetic surgery experience were grade, allowance, and appearance interest. It is necessary to prepare basic data on cosmetic information and to develop a program to establish proper beauty values, and education and counseling to make rational decisions about cosmetic surgery will be required.