비동기적 분산 시스템하에서 선출 문제 해결을 위한 최소 필요 조건

박성훈,Park, Sung-Hoon 한국정보처리학회 2000 정보처리논문지 Vol.7 No.12

본 논문에서는 비동기적 분산 시스템에서 산출(Election) 문제를 해결하는데 필요한 최소한의 조건에 대해 논하고자 한다. 이 논문의 핵심은 비동기적 분산 시스템에서 산출 문제를 해결하는데 가장 약한 고장 추적장치는 무엇인가를 찾아내는 데 있다. 먼저 비동기적 분산 시스템에서 산출 문제와 합의(Consensus)문제에 대한 관련성을 토의하고 선출 문제는 합의 문제보다 더욱 어려운 문제임을 보인다. 보다 엄밀하게 표현하자면, 선출 문제를 해결하는데 필요한 가장 약한 고장 추적 장치는 완전한 고장 추적 장치이어야 하는 것으로, 이는 합의 문제를 해결하는데 필요한 가장 약한 고장 추적 장치보다 확실히 강한 것이다. This paper is about the minimum requirements to solve the Election problem in asynchronous distributed systems. The focus of the paper is to find out what failure detector is the weakest one to solve the Election problem. We first discuss the relationship between the Election problem and the Consensus problem in asynchronous distributed systems with unreliable failure detectors and show that the Election problem is harder than the Consensus problem. More precisely, the weakest failure detector that is needed to solve this problem is a Perfect Failure Detector. which is strictly stronger than the weakest failure detector that is needed to solve Consensus.

총설: 액체 중에서 상승하는 기포의 크기, 형상 및 속도

박성훈,Park, Sung Hoon 한국입자에어로졸학회 2017 Particle and Aerosol Research Vol.13 No.1

본 총설에서는 액체층을 통과하는 기포의 크기, 형상, 상승속도를 결정하기 위한 이론들을 살펴보았다. 액체의 물리적 특성과 기포의 유량으로부터 기포의 크기, 형상, 상승속도를 체계적으로 계산하는 여러 가지 이론식 및 모수식들을 살펴보고, 각각의 장단점을 정리하였다. 이 분야에서 발표된 초기 저작들에서는 주로 반복계산을 통해 기포의 형상과 상승속도를 결정하는 기법들이 사용되었으나, 최근에 발표된 논문들에서는 간단한 모수식을 통해 기포의 형상과 상승속도를 반복계산 없이 쉽게 구하는 기법들이 제시되고 있다. 이러한 기법들은 매우 다양한 물리적 특성을 가지는 실험결과들과의 비교에서도 우수성을 보여주고 있어, 관련 분야의 연구에 매우 유용한 도구로 사용할 수 있을 것으로 보인다. Accurate prediction of size, shape and velocity of a bubble rising through a liquid pool is very important for predicting the particulate removal efficiency in pool scrubbing, for designing engineering safety features to prepare for severe accidents in nuclear power plants, and for predicting the emission of fission products from MCCI (molten core-concrete interaction) process during severe accidents. In this review article, previous studies on the determination of the size, shape and rising velocity of a bubble in liquid are reviewed. Various theoretical and parameterization formulas calculating the bubble size, shape and velocity from physical properties of liquid and gas flowrate are compared. Recent studies tend to suggest simple parameterizations that can easily determine the bubble shape and rising velocity without iteration, whereas iteration has to be performed to determine the bubble shape and velocity in old theories. The recent parameterizations show good agreement with measured data obtained from experiments conducted using different liquid materials with very diverse physical properties, proving themselves to be very useful tools for researchers in related fields.

유기식품 인증제도의 현황과 과제

박성훈,Park, Sung-Hoon 한국식품저장유통학회 2009 식품저장과 가공산업 Vol.8 No.1

이중 전이와 자화 상전이 : 초전도성에 대한 전자 유체의 응축 모델

박성훈,최동식,신두순,김원수,Park, Sung-Hoon,Choi, Dong-Seek,Shin, Doo-Soon,Kim, Won-Soo 대한화학회 1998 대한화학회지 Vol.42 No.6

