• Korean Institute of Interior Design Journal
• /
• v.18 no.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.

• Journal of The Korean Association of Information Education
• /
• v.20 no.4
• /
• pp.323-332
• /
• 2016

A robot's recognition and diagnosis of pronunciation and its speech are the most important interactions in RALL(Robot Assisted Language Learning). This study is to verify the effectiveness of robot TTS(Text to Sound) technology in assisting Korean English language learners to acquire a native-like accent by correcting the prosodic errors they commonly make. The child English language learners' F0 range and speaking rate in the 4th grade, a prosodic variable, will be measured and analyzed for any changes in accent. We compare whether robot with the currently available TTS technology appeared to be effective for the 4th graders and 1st graders who were not under the formal English learning with native speaker from the acoustic phonetic viewpoint. Two groups by repeating TTS of RALL responded to the speaking rate rather than F0 range.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.591-593
• /
• 2010

The Ontology is the concept of human beings in any sense to classify things as departure from the classification based on the meaning at the prensent situation and concepts as the object of the Ontology. also, the technology is shared the conceptualization in a formal ontology as a meaning to give a clear description to the conceptual engineering in the ontology. Specialized multimedia broadcasting of TV-Anytime standard and multimedia representation of the overall standard of the MPEG-7 based on the concept of broadcasting multimedia presentations that can be used to develop an ontology who is required. In this paper, in TV-Anytime and MPEG-7 multimedia standard for broadcasting multimedia contents based on standards developed for the ontology, an ontology language for expressing OWL (Web Ontology Language) and RDF (Resource Description Framework) and the broadcast contents using To represent metadata of the system who has been developed.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.995-1004
• /
• 1998

This paper presents an implementation of model checking tool for LTS process specification, which checks deadlock, livelock and reachability for the state and action. The implemented formal checker using modal mu-calculus is able to verify whether properties expressed in modal logic are true on specifications. We prove experimentally that it is powerful to check, safety and liveness for the state and action on LTS. The tool is implemented by $C^{++}$ language and runs on IBM PC under Windows NT.

• ETRI Journal
• /
• v.7 no.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
• /
• v.6 no.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.

• English Language & Literature Teaching
• /
• v.9 no.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.

• Korean Institute of Interior Design Journal
• /
• no.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.10a
• /
• pp.27-32
• /
• 2016

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

• Journal of Information Processing Systems
• /
• v.14 no.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.