• 한국복식학회:학술대회논문집
• /
• 한국복식학회 2003년도 춘계학술대회
• /
• pp.43-43
• /
• 2003

현대산업사회로의 전환에서 포스트모더니즘시대에 살고 있는 현대인은 소외의식, 욕구불만, 자기정체성에 대한 물음 등을 안고 살고 있다. 이러한 문제들을 다양한 방식을 통해 표현되어지고 있는 오늘날. 의식상황을 나타내는 내면은 자신의 가장 근본적이며 본질적인 욕구를 말하며 자신의 내면을 의식적이든 무의식적이든 드러내어 자신의 존재를 찾기를 원한다. 또한 고정관념에서 벗어나 다양한 형식과 방법론을 추구하고 있으며, 인간의 내면의 본질적인 감정을 표현하려고 한다.

• 제어로봇시스템학회지
• /
• 제6권3호
• /
• pp.68-81
• /
• 2000

본 논문에서는 최근 10여년간 세계적으로 많은 관심과 더불어 비약적인 연구발전을 이루어 온 이산사건시스템의 관리제어에 있어서 기본적인 이산사건모델링과 관리제어이론을 설명하고최근의 연구동향 등을 소개한다. 또한 기존의 연속변수시스템과 대비해 이산사건시스템의 동적특성을 알아보고 구체적인 사례들을 살펴본다. 이러한 이산사건시스템의 동적특성을 기술하기 위해 형식언어이론에 기초한 논리적 이산사건모델을 소개하고 그 위에서 관리제어이론의 개념을 설명하나다 그리고 제어가능성 및 관측가능성의 관리제어기 존재조건을 토대로 관리제어기의 구현에 대해 알아본다 마지막으로 현재까지 수행되어온 관리제어에 대한 다방변의 연구 활동을 살펴보고 앞으로의 연구방향을 전만해 본다

• 디지털콘텐츠
• /
• 11호통권126호
• /
• pp.44-48
• /
• 2003

스트리밍.음악을 물처럼 흘려보내는 기술이다.서버에 단 한번만 복제를 해 심어 놓으면 이를 원하는 사람들에게 무한정 공급할 수 있다. 듣고 싶은 노래가 굳이 내 컴퓨터 안에, 혹은 내 MP3 플레이어나 MD 안에 없어도 음악을 들을 수 있는 기술이다. 원하는 노래를 갖고 있지 않아도 인터넷에 접속만 할 수 있으면 내 것처럼 들을 수 있으니 가히 음악 소비의 혁명이라 하지 않을 수 없다.인터넷에 존재하는 수많은 커뮤니티들은 자신이 좋아하는 곡을 임베드 태그를 활용해 다른 회원들도 즐길 수 있도록 하고 있다. 반드시 CD나 테잎을 소유해야만 즐길수 있었던 음악 소비 형태가 스트리밍 서비스 덕분으로 음악 감상의 형식이 크게 바뀌고 있다.

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

하드웨어 검증과 모델 체킹 등의 분야에서, SAT(satisfiability problem)나 항진 명제 검사(tautology checking)는 매우 중요한 문제이다. 그러나 이들은 모두 NP-complete 문제이므로 그 복잡도가 매우 크다. 이를 해결하기 위해 여러 가지 연구가 이루어져 왔으며, 여러 효율적인 알고리즘이 존재한다. 이러한 알고리즘은 대부분 일반 표현식을 CNF(conjunctive normal form)로 바꾸어 입력 형식으로 사용한다. 이 논문에서는 일반 표현식을 입력으로 받아 DNF로 변환한 뒤 DNF의 특성을 이용하여 SAT를 검사하는 효율적인 방법을 제시한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2015년도 춘계학술발표대회
• /
• pp.225-227
• /
• 2015

공개 키 기반(PKI)에서 사용되는 표준 인증서인 X.509 인증서 내 정보들은 사람이 읽기 좋은 형태로 이루어져 있지만 기계와 기계 사이의 통신에서는 필요하지 않은 부분이 존재한다. 이 부분은 M2M 통신에서 사용되지 않을 뿐 아니라 통신의 효율성 또한 감소시킨다. 따라서 본 논문 에 서는 X.509 인증서를 경량화 시킨 새로운 구조를 제시함으로써 M2M 통신에서의 효율성을 높이고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 춘계학술발표대회
• /
• pp.311-313
• /
• 2019

