• 분석과학
• /
• 제34권6호
• /
• pp.267-274
• /
• 2021

분광학적 검출에 의해 종말점을 확인하는 적정기(Spectrator; SPT)와 기존 적정기(automatic burette; ABT, autotitrator; ATT)를 사용한 분석 결과를 비교하기 위하여 동일한 시료에 대한 산-염기 적정 실험을 수행하였다. 각기 다른 적정장치를 사용하여 얻어진 측정값(종말점)의 직진성, 동등성, ANOVA, F-테스트, t-테스트 등을 통하여 차이점을 통계학 분석을 수행하였으며, 직진성에서 확인된 결정계수는 모두 0.999 이상이고 통계적으로 분석된 결과에 의하여 측정값에 차이가 없다는 귀무가설은 채택되었다. 새로운 실험방법에 대한 일치성을 확인하는 Bland-Altman 분석을 통하여 본 연구에서 사용한 적정장치에서 얻어진 측정값에서 불일치 양상이 확인되지 않았다.

• 한국CDE학회논문집
• /
• 제17권6호
• /
• pp.409-416
• /
• 2012

Most of the shipbuilding scheduling researches so far have been conducted with stress on the dock plan. That is due to the fact that the dock is the least extendable resource in shipyards and its overloading is difficult to resolve. However, once the dock scheduling is completed, it is also important to make a plan that make the best use of the rest of the resources in the shipyard, so that any additional cost is minimized. This study automates block allocation process by analyzing the existing manual process that designates production bays for the blocks during the midterm planning. Also, a planning scenario validation method is suggested, where block allocation scenarios based on diagrams are edited and simulated.

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

신경망을 이용하는 연속 음성 인식에서 학습이라 함은 인위적으로 분할된 음성 데이타를 토대로 진행되는 것이 지배적이었다. 그러나 분할된 음성데이타를 마련하기 위해서는 많은 시간과 노력, 숙련 등을 요구할 뿐만아니라 그 자체가 인식도메인의 변화나 확장을 어렵게 하는 하나의 요인 되기도 한다. 그래서 분할된 음성데이타의 사용을 가급적 피하고 그러면서도 성능을 떨어뜨리지 않는 신경망 학습법들이 나타나고 있다. 본 논문에서는 학습된 인식기를 이용하여 자동으로 한국어 음성데이타를 분할한 후 그 분할된 데이타를 이용하여 다시 인식기를 재학습시켜나가는 반복 과정을 소개하고자 한다. 여기에는 TDNN이 인식기로 사용되며 인식단위는 음소이다. 학습은 cross-validation 기법을 이용하여 제어된다.

• Journal of Information Processing Systems
• /
• 제6권2호
• /
• pp.197-208
• /
• 2010

Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios which can preserve the original test coverage with respect to some testing criteria. We are proposing to apply Formal Concept Analysis (FCA) in analyzing the association between a set of test scenarios and a set of transitions specified in a state machine model. By utilizing the properties of concept lattice, we are able to determine incrementally a minimal set of test scenarios with adequate test coverage.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1996년도 춘계공동학술대회논문집; 공군사관학교, 청주; 26-27 Apr. 1996
• /
• pp.381-385
• /
• 1996

본 연구에서는 자동화 제조 시스템 (Automatic Manufacturing System :AMS)의 설계및 구현에 있어서 물리적인 검증 (Physical Validation)을 위한 소프트웨어 시스템의 구조를 제안하고 구현하였다. 제안된 소프트웨어 시스템은 설비들과 물류 흐름에 있어서 간섭 검증과 운영 가능성을 검증하는 기능을 제공하며 크게 4개의 모듈로 나누어져 있다. : 1) 기본 형상들을 이용하여 원하는 형상을 정의하는 "Shape Modeling Module", 2) 실제 설비의 Kinematics와 기능을 모델링하는 "Facility Modeling Module", 3) AMS의 물리적인 배치를 구성하는 "Layout Design Module", 4) 모델링된 AMS를 실행시켜 볼 수 있는 "Factory Emulation Module". 이와 같은 소프트웨어 시스템을 구현하기 위해 수행된 주된 연구는 다음과 같다. : 1) AMS를 구성하는 설비들을 모델링하는 방법을 제시, 2) 표준 설비들의 Instancing Parameter 제시, 3) C++과 GL을 이용하여 소프트웨어로의 구현, 4) Flexible Manufacturing System (FMS)에의 응용.lexible Manufacturing System (FMS)에의 응용.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• pp.202-206
• /
• 1994

