• Journal of the Society of Disaster Information
• /
• v.17 no.1
• /
• pp.39-52
• /
• 2021

Purpose: Recently, due to increasing usage of high-tech equipment for facility inspection, the need of verifying high-tech equipment is being emphasized. Therefore, the purpose of this paper is to develop performance evaluation methodology of tunnel scanners that inspect tunnel facilities. Method: This paper describes literature reviews regarding the performance evaluation methodology of high-tech based equipment for facility inspection. Based on these investigations and expert advisory meetings, this paper suggests a performance evaluation methodology of tunnel scanner. Result: First evaluation indicator states minimum performance standards of tunnel scanners. Second evaluation indicator is related to tunnel scanner quality. Conclusion: The performance evaluation methodology can provide reliable equipment performance catalogues, helping users to make a proper selection of equipment. Also, developers of equipment can get authorized verification of performances, preventing poor maintenance of facilities.

• Korean Journal of Cognitive Science
• /
• v.2 no.1
• /
• pp.15-32
• /
• 1990

In the area of natural language processing, a lot of unification-based grammar formalisms have been issued and are highlighted. The core of the formalisms is an unification of feature stutures. But few formal unification methodologies have been developed. Therfore, implementers of the formalisms could not help adopting an ad hoc design strategy for the unification module. In this paper, we suggest an efficient unification methodology using FUL, a programming language whic supports the unification. For the exeample, we will trace the unification processes in LFG and HPSG, the representative unification-based grammar formalisms, with FUL.

• Journal of Korean Institute of Industrial Engineers
• /
• v.13 no.2
• /
• pp.47-57
• /
• 1987

The main purpose of this paper is to design a simple interactive software system for planning activities, called APS. We discuss the importance of informal and formal specifications of the system design, and survey a number of promissing design methodologies. To design APS, we present a methodology based upon the hierarchical decomposition of the system, and illustrate the methodology as applied to the design of an activity planning system.

• 한국IT서비스학회:학술대회논문집
• /
• 2007.11a
• /
• pp.413-418
• /
• 2007

국내 외 많은 컨설팅 및 SI회사들이 나름대로의 SOA방법론을 개발 및 적응하고 있다. 하지만 각 회사의 방법론 마다, SOA 사상 관점에 따라 접근 방향이 상이하고, 수행 방법과 태스크 또한 실제 적응하기에는 상세성이 부족하다. 이 연구에서는 국내 외 SOA 방법론을 비교 분석하고, 실제 적응된 사례를 통하여 특정 도메인에 무관한 현업 사용자 위주의 서비스 식별이라는 명제를 반영한 유저인터페이스 기반의 서비스 분석 및 모델링 방법론을 제시한다.

• Journal of KIISE
• /
• v.42 no.11
• /
• pp.1410-1422
• /
• 2015

In order to design a system, software developers use an object model such as the UML class diagram. Object-Relational Transformation Methodology (ORTM) is a methodology to transform the relationships that are expressed in the object model into relational database tables, and it is applied for the implementation of the designed system. Previous ORTM studies have suggested a number of transformation methods to represent one relationship. However, there is an implementation problem that is difficult to apply because the usage criteria for each transformation method do not exist. Therefore, this paper proposes a binary decision diagram-based modeling rule for each relationship. Hence, we define the conditions for distinguishing the transformation methods. By measuring the query execution time, we also evaluate the modeling rules that are required for the verification. After evaluation, we re-define the final modeling rules which are represented by propositional logic, and show that our proposed modeling rules are useful for the implementation of the designed system through a case study.

• Journal of the Korea Society for Simulation
• /
• v.26 no.1
• /
• pp.55-67
• /
• 2017

