• Journal of the Ergonomics Society of Korea
• /
• v.18 no.3
• /
• pp.153-169
• /
• 1999

The design of nuclear control room is advancing toward totally computer based human system interfaces (HSI). Computer based interfaces offer the opportunity to provide improved support of operator performance, but if not properly deployed, can introduce new challenges. This paper reviews the Westinghouse AP-600 Human Factors Verification and Validation Plan selected for HSI evaluation model of Korea next generation nuclear control rooms. The AP-600 HSI evaluation model addressed 15 evaluation issues considering major activity class of operator and task complexity factors. This paper also describes the test procedures experimenters should follow to evaluate the addressed issues.

• The Journal of the Society of Korean Medicine Diagnostics
• /
• v.15 no.1
• /
• pp.29-46
• /
• 2011

Objectives: The purpose of our study is to develop and verify questionnaire using temperament and character inventory (TCI) in the future by contemplating the comparative study on TCI and psychological testing Questionnaires. Methods: We investigate the research searched by keyword: 'TCI' and 'Questionnaire' through internet search engines, Pub Med, Science Direct and Springer Link. Results: The comparative study of TCI and psychological testing Questionnaires(SPAQ, BDI, TAS-20, MAC, DSQ) which have the purpose of diagnosing personal disorder is helpful for the verification of the level of adequacy of the concerned psychological testing Questionnaire and contributes to the understanding of psychobiological characteristics of each of personal disorders. The comparative study of TCI and psychological testing Questionnaires(MMPI, NEO, CPI) which have the purpose of comprehending general personality is helpful for the verification of the level of adequacy of the concerned psychological testing Questionnaire and contributes to the understanding of meaning of questionnaire-scales. The comparative study of TCI and constitution-psychological testing Questionnaire(QSCC II) is helpful for the verification of the level of adequacy and the understanding of the concerned constitution-psychological testing Questionnaire and contributes to the understanding of psychobiological characteristics of each of constitutions. Conclusions: TCI is a useful tool to understand the psychological testing Questionnaire more deeply and verify the level of the adequacy, and from now on for the development and verification of Oriental medicinal-psychological testing Questionnaire, the study comparing it with TCI should be actively used.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.227-232
• /
• 2021

사실 검증(Fact verification) 문제는 문서 검색(Document retrieval), 증거 선택(Evidence selection), 증거 검증(Claim verification) 3가지 단계로 구성되어있다. 사실 검증 모델들의 주요 관심사인 증거 검증 단계에서 많은 모델이 제안되는 가운데 증거 선택 단계에 집중하여 강화 학습을 통해 해결한 모델이 제안되었다. 그래프 기반의 모델과 강화 학습 기반의 사실 검증 모델을 소개하고 각 모델을 한국어 사실 검증에 적용해본다. 또한, 두 모델을 같이 사용하여 각 모델의 장점을 가지는 부분을 병렬적으로 결합한 모델의 성능과 증거의 구성 단위에 따른 성능도 비교한다.

• Journal of the Semiconductor & Display Technology
• /
• v.16 no.2
• /
• pp.1-8
• /
• 2017

The visual inspection of electronic parts consists of two steps: automatic visual inspection and verification inspection. In the stage of a verification inspection, the human inspector sequentially inspects all the areas which detected in the automatic inspection. In this study, we propose an algorithm to determine the order of verification inspection by Bayes inference well known in the field of machine learning. This is a method of prioritizing a region estimated to have a high probability of defect using experience data of past inspection. This algorithm was applied to the visual inspection of ultraviolet filters to verify its effectiveness. As a result of the comparison experiment, it was confirmed that the verification inspection can be completed 30% of the conventional method by adapting proposed algorithm.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.25 no.3
• /
• pp.127-137
• /
• 2021

The launch complex(LC) is composed of various facilities. The launch control system that operates remotely those of LC spends much time and labor for developing and verifying its control algorithms. The verification of algorithms is performed by the software developer entering simulated state values based on the test procedure and checking the output result according to the algorithm flow. These verification processes should be performed repeatedly, thus the human errors are easily occurred. In this paper, an efficient automated verification method with a script test procedure is proposed to minimize human errors and shorten the verification duration. We also present the results of the algorithm verification tests for the cases of the compressed gases supply system and the electro pneumatic panel system of LC.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.4 no.3
• /
• pp.202-208
• /
• 2011

