• 제목/요약/키워드: 증명문제

검색결과 1,046건 처리시간 0.024초

SF영화에 나타난 프로메테우스의 모티프 -<엑스 마키나>를 중심으로 (The Promethean Motif in SF Movies -the Case of the Film Ex Machina)

  • 노시훈
    • 대중서사연구
    • /
    • 제24권3호
    • /
    • pp.233-257
    • /
    • 2018
  • 본고의 목적은 <엑스 마키나>(2015)에서 프로메테우스 모티프 사용을 프로메테우스 신화, 프랑켄슈타인 모티프, 현대 SF영화의 층위에서 고찰함으로써 SF영화에서의 이 모티프의 변화 양상을 밝히는 데 있다. 첫째로, 프로메테우스 신화('살아있는 존재의 창조')의 층위에서 <엑스마키나>의 가장 큰 변화는 프로메테우스-에피메테우스-판도라-제우스의 인물 사각형이 네이든-칼렙-에이바의 삼각형으로 바뀌었다는 것인데, 이는 인간이 신을 밀어내고 창조주의 자리를 차지함으로써 과학기술의 발전이 불러올 문제를 풀고 해피엔드를 가져올 존재가 없어졌음을 의미한다. 둘째로, 프랑켄슈타인 모티프('금지된 지식에 대한 애호', '오만', '창조주에 대한 피조물의 증오')의 층위에서 이 영화는 칼렙이 소설 『프랑켄슈타인』의 로버트 월턴 선장처럼 창조주와 피조물의 이야기의 목격자로 남게 함으로써 프랑켄슈타인-괴물(네이든-에이바) 중심의 서사가 유지되도록 하지만 에이바의 '기계성'을 크게 부각시킴으로써 소설과 차별화한다. 셋째로, 현대 SF영화의 층위에서 다른 것들과는 달리 이 영화에서는 반란이 진압되지 않고 기계가 승리하여 그 능력이 인간의 그것을 넘어서는 것을 보여주는데, 이는 인간에게 귀속되지 않는 '새로운 종의 출현'을 제시하면서 인간과 기계의 새로운 관계 정립을 요구한다. <엑스 마키나>가 이처럼 다양한 층위에서 프로메테우스 모티프를 다루는 것은 하나의 모티프가 축적해온 다양한 내용을 활용하고 변형을 통해 새로운 요소를 추가함으로써 서사를 매우 풍부하게 한다는 의미를 갖는다. 본 연구의 의의는 그러한 다층적 모티프 사용과 그것을 통한 서사의 확장을 구체적인 사례를 통해 증명했다는 데 있다.

전기차 전과정평가를 위한 DID 기반 차량부품 데이터수집 모델 연구 (A Study on DID-based Vehicle Component Data Collection Model for EV Life Cycle Assessment)

  • 권준우;이수진;김제인;서승현
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제12권10호
    • /
    • pp.309-318
    • /
    • 2023
  • 최근 세계 각국은 온실가스 배출을 규제하기 위해 전과정평가(LCA, Life Cycle Assessment)를 도입하려는 움직임을 보이고 있다. 전기차 전과정평가는 차량의 전체 수명주기에 걸쳐 발생하는 온실가스 배출량을 측정하고 평가하는 수단이다. 전과정평가 결과의 신뢰성을 높이기 위해서는 전기차 부품별로 신뢰성 있는 데이터가 필요하다. 이를 위해 최근 블록체인 기술을 적용한 전과정평가 모델에 대한 연구들이 수행되었다. 그러나 기존 연구들은 주요 제품 정보들이 다른 참여자들에게 그대로 노출되어 프라이버서 보호가 되지 않는 문제가 있고 부품데이터 정보가 업데이트될 때마다 트랜잭션 형태로 블록체인 원장에 기록해야 해서 비효율적이다. 따라서 본 논문에서는 효율적으로 전기차 차량부품 데이터를 수집하고 유효성을 검증하기 위해 전과정평가를 위한 DID 기반의 데이터수집 모델을 제안한다. 제안하는 모델은 수집된 데이터의 유효성과 무결성을 보장하며 블록체인 원장에는 사용자 인증 정보만 공유되어 데이터의 무분별한 노출을 방지하고 데이터의 출처를 효율적으로 검증 및 업데이트할 수 있다.

