• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1271-1282
• /
• 2005

PC-based control은 현재 제어분야에서 비약적 발전을 하고 있으나 일반 사용자들이 PC에서 PLC 프로그래밍하기에는 어렵다는 단점이 있다. 따라서 본 논문은 국제 PLC 표준언어로 제정된 5가지 언어 중 $90\%$이상 사용하는 LD언어에 대한 표준규격을 연구하고, 이것을 중간코드인 IL(Instruction List) 언어로 변환하고 기존 상용화된 편집기(Visual C++)에서 활용 가능한 표준 C코드로 변환함으로써 LD에 익숙한 사용자나 고급언어에 익숙한 사용자 모두 사용할 수 있는 편집기 및 실행엔진 기능을 갖춘 지능적 에이전트 기반의 통합 시스템 ISPLC(Intelligent Agent System based Software Programmable Logic Controller)를 개발하였다. ISPLC에서는 LD에서보다 C에서 논리오류 검출기능이 훨씬 용이하며, GUI기반 인터페이스를 제공하며 에이전트에 의한 프로그래밍 코드를 제공하므로 가독성이 높다. 이러한 LD->H->C로의 코드변환체제에 관한 연구는 국내외적으로 처음 시도되는 연구이다. ISPLC를 실제 실시간 교통량 제어 시스템(Real Time Traffic Control System)에 적용하여 현장 적응성이 우수한 실행엔진을 개발하여 시뮬레이션 하였으며, ISPLC는 오류검색 뿐 아니라 프로그래밍 시간을 매우 단축시켜줌을 알 수 있었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1283-1291
• /
• 2005

Just-in-Time 컴파일러를 이용하여 자바의 성능을 향상시키려면 여러 문제들을 극복하여야 한다. 이 문제 중 중요한 부분을 차지하는 것이 배열경계 검사(Array bounds check) 명령어를 어떻게 최적화하느냐는 것이다 정적인 컴파일 환경의 경우에는 이미 많은 연구가 진행되어 매우 강력한 성능을 가지는 알고리즘이 알려져 있으나 컴파일 시간이 수행시간의 일부인 Just-in-Time 컴파일 환경에 이를 적용하기에는 컴파일에 시간을 너무 많이들이는 결과를 낳아 적절하지 않다. 현재 Just-in-Time 컴파일러들은 가볍고 단순한 반면에 중복된 배열 경계 검사를 찾아내는 능력이 다소 부족한 알고리즘을 사용하거나 아니면 강력하지만 정적 단일 배정(Static Single Assignment) 형태로 명령어 표현 방식을 변환해 주어야만 하는 알고리즘을 사용하고 있다. 정적 단일 배정 형태로의 변환 및 되돌림은 가볍고 빠른 컴파일러를 지향하는 Just-in-Time 컴파일러에 부합되지 않는다. 본 논문은 변수 간의 대소관계를 표현하는 그래프를 배열 경계 검사 알고리즘에 적용하는 것을 통해 충분한 성능을 내면서도 정적 단일 배정 형태로의 변환을 필요로 하지 않는 알고리즘을 제안한다. Java에서의 모든 최적화는 Java 언어 명세에서 강제하고 있는 정확한 예외 처리(precise exception) 규칙을 따라야 한다. 명령어의 위치를 바꿈으로써 성능 향상을 꾀하는 최적화의 경우 이것으로 인해 많은 제약을 받게 되는데, 배열 경계 검사 최적화(Array bounds check elimination optimization) 또한 이 규칙에 의해 많은 최적화 기회를 잃는다. 우리는 이 제약을 극복하여 배열 경계 검사최적화의 적용 범위를 넓힐 수 있는 새로운 방법도 아울러 제안하고자 한다.

• Nuclear Engineering and Technology
• /
• 제43권1호
• /
• pp.25-44
• /
• 2011

