• 인터넷정보학회지
• /
• 제7권3호
• /
• pp.19-25
• /
• 2006

• 한국멀티미디어학회논문지
• /
• 제2권3호
• /
• pp.347-354
• /
• 1999

동영상(Moving image) 처리시에는 연속영상(image sequence)을 프레임 단위로 압축.저장해두고 이를 필요에 따라원하는화질로복원하여 사용하게 된다.그런데 한프레임 내에서도측정한부분들은다른부분들 에 비해서 중요도가 큰 경우가 종종 있다- 따라서 영상을 부호화하고 전송할 때 이틀 중요한 부분들의 화질을 다른 부분들과 차별화하여 부호화하는 방식이 제안되어 있으며, 향후 영상회의, MPEG-4등에서 많이 응용되 리라 판단된다 그런데 이들을 부호화하기 위해서는 중요한 부분과 그렇지 않은 부분의 경계, 텍스춰, 움직엄 정보동을 표현하는 방안이 제시되어야 한다. 기종의 H.261, MPEG 등에서 제시된 방안은 각 중요한 부분과 그렇지 않은 부분들을 구별하지 않아서 본 논문에서 관섬을 갖는 영상에 바로 적용하기는 곤란하다 따라서 본 논문에서는 영상 내에 중요한 부분틀이 폰재하고 이들을 다른 부분들과 차별화하여 처리하고자 할 때 요구되는 특정영역의 경계 텍스춰 움직임 정보 등을 표현하는 방안올 제시하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.123-136
• /
• 2013

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.2-27
• /
• 2002

As pact of a long-ranged project that aims at establishing database-theoretic semantics as a model of computational semantics, this presentation focuses on the development of a syntactic component for processing strings of words or sentences to construct semantic data structures. For design arid modeling purposes, the present treatment will be restricted to the analysis of some problematic constructions of Korean involving semi-free word order, conjunction arid temporal anchoring, and adnominal modification and antecedent binding. The present work heavily relies on Hausser's (1999, 2000) SLIM theory for language that is based on surface compositionality, time-linearity arid two other conditions on natural language processing. Time-linear syntax for natural language has been shown to be conceptually simple and computationally efficient. The associated semantics is complex, however, because it must deal with situated language involving interactive multi-agents. Nevertheless, by processing input word strings in a time-linear mode, the syntax cart incrementally construct the necessary semantic structures for relevant queries and valid inferences. The fragment of Korean syntax will be implemented in Malaga, a C-type implementation language that was enriched for both programming and debugging purposes arid that was particluarly made suitable for implementing in Left-Associative Grammar. This presentation will show how the system of syntactic rules with constraining subrules processes Korean sentences in a step-by-step time-linear manner to incrementally construct semantic data structures that mainly specify relations with their argument, temporal, and binding structures.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.308-319
• /
• 2002

Taiwanese abounds with verbal complexes. Among them, phasal complexes, resultative complexes, and directional complexes are alike in that their second component denotes some sort of result. Moreover, they behave similarly in that they can occur in V-ho-Y, V-e/be-Y, and V-bo-V forms. Despite the similarities, they still differ from one another in several aspects, such as whether objects are allowed inside or after the verbal complex, whether infixing changes their basic meaning, etc. This paper examines their individual properties carefully and proposes that these three types of complexes are all different from one another in their formation and thus the difference in their syntactic behavior. Directional complexes are syntactic phrases, resultative complexes are compounds derived in syntax, and while some phasal complexes are also syntactically derived compounds, others are compounds formed in the lexicon. This paper aims to argue that words (or compounds in this case) can be formed in syntax as well as in the lexicon.

• 한국CDE학회논문집
• /
• 제22권1호
• /
• pp.18-27
• /
• 2017