정맥 관찰용 소형 근적외선 영상 시스템에서의 비지역적평균 알고리즘 적용 가능성 연구 (Application Feasibility Study of Non-local Means Algorithm in a Miniaturized Vein Near-infrared Imaging System)

  • 정현우;이영진
    • 한국방사선학회논문지
    • /
    • 제17권5호
    • /
    • pp.679-684
    • /
    • 2023
  • 정맥의 천자는 병리학적 검사를 위한 혈액 샘플을 획득하기 위해 널리 사용되고 있다. 바늘을 사용한 침습적인 정맥 천자 방법이 반복되서 시행되면 환자가 받는 고통이 증가되는 문제가 있어 본 연구팀은 사전에 소형 근적외선 (near-infrared, NIR) 영상 시스템을 개발하였다. 획득된 NIR 영상의 화질 개선을 위하여 본 연구에서는 노이즈 제거에 효율적으로 잘 알려진 비지역적 평균 (non-local means, NLM) 알고리즘을 모델링하여 시스템에서의 적용 가능성을 분석하고자 한다. 개발된 NIR 영상 시스템은 dichroic 및 long-pass filter를 적외선 (infrared, IR)이 통과하여 최종적으로 CMOS 센서 모듈로 검출되는 원리를 기반으로 구성하였다. 제안하는 NLM 알고리즘은 노이즈를 제거시키고자 하는 픽셀을 주변 픽셀들간의 거리들을 고려한 값으로 대체하는 원리를 기반으로 모델링하였다. 850 nm의 중심 파장을 가진 NIR 영상을 획득 후 NLM 알고리즘을 적용하여 히스토그램 평활화를 통해 최종 정맥 영역을 분할하였다. 결과적으로 NLM 알고리즘을 적용한 정맥의 NIR 영상의 coefficient of variation은 평균 0.247로 기존의 filtering 방법들과 비교하여 우수한 결과값으로 도출되었다. 또한 NLM 알고리즘의 dice similarity coefficient 값은 기존의 median filter와 total variation 방법에 비하여 각각 62.91 및 9.40% 향상된 값이 획득되었다. 결론적으로 NLM 알고리즘은 NIR 영상 시스템으로 획득한 정맥의 정확한 분할이 가능하게 할 수 있음을 증명하였다.

캐나다군 여성인력 활용사례와 그 시사점 (A Case Study on the Use of Female Human Resources in the Canadian Military and Its Implications)

  • 김인찬;김종훈;심준학;이강희;홍명숙;박상혁
    • 문화기술의 융합
    • /
    • 제9권6호
    • /
    • pp.795-799
    • /
    • 2023
  • 캐나다군은 제1차 세계대전에 참전하여 전쟁의 장기화로 나타난 지속적인 병력 부족으로 인해 모병제의 한계를 인식하고 여성인력의 활용범위와 역할을 확장하였다. 최초 의료지원으로 시작한 여성인력의 활용은 여성부대 창설과 함께 육·해·공군의 전투지원 임무로 확대되며 그 필요성과 중요성이 증대되었다. 제2차 세계대전 종료 이후 병력감축과 함께 여성부대가 해체되었고, 여성인력의 비중도 총원의 1.5%로 제한되었다. 국방부는 여성인력 복무 여건 개선을 위한 캐나다 왕립 여성 지위 위원회의 권고를 점진적으로 수용하며 캐나다 군내 여성인력 역할 확대의 분기점을 맡는다. 캐나다 국방부는 여성인력에 대한 장기간의 전투실험, 관찰과 분석을 통해 전투병과에 적합하다는 결론을 내렸다. 또한 1991년 걸프전쟁과 2001년부터 시작된 아프가니스탄 전쟁에서 캐나다 여성인력이 남성과 동등한 수준의 전투 능력과 지휘 능력을 보여주며 여성인력의 필요성을 다시 한번 증명하였다. 우리나라 역시 최근 지속되는 출산율 감소로 인구절벽과 병력 부족 문제가 대두되고 있다. 캐나다군의 여성인력 활용의 역사와 현재의 모습을 통해 우리 군이 나아가야 할 방향에 대한 시사점을 도출하고자 한다.

