교수소개
 Faculties
교수소개

교수소개

로그인 하시면 구성원에게 공개된 정보를 확인하실 수 있습니다.
볼드체 항목 정보는 본인이 개인정보공개설정을 할 경우에만 공개됩니다.
성명 심정섭 ( 沈正燮 / Jeong Seop Sim )
소속 컴퓨터공학과
E-Mail jssim@inha.ac.kr
연구실 전화 032-860-7455
임용일자
직급 교수
연구실명 컴퓨터이론 연구실
세부전공 알고리즘, 바이오인포매틱스
학력
경력

연구업적

학위논문

주요학술논문

- 정수문자열의 δ-근사주기와 γ-근사주기를 찾는 병렬알고리즘, 정보과학회논문지, 44권 8호, 760~766, 2017.
- On Representations of Ternary Order Relations in Numeric Strings, Mathematics in Computer Science, 11권 2호, 127~136, 2017.
- A space-efficient alphabet-independent Four-Russians' lookup table and a multithreaded Four-Russians' edit distance algorithm, THEORETICAL COMPUTER SCIENCE, 656권 Special SI호, 173~179, 2016.
- 정수문자집합에 대한 문자열의 δ-근사주기와 γ-근사주기, 정보과학회논문지 , 43권 10호, 1073~1078, 2016.
- 순위다중패턴매칭을 위한 해싱기반 알고리즘, 정보과학회논문지 , 43권 5호, 509~515, 2016.
- A simple proof of optimality for the MIN cache replacement policy, INFORMATION PROCESSING LETTERS, 116권 2호, 168~170, 2016.
- 사전기반으로 압축된 텍스트에 대한 압축패턴매칭, 한국차세대컴퓨팅학회 논문지, 12권 1호, 67~74, 2016.
- GPU의 공유메모리를 활용한 확장편집거리 병렬계산, 정보처리학회논문지. 컴퓨터 및 통신시스템, 4권 7호, 213~218, 2015.
- 환형문자열에 대한 대표문자열을 찾는 병렬 알고리즘, 정보과학회논문지 , 42권 3호, 289~294, 2015.
- A fast algorithm for order-preserving pattern matching, INFORMATION PROCESSING LETTERS, 115권 2호, 397~402, 2015.
- 교환연산을 포함한 확장편집거리 병렬계산, 정보과학회논문지 : 시스템 및 이론 , 41권 4호, 175~181, 2014.
- A new graph model and algorithms for consistent superstring problems, PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 372권 2016호, , 2014.
- 4-러시안 알고리즘 기반 편집거리계산의 전처리단계 개선, 정보과학회논문지 : 시스템 및 이론 , 41권 2호, 87~92, 2014.
- Balancing disk energy against reliability in video playback, MULTIMEDIA SYSTEMS, 20권 1호, 25~43, 2014.
- 다항식 곱셈을 이용한 근사패턴매칭의 CUDA 구현, 정보과학회논문지 : 시스템 및 이론 , 40권 6호, 290~295, 2013.
- k-오차문제를 위한 4-러시안 알고리즘의 계산 단계 병렬화, 한국차세대컴퓨팅학회 논문지, 9권 2호, 78~88, 2013.
- 4-러시안 알고리즘 기반의 편집거리 병렬계산, 정보처리학회논문지. 컴퓨터 및 통신시스템, 2권 2호, 67~74, 2013.
- DNA 서열분석을 위한 거리합기반 문자열의 근사주기, 정보처리학회논문지. 소프트웨어 및 데이터 공학, 2권 2호, 119~122, 2013.
- Finding consensus and optimal alignment of circular strings, THEORETICAL COMPUTER SCIENCE, 468, 92~101, 2013.
- CUDA를 이용한 최장공통비상위문자열 그래프 모델의 병렬생성, 정보과학회논문지 : 시스템 및 이론, 39권 3호, 202~208, 2012.
- 일반화접미사배열을 이용한 선형시간 최장공통비상위문자열 알고리즘, 정보과학회논문지 : 시스템 및 이론, 38권 5호, 216~222, 2011.
- Efficient algorithms for consensus string problems minimizing both distance sum and radius, THEORETICAL COMPUTER SCIENCE, 412권 39호, 5239~5246, 2011.
- 환형문자열에 대한 쌍합 기반의 다중서열배치, 정보과학회논문지 : 시스템 및 이론, 38권 3호, 117~122, 2011.
- Linear-Time Construction of Two-Dimensional Suffix Trees, ALGORITHMICA, 59권 2호, 269~297, 2011.
- 동적 최장공통비상위문자열 문제 해결 알고리즘, 한국차세대컴퓨팅학회 논문지, 6권 6호, 35~43, 2010.
- Finding the longest common nonsuperstring in linear time, INFORMATION PROCESSING LETTERS, 109권 18호, 1066~1070, 2009.
- Balancing MPEG Transcoding with Storage in Multiple-Quality Video-on-Demand Services, ETRI JOURNAL, 31권 3호, 333~335, 2009.
- VOD 시스템에서 CPU 가용성을 최대화하는 저장공간관리 알고리즘, 정보과학회논문지, 36권 3호, 140~148, 2009.
- 거리반경기반 대표문자열 문제의 NP-완전, 정보과학회논문지, 36권 3호, 135~139, 2009.
- Improving on-line construction of two-dimensional suffix trees for square matrices, INFORMATION PROCESSING LETTERS, 109권 10호, 504~508, 2009.
- 샘플링 비율 조정을 통한 Clark의 Select 함수의 효율적 구현, 한국차세대컴퓨팅학회 논문지, 5권 1호, 24~29, 2009.
- 최장공통비상위문자열을 찾는 새로운 알고리즘, 정보과학회논문지, 15권 1호, 67~71, 2009.
- 문자열 재구성 알고리즘 및 멱승문제 응용, 정보과학회논문지, 35권 10호, 476~484, 2008.
- A Simple Construction of Two-Dimensional Suffix Trees in Linear Time, LECTURE NOTES IN COMPUTER SCIENCE, , , 2007.
- Transcription factor binding sites prediction based on sequence similarity, LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 4223, 1058~1061, 2006.
- Computational detection of prokaryotic core promoters in genomic sequences, JOURNAL OF MICROBIOLOGY, 43권 5호, 411~416, 2005.
- Implementing Approximate Regularities, MATHEMATICAL AND COMPUTER MODELLING, 42, 855~866, 2005.
- Time and space efficient search for small alphabets with suffix arrays, LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 3613, 1102~1107, 2005.
- 접미사 배열을 이용한 시간과 공간 효율적인 검색, 정보과학회논문지, 제32권 제5호, 260~267, 2005.
- 접미사 배열을 이용한 선형시간 탐색, 정보과학회논문지, 제32권 제5호, 255~259, 2005.
- Protein structure abstraction and automatic clustering using secondary structure element sequences, LECTURE NOTES IN COMPUTER SCIENCE, 3481, 1284~1292, 2005.
- Constructing suffix arrays in linear time, JOURNAL OF DISCRETE ALGORITHMS, 3권, 126~142, 2005.
- Linear-time construction of suffix-arrays - (Extended abstract), LECTURE NOTES IN COMPUTER SCIENCE, 2676, 186~199, 2003.
- Approximate periods of strings, THEORETICAL COMPUTER SCIENCE, 262, 557~568, 2001.