The requirement planning system of Korea military has used top down planning approach after introducing Joint Combat Development System since 2007. But this new system has not been propelled harmoniously because it does not have any connection with the current planning system. Due to current time-exhaustive analysis and assessment process in requirement planning system, it not only delays proper decision making, but also hinders understanding on the problem in a whole perspectiveand finding a reasonable solution to our problem. In this study, we present a methodology which can analyze and assess capability utilizing the weapon score of JICM(Joint Integrated Contingency Model). The process identifies capability gap from a mission-oriented perspective in the requirement planning phase and suggests an appropriate solution to our problem. A Quick Look tool which has been developed using Python Script to implement the methodology is also introduced in this study.

• Journal of Information Technology and Architecture
• /
• v.10 no.4
• /
• pp.517-536
• /
• 2013

Warfare paradigm has been changed from PCW to NCW and the military requirement/acquisition system has been changed from bottom-up process(Weapon-Centric) to top-down process(Capability-Centric) in orde to improving the effectiveness of NCW. The concept of top down acquisition process focused on acquiring the capability based on CBP through CBA. However, implementing the concepts and embdding them into methodology will be chanllenging. So, we analyze existing examples overseas and to create new methodology which identify the our force capability through the CBA based on enimy capability. The proposed methodology can be implemented military operation area, public safety area and disaster relief area for CBP based on CBA.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.16 no.2
• /
• pp.261-270
• /
• 2021

In this study, the design methodology of LCL filter for grid-connected three-phase inverter was studied. First, the advantages and disadvantages of applying typical filter structures as a filter for grid connection of a three-phase inverter were analyzed. Next, filter design methodologies for grid connection of a three-phase inverter were analyzed, and an effective filter design methodology was determined to satisfy the harmonic requirements in grid connection. In order to verify the effectiveness of the design methodology, EMTP models such as a three-phase inverter, a three-phase LCL filter, and a performance evaluation system to evaluate the performance of the designed filter were developed using EMTP-RV. Next, an LCL filter was designed for an application example of a three-phase inverter, and the waveforms of the output voltage and outage current of the three-phase inverter were checked through EMTP-RV simulation work. In particular, the validity of the design methodology was verified by confirming that the magnitude of the current ripple was reduced to a limited magnitude through waveform analysis of the output current.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.17 no.4
• /
• pp.3-10
• /
• 2007

In this paper, we proposed the methodology for security testing using block-based file fault injection. When fault is inserted into software, we consider the format of file in order to efficiently reduce the error that is caused by mismatch of format of file. The Vulnerability the methodology focuses on is related to memory processing, such as buffer overflow, null pointer reference and so on. We implemented the automatic tool to apply the methodology to image file format and named the tool ImageDigger. We executed fault-injection focused on WMF and EMF file format using ImageDigger, and found 10 DOS(Denial of Service) in Windows Platform. This methodology can apply to block-based file format such as MS Office file.

• The Journal of the Korea Contents Association
• /
• v.12 no.11
• /
• pp.49-57
• /
• 2012

Recently as the user experience's importance has been emphasized, there has been many tries of various research methodology in order to understand the user. Specially, as the political investigation method's user understanding method based on the statistical analysis so far has encountered a limit, there has been a continuous tendency to try to introduce a humanitarian or cultural anthropological methodology. As part of this effort, there has been many tries of various approach methods of the Ethnography which is the cultural anthropological typical research methodology, but among those the Diary Study Method is mentioned as one of the effective methodologies. Therefore this thesis applies the Diary Study Method to the notebook PC bundle SW's attitude research and tries a deep rooted research about the user attitude. Also centered to the project of understanding the notebook PC bundle SW's user receptivity. it shows a specific example of the Diary Study applied to the user understanding. Through this process, we will examine the summary about the Ethnography research method, and will discuss an effective research methodology by through the process of analyzing and deducting the user inclination by applying and designing the Diary Study to the project. That is to say, it was progressed by actually applying the research methodology through a specific case, with the purpose of breaking away from the textbook discussion and progress with an application aspect discussion. Through the current research, we will verify an active user-inclined process about the user's notebook PC SW, and it is expected to be useful in establishing a SW UX strategy and distribution related to the bundle software.