• 항공우주정책ㆍ법학회지
• /
• 제19권1호
• /
• pp.141-163
• /
• 2004

영공을 침범한 민간항공기에 대한 무력행사의 한계에 대해서는 국제법상 정립되어 있지 아니하다. 따라서 본 논문에서는 민간항공기의 영공침범에 관련된 국제법과 국제관행을 살펴보고, 특히 정치적 테러 수단으로 피랍된 민간항공기에 대한 무력행사의 적법성을 고찰하고자 한다. 본 논문의 연구범위는 평시에 영공을 침범한 민간항공기에 대한 요격 문제에 한정하고 있으며, 국가항공기의 영공침범에 관한 문제나, 요격으로 인한 민형사상의 책임에 관한 문제는 배제하고 있다. 본 논문에서는 영공을 침범한 민간항공기에 관련된 현행 국제법규와 각국의 무력행사 사례들을 분석하므로써, 국제법과 국제관행상 용인되고 있는 무력행사의 요건들을 정립하고, 그것들을 정치적 테러수단으로 피랍된 민간항공기의 특별 사례에 적용하고 있다. 결론적으로, 본 논문에서는 영공을 침범한 민간항공기에 대한 무력행사의 요건으로서 필요성, 최후수단성, 비례성이라는 기본원칙을 제시하고 있으며, 정치적 테러수단으로 피랍된 민간항공기에 대한 무력행사의 가능성에 대해서는 당해 국가안전의 필요성이라는 요인 때문에 다른 어떠한 형태의 영공침범 민간항공기에 대한 것 보다도 높을 수 밖에 없음을 마지막으로 제시하고 있다.

• 응용통계연구
• /
• 제36권5호
• /
• pp.381-397
• /
• 2023

대부분의 임상시험에서 가장 대표적으로 사용되는 실험설계는 무작위화로, 치료 효과를 정확하게 추정하기 위해 이용된다. 그러나 무작위화가 이루어지지 않은 관찰연구의 경우 치료군과 대조군의 비교로 얻는 치료효과에는 환자 간의 특성 등 여러 조정되지 않은 차이로 인해 편향이 발생한다. 성향 점수 가중치는 이러한 문제점을 해결하기 위해 널리쓰이는 방법으로 치료 효과를 추정하는데에 있어 교란요인을 조정하여 편향을 최소화하도록 하는 방법이다. 성향 점수를 이용한 가중치 방법 중 가장 널리 알려진 역확률 가중치는 관찰된 공변량이 주어졌을 때 특정 치료에 할당될 조건부 확률의 역에 비례하는 가중치를 할당한다. 그러나 이 방법은 극단적인 성향 점수에 의해 종종 방해 받아 편향된 추정치와 과도한 분산을 초래한다는 점이 알려져있어 이러한 문제를 완화하기 위해 절사 역확률 가중치, 중복 가중치, 일치 가중치를 포함한 여러 가지 대안 방법이 제안되었다. 본 논문에서는 제한된 중복, 잘못 지정된 성향 점수 모델 및 예측과 반대되는 치료 등 다양한 문제상황에서 여러 성향 점수 가중치 방법의 성능을 비교하는 시뮬레이션 비교연구를 수행하였다. 비교연구의 결과 중복 가중치와 일치 가중치는 편향, 제곱근평균제곱오차 및 포함 확률 측면에서 역확률 가중치와 절사역확률 가중치에 비에 우월한 성능을 보임을 확인하였다.

• 한국정보통신학회논문지
• /
• 제13권9호
• /
• pp.1883-1890
• /
• 2009

무선 메쉬 네트워크 환경에서는 기존의 MAC Protocol이 완벽한 성능을 발휘하기 힘들다. MP들의 끊임없는 이동성, 완전 분산 환경, 과부하 트래픽 등의 문제로 인해 새로운 MAC Protocol들이 제안되고 있다. 이 논문에서는 무선 메쉬 네트워크를 위한 MAC Protocol인 Mesh DCF를 이용한 우선순위 채널 경쟁 접근 방법을 제안한다. Mesh DCF에서는 TDMA Frame안의 ACH Phase를 이용해서 중요도에 따른 선택 및 그룹화를 이용한 삭제 방법을 사용한다. ACH안의 우선 순위화된 PP(Prioritized Phase)의 slot개수 m과 FEP(Fair Elimination Phase)의 slot개수 n은 경쟁 수준을 결정함과 동시에 하나의 MP가 경쟁에서 선택될 확률을 높여주는 역할을 한다. FEP의 경쟁수준을 결정하는 CNG(Contention Number Groups)의 K값은 경쟁의 공정성과 비례하지만 MP가 하나 선택될 수 있는 확률과는 반비례를 한다. 실험 결과 충분한 n과 K의 크기는 전체적인 성능을 향상시키는 것을 확인할 수 있었다.

• 대한화학회지
• /
• 제56권1호
• /
• pp.144-158
• /
• 2012