KAERI has been operating an integral effect test facility, ATLAS (Advanced Thermal-Hydraulic Test Loop for Accident Simulation), for accident simulations of advanced PWRs. Regarding integral effect tests, a database for major design basis accidents has been accumulated and a Domestic Standard Problem (DSP) exercise using the ATLAS has been proposed and successfully performed. The ATLAS DSP aims at the effective utilization of an integral effect database obtained from the ATLAS, the establishment of a cooperative framework in the domestic nuclear industry, better understanding of thermal hydraulic phenomena, and an investigation of the potential limitations of the existing best-estimate safety analysis codes. For the first ATLAS DSP exercise (DSP-01), integral effect test data for a 100% DVI line break accident of the APR1400 was selected by considering its technical importance and by incorporating comments from participants. Twelve domestic organizations joined in this DSP-01 exercise. Finally, ten of these organizations submitted their calculation results. This ATLAS DSP-01 exercise progressed as an open calculation; the integral effect test data was delivered to the participants prior to the code calculations. The MARS-KS was favored by most participants but the RELAP5/MOD3.3 code was also used by a few participants. This paper presents all the information of the DSP-01 exercise as well as the comparison results between the calculations and the test data. Lessons learned from the first DSP-01 are presented and recommendations for code users as well as for developers are suggested.

• 대한전자공학회논문지TC
• /
• 제46권10호
• /
• pp.14-27
• /
• 2009

Polar code는 터키 Erdal Arikan교수가 2006년 입력된 채널을 나누면 Cutoff Rate이 향상되는데 착안하여 Polar code를 제안했다. 채널분극은 주어진 B-DMC(Binary-input Discrete Memoryless Channel) W에서 대칭 용량의 높은 비율을 가진 연속적인 code로 이루어져 있다. 대칭 용량은 동등한 확률을 가진 채널의 입력을 이용하여 높은 비율을 얻는데 채널분극은 주어진 B-DMC W의 N개의 독립적인 출력을 모은 것이다. 즉, N은 Binary입력 채널 {$W^{(i)}_N\;:\;1{\leq}\;i\;{\leq}\;N$} 일 때, N이 커지게 되고, I{WN(i)}에서 값이 1에 가까워지면 그 값은 I(W)로 접근되고, I{WN(i)} 값이 0에 가까워지면 1-I(W)에 접근된다. 여기에서 I(W)는 신뢰성 있는 통신상에서의 동등한 주파수를 가진 W의 입력으로 높은 비율을 나타낸다. 이로써 {WN(i)}는 결국 채널코딩을 위한 적합한 상태라고 볼 수 있다. Polar code를 바탕으로, 본 논문은 Arikan의 Polar code의 부호화와 복호화를 분석하고 새롭게 Radix4의 Polar code 부호화를 제안했다.

• 정보처리학회논문지D
• /
• 제17D권2호
• /
• pp.129-146
• /
• 2010

최근 다양한 분야에서 폭넓게 활용되고 있는 XML 문서는 유연하고도 개방적인 특성으로 인해 정보교환이나 전송을 위한 수단으로 널리 이용되고 있다. 한편 XML 문서를 위한 시각적, 직관적 질의 언어인 XML-GL은 질의에 대한 의미와 결과 문서의 구조를 시각적으로 표현할 수 있기 때문에 XML 문서에 대한 구조 검색과 정보의 공유가 용이하다. 그리고 UML은 정해진 표기법과 다양한 다이어그램을 이용하여 객체지향 분석과 설계를 위한 도구로 사용되고 있다. 따라서 본 논문은 XML-GL의 데이터 모델인 XML-GDM을 기반으로 표현된 XML 문서를 UML 클래스 다이어그램으로 사상하기 위한 새로운 객체 모델링 방안을 제안한다. 이를 통해서 XML 문서를 직관적인 방법으로 객체지향데이터로 변환하고 저장/관리할 수 있다. 또한 객체지향 검색방법을 적용하면 보다 효율적으로 XML 문서를 검색할 수가 있다.

• 디지털융복합연구
• /
• 제15권4호
• /
• pp.285-293
• /
• 2017

