• 방사성폐기물학회지
• /
• 제17권2호
• /
• pp.227-234
• /
• 2019

국내 고준위 방사성폐기물 심층처분시스템에 대한 프로세스 기반의 종합성능평가체계(APro) 개발을 위하여 사용자 편의성이 향상된 모델링 인터페이스를 구축하였다. APro의 모델링 인터페이스는 프로그래밍 언어인 MATLAB을 이용하여 구축되었고, 다중물리현상 모사가 가능한 COMSOL과 지화학반응 계산이 가능한 PHREEQC를 계산 엔진으로 활용하여 연산자분리 방식을 적용하였다. APro는 모델링 영역을 기존의 정형화된 처분시스템으로 제한함으로써 모델의 자유도는 낮지만, 사용자 편의성을 향상시켰다. 처분시스템에서 고려되는 주요 현상들을 모듈화하였고, 이를 "Default process"와 다수의 "Alternative process"로 구분하여 사용자가 선택할 수 있도록 함으로써 모델의 유연성을 높였다. APro는 크게 입력자료 부분과 계산실행 부분으로 구성된다. 기본 입력자료는 하나의 EXCEL 파일에 일정한 포맷으로 정리되고, 계산실행 부분은 MATLAB을 이용하여 코딩되었다. 최종적인 전체 계산 결과는 독립적인 COMSOL 파일 형태로 생성되도록 하여 COMSOL을 이용한 계산 결과의 후처리가 가능하도록 하였다.

• 정보처리학회논문지D
• /
• 제13D권4호
• /
• pp.535-548
• /
• 2006

비즈니스 프로세스 관리 측면에서 XPDL, BPML, BPELAWS와 같은 많은 비즈니스 프로세스 실행 언어들이 각기 다른 기반과 목적에 따라 정의되었다. 이 중에 WfMC에서 제안한 XPDL은 서로 상호 작용할 수 있는 개념의 워크플로우 관련 비즈니스 프로세스 애플리케이션에서 범용적으로 이용되고 있다. 한편, 최근 BPMI에서 주도하는 BPMN(Business Process Modeling Notation)은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로써 정의되었다. 그래서 BPMN을 지원하는 디자인 툴을 이용하면 다양한 비즈니스 프로세스를 일반화된 형태로 디자인하고 분석할 수 있다. BPMN 형식의 비즈니스 프로세스가 비즈니스 프로세스 실행 엔진에서 실행되기 위해서는 XPDL과 같은 비즈니스 프로세스 언어로 의미적으로 동일하게 변환되어야 한다. 이러한 관점에서 본 논문에서는 BPMN 형식의 비즈니스 프로세스로부터 이와 대응되는 XPDL 프로세스로의 변환 기법을 제안한다. 본 논문을 통하여 프로세스 모델링 표기법(BPMN)과 프로세스 실행언어(XPDL) 사이의 의미적 간격을 줄임으로써 현업의 프로세스 설계자와 프로세스 실행 모듈의 차이를 최소화하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1993년도 제3회 정기총회 및 추계학술발표회
• /
• pp.12-13
• /
• 1993