As building space constitution and layout are critical for satisfying the building owner and users, their optimization is so important in the design process. However it's not always simple to set up objective criteria for the space layout optimization for different requirements and the architects mostly depend on their own experience for these. This study is to suggest a way to make up for this issue by referencing and deducing the space layout based on the given BIM space information and existing knowledge. For this purpose, the Space Syntax is applied to extract the information from a space model and an Expert System is used to make the best use of the relevant knowledge. Based on the Integration indexes for all the spaces, we could compare the space layout alternatives and determine the best selection for different accessibility conditions.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.310-312
• /
• 1999

본 논문은 MPEG-2 TM 5 비디오 복호기의 전체 구조와 처리과정을 기술한다. 주요한 MPEG-2 복호화 과정으로 비디오 syntax 분석, bitstream 복호 처리과정, quantization, DCT, scanning(zigzag 혹은 alternate scanning), 움직임 보상, frame 재구성, 화면 출력을 위한 dithering 과정이 있다. 본 논문에서는 MPEG-2 복호기의 핵심을 복호기 전체 구조, MPEG-2 bitstream syntax, MPEG-2 복호과정, 움직임 보상과 frame 재구성 그리고 화면 출력을 위한 dithering으로 구분하여 소개한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.430-432
• /
• 1999

본 논문에서는 AST(Abstract Syntax Tree)를 이용하여 서로 다른 프로그램의 유사도를 측정하는 방법을 제시한다. 지금까지 유사도 평가 방법은 거의 제시되지 않고 프로그램의 비교평가 연구는 찾아볼 수가 없다. 본 시스템은 서로 다른 여러 프로그램을 입력받아 파싱함으로써 AST를 생성하여 생성된 AST를 유사도 측정에 이용한다. 따라서 다른 비교 측정 시스템보다 비용과 속도 면에서 경제적이고 빠르게 유사도를 검출해 낼 수 있으며, 또한 신속히 평가 결과를 학생들에게 피드백 함으로써 큰 학습성과를 기대할 수 있다.

• 대한공간정보학회지
• /
• 제15권3호
• /
• pp.11-18
• /
• 2007

유비쿼터스와 관련된 다양한 기술로써 최근 3차원 GIS와 어플리케이션들은 점차 주목받고 있다. 대규모 복합 건물들이 생겨나면서 접근성과 같은 계량적인 측정이 요구되지만, 대부분 접근성과 관련된 연구들은 2차원 네트워크 기반으로 이루어 졌을 뿐 3차원 공간상에서의 접근성 분석에 관한 연구는 사례가 극히 드물다. 따라서 본 연구에서는 3차원 공간에서의 접근성을 산출하는 방법을 제안하고 기존의 전통적인 Space Syntax에서의 접근성 산출방법과 이를3차원 공간 내에 적용하기 위한 새로운 방법을 제시하고, 공간간의 거리, 방향전환, 층간 이동 등의 부하를 고려함으로써 공간의 깊이를 산출하였다. 개발된 방법은 캠퍼스 건물모델에 적용하여 비교 분석하였다.

• 한국지리정보학회지
• /
• 제26권4호
• /
• pp.200-217
• /
• 2023

본 연구는 부산의 도시공간 네트워크를 시계열적으로 분석하여 중심지 변화 및 공간관리의 계획적 역할을 살펴보는 것이 목적이다. 분석 방법은 공간구문론의 ASA(Angular Segment analysis) 기법을 사용하였고 분석 기간은 부산시가지계획이 수립된 1937년부터 2022년까지 세 시기로 구분하여 살펴보았다. 그 결과 남포동, 광복동 지역에서 형성된 중심지가 분화하여 서면으로 이동하였고, 이후 서면에서 연산으로 재분화하는 과정을 확인하였다. 아울러 향후 중심지가 서부권으로 이동할 여지가 있고 정책적으로 설정된 중심지 및 어메니티적 요소로 형성되는 중심지를 파악할 수 있었다. 또한 공간구문론의 명료도 분석을 통해 도시공간구조의 체계성을 검토한 결과, 기존 연구들에서 정성적으로 해석한 것과 공간구문론 관점에서 해석한 것이 서로 일치하였다. 이를 통해 공간관리를 위한 계획의 역할을 확인할 수 있었다.