• Journal of Internet Computing and Services
• /
• v.19 no.3
• /
• pp.25-33
• /
• 2018

This paper proposes a cloud workflow model theoretically supported by the information control net modeling methodology as a cloud workflow modeling methodology that is mandatory in implementing realtime enterprise workflow management systems running with cloud computing environments. The eventual goal of the cloud workflow model proposed in this paper is to support those cloud workflow architectures reflecting the types of cloud deployment models such as private, community, public, and hybrid cloud deployment models. Moreover, the proposed model is a mathematical graph model that is extended from the information control net modeling methodology used in conventional enterprise workflow modeling, and it aims to theoretically couple this methodology with the cloud deployment models. Finally, this paper tries to verify the feasibility of the proposed model by building a possible cloud workflow architecture and its cloud workflow services on a realtime enterpeise cloud workflow management system.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1715-1721
• /
• 2006

기존의 탄도미사일 방어무기의 배치와 관련된 대부분의 연구들은 배치규모가 결정된 상태에서 후보지 중 최적위치를 구하는 것이 일반적이며, 방어확률이 최대가 되는 것을 목적으로 하는 확률적 부분담당모델의 개념을 적용한다. 본 연구에서는 무기의 도입 및 배치를 담당하는 의사결정자들에게 보다 많은 상황과 변수를 가정할 수 있도록 하는 의사결정모델을 제안한다. 모델에는 기존에 고려하지 않았던 후보지의 수준 및 방호시설의 최소방어요구수준 등이 포함되어 있으며, 모델은 의사결정자들이 결정하는 결정변수에 따라 각기 다른 방어무기의 위치와 규모 및 방어확률을 제시 하게 된다. 모델의 결과로 제시되는 내용은 무기체계의 최초소요제기 단계에서 필요규모와 위치를 결정하고 또한, 그 결과 값이 최초계획단계의 대략적 무기배치규모와 상이할 경우는 그 값이 필요성과 타당성을 가질 수 있는 수치적 분석을 제공해 준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.79-80
• /
• 2023

동기식 분산 딥러닝 기법은 그래디언트 계산 작업을 다수의 워커가 나누어 병렬 처리함으로써 모델 학습 과정을 효율적으로 단축시킨다. 배치 사이즈는 이터레이션 단위로 처리하는 데이터 개수를 의미하며, 학습 속도 및 학습 모델의 품질에 영향을 미치는 중요한 요소이다. 멀티 GPU 환경에서 작동하는 분산 학습의 경우, 가용 GPU 메모리 용량이 커짐에 따라 선택 가능한 배치 사이즈의 상한이 증가한다. 하지만 배치 사이즈가 학습 속도 및 학습 모델 품질에 미치는 영향은 GPU 활용률, 총 에포크 수, 모델 파라미터 개수 등 다양한 변수에 영향을 받으므로 최적값을 찾기 쉽지 않다. 본 연구는 동기식 분산 딥러닝 환경에서 실험을 통해 최적의 배치 사이즈 선택에 영향을 미치는 주요 요인을 분석한다.

• Journal of Korea Multimedia Society
• /
• v.11 no.11
• /
• pp.1515-1524
• /
• 2008

This paper proposes a method that detects a license plate in complex background using a multiple-color model and character layout information. A layout of a green license plate is different from that of a white license plate. So, this study used a strategy that firstly assumes the plate color and then utilizes its layout information. At first, it extracts green areas from an input image using a multiple-color model which combined HIS and YIQ color models with RGB color model. If green areas are detected, it searches the character layout of the green plate by analyzing the connected components in each areas. If not detected, it searches the character layout of the white plate in all area. Finally, it extracts a license plate by grouping the connected components which corresponds to characters. Experimental result shows that 98.1% of 419 input images are correctly detected. It also shows that the proposed method is robust against illumination, shadow, and weather condition.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.3
• /
• pp.241-253
• /
• 2003

SCA (Software Communication Architecture), which has been adopted as a SDR(Software Defined Radio) Forum standard, provides a framework that successfully exploits common design patterns of embedded systems software. However, the SCA is inadequate as a component framework since it does not explicitly specify (1) a component model that defines how to express a component interface and how to implement it, (2) a package model that defines what and how to package in deployment units, and (3) a deployment model that defines the deployment environment and deployment process. In this paper, we propose a SCA-based component framework for SDR. Specifically, we present (1) a component model that defines a component as a specialized CORBA object that implements object management functionality, (2) a package model exploiting the existing XML descriptors of the SCA, and (3) a deployment model that defines a SCA-based deployment environment, a boot-up process that restores the deployment state, and a deployment process that supports lazy application instantiation and dynamic component replacement.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.598-603
• /
• 2008

