워터마크를 이용한 TV방송 광고모니터링 시스템

신동환(DongHwan Shin),김경순(GeungSun Kim),김종원(JongWeon Kim),최종욱(JongUk Choi) 대한전기학회 2004 대한전기학회 학술대회 논문집 Vol.2004 No.11

막 반응기의 2차원 모델링 및 시뮬레이션

신동환(Donghwan Shin),강상규(Sanggyu Kang) 대한기계학회 2018 대한기계학회 춘추학술대회 Vol.2018 No.12

Ion transport membrane (ITM) reactors have been investigated as a promising novel technology for syngas production which includes air separation and fuel conversion. The main reaction of the ITM reactor is catalytic partial oxidation, which has ideal H₂/CO ratio for downstream processes. Because the syngas is produced at the sweep channel not feed channel, ITM reactor is free of NOx and it has high CO selectivity. For commercialization of the ITM reactor, it is necessary to analyze the characteristics inside the reactor under various operating conditions. In this study, two-dimensional ITM reactor model has been developed using Aspen Plus<SUP>®</SUP> to analyze the membrane reactor characteristics. ITM model is discretized into ten control volumes along the gas flow parallel direction and three control volumes along the gas flow perpendicular direction to capture the characteristics of the reactor. The partial oxidation reforming mechanism has been adopted concerned about methane oxidation, steam reforming, and carbon monoxide reforming. Continuous stirred tank reactor (CSTR) has been used to simulate the reaction kinetics of reforming processes. Since the oxygen permeation rate is driven by the oxygen partial pressure gradient and operating temperature, oxygen partial pressure and temperature distribution along the control volume have been presented. CH₄ conversion, CO selectivity, H₂/CO ratio, temperature, and oxygen permeation rate have been analyzed by varying the carbon space velocity.

FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석

신동환(Donghwan Shin),윤원경(Wonkyung Yun),김준호(Junho Kim),지은경(Eunkyoung Jee),배두환(Doo-Hwan Bae) 한국정보과학회 2015 한국정보과학회 학술발표논문집 Vol.2015 No.6

계통한계가격 시계열 데이터 예측 모델 개발

신동환(Donghwan Shin),백승엽(Seungyup Baek),이율호(Yulho Lee),강상규(Sanggyu Kang) 대한기계학회 2018 대한기계학회 춘추학술대회 Vol.2018 No.12

A latest korea electricity market participants are compensated their profits by system marginal price (SMP) determined at the korea power exchange (KPX). SMP is the most expensive price of an operated power generator at each hour and which is influenced by many external factor. SMP forecasting is important for profit maximization of power generation businessman. In this study, a SMP time series data forecasting model have been developed using MATLAB Neural Net Time Series<SUP>®</SUP> to predict the short-term SMP. preprocessing has been conducted to decrease a mean squared error (MSE) by comparing with gradient of present value and previous value. Moving average is used as an exogenous variable and nonlinear autoregressive exogenous (NARX) network is used for data training. One month forecasting along the moving average change has been compared. Training model shows that the MSE is influenced strongly by the preprocessing and it can be decreased by iteration in the filtering process. For more accuracy forecasting, another exogenous variables have to be investigated such as global oil price, tax, electricity demand. Another filtering and training methods also have to be compared for model optimization.

FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구

신동환(Donghwan Shin),김준호(Junho Kim),윤원경(Wonkyung Yun),지은경(Eunkyoung Jee),배두환(Doo-Hwan Bae) 한국정보과학회 2016 정보과학회 컴퓨팅의 실제 논문지 Vol.22 No.3