컴퓨터를 이용한 모의 실험 방법은 과학 및 공학 분야뿐만 아니라 경제,사회 현상등에도 널리 적용될 수 있는 유용한 도구이다. 그 중에서도 연속체계 모의 실험은 미분 방정식으로 모델링되는 시스템을 대상으로 하는 경우가 맡으며, 이를 위하여 그동안 맡은 연속체계 모의 실험 언어들이 개발되었다. 그러나 그들은 대부분 사용하기가 복잡하여 사용자 편의성을 고려한 모의 실험 언어에 대한 필요성이 증대되었다. 본 연구에서는 사용자에개 최대한 편의성을 제공하는 연속체계 모의 실험 언어인 PCSL (Postech Continuous-system Simulation language)을 개발하였다. PCSL 프로그램은 프로그램 헤더, 상수 정의부, 함수 정의부, 매개 변수 정의부, 초기화 선언부, 모델 정의부, 종료 조건 선언부, 출력 선언부 등으로 나누어 진다. 그리고 출력으로는 계산 결과를 파일에 저장, 흑은 수치로 인쇄하거나 그래프로 그려서 보여준다. PCSL 처리 시스템은 모델 정의부에서 주어진 미분방정식을 해석해서 digital-analog simulation 기법으로 풀 수 있는 형태로 변환하는 번역기와 이렇게 변환된 형태의 미분방정식과 여러 가지 조건들을 고려해서 C 프로그램을 생성해주는 생성기, 생성된 C 프로그램을 실행시켜서 그 결과를 얻는 실행기,그리고 사용자에게 편리한 입출력 방법을 제공하는 사용자 인터페이스로 구성된다. 번역기에서는 모델로 주어진 미분방정식의 종류를 결정한 후에 이들을 digital-analog simulation 기법으로 풀 수 있는 형태로 변환한다. 생성기에서는 번역기의 결과를 받고,프로그램 상의 여러 가지 조건들을 고려해서 C 프로그램을 생성한다. 여기서 생성된 C프로그램은 미분방정식을 포함하는 ‘f.c'와 조건들을 포함하는'main.h', 그리고 digital-analog simulation 기법을 이용하는 모의 실험 알고리즘을 구현한 'main.c'로 구성된다. 그리고 실행기에서는 생성기에서 생성한 C 프로그램을 실행시켜서 결과를 얻는다. 여기에서 필요로 하는 PCSL 프로그램의 내응은 종료 조건 선언부, 출력 선언부 등이다. 마지막으로 사용자 인터페이스는 사용자가 간편하게 PCSL 프로그램을 입력할 수 있게 도와주며 모의 실험 결과를 쉽게 화면상에 보여주기 위한 것이다. 이 때에 사용자가 원하면 계산 결과를 그래프로 그려서 보여주는 기능과 화면에 보이는 결과를 프린터로 출력할 수 있는 기능을 제공한다. 실형 결과로는 먼저 선형 상미분방정식의 예로 mass-damper-spring system, 비선형 상미분방정식의 예로는 van der Pol 방정식, 연립 상미분방정식의 예로는 mixing tank problem 등을 보였으며, 그의 공학에서 일어나는 여러 가지 문제들도 다루었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국과학교육학회지
• /
• 제34권5호
• /
• pp.479-490
• /
• 2014

이 연구는 과학교육에서 의사소통을 위해 글쓰기와 논의를 활용한 논의-기반 모델링 전략의 개발을 목적으로 하였다. 논의-기반 모델링 전략은 모델링의 목적인 의사소통을 위해 자신이 만든 모델을 논의와 글쓰기를 통해 과학적 언어를 사용하여 스스로 정리하거나 표현하고, 다른 사람의 의견을 듣고 교환하는 과정을 통해 모델을 평가하고 수정하는 일련의 과정을 의미한다. 이 전략은 과학교육에서 모델링에 어려움을 느끼는 학생과 교사를 지원하기 위한 것으로 다음 네 가지 요소의 발달에 초점을 맞추었다. 첫째 여러 문제 상황을 관찰하여 문제를 연관지어 인식하는 문제인식이다. 둘째는 과학적 설명을 위해 충분한 과학개념을 구조화하여 제시하는 과학개념 구조화이며, 셋째는 주장에 대해 적절한 표상을 증거로 제시하는 주장-증거 적절성이다. 마지막은 증거제시에서 다양한 표상의 사용과 이 표상들을 전환하고 통합하는 다중표상 지수이다. 이 네 가지 요소의 발달을 위해 세 가지 stage를 구성하였다. '인지 과정'은 다중표상에 대한 이해를 위한 것이고, '해석 과정'은 다중표상 활동을 통해 증거 제시의 중요성을 인식하는 것이며, '적용 과정'은 학생들이 논의-기반 모델링을 직접 접해보는 것이다. 이 적용 과정에서는 질문 또는 문제 만들기-실험 설계 및 수행하기-관찰 통한 조사하기-자료의 분석 및 해석하기-임시 모델 설계하기-논의하기-되돌아보기-모델 평가하기-모델 수정하기의 아홉 개의 단계로 이루어진다. 논의-기반 모델링 전략은 학생들이 자신이 설계한 임시모델을 다른 사람과 공유하기 위해 증거를 바탕으로 발표하고 반박하는 논의과정을 통해 증거 제시의 필요성을 인식할 수 있다. 논의과정 후 학생들은 주장과 증거를 다중표상으로 나타내는 것에 대해 되돌아보는 과정을 거치면서 주장-증거 적절성을 높이게 된다. 또한 모델을 평가하기 위한 기준을 만들고, 이를 바탕으로 자신의 모둠이나 다른 모둠의 모델을 평가하고 그 결과를 피드백 받으면서 수정하게 된다. 이러한 일련의 과정을 거치면서 관찰한 자연세계의 현상에 대한 자신의 설명체계를 만듦으로써 과학적 지식을 형성할 수 있는 기회를 제공받을 수 있다.

