• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1994.10a
• /
• pp.141-148
• /
• 1994

In order to improve the productivity of cold forging at low production cost, an integrated system's approach is necessary in handling the material preparation and the optimum process design, considering the forming machines, tooling, and operation including quality control. As the first step toward this approach, an expert system for multi-stage cold forging process design for fasteners with various head geometries is developed using Prolog language on IBM 486 PC. For effective representation of the complex part geometries, the system uses the multiple element input, and the forward inference scheme in determination of the initial billet size and intermediate forging steps. In order to determine intermediate steps, the basic empirical rules for extrusion, heading, and trimming were applied. The required forming loads and global strain distributions at each forging step were calculated and displayed on the PC monitor. The designed process sequence drawing can be obtained by AutoCAD. The developed system will be useful in reducing trial and error of design engineers in determining the diameter and height of the initial cylindrical billet from the final product geometry and the intermediate necessary sequences.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.35 no.9
• /
• pp.77-88
• /
• 2019

This study started with the aim of creating a parenting environment for raising children as a solution to the problem of low fertility. Communal housing is a type of housing where professional childcare environment and lives of family with children can be achieved in community space. It is an environment that supports the development of the child and life of family. However, there is no guidance system for planning such an environment. Therefore, this study aims to develop a pattern language for communal housing of families with children. The research method comes in two steps. First, the documents that provided pattern language and design guidelines about the environment of child and families with children were analyzed. Second, experts specialized in child education, women and family, environmental design were interviewed. As a result of analysis of characteristics of derived pattern language, convenience, safe feeling, comfortability in residential unit, movement, safe feeling, convenience in intermediate space convenience, safe feeling, control in community space were high. The pattern language of this study grafted the items that have proven to be important over a long period of time and the environmental design concepts for families with children in the community space. So it enabled differentiation from existing pattern language or design guidelines.

• Journal of Korean language education
• /
• v.28 no.4
• /
• pp.337-366
• /
• 2017

This study examines the acquisition of the multiple semantic functions of the Korean adverbial particle -ey by L1 American English learners of Korean as a second language at U.S. institutions. Participants at beginning, intermediate, and advanced proficiency levels (N = 45) were tested on the ability to interpret and produce five of the meanings of -ey, which they had been taught in formal classroom settings in the first semester of their Korean language learning. The results show different developmental trajectories for the particle's different semantic functions. The findings of a statistical analysis indicate that the beginning and intermediate proficiency learners had largely acquired the time, goal, and stative location meanings, but not the contact and unit meanings; the advanced learners demonstrated acquisition of all except for the unit meaning. The study suggests that in addition to factors such as semantic complexity and cross-linguistic influence, several other factors including L2 frequency, the availability of linguistic input, and instructional method also contribute to the acquisition of -ey.

• English Language & Literature Teaching
• /
• v.16 no.1
• /
• pp.41-59
• /
• 2009

The present study investigated Korean learners' knowledge on the range of possible interpretations of English locative PPs with manner of motion verbs, and considers whether learners can arrive at a superset L2 grammar on the basis of positive L2 input. Unlike Korean, some English locative PPs occurring with manner of motion verbs (such as in John jumped on the bed) are ambiguous as they can be interpreted as either directional or locational. Thirty Korean learners of English in three distinct groups (Advanced EFL-only group; Intermediate-EFL-only group; and ESL-experienced group) participated in an experimental study, along with a control group of nine native speakers of English. The results of the study showed that I) Korean learners, overall, tended to interpret English locative PPs as only locational, failing to recognize the ambiguity between the directional and locational readings in the target structure; 2) For the learners who experienced only the EFL context, even highly proficient learners, as well as intermediate level learners, failed to acknowledge the ambiguity; 3) The learners who experienced the ESL context for an extended period of time could identify the target reading to some extent, although they still could not reach the native-like competence. From these results, it is argued that robustness of positive evidence, not simply its availability, is critical in the acquisition of the superset L2 targets like the present one.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.3
• /
• pp.549-562
• /
• 2017

