• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권11호
• /
• pp.479-486
• /
• 2015

모델 체킹 방법은 가능한 모든 경우를 자동으로 확인할 수 있으며, 코드가 구현되기 이전의 명세서나 디자인의 검증에도 적용할 수 있어 고위험 시스템의 검증에 활발히 적용되어왔다. 그러나 이러한 엄밀한 검증기법에 대한 일반적인 이해 부족과 테스팅에 비해 높은 검증 비용으로 인하여, 일반적인 소프트웨어들은 여전히 인력에 의한 테스팅과 같은 기초적인 방법에 의존하여 검증이 수행되고 있다. 본 논문에서는 그 대표적인 예인 온라인 게임 서버를 대상으로, SPIN 모델 체커(SPIN model checker)를 이용한 자동화 검증 방법을 적용하는 실험적인 연구를 수행하여 검증 비용 대비 효과에 근거한 적용성을 판단하였다. 연구 결과, 5~7GB 이내의 메모리와 10분 이내의 시간 내에서 온라인 게임 서버 파티 시스템의 주요 특성들을 검증할 수 있음을 보였고, 이 과정에서 기존에 파악하지 못한 오류도 검출하였다. 이로부터 인력에 의한 테스팅에 비해 납득할만한 수준의 검증 비용으로 엄밀하고 효과적인 검증이 가능하다는 결론을 도출할 수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2331-2333
• /
• 2003

전력계통의 원방감시제어시스템(SCADA)은 원방의 전력계동을 화면에 표시하고 감시하며 필요한 제어명령을 실행하는 시스템을 말한다. 철도청의 기존 전력계통 제어시스템은 UNIX를 기반으로 하여 특별히 교육 받은 운용자만이 감시제어 및 관리할 수 있고 구축비용이 많이 소요되며 지역 사무소에서 운용되기 때문에 원격지의 전력계통 사고의 경우 시스템 운용자는 현장의 근무자와 연락하여 사고의 원인을 파악하고 조치해야 하는 단점이 있다. 또한 새로운 통합 SCADA 시스템이 구축되면서 기존 지역사무소에서 운용하던 전력계통 제어시스템이 없어지고 중요 역사마다 지역사무소의 전력계통 제어시스템을 대체할 수 있는 소규모 전력계통 제어시스템의 설치가 요구되고 있다. 본 논문에서는 기존 UNIX를 기반으로 한 SCADA 시스템의 기능을 모두 수용하고 현장의 근무자들이 쉽게 감시제어 및 유지보수까지도 할 수 있는 경제적인 전력 계통 제어시스템을 개발하고자 한다. 소규모 전력 계통 제어시스템을 개발하기 위해 Cimon 이라는 산업자동화프로그램을 이용하였으며 철도청 철암 역사에 직접 시스템을 설치하여 원격소 장치(RTU)와 새로 추가 설치된 전자식배전반을 동시에 수용할 수 있는 소규모 전력계통 제어시스템을 개발하고 실험하였다.

• 분석과학
• /
• 제11권1호
• /
• pp.1-7
• /
• 1998

본 논문은 현장에서 미량 원소분석을 수행할 수 있는 휴대용 원자방출분광계인 HCGD-AES(Hollow Cathode Glow Discharge-Atomic Emission Spectrometer)1에 적용할 분석 및 제어용 프로그램의 제작에 관한 연구결과를 요약하였다. 단색화 장치의 부피를 최소화할 수 있도록 분석할 원소의 선 필터(line filter)를 사용하여 제작된 검출계에서 실시간 분석이 가능한 소프트웨어의 개발이 이루어 졌으며, 원소 분석 및 검량선 작성의 자동화를 바탕으로 쉽게 사용할 수 있는 노트북용 소프트웨어를 Windows 95 환경에서 구현하였다. 사용한 주 언어인 Delphi 2.0을 바탕으로 그밖의 프로그램 언어도 복합적으로 사용되었다. 특히 측정된 자료들은 데이터 베이스를 구축하여 최적 실험 환경 조건을 얻을 수 있도록 하였으며 보고서 작성 기능도 추가되었다. 본 프로그램은 분석 수행에 있어서 사용자 편의를 위해 디자인되었으므로 빠르게 배우고 분광분석의 다른 분야에도 적용할 수 있도록 개발되어 응용성과 활용성이 대폭 확대될 수 있다는 이점이 있다.

