• 지질공학
• /
• 제11권3호
• /
• pp.245-254
• /
• 2001

처분덮개는 중.저준위 방사성폐기물 천층처분시설의 성능 유지에 중요한 역할을 하므로 여러가지 시험과 장기관측을 통한 처분덮개의 성능실증 연구는 시설의 안전성 확보에 불가결한 요소이다. 처분덮개의 기본적인 성능요건으로는 불투수성, 건전성, 열화에의 저항력 및 유지보수의 용이성 등을 고려할 수 있다. 이러한 성능요건을 단일층으로는 충족하기 어려운 점을 고려하여 HELP(Hydrologic Evaluation of Landfill Performance) 코드를 사용한 물수지 평가를 통해 상부 보호층, 중간 배수층 및 하부 저투수층 등으로 구성된 다층덮개 개념을 도출하였다. 처분덮개 내에서의 수분이동특성을 규명하기 위해 TDR(Time Domain Reflectometry)과 Tensiometer를 사용하여 각각 함수비와 matric potential의 변화를 3$\times$3$\times$3.3m 크기의 6개 시험고에서 장기관측 할 수 있도록 설계하였다.

• 방사성폐기물학회지
• /
• 제18권2_spc호
• /
• pp.305-315
• /
• 2020

방사성폐기물의 심층처분에서 생물권에서의 방사성 핵종 이동을 핵종의 이동 경과 시간을 계산하여 평가하는 방법이 제안되었다. 방사성 핵종은 자연 방벽에서 유출되어 지하 천부의 지하수 흐름을 따라 대규모 지표수체에 도달한다고 가정하였다. 생물권은 기반암 위에 있는 대수층을 포함하는 천부 지하 환경으로 정의하였다. 제안된 방법을 이용하여, 계산 알고리즘을 수립하였고, 알고리즘을 수행하는 컴퓨터 코드를 작성하였다. 작성된 코드는 간단한 사례에서 계산된 모의 결과를 해석해 계산 결과 및 지표 부근에서의 방사성 핵종 이동에 의한 방사선량 평가에 널리 이용되는 공공 프로그램의 계산 결과와 비교하여 검증하였다. 사례 연구 조건을 가상의 심층처분장에서의 방사성 핵종 이동에 대한 이전 연구를 통해 작성하였다. 작성된 코드는 사례 연구에서 생물권의 하천으로 유출되는 핵종의 이동량을 계산하였다. 이전 연구에서는 가상의 처분장에서 모암까지의 방사성핵종의 이동만을 보여주었기 때문에, 이 코드는 모든 경로를 지나가는 방사성 핵종의 전체적인 이동을 파악하는데 도움이 될 수 있었다.

• 인터넷정보학회논문지
• /
• 제17권2호
• /
• pp.39-47
• /
• 2016

일반적으로 소프트웨어 R&D 프로젝트에서는 프로그램 코드와 문서 산출물이 생성된다. 이러한 소프트웨어 R&D 산출물들은 두가지로 분류할 수 있다. 첫 번째 분류는 연차 실적 계획서, 연구개발과제계획서, 연구성과보고서, 연구 노트와 같은 소프트웨어 연구 산출물들이 포함된다. 그리고 다른 분류는 소프트웨어 요구사항 명세서, 소프트웨어 설계 명세서, 소프트웨어 테스트 계획서, 프로그램 코드와 같은 소프트웨어 개발 산출물들이다. 프로젝트의 진행 방향을 확인할 때 프로그램 코드를 테스트하고 문서 산출물을 검증하는 것이 중요하다. 또한 연구 문서와 개발 산출물 사이에 완전성, 일관성 등의 관계를 확인해야 한다. 그러한 검증과 테스트는 프로젝트 관리자와 연구자들이 프로젝트를 진행하는 동안 올바르게 진행하고 있다는 확신을 준다. 그러므로 본 연구에서는 소프트웨어 R&D에서 생성되는 문서와 프로그램을 검증하는 프로세스를 제안한다. 본 프로세스는 문서 산출물을 검토하고 프로그램 코드를 테스트하는 활동으로 구성되어 있으며, Essence를 사용하여 정의된다. 그리고 본 연구에서 제안하는 프로세스의 효율성을 사례 연구를 통해 보인다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2003년도 추계종합학술대회 논문집
• /
• pp.113-119
• /
• 2003