Mathematical model of the pollution rate of substation insulators is constructed, taking the model parameters as wind speed, wind direction, typhoon conditions and rainfall in an hourly basis. The main feature of model construction is to distinguish the effect of each parameter by separately analyzing the positive and negative pollution causing factors. Model parameters for the insulators of Karatsu substation, Saga, Japan were estimated and model validation was done using the actual data, in which the pollution deposits on the insulators were measured using pilot insulator and 'salt meter'. The proposed model of the pollution rate [mg/cm$^{2}$/hr] enables the identification of the effective parameters and prediction of the pollution rate so that it helps for the automatic decision making for insulator cleaning or the model can be used as a tool for the substation engineers to make precautionary measures.

• IEIE Transactions on Smart Processing and Computing
• /
• 제6권1호
• /
• pp.53-59
• /
• 2017

Optical character recognition (OCR) automatically recognizes text in an image. OCR is still a challenging problem in computer vision. A successful solution to OCR has important device applications, such as text-to-speech conversion and automatic document classification. In this work, we analyze character recognition performance using the current state-of-the-art deep-learning structures. One is the AlexNet structure, another is the LeNet structure, and the other one is the SPNet structure. For this, we have built our own dataset that contains digits and upper- and lower-case characters. We experiment in the presence of salt-and-pepper noise or Gaussian noise, and report the performance comparison in terms of recognition error. Experimental results indicate by five-fold cross-validation that the SPNet structure (our approach) outperforms AlexNet and LeNet in recognition error.

• 한국CDE학회논문집
• /
• 제17권3호
• /
• pp.198-207
• /
• 2012

This paper presents an overview of automated robotic system for skull drilling, which is performed to access for some neurosurgical interventions, such as brain tumor resection. Currently surgeons use automatic-releasing cranial perforators. The drilling procedure must be performed very carefully to avoid penetration of brain nerve structures; however failure cases are reported. The presented prototype system utilizes both preoperative and intraoperative information. Preoperative CT image is used for robot path planning. A NeuroMate robot with a six-DOF force sensor at the end effector is used for intraoperative operation. Intraoperative cutting force from the force sensor is the key information to revise an initial registration and preoperative path plans. Some possibilities are verified by path simulation but cadaver experiments are required for validation of this prototype.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(1)
• /
• pp.235-238
• /
• 2002

In this paper we describe the design and implementation of Electrical Ground Support Equipment(EGSE) for the CBS transponder testing. The main task of EGSE is to check out satellite systems, at system or subsystem level, during integration and validation phases of their life-cycle. Through a combination of hardware and software elements, EGSE supports manual, semi-automatic and fully automated testing. Automation is achieved by offering users simple, yet powerful means to write their own test application programs (test sequences) in high-level, test-oriented language and to run them in a strict real-time environment. The core of this environment is a user-configurable real-time database, containing all the information needed to calibrate acquired data, check them against predefined thresholds, automatically react to out-of-range conditions, display data using animated graphics or synoptic windows, and so on.

• 정보화연구
• /
• 제9권4호
• /
• pp.357-363
• /
• 2012

Ontologies are being used in order to define common vocabularies to describe the elements of schemas involved in a particular application. The problem of finding correspondences between ontologies concepts, called ontology matching, consists in the discovery of correspondences between terms of vocabularies (represented by ontologies) used by various applications. The majority of solutions proposed in the literature, despite being fully automatic, has heuristic nature and may produce nonsatisfactory results. The problem intensifies when dealing with large data sources. The goal of this paper is to propose a method for generation and incremental refinement of correspondences between ontologies. The proposed approach uses filtering techniques, as well as user feedback to support the generation and refinement of such matches. For validation purposes, a tool was developed and some experiments were conducted.