• 조명전기설비학회논문지
• /
• 제22권9호
• /
• pp.111-119
• /
• 2008

본 논문에서는 최근 분산전원 확대보급에 따라 계량오차 발생, 변전소 CB 또는 Recloser, 수전설비 VCB의 OCGR 오동작, 배전자동화 시스템 거짓FI 정보발생 등 한전 배전계통에서 발생되는 오동작 현상에 대해서 원인분석을 수행하였고 그 원인은 변압기 결선에 의한 역 조류현상임을 규명하였다. 이러한 역 조류현상의 영향으로 배전계통의 3상 기본파 전류가 N상에서 동상이 되어 3배의 전류로 합산되었으며, 이 현상을 근거로 새로운 계통해석 방법을 제시하였다. 새로운 계통해석 방법을 적용하여 구간별 고장전류를 해석하였고, 역 조류현상 규명을 위해 변압기 결선형태 별로 역 조류 발생여부를 실험하였다. 또한 PSCAD/EMTDC로 실제 계통을 모의함으로써 역 조류에 의한 오동작 현상을 줄이기 위한 방법으로 중성선의 영상임피던스를 조절하는 방법을 제시하였다.

• 정보보호학회논문지
• /
• 제24권2호
• /
• pp.285-294
• /
• 2014

스마트기기 활용도가 높아지면서 스마트기기의 다양한 애플리케이션들이 개발되고 있다. 이 애플리케이션들은 디지털 포렌식 조사 관점에서 사용자의 행동과 관련된 중요한 데이터가 존재할 수 있기 때문에 애플리케이션에 대해 사전 분석이 진행되어야 한다. 하지만 애플리케이션들이 업데이트되면서 분석된 데이터 포맷이 변경되거나 새로운 형태로 생성되는 경우가 빈번히 발생하고 있다. 그래서 사전 분석된 모든 애플리케이션에 대하여 업데이트가 진행되었는지 일일이 확인하여야하고, 업데이트가 진행되었다면 변경된 데이터가 있는지에 대해서도 분석이 꼭 필요하다. 하지만 분석된 데이터를 지속적으로 반복 확인하는 작업은 많은 시간이 소요되므로 이를 효율적으로 대응할 수 있는 방법이 필요하다. 본 논문에서는 애플리케이션의 정보를 수집하여 업데이트 정보를 확인하고, 변경된 데이터에 대한 정보를 효율적으로 확인할 수 있는 자동화된 시스템을 제안한다.

• 한국항해항만학회지
• /
• 제34권1호
• /
• pp.77-82
• /
• 2010

오늘날 해안의 인구 증가와 산업화로 인하여 해안의 수질오염이 날로 증가하고 있으며, 이로 인한 생태계가 파괴됨으로써 수산물 양식업에 많은 문제를 발생시키고 있다. 이러한 문제를 해결하기 위해 해상 양식장이 육상 양식장으로 이동하고 있다. 본 논문은 육상 양식장에서의 자동 먹이 공급 시스템에 관하여 설명하고자 한다. 현재의 자동 먹이 공급 장치는 먹이양의 정확도가 떨어지고 먹이 공급 모터에 의해 먹이가 부서지는 단점을 지닌다. 그러나 제안하는 시스템은 현재의 시스템과 비교했을 때 로드 셀과 밸브의 조합을 사용하여 제어함으로써 높은 정확도를 가지고 먹이를 공급할 수 있으며, 먹이를 육상 양식 수조에 안전하게 공급할 수 있다. 실제 시스템을 통한 실험을 수행함으로써 모든 상황에서 육상 양식장 수조에 먹이를 공급할 수 있음을 입증한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.245-249
• /
• 2010

