• 정보처리학회논문지D
• /
• 제11D권6호
• /
• pp.1295-1300
• /
• 2004

지금까지 제시된 정형 검증 기법들 중에서 모델 체킹이 가장 효과적이라는 평가를 받고 있지만, 모델 체킹이 실제 활용되기 위해서는 상태 폭발 문제를 극복해야 한다. 본 논문에서는 상태 폭발 문제를 방지하기 위해서, 원래 모델 M으로 부터 추상화 모델 M'을 얻는 방법을 제안하였다. 주어진 논리식의 모델 체킹에 필요한 변수만을 추출한 후. 모델의 상태 공간을 이들 변수들에 투영함으로서 추상화 모델 M'을 얻었다. M'은 M보다 크기가 작을 뿐만 아니라 더 적은 행위를 갖고 있기 때문에(M'$\leq$M), 추상화 모델 M'을 이용해서 수행한 도달성 분석 결과는 M 에서도 그대로 유효하다. 따라서 M을 모델 체킹할 때 상태 폭발이 발생하면, 축소된 모델 M'을 이용하여 모델 체킹할 수 있다. 제안된 추상화 기법을 푸쉬 푸쉬 게임 풀이에 적용했고, 모델 체커로는 Cadence SMV와 NuSMV를 사용하였다. 그 결과 상태 폭발 문제로 인해서 풀 수 없었던 게임을 추상화를 이용해서 해결하였다. 그리고 추상화를 적용하기 이전에 비해서 시간 절감 및 메모리 절감 효과가 있었다. Cadence SMV의 경우 평균 87%의 시간 절감 및 79%의 메모리 절감이 있었으며, NuSMV의 경우 83%의 시간 절감 및 56%의 메모리 절감이 있었다.

• 만화애니메이션 연구
• /
• 통권36호
• /
• pp.259-280
• /
• 2014

애니메이션 '겨울왕국'은 전 세계적으로 최고의 흥행을 기록하며 3D 애니메이션의 역사를 다시 쓰고 있다. 이러한 흥행 원인 가운데에 이른바 최첨단 디지털 기술의 적합한 도입 및 사실적인 재현에 의한 영상 콘텐츠 효과는 사진매체의 리얼리티 구현을 통해 가상현실과 이미지 재현이라는 영상미학의 의미 전달 및 경계를 재해석해 내는 기회가 되었다. 특히 과학기술에 의한 디지털 콘텐츠 기술의 발달은 사진의 특수성을 부각한 3D 리얼리티 이미지에 의한 가상현실을 구현함으로써 실재와 가상현실의 경계를 허물고 관객들을 몰입시키는 효과를 자아낸다. 기존의 리얼리티의 개념을 초월한 또 다른 관점에서 해석할 수 있는 콘텐츠 기술 및 영상미학적 측면은 보드리야르의 시뮬라크르와 벤야민의 아우라 이론에서 살필 수 있다. 여기에서 포토리얼리티에 의한 3D 이미지는 가상현실의 존재적 가치 및 리얼리티의 의미 생성 과정 그리고 공간 표현의 실재성 측면에서 다양한 시사점을 제시한다. 2014년 전 세계를 강타한 '겨울왕국'은 이러한 영상기술 및 미학적 의미를 바탕으로 3D 애니메이션의 이미지 재현성을 극대화하여 상업성, 예술성, 창조성의 발전을 도래하게 하였다. 여기에서의 허구적 리얼리티 기술 구현 및 의미 전달은 예술과 상업, 그리고 미학과 논리 사이의 관계 변화를 통해 3D 애니메이션 콘텐츠 문화 영역 및 네트워크 형성 작용에 커다란 가능성을 제시하고 있다. 다시 말해 문화와 사회, 재현과 현실 사이에서 발생할 수 있는 또 다른 차원의 대립과 경험의 긴장감을 제공하고 있는 것이다.

• 디자인학연구
• /
• 제18권3호
• /
• pp.95-104
• /
• 2005

