ksc2017 pb 1216-재분 · 2018-03-20 · keynote-editor in chief hamido fujita(elsevier) invited...

106
http://www.kiise.or.kr Sponsored by 브론즈 주요행사 12.20 12.21 12.22 Keynote-Editor in Chief Hamido Fujita(Elsevier) Invited Talk-허재혁 교수(KAIST) 배현섭 사장(슈어소프트테크) 김상현 부사장(한국오라클) 특별세션-신진교수 최신연구소개 데이터베이스 및 데이터 마이닝 최신기술 워크샵 지능형 사물인터넷 기반 융합 서비스 기술 동향 머신러닝연구회 동계 워크샵 SW+City: Smart City Reloaded 국제표준 기반 오픈 데이터 유통 플랫폼 확장 기술 개발 워크샵 우수 국제학술회의 목록 갱신 토론회 Keynote-손상혁 교수(DGIST) President Hironori Kasahara(2018 IEEE Computer Society) Invited Talk-하정우 리더(네이버) 전진옥 사장(비트컴퓨터) 김태훈 본부장(KIAPS) 김윤재 과장(기상청) Dr. Kohtaro Asai(Mitsubishi Electric Corporation) 특별세션-신진교수 최신연구소개 SW 구현/데모 경진대회(대학원생) 군집지능(SAAL)플랫폼 요구 분석 워크샵 인공지능 국가전략프로젝트 개방형 평가 비디오튜링테스트(VTT)를 위한 비디오 이해 딥러닝기술 워크샵 SW 구현/데모 경진대회(학부생) 학부생주니어논문경진대회 Date 2017. 12. 20(수)~22(금) Venue 부산 벡스코 컨벤션홀 Theme 소프트웨어, 4차 산업혁명의 열쇠

Upload: others

