• 대한인간공학회지
• /
• 제18권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.

• 대한한의진단학회지
• /
• 제15권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.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2021년도 제33회 한글 및 한국어 정보처리 학술대회
• /
• pp.227-232
• /
• 2021

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

• 반도체디스플레이기술학회지
• /
• 제16권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.

• 한국추진공학회지
• /
• 제25권3호
• /
• pp.127-137
• /
• 2021

발사대시스템은 다양한 설비로 구성된다. 이들 설비를 원격 운용하는 발사관제시스템은 제어 알고리즘 개발과 검증에 많은 시간과 노력이 소요된다. 알고리즘 검증은 소프트웨어 제작자가 시험절차서에 기반한 시뮬레이션 상태 값을 입력하고, 알고리즘 흐름에 따라 출력 결과를 확인하는 과정을 통해 이루어진다. 이러한 검증 과정은 반복적으로 수행되므로 작업 오류를 쉽게 유발할 수 있다. 본 논문에서는 작업 오류의 최소화와 검증 기간 단축이 가능한 스크립트 시험절차서 기반의 효율적인 자동화 검증 방법을 제안하며, 발사대의 고압가스 공급설비와 전자식 유공압패널설비 제어 알고리즘 검증시험에 적용한 결과를 제시한다.

• 한국정보전자통신기술학회논문지
• /
• 제4권3호
• /
• pp.202-208
• /
• 2011

최근 들어 인간과 컴퓨터의 상호작용을 통해 컴퓨터 시스템을 제어하는 기술에 관한 연구가 진행되고 있다. 이러한 응용분야의 대부분은 얼굴검출을 통해 사용자의 위치를 파악하고 사용자의 제스처를 인식하는 방법을 포함하고 있으나, 얼굴검출 성능은 아직 미흡한 실정이다. 사용자의 위치가 안정적으로 검출되지 못 하는 경우에는 제스처 인식 등의 인터페이스 성능은 현격하게 저하된다. 따라서 본 논문에서는 피부색과 얼굴검출의 누적 분포를 이용하여 동영상에서 안정적으로 얼굴을 검출할 수 있는 알고리즘을 제안하고, 실험을 통해 알고리즘의 유용성을 증명하였다. 제안한 알고리즘은 대응행렬 분석을 적용하여 사람을 추적하는 분야에 응용이 가능하다.

• 대한안전경영과학회지
• /
• 제15권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2003년도 신호처리소사이어티 추계학술대회 논문집
• /
• 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.

• 한국IT서비스학회지
• /
• 제12권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.

• 대한기계학회논문집A
• /
• 제28권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.