• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.467-470
• /
• 2004

잠수함 정숙화 추세와 복잡한 해양 환경으로 대잠수함전에서 미약한 표적신호를 지속적으로 탐지하기 매우 어려워지고 있어 소나 운용자가 장시간 지속적으로 전방위 표적 탐색하는 부담이 매우 크므로 표적 자동탐지 추적 기능이 필수적이다. 본 논문에서는 장거리 예인 수동소나에 적합한 표적의 자동 탐지 및 추적기법을 제안하고 시뮬레이션과 실제 해상 환경에서 수중 표적신호로 성능을 검증하였다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1995.04a
• /
• pp.360-366
• /
• 1995

국내 발전소에서 사용하고 있는 대형 회전 기계인 터빈의 상태 진단 기능을 높이기 위하여 터빈에서 발생 될 수 있는 이상 진동의 특성을 파악하고 이를 이용하여 이상 진동의 발생 가능성을 확률적으로 출력하는 새로운 알고리즘을 개발하였으며, C-언어로 프로그램하여 이를 검증하였다. 이상과 같이 본 연구에서 제안한 알고리즘을 이용한 자동 진단 시스템을 통하여 각각의 이상 진동에 대한 진단을 수행한 결과 양호한 판정 결과를 보였으며, 터빈 이상 진동에 대한 자동 진단의 가능성을 입증하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.36-38
• /
• 1997

본 논문은 gate-level timed circuits의 자동 합성과 검증에 대한 것으로, 동기 회 로는 디자인을 최적화하기 위해 합성 절차가 사용된 동안 설계서에 명시된 시간 정보에 속 한 비동기 회로의 일부로서 이 시스템은 열거된 일반적인 회로 작용과 시간의 요구 조건에 대해 설계를 해석한다. 이 설계는 영향을 미치는 상태 공간을 구하기 위해 정확하고 효과적 인 시간 해석 알고리즘을 사용해 해석할 수 있는 그래픽 표현으로 자동적으로 변환된다. 이 상태공간으로부터 합성 절차는 standard-cells과 gate-arrays와 같은 반 주문형 반도체로 매핑을 용이하게 하기 위해 기본 게이트만을 사용해 어려움을 해결하는 시간에 대한 회로 유도된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.952-955
• /
• 2015

본 연구는 현재 스마트폰 모델을 조립하는 공정에서 카메라 렌즈 부품을 조립하는 수동으로 팔레트 위에 위치한 부품의 좌표를 수동으로 입력하고 검증하는 과정으로 소형 델타로봇에 스마트 액추에이터와 초소형 비전 카메라를 장착하여 렌즈부품의 위치좌표를 자동으로 검출하고, 빠르고 정확하게 타겟팅된 위치로 이동시킬 수 있는 자동타게팅 델타로봇 시스템을 개발하는 것이다.

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• Fire Science and Engineering
• /
• v.22 no.4
• /
• pp.42-49
• /
• 2008

This research is to provide a scheme for an automatic fire alarm system with higher reliability through solving problems of malfunctioning (false or missing fire alarm) and power interruption (result from frequently unwanted activation, etc) of an automatic fire alarm system. A digital control system with microprocessor-based is proposed to reduce the possibility of malfunctioning through a combinational use of heat, smoke and CO sensors. Higher reliability could be achieved by these multiple sensors based fire detection system and fire distinction algorithm. In this research, we implemented actual fire detection system and conducted fire test to verify improvement on reliability.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1863-1864
• /
• 2008

