• 정보처리학회논문지A
• /
• 제10A권5호
• /
• pp.559-570
• /
• 2003

본 논문에서는 웹기반 강의 컨텐츠의 문제점을 알아보고 그 문제점을 해결할 수 있는 방법을 제안한다. 다시 말해서, 기존의 웹기반 강의 컨텐츠는 HTML 포멧 기반 코스웨어의 고정되고 획일적인 하나의 큰 파일이거나 미디어 제공 벤더에 종속된 저작도구로 작성된 파일이다. 이러한 강의 컨텐츠는 서로 다른 가상 교육 시스템에서 공유하거나 재사용하기가 어렵고, 학습자의 학습 활동 변경에 따른 적시 적격의 강의 컨텐츠 변경이 어렵다. 따라서 본 논문에서는 분산 컴퓨팅 환경에서 교수 설계자와 다양한 가상 교육 시스템들이 강의 컨텐츠를 공유할 수 있고 재사용할 수 있도록 강의 컨텐츠를 속성을 가진 더 작은 크기로 분해하여 객체화하는 방법을 제시한다. 특히 교수법적인 설계를 근거로 강의 컨텐츠의 재사용 단위를 지도 항목, 테스트, 케이스 예제, 토론, 문제 , 티스커버리, 리소스, 시뮬레이션으로 추정하였다. 이것은 개요, 사실, 해보기, 퀴즈, 평가, 탐구 학습, 토론의 구성 요소로 설정하고 이를 CBD 방법으로 구현하였다. 이것은 웹기반 컨텐츠 시스템의 문제점을 해결할 뿐만 아니라 가상 교육 시스템을 이용하는 교수 설계자와 학습자의 컨텐츠 이해도를 높였다.

• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• Spatial Information Research
• /
• 제21권3호
• /
• pp.79-87
• /
• 2013

본 연구에서는 GIS기반에서 대용량 BIM 형상 객체를 효과적으로 표현하기 위한 경량 형상 포맷 구조 개발에 초점을 맞춘다. 최근 건물관리 유스케이스 관점에서 GIS기반에서 수많은 BIM 객체를 관리하고 필요한 정보를 표현하고자 하는 연구가 진행되고 있다. 이를 효과적으로 구현하기 위해서는 IFC와 같은 BIM정보표준모델을 도시차원에서 GIS상에 효과적으로 표현해야 한다. 이를 위해서는 BIM 정보를 포함한 경량화 된 BIM형상 가시화 방법과 포맷 구조를 제안하고 파일럿 테스트를 위해 프로토 타입을 구현해 본다. 파일럿 프로세스에서는 연구를 통해 도출된 설계 내용에 따라 3개 지역의 모델 데이터에 대해 일반적인 IFC파일과 경량BIM형상 포맷을 각각 구성한 후, 데이터 용량, 화면 로딩 시간 등의 성능을 비교하였다.

• 대한기계학회논문집A
• /
• 제37권10호
• /
• pp.1305-1313
• /
• 2013

본 논문에서는 경계표현 모델에 특징형상기반 단순화를 적용하는 방법을 제안한다. 특징형상기반 단순화를 위해, 경계표현 모델로부터 볼륨분해 트리가 생성된다. 볼륨분해 트리는 가산적 볼륨, 감산적 볼륨 및 필렛/라운드/모따기 볼륨들의 정규화된 불리언 연산으로 표현되며, 필렛/라운드/모따기 분해, 랩어라운드 분해, 볼륨분할 분해 및 셀 기반 분해로 구성된 단계적 볼륨분해를 이용해 생성된다. 볼륨분해 트리는 중위연산 형태로 변환되고, 볼륨들의 순서를 변경하여 CAD 모델을 단순화시킨다. 제안한 방법의 검증을 위해, 프로토타입 시스템을 구현했고, 테스트 케이스에 대한 CAD 모델 단순화 실험을 수행하였다. 실험을 통해 제안한 방법이 경계표현 기반 CAD 모델의 단순화에 유용함을 확인하였다.

• 인터넷정보학회논문지
• /
• 제21권5호
• /
• pp.129-137
• /
• 2020

