• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권7호
• /
• pp.616-624
• /
• 2007

SAT을 이용해서 수도쿠 퍼즐을 풀기 위해서는 수도쿠를 SAT 처리기의 표준 입력 언어인 CNF 논리식으로 인코딩 해야 한다. 기존에 제시된 인코딩 알고리즘으로 크기가 큰 수도쿠를 인코딩하면 현재 SAT 처리기의 처리 수준을 넘을 정도로 많은 논리식이 생성된다. 본 논문에서는 크기가 큰 수도쿠를 다루기 위해서 수도쿠의 고정 셀을 이용하여 최적화된 CNF 논리식을 생성하는 방법을 제시한다. 고정 셀에 배정된 숫자는 불변이기 때문에 이를 이용해서 일부 변수의 값을 인코딩 단계에서 미리 결정할 수 있고, 이들 변수의 값을 이용해서 SAT 처리에 영향을 주지 않는 절과 리터럴을 인코딩 단계에서 제거할 수 있다. 다양한 크기의 수도쿠 퍼즐에 적용한 결과 기존 인코딩 알고리즘에 비해서 우수한 성능을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.718-720
• /
• 2005

딥-서버마이크론 기술에서, 버스 상에서의 전력 소모를 최소화하는 것은 가장 중요한 설계 목표들 가운데 하나이다. 전력 소모를 줄이기 위해 일반적으로 사용되고 있는 효과적인 기법들은 근본적으로 데이터 압축 또는 데이터 인코딩을 이용하고 있지만 압축과 인코딩을 모두 사용한 기법은 현재까지 알려져 있지 않다. 본 논문은 버스에서의 데이터 전송 시 발생하는 전력소모량을 크로스톡 지연을 완전히 제거함과 동시에 최대한 줄이는 통합된 데이터 압축 및 인코딩 알고리즘을 제안한다. 전력 소모를 줄이는 문제를 셀프 천이와 크로스-커플된 천이 양에 대한 가중 합을 최소화하는 문제로 형상화하여 풀었으며, 이 과정에서 자주-인용 데이터에 기반한 압축과 셀프-쉴드 인코딩이라는 개념을 활용하였다. 벤치마크를 사용한 실험에서 우리는 제안한 방법을 사용하면, 기존의 순차적인 압축 및 인코딩 적용 방식보다 $7.9\%-39.4\%$ 더 적은 전력 소모를 가짐을 알 수 있었다.

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

물류 정보를 표현하는데 있어서 종래의 1 차원 바코드의 데이터 키가 가지는 기능만으로는 해결될 수 없는 상황이 발생함에 따라, 1980 년대 중반에 이르러 많은 데이터를 독립적으로 표현할 수 있는 2 차원 바코드가 등장하게 되어 그 사용이 점점 확산되어가고 있다. 본 논문에서는 가장 널리 사용되고 있는 PDF417 바코드 심볼로지가 어떻게 구성되는지 알아본다. 또한, 최대 1700 개의 데이터를 저장할 수 있는 이 심볼로지로 인코딩된 정보의 코드워드로부터 원래의 데이터를 디코딩하는 방법에 대하며 알아본다. 데이터를 효율적으로 인코딩하기 위해 정보가 숫자인지, ASCII 코드인지, 혹은 바이트 정보인지에 따라 다른 인코딩 방식을 사용하게 되는데, 그에 따른 디코딩 알고리즘을 제안한다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 1996년도 제3회 학술대회 논문집
• /
• pp.75-78
• /
• 1996

본 연구는 TEI를 기반으로 한 전자문헌의 서지정보를 수록한 TEI Independent Header를 MARC으로 변환시켜 주기 위하여 전자문헌의 인코딩, 인코딩언어인 SGML, 인코딩 포맷인 TEI를 연구하였다. 나아가 TEI를 기반으로 한 전자문헌의 자동 목록작성의 가능성을 살펴보기 위하여 TEI Independent Header와 MARC을 비교분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.538-540
• /
• 2004

Proxy를 이용한 동적 동영상 어댑테이션[1]은 이동 단말기나 현재 네트워크 상태의 특성을 고려해 동적으로 동영상을 변형할 수 있다는 장점이 있다. 하지만 기존에 제안된 동영상 어댑테이션 방법들은 품질 측정을 위해 반복적인 디코딩, 인코딩을 해야 하기 때문에 적절한 형태의 동영상을 생성하는데 많은 시간이 걸려서 지연시간이 최우선적으로 고려되는 실제 상황에서는 이용하기가 힘들다. 본 논문에서는 반복적인 디코딩, 인코딩 작업 없이 어댑테이션된 동영상을 생성하는 동적 동영상 어댑테이션 방법을 제안한다. 인코딩된 동영상의 파일의 크기와 품질에 초점을 맞추어 비디오 코덱의 특성을 분석하고, 그 결과를 테이블로 만들어 Proxy에 저장해둔다. 이동 단말기가 동영상을 요청하면, Proxy에서는 해당 코덱의 분석 결과 테이블을 참조하여 가능한 한 최고의 품질로 디코딩 및 인코딩을 하여 어댑테이션된 동영상을 전송하게 된다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 춘계학술발표논문집(하)
• /
• pp.579-584
• /
• 2002