• 한국측량학회지
• /
• 제21권1호
• /
• pp.81-87
• /
• 2003

Web 기반 네트워크 환경에서 3차원의 실세계를 파악하는 것은 매우 어려운 과제이다. 그러나 최근의 시뮬레이션 도구들은 여러 가지 3차원 구현 기술들을 접목하여 제한된 2차원 화면 속에서 3차원 요소들을 효율적으로 구현시켜 나가고 있는 추세이다. 많은 GIS 도구들이 3차원 자료 생성을 위한 훌륭한 기능들을 제공하고 있다. 그러나 웹 환경에서 가상현실기법을 이용한 3차원 CIS의 설계에 대한 연구는 미진한 상태이다. 그래서 이 연구에서는 고가의 Map전용 프로그램의 지원 없이 웹상에서 원하는 방향, 시점에 대한 시각적 정보를 제공할 수 있는 능동적 3차원 VR지도를 제작하기 위해 가상현실모델링언어를 이용하여 3차원 지형 Map을 구현하였으며, 이러한 3D Web-Map은 차세대 지도매체로서 그 가능성이 충분하다고 여겨진다.

• 한국시뮬레이션학회논문지
• /
• 제29권1호
• /
• pp.31-38
• /
• 2020

임무신뢰도란 제품개발 시 목표가 되었던 요구조건하에서 임무를 완수할 확률을 나타내며, 전투체계의 경우 상용 장비와 달리 임무신뢰도가 승패를 좌우할 중요한 요소이다. 기존의 국내 전투체계의 임무신뢰도는 임무수행에 연관된 장비의 물리적 연결만을 고려해 산출되었으나, 장비들이 점차 고도화되어지고 복잡해져 물리적 연결만으로 임무연관성 판단이 불가하다. 이에 따라 본 논문에서는 물리적 연결뿐만 아니라 기능적 연결을 고려한 방법으로 시스템 설계모델링 언어인 SysML을 활용하여 정확도가 향상된 임무신뢰도를 산출하였다. 본 연구결과를 바탕으로 향후 개발되는 전투체계 임무신뢰도 검증자료로 활용 되기를 기대한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1996년도 제8회 한글 및 한국어 정보처리 학술대회
• /
• pp.158-162
• /
• 1996

