• Journal of KIISE
• /
• v.44 no.11
• /
• pp.1165-1177
• /
• 2017

Many developers utilize specific APIs to develop software, and to identify the use of a particular API, a developer can refer to a website that provides the API or can retrieve the API from the web. However, the site that provides the API does not necessarily provide guidance on how to use it while it can be partially provided in many other cases. In this paper, we propose a novel system JACE (Java AST collocation-pattern extractor) as a method to reuse commonly-used code as a supplement. The JACE extracts the API call nodes, collocation patterns and analyzes the relations between the collocations to extract significant API patterns from the source code. The following experiment was performed to verify the accuracy of a defined pattern: 794 open source projects were analyzed to extract about 15M API call nodes. Then, the Eclipse plug-in test program was utilized to retrieve the pattern using the top 10 classes of API call nodes. Finally, the code search results from reference pages of the API classes and the Searchcode [1] were compared with the test program results.

• Journal of the Korea Convergence Society
• /
• v.8 no.9
• /
• pp.31-39
• /
• 2017

The open source software is widely used nowadays so that means developing software without using open source software can hardly imagine. However, the developer's recognition about the license statements that defines the requirements in accordance with the use of open source is relatively low and a few study is associated with this topic. Therefore, this study examines the use of open source in software development in the context of EDISON project in the national research and development project. Furthermore, the study attempts to suggest the advanced model from simply avoiding license conflicts to constructing the open source project ecosystem including the choose of representative open source, the development of open source communities and contributor agreements.

• Journal of Software Engineering Society
• /
• v.28 no.1
• /
• pp.13-22
• /
• 2019

To enhance effective and efficient applications of automated security vulnerability checkers in highly competitive and fast-evolving IT industry, this paper studies a comprehensive set of security bug checkers in open-source static analysis frameworks and how they can be utilized for source code inspections according to the security vulnerability inspection guidelines by MOIS. This paper clarifies the relationship be tween all 42 inspection criteria in the MOIS guideline and total 323 security bug checkers in 4 popular open-source static analysis frameworks for Java web applications. Based on the result, this paper also discuss the current challenges and issues in the MOIS guideline, the comparison among the four security bug checker frameworks, and also the ideas to improve the security inspection methodologies using the MOIS guideline and open-source static security bug checkers.

• Nuclear Engineering and Technology
• /
• v.52 no.9
• /
• pp.1990-1997
• /
• 2020

To support the safe operation of the Miniature Neutron Source Reactor (MNSR), a thermo-hydraulic transient model using the RELAP5/Mod3.2 code was simulated. The model was verified by comparing the results with the measured and the previously calculated data. The comparisons consisted of comparing the MNSR parameters under normal constant power operation and reactivity insertion transients. Reactivity Insertion Accident (RIA) for three different initial reactivity values of 3.6, 6.0, and 6.53 mk have been simulated. The calculated peaks of the reactor power, fuel, clad and coolant temperatures in hot channel were calculated in this model. The reactor power peaks were: 103 kW at 240 s, 174 kW at 160 s and 195 kW at 140 s, respectively. The fuel temperature reached its maximum value of 116 ℃ at 240 s, 124 ℃ at 160 s and 126 ℃ at 140 s respectively. These calculation results ensured the high inherently safety features of the MNSR under all phases of the RIAs.

• 한국전산유체공학회:학술대회논문집
• /
• 2006.10a
• /
• pp.131-135
• /
• 2006

The aerodynamic characteristics of a T-50 aircraft configuration are investigated by a subsonic panel method. Panel methods are best applicable to the lifting surfaces such as wings and airfoils. Source and doublets are used in the present code as a basic singularities of the panel technique. The panel method is first assessed by applying it to several benchmark problems for which other solutions and experimental data are available, such as a swept wing and wing body configuration. The prediction results are compared with experimental data and show good agreement in all cases considered. Finally, the method is applied to a T-50 aircraft configuration and excellent agreement with flight test data in lift coefficients is found.

• Nuclear Engineering and Technology
• /
• v.52 no.2
• /
• pp.448-455
• /
• 2020

The H.B. Robinson Unit 2 (HBR-2) pressure vessel dosimetry benchmark is an in- and ex-Reactor Pressure Vessel (RPV) neutron dosimetry benchmark based on experimental data from the HBR-2 reactor, a 2300-MW PWR designed by Westinghouse and put in operation in March 1971, openly available through the SINBAD Database at OECD/NEA data Bank. The goals of the present work were to carry out three-dimensional (3D) fixed source transport calculations in both Cartesian (X,Y,Z) and cylindrical (R,θ,Z) geometries by using the TORT-3.2 discrete ordinates code on very detailed 3D HBR-2 geometrical models and to test the latest broad-group coupled (47 neutron groups + 20 photon groups) working cross section libraries in FIDO-ANISN format with same structure as BUGLE-96, such as BUGJEFF311.BOLIB, BUGENDF70.BOLIB and BUGLE-B7. The results obtained with all the cited libraries were satisfactory and are here reported and compared.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.7 no.2 s.17
• /
• pp.48-56
• /
• 2004

This paper presents the GPS receiver's inherent interference effectiveness based on the receiver's internal processing gain. This research is to verify the weakness of the GPS satellite signals and evaluate the receiver's vulnerability in an interference situation. The experiment for the narrow band interference effectiveness for the L1 C/A code GPS receiver has been performed by using the Spirent GSS4765 jamming simulator. After analyzing the experimental result, it is compared with the calculated J/S value of the two different L1 C/A code GPS receivers. By the above result, the narrowband jamming effectiveness of the each jamming source and the jamming margin for the each receiver are to be analyzed in detail. Finally, we could utilize the result to analyze the jamming effectiveness on the GNSS receiver.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.9 no.6
• /
• pp.9-18
• /
• 2000

This study includes noise automatic inspection system for washing machine auto-transmission one of modern home necessary. We effort to find and certificate sound noise source by sound power and sound intensity, and apply to frequency analysis in vibration related sound noise. still more we have been studying to data acquisition and programming for MS VisualBasic version 5.0. System component is below. 1) Pentium PC or data acquisition. 2) DSO for noise acquisition. 3)S/W for comparison and decision. 4) I/F Board for data communication. Wave form data through the DSO are converting to ASCII code data. The ASCII code through binary converting S/W. Finally we will making noise monitoring system and automatic inspection system.

• ETRI Journal
• /
• v.26 no.1
• /
• pp.13-20
• /
• 2004

We propose a new optical code division multiple access (OCDMA) scheme for reducing multiple access interference (MAI) and enhancing performance for optical subscriber access networks using modified pseudorandom noise (PN)-coded fiber Bragg gratings with bipolar OCDMA decoders. Through the bipolar OCDMA decoder and the modified PN codes, MAI among users is effectively depressed. As the data are encoded either by a unipolar signature sequence of the modified PN code or its complement according to whether the data bit is 1 or 0, the bit error ratio (BER) can be more improved with the same signal to interference plus noise ratio over the conventional on-off shift keying-based OCDMA system. We prove by numerical analysis that the BER of the proposed bipolar OCDMA system is better than the conventional unipolar OCDMA system. We also analyze the spectral power distortion effects of the broadband light source.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.