정보과도화(information overload)'와 '정보 불안(information anxiety)' 현상을 겪고 있는 21세기를 우리는 '정보의 시대(age of information)'라고 말한다. 사람들이 인지해야 할 정보는 더 많고 복잡해졌지만 개인의 정보처리능력은 제한되어있다. 따라서 정보디자이너는 효율적인 시각시스템을 개발하여 대중의 쉽고 빠른 커뮤니케이션을 도와야하는 시대적 문제를 안고 있다. 본 연구는 이러한 시대적 문제인식에서 시작하였다. 점차 정보와 각 언어의 중요성이 높아져 가는 시점에서 사회적인 시각커뮤니케이션을 활성화하기 위한 하나의 방법론을 수사학에서 찾아보았다. 오랜 역사를 가지고 커뮤니케이션을 연구해온 수사학은 오늘날 시각정보커뮤니케이션의 사회적 환원에 수많은 가능성을 제시한다. 이를 토대로 정보디자인에 적용될 수 있는 수사학적 표현원칙과 논리를 파악하여 정보디자인의 수사학적 프로세스와 표현 방법을 제안하구 디자인의 사회적 활동에 활용하고자 한다. 본 연구에서 제시한 수사학적 방법론을 사례작품인 서울시 대중교통 정보디자인에 적용하여 새로운 맵과 안내서를 개발하였다. 개발을 위한 기초자료를 얻기 위해 서울시 대중교통 정보디자인의 현황을 분석하고, 서울시민을 대상으로 사용자평가를 실시하였다. 48개 TAZ를 기본으로 서울시 도시공간구조를 모듈화하고, 가능한 이동경로를 환산하여 예측될 수 있는 정보읽기 프로세스를 제안하였다. 제안된 디자인은 통합정보제공과 컬러코딩의 사용, 스타일의 적용 및 순차적인 정보읽기프로세스에 따라 진행되었다.

• 대한원격탐사학회지
• /
• 제15권2호
• /
• pp.147-158
• /
• 1999

지표면에 대한 다양한 정보를 제공해 주는 원격탐사기법은 수 십년 동안 우리의 환경을 관찰하고 이해하는데 중요한 역할을 해왔다. 이러한 원격탐사 자료를 이용하는데 다양한 디지털 영상처리기법이 도입되어 자료에서 관찰되는 여러 가지 특성을 모형화하고 처리하는데 매우 유용하게 활용되어져 왔다. 화소들 간의 공간적 관계를 고려하는 Markov Random Field (MRF) 모형은 텍스처 모델링이나 영상분할 및 분류와 같은 여러 분야에서 많이 이용되는 모형으로 이것에 기초한 다양한 알고리즘이 발표되었다. 보통 원격탐사 자료는 그 크기가 매우 크고 시간적 간격을 두고 변화를 관측해 가는 경우에는 분석해야할 자료의 양이 매우 방대하다. 이러한 자료를 처리하는데 걸리는 시간은 처리해야할 자료의 양과는 비선형적 관계에 있다. 본 논문에서는 MRF를 이용하여 원격탐사 자료를 처리할 때 걸리는 시간을 단축하기 위한 방법론이 연구되었다. 이를 위해 논리적 구조로 영상을 피라미드형태로 감소하는 크기로 분석하는 multiresolution 구조가 고려되었는데 이는 연상의 거시적 특징과 미세한 특징을 효율적으로 분석할 수 있는 방법을 제공해 준다. 영상의 크기가 커질수록 파라미터 추정 또한 복잡하고 많은 시간을 요하게 된다. 본 논문에서는 이를 위해 Bayesian 방법을 이용하여 원격탐사 영상과 같은 크기가 큰 영상의 MRF 모형의 파라미터를 효율적으로 추정할 수 있는 방법에 제안되어 있다.

• 철학연구
• /
• 제123권
• /
• pp.209-244
• /
• 2012

이 글은 마음인문학의 철학적 정초 작업의 목적으로 마음 정의를 시도한다. 이를 위해 필자는 먼저 제반 심리개념들이 전반적으로 어떤 영역과 관계하고 있는지 물은 후, 그 영역을 세계 내 존재로서의 인간의 실존 활동들에다 정위시킨다. 세계 내 존재로서의 인간이 삶을 영위할 때, 그 구성요소는 유기체 내부세계, 공간 세계, 시간 세계 그리고 행동세계고, 이것들이 역동적으로 엮여 인간 삶의 다양한 장면들을 창출해 낸다. 이의 설명을 위해 먼저 자급자족체계로 이해되는 유기체에 관한 체계론적 기술이 제시된다. 그러고 나서 이 모델에 기반을 둬서 유기체/인간이 어떤 (논리적) 경로로 삶을 구성하고 개선하는지 단계별로 밝히는 가운데, 필자는 이 과정을 참조하여 충동적 마음, 조작적 마음, 메타 마음, 집단의식/사회적 마음, 인성적 마음 등을 구성해 내고(이때 각 계열의 마음은 다시 세분되어 논해진다), 그리고 종국적으로 그 모든 과정의 특징을 일반화시켜 마음을 (기능론적으로) 정의한다. 이 글에서 마음은, 간단하게 말해, 인간 실존에 소용되는 세계적 요소들을 거미줄처럼 엮어 인간 실존을 가능하게 할 뿐 아니라, 인간 실존을 승화시키는, 인간과 세계의 매개 및 자기승화의 장치/기관으로 이해된다.

