• East Asian mathematical journal
• /
• v.9 no.1
• /
• pp.211-217
• /
• 1993

• Kyungpook Mathematical Journal
• /
• v.33 no.1
• /
• pp.53-60
• /
• 1993

• Journal of KIISE
• /
• v.44 no.9
• /
• pp.986-991
• /
• 2017

In this paper, we present a method for synthesizing imperative programs from input-output examples. Given (1) a set of input-output examples, (2) an incomplete program, and (3) variables and integer constants to be used, the synthesizer outputs a complete program that satisfies all of the given examples. The basic synthesis algorithm enumerates all possible candidate programs until the solution program is found (enumerative search). However, it is too slow for practical use due to the huge search space. To accelerate the search speed, our approach uses code optimization and avoids unnecessary search for the programs that are syntactically different but semantically equivalent. We have evaluated our synthesis algorithm on 20 introductory programming problems, and the results show that our method improves the speed of the basic algorithm by 10x on average.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.37 no.3
• /
• pp.1-11
• /
• 2000

An example-based machine translation approach is a new paradigm for resolving various problems caused by the rules of conventional rule-based machine translation. But, in pure example-based machine translation, it is very hard to find similar examples matched with input sentences by using reasonable parallel corpus. This problem causes large overheads in the process of sentence generation. This paper proposes new method of English-Korean transfer using both patterns and examples. The patterns are composed of sentence patterns and phrase patterns. Meta parts of the patterns make the example-based machine translation more practical by raising the probability to find similar examples. The use of patterns and examples can reduce the ambiguities in source language analysis and give us a high quality of MT. And experimental results with a test corpus are discussed.

• Nuclear Engineering and Technology
• /
• v.52 no.7
• /
• pp.1429-1435
• /
• 2020

Applying an accurate parametric prediction model to identify abnormal or false pressurizer water levels (PWLs) is critical to the safe operation of marine pressurized water reactors (PWRs). Recently, deep-learning-based models have proved to be a powerful feature extractor to perform high-accuracy prediction. However, the effectiveness of models still suffers from two issues in PWL prediction: the correlations shifting over time between PWL and other feature parameters, and the example imbalance between fluctuation examples (minority) and stable examples (majority). To address these problems, we propose a cost-sensitive mechanism to facilitate the model to learn the feature representation of later examples and fluctuation examples. By weighting the standard mean square error loss with a cost-sensitive factor, we develop a Cost-Sensitive Long Short-Term Memory (CSLSTM) model to predict the PWL of PWRs. The overall performance of the CSLSTM is assessed by a variety of evaluation metrics with the experimental data collected from a marine PWR simulator. The comparisons with the Long Short-Term Memory (LSTM) model and the Support Vector Regression (SVR) model demonstrate the effectiveness of the CSLSTM.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.2
• /
• pp.459-478
• /
• 2013

Didactic transposition refers to an adaptive treatment of mathematical knowledge into knowledge to be taught. This study intends to investigate how mathematical knowledge was modified in mathematics textbooks and lessons. This study identified examples of didactic transposition in mathematics textbooks and lessons in Korea and those in the U.S., The examples identified were FOIL method, trigonometry using s, c, t in writing style, order of operations(PEMDAS), area of a circle and circumference, order of prefixes in the metric system, trigonometry(SOH, CAH, TOA), operations on integer, and regular polyhedra. These examples were classified into the two categories, one for mnemonics, and one for concreteness and intuitiveness. Then a survey was conducted for in-service teachers in Korea and those in the U.S. to evaluate the appropriateness and the necessity of didactic transposition. Lastly, the potential didactic phenomena, meta-cognitive shift which may occur with these examples were discussed.

• Korean Journal of Oriental Medicine
• /
• v.11 no.1
• /
• pp.1-18
• /
• 2005

