• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• The Journal of Information Systems
• /
• v.32 no.3
• /
• pp.19-39
• /
• 2023

Purpose This study aims to identify user experience factors that can enhance both metaverse utilization and satisfaction based on the honeycomb model. For this we presented two research questions: first, what are the experience factors of metaverse users? Second, do metaverse user experience factors impact satisfaction? Design/methodology/approach To address these questions, a mixed-methodology approach is employed, including text mining techniques to analyze online reviews and quantitative econometric analysis to reveal the relationship between user experience factors and satisfaction. A total of 69,880 reviews and ratings data were collected. Findings The analysis revealed eight metaverse user experience factors: entertainment, operability, virtual reality, immersion, economic activity, visual performance, avatar, and sociality, all of which were found to have a positive impact on user satisfaction.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.2
• /
• pp.94-105
• /
• 2010

Todays, there is fast transition about the new manufacturing IT methodologies from the conceptual phase into the practical application phase for the strengthening of enterprise competitiveness in manufacturing industry. One of those new methodologies is PLM (Product Life-cycle Management). PLM methodology consists of 3D CAD for the product design, PDM (Product Data Management) for the data management based on the collaboration platform and lastly DM (Digital Manufacturing). DM has evoluted from the stand-alone computer simulation of early 1980s, and now it covers the overall production development and production. Unfortunately, there exist serious critical problems about the actual application of DM for the real work. This is owing to the transition of the point of view from stand-alone type application (such as flow simulation or robot simulation) to that of business process about product development and production management. In this paper, we propose an application framework for the successful project with the digital manufacturing methodology with the concept of Information Strategy Planning, which enables the systematic diagnosis and the quantitative evaluation. Also, we introduce the actual practice of the proposing framework with the ISP project for 'Analysis & Simulation Technique of manufacturing process project' that is being conducted by Chungnam Techno Park.

• Journal of Wellbeing Management and Applied Psychology
• /
• v.2 no.2
• /
• pp.39-45
• /
• 2019

The purpose of this study is to solve the problem of revision or abbreviation of questionnaires based on the previous studies suggested by many existing empirical studies. In addition, this study aims to provide the theoretical basis of the research method which has been variously approached since it presents the methodology that can directly measure the research object. For this purpose, this study proposed a more elaborate analysis method using the differences in perception of individuals who are interested in cognitive research. Specifically, the perception gap(D) can be used as an independent variable, a dependent variable, and a moderating variable. And this study suggested an effective research approach using the measurement of perception difference. The difference of perception suggested that it can be used as a measure to overcome the limitations of existing researches used it as independent variables or mediating variables that measure only one factor of expectation and performance or importance and satisfaction. In addition, it is highly likely that various analyzes on the perception differences, which are the result of measuring target factors for the same person, will be quite effective in the situation where follow-up of respondents is difficult. This study is expected to overcome various limitations reported by empirical studies such as scale utilization problem and follow-up survey difficulty. In future research, it was expected that the limitation of the factor derivation process in the research approach could be complemented by web crawling and text mining of big data analysis.

• Journal of Distribution Science
• /
• v.17 no.7
• /
• pp.77-86
• /
• 2019

Purpose - This paper examines customers' perception on intra-industry and inter-industry alliance, then compares customer purchasing attitude towards alliance product according to whether it is from high-tech or low-tech industry. Research design, data, and methodology - We used qualitative research methodology of in-depth interviews and focus group interviews. Results - Customers expect products from inter-industry alliance to be highly innovative but also to be inferior in technology. In high-tech industries, since technology is more important than differentiation, inter-industry alliance was negatively evaluated whereas intra-industry alliance elicited positive customer purchasing attitude. Conversely, in low-tech industry where novelty outweighs technology, inter-industry alliance earned positive evaluation. However, for intra-industry alliance, customers' evaluation varied depending on whether both partners share similar prestige and price range. When partners were not similar to each other, customers' perception were positive for less prestigious and pricey brand, but in the reverse case, perception were negative. Conclusions - This research focused on customers' perception and attitude by adopting qualitative methodology while other alliance studies are mostly based on quantitative research. This study provides managers with partner selecting guidelines considering the type of industry, and whether the goal is to enhance novelty or technology.

• Asia pacific journal of information systems
• /
• v.16 no.2
• /
• pp.47-67
• /
• 2006

This study takes a quantitative approach to the influence of TTF (Task-Technology Fit) on the individual's use and performance of GSS (Group Support Systems), while traditional studies on TTF have taken the experimental approach to explore the characteristic fit between diverse tasks and technologies. We have the following two research inquires: Are the IS use and performance maximized when information technologies are provided by the exact amount of demand?; and, Does TTF at the high level between task and IT produce better IS use (or performance) than at the low level? To investigate these issues, we use the polynomial regression analysis and response surface methodology of Edwards (1993) instead of traditional direct measure of TTF. This method measures the degree of desired and actual level of information technologies in conducting tasks, and traces the dynamic changes of dependent variables (IS use and performance) according to the variances of each independent variable. Our results conclude that user's IS use and performance are maximized when information technologies are actually provided by no more or less than the desired level. We also found that TTF at the high level promotes better IS use and performance than TTF at the low level.

