• 한국컴퓨터정보학회논문지
• /
• 제27권12호
• /
• pp.141-149
• /
• 2022

본 연구에서는 공공 CCTV 함체 관리를 위한 블록체인 기반 함체기록 관리 시스템을 설계하였다. CCTV 영상 기록은 함체를 거쳐 관제센터까지 전송되기 때문에 영상기록의 변조 및 훼손 방지를 위한 함체 관리가 매우 중요하다. 최근 CCTV 함체 관리를 위해 실시간 원격 모니터링 및 개폐 상태 관리 기능을 갖춘 스마트 함체 모니터링 시스템을 사용하고 있으나 CCTV 영상기록의 안전성 확보에는 한계가 있다. 우리가 제안한 시스템은 함체기록을 블록체인에 분산 저장하여 해시값 비교를 통해 위조를 탐지하고 위조된 함체기록을 복구할 수 있다. 또한 관리서버가 수신하는 함체기록의 무결성을 확인할 수 있도록 무결성 검증 API를 제공하여 함체기록의 무결성을 보장한다. 제안 시스템의 효용성을 검증하기 위해 실험을 통해 무결성 검증 정확도와 소요시간을 측정하였다. 실험 결과 함체기록의 무결성(정확도: 100%)을 확인하였고, 검증 소요시간(평균: 73ms)이 모니터링에 영향을 미치지 않을 것으로 확인하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2006년도 춘계학술대회 학술발표 논문집 제16권 제1호
• /
• pp.192-195
• /
• 2006

In this paper, we discuss the user-customized interaction for intelligent home environments. The interactive system is based upon the integrated techniques using speech recognition and fingerprint verification. For essential modules, the speech recognition and synthesis were basically used for a virtual interaction between the user and the proposed system. In experiments, particularly, the real-time speech recognizer based on the HM-Net(Hidden Markov Network) was incorporated into the integrated system. Besides, the fingerprint verification was adopted to customize home environments for a specific user. In evaluation, the results showed that the proposed system was easy to use for intelligent home environments, even though the performance of the speech recognizer was not better than the simulation results owing to the noisy environments

• 정보보호학회논문지
• /
• 제16권6호
• /
• pp.63-71
• /
• 2006

본 논문에서는 지문 센서-클라이언트-서버 모델의 원격 지문 인식 시스템을 이용한 안전하고 효과적인 사용자 인증방법을 제안한다 특히, 실시간성. 확장성. 프라이버시 이슈 등을 고려하여 지문 인식 과정 중 가장 많은 계산시간을 필요로 하는 지문 특징 추출 과정을 클라이언트에 할당하는 일반적 구현과 달리, 클라이언트가 일반 사용자에 의해 관리되어 여러 공격에 취약할 수 있다는 가정하에서도 동작할 수 있는 방법을 제안한다. 즉. 지문 센서와 서버 사이에 위치한 클라이언트를 신뢰할 수 없는 경우라도 실시간성, 확장성. 프라이버시 이슈 등을 만족하기 위해서는 클라이언트를 활용할 수밖에 없으며. 지문 센서나 서버에서는 신뢰할 수 없는 클라이언트에게 위임하여 생성된 지문정보를 검증해야 한다. 또한, 자원 제약적인 지문센서가 클라이언트가 생성한 지문 정보를 실시간으로 검증하기 위해서는 검증 과정 자체가 간단해야 된다는 제약이 있다. 본 연구에서는 이러한 문제를 해결하기 위해 지문 특징 추출 과정을 이진화와 특징점 추출 과정으로 분리하여 클라이언트에서 이진화 과정을 실행하고 지문 센서에서는 클라이언트로부터 받은 이진화 결과의 정당성을 확인하기 위한 경량화된 검증 방법을 수행한다 검증 후 이상이 없으면 클라이언트로부터 수신한 이진영상에서 특징점을 추출한 후 서버로 전송한다. 제안된 방법의 타당성을 확인하기 위해 지문 영상을 이용한 실험을 수행한 결과, 제안된 방법이 지문 센서-클라이언트-서버 모델에서 실시간으로 안전하게 수행될 수 있음을 확인하였다.

• 한국추진공학회지
• /
• 제19권4호
• /
• pp.85-93
• /
• 2015