컴퓨팅 환경의 고도화와 인터넷 사용자의 급증으로 인해 현재의 Web기반 클러스터 시스템 어카운팅 서비스는 과거에 비해 다수의 사용자로 하여금 보다 많은 양의 데이터를 고속으로 접근할 수 있게 하고있다. 하지만 시스템 환경의 편리함 만큼이나 사용자정보와 데이터의 보안 역시 중요한 요소 중 하나이며 특히 데이터 유출, 해킹 그리고 악의적인 코드 등으로 인한 개인과 기관의 피해는 인터넷 서비스 사업 분야에 있어 매우 중요한 문제로 대두되고 있다. 본 연구에서는 국내 TTA(한국정보통신기술협회) 표준 암호 알고리즘인 SEED를 이용한 보다 안정적인 웹기반 클러스터시스템 어카운팅 서비스 방안을 제안한다.

• Nuclear Medicine and Molecular Imaging
• /
• 제42권2호
• /
• pp.127-136
• /
• 2008

Monte Carlo simulation methods are especially useful in studying a variety of problems difficult to calculate by experimental or analytical approaches. Nowadays, they are extensively applied to simulate nuclear medicine instrumentations such as single photon emission computed tomography (SPECT) and positron emission tomography (PET) for assisting system design and optimizing imaging and processing protocols. The goal of this paper is to address the practical issues, a potential user of Monte Carlo simulations for nuclear medicine can encounter, to help them to choose a code. This review introduces the different types of Monte Carlo codes currently available for nuclear medicine, comments main features and properties for a code to be proper for a given purpose, and discusses current research trends in Monte Carlo codes.

• 방송공학회논문지
• /
• 제20권1호
• /
• pp.110-121
• /
• 2015

디지털 앱북은 기존의 전자책에서 발전한 형태의 멀티미디어 콘텐츠로서 동영상, 소리뿐만 아니라 모바일 기기의 센서를 이용한 다양한 상호작용을 지원할 수 있는 장점이 있다. 모바일 기기의 발전으로 이러한 디지털 앱북의 수요는 폭발적으로 증가하고 있지만, 상호작용을 지원하기 위해서는 프로그래밍 제작 노력이 많이 필요하기 때문에 공급이 그 늘어난 수요를 따라가기 힘든 실정이다. 이러한 문제를 해결하고자, 본 논문은 자연과학 교육용 디지털 앱북의 흥미를 느끼게 해주는 핵심 요소인 사용자-기기간 상호작용 기능들을 라이브러리로 구현하고 검증하였다. 제안 라이브러리는 사용자 동작 인식부, 기기 동작부, 콘텐츠 동작부로 구성되며, 각 부의 명령을 조합하여 다양한 상호작용 함수를 제공한다. 이러한 설계는 코드의 재사용성, 개발자의 쉬운 이해와 활용성, 넓은 확장성을 지원할 수 있다. 구현된 라이브러리는 상용화를 위한 자연과학 교육용 디지털 앱북 콘텐츠 제작에 직접 이용되었으며, 그 결과 코드 사용량을 크게 줄이고 개발 시간을 단축함으로써 제작 효율을 높일 수 있었다.

• 정보과학회 논문지
• /
• 제43권12호
• /
• pp.1334-1341
• /
• 2016

