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

검색결과 158건 처리시간 0.026초

운항승무원의 항공기 2개 형식 운항관련 국내외 기준 비교 연구 (A Comparative Study of Domestic and International regulation on Mixed-fleet Flying of Flight crew)

  • 이구희
    • 항공우주정책ㆍ법학회지
    • /
    • 제30권2호
    • /
    • pp.403-425
    • /
    • 2015
  • 운항승무원은 항공기 운항에 필요한 적합한 자격요건을 충족해야 하며 이를 위해서는 항공기 운항에 필요한 자격요건과 항공기간 유사성 등으로 인해 불필요한 자격요건이 무엇인지 확립되어 있어야 한다. 시카고협약은 국제민간항공에 있어서 가장 기본이 되는 국제조약이며 시카고협약 체약국은 시카고협약 부속서에서 정한 '표준 및 권고방식(SARPs)'에 따라 항공법규를 제정하여 운영 중이며, 안전하고 효율적인 기준 수립 및 적용을 위해 지속적으로 노력하고 있다. 본 논문은 운항승무원의 항공기 2개 형식 운항에 대한 ICAO, 한국, FAA, EASA 등의 국내외 기준의 차이점을 인식하고 이를 토대로 한국의 관련 제도를 개선 보완하고자 한다. 운항승무원의 항공기 2개 형식 운항에 대한 국내외 기준을 비교하면서, 한국의 관련 법규가 국제기준 대비 불합리한 측면이 있어 이를 토대로 개선방안을 제시하였다. 기본적으로 항공기 운영자는 기장 또는 부기장이 동일 형식의 비행기로 90일 내에 적어도 3회의 이륙과 착륙을 행한 경험이 없는 기장 또는 부기장을 해당 항공기를 운항하도록 승무시켜서는 아니 된다. 또한 운항승무원은 모든 운항하는 항공기 형식에 대하여 장비 및 절차에 대한 중요 차이점에 익숙해야 한다. 또한 항공기 운영자는 조종사의 조종 기능 및 비상절차 수행능력이 해당 항공기 형식에서 수행능력이 있도록 적합한 방법으로 심사가 수행되어야 한다. 이와 관련해 정기적으로 기량심사가 수행되어야 한다. 한편 항공기 운영자가 운항승무원에게 항공기 간의 유사성을 토대로 서로 다른 항공기 형식을 운항하도록 하는 경우, 항공당국은 각각의 항공기 형식을 운항하기 위한 면제 요건을 설정하여 적용할 수 있다. 결론적으로 운항승무원이 2개 형식의 항공기를 운항하기 위해서는 해당 형식 항공기 운항을 위한 유효한 자격이 있어야 하며, 이를 위해서는 이에 합당한 훈련프로그램을 이수해야 한다. 따라서 특별히 요건이 면제되거나 요구량을 축소하여 적용할 수 있는 법적 근거가 없는 한, 2개 형식 항공기를 운항하기 위해서는 항공기 형식 간의 유사성을 토대로 적용할 수 있는 진보된 훈련 프로그램이 있음에도 불구하고 각각의 항공기 형식에 필요한 모든 운항자격을 충족해야 한다. 항공기 제작사는 표준비행절차 및 안전운항을 위해 새로 항공기를 개발함에 있어서 항공기 시스템에 대하여 기본적인 틀을 유지하면서 기능을 보완 개선하고 있어 항공기 간에 표준화된 적용이 확대되고 있으며 항공기 간의 차이수준은 점차 줄어들고 있다. 또한 다양한 항공 비즈니스 출현 및 레저용 항공시장의 활성화로 운항승무원이 서로 다른 항공기를 번갈아 운항할 필요성이 점차 높아지고 있다. 그럼에도 불구하고 한국은 운항승무원의 훈련 및 운항자격프로그램과 관련하여 신규도입 항공기에 적용할 항공기 간의 차이수준에 따라 실질적으로 다르게 적용할 수 있는 관련 법규 및 체계가 전무한 상태이며, 2개 형식 이상의 항공기를 운항하기 위한 구체적인 기준은 물론 이와 관련하여 항공안전을 위해 금지하거나 제한하는 기준도 없기 때문에 항공기 운영자의 정책적인 판단에 따를 수밖에 없는 실정이다. 따라서 항공당국은 비행표준평가위원회 제도를 도입하여 비행표준평가를 통해 항공기 간의 차이수준을 분석하고 이를 토대로 운항승무원이 합당한 교육훈련 및 자격요건을 효율적으로 적용할 수 있도록 항공기 간 차이수준별 자격요건체계를 수립하여 적용해야 할 것이다. 이와 관련하여 본 논문에서는 항공기 간의 차이수준 평가 및 2개 형식 이상 항공기 운항에 대한 국내외 항공법규를 고찰하고 합리적인 제도 운영을 위한 몇 가지 개선방안을 제시하였다. 본 논문이 1) 정부, 학계 및 항공사 등 유관부문에서 항공안전증진을 위한 국제 동향을 이해하는데 도움이 되고, 2) 국내 항공법규를 개선하는데 도움을 주고, 3) 아울러, 국제표준 준수 및 항공안전증진에 기여하길 기대한다.

