• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.753-760
• /
• 2001

디자인패턴은 어플리케이션 개발 시에 고려된 문제들로부터 독립적이며 확장성과 유지보수성에 대한 문제를 해결하기 위한 디자인 지식이며 현재 광범위하게 이용되고있는 분야이다. 그러나 이러한 광범위한 디자인패턴의 활용에도 불구하고 디자인 패턴에 명세와 활용은 주로 개발자의 수작업에 의존하고 있다. 그 결과 일관된 형태의 분석과 활용이 어렵고 오류 발생 빈도를 높일 뿐 아니라 프로그램 개발에 많은 시간을 필요로 한다. 따라서 이러한 문제를 해결하기 위해 본 논문에서는 디자인 패턴을 구조화하기 위해 XML을 사용한 표현방법, 이를 이용한 디자인 패턴 활용시스템 구조를 제시한다. 또한 이러한 표기법과 활용구조를 통해 소스코드 자동생성 지원 시스템을 제시하고 적용 예를 보이고자한다. XML을 이용한 구조화된 문서활용은 소스코드 생성시 사용자들에게 더 작은 코드를 작성하게 만들고, 더 안정된 시스템을 구축할 수 있게 한다.

• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1225-1236
• /
• 2020

퍼징은 예상되는 범위를 벗어난 입력값을 무작위로 생성해 소프트웨어를 동적으로 테스팅 하는 방법으로, 취약점 분석을 자동화하기 위해 주로 쓰인다. 현재 한국인터넷진흥원에서는 국내 표준 암호 알고리즘들에 대한 소스코드를 공개하고 있으며, 많은 암호모듈 개발업체들이 이 소스코드를 이용하여 암호모듈을 개발하고 있다. 만약 이러한 공개 소스코드에 취약점이 존재할 경우, 이를 참고한 암호 라이브러리는 잠재적 취약점을 가지게 되어 향후 막대한 손실을 초래하는 보안 사고로 이어질 수 있다. 이에 본 연구에서는 SEED, HIGHT, ARIA와 같은 블록암호 소스코드의 안전성을 검증하기 위한 적절한 보안 정책을 수립하였고, 차분 퍼징을 이용해 안전성을 검증하였다. 최종적으로 스택 버퍼 오버플로우와 널 포인터 역참조를 포함하는 메모리 버그 항목과 오류 처리 항목에서 총 45개의 취약점을 발견하였으며, 이를 해결할 수 있는 취약점 개선 방안을 제시한다.

• 해양환경안전학회:학술대회논문집
• /
• 해양환경안전학회 2017년도 공동학술발표회
• /
• pp.60-60
• /
• 2017

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.521-523
• /
• 2003

본 논문에서는 프로그램 가능한 셀룰라 오토마타(Programmable Cellular Automata, PCA)를 이용한 곱셈기를 제안한다. 본 논문에서 제안한 구조는 연산 후 늘어나는 원소의 수를 제한하기 위하여 이용되는 기약다항식(irreducible polynomial)으로서 All One Polynomial(AOP)을 사용하며, 주기적 경계 셀룰라 오토마타(Periodic Boundary Cellular Automata, PBCA)의 구조적인 특성을 사용함으로써 정규성을 높이고 하드웨어 복잡도와 시간 복잡도를 줄일 수 있는 장점을 가지고 있다. 제안된 곱셈기는 시간적. 공간적인 면에서 아주 간단히 구성되어 지수연산을 위한 하드웨어 설계나 오류 수정 코드(error correcting code)의 연산에 효율적으로 이용될 수 있을 것이다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2001년도 춘계정기학술대회
• /
• pp.347-350
• /
• 2001

종래에 사용되어 왔던 1 차원 바코드가 정보를 포함하고 있는 데이터베이스에 접근하는 데이터 키 역할을 주로 해온 것에 비해, 2 차원 바코드는 다량의 데이터를 포함할 수 있고 고밀도의 데이터 표현이 가능하여, 호스트 컴퓨터의 데이터 베이스에 온라인 연결할 필요 없이 확인하고자 하는 사람이나 대상물에 대한 정보를 얻을 수 있다. 본 논문에서는 가장 널리 사용되는 2 차원 바코드 체계인 PDF417 을 중심으로, 디지털 카메라를 통하며 입력한 영상을 이진화하여 시작 심볼 또는 정지 심볼을 검색함으로써 2 차원 바코드 영역을 추출한 다음, 추출된 영역으로부터 바코드의 행과 열의 수, 오류수정 정도 등의 헤더정보를 검출하고 이를 바탕으로 코드정보를 추출하는 알고리즘을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(C)
• /
• pp.227-229
• /
• 2012

본 논문은 Android 프로그램의 정적 분석 방법을 논의한다. Android 프로그램 정적 분석의 목적은 오류발견, 개인정보 해킹 코드 발견, 바이러스 발견, 프로그램 분류 등등이다. 본 논문에서는 Android 프로그램의 분석을 위하여 구문 패턴 정적 분석과 프로그램으로부터 객체 다이아그람과 Flowchart 를 생성하여 프로그램 동적 실행을 추정하여 분석하는 통합된 정적 분석 방법을 논의한다. 프로그램 실행 추정 분석은 프로그램에서 객체 생성, 메소드 호출, 데이터 흐름, 실행 흐름, API 호출과 진행 과정 등을 추정하여, 구문 패턴 정적 분석만으로는 파악하지 못하는 프로그램 실행의 동적 분석이 가능하도록 한다.

