• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 1995년도 종합학술발표회논문집
• /
• pp.126-137
• /
• 1995

VDM-SL(Vienna Development Method - Specification Language)은 다양한 표준들의 정확한 기술을 위해 제시되고 있는 형식규격어의 하나로서 특히 보안표준의 표현에 적합한 형식규격어이다. 이러한 VDM-SL을 사용하여 보안표준의 표현 및 실행코드 생성의 정확성과 편리성을 제공하기 위한 다양한 도구들이 개발되고 있으며 이들 중 IFAD VDM-SL Toolbox는 가장 많은 기능을 구진 도구이다. 본 논문에서는 IFAD WDM-SL Toolbox를 이용해 해쉬알고리즘의 하나인 MD4 Message Digest Algorithm을 형식적 표현기법으로 나타내고 이를 바탕으로 참조구현 코드를 C++로 생성하는 방법을 설명한다. 또한 형식적 표현기법과 IFAD VDM-SL Toolbox를 이용해 생성된 참조구현코드의 실행 결과를 MD4의 테스트 벡터 (test vector)를 이용하여 RSA사에서 구현한 MD4 알고리즘과 비교 분석하여 형식적 표현기법을 이용하여 생성된 코드의 활용성에 대해 설명하고자 한다.

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

경극은 중국의 전통극 중 하나이다. 경극의 영어 명칭은 'peking Opera'다. 경극의 "분장"은 희극에서 배우들이 얼굴에 하는 채색 화장을 가리킨다. 경극 배우들의 얼굴 분장을 '검보'라고 한다. 형태, 색채와 유형 면에서 특별한 양식을 갖춘다. 본 논문은 중국에 전하는 가면극의 외면적 표현 형태를 시각디자인 조형영역 분석을 통해 학문적 가치를 창출하는데 목적이 있다. 본 논문의 연구 영역은 경극의 유래, 색채, 형식적 측면에 대한 조형분석과 가면의 표현형식, 즉 표형기법, 색상구성, 형태구성, 역할특성 등의 구성형식을 조형적 분석 틀에 의해 분석하고자 한다. 가면 얼굴의 대표문양 분석을 통해 단순화 표현형식으로 작품을 만들어 연구하고자 한다. 분 논문의 의의는 중국 전통경극의 집중적 연구의 결과 추출을 통해 한국의 유사 전통탈춤과 비교하는 연구의 귀중한 자료로 예측되기에 본 연구를 진행하였다.

• 대한수학회논문집
• /
• 제18권3호
• /
• pp.393-427
• /
• 2003

마쓰 형식을 일반화하는 마쓰-야코비 형식의 개념을 소개하고 이 형식의 성질을 연구한다. 그리고 마쓰-야코비 형식의 연구와 관련된 중요한 문제들을 제시한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2014년도 추계 종합학술대회 논문집
• /
• pp.317-318
• /
• 2014

그림자극은 중국의 오래된 민간 전통 공연 예술이며 초기 중국영화에서 많이 이용했다. 지금 시대에 3D 및 입체 영화를 위주로 하는 추세에서 2D형식의 표현 기법인 그림자극은 어떻게 변화해야 할 것이고 고유의 특성을 발전시킬 것인가? 먼저 그림자극은 비주류 애니메이션 형식으로서 표현의 한계를 가지고 있으므로, 이러한 평면적 예술 기법을 사용하는 영화의 표현형식 및 표현 내용을 고려해야 한다. 둘째 이런 예술 표현기법의 특성과 현대 컴퓨터기술을 서로 결합한 것은 그림자극을 계승 발전시킬 수 있는 요소이다.

• 만화애니메이션 연구
• /
• 통권17호
• /
• pp.5-19
• /
• 2009

웹툰이 활성화 되면서 웹 형식에 맞는 새로운 표현 형식들이 나타나게 되었다. 이를 살펴보면 웹툰에 나타난 새로운 표현양식은 크게 두 가지로 분류된다. 그 하나는 컴퓨터를 기반으로 형성되는 특징으로 CG사용의 보편화, 컬러만화의 대중화가 그에 속한다. 두 번째는 웹기반에서 생성되는 특징으로 세로 스크롤의 경향, 시간 개념의 도입, 애니메이션적인 연출 효과, 매체 최적화 제작 경향, 다양한 미디어 접목 시도를 들 수 있다. 웹기반의 만화 서비스에 대한 문제점이 노정되고 만화가나 만화계의 저작권 등의 해결할 과제도 산적해 있다. 그러나 웹툰이 가지고 있는 속성과 표현양식의 변화는 보다 만화의 지평을 넓혀 줄 것이다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2011년도 춘계학술논문집 2부
• /
• pp.858-860
• /
• 2011

고전주의에서 낭만주의로의 표현방식의 전환은 인간개성 표출에 대한 자유라는 측면에서 그 의미가 크다. 형식이 중요했던 시기는 감정보다 이성적인 면이 발전하게 되고, 인간감정이 우선되는 시기에는 기존형식이라는 틀이 무너지면서 방종에 가까운 표현 방식도 나타나게 된다. 문학이나 음악에서도 특정시기에 필연적으로 등장하게 되는 표현방식이 존재하게 된다. 이 연구에서는 19세기 미국의 낭만주의 문학을 대표하는 에드거 앨런 포우의 작품과 마일즈 데이비스의 20세기 중반 모달재즈의 태동에서 나타난 표현 양식의 변화에서 그 유사점을 찾고, 변화과정상 50년대 후반 모달재즈의 시기를 재즈 낭만주의로 간주한다.

