• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.263-268
• /
• 1999

지능형 교육 시스템에서 학습자 모델은 학습자의 반응을 토대로 교수모듈과 전문가 모듈을 연계하여 새로운 학습자 모델을 제시하는 역할을 수행하고 있으며, 이는 성공적인 지능형 교육 시스템의 구현에 있어서 핵심적인 부분이다. 따라서 많은 대학교 및 연구소에서 그동안 학습자 모형에 관한 많은 연구가 이루어져오고 있다. 그러나 대부분의 연구는 단일 학습자 모형을 기반으로 두고 있으며, 이러한 단일 학습자 모형을 이용한 시스템들은 학습자의 지식 또는 학습자의 성향을 정확히 파악하기는 어려움을 갖고 있을 뿐만 아니라 다른 모듈과의 인터페이스 부분에서 중복된 많은 정보를 가지고 있다. 따라서 본 논문에서는 학습자의 지식을 정확하게 진단하고 각 모듈간의 중복된 정보를 보완할 수 있는 다중 학습자 모형을 개발하여 구현하였다. 또한 이러한 다중 학습자 모형을 최적으로 수행할 수 있도록 하기위하여 agent기법을 적용하였다. Agent를 이용한 다중 학습자 모형을 적용하여 구현한 시스템은 첫째, 단계적인 접근 방법으로 보다 정확한 학습자의 지식 진단이 가능하다. 둘째, 학습과정중 학습자의 심리 상태 및 학습자의 선호도 등 파악이 용이하다. 셋째, 교수모듈과 전문가 모듈과의 연계에 있어서 정보의 중복됨의 최소화 등의 장점을 제공한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.822-826
• /
• 2010

홍수피해저감 대책의 우선순위 결정은 시스템 차원에서 접근해야 한다. 홍수피해저감 사업을 분야별로 분리하여 분석하면 숲을 보지 못하고 산을 판단하는 오류를 범할 수 있다. 홍수피해 최소화를 위한 여러 전문 분야별 대안 분석도 중요하지만, 시스템 차원에서 홍수피해 저감 방안을 파악하고 대책을 수립해야 한다. 따라서 본 시스템의 개발 목적은 최적의 홍수피해저감 대책을 결정하는 데 있어 각각의 개별 정보를 공유하고, 의사결정 지원에 필요한 시스템을 구축하는 데 있다. 본 연구에서 제시한 홍수방어 대책 통합평가시스템은 수문학적 홍수분석 모형을 비롯하여 수리학적 홍수분석 모형, 의사결정지원 시스템이 통합되어 단일 시스템으로 구축되며 이를 위해서는 구체적인 사용자 요구파악과 관련 업무 프로세스 분석을 통한 전체적인 시스템 구조 설계가 중요하다. 홍수방어 대책 통합평가시스템의 핵심 요소는 1) GIS입력 모듈, 2) Fuzzy 알고리즘 모듈, 3) MCDA 알고리즘 모듈, 4) 결과표출 모듈 등 네 가지이다. 여기서 첫 번째 모듈은 GIS 입력 모듈로써 최적 방안 도출을 위한 빈도별 홍수터, 홍수심, 토지이용도 등과 같은 일련의 GIS 기초자료를 제공한다. 두 번째 단계는 퍼지화된 MCDA 모듈을 수행하기 위한 퍼지 알고리즘 및 퍼지 연산을 위한 내부 코딩이 이루어지는 단계로써 사용자 요구 사항에 따른 연산이 가능하다. 세 번째 단계는 최적 방안을 모색하는 MCDA 알고리즘과 연산 수행을 위한 세부 모듈로 구성됐다. 마지막 네 번째 단계는 모형과 DB간의 연계절차로써 사용자가 직접 운영하는 GUI 부분으로써 사용자의 요구 사항을 비롯하여 모형의 특징을 Matlab 프로그램으로 각각의 화면을 디자인한다. 이 단계에서는 모형을 수행하기 위한 DB가 구축되며 사용자의 요구에 의한 맞춤형 분석이 가능하도록 구성됐다. 통합시스템을 통한 의사결정과정의 합리성은 선택된 최적의 홍수저감대책의 사회 경제적 수용성은 물론 의사결정과정의 투명성을 높일 수 있을 것이다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2005.05a
• /
• pp.87-93
• /
• 2005