스마트 디바이스에 대한 악의적인 공격들이 빠르게 진화하고 있고, 이들 공격에 대해 스마트 디바이스를 적절하게 보호하는 것은 매우 중요한 이슈로 부각되고 있다. 특히, 스미싱 공격은 스마트 폰에서 가장 중요한 위협들 중의 하나로 주목되고 있다. 이 논문에서는 스미싱 공격의 위험으로부터 사용자를 근본적으로 보호할 수 있는 클라우드 서비스를 제안한다. 제안된 클라우드 메시징 서비스는 사용자 스마트 디바이스에서 URL을 포함한 텍스트 메시지들을 필터링하여 클라우드 서버에 의해 제공되는 가상 머신을 통해 필터링된 메시지들을 확인하고 관리할 수 있는 클라우드 서비스를 제공한다. 기존의 스미싱 방지 기법들이 이미 알려진 패턴의 악성코드에 대해서만 보호하거나, 오탐(FP) 또는 미탐(FN) 등의 오류 가능성을 내포하고 있지만, 제안 기법은 URL을 포함하고 있는 모든 문자 메시지들을 자동적으로 필터링하여 클라우드 서버 상의 저장공간에 저장하고 확인 및 관리하기 때문에 스마트 디바이스에서 스미싱 공격에 의한 멀웨어(악성코드)의 설치를 완벽하게 차단할 수 있다.

• 한국전자통신학회논문지
• /
• 제13권4호
• /
• pp.803-812
• /
• 2018

1844년 5월에 미국에서 유선전신업무에 모르스 부호를 사용하기 시작하였다. 우리나라는 그 후 약40여년이 지난, 1884년에 모르스 부호를 개발하여, 1885년 9월에 처음으로 유선전신업무에 사용하였다. 이때 제정된 국문자모 호마타법 모르스 부호는 현재까지 큰 개정 사항 없이 현재까지 약 130년 이상 사용되어 오고 있다. 모르스 부호는 자모들의 부호 길이가 상이한 가변길이 부호체계이다. 로마자 알파벳의 경우에는 알파벳의 발생빈도를 고려한 가변길이 부호화이론을 적용한 것으로 기록되어 있다. 그러나 한글 자모 모르스 부호를 분석해 본 결과 가변길이 부호화이론을 적용하지 않은 것으로 나타났다. 본 논문에서는 한글 자모 모르스 부호를 가변길이 부호이론을 적용하여 분석하였다. 이 분석결과에 의하면 한글 자 모모르스 부호를 가변길이 부호이론에 의하여 부호화할 경우, 현재의 부호에 비하여 약 33%의 전송효율을 높일 수 있는 것으로 나타났다. 본 논문은 이 분석결과를 토대로 새로운 한글 자모 모르스 부호를 제시하였다.

• 항공우주정책ㆍ법학회지
• /
• 제21권2호
• /
• pp.97-121
• /
• 2006

남 북간 정상회담을 위한 서해 임시직항로가 개설된 이후부터 서울과 평양 간 직항로를 이용한 민간항공의 교류는 부정기적이며 당국자간의 필요에 의하여 계속되어 왔다. 남 북한 간의 정상적인 항공기운항은 양국 간 협의에 의하여 이루어 질수도 있고 또는 부지불식간에 예상치 못한 상태에서 이루어 질수도 있다. 본 연구는 남 북간 항공법의 차이를 비교연구 함으로써 향후 남 북한 간 민간 항공기의 정상적인 운항에 기여할 수 있는 바람직한 제도적 기틀을 마련하는데 목적이 있다. 남 북한은 혈연, 역사, 언어 등을 같이하는 분단체제이나, 남한과 북한은 법체계가 다르게 되어 있다. 남한의 법은 대륙법계의 영향을 받아 체계적인 규정형식을 취하고 있는 반면에 북한의 항공법은 사회주의법계의 영향으로 그 규정이 일반적이며 추상적인 것이 특징이다. 항공법의 법원에 있어, 남한과 북한은 모두 국제민간항공협약의 체약국으로 협약상의 규정과 권고사항을 바탕으로 제정된 결과 많은 유사점이 있으나 항공기 및 비행장등에 대한 소유권의 유무, 공법 및 공사법 체계에서 오는 항공사의 책임제도와 보험가입의무등 상이한 내용도 연구결과 도출 되었다. 그러나 북한법에 관한 연구는 자료가 매우 제한적일 뿐만 아니라 북한의 법령자체도 거의 공표되지 않고 있는 실정이기 때문에 본 연구에서는 국내에서 수집 가능한 자료를 중심으로 북한의 항공법과 남한항공법을 내용상의 차이점을 중심으로 비교 연구하였다.