Recently the technologies that control the computer system through human computer interaction(HCI) have been widely studied. Their applications usually involve the methods that locate user's positions via face detection and recognize user's gestures, but face detection performance is not good enough. In case that the applications do not locate user's position stably, user interface performance, such as gesture recognition, is significantly decreased. In this paper we propose a new stable face detection algorithm using skin color detection and cumulative distribution of face detection results, whose effectiveness was verified by experiments. The propsed algorithm can be applicable in the area of human tracking that uses correspondence matrix analysis.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.1
• /
• pp.51-60
• /
• 2013

As the human demand or desire on brand new systems otherwise equipped with new functions grows drastically, so does the complexity of the systems. With this trend, the systems are becoming bigger in scale and at the same time the safety requirements are more stringent in the development. Typical systems examples in such a situation may include high-speed railway systems, aero and space systems, marine systems, etc. Failure of those systems can cause serious damages on both the human being and wealth with social infrastructure. As such, it is quite necessary to ensure that the safety requirements be satisfied in the system development. To achieve this need, there could be a lot of solutions to take. In this paper, regarding safety, a special attention is given to the verification phase process, which is one of the intermediate phases of whole systems development process. More specifically, the ultimate concern is placed on how to carry out the design verification while ensuring the safety requirements. To do so, some improvements in the verification phase were proposed first. Then, the outcomes were combined with the systems safety process by generating an integrated process model to reach the goal. As a case study, application to a railway system was discussed, where strict safety requirements are usually necessary. It would be expected that the potential likelihood of failure with rail systems could be reduced if the results obtained are used effectively with some enhancement from further study.

• Proceedings of the IEEK Conference
• /
• 2003.11a
• /
• pp.557-560
• /
• 2003

Voice is one of the promising biometrics because it is one of the most convenient ways human would distinguish someone from others. The target of speaker verification is to divide the client from imposters. Support Vector Machine(SVM) is in the limelight as a binary classifier, so it can work well in speaker verification. In this paper, we combined SVM with genetic algorithm(GA) to reduce the dimensionality of input feature. Experiments were conducted with Korean connected digit database using different feature dimensions. The verification accuracy of SVM with GA is slightly lower than that of SVM, but the proposed algorithm has greater strength in the memory limited systems.

• Journal of Information Technology Services
• /
• v.12 no.4
• /
• pp.175-186
• /
• 2013

Among many automotive manufacturing processes, an assembly process has the smallest automatization percentage. As the correct assembly of the supplied components according to its specification is directly related with the quality of the final product, it is of the utmost importance to reduce the possible human errors in the assembly line. However, due to the lack of an effective verification system for an assembly line, currently, there is huge cost loss caused by the errors in seat assembly every year. Therefore, in this paper, to overcome the limit of the current verification method and to prevent the occurrence of assembly errors caused by mismatching assembling components or its specifications, a verification system and its method is proposed employing the RFID technology. The system is for automatic detection of the assembly errors, so that it can reduce the time and effort needed for verification and maximize the work efficiency. Also, by preventing the assembly errors in advance, the productivity can be increased through a quality innovation.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.7
• /
• pp.961-969
• /
• 2004

Most manufacturing companies are trying to develop a competitive product by increasing the quality, shortening time to market and reducing the cost of a product. Collaborators related to the development of a new product want to confirm geometric forms and dimensions during the design process, as well as to verify dimensional errors of a product during the fabrication process. Objective of this paper is the development of a collaborative design and dimension verification system on the Internet. STEP files obtained from the design process are used for the design and dimension verification. Functions of the design and dimension verification modules are constructed over the ActiveX control using the visual C/sup ++/ and OpenGL. By using mark up functions over the Internet, collaborators check geometries, interferences, dimensional errors, human factors and form errors, as well as share their design ideas and opinions with XML rapidly and remotely. The usefulness of the developed system is confirmed through case studies.