• 인터넷정보학회논문지
• /
• 제22권6호
• /
• pp.71-81
• /
• 2021

본 논문은 미국 등 선진국에서 적용하고 있는 무기체계 전 수명주기 동안에 사이버보안을 향상 시킬수 있는 방안에 대해 현재까지 진행되고 있는 연구에 대해 알아보고, 국내 무기체계 획득시의 제한사항을 분석하여 효과적인 보안평가 방안을 제시하였다. 국내 실정에 맞는 사이버보안 시험평가 방안에 임무 기반의 위험평가를 획득 전 단계에서 일관성있게 수행함으로써 주요 의사결정 조직에 주요한 정보를 적시에 제공하여 의사결정을 지원하고, 사이버보안 측면에서 식별된 취약점에 대해 보호대책을 검증할 수 있도록 교전규칙을 설정하여 모의침투를 수행하는 방안을 제안하였다. 또한 제안하는 사이버보안 시험평가 체계를 국내 무기체계 시험평가와 비교 평가를 수행하였다. 이를 통하여 지금까지 진행된 사이버보안 시험평가체계 연구에 임무 기반의 위험평가 요소를 접목하여 획득 사업간 적시에 위험을 식별하여 주요 의사결정을 지원하는 역량을 보완하였다.

• 한국과학교육학회지
• /
• 제25권5호
• /
• pp.610-623
• /
• 2005

본 연구는 과학적 탐구 방법의 하나로서 귀추법을 토대로 한 지구과학 탐구 활동을 고안하고 수행하는 기초를 마련하기 위한 이론 연구이다. 관련 분야의 문헌들을 탐색하여 지구과학의 본성을 지구과학 탐구의 목적과 탐구 대상의 특징이라는 측면에서 살펴 보고, 귀추법의 형식과 의미, 규칙 추리와 가설제안 과정에서 사용되는 사고 전략들, 귀추법에 바탕을 둔 수업 모형을 차례로 고찰하였다. 귀추법은 어떤 현상을 설명하기 위하여 특정한 사실이나 원리, 법칙 등과 같은 규칙을 추리해 내고 그 속에 함의된 설명적 진술이나 설명적 가설을 제안하는 과정으로서 지구 환경의 형성 원인과 과정을 연구하는 지구과학 탐구에 잘 부합하는 탐구 방법임을 논하였다. 귀추법은 또한, 확정적, 선택적, 평가적, 창조적인 성격을 지니고 있으며, 규칙 추리와 가설 제안 과정에는 자료에 대한 재구성, 발견 법적 일반화, 유추, 개념적 결합, 사전 평가에 의한 제거, 존재에 관한 전략 등이 사용되고 있음을 알 수 있었다. 이러한 귀추법을 토대로 한 교수-학습 모형으로서 귀추적 탐구 모형은 지구과학 교육 현장에 적용 하기에 적절한 것으로 판단되었고, 이에 따라 귀추적 방법을 모델로 한 지구과학 수업과 이와 관련된 연구가 이루어져야 한다는 것을 제안하였다.

• 대한공간정보학회지
• /
• 제4권2호
• /
• pp.123-136
• /
• 1996

최근 날로 정보기술이 발전하고 사회가 다양화되면서 다양한 데이터를 공유하기 위한 데이터 표준화에 대한 요구가 증대되고 있어 이와 같은 표준화를 위해 우선적으로 지형공간데 이터의 정확성과 신뢰도를 나타내는 데이터품질의 정의 및 평가과정에 관한 연구가 요망되고 있다. 본 연구에서는 세계 각 국에서 채택하고 있는 대표적인 데이터 품질요소의 정의 및 평가방법을 비교 고찰하여 다음과 같은 결과를 얻었다. 첫째, 우리나라의 국가지형공간데이터 교환포멧의 표준내에 데이터의 품질을 평가하기 위한 요소의 정의는 평가기준이 명확한 ISO/TC211의 안을 수용하는 것이 바람직하다고 판단된다. 둘째, 본 연구를 통하여 품질평가요소에 따른 보다 합리적인 지형공간정보 데이터의 품질평가과정을 제시하였으며, 이를 KSDTS에도 적용할 것과 데이터 품질평가결과의 보고형식 등을 더욱 더 명확히 하여 국립지리원의 수치지도작성 규칙 등에도 포함시키는 것을 제안하고자 한다. 셋째, 다양한 sampling방법에 관한 연구 및 우리나라에 적합한 품질허용기준(AQL)의 정립과 대량의 데이터품질을 신속하게 자동 평가할 수 있는 컴퓨터 프로그램 작성 등이 요망된다.

• 한국항해항만학회지
• /
• 제29권6호
• /
• pp.573-581
• /
• 2005

