• Proceedings of the Korean Geotechical Society Conference
• /
• 1994.09a
• /
• pp.247-252
• /
• 1994

우리나라 산사태의 대부분은 사면의 깊이가 얕은 상태에서 발생하며, 지형적 지질적 및 강우조건에 따라 각기 다른 사면 파괴의 형태를 보여주고 있다. 본 논문에서는 IFDM의 기법을 이용하여 강우침투에 의해 발생할 수 있는 불포화지반으로의 침윤전선의 진행, 간극수압의 시간적 발생과정 등을 포함하는 침투해석을 수행하였다. 침투해석으로 얻은 강우침투 결과를 hyperbolic 응력, 변형을 모델에 조합하여 시간별로 응력, 변형해석을 할 수 있는 모델을 제안하였다. 이 모델에 의한 해석예로써 용인군 창리 산사태 지역을 선택하여 기존의 한계평형법과 본 논문에서 제안한 모델의 결과를 비교하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.357-359
• /
• 1998

무선 통신 환경에서 기지국 안테나를 떠난 전파가 수신안테나에 도달하는 과정 중에 발생하는 전파 손실은 매우 복잡한 비선형 함수이다. 본 논문에서는 신경회로망을 사용한 전파 손실 모델을 제안하고, 3차원 지형 데이터를 이용하여 전파 환경을 반영할 수 있는 특징을 추출하여 이를 신경회로망에 적용함으로써 전파손실 예측모델을 생성하는 방법을 소개한다. 각 필드 측정 데이터에 대한 특징 값을 이용하여 신경회로망을 학습하여 예측모델을 완성한다. 또한, 서울 도심 지역의 실제 PCS 서비스 환경에 대한 실험결과를 통해 제안하는 모델의 우수성을 보인다.

• Proceedings of the Korea Contents Association Conference
• /
• 2013.05a
• /
• pp.261-262
• /
• 2013

본 논문에서는, 구조 상태모델로 시스템의 고장과 복구를 나타내는 상위계층 모델과, 주어진 구조 상태애서 해당시스템의 처리과정인 도착, 큐잉, 서비스를 나타내는 하위계층모델을 갖는 다중 프로세서 컴퓨터 시스템의 계층모델을 페트리 네트의 확장형인 SRN을 이용하여 개발한다. 컴퓨터 가용도의 한 지표로써 NTL(Normalized Throughput Loss)를 구한다.

• Proceedings of the Korean Environmental Sciences Society Conference
• /
• 2004.11a
• /
• pp.218-222
• /
• 2004

Envi-met 모델 수행과정과 주요결과를 요약하면 다음과 같다. 첫째, 본 모델의 바람장 패턴을 검증하기 위하여 도심내의 특정지역을 선택하였으며, 바람의 변화가 예상되는 5개 지점을 선정하여 관측하였다. 둘째, 건물에 의한 바람의 영향이 없는 장소를 1개소 선정하여 대표관측지점에서의 관측값을 모델수행의 초기값으로 선정하였다. 넷째, 관측된 데이터와 모델 수행결과 값을 비교하여 바람장의 변화 패턴을 분석하여, 본 모델의 적합성을 고찰하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.430-432
• /
• 2002

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.40-44
• /
• 2000

미리 제작되어 있는 소프트웨어 컴포넌트를 조립하여 소프트웨어 개발공정을 산업화하는 과정인 CBD(Component Based Development)는 Farmer 모델에 의하여 설계된 시스템을 실제로 구현하기 위하여 매우 적합한 개념이다. CBD개념의 도입을 위하여 Farmer 모델이 갖는 개체노드, 측면노드 및 KLB/OLB 등과 같은 객체들이 수행하는 기능에 대한 명세를 나타내는 인터페이스 명세 모델이 반드시 필요하게 된다. 본 논문에서는 Farmer 모델에 의하여 정의된 개념을 컴포넌트 인터페이스 메타모델에서의 개념으로 변형시키는 방안에 대하여 설명하고 있다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.42-46
• /
• 1999

본 연구는 AutoMod를 이용한 오더피킹시스템의 최적설계 성능산정을 위한 모델의 연구로서 오더피킹 방법은 통로끝오터피킹(End-of-Aisle OP)의 방법을 사용하였다. 오더피피킹방법으로 시스템의 성능 산정을 위한 수리 모델과 이의 전산프로그램을 개발하였다. 수리모델의 제한사항들을 보완하기 위하여 AutoMod를 이용한 시뮬레이션방법을 응용하고 과정을 보였다. 예제를 통해서 구해진 각 시스템의 오더피킹 능력산정에의 응용결과를 구하였고, 주어진 수리모델의 결과와 AutoMod를 이용한 시뮬레이션방법으로 구한 결과를 도출하고 결과를 비교하여 보았다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1399-1402
• /
• 2003

본 연구에서는 XML 데이타의 효율적인 검색을 위한 색인 모델을 제안한다. 제안한 색인 모델은 문서 계층상의 모든 레벨에서 내용 기반 질의, 구조 기반 질의와 같은 다양한 질의를 지원하기 위한 구조정보와 이를 이용한 색인 구조로 구성된다. 그리고 구조 검색을 지원하기 위해 새로운 구조정보 표현 방법을 제안한다. 또한 제안된 색인 모델에 지속성을 부여하기 위해 색인 모델을 디스크에 저장하는 방법을 제안하고 간단한 질의의 처리 과정을 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.301-303
• /
• 2002

XML 문서는 문서의 내용뿐 아니라, 의미를 가지는 구조 정보, 그리고 다양한 의미를 부과할 수 있는 링크 정보를 가지고 있다. 본 논문에서는 XML 문서를 보다 효율적으로 관리하기 위하여 DTD와 XML 문서에 대한 새로운 저장 방법과 이를 이용한 색인 모델을 제안한다. 이를 위해 하나의 XML 문서를 저장함에 있어, 엘리먼트 구조 정보, 애트리뷰트 정보, 링크 정보의 구성 방법을 제시하고, 이를 바탕으로 링크 정보론 이용한 내용 검색 색인 모델과 구조 검색, 애트리뷰트 검색을 위한 색인 모델을 설계한다. 또한 제안된 모델에서의 사용자들의 다양한 질의 유형의 처리 과정을 설명한다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.4 no.2
• /
• pp.55-70
• /
• 1994

본 논문은 데이타베이스의 동적 기능을 모형화하기 위해서 동적 규칙을 사건과 동적 규칙 객체로 취급하여 개념적 스키마에 표현하는 동적 객체지향 데이타 모델을 제안한다. 제안된 모델에서 정적 구조와 동적 구조에 대한 개념들을 정의하고 모형화 과정에서 사용자의 이해도를 증진시키는 모델의 구성요호에 대한 그래픽 다이어그램을 제시하였다. 그리고 동적 규칙이 데이타베이스 구조에 포함됨으로써 발생가능한 정보의 불법적인 노출 또는 변경을 방지하기 위해서 BLP모델의 보안 정책을 확장하여 제안된 모델에 대한 11가지 종류의 다단계 보안 성질들을 정의하였다. 또한, 정의된 다단계 보안 성질들이 타당한가를 조사하기 위해서 패트리네트를 확장하여, 보안 성질의 검증작업을 수행하였다.