• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.12
• /
• pp.2271-2279
• /
• 2007

In this paper, we introduce the notion of certificate-based encryption in multi-receiver environment, which avoids the inherent key escrow problem while preserving the implicit certification in identity-based encryption. We also construct a highly efficient certificate-based encryption scheme for multi-receiver environment, which eliminates pairing computation to encrypt a message for multiple receivers. Moreover, the proposed scheme only needs one pairing computation for decrypting the ciphertext. We compare our scheme with the most efficient identity-based encryption scheme for multi-receiver environment proposed by Baek et.al.[1] in terms of the computational point of view, and show that our scheme provides better efficiency than Baek's scheme. Finally, we discuss how to properly transform our scheme into a new public key broadcast encryption scheme based on subset-cover framework.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.27-35
• /
• 2008

The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis. and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form In order to efficiently process the loops, and exhibits the procedures for generating the loop tree.

• The Journal of the Korea Contents Association
• /
• v.19 no.3
• /
• pp.275-287
• /
• 2019

As game players have been more diverse and new features of digital games have been emerged in recent days, it is important to find out and understand how recent game players recognize and classify digital games. Thirty game players conducted Q-analysis of twenty-nine Q-statements extracted from previous studies on game typology. By using a QUANL program, three different types were revealed. For game classification, 'Physical Environment Centric Players' type highly values external game elements from the outside perspectives. 'Contents Centric Players' type considers internal game elements as the most important criterion. 'Emotional Experience Centric Players' type values his/her subjective feeling and thoughts. Based on this study, it is expected to make a contribution in developing a framework of game players with their perspectives on game classification.

• Journal of Broadcast Engineering
• /
• v.26 no.2
• /
• pp.175-183
• /
• 2021

The study of the fine grained classification of images continues to develop, but the study of object recognition for animals with polymorphic properties is proceeding slowly. Using only pet images corresponding to dogs and cats, this paper aims to compare methods using image processing and methods using deep learning among methods of classifying species of animals, which are fine grained classifications. In this paper, Grab-cut algorithm is used for object segmentation by method using image processing, and method using Fisher Vector for image encoding is proposed. Other methods used deep learning, which has achieved good results in various fields through machine learning, and among them, Convolutional Neural Network (CNN), which showed outstanding performance in image recognition, and Tensorflow, an open-source-based deep learning framework provided by Google. For each method proposed, 37 kinds of pet images, a total of 7,390 pages, were tested to verify and compare their effects.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.21 no.2
• /
• pp.177-186
• /
• 2021

This paper aims to show that cooperative robots, which have only been used in manufacturing sites, are expanding their scope of use in daily living spaces due to the expansion of non-face-to-face services. By combining robots and IoT technologies in terms of diversifying services in daily life and customized service areas, it is expected that the general public will also have easy access to smart technologies, and these technologies will be used in more areas. The robot barista system will provide customers with the services they want, monitoring, maintenance, and management of the system, making this paper convenient for customers, as well as managers who run stores, maintenance and repair, and engineers who design the system. This paper attempts to demonstrate this through a structure called Robopresso.

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

The development history of China's big data is relatively short, and it has only been ten years so far. Although the application level of big data in real life is not high, some achievements have been made in the supply chain. Various kinds of data will be generated in the actual operation of the supply chain. If these data can be effectively classified and used, the "bullwhip effect" of the operation of the supply chain can be also effectively improved. Thus this paper proposes the development of a supply chain collaborative inventory management model and application framework using big data. In this study, we analyzed the supply chain of beer industry, which is the most prominent consumption industry with "bullwhip effect", and further established a big data collaborative inventory management model for the supply chain of beer industry based on system dynamics. We used the Vensim software for simulation and sensitivity test and after appling our model, we found that the inventory fluctuations of the participants in the beer industry supply chain became significantly smaller, which verified the effectiveness of the model. Our study can be also applied to the possible problems of the large data supply chain collaborative inventory management model, and gives certain countermeasures and suggestions.

• Journal of the Korea Computer Graphics Society
• /
• v.26 no.5
• /
• pp.1-13
• /
• 2020

In this paper, we propose a new method to stable simulation the directional ice shape by coupling of freezing solver and viscous water flow. The proposed ice modeling framework considers viscous fluid flow in the direction of ice growth, which is important in freezing simulation. The water simulation solution uses the method of applying a new viscous technique to the IISPH(Implicit incompressible SPH) simulation, and the ice direction and the glaze effect use the proposed anisotropic freezing solution. The condition in which water particles change state to ice particles is calculated as a function of humidity and new energy with water flow. Humidity approximates a virtual water film on the surface of the object, and fluid flow is incorporated into our anisotropic freezing solution to guide the growth direction of ice. As a result, the results of the glaze and directional freezing simulations are shown stably according to the flow direction of viscous water.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.26 no.2
• /
• pp.37-42
• /
• 2022

The dual potential capacity model (DPCM) was extended to be suitable for evaluation of the shear strength of prestressed concrete (PSC) members in the previous study. This paper aims to simplify the DPCM for its better application in practice. To this end, a total of 172 shear test results of PSC members without shear reinforcement were collected from existing studies. The collected shear test results include PSC members with various section types and prestressing methods. It appeared that the simplified model could provide a good level of estimation accuracy of shear strength of PSC members, and it was comparable with that provided from the original DPCM.

• The Journal of the Korea Contents Association
• /
• v.22 no.6
• /
• pp.273-282
• /
• 2022

The narrative of the film, Sweet Smell of Success has a multi-layered structure. In Clifford Odets's scenario work, numerous lines for the main plot and subplots repeated a cycle of creation, decomposition, deletion, and modification to enhance the density of the story. As a result, whenever an actor spoke a line or paused, an action or an event that would trigger another line was created, giving depth and persuasiveness to the character's performance. The music of Sweet Smell of Success has multi-layered elements. The non-diegetic music was covered by the orchestral pieces performed by Elmer Bernstein's big band orchestra and the jazz pieces performed by Fred Katz's combo band. The diegetic music was mostly covered by the jazz pieces performed by the Chico Hamilton Quintet. The practical task of the film music was to reinforce or supplement the effect of the narrative driver, and the additional task was to realize the estrangement effect and the aesthetics of stagnation. The possibility and significance of intertextuality of subplots and double sound of this film are not simply confined to the limits of the film noir genre.