이 연구에서는 중학교 과학 수업에서 다루는 일정성분비 법칙의 강의와 실험에 대한 과학 교사들과 학생들의 인식을 알아보았다. 이 연구를 위해 3명의 교사 수업을 관찰 기록하고, 면담을 통해 수업과 실험에 대한 인식을 알아보았다. 또한 학생들의 과학 성적과 인지 수준과 과학 태도, 실험 보고서 등을 분석하였다. 연구 결과, 교사들에 따라 강의 수업에서 강조하는 점이 달랐으며, 특히 화학교사들은 기본 개념보다는 비례 관계의 계산과 응용에 더 큰 관심을 가지고 있었다. 그러나 학생들은 기본 개념을 제대로 이해하지 못하였다. 실험 수업에서도 교사들은 학생들의 수행 수준이 낮다고 보고, 실험 과정을 설명하는데 많은 시간을 할애하였다. 그리고 실험 결과의 오차에 대해 부정적인 인식을 가졌다. 학생들은 실험 과정에 대해 제대로 이해하지 못하였으며, 실험 결과를 인위적으로 조작하고, 실험 오차에 대해 부정적인 인식을 가지고 있었다. 이러한 문제는 교사의 학교 과학 수업과 실험에 대한 인식의 변화를 통해 해결될 수 있음을 제안하였다.

• 정보과학회 논문지
• /
• 제44권5호
• /
• pp.460-468
• /
• 2017

실시간 클라우드의 실현에 있어서 데이터 분석 프레임워크는 중추 역할을 수행한다. 현존하는 프레임워크들 중에 가장 많은 요구사항들을 충족하는 것은 Spark Streaming이다. 하지만 이 프레임워크는 초 단위 실시간 고장 복구를 충족하지 못하고 있다. Spark Streaming의 고장 복구 기법은 정상 동작시에 기록된 누적 변형 히스토리를 토대로 고장 직전 마지막 상태 데이터를 재연산하여 복구하기 때문에 히스토리의 길이에 비례하여 복구 시간이 증가된다. 따라서 제한된 시간 이내에 고장 복구가 완료됨을 보장되지 않는다. 또한 초기 상태 데이터를 고장 감내 스토리지에서 읽는 시간이 수십 초에 달하여 초 단위고장 복구 시간을 달성할 수 없다. 본 논문에서는 언급된 문제들을 해결하기 위한 두 가지 기법들을 제안한다. 이를 Spark Streaming 1.6.2에 적용하고, 실험을 통해 고장 복구 시간이 제한 시간 이내에 완료되며 평균 약 41.57% 단축됨을 확인했다.

• 한국통신학회논문지
• /
• 제39B권11호
• /
• pp.763-770
• /
• 2014

무선 센서 네트워크를 위한 전통적인 계층기반 라우팅 프로토콜인 LEACH 방법은 센서 노드들의 에너지 소비가 싱크 노드까지의 거리에 비례하여 증가하기에 불균일한 에너지 소비패턴을 보인다. 센서 필드가 큰 경우 이를 해결하기 위하여 멀티 홉 라우팅에 관한 연구들이 활발히 진행되고 있다. 기존의 연구에서는 클러스터 헤드로부터 단순히 가장 가까운 노드를 중계 노드로 선택하여 멀티 홉 경로를 구성하는데 반하여, 본 논문에서 제안하는 LEACH-CHT 방법은 최종 목적지인 싱크 노드까지의 전체 전송 에너지를 최소화 하는 경로를 선택한다. 본 논문의 방법은 클러스터 헤드가 매 홉에서 싱크 노드까지의 최소 비용 경로를 선택함으로써 추가적인 에너지 소비 없이 클러스터 헤드 자신보다 싱크 노드에서 멀리 위치한 노드들이 중간 경로 상에서 제외 되도록 하며 라우팅 상의 looping 문제를 효과적으로 해결할 수 있다. 컴퓨터 시뮬레이션을 통하여 본 논문에서 제안하는 방법이 노드들의 에너지 소모를 보다 균일하게 함으로써 LEACH보다 센서 노드의 평균 수명을 36% 더 연장하였고 참고한 기존의 멀티 홉 프로토콜들보다 12% ~ 36% 더 연장함으로써 성능이 더 뛰어나다는 것을 보였다.

• 대한교통학회지
• /
• 제24권1호
• /
• pp.109-120
• /
• 2006