산화물 초전도체 발견 후 많은 이론적 발전이 있었으나, 초전도 상전이를 정확히 설명하는 이론은 아직 없다 하겠다. 특히 상전이점 근처에서 발견되는 이중전이(double transition)나 다양한 자기적 상전이에 대해서는 아직 정확한 이해가 없는 상태이다. 본 논문에 서는 전자유체의 응축모델을 사용하여 초전도 전이에 있어서, 전자기체의 응축과정이 CONFINEMENT와 TRAP의 두 단계로 일어남을 알았다. 이 두 단계 전이 메카니즘은 이중전이를 잘 설명할 뿐만 아니라, 여러 형태의 초전도에서 보이는 자기적 성질, 특히 다양한 vortex structure를 보여주는 magnetic phase transition을 잘 설명할 수 있었다. 여러 종류의 초전도체들에서 공통적으로 발견되는 double transition과 다양한 magnetic phase transition을 잘 설명할 수 있는지 여부가 초전도 현상 설명의 일반이론으로 적합한지를 결정할 것이다. Since the discovery of ceramic superconductor the various theoretical developments has progressed but there are no definitive description about the superconducting transition mechanism. In special, both the double transition and the various magnetic phase transition add to the complication of the understanding of HTSC. In this paper, we presented the idea of the two-step mechanism for the superconducting transition in view of the condensation model of electron fluid for superconductivity. And these concepts are successfully applied to the double transition and the magnetic phase diagram of various types of superconductivity. Therefore, both the double transition and magnetic phase transition should be the touchstone of general theory for superconductivity.

소형화와 저전력화를 위해 2M-byte on-chip SRAM과 아날로그 회로를 포함하는 SoC

박성훈,김주언,백준현,Park, Sung Hoon,Kim, Ju Eon,Baek, Joon Hyun 한국전기전자학회 2017 전기전자학회논문지 Vol.21 No.3

Based on several CPU cores, an SoC including ADCs, DC-DC converter and 2M-byte SRAM is proposed in this paper. The CPU core consists of a 12-bit MENSA, a 32-bit Symmetric multi-core processor, as well as 16-bit CDSP. To eliminate the external SDRAM memory, internal 2M-byte SRAM is implemented. Because the SRAM normally occupies huge area, the parasitic components reduce the speed of SoC. In this work, the SRAM blocks are divided into small pieces to reduce the parasitic components. The proposed SoC is developed in a standard 55nm CMOS process and the speed of SoC is 200MHz. 다종의 CPU를 기반으로 ADC와 DC-DC 변환기를 포함하며 2M-byte의 SRAM이 내장된 SoC가 제안되었다. CPU 코어는 12-bit MENSA 코어, 32-bit Symmetric Multi-core 프로세서, 16-bit CDSP로 구성된다. 외부 SDRAM 메모리를 제거하기 위해 내부의 2M-byte SRAM을 설계하였으나 SRAM 블록들이 넓은 영역에 분포하여 기생 성분에 의해 속도가 저하되므로 SRAM을 작게 분할하여 레이아웃 하였다. 설계된 SoC는 55nm 공정으로 개발되었으며 속도는 200MHz이다.

인터넷 쇼핑몰 니즈 분석 시스템의 설계 및 구현

박성훈,김진덕,Park, Sung-hoon,Kim, Jindeog 한국정보통신학회 2015 한국정보통신학회논문지 Vol.19 No.9

