• Review of Korean Society for Internet Information
• /
• v.7 no.3
• /
• pp.19-25
• /
• 2006

• Journal of Korea Multimedia Society
• /
• v.2 no.3
• /
• pp.347-354
• /
• 1999

Image sequence is compressed and stored as the unit of frame in computer, and reconstructed with desired quality according to several applications. In some cases specific parts are more important than other parts within a frame and these important parts must be reconstructed with high quality compared with the other parts and several schemes are suggested for such application and these schemes need to separate the important parts from a given frame, and also the syntax of shape, texture, and motion information must be defined for important parts and the other parts. But syntax rule in H.261, MPEG1 or MPEG2 is not suitable for our application because the syntax rules in the existing scheme can not express shape information for separating the important regions from each frame. So we propose a new syntax rule which represents the shape, texture and motion information in the circumstances where specific important parts exist in a frame.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• 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.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• 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.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• 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으로 구분하여 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.430-432
• /
• 1999

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

• Journal of Korean Society for Geospatial Information Science
• /
• v.15 no.3
• /
• pp.11-18
• /
• 2007

Recently 3D GIS and its applications are getting attention increasingly as various ubiquitous-related techniques for 3D spaces are being developed. Although they call for quantitative measures such as accessibility, most accessibilityrelated studies are limited to 2D networks, not 3D indoor space levels. In this paper, we develop an accessibility index applicable to 3D models. We first examine the theory of Space Syntax which has been developed and used to measure the connectivity or relationships between spatial segments in urban or architectural environments. Then, we expand the principle to a more general form so it can be applied to both street and indoor space levels. We incorporate different types of impedances in moving between places including distances, turns and transfers between floors into the traditional Space Syntax that measures the spatial depths solely based on the structural forms. Finally, we illustrate the use of the proposed measure comparatively using a campus building.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.26 no.4
• /
• pp.200-217
• /
• 2023

The purpose of this study is to analyze the urban spatial network of Busan in a time-series manner to examine the planning role of centeral area change and spatial management. The analysis method used the ASA(Angular Segment Analysis) technique of the space syntax theory, and the analysis period was divided into three periods from 1937 to 2022, when the Busan urban planning was established. As the result, the center area formed in Nampo-dong and Gwangbok-dong were differentiated and moved to Seomyeon, and then the process of redifferentiated into Yeonsan was confirmed in Seomyeon. It is also room for the center area to move to the western region in the future, and it was possible to identify the center area formed by the policy-set and amenity elements. In addition, we examined the system of urban spatial structure through the intelligibility analysis of space syntax theory, and found that the qualitative interpretation of existing studies and the interpretation from the perspective of space syntax theory were consistent with each other. Through this, it was possible to confirm that the role of the plan for space management.