• The Transactions of the Korea Information Processing Society
• /
• v.4 no.2
• /
• pp.552-562
• /
• 1997

This paper proposes a formal method on confromance testing for INAP(AIN) test sequence generation by optimization technique.In order to implement and prove the dffectiveness of the proposed method,we specify the SRSM of INAP protocol SRF in SDL and generate I/O FSM by using our S/W tool. We generate an opti-mal test sequence by applying our method our method to this reference I/O FSM. We prove experimentally that the length of the generated test sequence by our method is more effective and shorter(i.e 32% improved)than the one geverated by UIO method,and estimate that The test coverage space of our test sequence is larger that of UIO method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.10
• /
• pp.1986-1993
• /
• 2015

We investigate the optimal resource and power allocation for device-to-device (D2D) communications in a multicell environment. When D2D links reuse the cellular radio resources, each D2D user will interfere with a cellular link and other D2D links, in its own cell as well as in adjacent cells. Under such situation, we propose a coordinated resource allocation scheme that can handle the intercell interferences as well as the intracell interference. For a given resource allocation, we also formulate a power optimization problem and present an algorithm for finding the optimal solution. The resource and power allocation algorithms are designed to maximize the achievable rate of the D2D link, while limiting the generated interference to the cellular link. The performance of the proposed algorithms is evaluated through simulations in a multicell environment. Numerical results are presented to verify the coordination gain in the resource and power allocation.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.5
• /
• pp.139-144
• /
• 2007

The mobile terminal's frequent changes to the access point introduce significant network overhead in mobile IP networks. To solve this problem, we introduce a hierarchical structure with consideration given to the dynamic value of neighbor scope in IP regional registration[1]. When a mobile terminal moves within the neighbor given by the scope value, it makes registration locally without registration with its home agent. We analyze the algorithm mathematically and show the numerical results. As a result, optimization of the scope value for the localized registration under the hierarchical structure makes the proposed scheme outperform the standard mobile IP protocol[2]. This can be explained from the fact that there is only local registration for terminal's movement within the scope region. Moreover, as the signaling cost for home agent increases, the proposed scheme becomes more advantageous.

• Journal of the Korean Society for Railway
• /
• v.17 no.6
• /
• pp.466-473
• /
• 2014

Recently, there is has been significant interest in the allocation systems of rail track capacities with considerations of the multiple train operating companies. The system indicates both a well-defined procedure and an algorithmic method to allocate the rail track capacities. Among them, this study considers the algorithmic method to derive the optimal timetable for the trains, which the companies propose together with their arrival and departure times at each station. However, most studies have focused on the adjustment of the departure and arrival times without conflicts, which could result in incompatible allocations with the line plan, which would result in an insufficient number of trains on each line to satisfy the demands. Our study presents a new optimization model and algorithm for the allocation problem in order to reflect the predetermined line plan. Furthermore, we provide the experimental results that were applied to the Korean high-speed railway network including the Suseo lines.

• Journal of the Korea Safety Management & Science
• /
• v.19 no.2
• /
• pp.173-180
• /
• 2017

Omni-channel strategy is an innovative paradigm for integrated information distribution of inventory, sales, operations, marketing, delivery, pickups and returns in supply chain management. Recently the distribution strategy faces new challenges with the advent of mobile distribution channels. Social media with countless apps imposes additional stress on supply chain operations. Due to these changes, distribution network in supply chain is changing naturally and rapidly from multi-channel to omnni-channel platform. Recently numerous domestic distributors establish and adapt this new supply chain optimization tool as a part of seamless flow of movements of goods from one channel to other channels. The objective of this paper is to present a preliminary findings on how omnni-channel affects the supply chain management. A survey is used to ascertain in the degree of omnni-channel implementation and statistical evidence is provided to test sets of hypothesis. The results of the questionnaire showed that consumers' purchasing styles differed by gender, age, purchase purpose, and product type. In particular, women consider purchasing experience in omni-channel to be important. As food and household goods can be conveniently shipped, consumers prefer online purchasing it. Conversely, consumers tend to favor omni-channel strategy in connection with offline experience in IT products.