컨테이너 터미널 장치장에 수출을 위하여 반입되는 컨테이너들은 그 무게에 따라 몇 단계의 그룹으로 나뉘어 각 그룹별로 장치된다. 이는 무거운 컨테이너들을 선박에 먼저 실어야 하는 적하 계획을 보다 쉽게 수립하고 장치장 공간을 효율적으로 계획, 관리하기 위함이다. 하지만, 장치장에 컨테이너가 반입될 때 해당 컨테이너의 장치 위치를 결정하는 데 사용되는 컨테이너 무게 정보는 부정확한 경우가 많아 장치장 공간 계획의 의도와는 달리 하나의 스택에 무게 그룹이 다른 컨테이너들이 섞이게 된다. 이러한 경우 적하 작업 시 일부 컨테이너들을 임시로 이동시켜야 하는 재취급이 발생하게 되므로 적하 작업의 지연이 발생할 수 있다. 본 논문에서는 컨테이너 무게 정보의 부정확성이 재취급을 얼마나 발생시키는지 추정할 수 있는 방안을 제시하고, 무게 그룹의 흔적이 허용되는 상황에서 수출 컨테이너의 장치 위치를 실시간에 결정할 수 있는 간단하면서도 효과적인 규칙을 생성하는 방안을 제안한다. 실험 결과 본 논문에서 제안하는 방안으로 생성한 장치 위치 결정 규칙을 사용하는 경우 하나의 스택에 동일한 무게 그룹으로 추정되는 컨테이너들만 장치하는 기존 방안에 비해 재취급 발생을 $20\%$ 정도 줄일 수 있음을 예상할 수 있었다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2005년도 춘계학술대회 논문집
• /
• pp.391-398
• /
• 2005

컨테이너 터미널 장치장에 수출을 위하여 반입되는 컨테이너들은 그 무게에 따라 몇 단계의 그룹으로 나뉘어 각 그룹별로 장치된다. 이는 무거운 컨테이너들을 선박에 먼저 실어야 하는 적하 계획을 보다 쉽게 수립하고 장치장 공간을 효율적으로 계획, 관리하기 위함이다. 하지만, 장치장에 컨테이너가 반입될 때 해당 컨테이너의 장치 위치를 결정하는 데 사용되는 컨테이너 무게 정보는 부정확한 경우가 많아 장치장 공간 계획의 의도와는 달리 하나의 스택에 무게 그룹이 다른 컨테이너들이 섞이게 된다. 이러한 경우 적하 작업 시 일부 컨테이너들을 임시로 이동시켜야 하는 재취급이 발생하게 되므로 적하작업의 지연이 발생할 수 있다. 본 논문에서는 컨테이너 무게 정보의 부정확성이 재취급을 얼마나 발생시키는지 추정할 수 있는 방안을 제시하고, 무게 그룹의 흔적이 허용되는 상황에서 수출 컨테이너의 장치 위치를 실시간에 결정할 수 있는 간단하면서도 효과적인 규칙을 생성하는 방안을 제안한다. 실험 결과 본 논문에서 제안하는 방안으로 생성한 장치 위치 결정 규칙을 사용하는 경우 하나의 스택에 동일한 무게 그룹으로 추정되는 컨테이너들만 장치하는 기존 방안에 비해 재취급 발생을 20% 정도 줄일 수 있음을 예상할 수 있었다.

• 한국독어학회지:독어학
• /
• 제1집
• /
• pp.313-348
• /
• 1999