라이브 스트리밍 전자 상거래에서 소비자 신뢰에 영향을 미치는 요인에 관한 연구 (Research on factors influencing consumer trust in livestreaming e-commerce)

  • 려효영;심재연
    • 산업진흥연구
    • /
    • 제8권3호
    • /
    • pp.181-199
    • /
    • 2023
  • 전자상거래는 전통적인 그래픽 및 텍스트 형식에서 짧은 동영상 및 라이브스트리밍 형식으로 업그레이드되고 있다. 라이브 전자상거래는 정보전달 및 상품전시의 내용과 형식을 풍부하게 하고 소비자의 쇼핑경험을 향상시키며 점차 새로운 소비패턴이 되고 있다. 그러나 생방송 전자상거래의 발전에는 허위선전, 위조상품, 각종 부정적인 사건 등으로 라이브스트리밍 전자상거래에 대한 소비자의 신뢰도에 심각한 영향을 미치고 있다. 신뢰는 라이브스트리밍 전자상거래의 핵심 경쟁요소이다. 본 논문에서는 신뢰이론에 대한 선행연구를 기반으로 라이브커머스의 "사람, 상품, 장면" 특성 요소를 결합하여 라이브커머스의 신뢰도 모형을 구축하고 가설을 세웠다. 설문조사를 통한 데이터 수집, 라이브커머스의 특성, 쇼호스트 특성, 브랜드 이미지, 제품 정보, 플랫폼 평판, 라이브 상황 및 신뢰성 경향 등의 요인이 소비자 신뢰도에 높은 긍정적인 영향을 미친다는 것을 증명하였다. 연구결과로 매장특성지표를 구축하고, 바람직한 쇼호스트의 특성을 창출하며, 제품브랜드를 구축하고 선택하고, 제품정보를 유지하며, 특성에 적합한 라이브 플랫폼을 선택하고, 라이브 상황에 적절한 컨텐츠를 창출하는 등을 제언하였다.

현실을 패러디한 인디게임의 희비극성 연구 (Analysis of Parody Game as Tragicomedy)

  • 한혜원;김수진
    • 한국게임학회 논문지
    • /
    • 제16권2호
    • /
    • pp.97-110
    • /
    • 2016
  • 디지털 게임은 엔터테인먼트 콘텐츠인 동시에 현대 사회의 문제를 재현하고 메시지를 전달할 수 있는 문화 콘텐츠이다. 본 연구는 현실을 패러디한 인디게임의 서사와 플레이의 특징을 곤잘로 프라스카의 확장 모델 개념을 적용해 분석하고, 이를 토대로 디지털 게임이 현실의 문제를 인식하고 반영하는데 있어서 효과적인 예술 양식임을 증명했다. 현실 패러디 게임의 경우, 이면적으로는 개발자가 실제 세계의 사회 문화적 문제들을 비극적으로 인식하되, 표면적으로 플레이어에게는 희극적인 패러디와 반복적 플레이를 통해서 풍자와 아이러니로 전달한다. 특히 디지털 게임의 경우 '플레이'라는 과정추론적 형식을 통해서 '패러디'의 내용을 재현하고 전달한다는 점에서 특이할 만하다. 이처럼 현실 패러디 게임에서 플레이어는 진지한 주제(serious theme)를 1인칭 입장의 캐주얼 플레이(casual play)를 통해서 경험하며, 희극적인 서사를 통해 비극적인 현실을 직접적으로 인지하게 된다.

무지로부터의 논증, 모두 오류인가? (Is Every Argument from Ignorance Fallacious?)

  • 송하석
    • 논리연구
    • /
    • 제13권2호
    • /
    • pp.61-82
    • /
    • 2010
  • X가 참(거짓)이라는 사실이 알려지지 않았다는 무지전제로부터 X는 거짓(참)이라는 지식결론을 추론하는 논증을 일반적으로 무지로부터의 논증이라고 하는데, 코피 등을 비롯한 많은 논리학자들은 이를 오류 논증의 하나라고 설명하고 있다. 그들의 주장에 따르면, 무지로부터의 논증처럼 보이지만 오류논증이 아니고 설득력 있는 받아들일 만한 논증은 사실은 무지로부터의 논증이 아니고, 조건적 지식전제가 암암리에 포함된 논증이다. 이 논문은 그러한 주장에 반대해서 모든 무지로부터의 논증은 암암리에 조건적 지식전제가 포함된 것으로 해석될 수 있고, 또 모든 무지로부터의 논증이 다 오류는 아니라는 점을 논증한다. 무지로부터의 논증 형식을 지닌 논증 중에서 오류논증과 그렇지 않은 논증의 기준을 제시하고, 특히 실천논증의 경우, 사회적 맥락이 오류논증과 설득력 있는 논증을 가르는 중요한 기준임을 논증한다.

  • PDF

