• Journal of the Korea Management Engineers Society
• /
• v.23 no.4
• /
• pp.179-195
• /
• 2018

So far, the evaluation of machine translation has used a numerical approach, but there is evidence that it is not sufficient to reflect the characteristics or behavior of machine translation users(Hutchins, 2007; Wu et al., 2016; Park et al., 2013). Therefore, this study focused on the purpose of use and purchasing behavior of machine translation users. At this time, the indirect comparison method introduced by Morgan and Hunt(1994) was used to measure cognitive gaps and analyze the purchasing behavior of users. According to the analysis of association rules using cognitive gaps, the smaller the cognitive gap, the more positive the purchase behavior. In addition, procedural knowledge derived from language knowledge is activated in situations involving responsibility, and in routine situations, procedural knowledge trained from pragmatic knowledge works.

• Journal of Internet of Things and Convergence
• /
• v.5 no.2
• /
• pp.15-20
• /
• 2019

As the machine learning research has developed, the field of translation and image analysis such as optical character recognition has made great progress. However, video translation that combines these two is slower than previous developments. In this paper, we develop an image translator that combines existing OCR technology and translation technology and verify its effectiveness. Before developing, we presented what functions are needed to implement this system and how to implement them, and then tested their performance. With the application program developed through this paper, users can access translation more conveniently, and also can contribute to ensuring the convenience provided in any environment.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.18 no.5
• /
• pp.15-21
• /
• 1981

This paper deals with the syntactic analysis algorithms of Korean sentence and system for machine translation. The parts of speech and constituients are syntactically analized at unified view-points and then an effective classification algorithm is proposed. The constituients which are applied an inverse movement transformation algorithm are processed with the concept of attribute. Syntactic analysis system is constructed to generate parsing table including the deep structure of sentence by lexicon proper to the combinational property of Korean and breadth-first searching method. The results obtained from the system program are shown as the parsing table of source sentences.

• Nuclear Engineering and Technology
• /
• v.45 no.4
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• Journal of KIISE
• /
• v.41 no.11
• /
• pp.892-899
• /
• 2014

Dynamic binary instrumentation is a code insertion technique for debugging a program without scattering its execution flow, while the program is running. Most dynamic instrumentations are implemented using dynamic binary translation techniques. Existing studies translated program codes dynamically by parsing the machine code stream to intermediate representation (IR) and then applying compilation techniques for IRs. However, they have high overhead during translation, which is a major cause of difficulty in applying the dynamic binary translation technique to the program which requires high responsiveness. In this paper, we introduce a light-weight dynamic binary instrumentation framework based on a novel dynamic binary translation technique which has low overhead while translating the program code. In order to reduce the translation overhead, our approach adopts a tabular-based address translation and exploits a translation bypassing scheme, which stores the translated address of a frequently called library function in advance. It then accesses the translated address and executes function codes without code translation when calling the function. Our experiment results demonstrated that the proposed approach outperforms the prior dynamic binary translation techniques from 2% up to 65%.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.10 no.5
• /
• pp.78-84
• /
• 2001

The translation system is made up of springs, masses and a dashpot. This precise piece of equipment is controlled electro-mechanically by a motor and operating program. The control strategy of the system can be changed by spring stiffness, change of mass, and the damping coefficient of the dashpot. This system proves the necessity and effect of a closed loop control. In this paper, PD control experiments were implemented for the translation system. When the north falter was added on the PD controller, we compared the response characteristics of the two systems. The state feedback controller minimized scalar control gains and the resulting response characteristics of the system were studied using the LQR design. Finally, we improved the response characteristics of the translation system which are rising time, settling time, steady state error, and overshoot LQR was better as compared with PD control.

• Journal of Korea Multimedia Society
• /
• v.8 no.12
• /
• pp.1658-1668
• /
• 2005

This paper presents the bytecode-to-SIL translator which enables the execution of the java program in EVM(Embedded Virtual Machine) environment without JVM(java Virtual Machine), translating bytecodes produced by compiling java programs into SIL(Standard Intermediate Language) codes. EVM, what we are now developing, is a virtual machine solution that can download and execute dynamic application programs written in sequential languages like C language as well as object oriented languages such as C#, Java, etc. EVM is a virtual machine mounted on embedded systems such as mobile device, set-top box, or digital TV, and converts the application program into SIL, an assembly language symbolic form, and execute it. SIL is a virtual machine code for embedded systems, based on the analysis of existing virtual machine codes such as bytecode, MSIL, etc. SIL has such features as to accommodate various programming languages, and in particularly has an operation code set to accept both object-oriented languages and sequential languages. After compiling, a program written in java language is converted to bytecode, and also executed by JVM platform but not in other platform such as .NET, EVM platform. For this reason, we designed and implemented the bytecode-to-SIL translator system for programs written in java language to be executed in the EVM platform without JVM. This work improves the execution speed of programs, enhances the productivity, and provides an environment for programmers to execute application programs at various platforms.

• Journal of Internet Computing and Services
• /
• v.2 no.4
• /
• pp.55-67
• /
• 2001

Commercial machine translation systems have been announcing recently, However, there are problems that the systems have shown mistranslations, yet. Among these mistranslations, this paper is interested in the mistakes of tense processing. The paper compares Korean tenses with 12 English ones: present. past, future, present perfect. past perfect, future perfect. present progressive, past progressive, future progressive, present perfect progressive, past perfect progressive. future perfect progressive. Next, we perform the meaning analysis of Korean tenses. Then we describe the structure of the tenses based on Conceptual Graph(CG). In the experiment. the paper implements the program that translates sentences included in the tenses into CG.

• International Journal of Advanced Culture Technology
• /
• v.10 no.4
• /
• pp.561-568
• /
• 2022

This study investigated how pre-service English teachers perceive the effects of machine teaching on their English writing competence. 35 Korean students who are majoring in English education participated in this study. The participants used machine translators for one of the required courses related to English composition. A survey and focus group interview were conducted at the end of the course. They were asked to answer to what degree they perceive the effects of machine translators on their writing in terms of lexical, sentential, and discourse levels. Furthermore, their perspectives on the effects of machine translation on English teaching including limitations of machine translators, were interviewed in more detail. The results show that the participants perceive machine translators quite positively in terms of improving their writing competence, but they also point out some critical limitations of machine translators. These findings have some pedagogical implications for English writing course instructors, English teacher educators, and program developers.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.4
• /
• pp.466-476
• /
• 1986

This paper proposes a system that translates the machine independent intermediate micro-programming language(IML) into microcode, using the register allocation algorithm, the microinstruction format and the field information for the target machine emulation on a microprogrammable host machine. The IML, which is for PDP-8 emulation on a microprogrammable hypothsetical 16 bit host machine, is microcoded by the proposed system, and the validity of the algorithm in the proposed system is verified by executing a test program of the target machine on the emulator.