• 정보처리학회논문지C
• /
• 제16C권2호
• /
• pp.151-164
• /
• 2009

센서 네트워크는 유비쿼터스 컴퓨팅 구현을 위한 기반 네트워크 중의 하나로 그 중요성이 점차 부각되고 있으며, 네트워크 특성상 보안 기술 또한 기반 기술과 함께 중요하게 인식되고 있다. 현재까지 진행된 센서 네트워크 보안 기술은 암호화에 의존하는 인증 구조나 키 관리 구조에 대한 연구가 주를 이루었다. 그러나 센서 노드는 쉽게 포획이 가능하고 암호화 기술을 사용하는 환경에서도 키가 외부에 노출되기 쉽다. 공격자는 이를 이용하여 합법적인 노드로 가장하여 내부에서 네트워크를 공격할 수 있다. 따라서 네트워크의 보안을 보장하기 위해서는 한정된 자원의 많은 센서로 구성된 센서 네트워크 특성에 맞는 효율적인 침입탐지 구조가 개발되어야 한다. 본 논문에서는 센서 네트워크에서 에너지 효율성과 침입탐지 기능의 효율성을 함께 고려하여 침입탐지 기능을 분산적이고 동적으로 변화시킬 수 있는 분산 침입탐지 구조를 제안한다. 클러스터링 알고리즘인 HEED 알고리즘을 수정 (modified HEED, mHEED라 칭함)하여 각 라운드에서 노드의 에너지 잔량과 이웃 노드 수에 따라 분산 침입탐지노드가 선택되고, 침입탐지를 위한 코드와 이전 감시 결과가 이동 에이전트를 통해 전달이 되어 연속적인 감시 기능을 수행한다. 감시된 결과는 일반 센싱 정보에 첨부되어 전달되거나 긴급한 데이터의 경우 높은 우선순위 전달을 통해 중앙 침입탐지 시스템에 전달이된다. 시뮬레이션을 통해 기존 연구인 적응적 침입탐지 구조와 성능 비교를 수행하였고, 그 결과 에너지 효율성 및 오버헤드, 탐지가능성과 그 성능 측면에서 뛰어난 성능 향상을 입증할 수 있었다.

• 정보처리학회논문지A
• /
• 제16A권5호
• /
• pp.357-368
• /
• 2009

플래시 메모리와 하드디스크의 저장 공간 제약을 문제를 극복하기 위한 방법으로 모바일 IP 스토리지가 제안되었다. 모바일 IP 스토리지는 무선 IP 네트워크를 통하여 모바일 장치에 거의 무제한적인 저장 공간을 제공한다. 하지만, 모바일 IP 스토리지를 이용한 멀티미디어 컨텐츠 스트리밍 시 무선랜 장치의 지속적인 전력소모로 인해 모바일 장치의 배터리 수명이 급격히 감소하는 문제가 발생한다. 본 논문에서는 모바일 IP 스토리지를 통하여 멀티미디어 컨텐츠를 실행할 시에 무선랜 장치의 전력을 효율적으로 제어할 수 있는 기법을 제안한다. 제안된 기법은 선반입 버퍼 입출력 모듈, 무선랜 장치 전력제어 모듈, 선반입 버퍼 재구성 모듈로 구성되어 있다. 또한, 제안된 기법은 멀티미디어 컨텐츠의 품질에 적응적으로 선반입 버퍼의 크기를 자동적으로 결정하고 멀티미디어 컨텐츠가 실행되는 동안 On-Off 동작을 기반으로 무선랜 장치 전력 상태를 동적으로 제어한다. 제안된 기법의 성능을 임베디드 리눅스 2.6.11, 인텔 iSCSI 참조코드, 무선랜 장치를 이용하는 PXA270기반 모바일 장치 상에서 평가한다. 다양한 실험을 통하여 제안된 기법이 전력제어를 하지 않을 때에 비해 QVGA급 멀티미디어 컨텐츠 실행 시 무선랜 카드의 에너지 소모를 최대 8.5배 정도 감소시킴을 보인다.