• 한국컴퓨터정보학회논문지
• /
• 제3권1호
• /
• pp.25-34
• /
• 1998

함수 언어에서 병렬성을 표현하는 주된 기법으로는 스트릭트니스 분석과annotation이 있다. 스트릭트니스 분석은 번역기가 병렬성 탐색을 수행하여 탐색된 정보를 목적 프로그램에 표현하는 기법이며, annotation은 프로그래머에게 병렬성 탐색을 맡겨서 원시프로그램에 표현하도록 하는 기법이다. 본 연구는 annotation에 관한 것으로 annotation 구문을 가지는 원시함수 언어와 이를 위한 번역기의 전반부를 설계하고 구현하는 것을 목적으로 한다. 번역기의 전반부는 원시함수언어 프로그램을 중간 언어인 확장 람다계산 프로그래프로 번역한다 번역기는 UNIX 환경에서 컴파일러 자동화 도구인 YACC, Lex를 사용하여 C로 구현한다. 본 논문에서는 번역기에 사용된 구현기법에 대해서 기술한다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2007년도 정기학술대회
• /
• pp.365-374
• /
• 2007

This paper investigates the nature of Japanese argument cluster (Steedman 2000b). Based on Combinatory Categorial Grammar, a type-raising analysis of case particles which captures some aspects of the information structure in Japanese is discussed, including contrastive interpretation of coordination, wh-constructions, and some theme and rheme-related grammatical phenomena. These observations offer further support for the study of syntax, semantics, and phonology interface and the earlier analysis of English information structure.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권3_4호
• /
• pp.202-211
• /
• 2003

객체지향 방법론에서 정적 및 동적 모델에 관한 구문(Syntax)과 의미론(Semantics)의 형식적 정의는 잘 이루어 졌으나 객체 상호작용의 행위에 대한 형식론은 아직까지 제시되지 않았다. 본 논문에서는 객체 상호작용을 묘사하는 UML의 순서(Sequence) 다이어그램을 토대로 프로세스 대수를 사용하여 객체 상호작용을 정의하고 객체 상호작용의 특성을 정규화 시킨다. 이러한 결과는 M. Snoeck과 G. Dedene[9]가 제시한 종속존재 관계의 개념을 상호작용 관계의 개념으로 대체하여 형식론을 전개할 수 있음을 보여준다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(2)
• /
• pp.353-356
• /
• 2002

Due to the increased complexity and size of digital system and the need of the H/W-S/W co-design, C/C++ based system design methodology gains more Interests than ever in EDA field. This paper suggests the methodology in which handshake module corresponding to each basic statement of C is provided of the form of STG(Signal Transition Graph) and then, C statements is synthesized into asynchronous circuit through syntax-oriented translation. The 4-phase handshaking protocol is used for the communications between modules, and the modules are synthesized by the Petrify which is asynchronous logic synthesis CAD tool.

• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2005년도 춘계학술발표대회 논문집
• /
• pp.159-163
• /
• 2005

The purpose of this study was to analyze the relationship between the product characteristics and spatial configuration in a retail store. This study utilized the analytical method of Space Syntax, and the software package used for the analysis was New-wave and Pesh. The qualitative study focused on the showroom of 'H INTERIOR', a leading furniture company in Korea, and examined the accessibility of the space. The result showed that the main accessible route was well established in the retail store, and more trendy and fashionable products were likely to be displayed in more accessible places. Also, the products in the selected showroom were arranged according to the pricing information, so that products with lower price were displayed in more accessible places. This study suggested that it be important to adequately and appropriately display the products in relation to the characteristics of products, and implied that the method of Space Syntax was useful to strategically evaluate the display in retail spaces.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권11호
• /
• pp.1136-1140
• /
• 2010

Esterel 언어는 동기 (synchronous)식 절차(imperative)형 언어로 유한 상태 기계 (finite state machine)를 기반으로 한 정형적 의미구조를 가지고 있어 오토마타를 이용한 프로그램 분석에 매우 용이하다. 본 논문에서는 프로그램의 수행 과정이 필요 없는 문법 구조 바탕의 오토마타 생성 규칙을 제안한다. 우리의 생성 규칙은 문법 구조를 직관적으로 표현하고 모든 가능한 경로를 나타내기 때문에 다양한 분석을 적용하기에 적합하다.

• 중국학논총
• /
• 제71호
• /
• pp.23-40
• /
• 2021

'过' and '了' are the key points, as well as difficult ones, in the academic study of Chinese grammar and language teaching. This article analyzes this language use by taking two sentence structures as example, namely 'Pao le.' and 'Pao guo le.'. As the semantic meanings of 'V+了2' and 'V+过1+了2' are very similar. Therefore, it can be confusing for non-native speakers to master this usage. This article attempts to sort out and analyze the usage environment and pragmatic characteristics of 'V+过1+了2' by employing the examples from the data of Corpus of the Chinese Linguistics Research Center of Peking University. By focusing on the usage environment and pragmatic characteristics of '过' and it is desirable for teachers to combine semantics, syntax and pragmatics while explaining the grammar point, in order for learners to understand accurate information quickly and learn how to use it.

• 대한전자공학회논문지
• /
• 제23권6호
• /
• pp.908-915
• /
• 1986

In this paper, an English-Korean machine translation system which consists of a syntax analyzer, a semartic analyzer and a sentence generatodr is proposed. The intermediate language in the syntax analysis is described by a lambda categorial grammar that is based on Montague Grammar, and the augmented context free grammar is introduced in the description of object language. Much difficulty in constructing general rules and semantic representations of an object language in the parser can be avoided by using the knowledge from the user interface utility that can modify the contents of dictionary and grammar rules.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1986년도 춘계학술발표회 논문집
• /
• pp.189-193
• /
• 1986

In this paper, in order to make the compiler that the corrective detection of errors and expression of more understandable error messages are provided, the usage of cause-effect testing method and case study (simulation COBOL compiler) using this methodology are illustrated.

• 정보보호학회논문지
• /
• 제25권5호
• /
• pp.1021-1026
• /
• 2015

피싱 피해의 확대에 따라 정부 및 기관의 대응이 빨라지면서 피싱 공격은 더욱 발전하여 악성코드 및 취약점 활용에까지 이어지고 있다. 최근 마이크로 소프트의 패치가 발표될 때 마다 해당 취약점을 이용한 공격 기술이 공개되고 이를 악용하는 사례가 늘어나고 있다. 따라서 방어하는 입장에서도 패치를 분석하고 대응하기 위한 기술의 수요가 증가하였으며, 이로 인하여 다양한 패치 분석 방법론이 등장하였다. 하지만 이는 마이크로 소프트 제품에 맞춘 경우가 많으며 모바일 환경을 대상으로 이루어지지는 않았다. iOS와 같은 모바일 장치의 경우 운영체제를 구성하는 파일의 크기가 작고 개수가 많기 때문에 빠르게 비교해주는 기능이 필요하다. 따라서 본 연구는 기존의 연구에서 사용하던 Control Flow Graph나 Abstract Syntax Tree 방법이 아닌 기계어 코드에 최적화된 코드 필터링 방법을 이용한 패치 비교 방법론을 연구하여 안전한 모바일 환경을 구축하기 위한 기반을 마련하고자 한다.