• 한국수자원학회논문집
• /
• 제52권11호
• /
• pp.931-940
• /
• 2019

수문모형에서 매개변수는 수문요소를 반영하거나 단순화된 모형을 보완하기 위해 사용된다. 이러한 과정에서 매개변수로 인한 모형의 불확실성이 발생할 수 있다. 따라서, 본 연구에서는 General Likelihood Uncertainty Estimation (GLUE)을 이용하여 SWAT 매개변수의 불확실성을 평가하고자 하였다. GLUE의 우도함수는 정형/비정형 우도를 이용하여 불확실성 해석을 수행하였다. 정형우도는 lognormal 함수를 비정형우도는 Nash-Sutcliffe Efficiency (NSE)를 이용하였다. 우도와 임계치를 선택하는데 주관적인 요소가 포함되지만 정형우도는 상위 30%, 비정형우도는 0.5이상의 NSE 값을 가지는 우도를 선택하여 행위모델을 생성하였다. 연구결과 우도선택과 임계치 선택의 주관성에도 불구하고 정형/비정형 우도는 작은 차이가 있었으나 우도의 선택과 상관없이 일관된 점분포, 사후분포 및 SWAT결과의 불확실성 범위를 나타내었다. 또한, 공통적으로 SWAT매개변수 가운데 기저유출과 관련된 ALPHA_BF가 가장 민감한 것으로 나타났다. 본 연구를 통하여 유역별로 어떤 임계치를 만족하는 SWAT모형 매개변수의 범위를 분류한다면 사용자들이 SWAT모형에 대한 실무적인 혹은 학술적인 접근이 용이해질 것으로 기대된다.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.11-20
• /
• 1999

기존의 공간 데이터베이스는 오직 현재 시점에서 유효한 정보만을 대상으로 처리하기 때문에 과거로부터 현재에 이르기까지 시간의 흐름에 따른 이력 정보를 효율적으로 관리하기 어려운 문제점이 있다. 최근에는 이를 해결하기 위한 관심이 고조되고 있으며, 이를 통해 현실 세계에 존재하는 객체에 대하여 효율적인 공간 관리뿐만 아니라 시간의 흐름에 따라 변화해온 이력 정보를 제공하라는 시공간 데이터베이스 연구가 시작되고 있다. 이러한 시공간 데이터베이스는 다양한 응용 분야에 적용된다. 데이터베이스엣 정형의미는 데이터 구조와 연산에 대한 명확한 결과를 표현하고 이를 수학적으로 검증하기 위한 도구로서 사용된다. 아울러 시공간 정형의미는 시공간 데이터베이스와 시공간 데이터베이스 관리 시스템을 설계하기 위한 중요한 역할을 수행한다. 따라서 이 논문에서는 시공간 영역과 객체 및 자료 구조는 물론 시공간 기하 연산자와 위상 연산자를 제안한다. 또한 이들을 포함하는 시공간 모델에 대한 정형의미를 통해서 관계 수식을 정립하고 그 연산식을 실제적인 예로서 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.1030-1032
• /
• 2019

형태소 분석을 통하여 한국어 문장을 형태소 단위의 임베딩 및 학습 관련 연구가 되었으나 최근 비정형적인 텍스트 데이터의 증가에 따라 음소 단위의 임베딩을 통한 신경망 학습에 대한 요구가 높아지고 있다. 본 논문은 비정형적인 텍스트 감성 분석 성능 향상을 위해 음소 단위의 토큰을 생성하고 이를 CNN 모형을 기반으로 다차원 임베딩을 수행하고 감성분석을 위하여 양방향 순환신경망 모델을 사용하여 유튜브의 비정형 텍스트를 학습시켰다. 그 결과 텍스트의 긍정 부정 판별에 있어 90%의 정확도를 보였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.803-808
• /
• 2000