한국전력거래소에서 운영중인 EMS(Energy Management System)와 MOS(Market Operation System) 설비는 각각 Alstom사와 ABB사에 의해 우리나라의 전력계통 특성에 맞게 제작되어 공급된 전력계통과 전력시장의 운영을 자동화한 시스템이다. EMS는 전력계통 감시와 효율적인 운영을 위해 전력계통을 모델링한 데이터를 활용하며, MOS는 실시간 급전계획 수립을 위한 기반자료로 전력계통을 모델링한 데이터를 사용하게 된다. 그러나, 대한민국 전력산업의 핵심인 두 시스템은 시스템 설계 방식 및 DB 구조가 상이하여 전력계통의 신.증설 및 변경 시 동일한 데이터를 양 시스템에 각각 따로 구축, 운영해야하는 실정이다. 이에 따라 DB작업을 위한 자료 준비부터 입력, 수정, 검증 등 모든 과정에 중복된 관리가 이루어지고 있다. 중복 관리는 양 시스템 간 DB의 주요 데이터 특성 및 명칭이 상이하여 일률적인 관리가 어렵고, 시스템별 특성 및 운영노하우가 없이는 인적실수에 의한 입력오류 개연성이 폭넓게 존재하는 등 현 상황에서 피할 수 없는 현실이었다. EMS와 MOS 시스템 중 최소한 개의 시스템을 전면 재구축하지 않으면 해결되지 않을 본 문제를 해소하기 위하여 전력거래소는 특정 시스템에 구축된 데이터를 변환알고리즘을 통해 나머지 하나의 시스템에 자동 구축할 수 있는 시스템을 개발하여 활용하고자 한다. 이것이 바로 EMS에 입력되어 정확성이 검증된 계통데이터를 추출하여 MOS의 데이터 형식으로 변환하고, 변환된 데이터를 MOS시스템에 자동으로 입력할 수 있는 MOS/EMS 데이터 자동변환시스템이다.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.15 no.2
• /
• pp.327-334
• /
• 2020

In this paper, an automatic cruise system of unmanned boat was developed for surveying water depth in reservoir using accurate location information. Using global satellite navigation system(GNSS) data in real time, this unmanned system, combined with an echo sounder, can simultaneously collect location information and depth information on the reservoir. This automatic navigation system allows the automatic route generation program to automatically generate a cruise route according to the input conditions for grid sizes of 5m, 10m and 20m, and automatically controls the cruise route with high positional accuracy. The developed system was tested to verify the applicability of the selected Yonggok(Geoncheon) reservoir as a test reservoir located in Suncheon, Jeollanam-do.

• Journal of KIISE:Databases
• /
• v.32 no.1
• /
• pp.86-99
• /
• 2005

In this paper, we suggest a system which automatically verifies and tunes transaction processing database applications based on program analysis technology. This system automatically verifies two kinds of transaction processing errors. The first case is the un-closed transaction. In this case, data is not updated as expected or performance of overall system can decrease seriously by locking some database tables until the process terminates. The second case is the miss-use of transaction isolation(inking) level. This causes runtime exception or abnormal termination of the program depending on runtime environment. This system automatically tunes two kinds of inefficient definition of transaction processing which decrease the performance of overall system. The first case happens when opened transaction is closed too late. And the second case happens when transaction isolation level is set too high.

• 한국정보통신설비학회:학술대회논문집
• /
• 2007.08a
• /
• pp.132-135
• /
• 2007

논문은 LG 데이콤의 TPS 서비스에서 사용되는 여러 단말의 초기 설치의 편의성을 최대한 보장하기 위한 자동 프로비저닝 시스템에 대한 연구이다. 이를 위해서 요구되는 단말기의 식별자와 암호화를 처리하기 위한 자동 프로비저닝 시스템의 수행 절차를 제안한다. 기본 구성은 홈게이트웨이를 이용한 홈네트워크를 구성하고 있다. 이를 기반으로 하여 IPTV 셋탑, WiFI 폰, PC 를 동시에 사용하기 위해서는 자동 프로비저닝 시스템에서 여러 단말기로 네트워크 접속에 필요한 정보(접속할 시스템의 주소(IP), 포트 및 환경 파일)를 전송하거나, 단말기가 직접 다운받을 수 있도록 한다. 이를 제공하는 시스템을 TPS 자동 프로비저닝 시스템이라 명하며, 이는 가입자의 개입없이 홈네트워크 환경과 멀티미어어 서비스 환경을 자동으로 설치함으로써 사용자의 편이성을 극대화하게 된다. 본 논문은 TPS 서비스와 디지털 홈 서비스의 근간이 되는 프로비저닝 플랫폼의 기술적 가능성을 검증함으로써 향후 관련 단말기 개발 및 개방형 서비스를 제공하기 위한 기초자료로 활용되고자 한다.