온라인에서 제품을 고르고 실질적인 구매는 오프라인에서 이루어지는 역 쇼루밍이 급격히 늘고 있다. 역 쇼루밍이 늘고 있다는 것은 이미지와 설명을 기반으로 한 인터넷 쇼핑몰의 사용자 분석에 한계가 있음을 의미한다. 따라서 대형 온라인 쇼핑몰은 고객 맞춤형 쇼핑정보를 제공하고 있으나, 단순히 고객이 검색하거나 구매한 상품을 나열하여 제공하여 준다. 따라서 사용자의 다양한 요구를 분석하고 적용할 수 있는 온라인 쇼핑몰이 필요하다. 본 논문에서는 새로운 니즈분석 시스템을 제안한다. 제안된 시스템은 사용자 정의 모듈과 후기 분석 모듈로 구성되어 있다. 전자는 두 개의 상품을 지정하고 개인별 사용자 선호도를 수집하며, 후자는 저장된 데이터베이스 사전을 이용하여 구매 상품의 후기를 분석한다. 구현된 시스템은 개별 사용자의 요구를 충족하는 상품을 추천할 수 있음을 보였다. Even though users choose goods they want to buy in on-line shopping malls, real purchase is often performed in off-line shopping malls. It is called reverse showrooming. It means that users' analysis of goods based on images and description of internet shopping malls has limitation. Thus, large-scale online shopping malls provide a customized shopping information. However, in that case, the provided information is a simple list of goods users bought or retrieved. Thus, a system to analyze various needs of users and apply the result into on-line shopping mall is necessary. In this paper, an analysis system is proposed. The system contains a module to analyze user defined preference and a module to analyze users' reviews. The former designates two goods and collects preferences of individual users. the latter analyzes reviews about purchased goods based on database dictionary stored in advance for analyzing reviews. The system implemented shows that it is possible to recommend some goods that meet each users's needs

선호도 분석을 위한 내·외부 SNS 활용기법

박성훈,김진덕,Park, Sung-Hoon,Kim, Jindeog 한국정보통신학회 2015 한국정보통신학회논문지 Vol.19 No.12

SNS(Social Network Service)의 등장으로 쇼핑 패턴이 변화하고 있다. 최근의 쇼핑몰은 고객의 니즈를 반영한 상품정보 제공에 관심을 갖고 있다. 일반적으로 제공되는 정보는 사용자의 단순 검색 이력을 기반으로 한 상품정보를 제공하는 수준이며, 추천되는 상품 목록은 대중의 선호도를 반영하여 제공된다. 그러나 제공되는 상품 정보는 개인의 선호도와는 무관하다. 이 논문에서는 각 개인의 관심 상품에 대한 대중의 선호도를 분석하기 위한 내 외부 SNS 활용 기법을 제안한다. 제안된 시스템은 내 외부 SNS 모듈로 이루어져 있다. 내부 분석 모듈은 사용자가 지정한 두 개 상품의 비교를 통하여 커뮤니티 사용자의 선호도를 수집 및 분석한다. 외부 분석 모듈은 트위터(Twitter)를 활용하여 그룹 및 타인의 니즈를 분석할 수 있도록 지원한다. 구현 결과 기존의 쇼핑몰과 달리 개별 사용자의 선호도에 따라 상품을 추천할 수 있음을 보였다. Shopping patterns are changing with the emergence of SNS. Recently, it is also interested in providing the information based on the users' needs. Generally, the provided information is obtained from the history of users' simple browsing. Best selling hot item list is also provided in order to reflect the preferences of public users. However, the provided information is irrelevant to an individual preference. In this paper, we propose a method to utilize inner and outer SNS for analyzing public preferences about goods which are interested by individual users. The inner analyzing module collects and analyzes the preferences of community members about two goods designated by individual users. The outer analyzing module supports to analyze public preferences by using the tweeter SNS. The results of implementation show that it is possible to recommend goods based on the individual users' preferences unlike the existing shopping mall.

입자 크기의 함수로 나타낸 대기 중 블랙카본의 변성시간척도

박성훈,Park, Sung Hoon 한국입자에어로졸학회 2009 Particle and Aerosol Research Vol.5 No.2

Black carbon, which is a by-product of combustion of fossil fuel and biomass burning, is the component that imposes the largest uncertainty on quantifying aerosol climate effect. The direct, indirect and semi-direct climate effects of black carbon depend on its state of the mixing with other water-soluble aerosol components. The process that transforms hydrophobic externally mixed black carbon particles into hygroscopic internally mixed ones is called "aging". In most climate models, simple parameterizations for the aging time scale are used instead of solving detailed dynamics equations on the aging process due to the computation cost. In this study, a new parameterization for the black carbon aging time scale due to condensation and coagulation is presented as a function of the concentration of hygroscopic atmospheric components and the black carbon particle size. It is shown that the black carbon aging time scale due to condensation of sulfuric acid vapors varies to a large extent depending on the sulfuric acid concentration and the black carbon particle size. This result indicates that the constant aging time scale values suggested in the literature cannot be directly applied to a global scale modeling. The aging time scale due to coagulation with internally mixed aerosol particles shows an even stronger dependency on particle size, which implies that the use of a particle-size-independent aging time scale may lead to a large error when the aging is dominated by coagulation.

