• 한국정보과학회논문지:시스템및이론
• /
• 제26권10호
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2014년도 제46회 동계 정기학술대회 초록집
• /
• pp.265-265
• /
• 2014

일반적으로 태양전지 및 반도체 공정에서 불순물 주입 과정인 도핑(Doping)공정은 크게 몇 가지 방법으로 구분해 볼 수 있다. 소성로(Furnace)를 이용하여 열을 통해 불순물을 웨이퍼 내부로 확산시키는 열확산 방법과 진공 챔버 내부에서 전자기장을 걸어 이온을 극도로 가속시켜 진행하는 이온 주입(Ion implantation)이나 이온 샤워(Ion shower)를 이용한 도핑 방법이 있다. 또한 최근 자외영역 파장의 레이저광을 조사하여 광화학 반응에 의해 도펀트 물질를 분해하는 동시에 조사 부분을 용해하여 불순물을 도포하는 기법인 레이져 도핑(Laser doping) 방법이 개발중이다. 그러나 레이져나 이온 도핑 공정기술은 고가의 복잡한 장비가 필요하여 매출 수익성 및 대량생산에 비효율적이며 이온 주입에 의한 박막의 손상을 치료하기 위한 후속 어닐링(Post-annealing) 과정이 요구되는 단점을 가지고 있고 열확산 도핑 방법은 정량적인 불순물 주입 제어가 어렵고 시간 대비 생산량의 한계가 있다. 반면 대기압 플라즈마로 도핑을 할 경우 기존에 진공개념을 벗어나 공정상에서 보다 저가의 생산을 가능케 할 뿐아니라 멀티 플라즈마 소스 개발로 이어진다면 시간적인 측면에서도 단연 단축시킬 수가 있어 보다 대량 생산 공정에 효과적이다. 따라서 본 연구에서는 새로운 도핑 방법인 대기압 플라즈마를 이용한 도핑 공정기술의 가능성을 제안하고자 도핑 공정 시 웨이퍼 내 전류 패스(Current path)에 대한 메카니즘을 연구하였다. 대기압 플라즈마 방전 시 전류가 웨이퍼 내부에 흐를 때 발생되는 열을 이용하여 도핑이 되는 형식이란 점을 가정하고 이 점에 대한 원리를 증명하고자 실험을 진행하였다. 실험 방식은 그라운드(Ground) 내 웨이퍼의 위치와 웨이퍼 내 방전 위치에 따라 적외선 화상(IR image: Infrared image) 화상을 서로 비교하였다. 적외선 화상은 실험 조건에 따라 화상 내 고온의 표식이 상이하게 변하는 경향성을 나타내었다. 이 고온의 표식이 전류 패스라는 점을 증명하고자 시뮬레이션을 통해 자기장의 전산모사를 한 결과 전류 패스의 수직 방향으로 자기장이 형성이 됨을 확인하였으며 이는 즉 웨이퍼 내부 전류 패스에 따라 도핑이 된다는 사실을 명백히 말해주는 것이며 전류 패스 제어의 가능성과 이에 따라 SE(Selective Emitter) 공정 분야 응용 가능성을 보여준다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 추계학술대회 논문집 전력기술부문
• /
• pp.196-198
• /
• 2007

전력계통에서 상태추정은 신뢰도 높은 제어를 위해 매우 중요한 역할을 한다. 최근에는 상태추정 문제를 위해 가중최소자승법과 fast decoupled 방법이 많이 쓰이고 있다. 그러나 이런 알고리즘들은 지역해로 수렴하기 쉬운 단점이 있다. 이런 문제점을 극복하기 위해 PSO와 같은 heuristic한 방법을 이용한다. 본 논문에서는 전력계통에서 상태추정의 최적해를 구하기 위한 방법으로 PSO 알고리즘을 제안한다. 제안한 PSO알고리즘의 유용함을 증명하기 위해 IEEE-118모선 시스템에 적용해 보고, 그 결과로부터 전력계통의 상태 추정에 PSO 알고리즘의 적용가능성을 증명하였다.

• 항공우주시스템공학회지
• /
• 제15권3호
• /
• pp.20-29
• /
• 2021

항공기 추진시스템 전동화, 분산추진기술, 자율지능기술의 발달로 전기추진 수직이착륙 항공기(eVTOL: Electric Vertical Take-off and Landing)를 활용한 도심항공교통서비스 구현 가능성이 높아짐에 따라 미국, 유럽 등 항공선진국들에서 전기추진 수직이착륙 항공기에 대한 인증제도 연구가 활발히 진행되고 있다. 2019년 유럽항공안전청이 수직이착륙 항공기를 위한 새로운 기술기준 SC-VTOL을 고시하는 등 근시일 내 인증제도 마련이 예상되나 국내 인증제도는 eVTOL 항공기의 개발과 시장 운용에 대비가 미비하다. 본 연구에서는 해외 eVTOL 개발과 인증제도 마련 동향을 조사하고, 미국/유럽의 제도개선 방향을 분석하여 국내에 관련 인증제도 마련을 위한 고려사항을 분석하였다. 이 후 SC-VTOL과 현행 국내 항공기기술기준을 비교분석하고 국내 eVTOL 항공기 형식증명/형식증명승인을 위한 방안을 제시하였다.

• 의료법학
• /
• 제24권4호
• /
• pp.3-36
• /
• 2023

