• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2003.05a
• /
• pp.527-531
• /
• 2003

석탄가스화 생성물에서 발생하는 미량의 유황가스를 정제하기 위해서는 먼저 석탄가스화에서 발생하는 미량의 유황가스의 분석이 필요하다. 이러한 초미량 분석을 위한 기기들은 현재 시중에서 너무나 고가로 판매되고 있기에 본 연구에서는 비교적 저렴하고 절차가 간단한 분석방법을 개발키로 한 동기가 부여되었다.(중략)

• Computational Structural Engineering
• /
• v.17 no.3
• /
• pp.14-21
• /
• 2004

MDO프레임웍은 설계 작업을 통합적으로 관리하고 자동화하여 설계도구 간의 데이터 전달과 변환에 소요되는 설계자의 부담을 경감시키며 다분야 전문가가 참여하는 협동설계 환경을 제공함으로써 다분야를 동시에 고려한 효율적 설계를 지원한다. 이번 글에서는 이러한 MDO프레임웍으로 개발된 EMDIOS를 소개하고, 그 개발 배경과 타당성을 개략적으로 제시하였다. EMDIOS는 분산 환경을 제공하고, 데이터베이스와 연계되어 정의된 문제와 문제 풀이 절차를 저장하고 실행시 발생하는 데이터들을 체계적으로 관리하는 구조를 갖는다. MDO문제 해결에 필요한 도구들은 모두 소프트웨어 컴포넌트로 구성 및 기술되어 컴포넌트 등록기에 등록되어 저장된다. 등록된 컴포넌트는 GUI기반의 MDO커널에 의하여 검색되고 MDO문제해결 절차의 구성 요소가 된다. 구성된 문제 해결을 위한 실행은 컴포넌트 서비스 에이전트에 의하여 이루어진다. EMDIOS는 새로운 설계도구를 EMDIOS에 쉽게 통합하여 사용할 수 있도록 공통적으로 구현될 수 있는 부분을 구현한 추상 클래스와 이로부터 필요한 인터페이스를 생성할 수 있는 인터페이스 제조기를 제공함으로써 확장성과 개방성을 제공한다. 제시된 MDO 프레임웍의 사용자 인터페이스는 가장 많은 사용자를 확보하고 있는 윈도우 환경에서 Visual C++를 이용하여 개발되고 있으며, 다양한 OS환경에서 작동되어야 하는 래퍼는 JAVA로 개발하였다. 현재 개발된 EMDIOS는 다양한 벤치 마크 테스트 중이며 올해 9월이후에는 일반에게도 공개할 수 있는 프레임웍으로써 모습을 갖출 것으로 보인다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.372-376
• /
• 2011