OMG 에 의해 표준화되어 객체지향 방법론으로 널리 쓰이고 있는 UML 을 이용하여 보안 기술중의 하나인 일회용 패스워드(One-Time Password) 기술을 모델링한다. UML 은 전체적인 시스템을 이해하는데 도움을 준다. 그러나 그래픽컬한 UML 모델링 기술만으로는 불가능한 일관성 및 refinement 체크를 위해 각 다이어그램 특성에 맞게 정형명세나 정형검증을 도구를 적용하는 것이 필요하다. 클래스 다이어그램의 클래스와 정형명세 언어인 Z 스키마(schema)의 유사성을 이용하여 모델링의 정확성을 확인하는데 Z를 이용할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.283-286
• /
• 2010

안전중요 소프트웨어 코드의 검증은 1%의 잠재적 가능성을 가진 오류조차 허용하지 않는 철저한 검증방식을 요구한다. 이러한 요구에 부응하여 최근 수학적 모델을 사용한 정형검증 기법이 코드검증에 활발하게 적용되고 있으나, 코드의 복잡도와 크기의 증가에 따른 검증비용의 기하급수적 증가가 해결과제로 부각되어왔다. 본 연구에서는 검증하고자 하는 특성을 중심으로 검증대상 코드를 추출, 정형검증의 대상을 자동으로 축소하는 코드추출기를 개발하였다. 개발된 코드추출기는 자동차 전장용 운영체제의 검증에 보조적으로 활용되어 검증비용을 90% 이상 절감하고 검증 사용성을 높이는데 기여하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1986년도 하계학술대회논문집
• /
• pp.385-388
• /
• 1986

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1984년도 하계학술회의논문집
• /
• pp.89-91
• /
• 1984

• 융합정보논문지
• /
• 제11권7호
• /
• pp.14-20
• /
• 2021

겨울철 도로 결빙으로 인한 사고는 대부분 큰 사고로 이어진다. 이는 운전자가 도로의 결빙을 사전에 자각하기 어렵기 때문이다. 본 연구에서는 AutoML과 CNN의 앙상블 모델을 이용하여 도로교통 이머징 리스크를 정확하게 탐지하는 방법을 연구한다. 비정형 데이터인 이미지를 이용한 CNN 이미지 특징 추출 기반 도로교통 이머징 리스크 분류 모델과 정형 데이터인 기상 데이터를 이용한 AutoML 기반 도로교통 이머징 리스크 분류 모델을 각각 학습시킨다. 그 후 모델들에서 도출된 확률값을 입력하여 CNN 기반 분류 모델을 보완하도록 앙상블 모델을 설계한다. 이를 통해 도로교통 이머징 리스크 분류 성능을 향상하고 더 정확하고 빠르게 운전자에게 경고하여 안전한 주행이 가능하도록 한다.

• 한국재난정보학회 논문집
• /
• 제18권2호
• /
• pp.364-373
• /
• 2022

연구목적: 본 논문은 지하공동구의 초기 화재 감지를 위해 CCTV를 활용한 AI 연기 객체 감지 모델을 개발하는데 목적이 있다. 연구방법:비정형성이 높은 연기 객체의 감지 성능을 제고하기 위해 화재 감지에 특화된 딥러닝 객체 감지 모델을 지하공동구 연기 감지에 특화되도록 학습시켰고, 학습데이터셋의 정제 및 학습 중 Gradient explosion 완화 등 감지 성능 개선을 위한 방법들을 적용해 모델 결과를 비교하였다. 연구결과: 결과는 제안된 방법을 통해 모델 성능을 향상시켰고 mAP 등의 지표를 평가를 통해 개발 모델이 우수한 성능을 보유하고 있음을 보여준다. 최종 모델은 지하공동구 환경의 연기에 대해 미탐이 낮은 반면 오탐이 다수 발견되는 성능을 보였다. 결론: 본 논문의 모델은 지하공동구 관리시스템과 연계를 통해 보완함으로써 지하공동구의 연기 객체 감지에 활용할 수 있을 것으로 판단된다.