In recent years, as the proportion of mobile banking has become bigger with daily usage of mobile banking, security threats are also increasing according to the feeling. Accordingly, the domestic banking system introduces security solution programs in the banking application and sets security check points to ensure the stability of the application in order to check whether it is always executed. This study presents a vulnerability of inactivity bypassing mobile vaccine program operation checkpoints using the intermediate language statically and dynamically analysis when decompiling the android banking applications of major banks in Korea. Also, through the results, it identifies possible attacks that can be exploited and suggest countermeasures.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.4
• /
• pp.24-33
• /
• 1996

PLCs are vital components of modern automation systems, which have penetrated into almost every industry. Many industries have a demand for facilitation of PLC programming. In this study, a programning system for sequential control is developed on a personal computer. This programming system consists of two main parts, a GRAFCET editor and a GRAFCET compiler. The GRAFCET editor enables us to model an actual sequential process by a GRAFCET diagram. This GRAFCET editor is developed by the menu-driven method based on specific menus and graphic symbols. The GRAFCET compiler consists of two parts, a GRAFCET parser and a code generator. The possible errors in a drawn GRAFCET diagram are first checked by the GRAFCET parser which generates finally an intermediate code from a verified CRAFCET diagram. Then the intermediate code is converted into a control code of an actual sequential controller by the code generator. To show the usefulness of this programming system, this system is applied to a pneumatically controlled handling robot. For this robot, a Z-80 microprocessor is used as the actual sequential controller.

• English Language & Literature Teaching
• /
• v.13 no.4
• /
• pp.109-126
• /
• 2007

English article has been considered as one of the most difficult areas to learn among ESL/EFL students. The current paper reviews English learners' article error patterns as well as pedagogy in order to teach English articles and to minimize learning difficulties on English articles. Different pedagogy for English articles on the basis of learners' proficiency levels are suggested as each proficiency level student shows a different error tendency; beginning level language learners used the zero article with the most facility while intermediate level language learners used the definite article the most accurately. However, studies about high advanced level learners' error patterns present that these high accuracy rates among beginning level students might be a result of students' plain guessing. Considering these error patterns, pedagogy for advanced level is also suggested.

• Journal of Information Processing Systems
• /
• v.19 no.1
• /
• pp.1-16
• /
• 2023

Synthetic data generation is generally used in performance evaluation and function tests in data-intensive applications, as well as in various areas of data analytics, such as privacy-preserving data publishing (PPDP) and statistical disclosure limit/control. A significant amount of research has been conducted on tools and languages for data generation. However, existing tools and languages have been developed for specific purposes and are unsuitable for other domains. In this article, we propose a regular expression-based data generation language (DGL) for flexible big data generation. To achieve a general-purpose and powerful DGL, we enhanced the standard regular expressions to support the data domain, type/format inference, sequence and random generation, probability distributions, and resource reference. To efficiently implement the proposed language, we propose caching techniques for both the intermediate and database queries. We evaluated the proposed improvement experimentally.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.6
• /
• pp.908-915
• /
• 1986

In this paper, an English-Korean machine translation system which consists of a syntax analyzer, a semartic analyzer and a sentence generatodr is proposed. The intermediate language in the syntax analysis is described by a lambda categorial grammar that is based on Montague Grammar, and the augmented context free grammar is introduced in the description of object language. Much difficulty in constructing general rules and semantic representations of an object language in the parser can be avoided by using the knowledge from the user interface utility that can modify the contents of dictionary and grammar rules.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.3
• /
• pp.329-338
• /
• 2000

CHILL language has been used for the software development of electronic switching and telecommunications system. ETRI CHILL-96 language is an extended CHILL language with the notions of object-orientation, concurrency, and generic type. In this paper, we discuss some design and implementation issues of ETRI CHILL-96 compiler. Renaming translation rules and function restructuring techniques are adapted for the purpose of preventing name conflict and producing debugging information. Those new extended features are preprocessed in the compilation and translated to extended CHILL intermediate codes. Such compilation technique enables ETRI CHILL-96 language to hold compatibility with software developed by CHILL language.