최근 지능형 스마트 디바이스의 눈부신 발전과 사용으로 개발 단계의 소프트웨어 결함 관리의 중요성이 부각되고 있다. 효과적 결함 관리를 위해 소프트웨어 메트릭을 토대로 많은 결함 예측 모델 연구가 수행되고 있지만, 결함 예측 모델 연구 성과가 널리 확산되지는 못하고 있다. 본 논문에서는 결함 존재 유무에 관한 이진적 결함 예측 모델의 제약을 극복할 수 있도록, 베이지안 네트워크 기반 확률적 소프트웨어 메트릭 관리 방법을 제안한다. 제안 모델은 소프트웨어 메트릭을 활용하여 베이지안 네트워크를 구성하고, 이를 토대로 베이지안 추론을 수행하여 리팩토링을 위한 개선점을 식별할 수 있는 모델이다. 코드 리팩토링을 통해 소스 코드가 개선되면 관련 메트릭 측정값 또한 변하게 된다. 제안 모델은 리팩토링을 통한 메트릭의 개선으로 얻을 수 있는 결함 제거 효과를 확률 값으로 제시해준다. 따라서 이진 값 형태의 확정성을 극복할 수 있으며, 불확정적인 확률 값으로 의사결정의 유연성을 확보할 수 있을 것이다.

• 한국정보처리학회논문지
• /
• 제3권7호
• /
• pp.1739-1752
• /
• 1996

소프트웨어 재공학은 기존 시스템의 새로운 기법들과 소프트웨어 툴의 유지 보수를 지원함으로써 기존 시스템을 증진하고 소프트웨어 유지보수성을 향상시키는데 적용된다. 소프,트웨어 제공학은 일반적으로 기존 시스템의 소프트웨어 컴퍼넌트를 부불하고 기존 시스템을 이해하는데 도움을 준다. 본 논문에서는 재공학을 위한 프로 그램 분석과 재공학 환경을 지원하는 툴을 논한다. 프로그램 분석은 기존 프로그램이 입력으로 제시되면 구조적이고 객체 지향 부분에 대한 정보를 생성한다. 이것은 재공 학 방법론을 통해 추출된 코드로 정보에 의해 재구성 되어질 수 있다. 이러한 재구성 정보 중 객체 지향 구조로의 정보는 직접 관계와 요약 관계를 통해 질의 하도록 프롤 로그 형식으로 매핑되어진다. 본 논문에서 설계 구현한 SORS(SOftware Reengineering System)는 (1) 구조적이고 객체지향 정보를 분석하도록 효과적인 방법론을 수행하고, (2) 기존 프로그램의 복잡성을 제거하며, (3) 재구축을 위한 새로운 코드와 시스템상호 구조의 재사용 컴퍼넌트들을 조합하고, (4) 프로그램과 제어 구조의 단순화와 같은 기법들을 통해 기존 소프트웨어에 대한 고수준의 이해성과 유지보수성을 제공한다.

• 한국가스학회지
• /
• 제4권1호
• /
• pp.40-48
• /
• 2000

연료전지는 일정하게 유지되는 전극-전해질계의 공정에 의해 연료와 산화제의 화학에너지를 전기에너지로 끊임없이 전환시킬 수 있는 전기화학장치이다. 인산형 연료전지는 전해질로 진한 인산염을 사용한다. 연료전지 시스템에서 가장 중요한 부분인 스택은 연료의 산화가 일어나는 anode, 산화물의 환원이 일어나는 cathode, 그리고 anode와 cathode를 분리시키고 이온을 전도시키는 전해질로 이루어져 있다. 연료전지의 성능은 시스템의 환경에 따른 작동 및 디자인 변수들에 의해 좌우된다. 따라서 연료전지의 핵심부분이라 할 수 있는 스택의 성능향상을 위하여 전산유체역학 코드를 이용한 스택에 대한 3차원적 모델링 및 전기화학반응이 포함된 모사를 수행하였다. 이로부터 산화제의 유량변화에 따른 스택 내부에서의 연료, 산화제 및 생성물의 농도, 그리고 반응에 의해 생성된 열의 전달에 의한 스택의 온도 분포 및 변화를 전산유체 코드인 FLUENT를 이용하여 계산하였다.