광학 임계 치수의 베이지안 추론을 위한 대체 모형 기반 Metropolis-Hastings 알고리즘 적용

김형진,이승호,안중찬,나지혜,박철진 한국경영과학회 2024 經營 科學 Vol.41 No.1

In semiconductor manufacturing, it is important to rapidly estimate the values of the line widths or height, called the critical dimension (CD), of a nanoscale structure. In this paper, we consider the optical CD measurement that is designed to figure out CD values by comparing a given measured spectrum with calculated spectra from a simulation model. The main problem of this study is to identify the posterior distributions of the CD values using Bayesian inference with high computational efficiency in the optical CD measurement. The delayed acceptance Metropolis-Hastings algorithm (DAMH) uses a surrogate model in the proposal distribution to avoid unnecessary computations within the Metropolis-Hastings algorithm. We introduced a single-layered Bayesian neural network as a surrogate model and then implemented the DAMH algorithm with the model to identify the posterior distributions of the CD values of the 2-dimensional high-aspect-ratio structure in semiconductor manufacturing. We applied the DAMH algorithm and a basic Metropolis–Hastings algorithm to the case study and obtained numerical results showing that the DAMH algorithm significantly improves computational efficiency while maintaining the same level of accuracy as a basic Metropolis-Hastings algorithm.

에너지 플랜트용 유수분리장치의 설계인자가 성능에 미치는 영향

김형진,노현재,김윤제 대한기계학회 2019 大韓機械學會論文集B Vol.43 No.1

Oil sands, one of the unconventional energy resources, are found in relatively deeper layers than other resources. Therefore, oil sands are generally extracted by steam assisted gravity drainage (SAGD), which is an underground recovery method in which high-temperature steam is injected together with organic solvent. In this process, a free-water knockout (FWKO) is necessary to process the large amounts of water used, and this oil-water separator separates two-phase or multiphase working fluids so that the next process can be performed. In this study, the effects of various design factors of the oil-water separator (the main process unit of the oil sand plant) on the separation performance were investigated numerically. Using the pseudo-transient method which is based on the finite volume method, the effects of the vane distributor, cyclone separator, and modularization on the separation performance were analyzed. 비전통 에너지자원 중 하나인 오일샌드는 다른 자원에 비해 상대적으로 심층에 존재하기 때문에 일반적으로 고온의 증기를 유기 용매와 함께 주입하는 지하회수법인 SAGD(Steam Assisted Gravity Drainage) 공법에 의해 추출된다. 해당 공정에서 사용되는 다량의 물을 처리하기 위해서는 유수분리장치(FWKO, Free-water knock out)가 필요하게 되는데, 이 장치는 2상 혹은 다상의 작동유체를 다음 공정으로 진행할 수 있도록 상 분리를 시킨다. 본 연구는 오일샌드 플랜트의 주요 공정유닛인 유수분리장치의 다양한 설계인자가 장치의 분리성능에 미치는 영향에 관하여 수치적으로 고찰하였다. 유한체적법을 기반으로 준과도 해석기법을 활용하였으며 베인 분배기와 사이클론 분리기, 그리고 모듈화가 분리성능에 미치는 영향을 분석하였다.

미국의 사해행위 취소 요건과 우리 법에 대한 시사점 - 피고적격, 선의 입증책임, 부인권과 정합성을 중심으로 -

김형진 법조협회 2023 法曹 Vol.72 No.2