이진트리의 최소선형배열 알고리즘 (Algorithm for Minimum Linear Arrangement(MinLA) of Binary Tree)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제24권2호
    • /
    • pp.99-104
    • /
    • 2024
  • 이진트리의 최소 선형 배열(MinLA) 문제의 해는 선형 복잡도 O(n)의 근사 알고리즘으로 구하고 있으며, k = 10에 대해 다양한 근사 알고리즘 수행 결과가 제시되어 있고, 단지 2개 알고리즘만이 최적 해 3,696을 얻었다. 본 논문은 이진트리의 정확한 해를 O(n) 복잡도로 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 먼저, n = 2k - 1개 노드들에 중위 탐색(in-order search) 방법으로 번호를 부여하고, 2 ≤ 𝑙 ≤ k-2, (k = 5)와 2 ≤ 𝑙 ≤ k-3, (k = 6) 레벨에 존재하는 노드들에 대해 단 노드 자식들까지의 범위를 대상으로 번호를 재배열하는 방법을 적용하였다. 제안된 알고리즘을 k=5,6,7에 적용한 결과 Chung[14]의 S(k)min=2k-1+4+S(k-1)min+2S(k-2)min 이론을 증명하였으며, S(5)min에 대해서는 Chung[14]의 60보다 좋은 58을 얻었다. 또한, 기존의 근사 알고리즘들은 배열 결과를 제시하지 않고 있는데 비해 제안된 알고리즘은 정확한 배열 방법도 제시하는 장점을 갖고 있다. 따라서 제안된 알고리즘은 k > 10인 이진트리에 대해서도 항상 빠르게 최적의 해를 얻을 수 있기 때문에 기존의 근사 알고리즘을 적용하지 않아도 된다.

직무만족을 매개로하여 셀프리더십이 조직몰입에 미치는 영향 : 국내의 금형기업체 대상으로 (Effects of Self-Leadership on Organizational Commitment through Job Satisfaction : Domestic Mold Enterprises Object)

  • 이진성;황찬규;명호
    • 벤처혁신연구
    • /
    • 제7권1호
    • /
    • pp.111-130
    • /
    • 2024
  • 본 연구는 국내의 금형 관련 기업체에 근무하는 종사자들을 대상으로 직무만족을 매개로 하여 셀프리더십이 조직몰입에 영향을 미치는지를 규명하는 것에 그 목적이 있다. 국내의 금형 관련 기업체에 근무하는 종사자들을 대상으로 3개월의 기간 동안 설문지를 온라인으로 표집 하였다. 응답한 설문지는 총 209부로 모두 최종 분석에 사용하였으며, 측정도구는 셀프리더십, 조직몰입, 직무만족으로 설문지를 구성하여 사용하였다. 통계분석은 SPSS 21.0 프로그램으로 실시 하였다. 국내의 금형 관련 기업체에서 근무하는 종사자들의 조기이직 문제와 직무역량 향상을 위해서 셀프리더십이 조직몰입 및 직무만족에 미치는 영향과 직무만족을 매개로 하여 셀프리더십이 조직몰입에 영향을 주는지 검증하였다. 검증결과 셀프리더십은 조직몰입과 직무만족에 유의한 영향을 미쳤으며, 직무만족은 셀프리더십과 조직몰입간에 완전매개효과가 있음을 증명 하였다. 이것은 셀프리더십이 강하고, 직무만족이 높을수록 조직몰입에 미치는 영향이 크다는 것을 입증 하였다. 이로서 기업이나 협회에서 금형관련 종사자를 대상으로 셀프리더십 교육을 시행할 수 있는 토대를 마련하였다.