Sequence-Pair(SP)는 플로어플랜을 표현하는 모델 중 하나로써, 일반적으로 SP 모델을 사용하는 플로 어프래너 (floorplanner)는 Simulated-Annealing (SA) 알고리즙을 통해 해 탐색 과정을 수행한다. SP 모델을 이용한 다양한 논문에서 플로어플랜 성능 향상을 위해 평가함수의 개선과 스케줄링 기법 향상을 모색하였으며, 평가함수의 경우 O(nlogn) 시간 알고리즘이 존재한다. 본 논문에서는 SP 모델을 이용한 SA 기법에서 SA의 해 탐색 과정 중 초기 해 탐색 시점에서 좋은 해를 빠르게 찾을 수 있는 방법을 제안한다. 제안 기법은 기존의 SA 프레임펙을 수정한 2단계 SA 알고리즘으로써 SP에 대응하는 배치를 압축하고 압축한 배치를 역변환하는 과정으로 구성된다. 실험과 결과를 통해 제안기법의 효과를 보이며, 평균적으로 동일한 SA 환경 하에서 제안기법이 최종결과 면에서 우수함을 보인다.

• Journal of the Society of Naval Architects of Korea
• /
• v.31 no.4
• /
• pp.23-31
• /
• 1994

The compartmentation model is represented by the characteristics and geometric information of the spaces defined by the structural members which are used for the boundary planes of the compartment. For the efficient compartment modeling a program performing the compartmentation design by the chopping and merging method was presented by authors. In this research, the development of an interactive ship compartmentation modeller is introduced. It is natural that the value of the program lessens if the input process is complicated and uneasy, even though the internal techniques for the compartmentation modeling are superior. In this paper, a method for the convenient input is proposed and implemented with the help of a graphical user interface technique. The modeling method introduced in this paper performs an efficient compartmentation modeling fast and conveniently by the solid modeling concept and the graphical user interface.

• Proceedings of the KOSOMBE Conference
• /
• v.1994 no.12
• /
• pp.131-133
• /
• 1994

뇌전위 측정에 의해 흥분 뉴런군의 위치를 추정하는 source localization problem은 Evoked Potential 해석법에 있어서 매우 중요한 의미를 갖는다. 이번 논문에서는 EEG실험에서의 전극 배치가 S/N(signal to noise ratio)과 추정 오차 사이에 어떤 영향을 미치는 가를 Monte Carlo 시뮬레이션으로 조사하였다. 머리 모델은 3중 구각 모델을 사용하였고 이론 이용하여 forward problem을 계산하였다. 쌍극자 파라미터를 minimization 하는 문제는 simplex method를 이용하여 계산하였다. 컴퓨터 시뮬레이션 결과, 특이한 점은 전극의 밀도와 입체각에 의해 쌍자 파라미터 오차가 변화했다는 사실이다. 이것은 곧바로 전극 배치와 연관이 된다. 실제 EEG 실험에서 전극 배치를 어떻게 했는가에 따라 그에 따른 오차가 변화한다. 이러한 오차의 원인을 제거하기 위해서 새로운 전극 배치를 모델링하여 기존의 전극 배치와 비교해 보았다. 그 결과 전극 밀도와 입체각에 대한 오차를 크게 줄일 수 있었다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.8
• /
• pp.659-666
• /
• 1990

Curing recent years, several state-space models describing discrete two dimensional systems are proposed. In this paper, we consider the problem of pole assignment of two dimensional systems using state feedback, based on state-space model proposed by Roessser. The design procedure is seperated into two steps. in thie first step, the sufficient condition for off diagonal matrix of the input transformed system to be zero is derived and in the second step, it is shown that the pole assignment problem of two dimensional systems is divided into the one of two 1-dimensional systems. Finally, a numerical example for illustrating the technique is given.

• Plant Journal
• /
• v.13 no.4
• /
• pp.41-47
• /
• 2017

This paper is a study on validation model that can verify the arrangement of equipment constituting offshore plant using system engineering approach in offshore plant tender stage. In order to design offshore plant topside maintenance equipment, topside layout verification should be preceded. However, there are many errors in the bidding stage due to the FEED results that are not perfect, the verification can not be performed sufficiently due to the limitation of the bidding period and others reasons. Therefore, we propose a validation model that can effectively verify the equipment layout within a limited condition by simplifying the main process in the system engineering process, which is a multidisciplinary approach, and confirmed through the Functional Deployment Model. Also, we verified the validation model for topside equipment deployment through case studies.