There is a view that Korea's legal doctrines regarding fraudulent transfers are biased in favor of creditors. This study examines the Uniform Voidable Transactions Act (referred to as "UVTA") in the United States to evaluate the appropriateness of Korean law. The implications are as follows: (1) In the United States, when a creditor has not reduced its claim to judgment, the debtor is an indispensable party defendant in an action to set aside a fraudulent transfer. This is because the debtor has the right to be heard regarding the validity or amount of the claim. Korean civil law should also allow debtors to intervene in fraudulent transfer actions. (2) In the United States, the burden of proof for the affirmative defense of good faith lies with the defendant in a fraudulent transfer action. However, the burden of proof can be eased through discovery. Given that the approach of Korean law to the burden of proof is uncommon, legislative improvements are necessary to shift such burden onto the creditor. (3) The UVTA is largely consistent with Section 548 of the U.S. Bankruptcy Code, which deals with voidable transfers. This is because they have the same origin. This demonstrates the need to improve the consistency between civil law and bankruptcy law in Korea. 우리나라에서 채권자취소소송이 과도하게 제기되고 인용률도 높다는 지적이 있다. 이는 채권자취소권의 요건이 채권자에게 유리하게 편향되어있지는 않은지 검토할 필요성을 제기한다. 본 논문은 우리 채권자취소 법제의 균형성을 검토하기 위해 미국의 사해행위 취소 법제를 살펴보았다. 미국의 제도에 비추어 볼 때 우리나라 채권자취소권에 다음과 같은 개선이 필요하다. 첫째, 우리 법은 채무자를 채권자취소소송의 피고로 인정하지 않으면서, 그 이유로 상대적 효력설을 들고 있다. 그런데 미국의 법제는 사해행위 취소에 상대적 효력만을 인정하면서도 채무자를 소송의 피고로 인정하고 있어, 채권자취소의 효력을 상대적인 것으로 보면서도 채무자를 채권자취소소송에 개입하도록 하는 형태가 가능함을 보여준다. 우리나라 채권자취소소송에서도 채무자를 소송의 피고로 하거나, 채무자에 대해 소송고지가 이루어지도록 하는 등 채무자가 채권자취소소송에 개입할 수 있는 여지를 열어둘 필요가 있다. 둘째, 우리 법은 수익자가 자신의 선의에 대한 입증책임을 부담하도록 하고 있다. 그러나 해외 주요국의 사해행위 취소 법제는 대부분 채권자가 수익자의 악의를 입증하도록 한다. 우리 법과 유사한 태도를 취하는 국가로 미국과 일본이 언급되고 있으나, 미국에 증거개시제도(discovery)가 있다는 점을 고려하면 미국의 법제가 우리나라와 유사한 입법례라고 보기 어렵다. 이와 같은 비교법적 고찰에 더하여 거래안전을 보호할 필요성 등을 고려하면, 수익자의 주관적 요건에 관한 입증책임을 전환하는 입법적인 개선이 필요하다. 셋째, 채권자취소권과 도산법상 부인권은 그 기원이 동일하고 기능이 유사함에도 우리 법은 두 제도의 요건을 상당히 다르게 규율하고 있어 제도 간 정합성이 떨어진다. 특히 채권자취소권에 더 완화된 요건이 설정된 부분도 있어 균형이 맞지 않는 측면이 있다. 사해행위 취소권과 도산법상 부인권을 유사하게 규율하는 미국의 입법례를 참고하여 우리 법에서도 양자의 정합성을 높이는 개선이 필요하다.

합성곱 네트워크 기반의 Conv1D 알고리즘에서 시간 종속성을 반영한 선박 연료계통 장비의 고장 진단 모델

김형진,김광식,황세윤,이장현,Kim, Hyung-Jin,Kim, Kwang-Sik,Hwang, Se-Yun,Lee, Jang Hyun 한국항해항만학회 2022 한국항해항만학회지 Vol.46 No.4

본 연구는 자율운항 선박의 연료 계통 펌프와 청정기를 대상으로 고장을 진단 사례를 제시하였다. 계측된 신호의 시간종속성을 반영한 심층학습(Deep learning) 알고리즘 적용 절차를 구성하고, 장비의 정상 운전상태와 고장 상태에서 계측한 진동 신호를 고장 패턴 학습에 사용하였다. 특히, 진동 신호에 내포된 열화의 시간 종속성을 반영할 수 있는 방법을 찾고자 하였으며, 슬라이딩 윈도우 연산 과정을 가진 Conv1D를 이용하여고장의 시간 종속성을 반영하였다. 또한 계측된 신호의 차수를 2차원에서 3차원으로 확장하여 시간 영역의 특징을 반영할 수 있는 데이터 전처리과정을 고안하였다. Conv1D 알고리즘의 적층과 변수를 결정하는 과정에서 그리드 탐색 기법을 사용하여 초매개변수의 최적 값을 결정하였다. 마지막으로 제안한 데이터 전처리 방법과 시계열 데이터의 시간 종속성을 반영한 Conv1D 모델이 이상 감지 및 고장 진단에 타당성이 있음을 확인하였다. The purpose of this study was to propose a deep learning algorithm that applies to the fault diagnosis of fuel pumps and purifiers of autonomous ships. A deep learning algorithm reflecting the time dependence of the measured signal was configured, and the failure pattern was trained using the vibration signal, measured in the equipment's regular operation and failure state. Considering the sequential time-dependence of deterioration implied in the vibration signal, this study adopts Conv1D with sliding window computation for fault detection. The time dependence was also reflected, by transferring the measured signal from two-dimensional to three-dimensional. Additionally, the optimal values of the hyper-parameters of the Conv1D model were determined, using the grid search technique. Finally, the results show that the proposed data preprocessing method as well as the Conv1D model, can reflect the sequential dependency between the fault and its effect on the measured signal, and appropriately perform anomaly as well as failure detection, of the equipment chosen for application.

막말 조정의 학습원과 공가사회의 ‘정치화’