항공권 초과예약의 법률적 문제에 관한 연구 (A Study on Legal Issues with Airline Over-booking Practice)

  • 정준식;황호원
    • 항공우주정책ㆍ법학회지
    • /
    • 제27권2호
    • /
    • pp.143-166
    • /
    • 2012
  • 1장에서는 항공권 초과예약의 개념, 항공사의 초과예약 운용실태, 그리고 그에 따른 문제의 본질이 무엇인지를 제시한다. 2장에서는 초과예약으로 인해 탑승거부를 당한 승객이 보상을 요구하는데 필요한 법적장치가 충분한지를 검토한다. 현재 우리나라에는 국제법적, 국내법적, 행정적 구제수단이 전무(全無)하거나 불충분하지만 미국과 유럽은 그렇지 않음을 대비시켜 실효적 구제수단의 마련이 시급함을 강조한다. 3장에서는 초과예약의 형법상 사기죄 구성가능성을 검토한다. 1절에서는 사기죄의 객관적, 주관적 구성요건과 초과예약의 양태를 비교하고 대법원의 확립된 판례를 정리해 초과예약이 우리나라 법정에서 사기죄를 선고받는데 부족함이 없음을 보여준다. 필요한 결론에 이르렀음에도 논문은 더 나아가 대법원 판례와 반대 입장에 있는 학설(다수설)의 부당함까지 논증한다. 학설은 사기죄가 성립하기 위해 피기망자의 '재산상 손해'가 필요하다고 한다. 이 논의는 사기죄의 보호법익에 관한 논의와 논리적 근거를 공유하므로 우선 2절에서 학설이 주장하는 보호법익의 대상부터 논박한다. 학설은 사기죄의 보호법익이 '재산권'이며 '거래의 진실성'과 '신의칙'은 부차적인 것이라고 주장한다. 하지만 논문에서는 후자가 곧 '경제적 의사결정의 자유'로서 사기죄의 주된 보호법익이 되는 것임을 반증한다. 이어 3절에서는 '경제적 의사결정의 자유'침해가 바로 '재산상의 손해'와 동일한 것임을 개념적 분석을 통해 논증하여 학설의 자기모순을 증명해 보인다. 이어 4절에서는 외국의 판례와 입법례를 제시하여 3절이 도출한 결론의 논거를 다시 한 번 공고히 한다. 따라서 논문은 항공사의 초과예약 관행이 이론과 현실재판 모두에서 사기죄의 구성 가능성이 매우 높다는 결론에 이른다.

  • PDF