한국형발사체를 위한 액체로켓엔진은 터보펌프 추진제 공급방식의 시스템으로 이루어진다. 이 터보 펌프의 실추진제를 사용하는 실험적 성능검증을 위해 액체산소와 케로신을 토대로 한 터보펌프 실매질 시험설비가 구축되어 왔다. 산화제/케로신 공급 시스템과 알코올버너 시스템과 같은 주요 서브시스템에 대한 검증시험이 이루어 졌고, 터보펌프 개발모델을 이용한 인증시험을 통해 전체 시험설비에 대한 성능검증이 이루어 졌다. 설계점 및 탈설계점을 포함한 터보펌프의 모든 운용조건과 운용시간에 대한 실매질 성능검증시험을 본 시험설비를 이용하여 수행할 수 있는 것으로 확인되었다.

• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.339-352
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 분산된 실시간 시스템의 행위와 공간, 시간 속성을 분석하고, 검증하기 위한 다양한 정형기법들이 존재한다. 그러나 대부분의 경우 공간과 행위를 같이 표현하는 구조적, 근본적 한계가 존재한다. 게다가 시간 속성이 포함되는 경우는 더욱 복잡해지게 된다. 이러한 한계를 해결하기 위하여 본 논문은 Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI)라는 새로운 정형기법을 제안한다. t-CARDMI는 행위의 표현으로부터 공간정보의 표현을 분리시켜 복잡도를 단순화 시키며, 시간 속성에 대해서 오직 행위적 표현에서만 허용하여 복잡한 명세를 덜 복잡하게 표현한다. t-CARDMI는 대기기간, 실행시작 만족시간, 실행시간, 실행완료 만족시간 등의 특유의 시간속성을 이동과 통신의 행위에서 모두 포함하는 특징을 갖는다. 새롭게 제안된 Timed Action Graph(TAG)는 공간과 시간을 포함하는 시스템의 명세를 분석하고 검증하기 위해서 공간과 시간속성을 2차원의 다이어그램으로 표현하며 그 안에서 이동과 통신의 정보를 분산된 그림정보로 표현하는 그래프로 t-CARDMI를 좀더 효율적으로 명세하고 분석할 수 있는 방법을 제공한다. t-CARDMI는 유비쿼터스 컴퓨팅에서의 분산된 실시간 시스템의 공간적, 행위적, 시간적 속성에 대한 명세, 분석 및 검증에 매우 효율적이고 효과적인 혁신적인 정형기법의 하나로 고려될 수 있다. 본 논문은 t-CARDMI의 문법과 의미, TAG 그리고 Specification, Analysis, Verification, and Evaluation (SAVE)로 명명된 툴을 제안하고 유비쿼터스 헬스케어 시스템 예제를 통해 효율성을 분석한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권2호
• /
• pp.213-223
• /
• 2004

본 논문에서는 실시간 응용을 위해 형판 정합 방법을 기반으로 하면서 동시에 외형 기반 (appearance_based) 방법에서 제시하는 학습 모델을 이용한 새로운 얼굴 검출 방법을 제안한다. 우선, 빛이나 조명의 영향에 의한 오류를 방지하기 위한 효과적인 전처리 과정으로 최소-최대 정규화(Min-max Normalization) 방법과 히스토그램 정규화 방법을 적용시킨다. 그런 뒤에 입력 영상과 형판을 PCA 변환하여 각각의 주성분(PC : Principal Component)을 생성하고 이를 LDA 변환한다. PCA 및 LDA 변환된 형판을 이용하여 입력 영상과의 거리 값을 구한 후 거리 값이 가장 작은 영역을 얼굴 영역으로 선택하고, 선택된 영역은 SVM을 이용하여 얼굴인지 아닌지를 검증하는 과정을 거친다. 또한, 본 논문에서는 실시간 얼굴 검출 방법을 위해 전체 영역이 아닌 $\pm$12 화소 크기의 탐색 윈도우를 이용하여 시스템의 속도 및 정확도를 고려하도록 하였다. 실제 환경과 같은 6개 부류의 동영상을 중심으로 실험한 결과, 본 논문에서 제안하는 방법이 기존의 PCA 변환만을 이용한 방법보다 좋은 성능을 보여줌을 알 수 있었고, 또한 SVM을 이용한 얼굴 검증 과정을 추가한 방법이 PCA 변환과 LDA 변환을 사용한 방법보다 좋은 성능을 보여줌을 알 수 있었다.

• 한국정보통신학회논문지
• /
• 제26권6호
• /
• pp.881-889
• /
• 2022