Post on 20-Jul-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

  • 2017 한국소프트웨어종합학술대회(

    KSC2017)

    한국정보과학회

    http://www.kiise.or.kr

    Sponsored by

    골 드

    실 버

    브론즈

    주요행사

    12.20 12.21 12.22Keynote-Editor in Chief Hamido Fujita(Elsevier)

    Invited Talk- 허재혁 교수(KAIST)

    배현섭 사장(슈어소프트테크)

    김상현 부사장(한국오라클)

    특별세션- 신진교수 최신연구소개

    데이터베이스 및 데이터 마이닝 최신기술 워크샵

    지능형 사물인터넷 기반 융합 서비스 기술 동향

    머신러닝연구회 동계 워크샵

    SW+City: Smart City Reloaded

    국제표준 기반 오픈 데이터 유통 플랫폼 확장 기술 개발 워크샵

    우수 국제학술회의 목록 갱신 토론회

    Keynote- 손상혁 교수(DGIST)

    President Hironori Kasahara(2018 IEEE Computer Society)

    Invited Talk- 하정우 리더(네이버)

    전진옥 사장(비트컴퓨터)

    김태훈 본부장(KIAPS)

    김윤재 과장(기상청)

    Dr. Kohtaro Asai(Mitsubishi Electric Corporation)

    특별세션-신진교수 최신연구소개

    SW 구현/데모 경진대회(대학원생)

    군집지능(SAAL)플랫폼 요구 분석 워크샵

    인공지능 국가전략프로젝트 개방형 평가

    비디오튜링테스트(VTT)를 위한 비디오 이해 딥러닝기술 워크샵

    SW 구현/데모 경진대회(학부생)

    학부생주니어논문경진대회

    Date

    2017. 12. 20(수)~22(금)

    Venue

    부산 벡스코 컨벤션홀

    Theme

    소프트웨어, 4차 산업혁명의 열쇠

  • KSC 2

    017 프

    로그

    램 일

    정표

    ■2017년

    12월

    20일

    (수)

    시간

    /장소

    Roo

    m A

    Roo

    m B

    Roo

    m C

    Roo

    m D

    Roo

    m E

    Roo

    m F

    Roo

    m G

    Roo

    m H

    Roo

    m I

    Roo

    m J

    Roo

    m K

    Roo

    m L

    Roo

    m N

    101

    102

    103

    104

    105

    106

    107

    108

    201

    202

    203

    204

    2층

    로비

    08:3

    0~

    17:3

    0Reg

    istrat

    ion &

    Exh

    itibio

    n (1층

    로비

    )

    09:0

    0~

    10:3

    0

    20A1A2

    09:0

    0~

    11:3

    0

    정보

    보호

    1

    20B1

    09:0

    0~

    10:3

    0

    고신

    뢰컴

    퓨팅

    20C

    1C

    2

    09:0

    0~

    11:3

    0

    정보

    통신

    1

    20D1D2

    10:0

    0~

    12:0

    0

    신진

    교수

    최신

    연구

    소개

    20E1E2

    09:0

    0~

    12:0

    0

    고성

    능컴

    퓨팅

    1

    20F1F2

    09:0

    0~

    12:3

    0

    데이

    터베

    이스

    1

    20G

    1G

    2

    09:0

    0~

    12:0

    0

    사물

    인터

    넷1

    20H1H2

    09:0

    0~

    11:5

    0

    건설

    환경

    IT융

    20K1K2

    09:0

    0~

    12:3

    0

    컴퓨

    터시

    스템

    1

    20L1

    L2

    09:0

    0~

    12:0

    0

    인공

    지능

    1

    20N1N2

    09:0

    0~

    12:3

    0

    일반

    논문

    Pos

    ter1

    10:3

    0~

    11:3

    0C

    offe

    e Bre

    akC

    offe

    e Bre

    ak

    11:0

    0~

    12:3

    0

    12:3

    0~

    14:0

    0Lu

    nch

    (벡스

    코 지

    하1층

    )

    14:0

    0~

    15:3

    0

    20B3B4

    14:0

    0~

    16:0

    0

    정명

    수 교

    (연세

    대)

    20C

    3C

    4

    14:0

    0~

    17:0

    0

    김종

    현 교

    (아주

    대)

    20D3D4

    13:0

    0~

    17:0

    0

    ETRI-

    국제

    표준

    기반

    오픈

    데이

    터 유

    플랫

    폼 확

    기술

    개발

    워크

    20E3

    14:0

    0~

    15:3

    0

    우수

    국제

    학술

    회의

    목록

    갱신

    토론

    20F3F4

    13:0

    0~

    17:0

    0

    데이

    터베

    이스

    데이

    터 마

    이닝

    최신

    기술

    워크

    20G

    3G

    4

    13:0

    0~

    17:3

    0

    지능

    형 사

    물인

    넷 기

    반 융

    서비

    스 기

    동향

    20H3H4

    14:0

    0~

    17:3

    0

    SW

    +C

    ity:

    Sm

    art C

    ity

    Rel

    oaded

    20IJ3

    14:0

    0~

    14:4

    0

    허재

    혁 교

    수(K

    AIS

    T)

    14:4

    0~

    15:2

    0

    배현

    섭 사

    (슈어

    소프

    트테

    크)

    *경품

    추첨

    20K3K4

    13:0

    0~

    17:0

    0

    머신

    러닝

    연구

    동계

    워크

    20L3

    L4

    14:0

    0~

    17:3

    0

    인공

    지능

    2

    20N3N4

    14:0

    0~

    17:3

    0

    일반

    논문

    Pos

    ter2

    15:3

    0~

    16:0

    0C

    offe

    e Bre

    ak

    16:0

    0~

    17:3

    0

    20IJ4

    16:0

    0~

    16:4

    5

    Edito

    r-in

    -C

    hie

    f

    Ham

    ido

    Fujit

    a(Els

    evie

    r)

    16:4

    5~

    17:3

    0

    김상

    현 부

    사장

    (한국

    오라

    클)

    *경품

    추첨

  • KSC 2

    017 프

    로그

    램 일

    정표

    ■2017년

    12월

    21일

    (목)

    시간

    /장소

    Roo

    m A

    Roo

    m B

    Roo

    m C

    Roo

    m D

    Roo

    m E

    Roo

    m F

    Roo

    m I

    Roo

    m J

    Roo

    m K

    Roo

    m L

    Roo

    m M

    Roo

    m N

    101

    102

    103

    104

    105

    106

    201

    202

    203

    204

    205

    2층

    로비

    08:3

    0~

    17:3

    0Reg

    istrat

    ion &

    Exh

    itibio

    n (1층

    로비

    )

    09:0

    0~

    10:3

    0

    21A1

    09:0

    0~

    10:0

    0

    오픈

    소스

    소프

    트웨

    21B1B2

    09:0

    0~

    12:3

    0

    언어

    공학

    1

    21C

    1C

    209:0

    0~

    13:0

    0IIT

    P*C

    lose

    d

    21D1D2

    10:0

    0~

    12:0

    0

    신진

    교수

    최신

    연구

    소개

    5,6

    ,7,8

    21E1E2

    09:0

    0~

    12:3

    0

    모바

    일응

    용및

    시스

    21I1

    I210:3

    0~

    12:3

    0

    한보

    형 교

    수(포

    항공

    대)

    21J1

    J209:0

    0~

    12:0

    0

    조현

    정 과

    장(IB

    M)

    21K1K2

    09:0

    0~

    12:3

    0

    정보

    통신

    2

    21L1

    L209:0

    0~

    12:3

    0SW

    Mee

    ting

    *Clo

    sed

    21M

    109:0

    0~

    09:4

    0

    정우

    리더

    (네

    이버

    )

    09:5

    0~

    10:3

    0

    진옥

    사장

    (비

    트컴

    퓨터

    )*경

    품추

    21N1N2

    09:0

    0~

    12:3

    0

    반논

    Pos

    ter3

    09:0

    0~

    12:3

    0

    학원

    생 부

    10:3

    0~

    11:3

    021A2

    10:3

    0~

    12:3

    0

    전산

    교육

    시스

    Cof

    fee

    Bre

    akC

    offe

    e Bre

    ak

    11:0

    0~

    12:3

    0

    21F2

    10:3

    0~

    12:3

    0한

    중일

    학회

    CJK

    Mee

    ting

    *Clo

    sed

    21M

    211:0

    0~

    12:3

    0

    태훈

    본부

    장(K

    IAPS)

    김윤

    재 과

    장(기

    상청

    )*경

    품추

    12:3

    0~

    14:0

    0Lu

    nch

    (해운

    대센

    텀호

    텔 부

    페)

    14:0

    0~

    15:3

    0

    21A3A4

    14:0

    0~

    17:3

    0

    북대

    -군

    지능

    (SAAL)

    랫폼

    요구

    석 워

    크샵

    21B3B4

    14:4

    5~

    16:1

    5

    IIT

    P-인

    공지

    능 국

    가전

    프로

    젝트

    (자

    유발

    화 음

    성대

    화 과

    제)

    개방

    형 평

    21C

    3C

    413:0

    0~

    18:3

    0

    IIT

    P-인

    공지

    국가

    전략

    로젝

    트(엑

    소브

    레인

    제)

    개방

    형 평

    21D3D4

    14:0

    0~

    17:3

    0

    국방

    소프

    트웨

    21E3E4

    14:0

    0~

    17:3

    0

    소프

    트웨

    어공

    학1

    21F3

    F414:0

    0~

    17:0

    0

    사물

    인터

    넷2

    21I3

    I414:0

    0~

    17:3

    0

    인공

    지능

    3

    21J3

    J413:0

    0~

    17:0

    0

    울대

    -비

    디오

    튜링

    테스

    트(V

    TT)를

    비디

    오 이

    딥러

    닝기

    워크

    13:0

    0~

    14:4

    0

    *Clo

    sed

    21K3K4

    14:0

    0~

    17:3

    0

    컴퓨

    터시

    스템

    2

    21L3

    L414:0

    0~

    17:0

    0

    컴퓨

    터그

    래픽

    스및

    상호

    작용

    21M

    314:0

    0~

    14:4

    5

    손상

    혁 총

    (DG

    IST)

    14:4

    5~

    15:3

    0

    21N3N4

    14:0

    0~

    17:3

    0

    반논

    Pos

    ter4

    15:3

    0~

    16:0

    0C

    offe

    e Bre

    ak

    16:0

    0~

    17:3

    0

    21M

    416:0

    0~

    16:4

    5

    Pre

    siden

    t Hiro

    nor

    i Kas

    ahar

    a(2

    018 IEEE

    Com

    pute

    r Soc

    iety

    )

    16:4

    5~

    17:1

    5

    Dr.

    Koh

    taro

    Asa

    i(M

    itsubis

    hi

    Ele

    ctric

    C

    orpor

    atio

    n)

    *경품

    추첨

    17:3

    0~

    18:0

    0정

    기총

    18:3

    0~

    20:0

    0뱅

    킷(노

    보텔

    호텔

    그랜

    드볼

    룸)

  • KSC 2

    017 프

    로그

    램 일

    정표

    ■2017년

    12월

    22일

    (금)

    시간

    /장소

    Roo

    m A

    Roo

    m B

    Roo

    m C

    Roo

    m D

    Roo

    m I

    Roo

    m J

    Roo

    m K

    Roo

    m L

    Roo

    m N

    102

    103

    104

    105

    201

    202

    203

    204

    2층

    로비

    08:3

    0~

    17:3

    0

    09:0

    0~

    10:3

    0

    22A1

    09:0

    0~

    10:2

    0

    컴퓨

    터이

    22B1B2

    09:0

    0~

    12:0

    0

    박용

    범 교

    (단국

    대)

    22C

    1C

    2

    09:0

    0~

    12:3

    0

    언어

    공학

    2

    22D1D2

    09:0

    0~

    11:4

    0

    고성

    능컴

    퓨팅

    2

    22I1

    I2

    10:0

    0~

    12:0

    0

    서동

    민 연

    구원

    (KIS

    TI)

    22J1

    J2

    09:0

    0~

    12:3

    0

    정보

    통신

    3

    22K1K2

    09:0

    0~

    12:3

    0

    인공

    지능

    4

    22L1

    L2

    09:0

    0~

    12:3

    0

    SW

    Mee

    ting

    *Clo

    sed

    22N1

    09:0

    0~

    10:3

    0

    학부

    생주

    니어

    논문

    경진

    대회

    학부

    생1

    09:0

    0~

    12:3

    0

    학부

    생 부

    10:3

    0~

    11:3

    0C

    offe

    e Bre

    ak

    11:0

    0~

    12:3

    0

    22A2

    11:0

    0~

    12:0

    0

    프로

    그래

    밍언

    22N2

    11:0

    0~

    12:3

    0

    학부

    생주

    니어

    논문

    경진

    대회

    학부

    생2

    12:3

    0~

    14:0

    0Lu

    nch

    (벡스

    코 지

    하1층

    )

    14:0

    0~

    15:3

    0

    22A3A4

    14:0

    0~

    15:5

    0

    정보

    보호

    2

    22B3B4

    14:0

    0~

    16:4

    0

    소프

    트웨

    어공

    학2

    22C

    3C

    4

    14:0

    0~

    17:0

    0

    사물

    인터

    넷3

    22D3D4

    14:0

    0~

    17:3

    0

    컴퓨

    터시

    스템

    3

    14:3

    0~

    16:0

    0

    시상

    *경품

    추첨

    22J3

    J4

    14:0

    0~

    17:3

    0

    데이

    터베

    이스

    2

    22K3K4

    14:0

    0~

    17:3

    0

    인공

    지능

    5

    22N3

    14:0

    0~

    15:3

    0

    학부

    생주

    니어

    논문

    경진

    대회

    학부

    생3, 주

    니어

    15:3

    0~

    16:0

    0C

    offe

    e Bre

    akC

    offe

    e Bre

    ak

    16:0

    0~

    17:3

    0

  • 4

    KSC 2017

    Korea Software Congress 2017 2017.12.20(수)~22(금)벡스코 컨벤션홀

    2 초대의 말씀 3 대회 조직6 개회식, 시상식7 정기총회8 수상자 명단

    공통행사

    12 행사일정13 Keynote Speech15 Invited Talk18 특별세션 - 신진교수 최신연구소개25 우수 국제학술회의 목록 갱신 토론회

    튜토리얼

    26 행사일정26 튜토리얼 상세정보

    Invited Paper

    28 행사일정28 Invited Paper Abstract

    분과 워크샵

    32 행사일정32 데이터베이스 및 데이터 마이닝 최신기술 워크숍33 머신러닝연구회 동계 워크샵35 지능형 사물인터넷 기반 융합 서비스 기술 동향36 SW+City: Smart City Reloaded

    협력 워크샵

    37 행사일정37 국제표준 기반 오픈 데이터 유통 플랫폼(SODAS) 확장 기술 개발 워크샵38 군집지능(SAAL)플랫폼 요구 분석 워크샵38 인공지능 국가전략프로젝트 개방형 평가39 비디오튜링테스트(VTT)를 위한 비디오 이해 딥러닝기술 워크샵

    Exhibition

    40 Exhibition

    Oral Session

    41 행사일정42 진행 유의사항42 발표논문

    Poster Session

    53 행사일정54 진행 유의사항55 발표논문78 논문발표자 색인

    안내사항

    84 참가등록 86 행사장, 관광, 투어, 맛집93 12월20일, 22일 참가자 중식94 12월21일 참가자 중식

    ❚ KSC2017 후원

    GOLD삼성SDS

    SILVER매니코어소프트, IBM, SK텔레콤, 오라클,

    KT, 한화시스템

    BRONZE부산관광공사, 비트컴퓨터, 슈어소프트테크,

    싸인텔레콤, 우주텔레콤, 웨이버스, 위니텍,

    한스콤정보통신

    ❚ KSC2017 Program Book인 쇄 2017년 12월 18일발 행 2017년 12월 20일발행인 홍봉희편집인 김기형발행처 사단법인 한국정보과학회

    http://www.kiise.or.kr서울시 서초구 방배로 76(방배동, 머리재빌딩 401호)Tel. 1588-2728Fax. 02-521-1352E-mail. [email protected]

    인쇄처 한림원(주)가 격 비매품

  • 한국정보과학회 KSC 20172

    회원 여러분 안녕하십니까?

    정보과학 및 관련 분야 발전을 위해 힘써주시는 회원 여러분의 노고에 감사드립니다. 우리 학회에서는 대한민국

    컴퓨터 분야의 학계 및 산업계 최신 연구 성과를 공유하고 회원 상호간의 친목을 도모하는 학술대회를 정기적으로

    개최하고 있습니다.

    12월 20일부터 22일까지 부산 벡스코 컨벤션홀에서 개최되는 “Korea Software Congress 2017”에서는 “소프

    트웨어, 4차 산업혁명의 열쇠”라는 주제로 관련 학문 및 산업 최신 동향을 점검하고 발전을 도모할 수 있도록

    Elsevier Editor–in-Chief Hamido Fujita 교수, 2018 IEEE Computer Society President Hironori Kasahara

    교수, DGIST 손상혁 총장의 Keynote Speech와 함께 7개의 초청강연, 6개의 튜토리얼 등 국내외 저명인사들의

    유익하고 알찬 강연을 준비하였습니다.

    학술발표회에서는 여러 회원님들의 최신연구개발성과인 870여 편의 논문 발표와 더불어 약 40팀의 SW 구현/데

    모 경진대회 데모시연이 준비되어 있으며, 데이터베이스, 인공지능, 사물인터넷, 건설환경IT융합 분야의 분과워크

    샵과 군집지능(SAAL) 플랫폼 요구 분석 워크샵, 인공지능 국가전략 프로젝트 개방형 평가, 비디오튜링테스트

    (VTT)를 위한 비디오 이해 딥러닝기술 워크샵, 국제표준 기반 오픈 데이터 유통 플랫폼 확장 기술 개발 워크샵 등

    의 협력워크샵이 개최될 예정입니다. 아울러, 최우수논문 초청 발표, 신진교수 최신연구소개, 우수국제학술회의 목

    록 갱신 토론회, 기업전시 등 다양한 프로그램을 마련하였습니다.

    총회에서는 2017년도 사업실적을 보고 드리고, 2018년도 사업계획 등에 대해 협의하려 합니다. 평소 학회를 아

    껴주시는 여러 회원님들께서 부디 참석하시어 학회의 발전을 위해 충고와 격려를 부탁드립니다.

    이번 학술발표회가 정보과학 및 관련 산업 발전에 크게 기여하는 장이 되길 기대하며, 이를 통해 회원 여러분의

    발전에도 많은 도움이 되시길 기원합니다.

    2017년 12월

    Korea Software Conference 2017

    대회장   강순주(경북대)

    프로그램위원장   김기형(아주대)

    프로그램부위원장 김민수(DGIST), 김현수(충남대), 박성배(경북대),

    박태준(한양대), 박혜영(경북대), 유준혁(대구대),

    이길행(ETRI), 이상환(국민대), 이우진(경북대), 정인상(한성대)

    조직위원장   신인식(KAIST), 채흥석(부산대)

    초대의 말씀

    초대의 말씀

  • 한국정보과학회 KSC 2017 3

    General Chair

    ■ 대회장 강순주(경북대)

    Organizing Chair

     ■ 위원장 신인식(KAIST) 채흥석(부산대학교)Program Committee

    ■ 위원장 김기형(아주대학교)

    ■ 부위원장 김민수(DGIST)김현수(충남대학교)

    박성배(경북대학교)

    박태준(한양대학교)

    박혜영(경북대학교)

    유준혁(대구대학교)

    이길행(ETRI)

    이상환(국민대학교)

    이우진(경북대학교)

    정인상(한성대학교)

    ■ 심사위원 강선무(경희대학교)강수용(한양대학교)

    강승식(국민대학교)

    강오한(안동대학교)

    강유(서울대학교)

    강인수(경성대학교)

    강재우(고려대학교)

    강지훈(충남대학교)

    고영웅(한림대학교)

    고영중(동아대학교)

    고응남(백석대학교)

    고인영(KAIST)

    곽수영(한밭대학교)

    곽재혁(KISTI)

    권준호(부산대학교)

    금창섭(ETRI)

    김강일(건국대학교)

    김경덕(위덕대학교)

    김광영(KISTI)

    김기천(건국대학교)

    김기형(아주대학교)

    김대원(중앙대학교)

    김대진(포항공과대학교)

    김도현(제주대학교)

    김동규(한양대학교)

    김동균(경북대학교

    김동형(한양여자대학교)

    김동호(숭실대학교)

    박수현(동서대학교)

    박영준(한양대학교)

    박영호(숙명여자대학교)

    박유현(동의대학교)

    박재성(수원대학교)

    박재화(중앙대학교)

    박정희(충남대학교)

    박종현(충남대학교)

    박준(홍익대학교)

    박준상(홍익대학교)

    박진아(KAIST)

    박진호(숭실대학교)

    박찬원(ETRI)

    신일훈(서울산업대학교)

    신준철(울산대학교)

    신현준(아주대학교)

    심정섭(인하대)

    심준호(숙명여자대학교)

    안동언(전북대학교)

    안상현(서울시립대학교)

    안재균(인천대학교)

    안정호(서울대학교)

    안준선(한국항공대학교)

    양황규(동서대학교)

    엄현상(서울대학교)

    염헌영(서울대학교)

    오세진(LG전자)

    오유수(대구대학교)

    이성진(인하대학교)

    이형구(KPU)

    이형근(광운대학교)

    이형준(이화여자대학교)

    이혜선(ETRI)

    이호석(호서대학교)

    이호준(유원대학교)

    이환용(아주대학교)

    임상범(건국대학교)

    임선환(ETRI)

    임수종(ETRI)

    임순범(숙명여자대학교)

    임유진(수원대학교)

    임유진(숙명여자대학교)

    임지영(한국성서대학교)

    임혁(광주과기원)

    임현승(강원대)

    임효상(연세대학교)

    임희석(고려대학교)

    장길진(경북대학교)

    장두성(KT미래기술연구소)

    장병탁(서울대학교)

    장윤(세종대학교)

    장인국(ETRI)

    장일순(ETRI)

    장재우(전북대학교)

    정갑주(건국대학교)

    정광수(광운대학교)

    대회 조직

    대회 조직

  • 한국정보과학회 KSC 20174

    김명은(ETRI)

    김문주(한국과학기술원)

    김민수(DGIST)

    김민수(목포대학교)

    김병철(충남대학교)

    김보형(분당서울대병원)

    김상연(한국기술교대)

    김상욱(한양대학교)

    김상철(국민대학교)

    김선정(한림대학교)

    김성렬(건국대학교)

    김세한(ETRI)

    김수형(전남대학교)

    김승욱(서강대학교)

    김승천(한성대학교)

    김승현(ETRI)

    김영국(충남대학교)

    김영길(ETRI)

    김영식(조선대학교)

    김영재(서강대학교)

    김영철(전남대학교)

    김영철(홍익대학교)

    김영한(숭실대학교)

    김영훈(한양대학교)

    김용혁(광운대학교)

    김우용(부산대학교)

    김원태(한국기술교대)

    김유섭(한림대학교)

    김윤(강원대학교)

    김윤희(숙명여자대학교)

    김응규(한밭대학교)

    김인중(한동대학교)

    김재범(건국대학교)

    김재훈(한국해양대학교)

    김정민(대진대학교)

    김정선(한양대학교)

    김정현(고려대학교)

    김종원(광주과학기술원)

    김종익(전북대학교)

    김종찬(국민대학교)

    김중헌(중앙대학교)

    김지환(서강대학교)

    김직수(명지대학교)

    김진모(부산가톨릭대)

    김진수(성균관대학교)

    김철기(항공대학교)

    오재철(순천대학교)

    오학주(고려대)

    오효정(전북대학교)

    오효정(ETRI)

    옥철영(울산대학교)

    우성필(ETRI)

    우운택(KAIST)

    유동희(부산가톨릭대)

    유명식(숭실대학교)

    유시환(단국대학교)

    유재수(충북대학교)

    유환조(포항공과대학교)

    윤성희(상명대학교)

    윤용익(숙명여자대학교)

    윤효석(전자부품연구원)

    이강(한동대학교)

    이강복(ETRI)

    이경순(전북대학교)

    이경용(국민대학교)

    이경우(연세대학교)

    이계식(한경대학교)

    이성희(한국과학기술원)

    이수준(경희대학교)

    이슬(한국뉴욕주립대)

    이승우(KISTI)

    이승윤(ETRI)

    이승형(광운대학교)

    이영구(경희대학교)

    이영민(서울시립대학교)

    이영석(강남대학교)

    이영호(목포대학교)

    이옥연(국민대학교)

    이용귀(한ETRI)

    이우진(경북대학교)

    이은서(ETRI)

    이은주(경북대학교)

    이익훈(광주대학교)

    이인복(한국항공대학교)

    이재길(한국과학기술원)

    이재성(충북대학교)

    이재욱(서울대학교)

    이재환(한국항공대학교)

    이재훈(동국대학교)

    이정륜(중앙대학교)

    이정원(아주대학교)

    이정진(숭실대학교)

    정명수(연세대학교)

    정석원(목포대학교)

    정성우(고려대학교)

    정성인(ETRI)

    정성호(한국외국어대)

    정송(한국과학기술원)

    정순기(경북대학교)

    정연돈(고려대학교)

    정옥란(가천대학교)

    정운철(ETRI)

    정인환(한성대학교)

    정임영(경북대학교)

    정진규(성균관대학교)

    정진만(한남대학교)

    정태선(아주대학교)

    정한민(KISTI)

    정한유(부산대학교)

    정해덕(한국성서대학교)

    조문증(경남과학기술교대)

    조성래(중앙대학교)

    조성배(연세대학교)

    조완현(전남대학교)

    조재춘(고려대학교)

    조준(KIST)

    조진성(경희대학교)

    조희승(전북대학교)

    주용수(국민대학교)

    진현욱(건국대학교)

    차미영(KAIST)

    차상길(KAIST)

    차정원(창원대학교)

    채흥석(부산대학교)

    최광훈(전남대학교)

    최동완(국민대)

    최미선(충남대학교)

    최병철(ETRI)

    최선웅(국민대학교)

    최수미(세종대학교)

    최승진(포항공과대학교)

    최아영(가천대학교)

    최영리(UNIST)

    최영석(광운대학교)

    최영준(아주대학교)

    최용훈(광운대학교)

    최유주(한독미디어대)

    최윤자(경북대학교)

    대회 조직

  • 한국정보과학회 KSC 2017 5

    김철연(숙명여자대학교)

    김태석(광운대학교)

    김태성(경희대학교)

    김태영(서경대학교)

    김학래(KISTI)

    김학수(강원대학교)

    김한준(서울시립대학교)

    김한준(포항공과대학교)

    김현기(ETRI)

    김현수(충남대학교)

    김현철(고려대학교)

    김형석(건국대학교)

    김형식(충남대학교)

    나승훈(부산외대)

    나승훈(전북대학교)

    나중채(세종대학교)

    남덕윤(KISTI)

    남범석(UNIST)

    남양희(이화여대)

    노웅기(가천대학교)

    노원우(연세대학교)

    류법모(부산외대)

    류연승(명지대학교)

    류은석(가천대학교)

    문미경(동서대학교)

    문양세(강원대학교)

    민순호(한국폴리텍대학)

    민준기(한국기술교대)

    박경주(중앙대학교)

    박경준(DGIST)

    박능수(건국대학교)

    박대희(고려대학교)

    박동주(숭실대학교)

    박동환(ETRI)

    박문주(인천대학교)

    박민호(숭실대학교)

    박상원(한국외대)

    박상현(연세대학교)

    박석(서강대학교)

    박성배(경북대학교)

    박성준(한국영상대학교)

    이종욱(성균관대)

    이종원(세종대학교)

    이주호(상명대학교)

    이준원(KIST)

    이준환(서울대학교)

    이지현(전북대학교)

    이진규(성균관대학교)

    이찬근(중앙대학교)

    이창기(강원대학교)

    이창우(군산대학교)

    이창환(동국대학교)

    이춘화(한양대학교)

    이학진(ETRI)

    이현아(금오공대)

    이공주(충남대학교)

    이관용(한국방송통신대)

    이기용(숙명여자대학교)

    이기혁(한국과학기술원)

    이도훈(부산대학교)

    이동호(한양대학교)

    이동훈(ETRI)

    이명원(수원대학교)

    이명호(명지대학교)

    이문규(인하대학교)

    이미정(이화여자대학교)

    이민석(국민대학교)

    이병국(동서대학교)

    이병정(서울시립대학교)

    이상곤(전주대학교)

    이상국(가톨릭대학교)

    이상규(숙명여자대학교)

    이상근(한양대학교)

    이상원(성균관대학교)

    이상준(숭실대학교)

    이상환(국민대학교)

    이석룡(한국외국어대)

    이석원(아주대학교)

    이석호(동서대학교)

    이선민(삼성종합기술원)

    이선아(경상대학교)

    이성욱(한국교통대학교)

    이성원(경희대학교)

    최재영(숭실대학교)

    최종무(단국대학교)

    최진철(ETRI)

    최호섭(한국이디에스)

    최호진(KAIST)

    최희열(한동대학교)

    추교남(인천대학교)

    하재철(호서대학교)

    한경수(성결대학교)

    한상철(건국대학교)

    한연희(한국기술교육대)

    한정현(고려대학교)

    한혁(동덕여대)

    한혁수(상명대학교)

    한효녕(ETRI)

    허의남(경희대학교)

    허재혁(카이스트)

    허준영(한성대학교)

    홍도원(공주대학교)

    홍상기(ETRI)

    홍신(한동대)

    홍신(한동대학교)

    홍장의(충북대학교)

    황규백(숭실대학교)

    황도삼(영남대학교)

    황선태(국민대학교)

    황소영(부산가톨릭대)

    황순욱(KISTI)

    황승원(연세대학교)

    황인극(공주대학교)

    황지영(성균관대)

    황호영(광운대학교)

    황호영(한성대학교)

    대회 조직

  • 한국정보과학회 KSC 20176

    ❑ 일 시 : 2017년 12월 21일(목) 14:45 - 15:30❑ 장 소 : 벡스코 컨벤션홀 2층 205호

    사회 : 나연묵 부회장(단국대 교수)

    ⁍ 국민의례⁍ 개회사 - 경북대학교 강 순 주 대회장⁍ 시 상

    - KSC2017 (최)우수논문상

    ⁍ 공지사항⁍ 폐 회

    정기총회

    ◆ 대 상 : 정회원 및 종신회원

    ◆ 일 시 : 2017년 12월 21일(목) 17:30-18:00

    ◆ 장 소 : 부산 벡스코 컨벤션홀 2층 205호

    연회(Banquet)

    ◆ 대 상 : 정회원, 종신회원, 비회원 일반 등록자

    ◆ 일 시 : 2017년 12월 21일(목) 18:30-20:00

    ◆ 장 소 : 노보텔 앰배서더 부산 호텔, 그랜드볼룸

    개회식 및 시상식

    개회식 및 시상식

  • 한국정보과학회 KSC 2017 7

    ❑ 일 시 : 2017년 12월 21일(목) 17:30-18:00❑ 장 소 : 벡스코 컨벤션홀 205호

    사회 : 나연묵 부회장(단국대 교수)

    ⁍ 성원보고⁍ 전회의록접수⁍ 사업실적보고⁍ 의안심의

    1) 2017년도 예산결산(안)

    2) 차기 임원 선임(안)

    3) 2018년도 사업계획(안)

    4) 2018년도 수지예산(안)

    5) 정관 개정사항 확인(안)

    ⁍ 기타사항⁍ 폐 회

    정기총회

    정기총회

  • 한국정보과학회 KSC 20178

    1. 공로상

    조성배(연세대학교) 조성제(단국대학교) 변영철(제주대학교)

    우운택(한국과학기술원) 송창근(한림대학교)

    2. 가헌학술상 조성배(연세대학교)

    3. 젊은정보과학자상 백상헌(고려대학교)

    4. 한국연구재단 우수논문상 박우길(계명대학교)

    5. 소사이어티 우수논문상

    데이터베이스 민준기(한국기술교육대)

    소프트웨어공학 장종인(한국과학기술원)

    정보통신 정광수(광운대)

    컴퓨터시스템 김태용·강동현·엄영익(성균관대)

    1. KSC2017 우수논문상

    No. 분야 논문제목 논문저자

    1 고성능컴퓨팅과학 워크플로우를 위한 자원 가용 변화에 따른 데이터재배

    치김희원·김윤희(숙명여자대학교)

    2 국방소프트웨어 북한 운영체제 붉은별(Red Star)의 보안 취약점 분석 박기훈·강동수(국방대학교)

    3 데이터베이스멀티코어 인 메모리 데이터베이스 환경에서 대형 트랜잭션

    처리를 위한 하드웨어 트랜잭셔널 메모리 분할 기법

    강문환·김형진·마현국·

    장재우(전북대학교)

    4모바일응용 및

    시스템

    감정 정보를 활용한 개인 사진 컬렉션의 이벤트 분류 및

    대표사진 선정 모델

    범정현·염상길·황지영·추현승

    (성균관대학교)

    5 사물인터넷소방관의 증강인지서비스를 위한 사물 인터넷 서비스

    아키텍처

    홍상기·손교훈·이혜선·배명남·

    이강복(한국전자통신연구원)

    6 소프트웨어공학시스템 테스트 케이스를 이용한 C 프로그램의 동적 유닛

    입력 값 자동 수집 및 재연 기술

    임현수·김윤호·김문주

    (한국과학기술원)

    7 언어공학S^3-Net: SRU 기반 문장 및 셀프 매칭 네트워크를 이용한

    한국어 기계독해

    박천음·이창기(강원대학교),

    배경훈·장재용·홍윤기(LG 유플러

    스), 홍수린·황이규(마인즈랩),

    김현기(한국전자통신연구원)

    8 인공지능 의미 특징과 시간 영역 제안을 이용한 비디오 행동 탐지 송영택·김인철(경기대학교)

    9 정보보호 악성코드의 난독화 특징에 기반한 악성여부 판별기술 연구김호경·황선빈·이태진

    (호서대학교)

    수상자 명단

    수상자 명단

  • 한국정보과학회 KSC 2017 9

    10 정보통신Probabilistic Surplus Modeling for Fairness of Wi-Fi

    Coexisting with LTE-U

    Aunas Manzoor·Choong

    Seon Hong(Kyung Hee

    University)

    11컴퓨터그래픽스

    및상호작용

    Scagnostics와 분할 변수 선택 기법을 활용한 점진적인 시

    각적 분석

    신동화·이세희·서진욱

    (서울대학교)

    12 컴퓨터시스템차량용 가상화 플랫폼을 위한 CAN 가상화 프레임워크와

    CAN 버스 대역폭 할당 기법문용식·홍성수(서울대학교)

    13 건설환경IT융합케플러 워크플로우를 통한 파이프라인 기반 워크플로우의

    구현

    전원표(한국정보통신기술협회)·

    허대영·황선태(국민대학교)

    14 고성능컴퓨팅응용의 성능 및 일관성을 위한 비휘발성 메모리 기반 로그

    구조 버퍼

    손용석·김성곤·염헌영

    (서울대학교)

    15 고성능컴퓨팅하둡 분산 파일 시스템의 네트워크 트래픽 감소를 위한 스

    트리밍 압축 기법노승준·엄영익(성균관대학교)

    16 고신뢰컴퓨팅 군집드론의안정적데이터처리를위한 오프로딩 기법

    민홍(호서대학교), 정진만(한남

    대학교), 김봉재(선문대학교),

    허준영(한성대학교)

    17 고신뢰컴퓨팅 Nested Kernel의 보안 취약점 분석김현익·이서호·유시환

    (단국대학교)

    18 국방소프트웨어고품질 소프트웨어를 위한 군인력 자원관리 개발 프로세스

    가시화 구축 사례

    장우성·손현승·김영철

    (홍익대학교)

    19 데이터베이스도로교통망에서차분프라이버시를적용한 주기적 교통량 배포

    기법조건형·박석(서강대학교)

    20 데이터베이스다차원 공간에서 정확하고 효율적인 선형 스카이라인 알고

    리즘박희수·이종욱(성균관대학교)

    21 데이터베이스시계열 데이터 분류를 위한 분산병렬 쉐이플릿 결정트리

    생성 알고리즘권수용·심규석(서울대학교)

    22모바일응용 및

    시스템대화 상황의 컨텍스트를 고려한 알림 시스템

    김건우·윤주연(한국과학기술원),

    박천종(University of

    Washington), 김주호·이동만·

    이성주(한국과학기술원)

    23모바일응용 및

    시스템

    이종 모바일 멀티 코어 프로세서에서 성능을 고려한 발열

    관리 기법 적용에 대한 사례 연구

    강덕훈·김영근·정성우(고려대학

    교)

    24모바일응용 및

    시스템능동 소음 제어를 이용한 드론 영상 오디오의 소음 감소

    안효훈·염상길·추현승(성균관대

    학교)

    25 사물인터넷IoT 환경에서 oneM2M 플랫폼을 이용한 웹 기반 리소스

    모니터링 시스템

    이만성·김건우·박지우·정광수(광

    운대학교)

    26 사물인터넷 영상인식과 음성분석 기반의 졸음운전 사고 방지 시스템고성욱·윤지현·이준희·진대한·이

    강우(동국대학교)

    27 사물인터넷XACML 정책 작성시 요청에 따른 효과적인 정책 평가 요

    인 수집 방법오용택·이욱진(한양대학교)

    수상자 명단

  • 한국정보과학회 KSC 201710

    28 사물인터넷차등적인 IoT 서비스를 제공하기 위한 우선순위 기반의

    MQTT 시스템

    김건우·박지우·정광수

    (광운대학교)

    29 소프트웨어공학지속적 통합 환경에서 비용효율적인 회귀테스팅 기술 적용

    및 테스트 실패 관심도에 따른 기술 성능 비교권정현·고인영(한국과학기술원)

    30 소프트웨어공학COMUT:사용자의의도대로효과적인변이를 생성할 수 있는

    C 프로그램 변이 도구

    Phan Duy Loc·고봉석·김윤호·

    김문주(한국과학기술원)

    31 언어공학개체명 인식 성능 향상을 위한 배깅 기반의 부트스트래핑

    기법

    정유진·김주애(서강대학교),

    고영중(동아대학교),

    서정연(서강대학교)

    32 언어공학대화 단위의 화행 분석을 위한 RNN-CNN 기반 한국어 화

    행 분석 시스템윤정민·고영중(동아대학교)

    33 오픈소스 리눅스를 위한 네트워크 I/O 대역폭 보장 기술한재만·박준한·김준호·임인구·

    진현욱(건국대학교)

    34 인공지능Backbone Network for Object Detection with

    Multiple Dilation and Feature Summation

    쿤조노 바니 나탈리아·고승현·

    방양·조근식(인하대학교)

    35 인공지능Automatic Korean Fonts Transferring with Generative

    Adversarial Networks

    방가·고승현·방양·

    조근식(인하대학교)

    36 인공지능명시적피드백과 암시적피드백 정보를 활용한 협업 필터링

    기법이재훈·김종권(서울대학교)

    37 인공지능합성곱 신경망과 영상 개선 네트워크를 이용한 저해상도

    영상 객체 인식

    최인재·서정인·박혜영

    (경북대학교)

    38 인공지능 Insight CNN 문귀성·김윤(강원대학교)

    39 인공지능 모델 기반 강화 학습을 이용한 웹 검색 랭킹 박효균·권진환(네이버)

    40 인공지능 문서 분석을 위한 무한 잠재 주제 모형 신봉기(부경대학교)

    41 인공지능소프트 타겟 학습 기법을 활용한 랜덤 포레스트 경량화와

    이를 이용한 보행자 검출

    김상준·허두영·정미라·고병철·

    남재열(계명대학교)

    42 인공지능 조도 변화를 고려한 딥러닝 기반의 사람 재인식최형욱·윤광진·최인문·

    전문구(광주과학기술원)

    43 전산교육시스템 걸음걸이 관리를 위한 웨어러블 시스템 개발고란희·강윤수·이경희·오홍식·

    조정원(제주대학교)

    44 정보보호 보안 필터를 적용한 발신메일 통제 시스템윤태연·임윤미·조현준·김일엽·

    정진우(동국대학교)

    45 정보보호 바이너리 정적, 동적 분석 융합 도구

    이석수·오원찬·박선녀·조은선(충

    남대학교), 백인성(슈어소프트테

    크)

    46 정보보호 자동차 원격 키 시스템에서 릴레이 공격 대응 인증 방식 정혜라·소재우(서강대학교)

    수상자 명단

  • 한국정보과학회 KSC 2017 11

    47 정보통신Active Reverse Path Based Reverse Influence

    Maximization in Social Networks

    Ashis Talukder·Choong Seon

    Hong(Kyung Hee University)

    48 정보통신 Intelligent Caching at the Mobile Edge Network

    Kyi Thar·Nguyen H.

    Tran·Choong Seon

    Hong(Kyung Hee University)

    49 정보통신Time Varying Resource Allocation in Network

    Function Virtualization

    Chuan Pham·Minh N.H.

    Nguyen·Choong Seon

    Hong(Kyung Hee

    University)

    50 정보통신SDN 환경에서 Deep Q-Learning을 이용한 QoS 인지 동

    적 라우팅 기법 연구

    김기태·이주연·홍충선

    (경희대학교)

    51 정보통신UHD 스트리밍 서비스의 QoE 향상을 위한 비디오 품질

    조절 기법

    김민수·김희광·정광수

    (광운대학교)

    52컴퓨터그래픽스

    및상호작용

    복부 CT 영상에서 다중 아틀라스 기반 계층적 정합 및 지

    역적 가중투표를 사용한 신장 자동 분할

    김현진·홍헬렌(서울여자대학교),

    장기돈·나군호(연세대학교)

    53 컴퓨터시스템Adaptable Time Slot Acquisition Scheme for Hybrid

    MAC Protocol in VANETs

    VanDung Nguyen·Choong

    Seon Hong(Kyung Hee

    University)

    54 컴퓨터시스템PFA: Linux 페이지 폴트 서비스를 위한 통합된 성능 분석

    도구

    한승욱·한상욱·김지홍

    (서울대학교)

    55 컴퓨터시스템데이터 지역성을 고려한 빅데이터 처리 프레임워크 자원

    할당 정책의 성능 향상 잠재성 평가

    이규현(서울대학교),

    조재언(포항공과대학교),

    김장우(서울대학교)

    56 컴퓨터시스템 고성능 스토리지 디바이스를 위한 시스템 최적화 권동업·김장우(서울대학교)

    57 컴퓨터시스템 NFV 상에서 에너지를 고려한 SFC 재구성 알고리즘 김상혁·박성용(서강대학교)

    58 컴퓨터시스템 그래프 오더링을 활용한 그래프 병렬 처리의 성능 향상임근학·김정현·이은재·서지원·

    노삼혁(울산과학기술원)

    59 컴퓨터시스템파일시스템 저널링의 입출력 특성을 이용한 TLC 낸드 기반

    스토리지의 성능 개선 기법

    권기록·강동현·엄영익

    (성균관대학교)

    60 컴퓨터이론 Full-Text Index 자료구조들의 비교 분석 공서우·박근수(서울대학교)

    수상자 명단

  • 한국정보과학회 KSC 201712

    공통행사

    행사일정

    인덱스 프로그램 시간 장소

    20D1D2 특별세션 - 신진교수 최신연구소개12.20(수)

    10:00~12:00 104호

    20IJ3

    [Invited Talk I]

    허재혁 교수(KAIST)

    “클라우드를 위한 하드웨어 및 시스템 소프트웨어의 상호 발전”

    12.20(수)

    14:00~14:40

    201-202호[Invited Talk Ⅱ]

    배현섭 사장(슈어소프트테크)

    “Testing and Verification of Mission Critical Software”

    12.20(수)

    14:40~15:20

    20IJ4

    [Keynote Speech I]

    Editor-in-Chief Hamido Fujita(Elsevier)

    “Challenges on Data Analytics for Risk Predictions based on

    Ensemble Classifiers and Subjective Analysis“

    12.20(수)

    16:00~16:45

    201-202호[Invited Talk Ⅲ]

    김상현 부사장(한국오라클)

    “Cloud Native Architecture - DevOps/ Microservice/

    Distribute Computing”

    12.20(수)

    16:45~17:30

    21M1

    [Invited Talk Ⅳ]

    하정우 리더(네이버)

    “NAVER AI: From application services to Clova”

    12.21(목)

    09:00~09:40

    205호[Invited Talk Ⅴ]

    전진옥 사장(비트컴퓨터)

    “디지털 헬스케어의 현황과 미래”

    12.21(목)

    09:50~10:30

    21D1D2 특별세션 - 신진교수 최신연구소개12.21(목)

    10:00~12:00 104호

    21M2

    [Invited Talk Ⅵ]

    김태훈 본부장(KIAPS)

    “한국형 수치예보모델 개발 현황”

    김윤재 과장(기상청)

    “기상청의 차세대 수치예보기술 개발 및 활용 사업 소개”

    12.21(목)

    11:00~12:30 205호

    21M3

    [Keynote Speech Ⅱ]

    손상혁 총장(대구경북과학기술원)

    “Computing for An Era of Innovation“

    12.21(목)

    14:00~14:45 205호

    21M4

    [Keynote Speech Ⅲ]

    President Hironori Kasahara(2018 IEEE Computer Society)

    “Green Multicore Computing: Co-design of Software and Architecture“

    12.21(목)

    16:00~16:45

    205호[Invited Talk Ⅶ]

    Dr. Kohtaro Asai(Mitsubishi Electric Corporation)

    “Information Processing Society of Japan and its activities”

    12.21(목)

    16:45~17:15

    공통행사

  • 한국정보과학회 KSC 2017 13

    공통행사

    Keynote Speech

    Keynote Speech I

    20IJ4 / 12.20(수) 16:00~16:45 / 201-202호

    Hamido Fujita(Elsevier Editor-in-Chief)

    “Challenges on Data Analytics for Risk Predictions based on Ensemble Classifiers and Subjective Analysis”

    Discovering patterns from big data attracts a lot of attention due to its importance in discovering accurate patterns and features that are used in predictions of decision making. The challenges in big data analytics are the high dimensionality and complexity in data representation analytics especially for on-line feature selection. Granular computing and feature selection on data streams are among the challenge to deal with big data analytics that is used for Decision making. We will discuss these challenges in this talk and provide new projection on ensemble learning for on-line health care risk prediction. In decision making most approaches are taking into account objective criteria, however the subjective correlation among different ensembles provided as preference utility is necessary to be presented to provide confidence preference additive among it reducing ambiguity and produce better utility preferences measurement for good quality predictions. Different type of data (time series, linguistic values, interval data, etc.) imposes some difficulties to data analytics due to preprocessing and normalization processes which are expensive and difficult when data sets are raw, or imbalanced. We will highlight these issues through project applied to health-care for elderly, by merging heterogeneous metrics from multi-sensing environment for providing health care predictions for active aging elderly at home. We have utilized ensemble learning as multi-classification techniques on multi-data streams using incremental learning for modified data. Subjectivity (i.e., service personalization) would be examined based on correlations between different contextual structures that are reflecting the framework of personal context, for example in nearest neighbor based correlation analysis fashion. Some of the attributes incompleteness also may lead to affect the approximation accuracy. Attributes with preference-ordered domain relations properties become one aspect in ordering properties in rough approximations. We outline issues on Virtual Doctor Systems, and highlights its innovation in interactions with elderly patients, also discuss these challenges in multiclass classification and decision support systems research domains. In this talk I will present the current state of art and focus it on health care risk analysis applications with examples from our experiments. This talk will describe Microsoft Academic, a project to create a cognitive agent that can be simultaneously proficient in more than 50 thousand fields of study by reading over more than a century worth of scholarly publications from the web. At the core of the agent is a virtuous cycle where a machine reader would be aided by a knowledge graph to parse natural language articles and extract salient entities and their relationships that are then fed back to the graph to enrich its coverage. The richer the graph, the better the machine reader can understand the text. The talk will also cover how the knowledge base, currently at age two, can be publicly accessed and how the knowledge the agent has accumulated has played a role for Microsoft Research in assessing research impacts and determining the priorities in academic activities.

  • 한국정보과학회 KSC 201714

    공통행사

    Keynote Speech II

    21M3 / 12.21(목) 14:00~14:45 / 205호

    손상혁 총장(대구경북과학기술원)

    “Computing for An Era of Innovation”

    We are entering into an era of innovation and rapid change, fueled by disruptive technology. It is a new kind of technological revolution that will fundamentally change the way we live and work. In its scale, scope, and impact, the transformation will be unlike anything mankind has experienced before. If we look closely into the current revolution, it has intelligence information technologies at its core, converging with existing industries and being combined with science and engineering in diverse fields, bringing out novel innovations. One of the computational systems driving the innovation is Cyber Physical Systems (CPS). Systems featuring a tight combination of, and coordination between, the system’s computational and physical elements are broadly called CPS. They have the potential to transform how humans interact with and control the physical world. Advances in key technologies are changing how these types of systems operate. For instance, the level of uncertainty in which these systems operate is increasing, creating the need for greater resiliency. Pervasive wireless access is pushing these systems to unprecedented dynamic and non-deterministic situations. There is a critical demand for CPS to be adaptive to provide robustness to meet the requirements. In this talk, we illustrate few technologies driving the innovation, and discuss the research challenges that need to be addressed to achieve the dream of a smart and safe new world.

    Keynote Speech Ⅲ

    21M4 / 12.21(목) 16:00~16:45 / 205호

    Hironori Kasahara(2018 IEEE Computer Society President)

    “Green Multicore Computing: Co-design of Software and Architecture ”

    Green multicore computing has been attracting much attention to improve performance and reduce power consumption of computing systems facing the end of Moore’s Law. To obtain high performance and low power on multicores, co-design of hardware and software like parallelizing and power reducing compiler is very important. As an example, OSCAR (Optimally Scheduled Advanced Multiprocessor) compiler and multicore architecture, which have been researched in Kasahara’s group since 1985, are introduced. This talk includes the followings: ● Requirement of green multicore computing in automobile, smart home, AI, medical, scientific application including natural disaster simulation, ● Importance of software, especially compiler, in multicore computing, ● OSCAR multigrain parallelization compiler that hierarchically exploits coarse grain task parallelism and loop parallelism, ● global data locality optimization for cache and local memory, ● automatic power reduction controlling DVFS(Dynamic Vontage and Frequency Scaling), clock and power gating, ● heterogeneous multicore computing, ● performance and power consumption of real applications including automobile engine control, cancer treatment, scientific applications and so on various multicore systems, such as Intel, ARM, IBM, Fujitsu, Renesas and so on.

  • 한국정보과학회 KSC 2017 15

    공통행사

    Invited Talk

    Invited Talk I

    20IJ3 / 12.20(수) 14:00~14:40 / 201-202호

    허재혁 교수(KAIST) - “클라우드를 위한 하드웨어 및 시스템 소프트웨어의 상호 발전 ”

    클라우드 컴퓨팅은 물리적인 자원의 소유 없이, 계산을 위한 컴퓨팅 자원과 데이터의 저

    장 공간을 수도, 전기 등의 유틸리티 같이 필요할 때 언제든지 쓸 수 있도록 한다. 이러한

    유틸리티 모델의 클라우드 컴퓨팅은 기존의 컴퓨팅 자원 활용 방식을 근원적으로 바꾸고

    있으며, 그 도입 및 발전 속도는 더욱 가속화 하고 있다. 이 발표에서는 차세대 클라우드

    컴퓨팅의 제공해야 할 새로운 요건인 성능의 일관성, GPU 및 가속기 등의 새로운 컴퓨

    팅 모델의 도입, 더욱 강화된 하드웨어 기반의 보안 기술의 발전을 소개한다. 이와 더불

    어 차세대 메모리 기술 등 하드웨어 발전이 클라우드 컴퓨팅 시스템에 미치는 영향을 논

    의한다.

    Invited Talk Ⅱ

    20IJ3 / 12.20(수) 14:40~15:20 / 201-202호

    배현섭 사장(슈어소프트테크) - “Testing and Verification of Mission Critical Software ”

    These days, most of mission-critical systems are controlled by software - aircraft

    by flight control computer, vehicle by ECU (Electronic Control Unit), nuclear

    power plant by instrument and control system, etc. Because a small failure in

    these systems may cause a disaster in human life, there are strict international

    regulations enforcing a thorough testing and verification process. In this

    seminar, we will review briefly how the regulations classify mission-critical

    software according to the level of criticality and how they mandate analyzing,

    testing and verification works for each software class. Based on accumulated

    field experiences, we noted that well-suited automated tools can help the

    testing and verification process to be effective and efficient.

    Invited Talk Ⅲ

    20IJ4 / 12.20(수) 16:45~17:30 / 201-202호

    김상현 부사장(한국오라클) - “Cloud Native Architecture - DevOps/ Microservice/ Distribute Computing ”

    The process of delivering software is ever evolving. Mostly, that evolution is a

    result of technology shifts and advancements that make incremental

    improvements to the process. But occasionally a seismic shift occurs that

    transcends minor variations on the old routines. Born out of necessity for the

    rapid delivery of Internet - based services on a global scale, the Cloud Native

    approach to application delivery has emerged.

    Shifting to a Cloud Native approach can provide enormous benefits to the

    business. A recent survey conducted by the Harvard Business Review has

    concluded that the success of an entire business may be determined by the

  • 한국정보과학회 KSC 201716

    공통행사

    Invited Talk Ⅳ

    21M1 / 12.21(목) 09:00~09:40 / 205호

    하정우 리더(네이버) - “NAVER AI: From application services to Clova”

    최근 AI는 기나긴 겨울을 지나 하나의 기술 개념을 넘어 거의 모든 산업분야에서 새로운

    패러다임으로 자리 잡아가고 있으며, 특히 AI assistant 플랫폼은 아마존, 구글 등 글로벌

    IT 기업들이 엄청난 리소스를 투입하여 연구개발 진행중인 분야이다. NAVER와 LINE 또

    한 공동협력프로젝트로서 오감인지 AI플랫폼인 Cloud-Based Virtual Assistant (Clova)

    개발을 올해 3월 MWC에서 공개했으며 지난 5월에는 Clova App을 8월에는 한국과 일

    본에서 AI Speaker인 WAVE를, 그리고 10월 말에는 또다른 스피커인 프렌즈를 출시하

    였다. 본 강연에서는 현재 네이버의 다양한 서비스에 반영되어 있는 ML기반의 AI기술과

    Clova를 더욱 똑똑하게 만들기 위한 딥러닝 기술들을 CVPR, KDD, NIPS등에 발표한 논

    문내용 중심으로 소개한다. 또한 CLAIR를 포함한 Clova 및 네이버의 인공지능 기술 연

    구의 효율성을 강화하기 위한 프로젝트의 일환으로 개발중인 NAVER Smart Machine

    Learning (NSML) 플랫폼을 소개한다.

    Invited Talk Ⅴ

    21M1 / 12.21(목) 09:50~10:30 / 205호

    전진옥 사장(비트컴퓨터) - “디지털 헬스케어의 현황과 미래”

    건강을 중심으로 한 삶의 질에 대한 중요성 뿐만 아니라 고령화 추세로 4차 산업혁명 가

    운데 의료분야는 가장 파급력이 큰 산업으로 인식되고 있으며, IT 기술과 융합하여 다양

    한 형태의 새로운 서비스를 선보이고 있다 IoT 기술을 이용한 일상 생활의 건강 데이터

    모니터링, 클라우드 기술을 통해 여러 병원에서 받은 진료 정보를 저장.관리하여 어디서

    나 쉽게 조회할 수 있으며, 유전체 정보를 포함한 방대한 정보를 종합하여 빅데이터 및

    인공지능 기술을 활용하여 개인별 맞춤 형태의 의료 서비스 등을 개발하고 있다. 이러한

    디지털 헬스케어 분야의 기술 및 산업 현황을 토대로 미래 방향성을 찾아 새로운 도전의

    기회를 생각해 보고자 한다

    speed with which it can capi talize on new technologies and adjust IT

    operations.

    This session will cover overall cloud native architecture in terms of DevOps/

    Microservice and Distributed Computing point of view.

    소프트웨어를 제공하는 과정은 계속 진화하고 있습니다. 대부분의 진화는 프로세스를 점

    진적으로 개선하는 기술 변화와 발전의 결과입니다. 그러나 때로는 사소한 변화를 초월하

    는 지진과 같은 변화가 발생합니다. 클라우드 네이티브 아키텍쳐는 전 세계적 규모의 인

    터넷 기반 서비스의 신속한 제공을 위해 필연적으로 등장했습니다.

    클라우드 네이티브로의 전환은 비즈니스에 막대한 이점을 제공 할 수 있습니다. 하버드

    비즈니스 리뷰 (Harvard Business Review)가 최근 실시한 설문 조사에 따르면 전체 비

    즈니스의 성공은 새로운 기술을 활용하고 IT 운영을 조정할 수있는 속도로 결정될 수 있

    다고 결론내리고 있습니다.

    본 세션에서는 클라우드 네이티브 아키텍쳐에 대해 DevOps/ Microservice/ 분산컴퓨팅

    관점에서 설명합니다.

  • 한국정보과학회 KSC 2017 17

    공통행사

    Invited Talk Ⅵ

    21M2 / 12.21(목) 11:00~12:30 / 205호

    김태훈 본부장(KIAPS) - “한국형 수치예보모델 개발 현황”

    2011년부터 시작된 한국형 수치예보모델개발 사업은 현재 3단계에 도달해 있다. 현재

    개발된 수치예보시스템은 최신 소프트웨어 기술을 바탕으로 모델의 뼈대를 이루는 프레

    임 워크, 기상관측자료를 예측장과 융합하여 초기 입력장으로 처리하는 자료동화, 기상예

    측의 큰 흐름을 좌우하는 역학코어, 예보의 성능을 좌우하는 물리과정을 국내 독자적인

    기술력으로 만들고 있으며, 2020년부터 기존의 영국에서 만들어진 기상청 현업예보시스

    템을 대처하기 위하여 개발에 박차를 가하고 있다. 또한 차세대 슈퍼컴퓨터에서 구동되기

    위한 다양한 소프트웨어 환경에서 개발을 수행하고 있다.

    21M2 / 12.21(목) 11:00~12:30 / 205호

    김윤재 과장(기상청) - “기상청의 차세대 수치예보기술 개발 및 활용 사업 소개”

    기상청에서는 2011년 한국형 수치예보모델의 개발에 착수하였고, 2019년 현업 예보체

    계로 구성하기 위한 준비가 진행되고 있습니다. 본 발표에서는 기상/기후분야에서 수치모

    델의 운영과 최근의 개발 동향, 기상청에서의 수치예보모델 운영체계를 소개합니다. ‘한

    국형 수치예보모델’에 대한 소개(김태훈 본부장)와 한국형 수치예보모델을 모태로 2020

    년 이후 ‘지능형 기상예측시스템’으로 개발하기 위한 계획을 소개합니다. 수치예보모델의

    시·공간적 고해상도화, 다양한 관측자료의 활용, 정교한 물리과정의 반영, 해양모델의 결

    합, 앙상블 예측의 활용 등 기상분야의 이슈와 수치예보모델 운영체계의 고도화와 자동화

    를 위하여 요구되는 전산과학분야의 여러가지 기술의 융합에 관하여 전문가 분들과 논의

    하고 의견을 듣고자 합니다.

    Invited Talk Ⅶ

    21M4 / 12.21(목) 16:45~17:15 / 205호

    Dr. Kohtaro Asai(Mitsubishi Electric Corporation)

    - “Information Processing Society of Japan and its activities”

    The Information Processing Society of Japan (IPSJ) is the largest society in the

    field of information science in Japan. It has approximately 20,000 members,

    almost half from academia and the other from industry. The IPSJ holds

    domestic and international conventions and programming contest annually. It

    has a certification program for professionals in information technology.

    Recognizing that information science is one of the most important subject for

    future science and technology, the IPSJ promotes active collaboration with

    industry. The Information technology Standardization Committee of Japan

    (ITSCJ), one committee of the IPSJ, is an entrusted secretariat for international

    standardization of information technologies, which is one activity of the IPSJ

    targeting industry. In this talk, the activities of IPSJ are introduced, including the

    standardization activity the speaker has been involved with the ITSCJ.

  • 한국정보과학회 KSC 201718

    공통행사

    New Research(특별세션 - 신진교수 최신연구소개)

    12.20(수) 10:00~10:30

    고차원 데이터 분석을 위한 확률 그래프 모델 양은호 교수(KAIST)

    확률 그래프 모델(Probabilistic Graphical Models)은 다변량 확률 분포를 효율적으로 표현하

    기 위한 프레임워크로서, 통계학, 전산학 등에서 확률 변수들 사이의 복잡한 상관성, 인과성 등

    의 상호 작용을 모델링하기 위하여 사용된다. Medical diagnosis/Image

    understanding/Bioinformatics/NLP/Finance 등 다양한 분야에서 다변량 변수 분석을 위한 핵

    심 툴로 사용되고 있다. 본 강의에서는, 확률 그래프 모델의 기본 개념에 대해서 설명하고, 기계

    학습 관점에서의 그래프 모델 학습 및 추론에 대해서 소개 한다.

    12.20(수) 10:30~11:00

    Improving File System Performance Using a Decoupled Defragmenter 이성진 교수(DGIST)

    본 발표에서는 플래시 기반의 모바일 스토리지에서의 파일 단편화 문제에 대한 분석과 함께 이를

    해결하기 위한 단편화 제거 기법에 대해 논한다. 이를 위해 먼저 다양한 모바일 폰에서 파일 시

    스템 단편화가 발생시키는 성능상의 문제에 대하여 자세히 알아본다. 이후 플래시 저장장치에서

    파일 단편화가 지니는 특성에 대해 다양한 실험 결과를 바탕으로 분석하고 전통적인 HDD와의

    차이점에 대해 알아본다. 마지막으로 상기 관찰을 바탕으로 플래시 저장장치의 단편화 문제를

    해결하기 위한 Janus라는 단편화 제거 기술에 대해 소개하고 그 효과에 대해 살펴본다.

    20D1D2 / 12.20(수) 10:00~12:00 / 104호

    시간 주제 강연자

    10:00~10:30 고차원 데이터 분석을 위한 확률 그래프 모델 양은호 교수(KAIST)

    10:30~11:00Improving File System Performance Using a Decoupled

    Defragmenter 이성진 교수(DGIST)

    11:00~11:30 Data-Driven Simulation Service Framework 서영균 교수(경북대)

    11:30~12:00High-Performance Computing (HPC) Systems for Scalable

    and Energy-Efficient Deep Learning 유민수 교수(포항공대)

    21D1D2 / 12.21(목) 10:00~12:00 / 104호

    10:00~10:30 Recent results in image deblurring 조성현 교수(DGIST)

    10:30~11:00 멀티코어 시스템에서 NVMe SSD를 위한 입출력 자원 관리 기법 안성용 교수(부산대)

    11:00~11:30 노이즈가 존재하는 환경에서의 Power Method 윤세영 교수(KAIST)

    11:30~12:00 Understanding People and Society through Social Media Analysis 한경식 교수(아주대)

  • 한국정보과학회 KSC 2017 19

    공통행사

    12.20(수) 11:30~12:00

    High-Performance Computing (HPC) Systems for Scalable and Energy-Efficient Deep Learning 유민수 교수(포항공과대학교)

    Minsoo is an assistant professor at the Department of Computer Science and

    Engineering at POSTECH, South Korea. He was formerly with NVIDIA Research as a

    senior research scientist developing hardware & software systems for accelerating

    deep learning applications. He holds a B.E. from Sogang University (2007), a M.S.

    from KAIST (2009) and a Ph.D. from the University of Texas at Austin (2014).

    12.21(목) 10:00~10:30

    Recent results in image deblurring 조성현 교수(DGIST)

    One goal in computational photography is to overcome limitations of traditional

    cameras such as blur. Blur, which is one of the most annoying artifacts in

    photographs, is caused by long exposure time or lens aberration. Deblurring is a

    problem to remove blur from a blurry image so that valuable hidden information can

    be revealed. Deblurring can benefit consumer cameras, medical imaging, aerial and

    satellite imaging, and many others. In this talk, I will briefly introduce some of our past

    and recent results in image deblurring including convergence analysis of deblurring,

    and deblurring in low-light environments. Besides deblurring, I will share my ideas on

    possible future directions in computational photography research.

    12.20(수) 11:00~11:30

    Data-Driven Simulation Service Framework 서영균 교수(경북대학교)

    Computer simulation is widely used in a variety of computational science and

    engineering fields, including computational fluid dynamics, nano physics,

    computational chemistry, structural dynamics, and computer-aided optimal design, to

    simulate the behavior of a system. As the demand for the accuracy and complexity

    of the simulation grows, however, the cost of executing the simulation is rapidly

    increasing. It, therefore, is very important to lower the total execution time of the

    simulation especially when that simulation makes a huge number of repetitions with

    varying values of input parameters. In this work we introduce a simulation service

    system that provides the ability to predict the result of the requested simulation

    without actual execution for that simulation: by recording and then returning

    previously obtained or predicted results of that simulation. To achieve the goal of

    avoiding repetitive simulation, the system provides two main functionalities: (1)

    storing simulation-result records into database and (2) predicting from the database

    the result of a requested simulation using statistical machine learning techniques. In

    our experiments we evaluate the prediction performance of the system using real

    airfoil simulation result data. Our system on average showed a very low error rate at

    a minimum of 0.9% for a certain output variable. Using the system any user can

    receive the predicted outcome of her simulation promptly without actually running it,

    which would otherwise impose a heavy burden on computing and storage resources.

  • 한국정보과학회 KSC 201720

    공통행사

    12.21(목) 10:30~11:00

    멀티코어 시스템에서 NVMe SSD를 위한 입출력 자원 관리 기법 안성용 교수(부산대학교)

    NVMe SSD는 기존 SATA나 SAS와 같은 하드디스크 기반 인터페이스의 한계를 극복하기위해

    개발된 PCIe 기반의 SSD 인터페이스이다. NVMe 인터페이스는 core별 I/O queue의 운용이

    가능해 멀티코어 시스템에서 I/O queue에 대한 lock contention overhead를 줄이고 SSD의

    internal parallelism을 활용해 SSD 성능을 극대화할 수 있다는 장점이 있다. 그러나 이러한 장

    점에도 불구하고 NVMe SSD를 제대로 활용하기 위해서는 여전히 운영체제의 I/O stack에서

    개선되어야할 부분이 존재한다. 특히 Linux container 시스템의 기존 입출력 자원 관리 기법은

    multi-queue 구조를 제대로 지원하지 못하고 있다. 이를 비롯해 NVMe SSD을 위한 I/O stack

    개선과 관련된 연구를 소개하고자 한다.

    12.21(목) 11:00~11:30

    노이즈가 존재하는 환경에서의 Power Method 윤세영 교수(KAIST)

    Power Method 은 여러 분야에 적용이 가능한 매우 간단하면서 강력한 입력 행렬 데이터로부

    터 eigenvector 추출 알고리즘이다. 최근 우리가 처리해야 하는 데이터양이 많아지면서 데이터

    를 압축하여 처리하여야 하는 경우가 많아지는데, 이 경우 행렬 데이터는 원본 데이터와 차이를

    가지게 된다. 이 차이는 Power Method의 성능을 저하하는 요인이 된다. 본 연구에서는 노이

    즈에 따라서 Power Method의 성능이 어떻게 변하는지와 성능을 어떻게 개선해야 하는지를

    다룬다.

    12.21(목) 11:30~12:00

    Understanding People and Society through Social Media Analysis 한경식 교수(아주대학교)

    소셜컴퓨팅(Social Computing)은 컴퓨터정보학과 인문사회학의 결합을 통해 웹에서 일어나는

    사회과학적인 이슈 및 현상에 대해 분석하고 사회적 상호작용과 사람들간의 인터렉션을 지원할

    수 있는 방법에 대해서 연구하는 분야이다. 특히 소셜미디어 빅데이터를 활용한 다양한 연구가

    활발히 진행되고 있으며, 데이터를 해석할 수 있는 다양한 기술의 등장 및 발전에 따라 소셜미

    디어 데이터의 활용 가능성은 더욱 높아지고 있다. 본 강연에서는 (1) 소셜미디어 연구에서 활

    용되고 있는 다양한 도메인, 방법론 및 연구 결과를 소개하고, (2) 이미지와 태그를 바탕으로

    사용자 특성에 따른 소셜미디어 사용 패턴의 차이 및 사용자 모델링 대해서 다룬다.

  • 한국정보과학회 KSC 2017 21

    공통행사

    SW Contest(SW 구현/데모 경진대회)대학원생 부문

    학부생 부문

    시상식

    12.21(목) 09:00 - 12:30 2층 로비

    12.22(금) 09:00 - 12:30 2층 로비

    12.22(금) 14:30 - 16:00 201호

    대학원생 부문

    1. Social media based event detection using multi-embedding and deep learning

    - SCLab Group

    개요__We apply Convolutional Neural Network augmented with multi-word embedding to

    pre-process the raw social data. As a result, the informative data are transformed to series data

    for detecting event using Long Short-Term Memory.

    2. 영상 정보 프라이버시 보호 및 인증 기법

    - SNP

    개요__영상 정보 내의 인물들의 프라이버시를 보호하면서, 영상이 불법적으로 변조된 것이 아니라는 것을

    보장하는 서명을 생성한다.

    3. Wise Factory System을 이용한 공장의 안전 및 생산관리 시스템

    - Wise Factory System

    개요__Wise Factory System은 기존의 공정을 모두 다 자동화 하지도 못하고 그렇다고 해서 그대로 사용하

    기에는 적합하지 않은 공정을 기존 공정에 영향을 미치지 않으면서 Sensing, 진단, 제어장치 등을 기존의

    공정과 연동이 될 수 있도록 구성하여 자동화된 생산관리 및 안전관리 시스템을 구축할 수 있는 시스템이

    다.

    4. 소프트웨어 맞춤형 품질 관리를 위한 역공학 기반의 가시화 환경 개발

    - HIVI

    개요__본 연구의 최종 목표는 소프트웨어 맞춤형 품질 관리를 위한 역공학 기반의 가시화 기법 및 도구의

    개발로써, 소프트웨어의 구조 분석과 향상을 위한 품질 개선 방법을 제안한다. 소프트웨어의 품질 관리 및

    향상이 가능하고, 빠른 SW 설계 검증, 원하는 소프트웨어 추가 및 확장 지원, SW 자동 검증, 에러 조기 발

    견 등의 장점을 가진다.

    5. 디지털 홀로그램 재구성 및 Lens-free 현미경 기법의 휴대용 마이크로 입자 분석장치

    - Make it yourself

    개요__본 제품(디바이스, Sw)은 디지털 홀로그램 재구성 및 Lens-free 현미경 기법을 활용한 휴대용 마이크

    로 입자 분석 장치로, 광학 현미경이 구비가 힘든 현장에서 마이크로입자 분석이 가능하도록 설계되었다.

    6. 직업 환경 내 의사소통 능력 향상을 위한 가상현실 훈련 시스템 및 모바일 피드백 시스템

    - NLPCL*CGV

    개요__본 소프트웨어는 직업 환경 내에서 일어날 수 있는 대화 종류에 대해 사용자의 의사소통능력을 보조

    및 향상시키기 위해 사용자를 훈련시킬 수 있는 소프트웨어 패키지이다. 사용자는 가상현실 기반의 훈련 시

    스템 통해 발화 내용, 시선, 상체 제스쳐에 대한 피드백을 받을 수 있다. 뿐만 아니라, 기존 훈련 시스템과는

    달리 현실에서도 모바일 소프트웨어를 통해 대화를 인식하여 의사소통 능력 향상을 위한 맞춤형 피드백을

    지속적으로 받을 수 있다.

    7. BIGPU: GPU 클러스터 배포 및 종합 관리 프레임워크

    - 바이오지능연구실

    개요__본 소프트웨어 연구실 규모의 GPU 클러스터를 구성하고, 이를 손쉽게 사용하고 관리할 수 있도록

    도와주는 도구의 집합이다. 여러 명의 사용자가 여러 대의 GPU 컴퓨팅 노드를 공유해서 사용하기 위한 인

    터페이스 명령어, 리소스 실시간 모니터링 및 시각화, 사용자들이 공통으로 자주 사용하는 프로그램들의 이

    미지화 및 배포를 제공한다. 본 소프트웨어는 다른 클러스터 소프트웨어와 달리 가상 머신 기반의 운용을

  • 한국정보과학회 KSC 201722

    공통행사

    함으로써 관리자의 부담을 최소화하고 사용자들의 재량을 높여 각자가 원하는 새로운 소프트웨어를 자유롭

    게 설치하고 삭제할 수 있도록 한 것이 특징이다.

    8. Noisy Speech Generation System

    - MakeSomeNoise

    개요__본 system은 기존 음성 코퍼스에 다양한 환경에서 발생하는 잡음을 부여한 noisy speech 코퍼스를 생

    성하며, 잡음 환경에 강인한 음성 인식기 구현에 도움을 준다.

    9. 절단 장애인의 손동작 지원을 위한 음성인식을 3D 프린팅 전자의수 제어 시스템 개발

    - 꿈의 손

    개요__현재 3D 프린팅 전자의수는 근전도 센서와 아두이노가 연결된 동작 제어 API를 사용한다. 하지만 근

    전도 센서의 경우 신호의 잡음이 많고 신체 부위마다의 근전도가 다른 한계가 있는 실정이다. 이를 위해 본

    여구에서는 장애인을 위해 더욱 편리하게 전자의수의 동작을 제어할 수 있는 음성인터페이스를 추가로 제안

    하였다. 음성은 인간에게 가장 직관적이고 편리한 인터페이스로, 음성을 이용하면 다양하고 복잡한 명령을

    쉽게 수행할 수 있게 된다. 본 연구는 절단장애인들에게 희망이 되는 새로운 시도이다.

    10. 파일 수정 오버헤드를 최소화하는 파일 인터페이스 개발

    - Kernel Panic

    개요__파일 내용 일부 삭제 시 파일의 내용을 다시 쓰지 않고, 삭제된 블록의 인덱스를 수정하고 해당 블록만

    삭제함으로써, 아이노트 업데이트 비용만으로 파일 내용 갱신

    11. 확장 현실에서의 멀티 디스플레이 콘텐츠 저작 시스템 개발

    - MINT Lab.

    개요__웹 기반으로 멀티 디스플레이에 콘텐츠를 편집 및 배치할 수 있는 저작 도구를 개발하고 가상 디스플

    레이 추가 기능을 통해 쉽게 확장현실 디스플레이 전시 환경을 구성할 수 있다.

    12. 거대 캔버스를 지원하는 VR기반 3D 볼륨 페인팅 시스템

    - CanvoX

    개요__본 소프트웨어는 기존의 픽셀기반의 2D 디지털 페인팅을 3D 볼륨으로 확장한 세계 최초의 가상현실

    기반의 3D 볼륨 페인팅 시스템이다. 본 시스템의 핵심 자료구조로 고해상도를 지원하고 고실시간 상호작용

    이 가능한 깊은 동적 옥트리(Dynamic Deep Octree)를 사용하여, 룸 스케일 VR환경에서 2.5mm에서

    40km까지 다양한 해상도를 가진 가상의 거대 캔버스상의 3D 볼륨 페인팅을 표현할 수 있다.

    13. 블록체인 전력 시스템

    - Electronic-Chain

    개요__프로슈머 전력거래(블록체인), 프로슈머가 생산하는 전력을 전기차 충전기를 배치하여 개인 충전소

    운영(블록체인), 데이터베이스를 쓰지 않고 모든 정보를 블록체인에 기록

    14. 블록체인 기반의 검증 가능한 추첨 시스템

    - 패브릭

    개요__블록체인플랫폼을사용한추첨시스템구현사례를소개 블록체인을 사용하면 기존의 중앙 집중식 추첨 소

    프트웨어에 비해 공정성 투명성 불변성 검증가능성을 쉽게 확보하고 효율적인 구현이 가능.

    15. 웹 기반 빅 그래프 처리 플랫폼

    - BigDas Lab.

    개요__다양한 그래프 알고리즘을 제공하는 그래프 엔진을 기반으로 웹을 통해 그래프 분석을 수행코자 하

    는 사용자들에게 편이성을 제공한다.

    16. 분산 컨버리지를 만족하는 테스트 데이터 자동 생성

    - SQUARE

    개요__C 언어로 작성된 소스 코드를 대상으로 높은 분기 커버리지를 달성하는 테스트 데이터를 생성한다.

    테스트 데이터 자동 생성을 위해 다양한 휴리스틱 탐색 알고리즘을 이용한다.

  • 한국정보과학회 KSC 2017 23

    공통행사

    학부생 부문

    1. 블록체인을 이용한 전자 선거시스템 도입

    - bit_election

    개요__전자 선거 시스템을 통한 선기 비용 및 인력 절감, 블록체인 접합을 통한 개표에 대한 무결성(투표

    내역에 대한 조작 및 변조 방지/개표 시 잘못된 득표수 세기 방지) 제공, 실시간 득표 현황 제공

    2. 스마트홈 기반 응용기술을 통한 스마트금고 제작

    - 락엔롤

    개요__현재 있는 기술인 스마트홈 기술 중 사용자들이 원하는 기술은 보안과 안전이다 이는 현재 스마트 홈

    광고 및 기대효과에 따른 사용자의 선호기능 조사에서 알 수 있다. 이러한 기술과 조사내용을 바탕으로 스마트

    금고를 제작한다.

    3. Coffee bean Roasting Helper System Based on Image Analysis

    - 비전

    개요__본 소프트웨어는 현재까지는 숙련된 전문가의 식견에만 의존하던 커피 원두 로스팅을 인공지능을 활용

    해 비전문적으로 커피원두를 로스팅하는 개인 사용자들이 목표하는 로스팅 단계의 원두를 얻을 수 있도록

    사용자의 현재 로스팅 단계를 판단하여 알려준다. 이를 위해 커피원두의 단계별 이미지를 AI로 학습하는 모듈

    을 사용하여 정확한 학습결과를 산출하게 됨으로써 숙련된 전문가가 커피 원두 로스팅을 하는 것과 같은 효과

    를 제공하는 소프트웨어를 개발했다.

    4. 드론 시뮬레이터

    - JUICY

    개요__드론 레이싱 경기의 전 과정을 극사실적으로 가상 체험할 수 있는 신개념의 VR/AR 드론 레이싱 기술과

    콘텐츠를 개발함으로써, 드론 레이싱의 스포츠의 진입 장벽을 낮춤과 동시에 새로운 e-스포츠 영역을 창출하고

    사업화할 수 있음.

    5. 지능형 폭력 영상 감지 서비스

    - Bomb

    개요__보호소(어린이집, 요양원 등)의 지속적인 폭력 사태를 방지하기 위하여 지능형 폭력 영상 감지 시스템을

    만든다. 최신 행동인식(Action Recognition) 기술을 기반으로 CCTV를 통하여 얻은 영상의 폭력 행위를 자동

    으로 분석하고 이를 웹 시스템을 통하여 관리자가 확인하며 SNS 알림 서비스를 통해 보호자에게 폭력 영상을

    보여준다.

    6. 블록체인 기반의 투명하고 안전한 마이크로그리드 전력거래

    - Energy Chain

    개요__블록체인 네트워크에서 신뢰할 수 있는 실행코드인 스마트 컨트랙트 기술을 이용해 안전한 전력거래

    를 구현하고 제3자 없이 탈중앙화 환경에서 경매를 통해 자동화 동작으로 최선의 가격을 탐색하는 투명한

    전력거래를 제안한다.

    7. 챗봇, 위치기반 서비스를 이용한 여행 인생샷 공유 로봇

    - 불고기마이쩡

    개요__‘찰칵(Chalkak)’ 사용자들과 여행 사진을 공유, 평가하며 챗봇(Chatbot)을 통해 인생샷, 관광지, 주변

    맛집 등에 대한 정보를 검색 및 추천 받는 기능을 제공하는 신개념 여행 컨텐츠 봇.

    8. 동영상 속 특정인물 검색 시스템(A System for Extracting a Specific Person in a Video)

    - 후아유 (WhoRU)

    개요__객체 인식 API를 이용하여 객체 중 사람을 인식하고, 이 과정에서 상의 하의 색상 정보를 추출해 영상

    검색의 데이터베이스를 구축한다. 결과적으로 색상 정보를 이용하여 특정 인물을 검색하고, 해당 인물의 등장

    시점부터 영상을 재생한다.

  • 한국정보과학회 KSC 201724

    공통행사

    9. 검색이 되는 음성 녹음 앱,

    - 콜라보

    개요__는 음성 인식 API를 활용한 음성 녹음 검색 앱이다. 이 앱의 주 기능은 음성 파일의

    텍스트 변환 기능과 변환한 텍스트를 기반으로 한 검색 기능이다. 는 청각 정보를 시각화하고 이를

    효과적으로 검색하게 하여 사용자의 편리함에 기여할 수 있으며, 공유 기능으로 타 사용자들과 쉽게 정보를

    공유할 수 있다,

    10. 스마트폰 기반 전자LED스틱을 활용한 가상 LED 전광판

    - 가장 밝은 빛(The brightest glow)

    개요__JAVA FX GUI 환경을 이용해 구축한 Virtual LED Display Server와 다수의 스마트폰 기기간의 디스플레이

    장치 공유를 통한 QR코드 기반의 Virtual LED Display 처리 원천기술을 확보 하고, 공연장 또는 경기장에서 사용 가능한

    공연 특화 S/W 상용화 전자 LED 스틱 기술을 개발한다.

    11. 객체인식을 적용한 시각장애인들을 위한 점자 학습기

    - Louis

    개요__시각장애인들이 사물을 직접 볼 수 없기에 만져보고 해당하는 사물을 기기를 통해 음성으로 듣고, 출력

    된 점자로 학습한다.

    12. 라즈베리파이를 이용한 아로마케어시스템

    - 아로마케어시스템

    개요__웹 브라우저를 통한 아로마 효과 제어

    13. 물 범람 방지 장치

    - Startor

    개요__물의 범람이 일어나는 것은 평소에 쌓이는 오물 이라는 환경적 요소가 작용하기 때문에 사전에 방지하

    고, 물의 범람으로 인해 일어나는 재산피해를 최소화 하고, 단기적, 넓은 지역에서의 사용가능한 범용성을

    추구합니다.

    14. 다양한 얌호화 얄고리즘을 결합한 암/복호화 프로.그램의 설계 및 구현

    - 언어과학

    개요__얌호화란 자신의 정보를 허가받지 않은 제3자가 취득하거나 열람할 수 없도록 하는 것에 목적 이 있으

    나 일반인이 자신의 자료를 암호화하는 것은 어떤 암호화 방법을 이용하여야 안전하고 또 이를 어떻게 암호화

    하여야 하는지 모르기 때문에 개인적 인 목적의 문서 암호화는 쉽지 않다. 이러한 이유로 중급 수준의 이용자조

    차도 타인에게 비밀화 하려는 문서를 암호화 하지 않은 채 저장하고 있는 형편이다. 본 SW는 사용자의데이터

    전송 시 제3자가 결코 해독할 수 없도록 고대 압호와 현대 암호를 융합한 새로운 암호화 시스템을 설계하고

    이를 구현하여 국민 누구나 암호화 프로그램을 쉽게 사용 가능하도—록 하고자 한다.

    15. 뉴스를 분석하고 사용자에게 정확한 정보를 전달

    - 뉴스헬퍼

    개요__특정 토픽에 대하여 사람들이 뉴스를 접할 때 단편적이고, 허위사실에 대한 뉴스들이 많아 사용자가

    오해하거나 이해하기 어려움이 많음. 그를 해결하기 위해서 뉴스를 분석하여 다양하고 정확한 정보를 전달하여

    사용자가 판별하기 쉽게 만들어준다.

    16. Deep Learning기반의 Smart Scarecrow

    - Chaser

    개요__야생동물(고라니, 멧돼지)로 인한 농작물 피해가 매년 100억원 이상으로 집계 되었다. 이러한 문제를

    해결하기위한 대책으로 야생동물의 접근을 방지하고 쫓아내는 시스템을 개발하였다.

  • 한국정보과학회 KSC 2017 25

    공통행사

    17. 강화 학습을 이용한 드론 수평 제어

    - Drone-Hover

    개요__쿼드콥터를 강화 학습을 이용하여 제어하는데 앞서 1축 드론 프로토타입의 호버링을 강화 학습을 통해

    구현하였다. 정확