• 한국음향학회지
• /
• 제35권4호
• /
• pp.295-302
• /
• 2016

수중음향 채널은 다양한 경로들이 상호 간섭하여 주파수에 따른 보강 또는 상쇄 간섭을 보이는 다중경로 페이딩 채널로 정의된다. 따라서 수신신호의 신호 대 잡음비는 주파수에 따라 변화한다. 아울러 해면변동은 해면 반사경로의 코히어런트 성분의 주파수에 따른 시변 페이딩을 야기한다. 주파수 편이 키잉 시스템은 이러한 간섭과 페이딩에 덜 민감하여 강인한 시스템으로 알려져 있으며 전송률을 높이기 위해 다진 주파수 편이 키잉 시스템으로 사용되고 있다. 본 연구에서는 4 채널 4진 주파수 편이 키잉 시스템의 비트오류율을 천해 다중경로 채널에서 실험하였다. 실험결과 주파수 종속 시변 수중 음향 다중경로 페이딩은 연집오류를 발생시키는 특성을 보여 리드 솔로몬 코드가 4진 주파수 편이 키잉 시스템의 비트오류율을 효과적으로 경감시키는지를 보였다. 따라서 데이터 전송율 혹은 송수신기 거리에 따른 비트 오류율은 채널의 대역폭뿐만 아니라 주파수 종속 다중 경로 페이딩에 좌우됨을 보인다.

• 한국컴퓨터게임학회논문지
• /
• 제31권4호
• /
• pp.157-166
• /
• 2018

각종 비즈니스와 거래가 이루어지는 사이트에서 고객과 서비스 공급자와의 소통은 중요한 문제이다. 특히 어떠한 문제가 발생해 문의가 들어왔을 때 그 문제를 빠르고 정확하게 해결하는 능력은 사이트에 대한 신뢰와도 직결된다. 본 논문에서는 재능마켓 플랫폼 사이트에서 챗봇 기술을 이용해 사이트 이용자들의 불평과 문의를 처리하는 방식을 제안한다. 우선 문의자와 실시간으로 대화할 수 있는 챗봇을 구현하여 사이트 이용법, 단어 검색 등의 기능을 이용할 수 있게 하였다. 몇 단어 혹은 문장으로 정의하기 힘든 사이트의 각종 오류와 문제에 대해서는 에러코드를 지정해 데이터베이스화시켰다. 사이트 이용자들은 오류 발생 시 출력되는 에러코드를 챗봇에 문의하여 그에 대응하는 답변을 실시간으로 얻을 수 있었다. 본 연구에서 구현한 챗봇은 사이트 이용 시 오류를 경험하거나 문의가 생긴 이용자에게 빠르고 정확한 답변을 줄 수 있어 만족스러운 경험을 제공했다. 이는 장기적으로 사이트의 신뢰성과 호감도에 긍정적인 영향을 주고 오류 문의 등에 들어가는 인력과 시간비용을 줄이는 등의 도움을 줄 것으로 예상된다.

• 만화애니메이션 연구
• /
• 통권45호
• /
• pp.417-434
• /
• 2016

알타미라 동굴의 다리 여덟 달린 멧돼지 벽화는 움직임을 표현하고자 하는 인류의 오랜 욕망을 보여주는 예로 제시되곤 한다. 그러나 여덟 개의 다리는 서로 다른 시기에 그려진, 이른바 더블 레이어의 결과물이다. 그럼에도 불구하고 알타미라 동굴벽화를 애니메이션의 시원과 결부시키는 설명은 별다른 의문이나 검증, 출처의 인용 등이 없이 꾸준히 재생산되고 있다. 여러 개의 다리를 움직임과 연결시키는 것은 시대를 초월한 시지각과는 무관하다. 그것은 특정한 시기에 발명된 움직임 표현 코드로 보아야 한다. 여기에는 19세기 후반에 시도된 연속촬영술, 그 중에서도 에티엔 쥘 마레의 시간사진술이 결정적인 역할을 한다. 일련의 연속적인 움직임들을 하나의 프레임 속에 겹쳐서 인화한 마레의 사진술은 20세기 초에 뒤샹과 발라를 비롯한 아티스트들의 회화 작업에 반영되면서 움직임 표현 코드로 형성되었다. 그 무렵부터 등장하기 시작한 애니메이션 매뉴얼들도 움직임을 분석하고 구현하기 위한 방법으로 마레의 시간사진술 이미지를 도입하였다. 결국 다리 여덟 개의 알타미라 동굴벽화를 움직임의 표현이라고 이해하는 것은 오늘날의 시각 코드를 통해 과거를 바라보고자 하는 오류이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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는 오류검색 뿐 아니라 프로그래밍 시간을 매우 단축시켜줌을 알 수 있었다.