전 세계적으로 선박의 배출물에 의한 환경 오염에 관심이 증가하여, 에너지 효율을 높여 선박 배출물 감소와 연료 소비 효율을 높이는 시스템 개발에 많은 연구가 진행되고 있다. 각 시스템은 소형 선박에서는 실증될 수 있으나, 대형 선박의 경우에는 실증에 대한 여건이 마땅치 않다. 현실적으로 대형 선박에 real time으로 구동되는 에너지 관리 시스템 제어기를 테스트하기 위해서는 시뮬레이터를 통한 테스트를 수행해야 한다. 본 연구에서는 각 제어 시스템과 에너지 관리 시스템을 연동할 수 있도록 각 신호를 Modbus TCP/IP에 맞게 주소를 설정하였으며, 신호의 흐름에 따라 알고리즘을 구성하였다. 또한, 각 제어기가 선박에서 수집하는 신호를 인위적으로 발생시킬 수 있도록 신호 발생기를 설계 및 제작하였다. 시뮬레이터 제작 및 연동 결과 real time으로 운용되는 각 제어기는 역할을 알맞게 수행하였으며, 선박용 에너지 관리 시스템의 알고리즘의 적용이 적절히 수행됨을 확인하였다.

• 대한전자공학회논문지SD
• /
• 제43권7호
• /
• pp.38-49
• /
• 2006

본 논문에서는 SoC를 검증 및 테스트하기 위한 새로운 개념의 칩을 제안하고 이를 SwToC(System with Test on a Chip)라 명명한다. SwToC는 SoC의 임베디드 프로세서에 재구성 가능한 로직을 추가하여 칩의 물리적인 결함을 테스트할 수 있을 뿐만 아니라 기존의 기법으로는 수행이 어려웠던 테스트 단계에서의 디자인 검증이 가능하도록 한 칩을 말한다. 제안한 개념의 칩은 고속 검증이 가능하며 테스트를 위해 많은 비용이 소모되는 ATE 가 불필요한 장점을 갖고 있다. 제안한 칩의 디자인 검증 및 테스트 기능을 평가하기 위하여 임베디드 프로세서가 내장된 상용 FPGA를 이용하여 SwToC를 구현하였으며, 구현 결과 제안한 칩의 실현 가능성을 확인하였고 적은 비용의 단말기를 통한 테스트가 가능함은 물론 기존의 검증기법에 비해 고속 검증이 가능함을 확인하였다.

• 한국위성정보통신학회논문지
• /
• 제6권1호
• /
• pp.80-85
• /
• 2011

본 논문에서는 소프트웨어 기반의 실시간 GPS L1 수신기에 대한 블록 상관기법을 제안한다. 최근 다양한 위성항법 환경에서 보다 효율적인 항법 수신기 개발을 위하여 소프트웨어 기반의 실시간 수신기 개발이 필요하다. 실시간 소프트웨어 수신기는 입력신호 처리부, 신호획득부, 신호추적부, 항법데이터 처리부, 항법해 계산부로 구성되고 각 처리부는 해당 기능을 수행하기 위한 단위 컴포넌트로 구성된다. 이러한 소프트웨어 환경에서의 수신기 개발을 용이하게 수행하기 위한 소프트웨어 기반의 수신기를 개발함으로써 다양한 모델을 적용하거나 새로운 컴포넌트 조합으로 다양한 시뮬레이션을 수행할 수 있다는 장점을 제공하고 있다. 본 논문에서는 이러한 소프트웨어 기반의 수신기가 실시간의 성능을 나타낼 수 있는 블록 상관기법을 제안하고 이에 대한 성능을 검증하였다.

• 전기학회논문지
• /
• 제62권10호
• /
• pp.1458-1464
• /
• 2013

This paper proposed a new real time catenary impedance estimation technique using synchronized power data from the measured data of operating vehicle and substation for catenary protective relay and fault locator setting. This paper presented estimation equation of catenary impedance using synchronized power data between substation and vehicle of AT feeding system for the performance verification of the proposed technique. Also AC feeding system is modeled through power analysis program and performance was verified through simulation according to various load changes. We verified that average 2.38%(distance equivalent 23.8 m) error appeared between the proposed estimation equation of catenary impedance and power analysis program simulation output in no connection double track system between up track and down track. Furthermore, We confirmed that estimation error is bigger depending on the increasing the distance from substation and vehicle impedance using only using vehicle current when calculating vehicle impedance in connection double track system between up track and down track. But, We confirmed that the proposed technique estimated accurately catenary impedance regardless of vehicle impedance and distance from substation.