• Journal of the Korea Society for Simulation
• /
• v.25 no.4
• /
• pp.21-30
• /
• 2016

Recently manufacturing companies have used PLC control programs popularly for their automated production systems. Since the life cycle of production process is not so long, the change of the production lines occur frequently. Most of changes happen with modification of the position information and control process of the equipment. PLC control program is also modified based on the fundamental process. Therefore, to verify new PLC program by configuring virtual space according to real environment is needed. In this paper we show a logical modeling method, based on Timed-FSA useful for sequence control and dead-lock prevention. There is a problem wasting user's labor and time when defining a variety of states in a device. To overcome this problem, we propose an extended I-O model based on existing methods by adding a token concept of Petri Nets. Also we will show the usability of the extended I-O modeling through user study.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2016.10a
• /
• pp.197-199
• /
• 2016

In this paper, we investigate a market equilibrium in multi-channel sharing cognitive radio networks (CRNs): it is assumed that every subchannel is orthogonally licensed to a single primary user (PU), and can be shared with multiple secondary users (SUs). We model this sharing as a spectrum market where PUs offer SUs their subchannels with limiting the interference from SUs; the SUs purchase the right to transmit over the subchannels while observing the interference limits set by the PUs and their budget constraints. The utility function of SU is defined as least achievable transmission rate, and that of PU is given by the net profit. We define a market equilibrium in the context of extended Fisher model, and show that the equilibrium is yielded by solving an optimization problem, Eisenberg-Gale convex program.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.1
• /
• pp.1-6
• /
• 2021

The paper proposes the design of AES-based encryption chip for IoT security. ROM based S-Box implementation occurs a number of memory space and some delay problems for its access. In this approach, S-Box is designed by pipeline structure on composite field GF((22)2) to get faster calculation results. In addition, in order to achieve both higher throughput and less delay, shared S-Box are used in each round transformation and the key scheduling process. The proposed AES crypto-processor is described in Veilog-HDL, and Xilinx ISE 14.7 tool is used for logic synthesis by using Xilinx XC6VLX75T FPGA. In order to perform the verification of the crypto-processor, the timing simulator(ModelSim 10.3) is also used.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.3
• /
• pp.1-7
• /
• 2021

In this paper, optimized media data retrieval and transmission based on the Hybrid CDN/P2P architecture and selective storage through user's prediction of requestability enable seamless data transfer to users and reduction of unnecessary traffic. We also propose a new media management method to minimize the possibility of transmission delay and packet loss so that media can be utilized in real time. To this end, we construct each media into logical segments, continuously compute weights for each segment, and determine whether to store segment data based on the calculated weights. We also designate scattered computing nodes on the network as local groups by distance and ensure that storage space is efficiently shared and utilized within those groups. Experiments conducted to verify the efficiency of the proposed technique have shown that the proposed method yields a relatively good performance evaluation compared to the existing methods, which can enable both initial latency reduction and seamless transmission.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.6
• /
• pp.1031-1041
• /
• 2020

Cloud computing technology plays an important role in the deep learning industry as deep learning services are deployed frequently on top of cloud infrastructures. In such cloud environment, virtualization technology provides logically independent and isolated computing space for each tenant. However, recent studies demonstrate that by leveraging vulnerabilities of virtualization techniques and shared processor architectures in the cloud system, various side-channels can be established between cloud tenants. In this paper, we propose a novel attack scenario that can steal internal information of deep learning models by exploiting the Meltdown vulnerability in a multi-tenant system environment. On the basis of our experiment, the proposed attack method could extract internal information of a TensorFlow deep-learning service with 92.875% accuracy and 1.325kB/s extraction speed.

• Journal of the Korea Society for Simulation
• /
• v.18 no.2
• /
• pp.49-55
• /
• 2009

In this paper, we investigate an optimal allocation of constant service resources in stochastic system to optimize the expected performance of interest. For this purpose, we use the control variates to estimate the gradients of expected performance with respect to given resource parameters, and apply these estimated gradients in stochastic optimization algorithm to find the optimal allocation of resources. The proposed gradient estimation method is advantageous in that it uses simulation results of a single design point without increasing the number of design points in simulation experiments and does not need to describe the logical relationship among realized performance of interest and perturbations in input parameters. We consider the applications of this research to various models and extension of input parameter space as the future research.

• Design Convergence Study
• /
• v.12 no.6
• /
• pp.159-175
• /
• 2013

Recently, Interests in rehabilitation of the old town center has grown. Incheon city are propelling many renewal plans for the area, Rapid Urbanization and outskirt developments have expanded city space and city center has been weakened and declined. With responds to these phenomena, World's interests on creative city is increasing nowadays and projects of creating creative city from many countries are being launched. Korea is one of the countries who follows this trend and is also proceeding projects on creating creative city. However, identities of our nation and city which have rapidly grown only based on logics of economic growth are disappearing. Hence, this study intend to focus on the cities of creative which draw the participation of its citizens. Thus, this study examining basic theoretical background from literatures, theory, precedent studies related to citizen participation & creative city. Then, the study establish a framework of analysis by extracting principal factors to creative city construction methodology centered on citizen participation. Furthermore, this study suggests the creative city construction methodology of citizen participation centered on for old downtown through survey residents consciousness.