주요학술저서

특허

- 해싱기반의 순위다중패턴매칭 방법(A METHOD FOR ORDER-PRESERVING MULTIPLE PATTERN MATCHING BASED ON HASHING), 2016.
- 사각망 순열패턴매칭을 위한 효율적인 알고리즘(AN EFFICIENT ALGORITHM FOR BOXED MESH PERMUTATION PATTERN MATCHING), 2016.
- 압축된 문자열에 대한 Boyer-Moore-Horspool 알고리즘 기반 패턴매칭 방법(A METHOD OF PATTERN MATCHING ON COMPRESSED TEXTS BASED ON BOYER-MOORE-HORSPOOL ALGORITHM), 2016.
- 4-러시안 알고리즘 기반 편집거리계산의 전처리 단계 개선 방법 및 시스템(Method and System for Improvement of the Preprocessing Step of the Four-Russians'' Algorithm for Computing Edit Distances), 2015.
- 다항식 곱셈을 이용한 근사 패턴매칭 방법 및 장치(Method and Apparatus for Approximate Pattern Matching Using Polynomial Multiplication), 2015.
- DNA 서열 분석을 위한 거리합 기반 문자열의 근사주기 계산 방법(ALGORITHM FOR FINDING APPROXIMATE PERIOD OF STRING BASED ON DISTANCE SUM), 2014.
- 접미사 트리의 병렬 생성을 위한 트라이 자료구조 기반 접미사 병렬 분할 방법(PARALLEL SUFFIX PARTITIONING METHOD FOR PARALLEL SUFFIX TREE CONSTRUCTION USING TRIE), 2014.
- 교환 연산을 포함한 확장편집거리의 계산을 병렬적으로 수행하기 위한 방법(METHOD FOR PARALLEL COMPUTATION OF EXTENDED EDIT DISTANCE INCLUDING SWAP OPERATION), 2013.
- 유향그래프를 이용한 비모순 상위 문자열 검색 방법(A METHOD FOR FINDING CONSISTENT SUPERSTRINGS USING DIRECTED GRAPHS), 2013.
- CUDA를 이용한 최장공통비상위문자열 그래프 모델의 병렬 생성 방법(PARALLEL CONSTRUCTION FOR GRAPH MODEL OF LONGEST COMMON NON-SUPERSTRING USING COMPUTE UNIFIED DEVICE ARCHITECTURE), 2012.
- 동영상 재생 시 디스크 소모 에너지 감소를 위한 데이터 선반입 방법(PREFETCHING METHOD FOR REDUCING DISK ENERGY CONSUMPTION IN VI, 2012.
- 금지문자열 불포함 결정을 위한 방향 그래프 생성 방법(METHOD OF CREATING DIRECTIVITY GRAPH FOR SEARCH NONSUPERSTRING NON-IN, 2012.
- 패턴 검색을 통한 침입 탐지 방법(A METHOD FOR INTRUSION DETECTION BY PATTERN SEARCH), 2011.
- 접두사 그래프 모델에 기반한 동적 최장공통비상위문자열 검색 방법(METHOD FOR FINDING DYNAMIC LONGEST COMMON NONSUPERSTRING BASED, 2011.
- 접미사 배열을 이용한 최장공통비상위문자열 검색 방법(METHOD FOR FINDING LONGEST COMMON NON-SUPERSTRINGS USING SUFFIX ARRAYS, 2011.
- 트랜스코딩 서버에서 분기한정 기법을 이용한 저장공간 관리 방법 (A METHOD FOR MANAGING STORAGE OF A TRANSCODING SERVER USING A BR, 2009.
- 트랜스코딩 서버에서 분기한정 기법을 이용한 저장공간 관리 방법, 2008.
- 트랜스코딩 서버의 기억 공간을 관리하는 방법 (A METHOD FOR MANAGING STORAGE OF A TRANSCODING SERVER), 2008.
- 유사서열 추출을 통한 전사인자 결합부위 예측 장치 및 그방법 (Apparatus for predicting transcription factor bindingsites based , 2005.
- 진동 네트워크를 이용한 세포분열 네트워크 구성방법 (Method for network of cell division regulation usingOscillation Network, 2005.