As a result of study on the names of local medicinal herbs which described in Chobu (Chapter of Grass) of Korean medical book Bonchojeonghwa, we came to the following conclusions. 1) Compared with the existing domestic medical books' local medicinal herb names, those of Donguibogam had the closest relationship with Bonchojeonghwa. Out of local medicinal herb names described in Chobu of Bonchojeonghwa, a third is only shown in Bonchojeonghwa, and another third is same as those in Donguibogam. 2) The notation of local medicinal herb names in Bonchojeonghwa is not so consistent as Donguibogam. In Bonchojeonghwa, we can see many examples of inconsistent notations over the same thing. Moreover, there are some examples, which are suspected to be an expression of dialect. 3) In spite of close similarity between the names of local medicinal herbs in Bonchojeonghwa and Donguibogam, the author of Bonchojeonghwa doesn't seem to directly refer to or quote Donguibogam, because it doesn’t make sense that the author of Bonchojeonghwa intentionally referred to regular, consistent Donguibogam in irregular, inconsistent way. 4) In spite of very low possibility of direct reference or quotation among Bonchojeonghwa, Donguibogam and Bangyakhappyon, there are many examples of common format in its notation way on local medicinal herbs, which cannot be explained only as coincidence. And it tells us that there must be another publication which had been referred to or quoted by the said three medical books. 5) From the fact that there are a lot of examples of local medicinal herb names which doesn't show palatalization, or labialization, the names of local medicinal herbs described in Bonchojeonghwa must be the expression around 17th century.

• Coupled systems mechanics
• /
• v.9 no.2
• /
• pp.111-123
• /
• 2020

Wastewater treatment plants (WWTPs) with activated sludge system are widely used throughout the most common technologies in the world. Most treatment plants require optimization of certain treatment processes using dynamic modeling. A lot of examples of dynamic simulations require reliable data base of diurnal variation of the inflow and typical concentrations of parameters such as Chemical Oxygen Demand (COD), Total Kjeldahl Nitrogen (TKN), etc. Such detailed data are not available, which leads to problemsin the application of dynamic simulations. In many examples of plants, continuous flow measurements are only performed after the primary clarifier, whereas measurements from influent to the plant are missing, as is the case with the examples in this paper. In some cases, a simpler, faster and cheaper way can be applied to determine influent variations, such as the "HSG-Sim" method ("Hochschulgruppe Simulation"). "Hochschulgruppe Simulation" is a group of researchers from Germany, Austria, Switzerland, Luxembourg, Netherlands and Poland (see http://www.hsgsim.org). This paper presents a model for generating daily variations of inflow and concentration of municipal wastewater quality parameters, applied to several existing WWTPs in Bosnia and Herzegovina (B&H). The main goal of the applied method is to generate realistic influent data of the existing plants in B&H, in terms of flow and quality, without any prior comprehensive survey and measurements at the site. The examples of plants show the influence of overflow facilities on the dynamics of input flow and quality of wastewater, and a strong influence of the problems of the sewerage systems.

• Journal of Korean Elementary Science Education
• /
• v.40 no.2
• /
• pp.191-209
• /
• 2021

This study analyzed how characteristics of process-focused assessment are implemented in the distributed process-focused assessment examples in elementary school science education. To this end, through a review of previous studies, the analysis perspectives on the characteristics of the process-focused assessment were extracted into six categories. Using the analysis framework, it was described how process-focused assessment examples in elementary school science education developed by metropolitan office of education reflected the characteristics of process-focused assessment. As a result of the study, the characteristics of process-focused assessment were often formally reflected in sample materials. For example, there was a lack of skills on how to effectively integrate instruction and evaluation in practical terms. In many cases, feedback simply induced a recall of a learned concept or simply guides a related scientific concept. In some cases, the characteristics of process-focused assessment did not appear prominently in the sample materials. Also the developed sample materials were divided into the same type as the existing science and performance assessment questionnaire, a narrative·essay type, and a type similar to experimental workbook.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.32 no.5
• /
• pp.975-986
• /
• 2022

Deep learning is attracting great attention, showing excellent performance in image processing, but is vulnerable to adversarial attacks that cause the model to misclassify through perturbation on input data. Adversarial examples generated by adversarial attacks are minimally perturbated where it is difficult to identify, so visual features of the images are not generally changed. Unlikely deep learning models, people are not fooled by adversarial examples, because they classify the images based on such visual features of images. This paper proposes adversarial attack detection method using Symbolic Representation, which is a visual and symbolic features such as color, shape of the image. We detect a adversarial examples by comparing the converted Symbolic Representation from the classification results for the input image and Symbolic Representation extracted from the input images. As a result of measuring performance on adversarial examples by various attack method, detection rates differed depending on attack targets and methods, but was up to 99.02% for specific target attack.