• 전자공학회논문지 IE
• /
• v.48 no.4
• /
• pp.61-68
• /
• 2011

As business management has a high level of dependence on Informational Technology (IT), protecting assets of a company from disaster is one of the most important thing that IT operating managers should consider. Because data or information is a major source of operation of the company, data security is the first priority as an aspect of continuity of business management. Therefore, this paper will realize disaster recovery system, which is suspended because of disaster, based on cloud computing system. Realized High Available Replicate System applied a method of multi thread target database to improve Replicate performance, and real time synchronize technology can improve efficiency of network. From Active to Active operation, it maximizes use of backup system, and it has a effect to disperse load of source database system. Also, High Available Replicate System realized consistency verification mechanism and monitoring technique. For Performance evaluation, High Available Replicate System used multi thread method, which shows more than threefold of replicate performance than single thread method.

• Journal of Korean Library and Information Science Society
• /
• v.44 no.1
• /
• pp.385-408
• /
• 2013

The purpose of this study is to build the tax ontology which can be used to manage imposables by the state or local governments. In this, the tax and related concepts were analyzed and then concept hierarchy i.e., taxonomies were formed. Especially, in the concept hierarchy, after multiple inherits were decomposed as 'primitive concepts' and then Rector's 'methodology of ontology implementation normalization', in which defined concepts were recombined, was used. The methodology employed was that the tax system, which was entangled with the direct taxes, local taxes, and property taxes that has multiple-inherits, was expressed explicitly and logically. After that, automatic classification was carried out through the inference engine, consistency was verified. Finally, some practical cases of ontology created were enumerated.

• Journal of Korean Society for Quality Management
• /
• v.26 no.2
• /
• pp.93-105
• /
• 1998

Many large scale discount stores try to enter the market in newly developed city areas. In order to sucessfully increase the market share, it is essential for them to understand customers' needs. In doing so, various forms of survey methods are often used and survey forms can influence respondents' decision. The main objective of this paper is to check consistency of different survey methods in terms of deriving the expected market share. In this paper, we a, pp.y two survey forms for both AHP and conjoint analyses using a randomized complete block design. Using AHP, we compare Kim's club, Carf, E-mart and Macro in terms of the following four customer attributes: parking facility, size of store, business hours, and special pricing policy. In conjoint analysis, we estimate the part-worth of each level of the customer's attribute so that one can design the best store which would optimizethe customer's attribute so that one can design the best store which would optimize the customer's utility. Empirical comparison results indicate very low consistency between the two methods. It implies the importance of verification methods of survey. We also analyze the impact of special pricing policy using a meta analysis. It turns out that older customers are a, pp.rently more sensitive to pricing policy.

• The Journal of Korean Academic Society of Nursing Education
• /
• v.26 no.3
• /
• pp.322-331
• /
• 2020

Purpose: The purpose of this study was to investigate the validity and reliability of the Korean Version of the Grit (Grit-K) scale for nursing students in Korea. Methods: The participants in the study were 277 nursing students. Their grit was verified by using self-reports and the results of a questionnaire. Grit was translated into Korean and its content validity was verified by five experts. The validity of the instrument was verified through item analysis, exploratory factor analysis, and confirmatory factor analysis. Reliability verification was analyzed by using internal consistency reliability. Results: Two factors were identified through exploratory factor analysis and six items of the original instrument were found to be valid. In the confirmatory factor analysis, the validity of the instrument was verified as the model. The internal consistency reliability was also acceptable and Grit was found to be an applicable instrument. Conclusion: This study shows that the Korean Version of the Grit Questionnaire is a valid and reliable instrument to assess nursing students in Korea.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2453-2460
• /
• 1997

Among the method of developing software there are many object-oriented analysis(OOA) techniques, and the new ones are being introduced continuously. The present OOA techniques, however, have difficulty in the identification and the verification of the objects and tend to ignore high-level control aspects of the problem due to the initial partitioning of them on the basis of the data. As a result, it brings inaccurate understanding and faults in the software which is required by users. Therefore the purpose of this paper is to design the TOVERC to verify completeness and consistency through cross-reference between the state transition diagram and the methods of object model in order to reflect the requirements of users in the analysis of software considering this problem.