다양한 정보의 교환 및 공유가 이루어지는 물류분야에서는 정보의 통합관리가 필요하다. 본 논문에서는 서로 다른 물류주체 간의 정보 교환 및 공유가 원활히 이루어지는 RFID에 기반을 둔 물류환경에 적합한 물류정보 통합관리 모형을 제시한다. 본 논문에서 제시하는 물류정보 통합관리 모형은 웹 서비스를 기반으로 물류정보를 저장/관리하는 시스템 모형으로 애플리케이션과의 데이터교환을 위한 인터페이스, 물류데이터 저장, 검색을 위한 모듈, 물류정보의 데이터 무결정과 의미추론을 위한 온톨로지 모듈, XML Repository 및 Respository access 모듈로 구성된다. 데이터 교환을 위한 인터페이스는 SOAP을 이용하며 애플리케이션 및 RFID 미들웨어와 물류정보를 주고 받는다. 데이터 처리모듈은 물류 데이터의 유형에 따라 데이터를 저장/관리하며, 애플리케이션의 정보요청에 대한 결과를 제공한다. 또한 물류정보의 데이터 무결성 검증, 의미추론을 위한 온톨로지 모듈을 포함한다. 본 논문은 XML형식의 물류정보 저장관리 및 시맨틱웹 개념 중심의 모형을 설계한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.593-595
• /
• 1999

모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 객수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈을 반드시 주어진 성질을 만족한다는 가정-보증 추론(Assume-Guarantee Reasoing)을 이용한다.

• Journal of the Korea Society for Simulation
• /
• v.20 no.4
• /
• pp.41-48
• /
• 2011

The act of writing a unit test is more an act of design than of verification. It is also more an act of documentation than of verification. The act of writing a unit test closes a remarkable number of feedback loops, the least of which is the one pertaining to verification of function. Unit testing is a fundamental practice in Extreme Programming, but most non-trivial code is difficult to test in isolation. Normal unit testing is hard because It is trying to test the code from outside. On the other hand, developing unit tests with Mock Objects leads to stronger tests and to better structure of both domain and test code. In this paper, I first describe how Mock Objects are used for unit testing of federation integration. Then I describe the benefits and costs of Mock Objects when writing unit tests and code. Finally I describe a design of Mock federate for using Mock objects.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.464-464
• /
• 2015

수문해석을 수행할 때 유역의 지형으로 부터의 얻어진 수문인자를 사용한다. 유역의 경사나 흐름방향과 같은 지형적인 수문인자는 DEM 자료를 이용하여 여러 수치계산과정을 통해 얻을 수 있다. 이는 특히 유역 수문해석에 있어 유역 특성치 및 수문 인자들의 공간적으로 분포시켜 접근하는 분포형 모형에서 지형적인 입력요소 로 중요하게 사용된다. 본 연구에서는 아래와 같은 지형 수문인자 추출 모듈을 개발하고 사용하고자 한다. * Pit Remove : DEM에서 갱격자 제거 * Flat Remove : DEM에서 평격자 제거 * Flow Direction : 흐름방향 결정 * Flow Accumulation : 흐름 누적계수 결정 * Stream Definition : 하천영역 결정 * Watershed Delineation : 유역 생성 위의 모듈은 Java 오픈소스 프로그램으로서 분포형 수문해석 모형의 한 부분으로서 사용 가능하며, GIS 프로그램에 의존하지 않고 사용할 수 있다. 이 모듈은 이후 분포형 수문해석 프로그램 개발에 사용할 계획이며 연구에 사용되는 컴퓨팅 도구와 환경에 독립적으로 사용이 가능하다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.329-329
• /
• 2021

