• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.14 no.6
• /
• pp.47-56
• /
• 2004

Automatic code generating function for security protocol of SPEAR II and IFAD VDM-SL Toolbox supporting formal specification is presented in this paper. Among the functions of these tools we compare and analyze the aspects of functions, users, operation and code generation. And we suggest direction to the developing of safe security S/W. The automatic code generating function for security protocol gives the direction for developing of the safe secure software in formal specification method.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2020.06a
• /
• pp.50-51
• /
• 2020

Recently, construction projects are gradually becoming high-rise and large-scale, and furthermore, the use of new buildings is emerging through the deepening of the underground. In this situation, a lot of fire damage has occurred in recent years, mainly in buildings and tunnel structures. In particular, damages caused by fires during large-scale construction projects such as freezing warehouse accidents are increasing. In this situation, in Korea, it is still trying to secure safety from human fire through the administrative system divided into the building law and the fire law, but it is being developed in a negative direction rather than a positive direction. The fire risk is getting bigger even when the road is not maintained. In this current situation, it is considered that the development of a Korean integrated life safety code centering on the consciousness base of Koreans will be necessary, and in particular, the ease of revision will also be needed by promoting the integrated safety code rather than current laws and regulations. This is a summary of the future tasks.

• Journal of Information Processing Systems
• /
• v.17 no.3
• /
• pp.537-555
• /
• 2021

Many researchers have carried out studies related to programming languages since the beginning of computer science. Besides programming with traditional programming languages (i.e., procedural, object-oriented, functional programming language, etc.), a new paradigm of programming is being carried out. It is programming with natural language. By programming with natural language, we expect that it will free our expressiveness in contrast to programming languages which have strong constraints in syntax. This paper surveys the approaches that generate source code automatically from a natural language description. We also categorize the approaches by their forms of input and output. Finally, we analyze the current trend of approaches and suggest the future direction of this research domain to improve automatic code generation with natural language. From the analysis, we state that researchers should work on customizing language models in the domain of source code and explore better representations of source code such as embedding techniques and pre-trained models which have been proved to work well on natural language processing tasks.

• Proceedings of the KIEE Conference
• /
• 1988.07a
• /
• pp.628-631
• /
• 1988

This paper describes a fingerprint classification on the basis of feature points(whorl, core) and feature vector and uses a syntactic approach to identify the shape of flow line around the core. Fingerprint image is divided into 8 by 8 subregions and fingerprint region is separated from background. For each subregion of fingerprint region, the dominant ridge direction is obtained to use the slit window quantized in 8 direction and relaxation is performed to correct ridge direction code. Feature points(whorl, core, delta) are found from the ridge direction code. First classification procedure divides the types of fingerprint into 4 class based on whorl and cores. The shape of flow line around the core is obtained by tracing for the fingerprint which has one core or two core and is represented as string. If the string is acceptable by LR(1) parser, feature vector is obtained from feature points(whorl, core, delta) and the shape of flow line around the core. Feature vector is used hierarchically and linearly to classify fingerprint again. The experiment resulted in 97.3 percentages of sucessful classification for 71 fingerprint impressions.

• Magazine of the Korea Concrete Institute
• /
• v.12 no.6
• /
• pp.82-88
• /
• 2000

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.36 no.3
• /
• pp.375-384
• /
• 2016

In the current Korea highway bridge design code (KHBDC), the criteria of concrete bridge decks are mainly based on short span decks of steel plate girder bridge, there are very little the specific criteria of long span decks in the twin steel plate girder bridge. Therefore, to put more rational and practical design criteria of the long span decks on the code, the complements of the related criteria are required in the current design code. This paper proposed the design bending moments of decks with 6.0~12.0m span for KL-510 load in direction to bridge (longitudinal direction) and perpendicular direction to bridge (transverse direction). The effects of orthotropic concrete decks, stiffness of steel girders and multiple lane loading factors (MLLF) were reflected in the design bending moments. The proposed design bending moments were compared to the design bending moments with DB-24 load.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.9
• /
• pp.3221-3242
• /
• 2021

