• International Journal of Quality Innovation
• /
• v.1 no.1
• /
• pp.75-80
• /
• 2000

Objective evaluation is necessary for the company to know the level of its TQM activity and to improve it. This article proposes self-evaluation model for TQM activity through comparison study of the examination viewpoints for the Deming Prize with criteria of the Malcolm Baldridge National Quality Award. Proposed self-valuation model consists of three evaluation categories i.e. management system, management performance and survey/audit system. Evaluation on these categories is done for process and performance by using scoring method. This self-evaluation model is useful for checking the progress of TQM and make company recognize the strength and weakness of its TQM activity, namely, positioning analysis.

• The Korean Journal of Applied Statistics
• /
• v.9 no.1
• /
• pp.75-89
• /
• 1996

This paper proposes a goodness-of-fit test for checking the adequacy of the additive risk model with a binary covariate. The test statistic is based on martingale residuals, which is the extended form of Wei(1984)'s test. The proposed test is shown to be consistent and asymptotically normally distributed under the regularity conditions. Furthermore, the test procedure is illustrated with two set of real data and the results are discussed.

• Proceedings of the KAIS Fall Conference
• /
• 2003.11a
• /
• pp.50-56
• /
• 2003

In the development of complex software system, it is important to use hierarchical use case model due to the complex scope of development procedure. The use case model is core factor of the OMG (Object Management Group)'s UML (Unified Modeling Language) diagrams. In this paper, we propose a novel method to check syntactic consistency automatically in use case models at the different level of abstraction. This method is a rule-based approach which utilizes actor tree, use case tree and use case description. The proposed method is simulated on ITS (Intelligent Transportation System) architecture for the verification.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.11a
• /
• pp.59-65
• /
• 2003

In order to reduce the cost of software maintenance including software modification, we suggest the object oriented program with checking the version of application program using the Java language and the technique of executing the downloaded application program via network using the application manager. In order to change the traditional scheduler to the application manager we have adopted the Xlet concept in the nuclear fields using the network. In usual Xlet means a Java application that runs on the digital television receiver. The Java TV Application Program Interface(API) defines an application model called the Xlet application lifecycle. Java applications that use this lifecycle model are called Xlets. The Xlet application lifecycle is compatible with the existing application environment and virtual machine technology. The Xlet application lifecycle model defines the dialog(protocol) between an Xlet and its environment

• International journal of advanced smart convergence
• /
• v.11 no.3
• /
• pp.64-71
• /
• 2022

Various types of attendance management systems are being introduced in a remote working environment and research on using face recognition is in progress. To ensure accurate worker's attendance, a face recognition-based attendance management system must analyze every frame of video, but face recognition is a heavy task, the number of the task should be minimized without affecting accuracy. In this paper, we proposed a search model using time interval variation to minimize the number of face recognition task of recorded videos for attendance management system. The proposed model performs face recognition by changing the interval of the frame identification time when there is no change in the attendance status for a certain period. When a change in the face recognition status occurs, it moves in the reverse direction and performs frame checks to more accurate attendance time checking. The implementation of proposed model performed at least 4.5 times faster than all frame identification and showed at least 97% accuracy.

• Journal of Korean Society for Quality Management
• /
• v.40 no.3
• /
• pp.347-358
• /
• 2012

Purpose: Given the mixture components - process variables experimental data, we propose the strategy to find the proper combined model. Methods: Process variables are factors in an experiment that are not mixture components but could affect the blending properties of the mixture ingredients. For example, the effectiveness of an etching solution which is measured as an etch rate is not only a function of the proportions of the three acids that are combined to form the mixture, but also depends on the temperature of the solution and the agitation rate. Efficient designs for the mixture components - process variables experiments depend on the mixture components - process variables model which is called a combined model. We often use the product model between the canonical polynomial model for the mixture and process variables model as a combined model. Results: First we choose the reasonable starting models among the class of admissible product models and practical combined models suggested by Lim(2011) based on the model selection criteria and then, search for candidate models which are subset models of the starting model by the sequential variables selection method or all possible regressions procedure. Conclusion: Good candidate models are screened by the evaluation of model selection criteria and checking the residual plots for the validity of the model assumption. The strategy to find the proper combined model is illustrated with examples in this paper.

• Journal of the Korean Society of Systems Engineering
• /
• v.15 no.2
• /
• pp.17-30
• /
• 2019

Due to difficulties in tracking design information of existing document-based configuration management, the research on the development of plant SysML model was started to apply the model-based system engineering methodology to comprehensively manage various design information. However, until now, in order to create the SysML model, the engineers are checking the design information and inputting it to the SysML model. This process requires a lot of time and manpower, it is required to minimize it. Therefore, this study has recognized the problem, a plug-in that extracts the plant design information in the design document and automatically converts the SysML plant model from it. Specifically, the development was performed in the following order. First, the extraction file was selected as the most commonly used Excel file as the plant design document. Next, the design information in the document was analyzed, and extracted information including tag number, name, and the capacity were selected. Finally, the plant SysML model conversion module was implemented. The developed plug-in is confirmed that the task load of the engineers by the SysML model conversion can be minimized and the model can be generated more quickly and accurately.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.999-1002
• /
• 2006

RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였다. 본 논문에서는 RFID 시스템의 보안적 취약점을 보안하기 위해 제안된 보안 프로토콜의 안전성 만족 여부를 정형기법을 이용하여 검증을 실시하고, 발전방향에 대해 제시하였다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.3 no.3
• /
• pp.124-131
• /
• 1979

An optimim reduction gear ratio problem for a subway rapid transit car in Seoul was solved by using a computer program package, which is a modified and extened version of the simple model by Mischke. The optimum value of reduction gear ratio was evaluated by minimizing the total start-to stop time.The validity of the computer program package was verified by cross-checking the calculated values of gear ratio and dynamic characteristics with the actual and measured values.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.904-906
• /
• 2005

최근 유비쿼터스 컴퓨팅 환경이 부각되면서 유비쿼터스 컴퓨팅 환경에서의 모델 검증을 위해 기존의 심볼릭 검증 모델을 응용한 매우 크고 여러 콤포넌트로 구성된 모델 검증 대상이 빈번히 변화하는 상황을 가정한 모델 검증 기술이 요구되었다. 본 논문에서는 빈번히 변화하는 모델 검증을 위해 새로운 알고리즘을 제시하고 완전히 증명하였으며 기존의 모델과 새로운 모델간의 성능 비교 실험으로 새로운 모델의 효율성을 증명하였다.