Wertheimer의 평행사변형 구적 문제와 대안적 지도 방안 (The problem of mensuration of parallelogram raised by Wertheimer and alternative strategies)

  • 김수미
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제13권4호
    • /
    • pp.485-493
    • /
    • 2003
  • 본 연구는 Wertheimer가 제기한 평행사변형 구적 문제가 오늘날의 지도 방식으로도 명쾌하게 해결되지 않음에 착안하여, 현재의 지도 방식을 보완해 줄 수 있는 몇 가지 아이디어를 수집하기 위해 수행된 것이다. 예비교사들을 대상으로 조사한 결과 77명 중 18명만이 초등학생에게 호소할 수 있는 지도 아이디어를 제시하였고, 나머지 59명은 무 응답 혹은 부적절한 아이디어를 제시하였다. 이로써 Wertheimer가 제기한 평행사변형 문제가 오늘날의 학생들에게도 여전히 어려운 문제가 될 수 있음이 드러났다. 그러나 적절하게 응답한 18명의 반응을 분석한 결과, Wertheimer가 제기한 평행사변형을 직사각형이나 전형적인 평행사변형으로 등적변형 하는 7가지의 재미있는 아이디어를 얻을 수 있었다. 이들 아이디어의 공통적인 특징은 형식적인 증명보다는 자르고 붙이고 옮기는 적극적인 활동을 통해 학생들의 지각에 호소하는 방식이라는 점이다. 따라서 이를 적절히 응용하면 초등학생들을 위한 지도 자료로 활용 될 수 있을 것이다.

  • PDF

지능적 에이전트 구성을 위한 서술논리 기반 온톨로지 모델링 (Description Logic base Ontology Modeling for Building Intelligent Agent)

  • 양승국;서은석;박영택
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
    • /
    • pp.282-285
    • /
    • 2011
  • 서술논리를 기반으로 하는 OWL 온톨로지는 표준화된 형식적 언어로써 실세계의 도메인 지식을 표현하는데 적합하다. 따라서 논리를 바탕으로 명시적으로 정의된 지식 속에 내재되어 있는 새로운 지식의 추론이 가능하다. 그러나 OWL이 가지는 Open World Assumption(OWA)의 특성은 근거가 불완전하거나 완전한 정보획득이 불가능한 상황에서의 추론을 제한한다. 더불어 OWL이 가지는 또 다른 특성으로 Unique Name Assumption(UNA)의 비지원은 실제적 지식표현을 지원하는 반면, 표현의 불충분으로 인해 결과 도출의 불능을 야기한다. 이러한 특징을 고려하여, 본 논문에서는 지능형 에이전트 구성을 위한 서술논리 기반 지식 표현 방법을 제안한다. 이는 논리적 정당성을 유지하고 올바른 결과를 이끌어 낼 수 있도록 하며, 항상 논리적 결론 도출이 가능한 지식모델을 구성할 수 있도록 돕는다. 이를 통해, 지식모델에 정의된 불완전한 개념에 있어서 OWL이 가지는 특징으로 인하여 발생할 수 있는 문제점에 대한 해결방안을 제시한다. 이에 있어서, 모바일 온톨로지의 예를 통하여 OWA와 UNA에 따른 추론의 제약을 보이며, 이를 해결할 수 있는 방안을 논리적으로 표현함으로써 본 제안의 정당성을 증명한다.

개화기를 중심으로 살펴본 학교수학과 수학교육 (School Mathematics and Mathematics Education Focusing on the Change in the Enlightenment Period)

  • 차주연
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제20권2호
    • /
    • pp.207-214
    • /
    • 2006
  • 수학의 논증수학과 실용수학으로 나누어 볼 수 있다. 우리나라의 수학은 실용수학에서 논증수학으로 그 성질이 변해 왔다고 볼 수 있는데 그 계기가 된 것이 개화기이다. 개화기에 새로운 수학이 등장하면서 겪게 된 변화를 살펴 본 결과, 첫째, 수학서의 내용과 형식은 서구의 방식을 따랐으나 수학을 대하는 태도는 전통적인 방식을 그대로 따랐다는 것, 둘째, 결과를 중요시하는 방식에 익숙해 과정을 중요시하는 증명을 어렵게 생각한다는 것, 셋째, 수학 그 자체를 즐기는 수학 문화가 필요하다는 결론에 이르게 되었다.

  • PDF