• 정보관리학회지
• /
• 제16권4호
• /
• pp.53-74
• /
• 1999

본 논문에서는 효율적인 암묵적 지식을 표현하기위한 도구로써 개념매핑기법에 대해 기술을 하고 있다. 개념매핑기법은 비형식적인 것에서부터 형식적인기법까지 다양하다. 형식적개념매핑은 사용이 용이하지만 컴퓨터 처리능력이 없다. 반면에 비형식적 개념매핑은 추론능력은 있으나 사용이 어렵다는 단점이 있다. 따라서 미래의 지식매핑시스템은 형식적ㆍ비형식적 개념기법의 장점을 모두 고려해야 할 것으로 보인다.

• 스마트미디어저널
• /
• 제3권3호
• /
• pp.36-45
• /
• 2014

메를로 퐁티의 지각에 근거하여 본 연구자는 움직임을 제품에 구조화된 고유한 미적 성질과 표현 그리고 가치가 통합되어 의미, 즐거움을 체험하는 형식으로 규정했다. 본 연구의 목적은 웨어러블, 유비쿼터스, 인터랙션, 놀이, D.I.Y, 유니버셜, 에콜로지는 이 움직임이 다양하게 제품디자인에 주제화된 형식, 양상임을 주장하는 것이다. 이는 움직임과 모든 디자인형식들 사이의 다음과 같은 유비추론의 방법과 형식에 따라 판단된 결과이다. 첫 번째, 움직임은 미적 표현과 가치의 통합으로써 미적 판단의 근본적, 보편적 명제, 공리다. 두 번째, 모든 디자인형식들은 미적 표현체계에 근거한 가치가 주제화된 사례다. 세 번째, 따라서 모든 디자인형식들은 미적 가치에 의거한 표현의 양상이다. 이상과 같은 판단, 추론의 확실성은 미적 표현으로서 움직임과 디자인형식 사이의 일치가 사실이라는 증명이다. 즉, 미적 가치가 연구된 모든 디자인형식들에서 주제로 성립하여 사용자가 실제로 미적 의미, 즐거움을 체험하였음에 대한 증명이다. 이에 대한 보증은 사용자의 생활 속에서 개개인의 체험이 유일하다. 움직임은 제품의 존재, 사용자의 당위를 미적(실천적) 차원에서 통합함과 동시에 이에 근거해 성립한다. 본 연구의 모든 연구사례에서 강조되는 것은 제품이 아니라 움직임이다. 따라서 제품디자인은 이러한 움직임을 제품에 구조화하는 활동으로 전환된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2016년도 제54차 하계학술대회논문집 24권2호
• /
• pp.247-248
• /
• 2016

본 논문에서는 비디오카메라로 촬영한 영상이나 스마트폰 카메라로 촬영한 비디오 영상 혹은 사진들을 영상 편집 기법으로 카툰 형식으로 표현하여 콘텐츠를 제작한다. 카툰 형식의 콘텐츠는 기존 일반 비디오 영상과는 다른 시각화를 나타내고, 카툰 장르의 특성을 가지고 콘텐츠를 표현한다. 카툰은 하나의 칸이나 선을 구성하여 그 영역으로 카툰 고유의 특성을 표현한다. 이러한 카툰은 카툰의 특성을 갖고, 정보나 내용을 일반 영상과 다른 친밀감을 가지고 표현한다. 또한 본 연구에서는 비디오 콘텐츠를 카툰 고유의 특성과 3D 비디오 효과를 적용하여 콘텐츠를 제작하여 활용하도록 한다. 이렇게 콘텐츠를 제작함으로써 2D 콘텐츠 보다 더 입체감과 사실감을 표현하여 콘텐츠에 대한 흥미와 관심으로 콘텐츠의 효과를 극대화 할 수 있다고 사료한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
• /
• pp.252-257
• /
• 2007

MusicXML은 다양한 전자악보 형식들이 음악을 악보로 표현하는데 있어 지니는 한계를 잘 극복하면서 응용성, 확장성 및 공개성 등의 장점으로 인해 현재 전자악보의 표준으로 가장 적합한 것으로 평가되고 있는 악보 형식이다. 그러나 MusicXML은 XML을 기반으로 한 텍스트 데이터이기 때문에 이러한 악보 형식을 실제 악보로 변환하거나 연주하는 것은 물론 실제 악보 내용을 기반으로 한 악보 검색이 용이하도록 적절한 데이터 구조로 표현하는 것이 필요하다. 본 논문에서는 MusicXML 악보에 대하여 다차원 속성 정보를 가진 데이터의 표현에 용이한 k-d 트리 기반 데이터 구조로 표현하는 방법을 제안한다. 논문은 또한 악보에 대한 k-d 트리 구조를 보다 다양한 응용에 활용할 수 있도록 k-d 트리를 확장하여 구조화하는 방법을 제시한다. 본 논문에서 제안한 방법은 특히 내용을 기반으로 한 악보 정보 검색에 유용하게 이용될 수 있다.