• Journal of KIISE:Software and Applications
• /
• v.28 no.12
• /
• pp.955-965
• /
• 2001

We propose a systematic method of compiling Haskell based on the spineless Tagless G-machine (STGM) for the Java, Virtual Machine (JVM) We introduce an intermediate language called L-code to identify each micro-operation of the machine by its instruction, Each macro operation of the machine is identified by a binding Each instruction of the L-code can be easily translated into Java statements. After our determination on representation and L-code program from a STG program is translated into Java program according to out compilation rules. Our experiment shows that the execution times of translated benchmarks are competitive compared with those in Haskell interpreter Hugs, particularly when Glasgow Haskell compiler's STG -level optimizations are applied.

• 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.

• Journal of Advanced Navigation Technology
• /
• v.15 no.6
• /
• pp.1075-1081
• /
• 2011

In this paper, we proposed the DS-SS modem-based communication system for long distance wireless-transmission. The module we designed in this approach contained both convolution encoder and gold-code generator, which aimed at error correcting, T-DES encryption algorithm and spread-spectrum as well. It embodied PC-based GUI program in order to control the such command signal as data transceiver. This program also used to control the specific FPGA/MCU which is able to verify and interface to the modem. We demonstrated the communication system to verify its proper operation by using GUI program and designed hardware. A set of experiments are conducted and as a result, proposed communication system is well operated as the design specification.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.6
• /
• pp.1418-1430
• /
• 1998

Temporal databases support an efficient historical management by means of valid time and transaction time. Valid time stands for the time when a data happens in the real world. And transaction time stands for the time when a data is stored in the database, Temporal Query Processing System(TQPS) should be extended so as tc process the temporal operations for the historical informations in the user query as well as the conventional relational operations. In this paper, the extended temporal query processing systems which is based on the previous temporal query processing system for TQuel(Temporal Query Language) consists of the temporal syntax analyzer, temporal semantic analyzer, temporal code generator, and temporal interpreter is to be described, The algorithm for additional functions such as transaction time management, temporal aggregates, temporal views, temporal joins and the heuristic optimization functions and their example how to be processed is shown.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.5 no.1
• /
• pp.1-6
• /
• 2004

Air qualify monitoring if a primary activity for industrial and social environment. Especially, the VOCs(Volatile Organic Compounds) are very harmful for human and environment. Throughout this research. we designed sensor array with various kinds of gas sensor, and the recognition algorithm with ANN(Artificial Neural Network : BP), respectively. We have designed system to recognize various kinds and quantities of VOCs, such as benzene, tolylene, and xylene.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37 no.2C
• /
• pp.173-180
• /
• 2012

It is important to consider saving location of message structures, structure of parser and creating method of parser generator for adopting KVMF to increase interoperability among different weapon systems. Especially, it requires to design the message parser by analyzing performance and maintenance when we adopting KVMF to previously developed weapon systems. In this paper, we propose the method of concurrent dynamic message processing for KMVF message based on KVID to support the developed and next-developed weapon systems. We show message conversion accuracy and performance effectiveness by adopting proposed method to Batallion Tactical Combat System.

• Journal of the Institute of Convergence Signal Processing
• /
• v.1 no.2
• /
• pp.131-137
• /
• 2000

In this paper, as a compatible software radio transmission system, Digital-Radio conversion system which can directly change the digital signal generated by the logic circuit into radio signal is proposed. By the vector synthesis method, the digital signals can change directly into radio signal. If such a circuit is realized, RF circuit and an antenna can be composed by the simple one device, and the radio is directly controlled and performed by the software processing which is the essence of software radio. This Digital-Radio conversion system of this paper give many number of communication channels being offered by PN code and offer a hardware design flexibility by digitization, therefore it decrease the percentage ratio of hardware of system and give a more flexible function of software basis. In this paper, the principle of digital to radio signal generation algorithm is explained and the performance characteristics of proposed algorithm is shown in time base by the computer simulation method.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2005.06a
• /
• pp.335-343
• /
• 2005

The Methodology of burnup calculation with EPMA test set up in this study. The spent fuel from PWR nuclear power plant was used as specimen. This $UO_2$ fuel with $3.2\%$ of enrichment had been irradiated up to 35,000 MWd/MTU(reference data). The burnup is very important factor for nuclear fuel to estimate all fuel behaviors in reactor. To measure amounts of fission products and actinides for the burnup calcualation, chemical analysis (destructive method) has been used but it mattes long experimental time and second radio-wastes. In this study, EPMA test was available to measure amount of fission products. Neodymium is able to be detected and quantified. It can be compared with the results from chemical analysis and ORIGEN-2 code calculation. Concentration of Nd from EPMA test showed good agreement with result of ORIGEN-2 code in the same burnup.

• Applied Microscopy
• /
• v.35 no.3
• /
• pp.113-119
• /
• 2005

The Methodology of burnup calculation with EPMA test set up in this study. The spent fuel from PWR nuclear power plant was used as specimen. This $UO_2$ fuel with 3.2% of enrichment had been irradiated up to 35,000 MWd/MTU. The burnup is very important factor for nuclear fuel to estimate all fuel behaviors in reactor. To measure amounts of fission products and actinides for the burnup calcualation, destructive method analysis has been used but it makes long experimental time and second radio-wastes. In this study, EPMA test was available to measure amount of fission products. Neodymium is able to be detected and quantified. It can be compared with the results from chemical analysis and ORIGEN-2 code calculation. Concentration of Nd from EPMA test showed good agreement with result of ORIGEN-2 code in the same burnup.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.7
• /
• pp.3127-3134
• /
• 2013

This paper presents the verified results from the examination of the control algorithm, logic composition, and vehicle condition of the engine that has been adapted for DME fuel. It introduces the development process of the control structure and the logic control based on control map and auto-code generation, and finally verifies the reliability and performance of the overall control. The control structure largely consists of the injection control part that implements driver demand into an engine net torque and the air control system part that satisfies characteristics of exhaust gas and power performance. The control logic is designed with feedforward and feedback control for each of its control functions for an enhanced response. Moreover, the control map of the feedforward controller is created by the use of an engine model created by test data of mass product diesel engine, and it was subsequently calibrated in the test process of the engine and vehicle state. A test mode was completed by attaching the developed controller to the vehicle, and a reduction in gas emission is confirmed by the calibration of EGR, VGT, and injection times.