• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.561-568
• /
• 2002

한국원자력연구소에서 개발중인 액체금속로인 KALIMER는 경수로나 증수로와 근본적으로 설계가 상이하므로 PSA 방법에 대한 새로운 접근방법을 개발해야 한다. 액체금속로 KALIMER에 대한 확률론적 안전성 평가 방법 (PSA, Probabilistic Safety Assessment) 관련 연구는 초기 사건의 도출 및 빈도계산 방법과 주요 계통의 신뢰성 예비 평가에 대한 것이다. 초기 사건이란 원전에 과도 현상을 유발하여 발전소 정지를 초래하는 모든 비정상 사건을 의미하는 것으로 PSA에서 사건 수목을 구성하는 데 기본이 되는 정보이다. 액체금속로는 기존의 경수로 및 중수로와는 전혀 다른 설계를 갖고 있으므로 액체금속로 특유의 초기 사건을 도출하는 방법 및 이들 초기 사건의 빈도를 계산하는 방법에 대한 연구를 수행하였다. KALIMER 주요 계통의 신뢰성 예비 평가를 수행하기 위하여 확률론적 안전성 평가에서 계통분석기법으로 널리 이용되는 고장수목분석의 절차와 방법에 대한 방법론을 선정하여 PSA 방법론을 개발하였다.

• Journal of Energy Engineering
• /
• v.24 no.4
• /
• pp.175-182
• /
• 2015

A methodology to determine the most conservative initial condition based on random sampling of operation parameters is established, in which a best-estimate computer code is adopted to minimize the conservatism in code models. To validate the applicability of the suggested method, safety evaluation for a transient of loss of condenser vacuum in a pressurized water reactor is performed. One-hundred different initial conditions are generated by MOSAIQUE program automatically and the peak pressure for the most conservative case is determined from transient analyses. The safety margin obtained with the new approach is almost equivalent to the values determined with the existing methodologies. It is found that the time and human resources required for the safety evaluation could be reduced with the suggested approach.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.

• Journal of the Korean Society for Library and Information Science
• /
• v.44 no.1
• /
• pp.5-28
• /
• 2010

This study analyzed the characteristics of library service users' information seeking behavior based on the grounded theory methodology. After interviewing twelve undergraduate students, the researcher coded the data based on the grounded theory methodology. As a result of the entire coding processes, this study constructed the library service users' information seeking behavior model. According to the model, the following ten factors are important when explaining library service users' information seeking behavior: the information users' environment, other people, users' experiences, recognition of information sources, information provided, memory, a need-creating environment, information gathering, information use, and satisfaction and/or dissatisfaction.

• Clean Technology
• /
• v.9 no.3
• /
• pp.145-151
• /
• 2003

This study shows the evaluation and consulting for pollution prevention of dye production by cleaner production methodology. Especially, this study intended to investigate the methods for reduction of process water and recovery of organic solvent (DMF), and to modify the process for higher qualified products in the acid dye production by cleaner production methodology. This methodology, consisting of 7 sequential phases (business leadership decision to start, problem definition, evaluation of the screened options, option selection for implementation, implementation, monitoring and sustainable implementation), is based on initial developments in the USA and Western Europe. Reduction of process water over 25%, recovery of DMF and solubility enhancement of acid dye over 2 times were achieved.

• Journal of Korean Society of Transportation
• /
• v.28 no.6
• /
• pp.167-177
• /
• 2010

This study proposes a methodology for assessing the improvement of network connectivity of transport hubs. Extending a previously developed model that measures the connectivity of a node in transportation networks, we define two quantities called the supplied connectivity and the experienced connectivity. Using these quantities, we provide a systematic procedure for analyzing the network connectivity of a transport hub and also suggest criteria for determining whether a given project is effective in improving the network connectivity of the transport hub. The application of the methodology to a test site produces reasonable results, and as such it is expected that the methodology can be used for various transport hubs in the national road network. Once enough data from the application of the methodology are accumulated, a further study on the level of service in terms of network connectivity needs to be followed.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.23 no.1
• /
• pp.19-30
• /
• 2005

Korean government has constructed a nationwide cadastral map database through the cadastral map computerization project and also produced a variety of spatial data through the NGIS (National Geographic Information Systems) project. Under this circumstance, it is needed to set up the new automatic methodology that effectively solve cadastral non-coincidence problems by using various digital map data instead of expensive field survey methods. This study proposed a new automatic methodology for cadastral non-coincidence surveying and developed a prototype system as a proof of concept. Validation of this proposed method was done with some test areas. Results showed that this methodology could easily detect and assess both regional non-coincidence levels and cadastral map quadrangle non-coincidence levels. We expect that this new methodology can provide many benefits in planning and determining work priority of the forthcoming nationwide cadastral re-surveying project.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.7 no.6
• /
• pp.115-123
• /
• 2017

The purpose of this research provides analyzes the learning attitude types by Chinese students in Korea. For this purpose, we have adopted of the practical research methodology and quantitative research methodology, which can objectively determine the individual's ideas and behavior of the "Q methodology". To this end, This research is targeted at Chinese students in the students' learning attitude implemented by 4 types and analyzes questionnaires of each type. The analysis results are categorized as the type of learning environment is not satisfied; positively cooperate with the learning process and the environment; the lack of learning motivation; and paradoxical learning state. As a result of this discussion, Chinese students should have clear motivation to learn new things; improve their korean language ability; and need to know their clear learning methods. Nowadays, more and more Chinese students are choosing study abroad. Therefore, the learning attitudes and learning abilities as two of the most important of focus from society.

• Journal of the Korean Society for information Management
• /
• v.19 no.2
• /
• pp.49-67
• /
• 2002

Nowadays an information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and database. Accordingly, A unified modeling methodology need to store the XML file on the variety database. In this paper, we propose a unified design methodology for XML applications based on variety databases using UML. To this goal, first we introduce a XML modeling methodology to design W3C XML schema using UML and second we propose data modeling methodology for object-relational database schema, object oriented database an schema and relational database schema to store efficiently XML data in databases.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2019-2022
• /
• 2002

소프트웨어의 위기를 극복하고자 하는 하나의 해결책으로 등장하기 시작한 소프트웨어 개발 방법론이다. 국내에서는 '80 년대 후반부터 방법론의 도입이 시작되었고 시스템 통합 사업의 팽창으로 '90 년대부터는 더욱 가속화되었다. 구조적, 정보공학, 객체지향으로 이어진 국내 방법론 시장은 최근에는 작은 단위의 소프트웨어 부품을 조립하여 더 큰 소프트웨어 시스템을 구축하자는 컴포넌트 기반 개발에 관심을 가지기 시작하면서 컴포넌트 기반 시스템 개발 방법론에의 관심이 커지고 있다. 이에 본 고에서는 본 연구원에서 개발한 컴포넌트 기반 시스템 개발 방법론, 마르미-III 버전 2.0을 소개하고자 한다.