2004년 7월, 서울시는 대중교통 이용률을 높이고, 여러 교통 문제를 해소 또는 완화하기 위해 버스 중심의 대중교통체계로 대대적인 개편을 단행하였다. 중앙버스전용차로제가 확대 시행되었고, 광역, 간선. 지선 순환의 네 가지 형태로 노선을 구분. 정비하였으며, 통합거리비례요금제 방식을 도입하였다. 이와 함께 BMS(Bus Management System)의 구축으로 서울시 버스 시스템 전반에 대한 관리 및 제어가 가능해 짐으로써 버스 이용자들에게 보다 신속, 정확하게 실시간 정보를 제공할 수 있게 되었다. 본 연구에서는 이러한 서울시의 새로운 대중교통체계에 맞추어. 선행연구를 통해 정립된 최적경로 탐색기법들을 적용하여 대중교통 최적경로를 산출하고, 기존의 여러 통행시간예측모형 비교를 통해 선정된 비모수 회귀분석 기법을 적용하여 주간선 및 보조간선 도로망에서의 대중교통 데이터에 기초한 통행시간 예측 응용 프로그램을 구현하였다. 그리고 구현된 프로그램의 정확성과 신속성 평가를 통해 실제 시스템에서의 적용가능성과 그 방안들을 제시하였다.

• 한국컴퓨터정보학회논문지
• /
• 제10권6호
• /
• pp.195-208
• /
• 2005

최근 생물학 분야에서 실험 도구의 발달 및 컴퓨터 기술의 도입으로 생물 데이터가 폭발적으로 증가하고 있다. 대량의 생물 데이터로부터 의미 있는 정보를 추출하는 것은 매우 중요한 문제이다. 서열비교는 유전자 및 단백질 기능 예측을 하기 위해 사용되는 가장 기본적인 분석방법이다. 하지만, 급격히 증가하는 대량의 서열데이터에 대하여 처리시간 또한 많이 소요된다. 본 논문에서는 이러한 성능상의 한계를 극복하고 기존 미들웨어 방식의 그리드를 보완하기 위하여 하드웨어 기반의 그리드인 CGRID (Chungbuk national university GRID)를 제안하고 서열비교에 적용한다. 하드웨어 기반의 그리드 방식은 기존의 방식과는 달리 모든 작업노드에 반복적으로 프로그램 설치를 할 필요가 없으므로 그리드 구축, 유지 및 관리가 용이하다. 27대의 PC로 구성된 CGRID에서 89종의 오솔로그 데이터베이스 구축 시간을 33주에서 1주일로 단축하였다. 또한, 실험을 통하여 CGRID에서 PC의 수가 증가함에 따라 시스템의 성능이 비례하여 향상됨을 확인하였다.

• 대한토목학회논문집
• /
• 제4권1호
• /
• pp.93-101
• /
• 1984

본(本) 논문(論文)에서는 일정변단면장주(一定變斷面長柱)의 탄성임좌굴하중(彈性臨挫屈荷重)을 구하는 각산식(咯算式)을 제시(提示)하였다. 특히, 고가도로설계시(高架道路設計時) 자주 나타나는 일단고정(一端固定) 타단자유(他端自由)인 중실원형(中實圓形) 및 구형단면(矩形斷面)에 한(限)하였다. 처짐곡선 미분방정식(微分方程式)의 정밀해(精密解)는 Bessel 함수(凾數)로 나타나는데, Bisection method를 이용하여 Computer로 수치해석(數値解析)하였다. 또 자중(自重)고려시 F.E.M에 의한 해석(解析)은 고유치(固有値) 문제(問題)가 되므로 Jacobi method를 이용하여 수치해석(數値解析)하였고, 균일단면장주(均一斷面長柱)의 정밀해(精密解)와 비교(比較)하여 F.E.M에 의한 근사해(近似解)의 신뢰도(信賴度)를 높였다. 그 결과(結果) 일정변단면장주(一定變斷面長柱)의 임계좌굴하중(臨界挫屈荷重)은 형상계수(形狀係數)와 단면변화율(斷面變化率)에 대해 균일단면장주(均一斷面長柱)의 비례식(比例式)으로 나타낼 수 있었다.

• 대한토목학회논문집
• /
• 제37권2호
• /
• pp.379-387
• /
• 2017

최근 고속철도 평균 좌석이용률이 98% 수준에 이르면서 고속철도 차량 내 혼잡이 발생하는 문제가 나타났고, 이러한 배경에서 본 연구는 고속철도 차량 내 혼잡도 완화에 따른 고속철도 이용자들의 편익을 추정하기 위하여 이용자들의 지불 용의액을 산정하였다. 진술선호자료에 근간한 조건부 가치측정법과 토빗(Tobit) 모형을 통해 지불 용의액을 추정한 결과, 지불 용의액은 소득 수준 및 혼잡도 수준과 비례하는 것으로 나타났으며, 남성, 특실이용자, 자유석 및 정기권 이용자의 지불 용의액이 높고, 주말 이용자, 주부, 통근목적이나 여가목적 이용자들은 지불 용의액이 낮은 것으로 나타났다. 본 연구에서 산정된 지불 용의액은 철도운영자들의 좌석공급 확대를 위한 노력에 대하여 정부의 지원근거나 사회적 편익을 계량화할 수 있는 근거를 제공하였다는 점에서 의의가 있다고 하겠다.