최근 소프트웨어가 다양한 분야에 적용되면서 소프트웨어 규모와 프로그램 코드의 복잡성이 증가하였다. 이에 따라 소프트웨어 버그의 존재가 불가피하게 발생하고, 소프트웨어 유지보수의 비용이 증가하고 있다. 오픈 소스 프로젝트에서는 개발자가 할당 받은 버그 리포트를 해결할 때 많은 디버깅 시간을 소요한다. 이러한 문제를 해결하기 위해 본 논문은 SeqGAN 알고리즘을 소프트웨어 버그 정정에 적용한다. 자세히는 SeqGAN 알고리즘을 활용하여 프로그램 소스코드를 학습한다. 학습과정에서 공개된 유사 소스코드도 같이 활용한다. 생성된 후보 패치에 대한 적합성을 평가 하기 위해 적합도 함수를 적용하고, 주어진 모든 테스트 케이스를 통과하면 소프트웨어 버그 정정이 되었다고 본다. 제안한 모델의 효율성을 평가하기 위해 베이스라인과 비교하였으며, 제안한 모델이 더 잘 정정하는 것을 보였다.

• 한국컴퓨터정보학회논문지
• /
• 제25권8호
• /
• pp.9-21
• /
• 2020

RDF 지식 그래프의 사용이 늘어나면서 표준화된 RDF 스키마 표현 형식의 부재가 데이터 상호 교환·운용성을 저해한다는 문제가 제기되어 왔다. 이를 위해 W3C는 RDF 그래프에 대한 구조 묘사 및 검증을 지원하는 SHACL 명세를 개발하였다. 관계형 데이터베이스(RDB)는 구조화된 지식 그래프를 얻는 주요 원천 중 하나이다. RDB로부터 RDF 그래프를 생성하는 방법은 통상 W3C에 의해 표준화된 R2RML 명세를 따른다. 그러나 R2RML 방식으로 생성한 RDF 그래프에 대한 스키마를 생성하기 위해서는 전문가에 의한 별도의 수작업이 요구된다. 본 논문에서는 R2RML 매핑에 의해 구축된 RDF 그래프에 대한 SHACL 스키마를 자동 생성하는 방법을 제안한다. 제안하는 방법의 특징은 R2RML 매핑 문서만으로 SHACL 스키마를 생성할 수 있다는 것이다. 본 논문은 제안하는 방법의 구현 사항들을 상세히 기술하며 구현 결과물을 W3C의 R2RML 테스트 케이스에 적용한 결과를 제시한다.

• 한국시뮬레이션학회논문지
• /
• 제20권3호
• /
• pp.59-67
• /
• 2011

본 논문에서는 오류 검출을 위해 소프트웨어 오류 추정 기법을 활용하여 항공무장 시스템인 공대지 사격의 오류 요인을 분석하기 위한 모델을 제시하고 모델을 기반으로 오류 요인 영향을 분석하였다. 선행 연구에서는 공대지 무기체계의 정확도에 영향을 미치는 오류 요소를 분석하고 결함위치추정 기법인 FBEL(Factor-based Error Localization) 기법을 제안하였으며 실사격 자료에 적용하여 오류 요소를 분석하였다. 그러나 다양한 요인 중 하나의 요인인 정확도를 고정하여 적용하므로 다양한 사격 정확도 변화에 따른 사격 오류 발생 요소와의 상관관계는 밝히지 못하였다. 본 연구에서는 사격 오류 요소의 상관관계 분석을 통하여 보다 세밀한 오류 분석 모델을 제시하고 시간과 비용이 제한적이거나 테스트 케이스가 적은 상태에서 오류 발생 가능 요소를 추정하는 방법을 제안한다. 제안된 방법은 실사격 자료를 이용한 시뮬레이션을 통해 그 효용성을 입증하였으며, 무기체계 공대지 시험평가에서 어떤 요소들이 정확도에 영향을 미치는 지를 분석하는데 성공적으로 활용될 수 있음을 보였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2018년도 학술발표회
• /
• pp.141-141
• /
• 2018