• 한국컴퓨터정보학회논문지
• /
• 제15권1호
• /
• pp.219-226
• /
• 2010

최근 대부분의 주차관리 시스템들은 고객들에게 다양한 서비스를 제공하고 있지만, 그 서비스들의 대부분은 주차 공간의 확장 및 자동 주차 관제시스템 등 극히 제한적이다. 고객들에게 주차 관리 서비스의 질을 한 층 더 높이고 다양화하기 위해서는 고객이 그 시스템에 대해서 어느 정도 만족하는지를 고려하는 것은 필수적이라 할 수 있다. 같은 조건하에서도 고객들마다 만족도는 다를 뿐만 아니라 애매한 언어로 표현될 수 있다. 따라서 본 연구에서는 고객들이 어느 정도로 주차 관리시스템에 대해서만족하는지를퍼지변수로정량화하는방법과주차관리시스템의제반문제점들에대해서 효율적인 결정을 내릴 수 있는 퍼지 추론 시스템 구조를 제안한다. 이러한 구조 하에서 퍼지논리를 이용한 추론엔진은 퍼지 지식베이스의 규칙과 상황 데이터를 비교 하고, 중간 결과를 얻어 통합하고, 역퍼지화 과정을 거쳐 최종 결과 값을 MATLAB 프로그램을 이용하여 얻어낸다. 본 연구에서 제안한 퍼지 추론 시스템 구조는 사람의 감정과 같이 애매하게 표현될 수 있는 경우에 고객의 만족도를 효율적으로 분석할 수 있다. 이 구조는 주차장 고객만족도 뿐만 아니라 도메인이 다른 다양한 서비스 분야 등의 고객만족도를 분석하고 개선하기 위한 방법에도 효율적으로 활용할 수 있을 것이다.

• 직업교육연구
• /
• 제30권4호
• /
• pp.69-87
• /
• 2011

지금까지 교육자의 정보 및 지식 전달과 관련된 관심은 대부분 교육자가 제공하는 언어적 특성 즉 언어적 논리성, 전문성 등에 관한 것이다. 그러나 최근 들어 교육자를 비롯한 커뮤니케이터에 대한 평가 지표에서 비언어적 커뮤니케이션 행위의 중요성이 강조되고 있다. 동일한 언어적 메시지를 전달하여도 표현하는 방법에 따라서 언어적 메시지에 대한 이해력과 설득력이 달라진다는 것이다. 이에 본 연구의 목적은 대학 교육 현장에서 교수들이 사용하는 비언어적 행위가 학생들의 학업성취도에 미치는 영향을 알아보는 것이다. 먼저 비언어적 행위를 신체언어, 공간언어, 유사언어, 신체적 외형의 네 가지 유형으로 분리하고, 이들 네 가지 유형의 비언어적 행위가 교수에 대한 태도에 미치는 직접적 영향과 교수에 대한 태도를 완전매개로 학업성취도에 미치는 간접적 영향을 알아보았다. 또한 많은 교육 연구에서 중요하게 고려되고 있는 학업적 자기효능감이 교수에 대한 태도와 학업성취도간의 관계를 조절하는 역할을 파악하였다. 연구대상은 4년제 대학에 재학 중인 학생 214명이며, 자료의 수집은 온라인 조사를 통해 이루어졌다. 연구결과에 따르면 비언어적 행위의 네 가지 유형 중 유사언어를 제외한 세 가지 유형이 교수에 대한 태도에 긍정적 영향을 미치는 것으로 나타났다. 특히 신체언어와 신체적 외형 등 비음성적 커뮤니케이션의 상대적 영향력이 강한 것으로 나타났다. 또한 학업적 자기효능감의 조절효과가 입증되었다. 학업적 자기효능감이 낮은 집단이 높은 집단에 비해 교수에 대한 태도와 학업성취도간의 관계에 더 많은 영향을 미치는 것으로 밝혀졌다.

• 비교문화연구
• /
• 제45권
• /
• pp.245-268
• /
• 2016