치료기회상실로 인한 손해배상에 있어서 피침해법익 (Legal Interest in Damages Regarding Loss of Treatment Chance)

  • 엄복현
    • 의료법학
    • /
    • 제20권3호
    • /
    • pp.83-139
    • /
    • 2019
  • 의료과오에 의한 손해배상책임의 인정은 크게 두 가지 축을 기본으로 하여 전개되어 왔다. 첫째는 의사의 과실 있는 진료행위가 있고 이로 인하여 생명·신체 등의 법익이 침해당하고, 생명·신체 침해로부터 발생한 재산적·비재산적 손해에 대한 배상이 문제되는 경우이다. 둘째는 의사의 설명의무 위반이 있고 이로 인하여 자기결정권이 침해당하고, 자기결정권 침해로부터 발생한 비재산적 손해에 대한 배상이 문제되는 경우이다. 그러나 의료과오가 있더라도 환자의 기존상태 등으로 말미암아 의사의 과실 있는 진료행위와 법익침해 사이에 인과관계 증명이 곤란하여 의사의 손해배상책임이 부정되는 경우가 있다. 예를 들어, 환자가 이미 심한 말기암에 걸려있어서 의사로부터 적절한 치료를 받았더라도 완치되었을 가능성이 매우 낮은 경우를 생각해 보자. 이 때 의사의 과실이 없더라도 환자는 사망하였을 가능성이 매우 크다는 이유로 환자에게 어떠한 손해배상도 인정하지 않는 것은 타당하지 않다. 의사의 과실 있는 진료행위로 인하여 환자에게는 최소한 정신적 고통과 같은 비재산적 손해가 발생하였기 때문이다. 위와 같은 경우에 우리 법원은 예외적으로 적절한 치료를 받을 기회를 상실했음을 이유로 하여 위자료 배상을 인정해주고 있다. 그러나 이론적 체계가 정교하지 못하여 어떤 것을 보호법익으로 삼는지 명확하게 밝히지 못하고 있다. 의사의 과실 있는 진료행위와 생명·신체라는 법익의 침해 사이에 인과관계가 부정되더라도 새로운 보호법익을 설정하여 환자에게 발생한 손해를 배상해주려는 최근의 논의가 바로 '치료기회상실의 법리'이다. 이 보호법익의 내용이 무엇인지에 관하여 치유가능성론, 기대권침해론, 연명할 상당한 정도의 가능성 침해론, 치료기회상실론 등이 주장되고 있다. 이 보호법익의 내용은 치료기회상실론에 따라 '의료수준에 비추어 적절한 치료를 받을 이익'으로 보는 것이 타당하다. 환자의 위와 같은 이익은 어느 누구로부터 침해받거나 방해받아서는 안 되는 인간의 존엄한 가치임과 동시에, 생명에 관한 근원적인 욕구이며 법적으로 보호받아야 할 가치 있는 이익이라고 할 수 있다. 이런 측면에서 '의료수준에 적절한 치료를 받을 이익'은 정신적 법익에 관한 일반적 인격권의 하나로써 구체화될 수 있다.

