Go to the main menu
Skip to content
Go to bottom
REFERENCE LINKING PLATFORM OF KOREA S&T JOURNALS
> Journal Vol & Issue
The KIPS Transactions:PartA
Journal Basic Information
Journal DOI :
Korea Information Processing Society
Editor in Chief :
Volume & Issues
Volume 19A, Issue 4 - Aug 2012
Volume 19A, Issue 3 - Jun 2012
Volume 19A, Issue 2 - Apr 2012
Volume 19A, Issue 1 - Feb 2012
Selecting the target year
A Design and Implementation of A Robot Client Middleware for Network-based Intelligent Robot based on Service-Oriented
Kwak, Dong-Gyu ; Choi, Jae-Young ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 1~8
DOI : 10.3745/KIPSTA.2012.19A.1.001
Network-based intelligent robot is connected with network system, provides interactions with humans, and carries out its own roles on ubiquitous computing environments. URC (Ubiquitous Robot Companion) robot has been proposed to develop network-based robot by applying distributed computing techniques. On URC robot, it is possible to save the computing power of robot client by environments, has been proposed to develop robot software using service-oriented architecture on server-client computing environments. The SOMAR client robot consists of two layers - device service layer and robot service layer. The device service controls physical devices, and the robot service abstracts robot's services, which are newly defined and generated by combining many device services. RSEL (Robot Service Executing Language) is defined in this paper to represent relations and connections between device services and robot services. A RESL document, including robot services by combining several device services, is translated to a programming language for robot client system using RSEL translator, then the translated source program is compiled and uploaded to robot client system with RPC (Remote Procedure Call) command. A SOMAR client system is easy to be applied to embedded systems of host/target architecture. Moreover it is possible to produce a light-weight URC client robot by reducing workload of RSEL processing engine.
Analysis of Inquiry Tendency in the 'Information Representation and Management' Sections in Middle School Informatics Textbooks
Kim, Ja-Mee ; Shim, Jae-Kwoun ; Kim, Ji-Min ; Lee, Won-Gyu ; Park, Doo-Soon ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 9~16
DOI : 10.3745/KIPSTA.2012.19A.1.009
Abstract In informatics subject, a good understanding of information representation and the structure of materials is the first step to acquire the basic principles of computer science. But few studies have ever focused on the educational significance of the structure of materials in informatics subject or how to organize materials in a manner to stimulate students to introspect. The purpose of this study was to examine whether the 'information representation and management' sections of informatics textbooks of the revised 2007 curriculum that have been in use since 2010 had an inquiry tendency or not. As a result of analyzing the textbooks by utilizing Romey method, one textbook was found to have an inquiry tendency in terms of texts, figures/diagrams, activities and questions at the end of chapters. If textbooks are just organized to convey knowledge, it might result in making students less interactive in class. Specifically, informatics is a subject to teach basic problem-solving skills by using IT, and the findings of the study suggest that students who get less interactive in class are likely to have less chances to learn about how to solve the given problems in diverse ways.
Low Power Mapping Algorithm Considering Data Transfer Time for CGRA
Kim, Yong-Joo ; Youn, Jong-Hee ; Cho, Doo-San ; Paek, Yun-Heung ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 17~22
DOI : 10.3745/KIPSTA.2012.19A.1.017
The demand of high performance processor is soaring due to the extending of mobile and small electronic device market. CGRA(Coarse Grained Reconfigurable Architecture) is the processor satisfying both of performance and low-power demands and a great alternative of ASIC that can be reconfigured. This paper presents a novel low-power mapping algorithm that optimizes the number of used computation resource in the mapping phase by considering data transfer time. Compared with previous mapping algorithm, ours reduce energy consumption by up to 73%, and 56.4% on average.
Implementation of the Simulink Execution Module by Applying Automata Theory
Kim, Kyung-Joon ; Chung, Ki-Hyun ; Choi, Kyung-Hee ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 23~34
DOI : 10.3745/KIPSTA.2012.19A.1.023
This paper suggests that implementation of the Simulink execution module controls Simulink simulation and shows simulation results by applying Automata theory. This module is composed of three independent systems that the main program to accept user commands, the thread to control a simulation of Simulink model and the Simulink model to execute simulation. This paper designs each module and entire system by applying Automata theory, and implements it with C# and MATLAB language. And the Simulink execution module implemented will be verified through the experiment.
A Prefetching and Memory Management Policy for Personal Solid State Drives
Baek, Sung-Hoon ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 35~44
DOI : 10.3745/KIPSTA.2012.19A.1.035
Traditional technologies that are used to improve the performance of hard disk drives show many negative cases if they are applied to solid state drives (SSD). Access time and block sequence in hard disk drives that consist of mechanical components are very important performance factors. Meanwhile, SSD provides superior random read performance that is not affected by block address sequence due to the characteristics of flash memory. Practically, it is recommended to disable prefetching if a SSD is installed in a personal computer. However, this paper presents a combinational method of a prefetching scheme and a memory management that consider the internal structure of SSD and the characteristics of NAND flash memory. It is important that SSD must concurrently operate multiple flash memory chips. The I/O unit size of NAND flash memory tends to increase and it exceeded the block size of operating systems. Hence, the proposed prefetching scheme performs in an operating unit of SSD. To complement a weak point of the prefetching scheme, the proposed memory management scheme adaptively evicts uselessly prefetched data to maximize the sum of cache hit rate and prefetch hit rate. We implemented the proposed schemes as a Linux kernel module and evaluated them using a commercial SSD. The schemes improved the I/O performance up to 26% in a given experiment.
Register Pressure Aware Code Selection Algorithm for Multi-Output Instructions
Youn, Jong-Hee M. ; Paek, Yun-Heung ; Ko, Kwang-Man ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 45~50
DOI : 10.3745/KIPSTA.2012.19A.1.045
The demand for faster execution time and lower energy consumption has compelled architects of embedded processors to customize it to the needs of their target applications. These processors consequently provide a rich set of specialized instructions in order to enable programmers to access these features. Such an instruction is typically a
(MOI), which outputs multiple results parallely in order to exploit inherent underlying hardware parallelism. Earlier study has exhibited that MOIs help to enhance performance in aspect of instruction counts and code size. However the earlier algorithm does not consider the register pressure. So, some selected MOIs introduce register spill/reload code that increases the code size and instruction count. To attack this problem, we introduce a novel iterated instruction selection algorithm based on the register pressure of each selected MOIs. The experimental results show the suggested algorithm achieves 3% code-size reduction and 2.7% speed-up on average.
Development of T-commerce Processing Payment Module Using IC Credit Card(EMV)
Choi, Byoung-Kyu ; Lee, Dong-Bok ; Kim, Byung-Kon ; Heu, Shin ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 51~60
DOI : 10.3745/KIPSTA.2012.19A.1.051
IC(Integrated circuits)card, generally be named smard card, embedded MPU(Micro Processor Unit) of small-size, memory, EEPROM, Card Operating System(COS) and security algorithm. The IC card is used in almost all industry such as a finance(credit, bank, stock etc.), a traffic, a communication, a medical, a electronic passport, a membership management and etc. Recently, a application field of IC card is on the increase by method for payments of T-commerce, as T-commerce is becoming a new growth engine of the broadcating industry by trend of broadcasting and telecommunication convergence, smart mechanization of TV. For example, we can pay in IC credit card(or IC cash card) on T-Commerce. or we can be provided TV banking service in IC cash card such as ATM. However, so far, T-commerce payment services have weakness in security such as storage and disclosure of card information as well as dropping sharply about custom ease because of taking advantage of card information input method using remote control. To solve this problem, This paper developed processing payment module for implementing TV electronic payment system using IC credit card payment standard, EMV.
Personalized Message Syndication As a Smart Media
Lee, Seo-Young ; Kim, Nam-Yun ; Lee, Bong-Gyou ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 61~68
DOI : 10.3745/KIPSTA.2012.19A.1.061
Since the increasing use of smart devices such as smartphone and tablet PC improves the quality of convergence of broadcasting and telecommunication, many new media have been created. This smart device can provide personal environments based on user's profile (age, gender, and job) and current location. In addition, it can be regarded as a media platform with two-way communication. This paper proposes personalized message syndication, called PMS, based on smart devices and then analyzes its business and technical issues. The PMS service as a smart media provides consumers customized information and can be used for producer's marketing tools which can lead consumers' heart and participation.
For-loop for Logic Programming
Kwon, Kee-Hang ; Ha, Hong-Pyo ;
The KIPS Transactions:PartA, volume 19A, issue 1, 2012, Pages 69~72
DOI : 10.3745/KIPSTA.2012.19A.1.069
Logic programming based on classical or linear logic has traditionally lacked devices for expressing sequential tasks and sequential iterative tasks. Expressing sequential goal tasks has been addressed by a recent proposal of sequential goals of the form
which is based on the game semantics of Japaridze. This paper proposes sequential iterative goal formulas of the form
is a goal,
is a variable, and
is a list.
is called a sequential bounded quantier. These goals allow us to specify the following task: sequentially iterate
ranging over all the elements of