본 논문에서는 문자출력이 가능한 무선호출기에 음성인식 기술을 접목한, 특성화된 한 음성인식 시스템에 대하여 설명하고자 한다. 시스템 동작 과정은, 일단 호출자가 음성인식 서버와 접속하게 되면 서버는 호출자의 자연스런 입력음성을 인식, 그 결과를 문장 형태로 피호출자의 호출기 단말기에 출력시키는 방식으로 되어 있다. 본 시스템에서는 통계적 음성인식 기법을 도입하여, 각 단어를 연속 HMM으로 모델링하였다. 가우시안 혼합 확률밀도함수를 사용하는 각 모델은 전통적인 HMM 학습법들 중의 하나인 Baum-Welch 알고리듬에 의해 학습되고 인식시에는 이들에 비터비 빔 탐색을 적용하여 최선의 결과를 얻도록 한다. MFCC와 파워를 혼용한 26 차원 특징벡터를 각 프레임으로부터 추출하여, 최종적으로, 83 개의 도메인 어휘들 및 무음과 같은 특수어휘들에 대한 모델링을 완성하게 된다. 여기에 구문론적 기능과 의미론적 기능을 함께 수행하는 FSN을 결합시켜 자연발화음성에 대한 연속음성인식 시스템을 구성한다. 본문에서는 이상의 사항들 외에도 음성 데이터베이스, 레이블링 등과 갈이 시스템 성능과 직결되는 시스템의 외적 요소들에 대해 고찰하고, 시스템에 구현되어 있는 다양한 특성들에 대해 밝히며, 실험 결과 및 앞으로의 개선 방향 등에 대해 논의하기로 한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권5_6호
• /
• pp.335-346
• /
• 2004

톨레미II는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. 톨레미II는 여러 개의 도메인을 가지고 있다. 도메인은 각 시스템의 구성 요소들간의 통신 방법을 결정하는 물리적인 규칙이다. 톨레미II에는 PetriNet, Timed Multitasking, SR 등 11개의 도메인이 존재한다. 시스템의 구성요소들은 그 특성에 맞는 도메인을 사용하여 명세 되어 질 수 있다. 톨레미II는 특히 정형적 도메인으로 프로세스 알제브라 언어의 일종인 CSP를 가지고 있다. 그러나 CCS는 도메인으로 구현되지 않았다. CCS는 프로세스 알제브라의 일종으로서 정형적으로 병렬시스템을 명세하고 검증할 수 있는 언어이다. 따라서 본 논문에서는 CCS도메인을 구현함으로써 톨레미II를 사용하는 개발자가 톨레미II에서 사용하고 있는 동일한 모델링 패턴을 사용하면서 CCS의 정형적 의미론을 바탕으로 하여 시스템 명세를 할 수 있게 하였다. 이것은 톨레미II의 도메인의 다양성을 가지고 옴으로써 톨레미II의 표현력과 가용력을 높였다. 본 논문에서는 톨레미II에 구현된 CCS 도메인의 구조와 구현 방법을 설명하겠다.

• 한국정보통신학회논문지
• /
• 제26권10호
• /
• pp.1509-1516
• /
• 2022

본 논문에서는 UML 상태 다이어그램으로부터 코드 구현 모델을 생성하는 방법을 제시한다. 첫째로 상태 다이어그램의 상태를 객체화하고, 상태 디자인 패턴에 기반하여 동작 메커니즘을 구조화한다. 다음으로 이 구조에 기반하여 컨텍스트 클래스와 이의 인터페이스 역할을 하는 추상 상태 클래스, 그리고 하위 구상 클래스의 구현 코드를 생성하는 규칙들을 설정한다. 이들 규칙들은 Java의 언어 구조에 기반해서, 상태 다이어그램의 상태들과 동작들에 대한 코드 구현 모델을 생성하게 된다. 한편, 코드의 자동 생성을 위해서는 코드 모델로부터 코드 생성을 위해 구조화된 정보가 필요하다. 따라서, 코드 생성을 위한 정보를 메타 클래스 모델과 메타 행위 모델 형태로 구조화하여 구축한다. 이 메타 정보들에 기반하여 상태 다이어그램으로부터 Java 프로그래밍 언어로의 자동 코드 생성을 위한 엔진의 구축이 가능하다. 또한 코드 모델 생성 엔진은 독자적으로 또는 UML 도구의 상태 다이어그램 기능을 지원하는 도구에 통합된 모듈로서 사용될 수 있다.