국제항공운송 과정에서의 기장 등의 직무상 불법행위에 기한 운송인의 손해배상책임이 가지는 특수성 (The Characteristic of the Carrier's Liability Due to the Illegal Act of the Crew during International Air Transportation)

  • 김민석
    • 항공우주정책ㆍ법학회지
    • /
    • 제35권3호
    • /
    • pp.3-37
    • /
    • 2020
  • 국제 노선을 운항하는 항공기의 기장 등은 항공기내 불법방해행위에 대한 대응과 관련하여 항공기 내에서 경찰공무원과 거의 동일한 업무를 수행한다. 이는 기장 등의 업무 수행과 관련하여서도 경찰관의 직무상 불법행위에 기한 국가의 배상책임과 같은 문제가 발생할 수 있다는 것을 의미한다. 이와 관련한 국제항공운송인의 손해배상책임을 판단하는 데에 있어서는 경찰의 직무상 불법행위에 기한 손해배상책임과 구별되는 아래와 같은 특수한 문제가 있을 수 있다. 기장 등의 대응조치에 기한 손해배상청구가 있는 경우, 우선 도쿄 협약에 따라 적법한 행위인지 여부가 판단되고 나서, 다음으로 국가배상법이나 몬트리올 협약, 민법에 따른 손해배상청구권이 성립하는지를 살펴야 한다. 도쿄 협약에 따른 검토는 한다. 이는 우리 판례가 수사기관의 행위의 적법성을 판단하는 기준인 비례원칙과 크게 다르지 않다. 다만, 법원은 이를 판단함에 있어 기장의 업무 환경의 특수성을 충분히 감안하여야 할 것이다. 기장 등의 조치가 도쿄 협약에 따라 보호받지 못하는 경우 비로소 민사상 손해배상청구의 청구권규범에 따른 검토를 하여야 한다. 기장 등은 우리 법상 공무수탁사인이므로 국가배상도 가능할 것으로 보이나, 몬트리올 협약과의 조화로운 해석이 필요하다. 한편 항공기 내에서 행해진 기장 등의 위법한 조치에 대하여는 몬트리올 협약이 적용되어야 한다. 운송과정에서 발생한 사건에 대하여 몬트리올 협약은 민법보다 우선 적용되어야 하고, 기장 등의 직무상 불법행위가 그 적용범위에서 제외된다는 규정이 없기 때문이다. 반면, 항공기 내에서 발생한 사건을 원인으로 운송 종료 후 이루어진 위법한 조치에 대하여는 민법이 적용된다. 조건설에 따라 몬트리올 협약의 적용범위를 무한히 확장하는 해석은 허용될 수 없기 때문이다. 즉, 기장 등의 직무상 불법행위에 기한 손해배상청구의 경우 구체적 행위가 취해진 장소에 따라 손해배상청구의 청구권규범이 달라지고, 그에 따라 전보될 수 있는 손해의 유형이나 증명책임분배가 달라진다. 운송인 및 승무원은 이러한 점을 염두에 두고 임무를 수행하되 특히 비례원칙을 준수하여야 하고, 법을 해석할 때에는 승무원의 특수한 업무환경을 충분히 고려하는 것이 필요하다.

개선된 유전자 알고리즘을 이용한 평면 철골트러스의 형상계획 및 단면 이산화 최적설계 (Shape Scheme and Size Discrete Optimum Design of Plane Steel Trusses Using Improved Genetic Algorithm)

  • 김수원;여백유;박춘욱;강문명
    • 한국공간구조학회논문집
    • /
    • 제4권2호
    • /
    • pp.89-97
    • /
    • 2004
  • 최적설계기법을 사용한 경제적인 설계의 필요성은 오래 전부터 요구되어 왔으나, 종전의 설계가 설계자의 경험에 의한 시행착오적인 반복설계를 통하여 이루어져 왔기 때문에 구조물의 형상이 복잡한 경우에는 계산상의 어려움과 반복계산을 되풀이해야 하는 번거로움으로 진정한 최적설계는 기대하기 어려웠다. 최적설계법이 구조물의 설계에 매우 유용하다는 사실이 증명되고 있긴 하지만, 아직도 최적설계의 의미를 제대로 이해하지 못하고 있는 실정이며, 더구나 설계실무자는 어디까지나 사용자이기 때문에 수리적 계획수법에 친숙할 필요까지는 없지만 최소한 이런 기법의 가능성과 중요성을 이해할 필요는 있는데 대부분 그러하지 못하고 있는 실정이다. 일반적으로 트러스 구조물 설계 시 주어진 부재의 응력에 따라 단면적을 산출하여 그 단면적에 역학적으로 가장 합리적인 단면을 선정하여 경제적인 설계단면을 구한다. 그러나 트러스의 형상, 트러스 높이에 따른 경제성의 문제는 보통 설계자의 경험과 직관에 의하여 결정되고, 특별한 검토가 이루어지지 않고 설계가 수행되는데, 실제 트러스 구조물에서 트러스의 형상과 높이가 전체 건설공사비에 크게 영향을 미친다. 그러므로, 트러스 구조물의 최적설계에서 트러스 형상, 라이즈 비(rise ratio : 높이/스팬) 및 격간 수(number of panel)를 고려하는 것이 필요하다. 트러스 형상과 스팬에 따른 최적형상과 최적높이 및 격간 수에 대해 설계자의 초기 구조계획 시 주관적 선택의 어려움을 해결하고, 실제의 지붕형 트러스 구조에 설계하중을 작용시켜 응력해석에서부터 부재 단면설계까지의 자동화된 최적설계 알고리즘을 개발할 필요가 있다. 따라서 본 연구는 플랫 트러스의 형상, 격간 수, 격간의 간격 및 부재단면 등에 대하여 이산적인 변수의 처리와 넓은 설계 공간의 탐색능력과 더불어 문제의 비선형성과 관계없이 전체 최적해를 찾아낼 수 있는 유전자 알고리즘을 이용한다. 또한, 강 구조 한계상태설계기준(대한건축학회, 1998)을 기준으로 하여 자동으로 플랫 트러스의 구조계획과 단면이산화 최적설계를 동시에 수행할 수 있는 최적화 알고리즘을 제시하는 것을 목적으로 한다.

  • PDF