본 논문에서는 입체 영상 재현을 위해 입력되는 한 쌍의 비디오 스트림을 MPEG-4 코덱을 기반으로, 효율적으로 인코딩 하는 방식을 제안하고, 이에 대한 인코더와 플레이어를 AVI 플랫폼을 기반으로 분석, 설계하였다. 최근 하이비전 보다 영상 정보의 현실감 부여와 정보 전달의 리얼리티에 관한 많은 정보를 요구하고 있다. 그러한 영상 시스템으로서 3차원 입체 영상에 대한 기대가 고조되고 있다. 기존 입체 영상 인코딩 방식은 각각의 입체 영상을 독립적으로 인코딩하기 때문에 상관 관계가(Correlation) 높은 입체 영상 이미지의 특징을 압축에 활용할 수 없다. 본 논문에서는 한 인코더에서 동시에 MPEG-4로 인코딩하고 인코딩 된 AVI 스트림을 재생해 주는 방식을 제안함으로써 기존의 문제점들을 극복했으며, 제안된 방식은 저장 공간과 이미지 스트림 전송에 효율적일 것이다. 본 논문에서 제안하는 방식은 MPEG-4를 이용한 입체 영상 관련 응용에 효율적으로 적용될 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권12호
• /
• pp.1083-1092
• /
• 2007

현재 유니코드에서 한글 텍스트의 인코딩 기법은 '완성형 현대한글 음절'과 주로 옛한글을 표현하는데 사용되는 '자모 조합형 한글'로 나뉘고 있다. 그러나 정규화 변환과 유니코드의 한글자모 조합 규정에서 자모와 완성형 현대한글 음절을 다시 조합하여 한글음절로 사용할 수 있게 허용했기 때문에, 구현하는 사람마다 각기 서로 다르게 한글 인코딩을 하고 있다. 이는 인코딩과 정규화 형식을 처음 작성할 당시 옛한글의 확장 사용을 고려하지 않았거나, 한글에 대한 올바른 이해가 부족한 상태에서 작성된 데 따른 결과라 하겠다. 결과적으로 한 개의 한글음절에 대한 여러 가지 표현 방법이 존재함으로써 한글 문자열의 검색, 비교, 정렬에 문제점이 발생한다. 따라서 본 연구에서는 현재 사용되고 있는 한글 인코딩 방법을 중심으로 정규화에 의한 부작용 등의 문제점을 분석하고, 이들을 올바르게 처리하기 위한 효율적인 단일 한글 인코딩 표준 방안을 제안한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2020년도 추계학술대회
• /
• pp.169-171
• /
• 2020

CNN의 중간 단계에서 추출되는 feature를 인코딩했을 때 결과 성능평가에 미치는 영향을 알아보는 실험을 수행하였다. 물체검출(Object detection)과 물체영역분할(Object segmentation)에 대하여 성능평가를 하였으며, 비교를 위해 원본 이미지와 256채널의 feature들을 한 장으로 합친 이미지 두 가지에 대해 인코딩하여 성능 평가를 실시하는 실험을 하여 결과를 도출했다. 실험 결과, 인코딩 시 압축 정도를 약하게 했을 경우 성능이 거의 떨어지지 않거나 심지어는 더 높은 경우도 있다. 하지만 256채널의 feature들에 대하여 인코딩을 하기 때문에 이미지의 용량과 해상도가 높아지는 단점이 있다.

• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1034-1044
• /
• 2017

본 연구에서는 추상 도달가능성 그래프(ARG) 기반의 소프트웨어 모델체킹에서 그래프 탐색전략을 설정할 수 있는 새로운 방법을 제시한다. ARG의 여러 실행 경로를 하나로 묶어 모델체킹 성능을 향상시키는 기법인 블록 인코딩(Block Encoding) 기법을 활용하는 경우 기존의 기법들은 인코딩 전의 ARG에서 인코딩을 효과적으로 수행할 수 있는 탐색전략만을 고려하였을 뿐 실제 모델체킹의 성능을 좌우할 수 있는 인코딩 후의 ARG에 대한 탐색전략을 고려하지 못하는 문제가 있었다. 본 연구에서는 기존 연구에서 제시된 탐색 기법을 사용하여 블록 인코딩을 효과적으로 수행하는 동시에 인코딩된 후의 ARG에 대한 탐색 순서를 고려할 수 있는 이중 탐색전략 기법을 제시한다. 또한 탐색 순서의 변화가 모델체킹의 성능에 미치는 영향을 확인하기 위하여 제시하는 기법을 오픈소스 모델체킹 도구에 구현하고 벤치마크 실험을 수행하였으며 탐색전략이 달라지면 모델체킹의 성능이 달라지는 현상을 확인하였다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제24권3호
• /
• pp.113-121
• /
• 2018

포지션 인코딩은 문장 내 등장하는 단어의 위치에 따라 가중치를 적용하는 방법이다. 포인터 네트워크는 입력열에 대응되는 위치를 출력하는 딥 러닝 모델이며, 상호참조해결에 적용될 수 있다. 그러나 포인터 네트워크는 입력열의 길이가 긴 경우에 성능이 저하되는 문제가 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 포지션 인코딩과 동적 포지션 인코딩을 포인터 네트워크에 적용할 것을 제안하고, Encoder RNN의 레이어를 더 깊게 쌓아 높은 수준으로 추상화할 것을 제안하며, 이를 이용한 상호참조해결 모델을 제안한다. 실험 결과, 본 논문에서 제안한 포지션 인코딩 기반 스택 포인터 네트워크 모델이 기존의 포인터 네트워크 모델보다 6.01% 향상된 CoNLL F1 71.78%의 성능을 보였다.