• Korean Journal of Adult Nursing
• /
• v.20 no.1
• /
• pp.176-186
• /
• 2008

Purpose: The purpose of this study was to analyze the published articles in the Journal of Korean Academy of Adult Nursing from 2004 through 2006. Methods: Two hundreds and ten articles were analyzed focusing on research methodology and key words using descriptive statistics. Results: The proportion of quantitative research was 88.1%, while the proportion of qualitative research was 5.2%. The majority of the qualitative research design was survey(67.1%). Seventy-four percent of the research had verbal consent and 8% had written consent from the participants. Eight percent of the research provided conceptual framework. The prevailing data collection settings were hospitals(50.5%) and community(37.1%). For the data analysis, 95% used parametric analysis methods; descriptive statistics(26.2%), chi-square test(18.3%), t-test(18%) and ANOVA(17.4%). Key words were categorized into four nursing domain: human, health, nursing, and environment. The most frequently used domain was health. Conclusion: The number of the published articles in the Journal of Korean Academy of Adult Nursing has been increased and quality has been improved compared with the articles published before the 2000 year. Varied research methodology and data analysis methods were utilized.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.4
• /
• pp.263-272
• /
• 2009

Nowadays, lots of software that have similar functions is being produced. Hence it is getting more important to select the best and suitable software for each individual or company. Moreover, there are few trustworthy materials regarding to the objective procedure and criteria for the best evaluation of the software quality. To overcome these problems, benchmarking has been carried out. However, benchmarking is also confronting the limit of quality evaluation verification due to the difficult of the objectification of the major test items. To solve these problems, some others try to evaluate the quality of software using objective criteria of evaluation based on ISO/IEC standards. Nevertheless, this method using these defined evaluation items and criteria may result in not very reliable outcome. Therefore, this paper offers the evaluation items reflected in the characteristics of each software in order to prove the validity of the proposed method. Moreover, the objective and quantitative criterion which analyzes and reflects the organization characteristics using AHP methodology is applied to the experiment and performance evaluation. Hence we expect that the proposed method provides the needs of the re-establishment of software quality evaluation criteria and the improvement of process in terms of management.

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.1
• /
• pp.51-59
• /
• 2010

People evaluate urban residential regions quite frequently and sensitively, considering issues such as locations or ease of use of in-site facilities or nearby urban facilities, and those results are bound to be reflected to real estate costs quite immediately. However, there have been frequently recurring questions regarding objectivity of evaluations in terms of results and methods reflected on indexes such as land costs for various reasons. RPMS -Residence Performance Management System- which targets currently in most cases on urban residential areas, suggests instrumental methodology of objective approach toward sensitive urban residence performance evaluation. This paper explains and suggests instrumental utilization of RPMS and its implementations, evaluation methodology and quantitative way of evaluation. In terms of implementation we explain issues such as adding target locations into new residence planning sites, quantification of properties on evaluation indexes of residential performance and/or habitability in terms of checklists, formulas for evaluation, delicate adjustment of evaluation results by setting weights on evaluation indexes, as well as reports on results. Research on appropriate weights and weight settings regarding evaluation indexes, however, exceeds the range of this paper so that this paper focuses on explaining residence performance evaluation and management methodology.

• Korean Journal of Acupuncture
• /
• v.31 no.4
• /
• pp.158-167
• /
• 2014

Objectives : The results from randomized controlled trials on traditional medicine have been negative or ambiguous. The appropriateness of the research methodology started to be questioned. However, the research methodology appropriate for studying traditional medicine has not been well-established. This study aims to explore the appropriate research methodologies for clinical studies on acupuncture. Methods : Clinical researches evaluating the efficacy and effectiveness of acupuncture for back pain were systematically searched and evaluated focusing on research methodology. The acupuncture treatment protocol is evaluated by 9 items which is individual treatment based on diagnosis, combining proximal and distal acupoints, exact location of acupoint, De Qi, adequate stimulation, duration of acupuncture, treatment sessions, treatment interval, and establishing relationship between patients and doctors. Results : Systematic review of acupuncture researches on low back pain suggested that observational studies and pragmatic trials rather than explanatory studies could incorporate these elements. Qualitative studies also could help understanding complex characteristics of acupuncture treatment which could not be evaluated by quantitative studies. Conclusions : In designing clinical researches on acupuncture, various study designs, especially observational study and pragmatic study, should be considered according to research objectives and subjects. The efforts to incorporate the core characteristics of acupuncture practiced in everyday clinical setting are also essential.