선박 수리장비 관리를 위한 이미지 비교기법

박성훈,김진덕,Park, Sung-Hoon,Kim, Jin-Deog 한국정보통신학회 2014 한국정보통신학회논문지 Vol.18 No.10

기존 수기 작성기반 선박 수리장비 관리 시스템은 빈번한 장비 분실 및 연체로 장비 관리에 많은 문제점들이 있다. 이러한 문제를 해결하고자 바코드 시스템을 도입하였다. 그러나 바코드 훼손에 따른 위조 장비의 대체 문제에 대처할 수 없다. 따라서 고가의 선박 수리장비의 관리를 위해 추가적인 확인 절차가 필요하다. 본 논문에서는 선박 수리장비 관리를 위한 이미지 비교기법을 제안한다. 구체적으로 모바일 디바이스의 특징을 이용한 정규화와 이미지 비교 판단 조건을 제안한다. 실시간 촬영 및 오버랩과 Crop 기능을 가진 모바일 디바이스를 이용하여 이미지를 정규화 하였고, 유사이미지에 대처할 수 있는 이미지 비교 판단 조건 세 가지(사각형의 내각의 합, 각 내각의 크기, 모서리의 좌표점)를 적용하였다. 그 결과 본 논문에서 제시한 방법이 방향, 조명, 크기 등의 변화에도 강건함을 보이며 테스트 결과 95% 이상의 정확도를 보였다. The existing ship repair tool management system based on hand writing has many problems such as frequent loss of tool and overdue. To solve this problem, same systems have adopted the bar-code system. However, the systems can't cope with a problem to substitute spurious tool for genuine one on bar-code damage. Therefore, additional validation steps are necessary in order to manage expensive ship repair tool. In this paper, we propose an image comparison method for ship repair tool management. To be more concrete, we propose a normalization method and determination conditions for image comparison to use characteristics of mobile device. The normalization method makes use of the characteristics of mobile device that provides functions of real time recording, overlapping and cropping images. The proposed method applies three conditions(sum of inner angles, size of angle, position of corner coordinates) into the comparison module. The implemented system shows good performance on change direction, lighting, size and etc. The accuracy is more than 95%.

교차영향분석을 활용한 건설 업무기능 및 공종 별 주요 IT기술 도출

박성훈,권순욱,김영석,Park, Sung-Hoon,Kwon, Soon-Wook,Kim, Young-Suk 한국건설관리학회 2012 한국건설관리학회 논문집 Vol.13 No.1

최근 국내 건설 시장은 포화 및 성장률 둔화 등의 어려움을 겪고 있다. 이에 디지털 컨버젼스 시대에 맞춰 IT기술을 융합함으로써 당면한 상황을 타개하려는 움직임을 흔히 볼 수 있다. 하지만, 건설산업은 IT융합의 여지가 매우 적었으며 단순히 IT기술을 필요에 따라 사용해 왔다. 다시 말해 건설 프로세스 전체가 아닌 일부 공정 공종으로 한정적으로 적용해 왔다. 따라서 본 논문에서는 건설 전(全) 프로세스와 관련하여 포괄적 관점에서 융합기술을 분석하여, 건설 IT융합 모델 개발 및 활용방향의 지표가 될 수 있는 프로세스 단계 별 적합한 유망 IT기술을 도출하고 나아가 효과적인 건설 IT융합의 기본방향을 제시하고자 한다. Domestic construction industry, which has recently had difficulty in market saturation and slowing growth, is trying to resolve this situation by incorporation with IT technology. However, there was less choice and has simply used IT technology as required in construction field. In other word, IT technology has applied to not all processes but some parts. Therefore, in this paper, we find out suitable and promising IT technology to each step of construction process, analyzing IT convergence technology related to whole process comprehensively in order to suggest fundamental directions for effective construction IT convergence in the field.