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:PartD
Journal Basic Information
Journal DOI :
Korea Information Processing Society
Editor in Chief :
Volume & Issues
Volume 16D, Issue 6 - Dec 2009
Volume 16D, Issue 5 - Oct 2009
Volume 16D, Issue 4 - Aug 2009
Volume 16D, Issue 3 - Jun 2009
Volume 16D, Issue 2 - Apr 2009
Volume 16D, Issue 1 - Feb 2009
Selecting the target year
A Genetic Algorithm for Minimizing Query Processing Time in Distributed Database Design: Total Time Versus Response Time
Song, Suk-Kyu ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 295~306
DOI : 10.3745/KIPSTD.2009.16-D.3.295
Query execution time minimization is an important objective in distributed database design. While total time minimization is an objective for On Line Transaction Processing (OLTP), response time minimization is for Decision Support queries. We formulate the sub-query allocation problem using analytical models and solve with genetic algorithm (GA). We show that query execution plans with total time minimization objective are inefficient from response time perspective and vice versa. The procedure is tested with simulation experiments for queries of up to 20 joins. Comparison with exhaustive enumeration indicates that GA produced optimal solutions in all cases in much less time.
Analysis and Prediction of Power Consumption Pattern Using Spatiotemporal Data Mining Techniques in GIS-AMR System
Park, Jin-Hyoung ; Lee, Heon-Gyu ; Shin, Jin-Ho ; Ryu, Keun-Ho ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 307~316
DOI : 10.3745/KIPSTD.2009.16-D.3.307
In this paper, the spatiotemporal data mining methodology for detecting a cycle of power consumption pattern with the change of time and spatial was proposed, and applied to the power consumption data collected by GIS-AMR system with an aim to use its resulting knowledge in real world applications. First, partial clustering method was applied for cluster analysis concerned with the aim of customer`s power consumption. Second, the patterns of customer`s power consumption data which contain time and spatial attribute were detected by 3D cube mining method. Third, using the calendar pattern mining method for detection of cyclic patterns in the various time domains, the meanings and relationships of time attribute which is previously detected patterns were analyzed and predicted. For the evaluation of the proposed spatiotemporal data mining, we analyzed and predicted the power consumption patterns included the cycle of time and spatial feature from total 266,426 data of 3,256 customers with high power consumption from Jan. 2007 to Apr. 2007 supported by the GIS-AMR system in KEPRI. As a result of applying the proposed analysis methodology, cyclic patterns of each representative profiles of a group is identified on time and location.
Trajectory Clustering in Road Network Environment
Bak, Ji-Haeng ; Won, Jung-Im ; Kim, Sang-Wook ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 317~326
DOI : 10.3745/KIPSTD.2009.16-D.3.317
Recently, there have been many research efforts proposed on trajectory information. Most of them mainly focus their attention on those objects moving in Euclidean space. Many real-world applications such as telematics, however, deal with objects that move only over road networks, which are highly restricted for movement. Thus, the existing methods targeting Euclidean space cannot be directly applied to the road network space. This paper proposes a new clustering scheme for a large volume of trajectory information of objects moving over road networks. To the end, we first define a trajectory on a road network as a sequence of road segments a moving object has passed by. Next, we propose a similarity measurement scheme that judges the degree of similarity by considering the total length of matched road segments. Based on such similarity measurement, we propose a new clustering algorithm for trajectories by modifying and adjusting the FastMap and hierarchical clustering schemes. To evaluate the performance of the proposed clustering scheme, we also develop a trajectory generator considering the observation that most objects tend to move from the starting point to the destination point along their shortest path, and perform a variety of experiments using the trajectories thus generated. The performance result shows that our scheme has the accuracy of over 95% in comparison with that judged by human beings.
Macroscopic Biclustering of Gene Expression Data
Ahn, Jae-Gyoon ; Yoon, Young-Mi ; Park, Sang-Hyun ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 327~338
DOI : 10.3745/KIPSTD.2009.16-D.3.327
A microarray dataset is 2-dimensional dataset with a set of genes and a set of conditions. A bicluster is a subset of genes that show similar behavior within a subset of conditions. Genes that show similar behavior can be considered to have same cellular functions. Thus, biclustering algorithm is a useful tool to uncover groups of genes involved in the same cellular process and groups of conditions which take place in this process. We are proposing a polynomial time algorithm to identify functionally highly correlated biclusters. Our algorithm identifies 1) the gene set that has hidden patterns even if the level of noise is high, 2) the multiple, possibly overlapped, and diverse gene sets, 3) gene sets whose functional association is strongly high, and 4) deterministic biclustering results. We validated the level of functional association of our method, and compared with current methods using GO.
Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra
On, Jin-Ho ; Choi, Jung-Rhan ; Lee, Moon-Kun ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 339~352
DOI : 10.3745/KIPSTD.2009.16-D.3.339
There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.
Cost Measurement Indicators and Maintenance Cost Estimation Model for Maintenance of Component-based Software
Jo, Ju-Yeon ; Rhew, Sung-Yul ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 353~360
DOI : 10.3745/KIPSTD.2009.16-D.3.353
Most information systems are component-based and developed by outsourcing, and developed software is maintained integrative. However, studies on cost measurement indicators and cost estimation model have not been performed sufficiently, which are foundational to enhance the productivity and efficiency of maintenance. This study suggests indicators to measure maintenance cost for component-based software and examines maintenance cost estimation model of component software by the measurement indicators suggested. In order to generate the indicators to measure the component-based maintenance cost, the previously proposed indicators are summarized comparatively. To estimate the measurement indicators of component-based software, it makes a comparison of the previously proposed indicators and arranges them. We classify the measurement indicators by how to apply according to maintenance types of component software and then we propose the cost measurement indicators. Moreover, we propose the cost estimation model according to the maintenance types of component software using the suggested measurement indicators suggested. With the suggested estimation model, a case study is performed and its validity is verified.
Test Supporter for GUI of Mobile Application Software in J2ME Platform
Hwang, Sun-Myumg ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 361~370
DOI : 10.3745/KIPSTD.2009.16-D.3.361
Recently, the most mobile application software developers are being faced by short developing time (fast time-to-market), various requirements and requirement changes. In order to overcome the environment, developer should support user friendly GUI and assure the quality from the early developing process using GUI test method. This paper proposes a test method and tool for mobile software GUI, which reduces test time and supports comfortable test environment by user oriented UI design. We implemented a tool based on test scenarios based image flow for high testing accuracy and test case reusability. And the results show the characteristics of the method compared to the existing tools.
Automated Test Data Generation for Testing Programs with Flag Variables Based on SAT
Chung, In-Sang ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 371~380
DOI : 10.3745/KIPSTD.2009.16-D.3.371
Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.
A PIM/PSM Component Modeling Technique Based on 2+1 View Integrated Metamodel
Song, Chee-Yang ; Cho, Eun-Sook ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 381~394
DOI : 10.3745/KIPSTD.2009.16-D.3.381
As a technique to enhance reusability for the created artifacts in software modeling process, the model driven method such like MDA has been applied. Unfortunately, the hierarchical and systematic MDA based development technique using UML is poor yet. This causes the problem that the MDA modeling with high consistency and reusability based on MDA metamodel is not being realized. To solve this problem, this paper proposes a MDA (PIM/PSM) component modeling technique using 2+1 view integrated metamodel. At first, the meta-architecture view model which can represents development process view and MVC view is defined. Then, the hierarchical integrated metamodels per view are addressed separately for modeling process and MVC at metamodel level on the hierarchy of the defined meta-architecture view model. These metamodels are defined hierarchically by layering the modeling elements in PIM and PSM pattern for UML models and GUI models. Appling the proposed metamodel to an ISMS application system, it is shown as a component modeling case study based on MDA. Through this approach, we are able to perform a component model with consistency and hierarchy corresponding to development process and MVC way. Accordingly, this may improve more independence and reusability of model.
A Study on the Design of EA Performance Evaluation Model and the Application Case
Lee, Seok-Kyun ; Lee, Young-Min ; Rhew, Sung-Yul ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 395~406
DOI : 10.3745/KIPSTD.2009.16-D.3.395
Korean government has operated EA by the act on efficient introduction of information system and operation, etc. But the evaluation system for EA and the criteria don`t prepare well. Particularly, There is no model for EA performance measurement and the way is insufficient. In this study, we derived 8 areas and 17 criteria for the performance evaluation based on the Performance Reference Model of U.S FEA and Korea. And we also derived 8 areas and 10 criteria for it based on the OMB EA Assessment Framework and the EA maturity model in Korea. We propose the performance evaluation model of the five areas that consists of the business performance, customer performance, process, human resource and the technology for EA performance evaluation. To verify the model, we applied the model to three organizations and evaluated EA performance. In addition, we compared the performance result with the performance evaluation area of EA maturity model of Korea to verify the result. We also analyzed the criteria of the proposed performance evaluation model with the current EA maturity model and Performance Reference Model of Korea. As a result of the evaluation, we verified of the proposed performance evaluation model, too.
An Experimental Study of Generality of Software Defects Prediction Models based on Object Oriented Metrics
Kim, Tae-Yeon ; Kim, Yun-Kyu ; Chae, Heung-Seok ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 407~416
DOI : 10.3745/KIPSTD.2009.16-D.3.407
To support an efficient management of software verification and validation activities, much research has been conducted to predict defects in early phase. And defect prediction models have been proposed to predict defects. But the generality of the models has not been experimentally studied for other software system. In other words, most of prediction models were applied only to the same system that had been used to build the prediction models themselves. Therefore, we performed an experiment to explore generality of major prediction models. In the experiment, we applied three defects prediction models to three different systems. As a result, we cannot find their generality of defect prediction capability. The cause is analyzed to result from a different metric distribution between the systems.
Assessing the Construct Validity of PMIS Effectiveness Measurement - Focusing the Administration DB Construction Projects -
Kang, Dong-Seok ; Yoo, Si-Hyeong ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 417~422
DOI : 10.3745/KIPSTD.2009.16-D.3.417
It is important to verify the validity of indicators assessing PMIS(Public Management Information System) effectiveness in academic research as well as practical affairs. As people invest in the field of Information Technology(IT) or IT system, private corporations are interested in investment in IT and it`s business value. Moreover, the need of evaluating effectiveness on the investment in IT with the limited national budget are on the increase in public sector. Therefore, it is necessary to define the construct of PMIS(Public Management Information System) effectiveness so that we systematically compare and measure performance of public informatization project processed by each public organizations. It needs to develop indicators and verify the construct validity of them. we verified the construct validity of indicators assessing PMIS(Public Management Information System) effectiveness on the Administration DB Construction Projects.
Development and Application of An Adaptive Web Site Construction Algorithm
Choi, Yun-Hee ; Jun, Woo-Chun ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 423~432
DOI : 10.3745/KIPSTD.2009.16-D.3.423
Advances in information and communication technologies are changing our society greatly. In knowledge-based society, information can be obtained easily via communication tools such as web and e-mail. However, obtaining right and up-to-date information is difficult in spite of overflowing information. The concept of adaptive web site has been initiated recently. The purpose of the site is to provide information only users want out of tons of data gathered. In this paper, an algorithm is developed for adaptive web site construction. The proposed algorithm is based on association rules that are major principle in adaptive web site construction. The algorithm is constructed by analysing log data in web server and extracting meaning documents through finding behavior patterns of users. The proposed algorithm has the following characteristics. First, it is superior to existing algorithms using association rules in time complexity. Its superiority is proved theoretically. Second, the proposed algorithm is effective in space complexity. This is due to that it does not need any intermediate products except a linked list that is essential for finding frequent item sets.
Development of System Model for Integrated Information Management of Construction Material
Han, Choong-Han ; Ju, Ki-Bum ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 433~440
DOI : 10.3745/KIPSTD.2009.16-D.3.433
As information technology of constructional area develops recently, web-based on-line system is rapidly increasing to provide information on diverse constructional materials so as to enhance productivity of constructional business and to reduce cost. Since the constructional materials information provided by these systems, i.e., quality, specification, etc are not standardized, however, the staffs on the constructional site suffer considerable difficulties in using materials information when acquiring information on specific materials, e.g., using diverse information systems or repeating similar jobs. Thus, this research typified information items of constructional materials on the basis of GDAS and designed multi system model to control integrated information on constructional materials. This system can efficiently control and utilize materials information by supporting automatic classification of constructional materials to which OmniClass Part-22 and UNSPSC are applied, conditional complex retrieval of materials information, real-time automatic embodiment of electronic catalog and retrieving/controlling RFID.
Design and Implementation of Embedded Linux-based Personal Mobile Broadcasting Service
Kim, Do-Hyung ; Kim, Sun-Ja ; Lee, Cheol-Hoon ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 441~450
DOI : 10.3745/KIPSTD.2009.16-D.3.441
This paper describes the design and implementation of Personal Mobile Broadcasting Service which bases on embedded Linux and it supports personal broadcasting in wireless network environments. Recently, with the advent of various wireless networks and the increased use of high performance mobile devices, the demand for personal mobile broadcasting is being increased. The personal mobile broadcasting service makes it possible that mobile users create contents using their own mobile devices while they are moving or they are in any place. And then, it sends the created contents to server in real-time where their blogs are. Users connected to the content creator`s blog can play the contents in real-time. With the implemented personal mobile broadcasting service, mobile users can share multimedia contents in real-time through wireless networks. And, it also helps users to construct their own broadcasting stations where they can broadcast the scene of the accident or public performance in real-time.
Building Error-Reflected Models for Collaborative Filtering Recommender System
Kim, Heung-Nam ; Jo, Geun-Sik ;
The KIPS Transactions:PartD, volume 16D, issue 3, 2009, Pages 451~462
DOI : 10.3745/KIPSTD.2009.16-D.3.451
Collaborative Filtering (CF), one of the most successful technologies among recommender systems, is a system assisting users in easily finding the useful information. However, despite its success and popularity, CF encounters a serious limitation with quality evaluation, called cold start problems. To alleviate this limitation, in this paper, we propose a unique method of building models derived from explicit ratings and applying the models to CF recommender systems. The proposed method is divided into two phases, an offline phase and an online phase. First, the offline phase is a building pre-computed model phase in which most of tasks can be conducted. Second, the online phase is either a prediction or recommendation phase in which the models are used. In a model building phase, we first determine a priori predicted rating and subsequently identify prediction errors for each user. From this error information, an error-reflected model is constructed. The error-reflected model, which is reflected average prior prediction errors of user neighbors and item neighbors, can make accurate predictions in the situation where users or items have few opinions; this is known as the cold start problems. In addition, in order to reduce the re-building tasks, the error-reflected model is designed such that the model is updated effectively and users`new opinions are reflected incrementally, even when users present a new rating feedback.