• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1537-1551
• /
• 1998

금후의 고도의 정보화 사회에서 발샐할 다양한 형태의 시스템 요구와 기대에 능동적이고도, 효과적으로 대처해 나가기 위해서는 보다 체계적인 컴퓨터 통신 소프트웨어 개발 방법론의 정비와 확립이 절실히 요구되고 있다. 본 논문에서는 (1)종래의 형식적 기술 기법보다 사용자 친화성(user-friendliness)이 높은 표현 기법으로 통합형 에디터의 제공, (2)(1)에서의 새로운 표현 기법으로부터 국제 표준의 형식적 기술 기법인 LOTOS로의 자동변환법의 제공, (3)형식사양 수준에서의 소프트웨어 재사용의 방법론을 제공한다. 그 결과, 사용자는 특정 FDT(Formal Description Technique)에 대한 깊은 지식이나 충분한 사용 경험이 없어도 시스템에 대한 깊은 지식이나 충분한 사용 경험이 없어도 시스템에 대한 구조적 요구와 동작요구, 데이터요구만 가지고 최종적으로 원하는 형식사양을 생성해 낼 수 있다. 이는 특정 FDT를 직접적으로 이용하는 것 보다 상대적으로 초기 학습의 부담이 적고 기술과 이해가 용이하다.

• ETRI Journal
• /
• 제18권4호
• /
• pp.245-264
• /
• 1997

This paper presents a formalism-based methodology and its implemented environment which constitutes a sound framework for real-time systems development. The software and/or hardware systems developed in such a formal manner are well structured and maintainable. We first propose a set-theoretic VSSS (Variable Structure System Specification) formalism. This formalism is the core of the presented methodology which supports a means of formal specification for real-time systems. We then develop the environment, including VSSS language definition, a translator for the language, and supporting libraries for real-time execution. Finally, a demonstration of the methodology in development of a real-time event manager, a subsystem of an ATM-based communication system, shows the correctness and efficiency of the methodology.

• Asian Journal of Innovation and Policy
• /
• 제4권2호
• /
• pp.242-262
• /
• 2015

The relationship between geographical proximity and academics' formal and informal knowledge-transfer activities in the network is analyzed with a mixed research method. With social network analysis as a basis, we have explored the networks between academics and firms in the 16 regions of South Korea. The result shows Seoul and Gyunggi are identified as central nodes, meaning that the academics in other regions tend to collaborate with firms in these regions. An econometric analysis is performed to confirm the localization of knowledge-transfer activities. The intensity of formal channels measured by the number of academic papers is negatively, but significantly associated with the geographical proximity. However, we have not found any significant relationship between the formality of the channels and geographical proximity. Possibly, the regional innovation systems in South Korea are neither big enough nor strong enough to show a localization effect.

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

This is a speculative paper, describing a recently started effort to give a formal semantics to semantic annotation schemes. Semantic annotations are intended to capture certain semantic information in a text, which means that it only makes sense to use semantic annotations if these have a well-defined semantics. In practice, however, semantic annotation schemes are used that lack any formal semantics. In this paper we outline how existing approaches to the annotation of temporal information, semantic roles, and reference relations can be integrated in a single XML-based format and can be given a formal semantics by translating them into second-order logic. This is argued to offer an incremental aproach to the incorporation of semantic information in natural language processing that does not suffer from the problems of ambiguity and lack of robustness that are common to traditional approaches to computational semantics.

• Genomics & Informatics
• /
• 제9권1호
• /
• pp.5-11
• /
• 2011

Treating genomes just as languages raises the possibility of producing concise generalizations about information in biological sequences. Grammars used in this way would constitute a model of underlying biological processes or structures, and that grammars may, in fact, serve as an appropriate tool for theory formation. The increasing number of biological sequences that have been yielded further highlights a growing need for developing grammatical systems in bioinformatics. The intent of this review is therefore to list some bibliographic references regarding the recent progresses in the field of grammatical modeling of biological sequences. This review will also contain some sections to briefly introduce basic knowledge about formal language theory, such as the Chomsky hierarchy, for non-experts in computational linguistics, and to provide some helpful pointers to start a deeper investigation into this field.

• 한국멀티미디어학회논문지
• /
• 제3권2호
• /
• pp.174-183
• /
• 2000

시스템 수준의 프로토콜 명세를 위한 정형 기법들은 S/W 구현에 중심을 둔 반면, 성능의 향상을 위해서 프로토콜의 설계를 H/W로 구현하는 것에 대한 필요성이 증대되고 있다. 따라서, 특정한 프로토콜을 이용한 시스템의 S/W적 구현에서 H/W적 구현으로 기반 환경이 변화함에 따라 IP(Integrated Processing)기술의 도입이 필요하게 되었다. 또한, 정형 명세로부터 시작하는 H/W의 구현 방법은 정형 명세의 특성에 의해, 구현된 H/W의 정확성, 신뢰성을 보장할 수 있다. 본 논문에서는 형식기술기법중의 하나인 ESTELLE로 정형화된 프로토콜을 H/W언어인 VHDL로 변환하는 방법을 제시한다. 우선 ESTELLE 명세를 VHDL 명세로 변환하는 변환방법을 기술한다. 이는 개념적인 변환방법으로 프로토콜 명세화의 기본 단위인 computation unit과 communication unit의 동작과 H/W에서의 프로세스간 동작의 유사성 등을 비교 분석하였다. 그 후 변환 모델을 기술하고, Inres 프로토콜을 통하여 실제로 ESTELLE을 VHDL로 변환하는 예를 제시한다.

• 한국콘텐츠학회논문지
• /
• 제7권11호
• /
• pp.52-58
• /
• 2007