본 연구는 설마천 시험유역(경기도 파주시 적성면 소재)을 운영하면서 수문현상을 관측하여 신뢰성 있는 수문자료를 지속적으로 획득하고 물순환 과정을 규명하는데 있다. 이를 위하여 2010년에도 지속적인 수문관측 및 측정을 하였으며, 수문자료의 품질 향상을 위한 관측기기의 유지관리와 수집된 자료의 처리절차를 통하여 신뢰성 있는 수문자료를 생성하고, 이들 자료를 바탕으로 유역의 수문특성을 분석하였다. 시험유역에서 생성되는 자료에는 6개 우량관측소의 우량자료, 2개 수위관측소의 하천수위 및 지하수위, 유량측정성과, 수질 자료, 1개 하천수위관측소의 부유사량 자료, 1개 기상관측소의 기상자료 등이 있으며, 이로부터 산정된 유역평균우량과 유량자료 등이 있다. 실시간 전송장비와 설마천 시험유역 홈페이지(http://seolmacheon.kict.re.kr)로 구성된 수문정보시스템을 통해 관측자료와 가공자료를 등록하였으며, 실시간 전송자료 제공은 물론 확정된 자료를 신청절차를 통해 일반에게 제공하고 있다. 확정된 강우-유출 자료를 이용하여 강우의 호우사상 분석(강우강도, 지속기간), 강우의 지속기간별 최대강우량, 각 지점간 강우량 비교, 강우의 시 공간분포 특성 분석, 월별 유출 및 주요 호우사상의 유출특성 분석 등 기본적인 강우-유출 특성을 분석하였다. 그리고, 유량측정성과의 불확실도 분석을 통하여 측정한 유량자료의 정확도 제고와 현장의 유량자료의 정확도를 개선하기 위하여 유량정보시스템(Parshall Flume, Argonaut-SW, Cableway System에 의한 유량정보 생성)을 운영 평가하였다. 또한, 수질, 부유사량의 특성 분석은 본 유역의 물질순환 해석을 위한 기초자료로 충분히 활용될 수 있다. 관측자료를 이용하여 유역의 유입량과 유출량에 대한 물수지 분석을 하였으며, 각 요소별 정량적인 값을 도출함으로써 물순환 과정을 해석 할 수 있는 기반을 구축하였다. 설마천 시험유역에서 축적된 수문자료는 자료의 공유를 통하여 자료의 검증을 확보함과 동시에 시험유역의 연구성과가 수자원 개발 분야에 활용되기 위해서는 지속적이고 안정적인 자료확보와 수문관측 기술개발을 위한 기반구축이 더욱더 필요한 상황이다.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.254-259
• /
• 2006

전통적인 인공지능 계획방식은 완전한 월드 상태모델과 시스템 동작모델에 기초하여 처음부터 자동으로 작업계획을 생성하려는 접근방식이다. 그러나 지능로봇제어와 같이 불확실성과 가변성이 높은 실 세계 응용분야에서 이와 같은 전통적인 인공지능 계획방식은 효과를 얻기 어렵다. 반면에 많은 실 세계 응용분야에서는 그 분야에서 이미 잘 알려져 있는 작업 영역지식이나 제어지식들이 존재하며, 이들을 효과적으로 이용하는 것이 매우 중요하다. 이러한 방법 중의 하나로서 복잡도가 높은 작업계획을 전문가가 직접 편집해서 입력하는 방식이 널리 쓰인다. 기본 동작모델과는 달리, 일반적으로 작업계획 표현언어는 복잡한 제어구조를 포함하는 하나의 작업 프로세스로 계획을 표현한다. 따라서 이러한 복잡한 절차적 지식인 작업계획을 편집하고 검증하기 위해서는 편리한 모델링 도구의 개발이 필요하다. 본 연구에서는 PRS 계열의 작업계획을 비주얼 환경에서 편집할 수 있고, 가상 시뮬레이션 기능과 작업 계획기와의 연동 기능을 갖춘 PKM시스템의 설계와 구현에 대해 설명한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.4
• /
• pp.416-422
• /
• 2019

This paper proposes a GPU-based modeling and rendering of 3D clouds using procedural functions. The formation of clouds is based on modified noise function made with fbm(Fractional Brownian Motion). Those noise values turn into densities of droplets of liquid water, which is a critical parameter for forming the three different types of clouds. At the rendering stage, the algorithm applies the ray marching technique to decide the colors of cloud using density values obtained from the noise function. In this process, all lighting attenuation and scattering are calculated by physically based manner. Once we have the clouds, they are blended on the sky, which is also rendered physically. We also make the clouds moving in the sky by the wind force. All algorithms are implemented and tested on GPU using GLSL.

• Journal of The Korean Association For Science Education
• /
• v.25 no.5
• /
• pp.595-602
• /
• 2005

The purpose of this study was to test effects of the Triple Abduction Model (TAM) for improving the skills of scientific hypothesis generation in science learning. Twenty-six students were selected for the TAM group and 27 others were selected for a traditional group from one high school. Researchers developed and administered 10 TAM and traditional-style activities. The degree of hypothesis explanation was evaluated during the experimental treatment. Each Subjects' ability in scientific hypothesis generation was assessed by the Science Knowledge Generation Test A and B. Test A was used as a protest and B for a posttest. The results of this study revealed that the degree of hypothesis explanation of TAM was significantly higher than the degree of the traditional group, and the mean of the TAM group was equal to the mean of traditional group on the pretest. Additionally, the mean of the TAM group was significantly higher than the mean of the control group on the posttest. Therefore, instruction with TAM was more effective than the instruction using traditionals method for increasing students' hypothesis generation skills.

• Journal of Intelligence and Information Systems
• /
• v.8 no.2
• /
• pp.51-69
• /
• 2002

In the supply chain environment on the web, collaborative problem solving and case-based modeling has been getting more important, because it is difficult to cope with diverse problem requirements and inefficient to manage many models as well. Hence, the approach on case-based modeling is required. This paper provides a framework that generates a goal model based on multiple cases, modeling knowledge, and forward chaining and it also develops a search algorithm through sensitivity analysis to reduce the modeling effort.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1136-1140
• /
• 2010

Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.

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

절차지향 소프트웨어를 객체지향 소프트웨어로 변환하는 여러 가지 방법이 존재한다. 프로그램을 변환하기 위하여 일반적으로 함수, 변수와 자료형들 간의 관계를 이용한다. 이들간의 관계성을 이용하면 결과로서 객체 후보가 생성된다. 생성된 객체 후보와 영역 전문가에 의하여 생성된 영역 모델을 비교하여 두 모델간의 유사성을 측정하여야 한다. 본 논문에서는 클래스의 시그너처(클래스 이름, 속성의 이름, 속성의 자료형, 메소드 이름, 메소드의 리턴형, 메소드 파라미터의 자료형)을 이용하여 클래스와 객체 후보의 유사도를 측정하고, 측정된 유사도의 평균값을 이용하여 객체 후보군의 유사도를 측정한다. 기존의 연구 방법과는 다르게 n개의 클래스와 m개의 객체 후보사이의 구문적 측면의 유사도 측정뿐만이 아니라 의미적 측면의 유사도를 측정하는 방법을 제시하여 최적합 객체 후보군을 추출하도록 하였다.