자연하천에 존재하는 식생은 동식물에게 주거지를 제공할 뿐만 아니라 영양염류 흡착 및 정화작용을 통해 수질을 개선시키는 역할을 한다. 이러한 식생하천에 오염물질이 유입될 경우 식생에 의한 흐름 교란 작용으로 인해 오염물의 확산거동에 큰 영향을 주게 된다. 본 연구에서는 식생하천에서의 오염물질 혼합특성을 분석하기 위해 식생모형 실험을 수행하였고, Fischer et al (1979)이 제시한 이론식을 실험결과에 적용하여 종분산계수를 산정하고자 한다. 본 연구에서는 자연하천을 재현하기 위해 실험수로에 수중식생 모형을 설치한 후 ADV-Vectrino유속계를 이용하여 유속을 측정하였으며 실험을 통해 식생흐름에서의 유속분포 자료를 취득하고 이를 바탕으로 종분산계수를 산정하였다. 먼저 수중 식생흐름에서 연직유속분포를 측정한 결과, 식생이 존재하는 바닥근처에서는 유속이 느리다가 비식생 구간으로 가면서 유속이 증가하는 분포를 나타낸다. 또한 이 설치된 테스트 구간에 밀도와 유량변화에 따른 케이스를 적용하여 비교 및 분석을 한 결과 식생 밀도를 고정시키고 유량을 증가 시켰을 때 식생구간과 식생이 없는 구간에서의 유속도 증가하는 경향을 보였으며, 유량을 고정시키고 식생의 밀도를 순차적으로 높였을 경우 식생구간에서의 유속이 점차적으로 줄어드는 경향을 보였다. 다음으로 분산계수를 결정하는 방법에는 농도자료를 이용하는 방법과 유속자료를 이용하는 방법이 있는데 본 연구에서는 유속자료를 Fischer et al. (1979)의 이론식에 적용하여 분산계수를 산정하는 방법을 적용하였다. Fischer et al. (1979)가 제시한 식에서 먼저 전단 유속 값을 산정하기 위해 벽법칙 (Karman, 1930), 레이놀즈 전단응력 그리고, 난류운동에너지 (Graf, 1998) 방법을 사용한 후 복잡한 난류 흐름에 적용하기 가장 적합하다는 난류운동에너지 방법을 적용하여 전단 응력이 가장 크게 나온 식생모델 끝단에서의 값을 사용하였다. 그 결과, 수중 식생이 존재하는 흐름에서 무차원화 시킨 종분산계수는 6.89-9.78로 나타났다, 이는 Elder (1959)의 수심 적분을 통해 제시한 종분산계수 값 5.93보다 크다. 즉, 수중 식생이 존재할 경우 종분산계수는 식생이 존재 하지 않을 때 보다 증가하는 것으로 보여 진다.

• 정보보호학회논문지
• /
• 제22권1호
• /
• pp.141-153
• /
• 2012

클라우드 컴퓨팅 서비스의 표준화 작업을 위해 클라우드 컴퓨팅 서비스에 대한 유즈 케이스와 요구사항 연구가 이루어지고 있지만 클라우드 컴퓨팅 환경의 운영 방법에 대한 연구 자체는 미비하다. 본 논문은 IaaS 클라우드 컴퓨팅 환경의 운영 방법을 기존의 통합보안관리시스템과 연계하여 제안한다. CloudStack 2.2.4 테스트베드를 활용하여 IaaS 클라우드 컴퓨팅 환경을 구축한 SWU-IaaS 클라우드 구조를 먼저 제안한다. 이러한 SWU-IaaS 클라우드 운영을 통해 IaaS 클라우드의 계층적인 구조와 구성요소들에 대한 속성 및 기능을 도출한다. 아울러 IaaS 클라우드 서비스를 정상(normal)적인 상태와 비정상(abnormal)적인 상태로 구분하여 각각의 시나리오를 제시한 후 통합보안 관리시스템으로부터 전달되는 보안 이벤트에 대하여 IaaS 클라우드 서비스의 운영 시나리오를 제안한다.

• 방송공학회논문지
• /
• 제26권4호
• /
• pp.356-367
• /
• 2021

최근 사물인터넷 및 인공지능 기술의 발전에 따라 제조, 스마트시티 등 다양한 분야에서 실시간으로 데이터를 수집하고 분석하여 현실세계 문제에 대한 최적화를 수행하는 연구 및 적용사례가 증가하고 있다. 대표적으로 현실세계를 디지털화한 가상세계와 양방향으로 실시간 동기화를 지원하는 디지털 트윈 기술이 주목받고 있다. 본 논문에서는 디지털 트윈을 정의하고 사물인터넷 국제표준인 oneM2M 기반의 IoT 플랫폼을 활용하여 현실사물과 가상세계의 예측결과를 실시간으로 연결하는 디지털 트윈 플랫폼의 프로토타입을 제안한다. 또한, 제안된 프로토타입을 적용하여 물체의 충돌을 사전에 예측하여 사고를 예방할 수 있는 응용서비스를 구현한다. 응용서비스에서는 사전 정의한 테스트 케이스 수행을 통해 제안한 디지털 트윈 프로토타입이 크레인의 동작을 사전 예측하여 충돌 위험을 감지하고 이를 기반으로 최적 제어를 수행할 수 있으며 실제 환경에 응용 가능함을 보였다.