• Water for future
• /
• v.53 no.5
• /
• pp.70-76
• /
• 2020

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.24 no.5
• /
• pp.411-429
• /
• 2022

Instrumentations are essential in NATM tunnels, however measuring instruments are installed and applied without performance verification procedures due to insufficient research on methods, procedures, regulations, etc. to verify the reliability of the measuring instruments. In this study, domestic and foreign regulations relating to the verification and calibration of instruments were investigated and necessities for accreditation standards were proposed. In order to identify the causes of the defects, an external inspection was performed on rock bolt stressmeter and rod extensometer, which are measuring instruments with relatively complex structures. For verifying the performance of these instruments, verification devices were developed that can load step-by-step and the causes of defects were identified in measuring instruments of nine domestic manufacturers. Through the performance test, a number of measuring instruments were found to be defective. It was important to test the performance of the instruments in the state of a finished product and accordingly performance inspection methods and procedures were proposed. The results of this study are expected to help preparing related regulations for verifying instrument performance and selecting instruments in the field.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.7
• /
• pp.701-708
• /
• 2009

The flight control law of developed flight control computer(DFLCC) is developed based on operation flight program of advanced trainer aircraft full scale development final configuration. The flight control law design is used common use development tool in GUI(Graphic User Interface) environment. The flight control law transformed to C-Code is reflected in OFP. The OFP is verified by the standardized verification process. But, before standardized verification process, we need preliminary verification process such as similarity of flight control law and reliability of developed HILS. Similarity of flight control law is verified by comparing the aircraft response of advanced trainer aircraft and those of the developed control law. Also, reliability of developed HILS is verified by comparing the aircraft response of HILS and Non-real time simulation result. This paper verifies similarity of developed control law and reliability of HILS environment as comparing aircraft response.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.346-348
• /
• 2004

최근 개발되는 임베디드 시스템의 경우 하드웨어와 소프트웨어의 구조가 매우 복잡해짐에 따라, 시스템에 탑재되는 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구되고 있다. 특히 시스템에 탑재되는 소프트웨어는 다중 함수에 의해 의사결정이 되면서. 시스템 디자인 단계에서 요구되는 스펙(Specification)을 만족하지 못하는 경우가 빈번하게 발생한다 본 논문에서는 임베디드 소프트웨어의 자동화된 테스트를 위해 요구되는 검증 모듈을 디자인하고 구현하였다 검증 모듈은 요구사항 기반으로 설계되었으며, 각각의 요구사항을 만족하는 검증 모듈을 구현하여 실제 상용화 제품에 대한 테스트를 진행하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.5-8
• /
• 2004

본 논문은 보안제품 적합성 검중을 위한 자동화 도구를 리눅스 기반에서 구현하였으며, 구현된 적합성 검증 자동화 도구를 이용하여 TCP/IP 5Layer중 IP Layer 이상의 계층에서 보안성을 제공하는 제품들에 대한 무결성 테스트를 실시하였다. 그리고 CC(Common Criteria) 기반의 적합성 검증 절차를 연구하여 구체적인 보안제품의 보호파일에 대한 제안을 제기했다. 구현된 적합성 검증 자동화 도구를 이용하여 개발된 보안제품의 안정성을 테스트할 수 있으리라 예상되며, 제안된 보호파일은 구체적인 평가항목으로 국가기관에서 보안제품의 평가 시 사용될 수 있으리라 예상된다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.12
• /
• pp.8753-8759
• /
• 2015

Establishment of analysis procedures and validated performance measurements for generator output is required to maintain stable management of generator output in turbine power generation cycle. We developed turbine expansion model and measurement validation model for the performance calculation of generator using turbine output based on ASME (American Society of Mechanical Engineers) PTC (Performance Test Code). We also developed verification model for uncertain measurement data related to the turbine and generator output. Although the model in previous researches was developed using artificial neural network and kernel regression, the verification model in this paper was based on algorithms through Support Vector Machine (SVM) model to overcome the problems of unmeasured data. The selection procedures of related variables and data window for verification learning was also developed. The model reveals suitability in the estimation procss as the learning error was in the range of about 1%. The learning model can provide validated estimations for corrective performance analysis of turbine cycle output using the predictions of measurement data loss.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.18 no.12
• /
• pp.91-97
• /
• 2019

Since the 2000s, mechanical parking lots have become an increasingly common solution to serious parking difficulties in urban areas. While safety regulations are in place, they can avert or minimize accidents only when drivers understand and comply with them, and so do not always prevent drivers from making mistakes. As a result, the number of serious accidents caused by driver errors continues to increase in proportion to the rapid increase in vehicles. Most of these accidents are caused by abnormal vehicle entry, despite the safeguards already in place. Therefore, in this thesis, we will study the vehicle entry prevention system and suggest how it can be made more effective in stopping or minimizing accidents.

• Asia Marketing Journal
• /
• v.3 no.2
• /
• pp.69-91
• /
• 2001