이 논문은 독일어의 겹자음회피현상을 설명함에 있어 어휘음운론에서의 분석이 보이는 문제들을 지적하고, 이 문제들이 제약에 바탕을 둔 이론에서는 어떻게 해결될 수 있는가를 보인다. 제약들간의 상호작용에서 특히 중요한 역할을 하는 것이 단일형태실현제약 (Uniform Exponence)으로서, 이 제약을 통해 독일어 동사의 현재시제, 단수, 2인칭 형태와 3인칭형태에서 나타나는 겹자음회피현상이 동사의 어형변화표 (Verbparadigma)와 밀접한 관련이 있음을 알 수 있다. 이는 규칙들을 통해 2인칭과 3인칭의 올바른 형태를 각각 개별적으로 찾아내는 어휘음운론의 분석과는 근본적으로 다르다. 왜냐하면 어휘음운론의 분석에 따를 때, 예를 들어 3인칭 동사 arbeitet에서 Schwa 모음의 삽입은 겹자음회피를 위해 일어난다고 설명되지만 겹자음이 없음에도 불구하고 Schwa 모음이 마찬가지로 삽입되는 2인칭동사 arbeitest는 설명되지 않기 때문이다. 이런 분석에서는 2인칭 형태와 3인칭 형태가 서로 아무런 관련 없이 각기 따로 존재하게된다. 이에 반해 단일형태제약은 이 두개의 형태를 동시에 비교하므로, 동사 굴절형태에서 마치 불필요한 것으로 보이는 모음삽입이나 자음탈락의 원인에 대해 이론적인 근거를 제시할 수 있다. 즉 2인칭 형태와 3인칭 형태는 보다 상위의 제약들이 막지 않는 한 서로 최대한 비슷한 형태를 가지려고 한다. 이 논문은 겹자음 회피를 위한 수단으로서 모음삽입이나 자음탈락은 오로지 이를 통해 동사의 어형변화표가 좋아질 때만 가능하다는 것을 보여줌으로써 규칙이론이 포착하지 못하고 있는 중요한 일반화를 제시하고 있다. 단일형태 실현제약의 중요성은 접두사 in- 과 un- 이 어간과 결합할 때 보이는 대조를 통해서도 확인된다. 여기서도 어휘음운론의 다층어휘부 구조에 의한 설명이 갖는 문제점이 제약들간의 상호작용을 통해 해결될 수 있음을 알 수 있다.VII-1 및 VII-2공의 3600 m 하부층은 건성 가스 생성 단계에까지 도달한 것으로 나타났다. JDZ VII-1, VII-2 시추공의 3500 m 하위 구간의 올리고세 퇴적층에서 유기물 함량 및 수소 지수가 급격히 감소하는 것은 매몰 심도가 깊어지면서 유기물이 열 분해되어 이미 탄화수소를 생성한 것으로 해석된다. JDZ VII-1 및 VII-2 시추공의 가스징후 및 길소나이트 (gilsonite)는 탄화수소가 생성되어 이동한 흔적을 시사한다.을 해석할 수 있음을 보여주는 것으로 평가된다. 다만 PLAYMAKER2가 보다 신뢰할 만한 퇴적환경 해석을 위한 전문가 시스템으로 구축되기 위해서는 향후 많은 퇴적학 전문가들이 추가로 참여하여 기존 규칙들을 재검증하고 새로운 규칙들을 첨가함으로써 보디 세련된 지식베이스를 개발하여야 할 것으로 판단된다.이며 세 개의 산소가 이루는 평면에서 $1.68{\AA}$ 소다라이트내로 이동하여 위치한다. 32개의 $Tl^{+}$ 이온은 결정학적 자리 II에 존재하고 있으며 산소와의 결합거리를 $2.70(1){\AA}$을 유지하면서 큰 동공속으로 $1.48{\AA}$ 이동하여 위치한다. 약 18개의 $Tl^+$ 이온은 결정학적 자리III에, 또 다른 10개의 $Tl^+$ 이온은 결정학적 자리III'에 존재하고 골조 산소와 각각 $2.86(2){\AA},\;2.96(4){\AA}$의 결합거리를 이룬다.

• 한국해안·해양공학회논문집
• /
• 제29권1호
• /
• pp.20-35
• /
• 2017

잠제와 같은 중력식구조물 하부 해저지반에 고파랑이 장시간 작용하는 경우 토립자내 간극의 체적변화를 일으키는 과정에서 과잉간극수압이 크게 발생될 수 있고, 이에 따른 유효응력의 감소에 의하여 구조물 근방 및 하부의 해저지반에 액상화가 발생될 수 있으며, 종국에는 구조물이 침하파괴될 가능성이 있다. 또한, 액생화를 방지하기 위한 대책공법으로 규칙파의 경우 콘크리트매트를 해저지반상에 포설하여 구조물의 동적변위 및 지반내 간극 수압 및 간극수압비가 감소하는 것을 규명하였다. 본 연구에서는 실해역을 모사한 불규칙파랑을 대상으로 규칙파 해석에서 적용된 동일한 수치해석법을 적용하여 잠제의 동적변위 및 해저지반내 간극수압, 간극수압비 등과 같은 지반거동의 시 공간변화를 규칙파의 경우와 대비하면서 액상화 가능성을 검토하였다. 이로부터 불규칙파동장하에서도 콘크리트매트하의 해저지반내에서 액상화 가능성을 크게 줄일 수 있고, 한정된 본 결과이지만 콘크리트매트가 포설된 경우에도 액상화 평가시 불규칙파의 유의파에 해당하는 파랑조건을 적용한 규칙파 해석이 더욱 안정적인 설계로 된다는 것을 확인할 수 있었다.

• 정보교육학회논문지
• /
• 제14권3호
• /
• pp.291-300
• /
• 2010

