• The Journal of Engineering Geology
• /
• v.11 no.3
• /
• pp.245-254
• /
• 2001

The experimental study on disposal cover through the performance test facility offers reliability in the safety of near surface disposal of low and intermediate level radioactive waste. To ensure the long-term safety of the repository, the impermeability, integrity, resistance to degradation and ease of maintenance might be considered as the basic performance requirement of the disposal cover. considering the difficulties to meet these performance requirement by using single layer, the disposal cover design which is composed of top layer, middle drainage layer and bottom low permeability layer is schemed for the test facility. The water balance of the cover was evaluated by using HELP code. For the long-term monitoring of the soil moisture content and matric potential, TDR probes and tensiometers will be installed in 6 test cells. Each test cell is dimensioned 3$\times$3$\times$3.3m.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.18 no.2_spc
• /
• pp.305-315
• /
• 2020

For geological disposal of radioactive wastes, a method was proposed to evaluate the radionuclide transport in the biosphere by calculating the elapsed time of nuclide migration. The radionuclides were supposed to be introduced from a natural barrier and reached a large surface water body following a groundwater flow in a shallow subsurface. The biosphere was defined as a shallow subsurface environment that included aquifers on a host rock. Using the proposed method, a calculation algorithm was established, and a computer code that implemented the algorithm was developed. The developed code was verified by comparing the simulation results of the simple cases with the results of the analytical solution and a public program, which has been widely used to evaluate the radiation dose using the radionuclide transport near the surface. A case study was constructed using the previous research for radionuclide transport from the hypothetical geological disposal repository. In the case study, the code calculated the mass discharge rate of radionuclide to a stream in the biosphere. Because the previous research only demonstrated the transport of radionuclides from the hypothetical repository to the host rock, the developed code in the present study could help identify the total transport of radionuclide along the complete pathway.

• Journal of Internet Computing and Services
• /
• v.17 no.2
• /
• pp.39-47
• /
• 2016

In software R&D artifacts including documents and program code are produced. There are two kinds of software R&D artifacts: Research artifacts and development artifacts. Research artifacts include software R&D planning document, annual report, final report, research note and so on. Software development artifacts include software requirements, software design description, testing plan, test report, and program code. It is important to verify the documents and to test code to check the direction of the R&D. Moreover, we should check relationships as such completeness and consistency between research and development artifacts. The verification and testing help project manager and researchers understand what they do during software projects. Therefore, in this study, we present a process to verify documents and program in software R & D. In the process we check documents produced in software R&D and test program code. We describe the process by using Essence elements including alpha, activity, and competency. We present a case study to show the effectiveness of the process.

• Journal of KIISE:Software and Applications
• /
• v.28 no.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)

• Proceedings of the Korea Contents Association Conference
• /
• 2003.11a
• /
• pp.113-119
• /
• 2003

Both the highly developed computing environment and the rapid increase of the internet users enable the present web based cluster system accounting service to help many users access to numerous data at high speed. However, the information security of users and data is also as important as the convenience of the systematic environment. Especially, the significance of damage to the individuals and organizations resulted from the data outflow, hacking and malicious coding has risen up to one of the most essential problems in the internet service business. In this study, I suggest a more safe web based cluster system accounting service solution applying SEED, the Korean Telecommunications Technology Association (TTA) standard encryption algorithm.

• Nuclear Medicine and Molecular Imaging
• /
• v.42 no.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.

• Journal of Broadcast Engineering
• /
• v.20 no.1
• /
• pp.110-121
• /
• 2015

The digital app-book is an advanced form of the electronic book (e-book), which attracts a lot of interests by the help of video, sound, sensors and a variety of interactions. As mobile devices have evolved, the demand of digital app-books is also rising substantially. However, the distribution of digital app-book contents is hard to meet the demand because the digital app-book requires a lot of programming cost for the interaction. To resolve this problem, Was verified and implementation as a library function of the interaction between device and user. The proposed library consists of three parts (user action recognition, device action, and content action) and provides various user-device interaction functions by combining methods of each part, which can support source code reusability, easy understanding and availability, and wide expandibility. The library was used in the development of natural science education app-book contents. As a result, it could reduce a lot of code lines and facilitate more rapid app-book development.

• Journal of KIISE
• /
• v.43 no.12
• /
• pp.1334-1341
• /
• 2016

In recent years, the importance of managing software defects in the implementation stage has emerged because of the rapid development and wide-range usage of intelligent smart devices. Even if not a few studies have been conducted on the prediction models for software defects, their outcomes have not been widely shared. This paper proposes an efficient probabilistic management model of software metrics based on the Bayesian network, to overcome limits such as binary defect prediction models. We expect the proposed model to configure the Bayesian network by taking advantage of various software metrics, which can help in identifying improvements for refactoring. Once the source code has improved through code refactoring, the measured related metric values will also change. The proposed model presents probability values reflecting the effects after defect removal, which can be achieved by improving metrics through refactoring. This model could cope with the conclusive binary predictions, and consequently secure flexibilities on decision making, using indeterminate probability values.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.7
• /
• pp.1739-1752
• /
• 1996

Software reengineering involves improving the software maintenance process and improving existing systems by applying new technologies and software tools. Software reengineering can help us understand existing systems and discover software components that are common across systems. In the paper, we discuss the program analysis and environment to assist reengineering. Program analysis takesan existing program as input and generates information about structured part and object-oriented part. It is used to restructure the information by extracting code through reengineering methodology. These restructuring informations with object-oriented archilccture are mapping prolog form to query by using direct reation and summary relation.

• Journal of the Korean Institute of Gas
• /
• v.4 no.1 s.9
• /
• pp.40-48
• /
• 2000

A fuel cell is an electrochemical device continuously converting the chemical energy in a fuel and an oxidant to electrical energy by going through an essentially invariant electrode-electrolyte system. Phosphoric acid fuel cell employs concentrated phosphoric acid as an electrolyte. The cell stack in the fuel cell, which is the most important part of the fuel cell system, is made up of anode where oxidation of the fuel occurs cathode where reduction of the oxidant occurs; and electrolyte, to separate the anode and cathode and to conduct the ions between them. Fuel cell performance is associated with many parameters such as operating and design parameters associated with the system configuration. In order to understand the design concepts of the phosphoric fuel cell and predict it's performance, we have here introduced the simulation of the fuel-cell stack which is core component and modeled in a 3-dimensional grid space. The concentration of reactants and products, and the temperature distributions according to the flow rates of an oxidant are computed by the help of a computational fluid dynamic code, i.e., FLUENT.