The purpose of the study is to examine the current study trend of 'QR code' and suggest a direction for the future study of big data analysis: (1) Background: study trend of 'QR code' and analysis of the text by subject field and year; (2) Methodology: data scraping and collection, EXCEL summary, and preprocess and big data analysis by R x 64 4.0.2 program package; (3) the findings: first, the trend showed a continuous increase in 'QR code' studies in general and the findings were applied in various fields. Second, the analysis of frequent keywords showed somewhat different results by subject field and year, but the overall results were similar. Third, the visualization of the frequent keywords also showed similar results as that of frequent keyword analysis; and (4) the conclusions: in general, 'QR code' studies are used in various fields, and the trend is likely to increase in the future as well. And the findings of this study are a reflection that 'QR code' is an aspect of our social and cultural phenomena, so that it is necessary to think that 'QR code' is a tool and an application of information. An expansion of the scope of the analysis is expected to show us more meaningful indications on 'QR code' study trends and development potential.

• Nuclear Engineering and Technology
• /
• v.55 no.1
• /
• pp.131-143
• /
• 2023

Constitutive equations in a nuclear reactor safety analysis code are mostly empirical correlations developed from experiments, which always accompany uncertainties. The accuracy of the code can be improved by modifying the constitutive equations fitting wider range of data with less uncertainty. Thus, the sensitivity of the code with respect to the constitutive equations is evaluated quantitatively in the paper to understand the room for improvement of the code. A new methodology is proposed which first starts by dividing the thermal hydraulic conditions into multiple sub-regimes using self-organizing map (SOM) clustering method. The sensitivity analysis is then conducted by multiplying an arbitrary set of coefficients to the constitutive equations for each sub-divided thermal-hydraulic regime with SOM to observe how the code accuracy varies. The randomly chosen multiplier coefficient represents the uncertainty of the constitutive equations. Furthermore, the set with the smallest error with the selected experimental data can be obtained and can provide insight which direction should the constitutive equations be modified to improve the code accuracy. The newly proposed method is applied to a steady-state experiment and a transient experiment to illustrate how the method can provide insight to the code developer.

• The KIPS Transactions:PartD
• /
• v.10D no.7
• /
• pp.1171-1176
• /
• 2003

In this paper, we propose an effective bar code detection algorithm using the feature analysis and the labeling. After computing the direction of pixels using four line operators, we obtain the histogram about the direction of pixels by a block unit. We calculate the difference between the maximum value and the minimum value of the histogram and consider the block that have the largest difference value as the block of the bar code region. We get the line passing by the bar code region with the selected block but detect blocks of interest to get the more accurate line. The largest difference value is used to decide the threshold value to obtain the binary image. After obtaining a binary image, we do the labeling about the binary image. Therefore, we find blocks of interest in the bar code region. We calculate the gradient and the center of the bar code with blocks of interest, and then get the line passing by the bar code and detect the bar code. As we obtain the gray level of the line passing by the bar code, we grasp the information of the bar code.

• Wind and Structures
• /
• v.1 no.2
• /
• pp.183-199
• /
• 1998

This paper discusses some of the findings arising from long-term monitoring of the wind effects on a transmission tower located on an exposed site in South-West England. Site wind speeds have been measured, together with the foundation loads at the base of each of the four legs. The results show good correlation between the wind speeds and leg strains (loads) for a given wind direction, as expected, for wind speeds in excess of 10 m/s. Comparisons between the measured strains and those determined from the UK Code of Practice for lattice towers (BS8100), for the same wind speed and direction, show that the Code over-estimates most of the measured foundation loads by a moderate amount of about 14% at the higher wind speeds. This tends to confirm the validity of the Code for assessing design foundation loads. A finite element analysis model has been used to examine the dynamic behaviour of the tower and conductor system. This shows that, in the absence of the conductor, the tower alone has similar natural frequencies of approximately 2.2 Hz in the both the first (transversal) and second (longitudinal) modes, whilst for the complete system and conductor oscillations dominate, giving similar frequencies of approximately 0.1 Hz for both the first and second modes.