• Journal of Korean Academy of Fundamentals of Nursing
• /
• v.26 no.1
• /
• pp.12-22
• /
• 2019

Purpose: This study was done to verify the self-directed learning instrument (SDLI) developed to measure self-directed learning ability in nursing students. Methods: The participants for the study were 425 nursing college students. Their self-directed learning was verified using self-reports and results through questionnaires. SDLI was translated into Korean through translation/reverse translation process and its content validity verified by five experts. The validity of the instrument was verified through item analysis, exploratory factor analysis, and confirmatory factor analysis. Reliability verification was analyzed using internal consistency reliability. Results: Four factors were identified through exploratory factor analysis and 20 items of the original instrument were found to be valid. In the confirmatory factor analysis, the validity of the instrument was verified as the model was valid. The internal consistency reliability was also acceptable and SDLI was found to be an applicable instrument. Conclusion: SDLI has been developed and verified by selecting nursing students as participants for the study. Use if SDLI is expected to improve the quality of self-directed learning in nursing education and to be used in future nursing research.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.1-12
• /
• 2000

Model checking is a formal verification technique which checks the consistency between a requirement specification and a behavior model of the system by explorating the state space of the model. We apply model checking to the formal verification of the concurrent object-oriented system, using an existing model checker SPIN which has been successful in verifying concurrent systems. First, we propose an Actor-based modeling language, called APromela, by extending the modeling language Promela which is a modeling language supported in SPIN. APromela supports not only all the primitives of Promela, but additional primitives needed to model concurrent object-oriented systems, such as class definition, object instantiation, message send, and synchronization.Second, we provide translation rules for mapping APromela's such modeling primitives to Promela's. As an application of APromela, we suggest a verification method for UML models. By giving an example of specification, translation, and verification, we also demonstrate the applicability of our proposed approach, and discuss the limitations and further research issues.

• Journal of KIISE:Software and Applications
• /
• v.34 no.5
• /
• pp.419-430
• /
• 2007

It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.

• The Journal of the Convergence on Culture Technology
• /
• v.8 no.3
• /
• pp.339-350
• /
• 2022

The purpose of this study was to develop and investigate the validity and reliability of the Korean Version of Nurse's Job Crafting Scale. The Korean version of Job Crafting was translated and reverse-translated, and its content validity was verified by experts. Statistics were processed using SPSS/WIN 21.0 and AMOS 21.0 programs through self-report questionnaires for 151 nurses. Exploratory factor analysis and confirmatory actor analysis were performed to verify construct validity, and model fit, concentrated validity, and discriminant validity were confirmed through the analysis results.To verify the criterion validity, correlations with each domain were obtained using the calling scale. For reliability verification, the internal consistency reliability coefficient was calculated and confirmed. Reliability of all 20 job crafting tools was Cronbach's α = .93, with .91 for factor 1 (Increase in structural work resources, 5 questions) and .87 for factor 2 (Increase in structural work resources, 5 questions). The factor 3 (Increase in social work resources, 5 questions) was .83. The factor 4 (Increasing challenging business needs, 5 items) was .87, which was satisfactory for the reliability of internal consistency, and the Korean Version of Nurse's Job Crafting Scale was found to be an applicable tool. This study shows that the Korean Version of the Nurse's Job Crafting Scale is a valid and reliable instrument to assess nurses in Korea.

• The Journal of the Korea Contents Association
• /
• v.8 no.7
• /
• pp.75-84
• /
• 2008

Concurrency and synchronization problems are often caused by database applications concurrently accessing databases managed by DBMS. Most commercial DBMSs support isolation levels to resolve these problems. Verification of isolation levels are most important because consistency and integrity constraints of the database can be violated according to isolation levels of transactions that consists of database applications. We propose a test tool set to verify and reveal faulty settings of isolation levels and implement a prototype of the test tool set. The proposed tool set analyzes the SQL statements of ESQL/C programs, attaches the test codes to verify isolation levels, runs the test transactions and detects errors.