다양한 요약 프로그램이 존재하지만 입력되는 정보의 형태가 텍스트에 한정되어있다. Sumalyze는 그러한 한계점을 보완한 파이썬 언어 기반 라이브러리다. 다양한 형식의 데이터를 입력받으며 컨텐츠의 종류에 맞는 요약과 범주화를 제공한다. 또한, 컨텐츠의 핵심파악을 돕기 위해 요약에 대한 분석을 제공한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2019년도 춘계종합학술대회
• /
• pp.307-308
• /
• 2019

장르소설 중 게임소설은 한국 내에서만 하나의 장르로 구분되는 독특한 분야이다. 게임소설의 발전에 앞서서 MMORPG 내의 게임플레이를 소설 형식으로 구현하는 '온라인게임 여행기'라는 것이 존재했었다. 온라인게임 여행기는 컴퓨터 게임 잡지를 발표 지면으로 삼고 있었고, 컴퓨터 게임 잡지의 폐간과 더불어 사라진 장르가 되었다. 본 논문에서는 1999년부터 2003년간에 걸쳐서 발전했던 온라인게임 여행기의 시말에 대해 검토해본다.

• 비파괴검사학회지
• /
• 제18권3호
• /
• pp.205-210
• /
• 1998

이미 오래전부터 국내외에서 석유화학공장 등의 보온 배관에서 보온재를 벗기지 않고 배관의 부식 손상 및 잔존두께를 평가하는데 방사선투과시험법을 적용해 오고 있다. 그러나 배관 용접부의 결함 탐상에 관한 방사선투과법에 대한 국제 및 국내 코드는 이미 마련되어 있지만 배관의 두께와 내부에 존재하는 부착물(deposit) 등의 두께를 측정하는 것에 관련한 국제 및 국내 코드는 미비되어 시험 절차 및 시험 결과에 대한 시비가 근본적으로 존재할 수 밖에 없을 뿐만 아니라 표준화된 시험 기술의 미비로 현장에서 많은 시행착오를 동반하였다. 그러나 최근 이 시험법에 대한 관련 원안(protocol)을 확정하기 위해 각국에서 개별적으로 수행되었던 기존의 연구 결과들이 취합되고 있으며 부족한 부분들에 대한 연구가 국제 공동 연구 형식으로 이뤄지고 있다. 따라서 본 연구에서는 tangential radiography를 적용하여 보온된 배관의 잔존 두께를 평가할 수 있는 시험 방법을 제시하고자 하였다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.545-549
• /
• 2009

본 연구에서는 주흐름방향으로 식생 영역이 교차적으로 존재하는 개수로 흐름에 대한 3차원 수치 모의를 수행하였다. 지배방정식의 난류 폐합을 위해 $k-{\varepsilon}$ 난류모형을 이용하였다. 먼저, 하상의 일부만 식재된 부분 식생 수로를 수치모의 하고 기존의 실험 결과와 비교하였다. 그 결과 본 모형이 평균유속 분포를 매우 잘 예측하는 것으로 나타났으나, 레이놀즈응력 분포는 실험 결과에 비해 비식생영역에서는 다소 과소 산정하고 식생영역에서는 과대 산정하는 것으로 나타났다. 이는 본 모형이 등방성 모형이기 때문에 식생 경계부에서 발생되는 난류의 비등방성 효과를 정확히 예측 할 수 없기 때문인 것으로 판단된다. 또한 주흐름방향으로 식생 영역이 교차적으로 존재하는 대응 식생 수로를 수치모의하고, 계산 결과를 기존의 실험 결과와 비교하였다. 그 결과 본 모형이 대응 식생 수로에서의 유속 분포를 매우 잘 예측하는 것으로 나타났다. 또한 식생 밀도가 증가함에 따라 식생이 흐름 방향을 변화시켜 점차 만곡수로와 유사한 형태의 흐름이 형성되는 것으로 나타났다.

• 한국정보통신학회논문지
• /
• 제5권3호
• /
• pp.483-491
• /
• 2001

Java RMI는 네트워크를 통해 연결된 분산 환경 시스템에서 원격 컴퓨터에 존재하는 메소드간에 정보를 주고받을 수 있는 어플리케이션을 개발할 수 있도록 개발된 모델이다. 본 논문에서는 Java RMI를 이용하여 원격 컴퓨터에 존재하는 객체의 메소드를 연결하는 시스템을 설계하고 구현하였다. 이를 위해, 클라이언트가 이용할 수 있는 동적 메소드 연결 인터페이스 및 구현 부분을 API 형식으로 완성하였다. 또한 동적 메소드 연결시에 서버에서 사용하는 동적 메모리 할당, 소멸 등을 위한 관리 루틴을 완성하였다.