1. 서론
처분시스템 안전성평가 도구 개발 측면에서 그동안의 연 구는 처분시스템에서 발생되는 다양한 현상들을 시스템 수 준에서 보수적이고 집약적으로 모사하는 방법들이 주를 이 루었다. 한국원자력연구원에서 개발된 GoldSim [1] 기반의 GSTSPA [2]와 K-PAM [3, 4] 등이 그 예가 될 것이다. 시스 템 수준의 안전성평가 모델은 보수적이고 함축적인 방법을 적용하여 계산 시간이 짧기 때문에, 심층처분시스템이 지표 상의 인간 생활권에 미치는 영향을 사용자에게 간략하고 빠 르게 제시할 수 있다는 장점을 가지고 있다. 원자력안전위 원회의“고준위방사성폐기물 심층처분시설에 관한 일반기 준”고시[5]에서도 처분장 폐쇄후 1만년 이내의 위험도(risk) 와 피폭선량(dose)을 주요 안전목표의 기준 인자로 지정하 고 있기 때문에, 시스템 수준의 안전성평가 모델만으로도 그 안전성을 확인할 수 있을 것으로 판단되어 왔다.
하지만, 공학적방벽과 천연방벽으로 구성되는 처분시스 템 내에는 핵종이동과 직·간접적으로 관련된 다양한 현상들 이 복합적으로 연계되어 있다[6]. 특히, 폐쇄후 초기에는 폐기 물로부터 발생되는 붕괴열과 처분장 주변의 수리적, 역학적, 지화학적 교란에 의하여 다양한 복합현상들이 발생할 것이다. 그리고, 고시에서 설정한 폐쇄후 1만년 이내만 고려하더라도, 이러한 복합현상들은 지속적으로 변화할 것이다. 하지만, 시 스템 수준의 안전성평가 모델은 이러한 처분시스템의 시간에 따른 진화(evolution) 특성을 고려하기에 많은 제약이 따랐다.
방사성폐기물 심층처분시스템에 대한 연구는 지속적으 로 진보되고 축적되어 오고 있다[7]. 하지만, 기존의 시스템 수준의 안전성평가에서는 모델이 세분화되어 있지 않기 때 문에 그동안 축적된 양질의 연구결과 또는 처분기술들을 반 영하는데 한계가 있었다. 단지, 이러한 연구결과들은 safety case라는 큰 틀에서 처분시스템의 안전성을 정성적으로 확 인하는 자료로 활용되고 있다. 따라서, 최근 선진국에서는 단 위현상에 대한 결과를 세부적으로 검토할 수 있고, 시스템 수 준의 종합성능평가모델에 대한 교차분석이 가능하도록, 처 분시스템의 시간에 따른 진화를 반영하고 다양한 복합현상 을 해석할 수 있는 프로세스 기반의 종합성능평가체계 개발 이 진행되고 있다. 이러한 새로운 접근법은 컴퓨터 성능 및 프 로세스 연계 기술의 지속적인 향상 덕분인 것으로 판단된다.
미국은 Yucca 산 유역의 고준위 방사성폐기물 심층처분 시설 건설 인허가 신청을 위하여 GoldSim 기반의 단순화된 안전성평가 모델을 개발하였으나, 평가 도구의 투명성 및 대 중 설득력이 낮고 보수성이 지나치게 커 효율성이 낮은 단점 을 보완하기 위하여 최근에는 고성능 컴퓨팅 시스템을 이용 한 프로세스 기반의 성능평가 모델인 PFLOTRAN [8]을 개발 하였고, 현재 여러 가지 새로운 기능들을 추가하면서 모델을 지속적으로 개선해 오고 있다. PFLOTRAN은 병렬계산이 가 능한 PETSc 체계 기반의 지하수 유동 및 오염물 이동 계산 코드이다. PFLOTRAN은 오픈 소스로써 개인용 컴퓨터에서 부터 고성능 슈퍼컴퓨터에 이르기까지 모든 컴퓨터에서 실 행이 가능하다는 장점을 가지고 있다. 그동안 PFLOTRAN은 불균질 공극 매질에서의 단순한 1차원 오염물 이동에서부터 복잡한 3차원 다상 유체 이동 및 생지화학반응에 이르기까 지 다양하고 복잡한 현상들을 모사하기 위하여 다양한 사용 자들에 의해 사용되어왔다(예, [9, 10]).
유럽에서는 스페인의 Amphos21을 중심으로 다중물리 현상과 지화학반응 등의 복합현상들을 해석할 수 있는 통합 프로그래밍 시스템인 iCP [11]를 COMSOL (다중물리현상 모 사를 위한 유한요소법(Finite Element Method; FEM) 기반의 범용 소프트웨어)[12]과 PHREEQC (지화학반응 계산을 위한 소프트웨어)[13]를 접목하여 개발하였으며, 유럽 여러 국가 에서 방사성폐기물 처분시스템의 안전성평가에 활용되고 있 다. iCP는 두 개의 독립 소프트웨어인 COMSOL과 PHREEQC 를 순차적 비반복법(sequential non-iterative approach)의 연산자 분리(operator splitting) 방법을 사용하여 연계함으로 써 지화학반응을 포함한 다양한 다중물리현상들을 동시에 모사할 수 있다. iCP 자체는 일반적인 반응이동 모델이 아니 기 때문에, 대부분의 계산 능력은 iCP를 구성하는 두 개의 독 립적인 해석 엔진(COMSOL과 PHREEQC)에 의해 좌우된다.
이러한 연구동향에 맞춰, 본 연구에서는 국내 고준위 방 사성폐기물 심층처분시스템에 대한 프로세스 기반의 종합 성능평가체계 개발을 위하여 사용자 편의성이 향상된 모델 링 인터페이스를 개발하였다. PFLOTRAN과 iCP는 일반적인 목적으로 개발된 모델로서 처분시스템 종합성능평가 전용 의 프로그램이 아니기 때문에 입력파일의 구성이 매우 복 잡하다. 따라서, 모델 개발에 경험이 없는 일반 사용자들이 이들을 처분시스템에 적용하기 위해서는 전문적인 학습이 추가적으로 필요하다. 특히, iCP는 입력파일의 구성과 함께 COMSOL과 PHREEQC에 대한 배경지식이 추가적으로 필요 하다는 단점을 가지고 있다. 이러한 단점을 보완하고 실용성 을 증가시키기 위하여, 본 연구의 모델링 인터페이스 개발에 서는 전형적인 심층처분시스템의 종합성능평가에 특화시키 고, 주요 현상들의 모듈화와 입력자료의 단순화를 통한 개발 자 및 사용자의 편의성 향상에 중점을 두었다.
2. 본론
국내 고준위 방사성폐기물 심층처분시스템의 안전성평 가를 위하여 본 연구에서 개발하고자하는 프로세스 기반의 종합성능평가체계는 APro (Advanced Process-based total system performance assessment framework for a geological disposal system)이다. APro의 모델링 인터페이스 는 프로그래밍 언어인 MATLAB [14]을 이용하여 구축되었 다. 그리고, 스페인의 iCP와 유사하게, FEM 기반으로 다중 물리현상 모사가 가능한 COMSOL과 지화학반응 계산이 가 능한 PHREEQC를 계산 엔진으로 활용하였다. 즉, MATLAB workspace에서 계산에 필요한 전처리와 함께, 순차적 비반 복법의 연산자 분리 방법을 적용하여 각 계산 엔진들이 효율 적으로 조정된다. 여기서, 지화학반응을 제외한 다중물리현 상의 연계를 위해서 COMSOL 내의 segregated solution approach 기능이 기본적으로 활용되었다.
다양한 다중물리현상을 모사하고, 미시 규모의 지화학반 응을 고려하기 위해서는 많은 양의 계산이 필요하며, 이에 따 른 계산 시간의 증가가 필연적이다. 따라서, APro의 모든 계 산은 병렬계산이 가능하도록 구성되었고, 이는 개인용 컴퓨 터 뿐만아니라 컴퓨터 클러스터와 같은 고성능 컴퓨팅 시스 템에도 적용가능할 것이다. 특히, 실제 처분장 규모의 모델 링 영역에 대한 평가에서는 이러한 계산 시간 단축에 대한 노 력이 필수적으로 고려되어야 할 것이다.
2.1 APro의 특징
2.1.1 모델링 영역의 유연성
APro는 모델링 영역(domain)을 기존의 정형화된 처분 시스템으로 제한함으로써 모델의 자유도는 낮지만, 사용자 편의성을 향상시켜 관련 종사자들이 쉽게 사용할 수 있도록 설계되었다. 여기서, 정형화된 처분시스템으로는 폐기물, 처 분용기, 처분공 완충재(벤토나이트), 처분터널 뒷채움재로 구성되는 KBS-3 형태의 수직 및 수평형 처분시스템이 고려 되었다. 이렇게 공학적방벽의 구성이나 형태는 제한을 두었 지만, 처분공 내 폐기물의 개수 및 크기, 완충재의 크기, 처분 공의 개수 및 간격, 처분터널의 개수, 크기, 간격 및 위치, 처 분방식(수평형/수직형) 등은 사용자가 조절할 수 있도록 하 여, 실제 처분 프로그램에 따라 필요한 모델링 영역을 자유롭 게 구성할 수 있도록 하였다. 또한, 전체 처분시스템을 대상 으로 하는 종합성능평가뿐만 아니라, 특정 구성요소에서의 부분적인 물리현상 모사도 가능하도록 처분시스템 구성요소 를 사용자가 선택적으로 지정하도록 하였다.
2.1.2 다중물리현상의 모듈화
APro에서 고려되는 물리현상들은 Fig. 1과 같다. 기본 적으로, 폐기물에서 발생되는 붕괴열이 공학적방벽과 근계 암반을 통해 전달되는 열적(Thermal) 현상 변화, 근계 암반 의 지하수가 불포화 상태의 공학적방벽으로 이동하는 수리 적(Hydraulic) 현상 변화, 처분 구조물 및 열-수리 현상 등에 의한 역학적(Mechanical) 현상 변화, 근계 암반 및 완충재/ 뒷채움재 내 공극수의 화학적(Chemical) 조성의 변화 등이 고려된다. 여기서, 근계영역의 수리적 현상 변화는 원계영 역의 광역적 수리지질 현상 변화들에 의해서 영향을 받게 된 다. 그리고, 안전성평가의 핵심이 되는 현상으로서 처분용기 의 성능상실로부터 시작되는 누출된 핵종의 반응이동 현상 이 APro에서 고려되는 주요 현상으로 포함되었다. 이러한 각 현상들은 다시“Default process”와 다수의“Alternative process”로 구분하여 사용자가 선택할 수 있도록 함으로 써 모델의 유연성을 높였다. 여기서, 각 현상별“Default process”는 각 현상을 가장 간단하게 모사한 개념이 되 고,“Alternative process”는“Default process”를 대체해서 사용자가 좀 더 관심 있게 확인하고자 하는 현상이 될 것이 다. 즉, 개발자 입장에서는 별도로 고려하고자 하는 현상들 을 모듈 형태로 개발하여“Alternative process”에 쉽게 추가 할 수 있게 되고, 사용자 입장에서는 일부 현상들은 생략하 고 특정 현상들을 좀 더 깊이 있게 고려함으로써 사용자 목적 에 맞게 모델을 구성할 수 있게 된다. 본 연구의 목적인 모델 링 인터페이스 개발 차원에서는 각 물리현상별로“Default process”들이 적용되었다.
2.1.3 계산결과의 통합
COMSOL 내에 특정 현상에 대한 수치해석이 아닌 결과 저장만을 위한‘Study’또는‘Data set’를 별도로 생성시켜, 매 단위시간별로 계산된 결과들이 자동으로 COMSOL 파일 내에 축적이 되도록 하였다. 즉, 최종적인 전체 계산결과는 독립적인 COMSOL 파일 형태로 생성이 된다. 이를 통해, 결 과의 후처리 기능이 우수한 COMSOL을 이용하여 사용자 목 적에 맞는 결과의 후처리가 가능하도록 하였다.
2.2 APro의 구성체계
APro는 크게 입력자료 부분과 계산실행 부분으로 구성 된다. 기본 입력자료는 하나의 EXCEL 파일에 일정한 포맷 으로 정리되고, 계산실행 부분은 MATLAB 프로그래밍 언 어를 이용하여 코딩되었다. APro의 전체적인 구성체계는 Fig. 2와 같다.
사용자 입장에서는, 입력자료인 EXCEL 파일을 작성하 고, MATLAB 실행파일을 실행하면 모든 계산결과가 COMSOL 파일 형태로 생성되는 구조이다. 그리고, COMSOL의 GUI 하에서 계산된 결과들을 이용하여 추가적인 후처리 작 업을 수행할 수도 있다. 이러한 구조는 사용자가 컴퓨터 프로 그래밍에 대한 전문성이 없더라도, 간단하게 실행할 수 있도 록 사용자 편의성이 향상된 구조라 할 수 있다.
2.2.1 APro의 입력자료 부분
기본 입력자료인 EXCEL 파일은 다음과 같이 구성된다.
Simulation Condition에서는 계산에 필요한 시간 정보 (총 평가 기간, 계산 단위시간(time step)), 공간 정보(2차원 또는 3차원), 고려하고자 하는 구성요소(처분용기, 완충재, 뒷채움재, 모암), 고려하고자 하는 현상(열적 현상, 수리적 현상, 역학적 현상, 화학적 현상, 용기 성능 상실 현상) 등을 지정할 수 있다. 여기서, 고려하고자 하는 구성요소는 on/off 방식으로 지정되고, 고려하고자 하는 현상은 각 물리현상별 번호로 지정된다.
Domain에서는 전체 모암의 위치 및 크기, 처분방식(수 직 또는 수평), 처분장의 위치, 처분터널의 개수 및 간격, 처분 공의 개수 및 간격, 뒷채움재의 크기, 완충재의 크기, 처분용 기의 개수 및 크기 등이 각 처분장 별로 지정된다. 여기서, 폐 기물 및 공학적방벽 물성이 같은 처분공들을 그룹화하여 하 나의 처분장으로 모델 영역을 생성시킬 수 있으며, 물성이 다 른 처분공들은 EXCEL의 열(column)을 추가하여 각각의 정 보를 제공함으로써 사용자가 원하는 만큼 별개의 처분장으로 설정하여 다양한 형태의 모델 영역을 생성시킬 수 있다.
Mesh에서는 각 구성요소별(처분용기, 완충재, 뒷채움 재, 모암)로 FEM 수치해석에 필요한 격자(mesh)의 최대 크 기가 지정된다.
Thermal, Hydraulic, Mechanical, Chemical에서는 각 물 리현상 해석에 필요한 구성요소별 물성 자료들이 포함된다. 물성값들은 하나의 상수(constant)로 지정되거나 특정 인자 에 대한 함수식으로도 표현될 수 있다. 이 때는, 물성값을 고 유의 변수명으로 지정하고, 각 변수에 대한 함수식을 별도로 정의해 줄 필요가 있다. 특히, 해당 평가지역의 수리지질 모 델이 존재하여 별도의 데이터 파일을 이용하고자 한다면, 수 리적 물성 중 수리전도도(hydraulic conductivity)는 그 데이 터 파일명으로 지정할 수 있다. 그리고, 열적 현상 입력자료 에는 폐기물 별 시간에 따른 붕괴열 함수가 추가되고, 수리 적, 역학적 및 화학적 현상 입력자료에는 경계조건이 추가된 다. 화학적 현상 입력자료에는 열역학 자료를 포함하고 있 는 PHREEQC database 파일명이 지정되고, 각 구성요소별 초기 화학적 조성은 별도의 PHREEQC 파일 형태로 저장하 여, EXCEL 파일에는 그 파일명만이 지정된다. 고려되는 화 학종 및 핵종의 물성들과 함께 폐기물 내 핵종 재고량도 여 기서 지정된다.
Failure에서는 처분용기의 성능상실 조건을 설정하기 위 한 입력자료들이 지정된다. 물리현상과 관련된 입력자료들 은 Simulation Condition에서 지정된 물리현상 번호에 따라 선택적으로 계산에 활용된다.
2.2.2 APro의 계산실행 부분
APro의 계산실행 부분은 크게 전처리 부분과 반복계산 부분으로 구분된다(Fig. 2).
전처리 부분에서는 먼저 기본 입력자료인 EXCEL 파일로 부터 시뮬레이션 조건, 모델 영역, 모델 격자, 물리현상 등과 관련된 입력자료들을 읽고, 그 형태를 COMSOL과 PHREEQC에서 호환 가능하도록 변환한다. 여기서, 계산에서 고려 되는 모델영역과 물리현상들은 각각 Simulation Condition 에서 선택된 것들에 대해서만 설정된다.
모델 영역은 Simulation Condition의 설정에 따라 3차 원 또는 2차원의 모델 영역이 COMSOL을 이용하여 생성된 다. 폐기물과 처분공은 원기둥(3차원) 또는 직사각형(2차원) 모양으로, 그리고 처분터널은 말굽 모양으로 설정된 개수와 크기에 따라 모델 영역이 생성된다. 생성된 모델 영역들은 처분장별로‘처분용기’,‘완충재’,‘뒷채움재’,‘모암’으 로 구분하여 그룹화된다. 이를 통해, 물리현상이 적용되는 해당 영역과 그 해석에 필요한 물성에 대한 지정이 용이해졌 다. 생성된 모델 영역은 독립된 COMSOL 파일로 저장된다.
모델 격자는 앞단계에서 생성된 모델 영역에 대해서 각 구성요소별(처분용기, 완충재, 뒷채움재, 모암)로 구분하여 설정된 별도의 격자 크기를 이용하여 생성된다. 기본적인 격 자의 형태는 3차원인 경우 사면체(tetrahedron)이고, 2차원 인 경우는 삼각형(triangle)으로 설정되었다. 생성된 모델 격 자는 독립된 COMSOL 파일로 저장된다. 모델 격자는 계산 의 수렴성 또는 안정성에 큰 영향을 미친다. 따라서, 효율적 인 모델 격자 생성을 위해서는 고려되는 물리현상과 경계조 건 등을 고려하여 사용자의 시행착오를 통한 세분화된 모델 격자 생성이 불가피하다. 따라서, APro에서는 저장된 COMSOL 파일을 이용하여 사용자가 자유롭게 모델 격자를 수정 할 수 있도록 하였고, 이렇게 수정된 모델 격자를 다음 단계 에서 활용할 수 있도록 하였다.
물리 현상과 관련하여 열-수리-역학적 현상과 화학종/핵 종의 비반응성 이동 현상 해석에 필요한 지배방정식 및 경계 조건들이 COMSOL을 이용하여 설정된다. 여기서, 사용되는 지배방정식들은 COMSOL 내에 이미 존재하는 모듈이거나 개발자의 목적에 따라 새롭게 개발될 수도 있다. 화학종/핵 종의 반응 현상 해석은 기본적으로 앞단계에서 생성된 모든 모델 격자에 대해서 수행된다. 이를 위하여, 각 구성요소별 로 설정된 초기조건을 이용하여 PHREEQC 해석을 하고, 그 결과를 해당 모델 격자에 할당한다. 이를 바탕으로 각 격자 노드별로 화학반응 계산에 필요한 PHREEQC 명령문들[15] 이 내부적으로 생성된다.
반복계산 부분에서는 연산자 분리 방법으로 순차적 비 반복법을 적용하였다. 연산자 분리 방법은 일반적으로 반복 (iterative)법과 비반복(non-iterative)법으로 구분되고, 일반 적으로 반복법은 계산 결과의 정확성이 높지만 계산 효율이 매우 낮고 실제 코드에 적용하기가 매우 제한적이라는 특 징이 있다[16]. 따라서, 본 연구에서는 대용량 계산의 효율 을 높이기 위해 비반복법을 적용하였지만, 향후 연산자 분 리에 의한 오차를 파악하고 그 오차를 줄이기 위한 노력들 이 추가적으로 이행되어져야 할 것이다. 순차적 비반복법 에 따라, 각 단위시간별로 COMSOL 계산 엔진을 이용하여 열-수리-역학적 현상과 비반응성 이동 현상이 먼저 계산된 다. 계산 결과 중 온도와 화학종/핵종의 농도를 각 격자 노 드별로 PHREEQC와 호환가능하도록 자료형태와 단위 등을 변환한다. 그리고, 기존의 각 격자 노드별 PHREEQC 명령 문에‘SOLUTION_MODIFY’를 이용하여 지화학 반응 현 상을 병렬로 계산한다. PHREEQC에서 계산된 지화학 반 응 관련 결과와 이전 단위시간에서 계산된 지화학 반응 이 외의 결과들은 모두 COMSOL 내의 Previous Solution이라 는 별도의‘Data Set’에 저장되고, 이는 다음 단위시간에서 의 COMSOL을 이용한 열-수리-역학적 현상과 비반응성 이 동 현상 계산을 위한 초기조건으로 활용된다. 이와 유사하 게, 계산 후 후처리 작업을 위하여 각 단위시간별로 계산된 모든 결과들은 COMSOL 내의 Overall Solution이라는 별도 의‘Data Set’에 지속적으로 축적된다. 이러한 반복 계산은 모사 시간이 Simulation Condition에서 설정한 총 평가 기간 에 도달할 때까지 계속된다.
3. 결론
본 연구에서는 국내 고준위 방사성폐기물 심층처분시스 템에 대한 프로세스 기반의 종합성능평가체계(APro) 개발을 위한 초기단계로서 MATLAB을 이용한 모델링 인터페이스를 구축하였다. 여기서, 다중물리현상 모사가 가능한 COMSOL 과 지화학반응 계산이 가능한 PHREEQC를 계산 엔진으로 활용하였다. APro 개발에 있어서 개발자 및 사용자의 편의 성을 향상시키기 위하여, 정형화된 처분시스템을 선정하고 다중물리현상들을 모듈화화여 고려함으로써 모델링 인터페 이스를 구축하였다. 향후, 처분시스템에서 고려되는 주요 현 상별 세부 모듈에 대한 연구가 별도로 수행될 것이며, 개발된 모듈을 본 연구에서 구축된 모델링 인터페이스에 추가함으 로써 APro의 완성도를 지속적으로 향상시킬 것이다.