의료과오 민사소송의 주된 쟁점은, 과실, 과실과 손해 사이의 인과관계이다. 진료 상 과실이 증명된 경우 인과관계 추정과 관련하여 종래 대법원 1995. 2. 10. 선고93다52402 판결이 있으나, 위 판결 문언 상 요건을 충족하는 사안은 찾기 어렵고, 그럼에도 실무는 위 판결을 인용하면서 인과관계를 추정하는 경우가 많아 위 판결 문언과 정합성이 없다는 비판이 꾸준히 제기되었다. 대법원은 대상 민사판결에서, 민사소송에서 진료 상 과실이 증명된 경우 인과관계 추정에 관한 법리를 정비하여 새롭게 제시하였다. 이에 의하면, 환자 측이 의료행위 당시 임상의학 분야에서 실천되고 있는 의료수준에서 통상의 의료인에게 요구되는 주의의무의 위반 즉 진료 상 과실로 평가되는 행위의 존재를 증명하고, 그 과실이 환자 측의 손해를 발생시킬 개연성이 있다는 점을 증명한 경우에는, 진료 상 과실과 손해 사이의 인과관계를 추정하여 인과관계 증명책임을 완화한다. 여기서 손해 발생의 개연성은 자연과학적, 의학적 측면에서 의심이 없을 정도로 증명될 필요는 없으나, 해당 과실과 손해 사이의 인과관계를 인정하는 것이 의학적 원리 등에 부합하지 않거나 해당 과실이 손해를 발생시킬 막연한 가능성이 있는 정도에 그치는 경우에는 증명되었다고 볼 수 없다. 한편 진료 상 과실과 손해 사이의 인과관계가 추정되는 경우에도 의료행위를 한 측에서는 환자 측의 손해가 진료 상 과실로 인하여 발생한 것이 아니라는 것을 증명하여 추정을 번복시킬 수 있다. 한편 민사사건과 달리 형사사건에서는 '합리적 의심이 없을 정도의 증명'이 기준이고, 인과관계 추정 법리가 적용되지 않는다. 이에 따라 동일한 의료사고에 관하여 같은 날 동일한 재판부에서 선고된 업무상과실치사 형사사건에서는 진료 상 과실과 사망 사이 인과관계에 대한 증명 부족을 이유로 무죄 취지로 파기환송하였다. 대상 형사판결은, 의료과오 관련 형사 사건에서 '업무상 과실'이 인정되더라도 '인과관계'에 대한 확실한 증명이 부족하면 유죄로 판단하지 말라는 취지의 판결이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.19-21
• /
• 2003

일반적으로 PMDC모터에 사용되는 자석은 가격과 재질에 따라서 여러 가지로 분류할 수 있다. 그러나 착자방법에는 등방향과 방사형 착자로 나눌 수 있고 용도에 따라서 다극으로 착자할 수 있다. 하지만 그 기본적인 구조에는 원통형, 판형, 육면체형으로 분류할 수 있는데 구형, 반구형 또는 구형 shell에 관한한 아직까지 소개된 문헌이 빈약하다. 본 논문에서는 슬롯리스 구형직류모터에 사용될 반구형 shell형태의 영구자석의 착자기 구조와 착자방법에 대한 가능성을 찾아보고 이론적으로 증명하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1837_1838
• /
• 2009

본 논문에서는 Particle Swarm Optimization(PSO)을 이용하여 지능형 로봇의 주행 제어 방법을 제안한다. 지능형 로봇의 주행을 위한 퍼지 제어기를 설계하고 퍼지 규칙을 구성하고 있는 멤버쉽 함수의 매개 변수를 PSO를 이용하여 동정한다. 최종 PSO로 동정된 매개변수를 이용하여 벽면 주행을 수행한다. 마지막으로, 실험을 통해 그 응용 가능성을 증명한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 춘계학술발표논문집
• /
• pp.169-174
• /
• 1998

암호의 사용은 사용자에게 많은 이점을 주지만, 키와 분실이나 범죄 집단의 암호의 악용과 오용 등의 가능성이 있다. 이러한 것을 해결하기 위해 나온 방식이 키 복구(Key recovery)방식이다. 본 논문에서는 비밀 분산 방식을 이용한 새로운 키 복구 방식을 제안한다. 또한 키 복구 시스템에서는 유사시에 키를 얻을 수 있는 확실한 보장이 있어야 하는데, 본 제안 방식에서는 사용자의 부정조작을 검사할 수 있게 함으로써 키 획득에 대한 보장을 할 수 있도록 하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2012년도 추계학술대회 논문집
• /
• pp.125-126
• /
• 2012

무효 전력을 보상하기 위한 장치로 단상 인버터를 이용한 멀티레벨 인버터를 이용할 때 불평형 부하가 아닐 경우에도 각각 직렬 연결된 단상 인버터들 사이에서 DC-Link 불균등 현상이 발생한다. 이 불균등에 대한 원인 및 해결 방법을 제안하였다. 그리고 이 알고리즘을 이용한 시뮬레이션으로 그 가능성을 증명하였다.

• 월간산업보건
• /
• 통권308호
• /
• pp.52-54
• /
• 2013

Phenyl glycidyl ether의 직업적 노출기준 TLV-TWA는 0.1 ppm($0.6mg/m^3$)으로 권고되고 있다. TLV-TWA는 동물실험에서 고환(정소) 독성, 비암 그리고 감작반응에 대한 위험도를 줄일 수 있다고 증명된 수준이다. 또한 사람에서의 감작반응이 보고되고 흰쥐에서 비암이 입증되어 경고표시(notation)로 SEN과 A3(동물에서 발암성 물질)를 권고하였다. Phenyl glycidyl ether와 다른 glycidyl ether에 노출된 근로자들에서 평균 6.5개월 후에 감작반응이 발견되어, 교차 감작반응의 가능성을 인지하여야 한다. Phenyl glycidyl ether를 흰쥐와 토끼에게 급성으로 피부에 도포한 결과 빠르게 흡수되어 조혈독성이 유발되는 것을 확인하여 피부(Skin) 경고표시의 타당성을 입증하였다.