• 한국실내디자인학회논문집
• /
• 제18권5호
• /
• pp.71-79
• /
• 2009

This research understands semantics-system in contemporary space design as a poetic form. It provides that the possibility of various interpretation of space and makes to escape from insipid formal logic of compulsion uniform meaning. In order to unfold this argument, poetic semantics system has to be revealed using conversion of articulation factors in text of space(semantics and syntax). First of all, after setting up the articulation system of space language, we have to understand the conversion of articulation factors that generate a new grammar breaking up the rule of old syntax. And the various expression of form in Contemporary Space design focuses on a poetic expression, that is, the abstraction system fused by space factors(conversion of articulation system). In this method of research to recognize the subject of space in architecture, the importance of interpretation has to be highlighted, as the importance of language is emphasized that intermediates between object and interpretation. The reason to recognize Contemporary space design as a text is that it is a gathering of symbol as a object of interpretation and a mediator. The important issue of this study is to research how and what to transmit by poetic semantics system in contemporary space design. It brings about a poetic problem what it intends to becomes(the problem of meaning operation) in a narrow sense and a interpretational problem what it intends to do(the problem of communication). When we define interpretation the technique of defining a text, it involves the premise of inevitableness of multiple understanding, or the possibility to Interpret variously. In the end the ambiguity of poetic language and the infinity of moaning process as the moaning expansion system in contemporary space design is the flexible measure to solve the self-criticism.

• 정보교육학회논문지
• /
• 제20권4호
• /
• pp.323-332
• /
• 2016

로봇의 발음인식과 진단 그리고 발음빠르기는 로봇보조언어교육의 가장 중요한 상호작용이다. 이 연구는 한국인 초등 영어 학습자를 위하여 음율적 오류를 수정함으로써 원어민과 같은 억양을 산출하기 위한 로봇음성합성기의 효과성을 측정하기 위한 것이다. 이를 위해 초등 4학년 영어학습자들의 F0 범위값과 발화 속도라는 음성음향적 변수를 측정하여 분석하였고, 그 결과를 정규 영어교육의 시작하지 않은 1학년 학습자와 비교하였다. 로봇음성합성기를 활용한 언어학습에서 두 집단은 F0값보다 발화속도 변인에 반응하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.591-593
• /
• 2010

온톨로지(Ontology)란 인간이 사물을 분류할 때 어떠한 개념적인 의미로 분류를 하는 것으로부터 출발하여, 현상이나 개념에 의미를 두어 객체화 하는 것을 말한다. 또한, 공학에서의 온톨로지는 공유하는 개념과 형식적이고 명확한 명세로 그 의미를 부여 하는 개념적인 것이 공학에서의 온톨로지이다. 방송 멀티미디어로 특화된 표준인 TV-Anytime과 멀티미디어 전반을 표현하는 MPEG-7의 표준을 바탕으로 방송용 멀티미디어 표현방법에 사용할 수 있는 온톨로지 개발이 요구된다. 이에 본 논문에서는 TV-Anytime의 멀티미디어 표준과 MPEG-7의 멀티미디어 표준을 기반으로 방송용 콘텐츠에 대한 온톨로지를 개발 하였으며, 온톨로지를 표현하기 위한 언어로 OWL(Web Ontology Language)과 RDF(Resource Description Framework)을 사용하여 방송 콘텐츠 메타데이터를 표현하는 온톨로지를 개발하였다.

• 한국정보처리학회논문지
• /
• 제5권4호
• /
• pp.995-1004
• /
• 1998

본 논문은 LTS 프로세스 명세 검증을 위해 프로토콜의 행위와 상태에 대한 deadlock, livelock, reachability, liveness 검증을 위한 모델 검증기 구현에 대해 기술하였다. Modal mu-calculus를 사용하여 구현된 모델 검증기는 modal logic으로 표현된 프로토콜 특성이 LTS 명세하에서 만족하는지를 자동적으로 검증해 주는 model checking 도구이고 LTS 명세의 Safety와 Liveness 검증에 매우 강력한 성능을 보이는 것을 구현을 통해 실험적으로 증명하였다. 제시된 도구는 Windows NT 환경하에서 IBM PC로 $C^{++}$언어를 사용하여 구현되었다.

• ETRI Journal
• /
• 제7권3호
• /
• pp.49-58
• /
• 1985

통신망 프로토콜은 정보통신망의 중추 신경계를 형성하면서 통신망 시스팀을 구성하는 각 부분들과 전체적으로 조화있게 동작하여야 한다. 최근에 이르러 통신망의 규모 및 복잡성이 증대되고 통신망 시스팀을 구성하고 있는 부분적인 시스팀들이 여러 회사에서 생산됨에 따라, 통신망 프로토콜에 대한 규격을 보다 정확한 방식으로 기술하는 것이 필요하게 되었다. 프로토콜을 정확하게 기술하기 위하여는, 통신망 프로토콜을 정확하고 모호하지 않게 표현 할 수 있는 형식 표현 기법(FDT : Formal Description Technique)이 정의되어야 한다. 지금까지 널리 받아들여지고 있는 대표적인 FDT에는 ESTELLE(ISO 422), LOTOS(ISO 423), SDL 및 Petri Net 등이 있으며, 이들 FDT에 관한 연구는 국제 기구인 ISO, CCITT를 중심으로 하여 활발히 진행되고 있다. 본고에서는 ISO 의 subgroup B 를 중심으로 연구되고 있는 FDT인 ESTELLE를 중심으로 하여 ESTELLE의 기본 개념 및 ESTELLE프로그램의 구성에 대하여 소개하고자 한다.