Stereo Vision System에서는 영상을 통해 특정 물체를 검색하고 검색된 물체 정보를 기반으로 Edge를 추출하고, 추출된 Edge를 이용하여 물체의 위치적 특징을 찾고 무인크레인이 이동해야할 위치좌표를 전달한다. 본 연구에서는 실제 산업현장에 가장 보편적인 형상인 Slab와 Coil을 기준으로 두 대의 CCD camera를 이용하여 물체의 형상을 인식하고, 무인크레인의 HookBlock부분이 물체의 중심점을 찾는 알고리즘을 개발하였다. 본 논문에서는 Stereo Vision System의 카메라 설치 위치에 따라 직교식과 수평식으로 2가지의 방식을 제안, 실험을 하였다. 본 연구에서 제안한 알고리즘은 무인 운반설비의 자동화 시스템 개발에 도움이 될 것으로 기대된다.

• 한국산학기술학회논문지
• /
• 제14권3호
• /
• pp.1378-1387
• /
• 2013

히스토그램 평활화는 영상의 밝기 분포를 변화시킴으로써 화질을 향상시키는 방법으로 다양한 분야에서 응용되고 있다. 전역적인 방법은 영상 밝기의 전체적인 분포를 균등 분포로 변환함으로써 영상의 밝기가 과도하게 변하는 단점을 갖고 있다. 이를 해결하기 위한 방법으로 K. Zuierveld가 제안한 대비 제한 적응 히스토그램 평활화(CLAHE)가 실용적으로 널리 사용되고 있다. 이 방법에서는 블록단위의 처리를 위한 블록 크기와 대비 제한을 위한 매개변수 등 두 개의 매개변수가 히스토그램의 평활화 성능을 결정하는데, 이것들을 결정하는 구체적인 알고리듬은 없으며 실험적으로 시행착오학습 통해 결정한다. 본 논문에서는 영상의 엔트로피에 기반해서 CLAHE의 매개변수인 블록 크기와 대비제한 매개변수를 결정하는 새로운 방법을 제안한다. 제안한 방법은 CLAHE를 자동화할 수 있으며, 전체적으로 어두운 영상이나 밝은 영상에 적용한 결과 전역적인 방법에 비해 주관적 화질 개선의 효과를 나타내었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1239-1246
• /
• 2003

대상 물체의 3차원 모델을 구축하기 위해서는 여러 시점에서 측정된 거리정보 데이타들을 하나의 좌표계로 통합하는 정합(registration) 과정이 필수적이다. 3차원 데이타의 정합을 위해 가장 널리 사용되는 ICP(Iterative Closest Point) 알고리즘은 거리정보 데이타 간에 겹치는 영역 또는 일치점 등에 대한 사전 정보가 필요하다. 본 논문에서는 임의의 시점에서 측정된 데이타를 반복적인 방법에 의해 자동으로 정합하는 개선된 ICP 방법이 제안된다. 3차원 데이타가 거리정보 영상으로 맺히는 관계를 나타내는 센서 사영조건(projection constraint), 데이타의 공분산(covariance) 행렬, 교차(cross) 사영 등을 이용하여 정합과정을 자동화하였으며, 유저의 개입이나 3차원 기계 보조 장치 등을 사용하는 별도의 초기값 측정 없이 3차원 모델을 정확하게 구성할 수 있다. 다양한 거리정보 데이타에 대한 실험을 통해 제안된 방법의 우수한 성능을 확인하였다.

• 정보처리학회논문지A
• /
• 제19A권4호
• /
• pp.187-194
• /
• 2012

안드로이드 기반 스마트폰 앱의 바이너리 코드를 오프라인 상에서 분석하여 유해 사이트 목록에 포함된 서버에 접속하는지 여부를 판단하는 시스템을 제안하고, 실제 앱에 대해 적용한 실험 결과를 제시한다. 주어진 앱의 바이너리 코드를 Java 바이트 코드로 역 컴파일하고, 문자열 분석을 적용하여 프로그램에서 사용하는 모든 문자열 집합을 계산한 다음, 유해 매체물을 제공하는 사이트 URL을 포함하는지 확인하는 방법이다. 이 시스템은 앱을 실행하지 않고 배포 단계에서 검사할 수 있고 앱 마켓 관리에서 유해 사이트를 접속하는 앱을 분류하는 작업을 자동화 할 수 있는 장점이 있다. DNS 서버를 이용하거나 스마트폰에 모니터링 모듈을 설치하여 차단하는 기존 방법들과 서로 다른 단계에서 유해 앱을 차단함으로써 상호 보완할 수 있는 방법이 될 수 있다.