김형진 서울대학교 일본연구소 2013 일본비평 Vol.- No.9

이 글은 1847년에 개교한 공가의 교육기관인 학습원(學習院)을 다루는 논의다. 학습원은 막말(幕末) 조정의 정치적 부상에서 중요한 역할을 했다고 평가되고 있다. 학습원이 조정의 ‘정치화’에 행 한 역할은 먼저 학습원에서의 ‘교육’이 공가사회의 ‘정치의식’ 형성을 촉발한 것, 그리고 학습원이 라는 ‘공간’이 정치활동의 무대로 이용된 것이라는 두 가지 측면으로 나누어 볼 수 있다. 하지만 특 히 전자의 문제에 대해서는 학습원이 공가의 정치의식 형성과 조정의 부상에 기여했다고 일률적으 로 막연히 평가될 뿐, 그것이 구체적으로 어떤 과정과 요인을 통해 이뤄졌는지에 대한 설명은 불충 분하다. 학습원의 설립 이념과 특히 초기의 운영 실태를 보면, 조정 상층부가 학습원을 설립한 목적은 중하 급 공가의 풍의(風儀) 쇄신이었으며, 이에 따라 유학에 중점을 둔 ‘인성 교육’의 방침이 관철되었 음을 알 수 있다. 하지만 학습원 강사의 대다수가 아사미 게이사이(淺見絅齋)의 학설과 같은 강경 한 존왕론을 이어받은 인물들이었던 등의 이유로, 실제 교육과정을 통해서는 조정 상층부의 의도 와는 달리 중하급 소장공가들의 정치의식이 고양되었다. 그리고 바로 그 조정 상층부 스스로조차 도 1840년대의 단계에 오면 이미 존왕 사상을 깊이 내재화하고 있었기에 학습원에서의 이러한 움 직임에 대해 특별한 이의를 제기하지는 않았다. 따라서 학습원은 ‘인성 교육’이라는 조정 상층부의 초기 의도를 넘어, 중하급 소장공가들이 1858년 미일수호통상조약에 문제를 제기하고 섭관가 중심의 근세 조정 체제에 반기를 드는 데 큰 역할을 하게 되었다. This article is a study about gakushuin [学習院], the educational institution for the nobles of the Japanese imperial court established in 1847. The existing research has uncovered that gakushuin played a crucial role for the political emerging of the imperial court at the dawn of Japan’s modernization. The role of gakushuin within the context of ‘politicization’ of imperial court can be divided into two parts. First, the academic activities in the gakushuin aroused ‘political consciousness’ among court nobles. Second, its ‘space’ was used as the stage for politics. Yet at least the former role of gakushuin as the medium for the ‘politicization’ of the imperial court has only been uniformly and vaguely evaluated, and it lacks detailed examination of its cause and the process. The gakushuin was founded in order to ‘reform the morals [風儀]’ of young middle- and lower class nobles. Therefore, the policy of ‘personality education’ whose disciplines were based especially on Confucianism was strongly reinforced. But because many of the educators at gakushuin were heavily influenced by a vigorous Sonnō ideology like that of Asami Keisai, in the actual course of study, the ‘political consciousness’ of young court nobles did not reflect the initial purpose of the court education. In addition, since the leaders of the court in the 1840s had also been deeply influenced by Sonnō ideology, they were not particularly alarmed by this growing trend in court education. As a consequence, gakushuin overstepped the early goal of court leaders, and eventually led to the revolt against ‘early modern imperial court system’ by the middle- and lower class nobles when an issue came to light regarding 1858 US-Japan Treaty of Amity and Commerce.

지류 포장재 생산에 사용되는 섬유상 원료의 유해성 평가

김형진,엄기증,이태주,고승태,이지연 한국공업화학회 2008 한국공업화학회 연구논문 초록집 Vol.2008 No.-

친환경적 mulching mat의 토양 영향성 평가

김형진,엄기증,유영정,오동근,박지현 한국공업화학회 2008 한국공업화학회 연구논문 초록집 Vol.2008 No.-

섬유상 원료의 재활용성 평가를 위한 압축 폐지의 물질 분석

김형진,엄기증,고승태,이태주,이지연 한국공업화학회 2008 한국공업화학회 연구논문 초록집 Vol.2008 No.-

Mulching mat의 최적 디자인 탐색

김형진,이금자,유영정,강광호,이지연 한국공업화학회 2009 한국공업화학회 연구논문 초록집 Vol.2009 No.-

조림묘목용 mulching mat based paper의 가속 노화 특성 탐색

김형진,엄기증,오동근,유영정,박지현 한국공업화학회 2008 한국공업화학회 연구논문 초록집 Vol.2008 No.-