프로그램 내에서 오류의 정확한 위치를 찾아내는 것은 많은 시간과 노력을 필요로 하는 작업이다. 이러한 문제를 해결하기 위하여 프로그램의 제어 흐름을 이용한 자동화된 오류 위치 추정 기법이 오랫동안 연구되어 왔으나, 데이터 흐름 기반 언어로 작성된 프로그램에 대해서는 적용될 수 없다는 한계가 있다. 최근 개발된 뮤테이션(mutation) 기반 오류 위치 추정 기법의 경우 프로그램의 제어 흐름 대신 뮤턴트(mutant)라 불리는 인공 오류를 활용하기 때문에 데이터 흐름 기반 언어로 구현된 프로그램에 대해서도 활용될 수 있을 것으로 기대되나, 오류 위치 추정 효과성에 대한 연구는 이루어지지 않았다. 본 연구는 데이터 흐름 기반 언어인 Function Block Diagram (FBD)로 구현된 프로그램을 대상으로 뮤테이션기반 오류 위치 추정 기법이 실제 오류의 위치를 얼마나 정확하게 추정할 수 있는지에 대한 사례 연구를 수행한다. 실제 원자로 보호 시스템 대상 초기 버전에 사용되었던 FBD 프로그램에서 발견된 오류들을 수집하고, 각 오류별 위치 추정의 효과성을 분석한다. Finding the exact location of faults in a program requires enormous time and effort. Several fault localization methods based on control flows of a program have been studied for decades. Unfortunately, these methods are not applicable to programs based on data-flow languages. A recently proposed mutation-based fault localization method is applicable to data-flow languages, as well as control-flow languages. However, there are no studies on the effectiveness of the mutation-based fault localization method for data-flow based programs. In this paper, we provided an experimental case study to evaluate the effectiveness of mutation-based fault localization on programs implemented in Function Block Diagram (FBD), a widely used data-flow based language in safety-critical systems implementation. We analyzed several real faults in the implementation of FBD programs of a nuclear reactor protection system, and evaluated the mutation-based fault localization effectiveness for each fault.

System Marginal Price Forecasting Model Development Using NARX Network

Donghwan Shin(신동환),백승엽,이율호,Sanggyu Kang(강상규) 한국에너지기후변화학회 2018 한국에너지기후변화학회 학술대회 Vol.2018 No.11

균등관계 판단에 관한 특허법원 판례의 경향

신동환 ( Shin Donghwan ) 중앙대학교 문화미디어엔터테인먼트법연구소 2016 문화.미디어.엔터테인먼트 법 Vol.10 No.2