• International Journal of Advanced Culture Technology
• /
• 제6권2호
• /
• pp.117-122
• /
• 2018

As evidenced through rapidly growing digital repositories and web resources, automatic metadata generation is becoming ever more critical, especially considering the costly and complex operation of manual metadata creation. Also, automatic metadata generation is apt to consistent metadata application. In this sense, metadata quality and interoperability can be enhanced by utilizing a mechanism for automatic metadata generation. In this article, a mechanism of automatic metadata extraction called ExMETA is introduced in order to alleviate issues dealing with inconsistent metadata application and semantic interoperability across ever-growing digital collections. Conceptual graph, one of formal languages that represent the meanings of natural language sentences, is utilized for ExMETA as a mediation mechanism that enhances the metadata quality by disambiguating semantic ambiguities caused by isolation of a metadata element and its corresponding definition from the relevant context. Hence, automatic metadata generation by using ExMETA can be a good way of enhancing metadata quality and semantic interoperability.

• 영어어문교육
• /
• 제9권spc호
• /
• pp.131-148
• /
• 2003

This paper, conducted within the GB framework, investigates inversion phenomena in the functional categories, Focalization Phrases and Topicalization Phrases. The leading idea of this paper is that formal feature checking in these two functional categories is mostly responsible for inversion in which either verb or auxiliary verbs appear in front of subjects and also it will try to find an answer to the following questions: "What are the features that trigger the inversion?" and "Can all the inversion constructions explained by Haegeman's Focalization & Topicalization?" My discussion is largely based on English inversion constructions such as wh-inversion, negative inversion, and adverbial inversion. Also I will show there are some problems in Topicalization and Focalization analysis to explain some inversion constructions and present Rizzi(1999)'s analysis for those problems.

• 한국실내디자인학회논문집
• /
• 제17호
• /
• pp.166-172
• /
• 1998

Eclecticism had begun at 1820's and ended at the beginning of the 20c quoted historic and contemporary architecture. This trend is considered with architectural quotation and the meaning has the same text of the eclectic trend of Postmodernism, This study focuse on eclectic characteristics and have purposes of theoretical approaching to and formal analyzing to Contemporary Architecture. And it will be necessary to construct contemporary built environment for diversity of form Because expression of Architectural form by ecleticism is a method without experience designers can take architectural language by indirect experience of another worlds' architectural styles. Architectural form of Ecleticism has to be expressed by designer's own analysis when take a normal identity by creative principal of form-composition it will be a methodology of form composition and a prope necessity.

• 한국어정보학회:학술대회논문집
• /
• 한국어정보학회 2016년도 제28회 한글및한국어정보처리학술대회
• /
• pp.27-32
• /
• 2016

한글 입력 방식은 글쇠배열과 더불어 추가적인 낱자들을 입력하기 위한 결합 규칙이라는 형태로 정의할 수 있다. 그런데 이 규칙을 토대로 입력 방식을 실제로 구현해 보면 겹낱자를 결합하거나 음절이 바뀌는 과정에서 모호성 같은 문제가 발생할 수 있다. 초성과 종성을 문맥에 따라 구분해야 하는 두벌식, 모바일 환경처럼 매우 적은 글쇠, 수십 종류의 낱자들을 조합해야 하는 옛한글이라는 조건이 더해지면 입력 방식을 기술하고 분석하는 난이도가 더욱 높아진다. 본 논문에서는 한글 낱자의 결합 규칙을 대결합과 소결합으로 구분해서 기술하는 체계를 제안하며, 이를 토대로 입력 방식의 예상 동작을 분석해 주는 프로그램을 소개하였다. 그리고 모바일용 삼성 천지인과 KT 나랏글 한글 입력 방식을 동일 프로그램으로 기술하고 분석한 결과를 제시하였다.

• Journal of Information Processing Systems
• /
• 제14권2호
• /
• pp.309-321
• /
• 2018

In the conventional computing environment, users use only a small number of software systems intensively. So it had been enough to check and guarantee the functional correctness and safety of a small number of giant systems in order to protect the user systems and their information inside the systems from outside attacks. However, checking the correctness and safety of giant systems is not enough anymore, since users are using various software systems or web services provided by unskilled developers. To prove or guarantee the safety of software system, a lot of research has been conducted in diverse areas of computer science. We will discuss the on-going approaches for guaranteeing or verifying the safety of software systems in this paper. We also discuss the future research challenge which must be solved with better solutions in the near future.