협동 학습은 학습자들을 소그룹으로 나누어 상호 협력하여 학습하게 함으로써 학습자의 학업 성취감을 향상시키는 것을 그 목적으로 한다. 그러므로 효과적인 소그룹 생성을 위한 몇몇 기존 연구들이 존재하며, 대부분 연구에서는 교과목, 교수자, 그리고 학습자의 정보로부터 변인 요소들을 추출하고 이를 기반으로 소그룹을 생성한다. 그러나 아직까지 많은 연구들은 특정 교과목에 의존적인 그룹 생성 방법을 제안하고 있을 뿐 다양한 교과목을 대상으로 그룹을 생성하기위한 방법을 제안한 연구는 많지 않다. 더욱이 그룹 생성을 위해 자동화된 시스템을 제안한 연구는 찾아보기 힘들다. 본 논문에서는 다양한 교과목 상황에 따라 그에 맞는 소그룹을 자동으로 생성하는 시스템을 제안한다. 제안된 시스템은 교과목의 기본 정보만을 입력받아 자동으로 그룹을 생성하거나 사용자가 필요하다고 판단되면 추가로 변인 요소를 입력받아 자동으로 소그룹을 생성한다. 본 논문에서는 다양한 변인 요소를 반영하기 위하여 규칙(Rule)을 정의하고 규칙을 기반으로 소그룹을 생성하는 방법을 제안한다. 또한 본 논문은 제안한 그룹 생성 시스템의 사용성을 평가하여 다양한 교과목이 존재하는 대학교육을 대상으로 실제 응용에서 활용 가능함을 보인다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제11권3호
• /
• pp.125-132
• /
• 2022

문장 압축은 원본 문장의 중요한 의미는 유지하면서 길이가 축소된 압축 문장을 생성하는 자연어처리 태스크이다. 문법적으로 적절한 문장 압축을 위해, 초기 연구들은 사람이 정의한 언어 규칙을 활용하였다. 또한 시퀀스-투-시퀀스 모델이 기계 번역과 같은 다양한 자연어처리 태스크에서 좋은 성능을 보이면서, 이를 문장 압축에 활용하고자 하는 연구들도 존재했다. 하지만 언어 규칙을 활용하는 연구의 경우 모든 언어 규칙을 정의하는 데에 큰 비용이 들고, 시퀀스-투-시퀀스 모델 기반 연구의 경우 학습을 위해 대량의 데이터셋이 필요하다는 문제점이 존재한다. 이를 해결할 수 있는 방법으로 사전 학습된 언어 모델인 BERT를 활용하는 문장 압축 모델인 Deleter가 제안되었다. Deleter는 BERT를 통해 계산된 perplexity를 활용하여 문장을 압축하기 때문에 문장 압축 규칙과 모델 학습을 위한 데이터셋이 필요하지 않다는 장점이 있다. 하지만 Deleter는 perplexity만을 고려하여 문장을 압축하기 때문에, 문장에 속한 단어들의 언어 정보를 반영하여 문장을 압축하지 못한다. 또한, perplexity 측정을 위한 BERT의 사전 학습에 사용된 데이터가 압축 문장과 거리가 있어, 이를 통해 측정된 perplexity가 잘못된 문장 압축을 유도할 수 있다는 문제점이 있다. 이를 해결하기 위해 본 논문은 언어 정보의 중요도를 수치화하여 perplexity 기반의 문장 점수 계산에 반영하는 방법을 제안한다. 또한 고유명사가 자주 포함되어 있으며, 불필요한 수식어가 생략되는 경우가 많은 뉴스 기사 말뭉치로 BERT를 fine-tuning하여 문장 압축에 적절한 perplexity를 측정할 수 있도록 하였다. 영어 및 한국어 데이터에 대한 성능 평가를 위해 본 논문에서 제안하는 LI-Deleter와 비교 모델의 문장 압축 성능을 비교 실험을 진행하였고, 높은 문장 압축 성능을 보임을 확인하였다.

• 해양환경안전학회지
• /
• 제24권6호
• /
• pp.670-678
• /
• 2018

선박의 통행량이 많은 연안해역은 선박들 사이에 복잡한 조우상황이 자주 발생하기 때문에 충돌사고의 가능성이 높다. 따라서 해상에서 충돌사고를 줄이기 위해서는 항해사의 국제충돌예방규칙(COLREG) 준수에 더하여 정량적인 충돌위험평가가 요구된다. 본 연구에서는 선박의 계획항로에 대한 충돌위험을 평가하기 위한 새로운 충돌위험도 평가시스템이 개발되었다. 먼저 기존의 충돌위험 평가모델들을 검토함으로써 적절한 충돌위험 평가방법이 제시되었다. 시스템은 MATLAB을 사용하여 개발되었으며 해도, 범퍼 및 평가의 세 부분으로 구성된다. 개발된 시스템은 시험을 위해 간단한 계산조건으로 시험해역에 적용되었으며, 그리고 검증을 위해 실제 계산조건으로 실제해역에 적용되었다. 그 결과 충돌위험은 자선의 길이, 항해시간 및 항로 등에 의해 영향을 받는 것으로 나타났다. 개발된 시스템은 항해사가 출항전 최적안전항로를 선택하는데 도움을 줄 수 있을 것으로 기대된다.