균등침해는 특허침해 소송 또는 권리범위확인 심판에서 거의 빠지지 않고 등장하는 주제다. 우리 대법원은 2000. 7. 28.ㅤ선고ㅤ97후2200 판결 등을 통해 균등침해를 인정해왔으나, 그 구체적인 요건에 대해서는 침묵하였다. 그러던 중 대법원ㅤ2000. 7. 28.선고ㅤ97후2200 판결을 통해 “확인대상발명에서 특허발명의 특허청구범위에 기재된 구성 중 치환 내지 변경된 부분이 있는 경우에도, 양 발명의 기술적 사상 내지 과제의 해결원리가 공통하거나 동일하고, 확인대상발명의 치환된 구성요소가 특허발명의 구성요소와 실질적으로 동일한 작용효과를 나타내며, 또 그와 같이 치환하는 것 자체가 그 발명이 속하는 기술분야에서 통상의 지식을 가진 자이면 당연히 용이하게 도출해 낼 수 있는 정도로 자명한 경우에는, 확인대상발명이 당해 특허발명의 출원시에 이미 공지된 기술이거나 그로부터 당업자가 용이하게 도출해 낼 수 있는 것이 아니고, 나아가 당해 특허발명의 출원절차를 통하여 확인대방발명의 치환된 구성요소가 특허청구의 범위로부터 의식적으로 제외되는 등의 특단의 사정이 없는 한, 확인대상발명의 치환된 구성요소는 특허발명의 그것과 균등물이라고 보아야 할 것이다”라고 하여 처음으로 균등론의 적용요건을 제시하였다. 다대법원은 위 판결에서 과제해결의 원리의 의미를 밝히지 않았다. 이후 대법원 2009. 6. 25. 선고 2007후3806 판결은 “양 발명에서 과제의 해결원리가 동일하다는 것은 확인대상발명에서 치환된 구성이 특허발명의 비본질적인 부분이어서 확인대상발명이 특허발명의 특징적 구성을 가지는 것을 의미하고, 특허발명의 특징적 구성을 파악함에 있어서는 특허청구범위에 기재된 구성의 일부를 형식적으로 추출할 것이 아니라 명세서의 발명의 상세한 설명의 기재와 출원 당시의 공지기술 등을 참작하여 선행기술과 대비하여 볼 때 특허발명에 특유한 해결수단이 기초하고 있는 과제의 해결원리가 무엇인가를 실질적으로 탐구하여 판단하여야 한다”라고 하여 과제의 해결원리가 무엇인지를 밝혔다. 이후 대법원은 2014. 7. 24.ㅤ선고ㅤ2012후1132ㅤ판결에서 과제의 해결원리에 대해 다소 다른 설시를 하고, 대법원 2015.5.14. 선고 2014후2788 판결 등에서 이를 적용하였다. 본 논문에서는 대법원 2012후1132ㅤ판결 이후의 특허법원판결을 검토함으로써 위와 같은 대법원의 설시가 실무에서 어떻게 이해되고 적용되는지를 살펴보았다. Infringement by equivalents is subject that emerged almost without falling in the confirmation of the scope of patent right or patent infringement litigation. Before Supreme Court Decision 97Hu2200 Decided July 28, 2000, Supreme Court accepted the doctrine of equivalents through several decisions, but didn`t stated about the requirements of those issues. Meanwhile, Supreme Court Decision 97Hu2200 ruled that "even in cases where an invention in question contains portions which replace or substitute elements included in the scope of a patent claim for a patented invention, if both inventions share the same solution principle, if such a replacement still makes it possible to achieve the goal of the patented invention and enables an identical effect on an actual level, and if this replacement is self-evident to the extent that any person of ordinary skill in the pertinent field of technology could have easily conceived it, then the invention in question must be seen as equivalent in whole to the elements specified in the scope of the patent claim for a patented invention", but didn`t stated what is `the same solution principle`. Eventually, Supreme Court Decision 2007Hu3806 Decided June 25, 2009 ruled that "if a patented invention and invention in question share the identical solution principles, this means that the element replaced within the invention in question is an inessential part of the patented invention and that the invention in question assumes the characteristic elements of the patented invention. Therefore, in order to grasp the characteristic elements of the patented invention, the detailed descriptions within the specifications and prior art existing at the time of application must be taken into consideration to investigate the solution principle upon which the patented invention establishes a unique solution that is unique to the problem when compared to prior art". After that, Supreme Court Decision 2012Hu1132 Decided July 24, 2014 modified the requirement of equivalents, specifically about `the same solution principle`, and Supreme Court Decision 2014Hu2788 Decided May 14, 2015 applied it to it`s case. This paper studies Paten Court cases for the doctrine of equivalents after Supreme Court Decision 2012Hu1132, so tries to knows how they applied Supreme Court Decision to cases.

반려묘 안구질환 예측을 위한 딥러닝 기반의 SOTA 베이스라인 모델 제안

신동환(Donghwan Shin),김민석(Minseok Kim),이재호(Jaeho Lee),이형석(Hyungsuk Lee),나동빈(Dongbin Na) 한국정보과학회 2023 한국정보과학회 학술발표논문집 Vol.2023 No.6

FBD 모델 대상 뮤테이션 연산자 정의 및 사례연구

신동환(Donghwan Shin),지은경(Eunkyoung Jee),배두환(Doo-Hwan Bae) 한국정보과학회 2013 정보과학회 컴퓨팅의 실제 논문지 Vol.19 No.1

Function Block Diagram(FBD)는 산업용 컴퓨터인 Programmable Logic Controller(PLC)의 표준 프로그래밍 언어 중 하나이다. 다양한 시험 기법들의 오류 검출 효과성을 평가하기 위해 뮤테이션 분석 기법이 널리 쓰이고 있는데, FBD 모델에 대한 뮤테이션 연산자가 정의되어 있지 않기 때문에 적용에 어려움이 있었다. 본 연구에서는 FBD 모델의 특성, 다양한 FBD 모델의 실제 오류 및 기존 뮤테이션 분석 기법에 관한 분석을 통해 뮤테이션 연산자를 정의한다. 정의된 FBD 뮤테이션 연산자를 활용하여 실제 산업계에서 쓰이는 FBD 모델을 대상으로 뮤테이션 분석을 수행하여 FBD 모델 시험 데이터와 시험 기법을 체계적으로 평가한다. Function Block Diagram(FBD) is one of the standard programming language of Programmable Logic Controller(PLC). While mutation analysis has been widely used to evaluate fault detection effectiveness of various test technique, it was hard to apply for FBD models because FBD mutation operators were not defined. In this research, we widely analyze FBD model characteristics, real FBD model faults, and previous mutation analysis works to define FBD mutation operators. With the defined mutation operators, we perform case study for application of FBD mutation analysis with industrial FBD models and evaluate FBD model test data and test technique systematically.

商街賃貸借保護法상 權利金에 관한 問題點과 改善方案

신동환(Shin. DongHwan) 전북대학교 법학연구소 2015 法學硏究 Vol.45 No.-

현행 상가임대차보호법은 그 개정을 통해 권리금의 정의 규정과 적용범위, 보호방법 등이 신설되었다. 그러나 신설된 규정에 대해서 다양한 비판과 재개정요구가 제기되고 있다. 권리금관련 분쟁을 방지하기 위해서 지역권리금과 시설권리금 및 영업권리금의 수수를 임대인과 임차인으로 구분하여 규정하는 것이 바람직하다. 그리고 지역권리금의 경우 기존의 계약갱신요구권에 의해 보호되는 것으로 새기고, 그 기간은 현행 5년에서 7년으로 연장할 필요가 있다. 권리금회수기회보호규정과 관련해서 임대인도 권리금을 수수할 수 있으므로 제10조의4 제1항 제1호를 삭제할 필요가 있다. 그리고 임차인의 권리금회수를 보호하기 위해 포괄적으로 규정되어 있는 동조 제1항단서를 삭제하는 것이 바람직하다. ‘차임연체와 해지’를 규정하고 있는 제10조의8은 그 해석을 통해 임차인에게 상당한 손해를 발생시킬 수 있다. 따라서 동조의 해석에 있어서 지역권리금은 회수할 수 없더라도 시설권리금과 영업권리금을 회수할 수 있는 기회를 부여할 필요가 있다. 상가임대차보호법에 신설된 권리금규정이 임대인과 임차인 그리고 신규임차인간에 발생할 분쟁의 해결에 미흡한 부분도 있지만, 이를 해결하면서 발전되기를 기대해 본다. The current Commercial Building Lease Protection Act has been revised to newly add the provisions of defining key money, range of application, and means to protect it, and so on. However, there have been much criticism and demand for revision about the newly added regulations. To prevent key money-related disputes, it is desirable to make provisions about giving and taking regional key money, facility key money, and operation key money with the division of leasers and leasees. Also, about regional key money, it is needed to consider it is protected by the existing Request for Contract Renewal, and the period should be lengthened from the current 5 years to 7 years. Regarding provisions to protect key money recovery chance, it is necessary to delete No. 1 of Section 1 in 4 of Article 10 as leasers, too, can give and take key money. In addition, to protect leasees’ key money recovery chance, it is desirable to delete the clues of Section 1 in the same article prescribed inclusively. Article 10-8 defining ‘arrears and termination of the lease contract’ may cause tremendous damage on leasees according to its interpretations. Therefore, concerning the interpretation of the article, it is needed to provide chance to recover facility key money and operation key money though regional key money may not be recovered. Key money-related provisions newly added to the Commercial Building Lease Protection Act are still not enough to resolve disputes that may arise between leasers and leasees or new leasees, but it is expected that it will develop further afterwards with the process of resolving the problems gradually.