게임 소프트웨어 개발에는 기획과 프로그래밍 및 그래픽의 조화가 필요하다. 이 중 기획과 프로그래밍 사이에는 소프트웨어 분석 및 설계가 필수적 가교 역할을 해야 한다. 본 논문에서는 이러한 게임 소프트웨어 분석 및 설계를 위해 일반 소프트웨어 공학에서 많이 적용되고 있는 정형기법을 적용하는 것에 대한 가능성에 대하여 고찰한다. 정형기법은 일반적으로 게임 소프트웨어 분야보다는 고신뢰도를 요구하는 소프트웨어 분야에 적용하여 많은 성공을 거두어왔다. 최근 게임 소프트웨어 분야에서도 게임 기획과 게임 프로그래밍 사이에서 효율적인 의사 소통을 통하여 게임 소프트웨어 개발의 경제성과 품질을 향상시켜야 할 필요성이 대두되고 있다. 이러한 배경으로, 본 연구에서는 이러한 정형기법을 게임 소프트웨어의 분석 및 설계에 적용하기 위한 제안으로서 정형기법의 대표적인 기법들을 대상으로 적용성을 분석한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제10권6호
• /
• pp.163-172
• /
• 2021

프로그래밍 언어의 형식적인 의미를 적절하게 표현하면 언어를 표준화하고 최적화하여 번역하는 과정에서 중요한 역할을 수행한다. 파이썬은 주목받는 강력한 언어이고, 파이썬에 대한 형식적인 의미 구조를 정의하고 표현하는 것은 향후 유사한 언어를 설계할 때 참고할 수 있고 표준화하는 과정이나 최적화된 번역기를 구현하는 과정에서도 필요하다. 본 연구에서는 파이썬에 대한 의미 구조를 표현하기 위해 기존의 작용식을 수정하고 업그레이드해서 파이썬의 정적이고 동적인 의미 구조를 표현하는 작용식 2.0을 새롭게 제시한다. 작용식 2.0에 명세된 의미구조를 자바로 구현해 파이썬 프로그램들에 대한 실행시간을 측정하고 시뮬레이션을 통해 작용식 2.0이 구현 가능한 실제적인 의미 구조임을 입증하고, 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식 2.0을 기존의 대표적인 의미 표현법과 비교하여 본 작용식 2.0의 우월성을 확인하고자 한다.

• 디지털융복합연구
• /
• 제13권4호
• /
• pp.205-210
• /
• 2015

자동차산업의 발전과 함께 M2M(Machine-to-Machine)통신이 자동차 산업분야에서 많은 관심이 되고 있다. M2M은 기상, 환경, 물류, 국방, 농.축산 등에서 사용하기 시작하여 장비들이 자동으로 상황에 맞추어 통신을 하고 상황에 맞는 동작을 함으로써 운영해가는 시스템이다. 자동차에서도 차량내부 장치 간, 차대 차, 차와 교통시설물, 차와 주변의 환경 등에 적용되고 있다. 그러나 통신시스템의 특성상 전송구간에서 공격자의 공격에 대한 문제가 있으며 자동차의 운행, 제어계통 및 엔진제어 등에 공격자의 공격이 진행되면 안전에 심각한 문제가 발생하게 된다. 따라서 디바이스 간 보안통신에 대한 연구가 활발히 진행되고 있다. 본 논문에서는 차량의 디바이스간 안전한 통신을 위해 해시함수 및 수학적 복잡한 공식을 이용하여 프로토콜을 설계하였으며 프로토콜 정형검증 도구인 Casper/FDR을 이용하여 실험하였으며 제안한 프로토콜이 각종 공격에 안전하게 동작되며 실제 적용할 때 효과적임을 확인하였다.

• 영어어문교육
• /
• 제5호
• /
• pp.49-62
• /
• 1999

Education systems throughout the world encourage their students to learn languages other than their native one. In Australia, our Education Boards provide students with the opportunity to learn European and Asian languages. French, German, Chinese and Japanese are the most popular languages studied in elementary and high schools. This choice is a reflection of Australias European heritage and its geographical position near Asia. In most non-English speaking countries, English is the foreign language most readily available to students. In Korea, the English language is actively promoted by the Education Department and, in less official ways, by companies and the public. It is impossible to be anywhere in Korea without seeing the English language alongside or intermingled with Korean. When I ask students why they are learning English, I receive answers that include the word globalization and the importance of English throughout the world. When I press further and ask why they personally are learning English, the students mention passing exams, usually high school tests or TOEIC, and the necessity of passing the latter to obtain a good job. Seldom do I ever hear anything about communication: about the desire to talk with other people in English, to read novels or poetry in English, to understand movies or pop-songs in English, to chat on the Internet in English, to search for information on the Internet in English, or to email pen-pals in English. Yet isnt communication the only valid reason for learning a language? We learn our native language to communicate with those around us. Shouldnt we set the same goal for learning a foreign language? In my opinion communication, whether it is reading and writing or speaking and listening, must be central to language learning. Learning a language to pass examinations is meaningless unless those examinations are a reliable indicator of the ability of the student to communicate. In previous eras, most communication in a foreign language was through reading novels or formal letters. This required a thorough knowledge of grammar and a large vocabulary. Todays communication is much less formal. Telephone conversations, tele-conferences, faxes and emails allow people to communicate regularly and informally. Reading materials are also less formal as popular novels and newspapers are available world-wide. Movies and popular songs have added to the range of informal communication available. Finally travel has ensured that people from different cultures will meet easily and regularly. This informal communication requires less emphasis on grammar and vocabulary and more emphasis on comprehension and confidence to speak. Placing communication central to language learning has important implications for the Education system and for teachers.