• Korean Journal of Construction Engineering and Management
• /
• v.16 no.6
• /
• pp.53-62
• /
• 2015

Time-Cost Trade-Off (TCTO) model is an important model in the construction project planning and control area. Two types of Existing TCTO model, continuous and discrete TCTO model, have been developed by researchers. However, Using only one type of model has a limitation to represent a realistic crash scenario of activities in the project. Thus, this paper presents a comprehensive TCTO model that combines a continuous and discrete model. Additional advanced features for non-linear relationship, incentive, and liquidated damage are included in the TCTO model. These features make the proposed model more applicable to the construction project. One CPM network with 6 activities is used to explain the proposed model. The model found an optimal schedule for the example to satisfy all the constraints. The results show that new model can represent more flexible crash scenario in TCTO model.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.11
• /
• pp.2613-2620
• /
• 2014

In this paper, we consider a full duplexing (FD) wireless cellular network where a central base station (BS) works in the FD mode while the downlink (DL) and uplink (UL) users work in the time division duplexing (TDD) mode. Since this FD system induces the inter-user interference from UL user to DL user, the main challenge for maximizing the system performances is user scheduling that makes a pair of DL user and UL user to use the same radio resource simultaneously. We formulate an optimization problem for user pairing to maximize the cell capacity and propose a suboptimal user scheduling algorithm with low complexity. This scheduling algorithm is designed in a way where the DL user with a better signal quality has a higher priority to choose its UL user that causes less interference. Simulation results show that the FD system using the proposed user scheduling algorithm achieves the optimal performance and significantly outperforms the conventional TDD system in terms of the cell capacity.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.671-680
• /
• 1998

Network services, such as teleconferencing, remote diagnostics and education, and CSCW require multicasting. Multicast routing methods can be divided into two categories. One is the shortest path tree method and the other is the minimal Steiner tree method. The latter has an advantage over the former in that only one Steiner tree is needed for a group. However, finding a minimal Steiner tree is an NP-complete problem and it is necessary to find an efficient heuristic algorithm. In this paper, we present an evolutionary optimization method for finding minimal Steiner trees without sacrificing too much computational efforts. In particular, we describe a tree-based genetic encoding scheme which is in sharp constast with binary string representations usually adopted in convetional genetic algorithms. Experiments have been performed to show that the presented method can find optimal Steiner trees for given vetwork configurations. Comparitivie studies have shown that the evolutionary method finds on average a better solution than other conventional heustric algorithms.

• Proceedings of the Korea Contents Association Conference
• /
• 2008.05a
• /
• pp.116-120
• /
• 2008

Smart Camera provides intelligent vision functionalities which can interpret captured video, extract context-aware information and execute a necessary action in real-timeliness in addition to the functionality of network cameras which transmit the compressed acquired videos through networks. Intelligent vision algorithms demand tremendous computations so that real-time processing of computation of intelligent vision algorithms as well as compression and transmission of videos simultaneously is too much burden for a single CPU. Davinci processor of Texas Instruments is a popular ASSP(Application Specific Standard Product) which has dual core architecture of ARM core and DSP core and provides various I/O interfaces as well as networking interface and video acquiring interface necessary for developing digital video embedded applications. In this paper, we report the results of designing and implementing S/W for Davinci-based smart camera. We implement a face detection as an example of vision application and verify the implementation works well. In the future, for the development of a smart camera with more broad and real-time vision functionalities, it is necessary to study about more efficient vision application S/W architecture and optimization of vision algorithms on DSP core of Davichi processor.

• Journal of Satellite, Information and Communications
• /
• v.6 no.2
• /
• pp.51-59
• /
• 2011

To support seamless IPTV services in IP-based wireless network, delay or interruption time must be minimized because noticeable interruption will make IPTV service users unhappy. A number of protocols have been proposed for solving mobility problem. However effective seamless handover mechanism to support mobile IPTV services yet to be solved. Mobile WiMAX offers a wireless solution in the access networks that can support IPTV services. Goal of this paper is to identify some reasons of delay time during handover process in an IPv6 capable Mobile WiMAX and to perform handover delay of some optimization scenarios given by existing standardization and proposed improvement.