2008년 개봉된 영화 <도쿄!>는 미셸 공드리 감독의 <인테리어 디자인>, 레오 카락스 감독의 <메르드>, 봉준호 감독의 <흔들리는 도쿄>로 구성되어 있다. 이 세 편의 단편은 모두 도시적 삶에서 비롯된 자기 소외의 경험을 다룬다. 도시에서 어떻게 자기 자신으로 살아남을 것인가? 삶의 문제는 근본적으로 삶의 자기 유지와 관련되어 있다. <도쿄!>에서 세 명의 감독이 펼쳐놓은 이야기는 이러한 도시적 삶이 자기-보존적이면서 동시에 자기-해체적인 양상을 띠고 있음을 보여준다. 도시는 문을 열면서 닫고 닫으면서 여는 이중구속의 역설적 움직임이 지속적으로 이루어지는 공간이다. 도시적 삶은 이러한 움직임 속에서 데리다가 무한하게 확장할 것을 제안했던 자가면역적 논리에 항상 노출되어 있다. 삶의 문제는 근본적으로 삶의 자기 유지와 관련된다. <도쿄!>를 구성하는 세 편의 단편에서 도시적 삶은 전유적, 탈전유적, 비전유적인 존재 양상을 통해 자기성을 드러낸다. 전유적 자기가 타자를 다시 제 소유로 삼음으로써 자기를 더욱 강화한다면 비전유적 자기는 순수하게 동일한 것으로 남고자 스스로를 방어한다. 이러한 도시적 삶의 양상은 필연적으로 자가면역적 반작용에 부딪칠 수밖에 없다. 오직 탈전유적 자기만이 자가면역적 반작용 속에서 약속 안의 위협을 감수하며 자기성의 움직임의 또 다른 양상의 가능성을 예표한다.

• 한국기록관리학회지
• /
• 제19권3호
• /
• pp.271-292
• /
• 2019

최근 중앙행정기관은 업무관리시스템을 클라우드 기반의 온나라2.0으로 변경하였다. 국가기록원은 클라우드 업무관리시스템의 기록을 이관받아 관리할 수 있도록 클라우드 기반의 기록관리시스템을 개발하여 보급하고 있다. 클라우드 컴퓨팅의 이점을 극대화하여 기록관리가 보다 효과적 효율적으로 이루어지도록 재설계할 수 있는 기회이다. 전자기록 관리의 프로세스와 방법이 종이기록 관리방식을 단순히 전자화하는 것에서 탈피하여 디지털 기술에 따른 변환(Transformation)의 수준으로 나아갈 수 있는 기회이기도 하다. 첫째, 이관의 방식을 변환해 볼 수 있다. 업무관리시스템과 기록관리 시스템이 클라우드 저장소를 공유하게 되면 처리과에서 기록관으로 기록물 이관 시 콘텐츠 파일들을 물리적으로 이동시키지 않고 메타데이터만 복사하는 방식으로 이관할 수 있어 비용이 줄고 무결성 훼손 위험이 줄어들 수 있다. 둘째, 기록물의 저장공간 할당에 대한 전략을 구상해 볼 수 있다. 클라우드 저장소를 업무관리시스템과 기록관리시스템이 공유하는 것을 전제로 한다면 콘텐츠 파일들을 저장할 때 기록의 보존기간에 따라 저장하는 위치를 구분함으로써 이점을 얻을 수 있다. 셋째, 기록의 생산시스템, 기록관리시스템, 정보공개시스템 등 콘텐츠에 접근하는 시스템들이 클라우드 저장소를 공유하게 되면 콘텐츠의 중복을 최소화하는 방향으로 설계를 전환할 수 있다.

• 한국엔터테인먼트산업학회논문지
• /
• 제14권1호
• /
• pp.97-106
• /
• 2020

오늘날 세계 시네마 애니메이션의 주류는 미국 디즈니, 드림웍스, 20세기 폭스 같은 영화사들이 출품한 애니메이션 영화이다. 이 애니메이션 영화들은 할리우드 블록버스터 제작의 영향을 받아, 높은 원가, 대작으로 전세계 관객들에게 현란하고 화려한 시청각의 향연을 선사했다. 1994년 설립된 드림웍스 애니메이션은 10여년 만에 유명해졌다. 선후로 전 세계에 널리 알려진 많은 애니메이션 가작을 출품하였다. 그러나 드림웍스의 성취는 외부 환경 요인을 제외하면 자신의 애니메이션 시나리오가 과인한 데서 비롯된다. 강력한 시나리오 스토리지는 애니메이션 영화의 논리적이고 매력적인 측면을 보장합니다. 본 문에서는 <쿵푸팬더> 시리즈, <슈렉> 시리즈, <이집트 왕자>, <크루즈 패밀리>, <치킨 런>, <메가마인드> 그리고 드림웍스가 제작한 다른 대표 영화들을 주요 분석 대상으로 하여, 그것의 극본 창작 스타일은 다음 네 가지 측면의 예술적 특징을 가지고 있음을 검토하였다. 극본은 과장이 심하고, 제재가 풍부하며, 정합성이 뛰어나며, 극본 창작은 상상력이 뛰어나 시각적 아름다움을 충분히 표현할 수 있다. 스토리 구조는 잘 조절되어 있고, 공간은 현실에서 나오지만 상상력으로 가득 차 있다. 캐릭터는 개성이 뚜렷하고 대화는 온건하지만 강압적이다.