고객이 서비스상의 실패에 대해 때로는 강한 부정적 반응을 보이기에 서비스를 제공하는 조직의 서비스회복능력은 고객만족을 달성하기 위해 강력하고 효율적으로 운영되어야 한다. 따라서 본 연구는 온라인상의 서비스인 ISP업체(10개의 회사)를 대상으로 온라인 서비스 상에서 고객이 서비스상의 불만을 경험할 때 기업이 고객의 불만을 회복시켜 만족으로 전환시키려는 회복속성들이 실제로 고객이 가지는 분배상의 공정성, 절차상의 공정성 및 상호작용 공정성에 어떤 영향을 미치는가를 실증적으로 검증하기 위한 것이다. 이를 위해 10개의 ISP업체를 선정하고 해당 업체에 대해 불만을 가진 고객들이 기업의 불만제거 노력에 대해 평가하도록 하였다. 가설 검증을 위해 LISREL을 이용하여 서비스의 회복속성인 보상, 신속한 반응, 무반응, 사과, 사전보상제공 등이 분배상공정성, 절차상 공정성, 상호작용 공정성에 직접적으로 미치는 효과를 파악하고 이 공정성의 요인들이 만족에 미치는 영향도 실증적으로 검증하였다. 온라인 상이라는 새로운 환경을 고려하여 기존의 모델에서 간과된 부분을 확인하기 위해 확장 모델을 제시하여 새로운 의미를 가진 경로가 존재하는지 확인하고 이 부분에서 유의적인지 않은 경로를 배제한 수정모델을 제시하였다. 기존의 연구를 바탕으로 제시된 가설은 연구모델에서 경로 계수를 추정하고 이에 대한 t값을 통해 검증하였다. 본 연구에서 제시하는 시사점으로는 고객의 서비스 실패 및 회복상황에 대한 평가의 이론적 원칙을 설명하고 관리자에게 각각의 서비스 실패와 일치하는 서비스 회복전략을 제시하여 운영상의 가이드 라인을 제시한다고 할 수 있다

• Proceedings of The KACE
• /
• 2017.08a
• /
• pp.131-134
• /
• 2017

이 연구에서 엔트리 명령 블록을 이용하여 보편적 프로그래밍 언어를 개발하고 검증하였다. 그래서 이 연구를 통해 블록형 프로그래밍 언어의 접근 수월성을 이용하여 절차적 사고력 향상을 위한 아이디어를 제공하고자 하였다. 새로운 프로그래밍 언어를 만들어 알고리즘을 적용하여 함수화된 사칙연산 프로그램을 만들면서, 다양한 알고리즘을 적용하면 엔트리에서 제시하는 모든 명령 블록을 만들 수 있음을 증명하였다. 이 연구를 통해 1)프로그래밍 언어에 포함된 다양한 기능의 명령어들도 함수화되어 있음을 증명하고 재생산 가능함을 경험할 수 있는 아이디어를 제공하고, 2)초보 프로그래머들이 프로그래밍 언어 개발에 대한 흥미와 관심을 갖게 되는 방안을 제시하며, 3)알고리즘을 경험하면서 절차적 사고력을 향상시킬 수 있는 다른 방향의 SW 교수 학습 방법과, 4)프로그래밍 언어를 미시적으로 탐구하면서 SW 교육 관점을 다양화하는 방법을 제시하였다. 이 연구에서 제시한 방안으로 학생들이 절차적 사고력 향상과 프로그래밍 언어의 다양성 인식, 프로그램을 심층적으로 분석하는 태도 등의 SW 교육에 대한 긍정적 변화를 기대한다.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.33.3-33.3
• /
• 2011

위성 사업의 핵심 지상 시스템인 Electrical Ground Support Equipment(EGSE)와 Mission Control System(MCS)는 사용시기와 목적, 개발조직이 달라서 지금까지는 별도로 개발 및 발전되어 왔고, 최근 국내에서는 다목적실용위성사업의 EGSE와 MCS에서 핵심 모듈만 서로 공유하는 형태로 개발되어 각각 성공적으로 위성 시험과 운영에 이용되고 있지만, 가까운 미래에는 하나의 통일된 공통지상시스템을 개발하여 위성 발사전 위성시험에서도 이용하고, 위성 발사후 위성 운영 단계에도 사용될 수 있도록 할 예정이다. 이러한 공통지상시스템에서는 위성 시험과 운영에 동시에 사용 가능한 공통절차서언어 개발이 핵심이다. 공통절차서언어를 이용하게 되면, AIT단계에서 위성운영단계로의 자연스러운 단계 전환이 가능하여 위성운영교육 및 준비에 필요한 비용 절감 뿐만이 아니라, AIT단계에서 시험/운영 절차서, 위성 데이터베이스의 사전 검증이 이루어지며, 아울러 위성 사업 일정 및 위성 개발 위험도 최소화 등의 이점이 있다.