• Industry Promotion Research
• /
• v.9 no.2
• /
• pp.137-151
• /
• 2024

This study analyzes the feng shui characteristics of the location of Seon-un Temple in Do-sol Mountain, Gochang from a metaphysical and selfish perspective through field research and literature review.A characteristic element of feng shui was that it prioritized harmony with nature and made it a reference point for selecting a location through a reasonable method. In the Silla Dynasty, adherent monks studied in the Gangseo area, where the Hyeongsepungsu first appeared, and this Hyeongsepungsu of the Gangseo District Law flowed into Korea and played a leading role in selecting the location of the temple and arranging Garam. Seon-un Temple was located under Do-sol Mountain and had no choice but to have great significance, and it was a practice of the desire to achieve Buddhist perfection through Do-sol Stream and Do-sol Small Temple, which enter the kingdom of Buddha. A s a result, the location of Seon-un Temple under Do-sol Mountain in Gochang reflected a variety of feng shui characteristics. In particular, the location of Sun-un Temple in Do-sol Mountain logically used the characteristics and meanings of feng shui and practiced becoming one with nature, which is aimed at spreading Buddhist doctrine and ideology, which has the holiest meaning of Buddhism.

• Journal of the Korean association of regional geographers
• /
• v.3 no.2
• /
• pp.121-150
• /
• 1997

This Study puts the purpose to explicate the regionalities of land-lease farming by a comparative analisis of the five case study areas in Kungpook Province as the agricultural space system of Teagu metropolitan city. For the regional comparative analysis the province was divided into the three zones with the distance from the central city(Teagu): urban fringes, intermediate and remote zone, and then subdivided into the five regions by farming systems : horticulture, rice-farming, and dry-field farming. The data were collected from 77 land-leasing farmers by questionnaire and interview with farm managers in 5 sample villages representing the regionalities of the above five regions respectively. In spite of relatively restricted scope of the research areas, the analytical results appear remarkable regional differences in the characteristics of land-lease farming within a single agricultural space system. In the final analysis the regionalities of the five land-lease farming regions could be described respectively as follows. (1) Koryong-Gun in the inner urban fringe zone : The developing land-lease farming region of commercialized suburban horticulture with medium scale. (2) Songju-Gun in the outer urban fringe zone : The developing land-lease farming region of highly commercialized horticulture with large scale. (3) Uisong-Gun in the intermediate zone : The stagnated land-lease farming region of commercialized rice-farming with large scale. (4) Yongil-Gun in the intermediate zone : The stagnated land-lease farming region of commercializing dry-field farming with medium scale. (5) Ponghwa-Gun in the remote zone : The stagnated and delayed region in commercializing of intermountain dry-field land-lease farming with small scale. These varied regionalities resulted from the diverse spatiality as a complex of spatial orders and localities. The spatial orders in this study are frequently recognizable as a form of distance-decay, and the locality of a region is determined mostly by the its peculiarity of physical and population conditions. In the comparative analysis of the regionalities the degree of commercialization of a region is a most comprehensive and useful frame of reference because it reflects the degree of development of capitalist land-lease farming. Finally these apparent regional differentiations of land-lease farming within a agricultural space system raise the problem of impracticality of the existing uniform logic on the land-lease farming such as "large scale farms share larger part of leased farmland." This problem suggests the urgent need of reappraisal of many aspatial logics and theories on the land-lease farming.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.8 no.4
• /
• pp.102-113
• /
• 2005

Ecosystem is composed of human, biotic and abiotic environment. Landscape is an ecosystem which appear in a unit region. These landscape are the spatiotemporal land mosaic which is combined with various landscape elements. And, land use and land cover changes are important factors of landscape structure changes. This study is mainly focused on the analysing the spatiotemporal change patterns of Daegu metropolitan sphere forest landscape, using landscape indices and Ecosystem Service Value (ESV) which quantify ecosystem structures and functions. The results of this study are as follow: The encroachment and fragmentation of forest were due to linear developments, i. e. road construction, rather than large-scale developments such as residental lands or industrial complexes. And, the core area percentages of landscape gradually decreased and these could possibly deteriorate the soundness of forest areas by reducing the core areas which are habitats of species. In addition, there was intimate relations between ESV and forest landscape area. The results of this study can be detached standards for impartial judgements between the logic of development & conservation, and basic standards for the establishment of development plans, i. e. metropolitan-plans, which are adequately reflected ecosystem value.