우리나라의 농촌유역은 일반적으로 상류의 농업용저수지와 하류의 배수장을 통해 홍수조절이 이루어지며, 각 농업수리구조물의 운영이 유역의 홍수 및 침수 발생에 큰 영향을 끼친다. 농촌유역의 홍수 대응 능력을 향상시키기 위해서는 농업수리구조물의 통합적 운영이 필요하나 현실에서 이를 시험 운영하기 위해서는 시간적·경제적으로 한계가 있다. 따라서 농촌유역 내 농업수리구조물을 연계한 통합 해석 시스템을 활용하여 다양한 구조물 운영 시나리오에 따른 홍수 위험을 예측하고 효율적인 대응 방안을 마련할 필요가 있다. 본 연구에서는 농업수리구조물을 연계한 홍수·침수 모의 시스템을 구축하기 위하여, 농촌유역에서 홍수·침수 모의를 위한 요소별 모듈을 구성하고, 각 모듈의 연계 기술을 개발하였다. 홍수·침수 해석 모듈은 농업용저수지 상류 유역에서부터 하류 하천 및 농경지까지 통합적으로 분석할 수 있도록 강우 분석 모듈, 강우-유출 모듈, 저수지 운영 모듈, 하천 수위 모듈, 농경지 배수 모듈의 5가지로 구성하였으며, 데이터베이스 모듈을 통해 기초자료를 저장하고 모듈 간의 입출력 과정을 처리하였다. 강우 분석, 강우-유출, 농경지 배수 모듈은 python 코드를 기반으로 자체적으로 구축하였으며, 기존의 모형 (FARD, HEC-HMS, GATE2018)들과 비교한 결과 거의 동일한 모의 결과를 나타냈다. 저수지 운영 모듈과 하천 수위 모듈은 각각 미 공병단의 HEC-5, HEC-RAS 모형을 CLI (Command Line Interface) 방식으로 외부 구동하도록 구성하였다. 전체 모듈 간의 연계에는 python 라이브러리인 Dask를 적용하여 대량의 데이터에 대한 병렬 처리 구조를 갖춤으로써 다양한 기상자료와 운영 시나리오에 따른 반복 작업을 효율적으로 수행하도록 구성하였다. 본 연구에서 개발한 홍수·침수 모의 요소별 모듈과 연계 기술을 기반으로, 농업수리구조물의 연계 운영을 통합적으로 모의함으로써 홍수 대비를 위한 효율적인 구조물 운영안을 도출할 수 있을 것으로 기대된다.

• Cartoon and Animation Studies
• /
• s.10
• /
• pp.159-178
• /
• 2006

Digital Media have been advanced and disseminated at the same time around the world. Digital contents have been evolved while Product Technology and Process Technology of 3D Digital Animation and On-line game have completed the innovative developments. First of all, several problems can be occurred when product technology can not lead the evolvement of digital contents. To accomplish the evolvement of both product technology and process technology of digital contents, the whole production system and process system must be modulized. Modulization of system can be completed by the consistent and stable integration of platform. Modulization of production system can bring out the modulization of product technology and then the modulization of technology can speed up the commercialization and market test.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.345-349
• /
• 2004

하천의 수량 정보는 내용이 다양하고 공간적${\cdot}$시간적 특성을 갖고 있어 정보의 종류와 양이 광범위해지고 있다. 따라서 하천에서 홍수기에 유출량을 정확히 해석하고 예측한다는 것은 매우 어려울 일이다. 본 연구에서는 이들 수문자료들을 수집하고 홍수유출량을 예측하기 위해 신경망 모형과 상태공간 모형을 이용하여 홍수 유출 예측 모형을 구성하고 금강수계 주요지점에 적용하여 그 적용성을 확인한 후 예측력이 우수한 신경망 모형을 이용하여 Web상에서 홍수 유출량을 예측할 수 있는 시스템을 개발하였다. 개발된 시스템은 자료수집모듈, 유출예측모듈 등으로 구성하여 누구나 Web 상에서 유출량을 예측할 수 있도록 개발되었다.

• Journal of KIISE:Software and Applications
• /
• v.37 no.3
• /
• pp.222-232
• /
• 2010

The purpose of this investigation was to help university professors for making their systematic design of instruction easily and scientifically. To increase of learner's studying ability, the systemic instructional design is imperative. But most of university professors could not get proper experiences to know develop instructional design system, specially to develop web-based system. This new system made it possible to select the proper instructional methods and the media type suitable for the corresponding data. And also every professor who is involved to know this system, can put informations for the target learners, learning contents and learning objectives, and present the proper media types and the many different conditions in the process of the each instructional design process. Finally, the results of the learner's study will be effective and professors showed their positive opinions for the using of the system.