경찰의 임의동행에 의한 수사의 적법성에 대한 고찰 (Consideration of Voluntary Company by Police to Legality of Criminal Investigation)

  • 손봉선
    • 한국콘텐츠학회논문지
    • /
    • 제7권12호
    • /
    • pp.105-113
    • /
    • 2007
  • 임의동행은 경찰행정작용 또는 임의수사의 한 방법이다. 피의자 등은 수사기관의 임의동행의 요구를 받았을 때에 임의로 동행을 승낙할 수도 있고, 거부할 수도 있다. 피동행자가 임의동행을 거부하였을 때에는 수사기관은 동행을 강요할 수 없고, 구속의 요건이 있을 때에 한하여 체포영장을 발부받아 체포하거나, 긴급구속의 요건에 해당될 때에는 영장 없이 긴급체포 형식으로 강제 동행한 후 구속영장을 청구할 수 있다. 이러한 처분은 형사소송법의 규정에 의하지 않는 한 피동행자의 신체를 구속하거나 그 의사에 반하여 답변을 강요할 수 없기 때문에 문제가 되는 것이다. 이러한 문제를 입법론, 판례 등을 참고하여 실제 우리나라의 임의동행에 의한 수사의 적법성에 부수하여 운영실태의 범위와 한계 등 책임성 문제를 고찰해 본다.

MPEG 스트림에서의 비디오 및 오디오 정보를 이용한 신 경계 검출 방법 (A Scene Boundary detection Scheme Using Video and Audio Information of MPEG Stream)

  • 김재홍;강찬미;남종호;김경수;하명환;정경희
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
    • /
    • pp.397-399
    • /
    • 2001
  • 본 논문에서는 MPEG 형식으로 압축된 동영상을 데이터에 대하여 비디오 및 오디오 정보를모두 이용하는 새로운 신 경계 검출방법을 제안하고 여러 실험을 통해서 그 유용성을 증명한다. 즉, 본 논문에서는 DC이미지 형태의 대표 프레임을 바탕으로 한 비디오 기반 신 경계 검출방법[8]과 dB값을 이용한 오디오 기반 신 경계 검출방법[9]을 결합하는 방법을 제안한다. 제안한 방법에서는 두 방법에서 모두 신으로 검출한 경계에 대하여서는 신으로 인정하고, 검출한 결과가 다른 경우에 대하여서는 각각의 경계 데이터를 좀 더 자세히 분석하여 신 경계를 검출하도록 한다. 비디오 기반 신 경계 검출방법에서만 검출된 신 경계에 대해서는 그 경계 데이터에 대해서 dB값의 차이를 해당 시간범위 내에서 다시 비교하여 신 경계 여부를 판단하고, 오디오 기반 신 경계 검출방법에서만 검출되 신 경계에 대해서는 그 경계 데이터에 대해서 샷의 유사도를 샷의 개수에 관계없이 시간의 임계치만 고려해서 비교한 다음 신 경계 여부를 판단하게 된다. 이러한 방법으로 신 경계를 검출한 결과를 살펴보면 Precision측면에서는 최고24%까지, Recall측면에서는 최고25%까지 효율을 높이고 있음을 알 수 있다. 이러한 알고리즘은 기존의 신 경계 검출 방법 보다 높은 효율을 제공하여 비디오 데이터를 사용하는 여러 응용분야에서의 프로그램 개발에 이용될 수 있을 것이다.

  • PDF

다양한 클러스터 결과에 의해 진화적 접근법을 사용하는 이종 클러스터링 앙상블 기법 (Heterogeneous Clustering Ensemble Method using Evolutionary Approach with Different Cluster Results)

  • 윤혜성;안선영;이상호;조성범;김주한
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (A)
    • /
    • pp.16-18
    • /
    • 2006
  • 데이터마이닝 기법의 클러스터링 알고리즘은 생물정보학에서 데이터 셋의 사전 정보를 고려하지 않고 중요한 유전적, 생물학적 상호작용을 찾기 위하여 적용되고 있다. 그러나 다양한 형식의 수많은 알고리즘들은 바이오데이터의 다양한 특성들과 실험의 가정 때문에 다른 클러스터링 결과들을 만들 수 있다. 본 논문에서는 바이오 데이터 셋의 특성에도 적합하면서 양질의 클러스터링 결과를 만들기 위한 새로운 방법을 제안한다. 이 방법은 여러 가지 클러스터링 알고리즘의 결과들을 유전자 알고리즘의 기본 개념인 진화적 환경에서 가장 적합한 형질을 선택하는 문제와 결합하였다. 그리고 실제 데이터 셋을 이용하여 우리의 제안하는 방법을 증명하고 실험 결과로 최적의 클러스터 결과를 보인다.

  • PDF