• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1996.11a
• /
• pp.19-35
• /
• 1996

VOD(Video on Demand) 에서의 인증 시스템은 기본적으로 공개키 증명서 방식과 공개키 암호 메카니듬을 이용한 인중 프로토콜에 바탕을 두고 실현될 수 있다. 본 논문에서는 VOD 에서의 인증 시스템을 실현하기 위한 인증 프로토콜 스택, 인증 프로토콜, 그리고 적용 가능한 인증 매카니듬을 분석한다 그리고 VOD 인증 시스템을 실현하기 위해 요구되는 서버 및 사용자 측면에서의 인증 관련 변수 및 타이머를 정의하고, 각 개체에서의 인증 절차를 규정한다 또한 국내 VOD 시스템에 적용될 수 있는 인증 방식의 기본 원칙을 재시한다. 그리고 인증을 위한 공개키 증명서의 형태를 정의하고, RSA서명 메카니듬을 이용하여 이를 구현하며, 인증 프로토콜을 768 비트 RSA서명 메카니듬 및 MD5 해쉬 함수를 이용하여 C 언어로 실현한 시뮬레이션한 결과를 제시한다. 본 연구의 논문의 결과는 VOD CA(Certificate Authority) 구축시 및 VOD 인증 시스템 실현시 유용하게 적용될 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.427-729
• /
• 2003

인터넷의 사용이 보편화됨에 따라 빠르게 변화하는 사용자의 요구를 만족시킴과 동시에 편리하고 유용한 서비스를 제공하기 위하여 사용자와 자연스럽게 의사소통할 수 있는 대화형 에이전트의 연구가 활발히 진행되고 있다. 그러나 현재 상용되고 있는 대부분의 대화형 에이전트들은 도메인 제한적 정보만을 제공하는 경향이 있어 도메인 변경의 경우 스크립트에서부터 새롭게 설계해야 하는 이중 부담을 겪고 있다. 본 논문에서는 스크립트 설계자가 특별한 사전 지식 없이도 간단한 입력 절차만 거쳐 자동으로 스크립트를 재구성할 수 있는 스크립트 인터페이스 구현에 초점을 맞춘다. 이 때 자연어로 입력되는 사용자 질의의 다양한 어휘들을 자동으로 대표 언어로 변환시킬 수 있도록 온톨로지 개념을 도입하여 동의어 사전을 구축함으로써 시스템의 효율성을 극대화한다. 또한 질의에 대한 다양한 답변 생성을 가능하게 하며, 실제 의류 사이트를 안내하는 대화형 에이전트를 구현하여 적용해 봄으로써 그 가능성을 알아본다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.945-946
• /
• 2009

현재의 컴퓨터 설문 시스템은 설문의 규칙이나 처리절차들을 하드코딩하는 방식으로 구현하기 때문에 설문이 변경되면 처리엔진을 수정해야 한다. 이것은 설문 처리엔진이 설문에 종속되어 있음을 의미한다. 본 논문에서는 이러한 약점을 해결하고자 능동문서 모델을 이용하여 설문으로부터 처리엔진을 독립시키는 방법을 고안하였다. 능동문서 기반의 설문지는 컨텐츠, 로직, 지식베이스(사용자 응답), 질의로 구성된다. 이 중에서 로직은 다양한 질문유형에 대한 처리 방법을 기술하는 것으로서 어떤 설문 설계자도 정의할 수 있어야 한다. 또한 로직은 직관적으로 서술할 수 있고 실행가능 하도록 XML 형식의 규칙 마크업 언어인 ERML로 표현하였다. ERML로 작성된 로직은 Prolog로 변환된 후 추론기에 등록되며, 사용자 응답에 따라 설문을 제어하고 처리한다. 마지막으로 몇 가지 질문유형을 ERML로 구현하고 설문 시스템(WINAD: The Web Interview System with Active Documents)에 적용한 실험 결과 설문으로부터 처리엔진을 독립시킬 수 있음을 확인했다.

• Korean Journal of Cognitive Science
• /
• v.4 no.2
• /
• pp.5-28
• /
• 1994

In this thesis we attempt to analyze modern Korean poetic texts in the franmeworks of text limgisitics and cognitive pragmatics. Both frameworks describe and explai human verbal communicantion in terms of congnitive information-processing procedures.By utilizing analytical devices provided by seven standards of textuality we can analyze any type of text,especially in terms of the cognitive operations underlying the production and reception processes.It is clamed in cognitive pragmatic framework that human ostensive inforential communication is regulated by the Principle of Relevance.We claim that the relevance-based framework of pragmatics provides evidence and rationale for those cognitive operations identified in the text linguistic framework. poetic texts involve every kind of cognitive strategies and processing procedures underlying human verbal communication.So,if modern Korean poetic texts are satisfactorily analyzed by text linguistics and cognitive pragmatics,it means that both frameworks are very useful tools for analyzing texts and that all the other text types which are less complicated than poetic text will also be analyzed by these frameworks. Researchers of poetry,and poets,are sensitive to poetic effects.They feel more of poeticity while reading poetic texts than ordinary readers do.However,these researchers or poets sometimes give different interpretation of a single poetic text.The interpretation of poetry cannot be anything,because poets write poems with particular intertions and do not just throw them out so as to be interpreted at ramdom.This thesis suggersts that the poeticity felt by the reader can be described and accounted for in a scientific way.In other words,text linguistics and cognitive pragmatics enable the researchers of poetry to become objective in interpreting poetic texts. It will be clearly shown that we have to see poetic texts from a cognitive perspective,since they are by-products of cognitive processing performed by discourse participants.

• 한국정보교육학회:학술대회논문집
• /
• 2011.01a
• /
• pp.15-22
• /
• 2011

Most of the robot programming curriculums consists mainly of understanding robot programming language and learning a simple grammatical sentences rather than logical problem solving process, these curriculums impose a burden on childrens' learning. Storytelling offers opportunities for continuation of childrens' positive learning motivation to practice symbolic manipulations, hold multiple abstract concepts in their heads, and create meaning between these ideas. In this paper, to overcome the difficulty of robot programming curriculum in elementary school and find teaching method which derives the childrens' motivation, we used storytelling in study of our robot programming curriculum.

• Journal of Korea Multimedia Society
• /
• v.9 no.7
• /
• pp.773-781
• /
• 2006

XML is a standard language to express and exchange the data over the web. Recently, researches about techniques that storing XML documents into RDBMS and managing it have been progressed. These researches use a technique that are receiving the DTD document as an input and generate the relational schema from it. Existing researches, however, do not consider the semantic preservation because of the simplification of the DTD. Further, because existing studies only focus on the preservation technique to store information such as content and structure, there is a troublesomeness that have to use the stored-procedure or trigger for the data integrity during the stores of XML documents. This paper proposes a improved Inlining technique to create effective relations and to preserve semantics which can be inferred from DTD.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1567-1570
• /
• 2012

기존 연구에서는 순차적, 상태, 엑티브 다이어그램 기반의 테스트케이스 추출을 초점을 두고 있다. 하지만 현재 최신의 모델링 언어인 UML2.4.1(Unified Modeling Language) 기반으로 한 테스트케이스 추출 메커니즘은 없다. 그래서 본 논문은 UML2.4.1 기반에 기존의 원인-결과 다이어그램의 접목을 통해 테스트케이스 추출 메커니즘을 제안 한다. 이를 위해 UML2.4.1 의 메시지-순차적 다이어그램에 ECA Rule(Event Condition Action)기법을 적용하고, 제안한 접목 알고리즘을 통해 확장된 메시지-순차적 다이어그램을 원인-결과 다이어그램과 접목한 후, 결정 테이블화로 테스트케이스를 발생한다. 이러한 절차를 통해 모델링 기반에서 테스트케이스 추출 가이드가 제공된다. 본 논문에서는 복잡한 메시지-순차적 다이어그램을 통해 테스트케이스 발생 사례연구로서 자동차 와이퍼 시스템을 적용한다.

• Journal of The Korean Association of Information Education
• /
• v.15 no.2
• /
• pp.253-264
• /
• 2011

The 2007 revised curriculum designated information-related subjects informatics and changed the direction of education by stressing problem-solving skills in consideration of the characteristics of the subject. The purpose of this study was to examine whether the problem-solving method and process sections of informatics textbooks had an inquiry tendency to foster the problem-solving skills of students. Four textbooks that were widely selected from among the authorized textbooks were analyzed by utilizing Romey method. As a result, just one textbook was found to have an inquiry tendency in terms of texts, but every textbook had a sufficient inquiry tendency in terms of activities. But in terms of structure, there were some problems that commercial softwares were utilized and some softwares employed a particular programming language. The findings of the study suggest that no question should be posed about intrinsic inequality in conjunction with textbook selection, and that textbooks should be structured not to make students adversely affected by learning environments.

• The KIPS Transactions:PartA
• /
• v.19A no.2
• /
• pp.93-100
• /
• 2012

LLRP (Low-Level Reader Protocol) specifies an interface between RFID readers and RFID applications, also called LLRP servers and clients respectively. An LLRP server should concurrently execute various functions. This paper designs an LLRP server of a multi-threaded architecture. For that, (i) the operational procedure between LLRP servers and clients is investigated, (ii) the functional requirements of LLRP servers are presented, (iii) the operation of an LLRP server is decomposed into several threads to satisfy those functional requirements, and (iv) the operational procedure is further examined in thread-level. To validate the designed architecture, it is modeled and simulated by using the DEVS formalism which specifies discrete event systems in a hierarchical, modular manner. From the simulation result, we can conclude that the proposed architecture conforms the LLRP standard and satisfies all the given functional requirements.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.4
• /
• pp.229-237
• /
• 2013

As demand for IT services increase, which are based on SOA and cloud computing, service level agreements (SLAs) have received more attention in the parties concerned. An SLA is usually a paper contract written in natural language. SLA management tools which are commercially available, implement SLAs implicitly in the application with a procedural language. This makes automation of SLA management difficult. It is also laborious to maintain contract management systems because changes in a contract give rise to extensive modifications in the source code. We see the source of the trouble is the existence of documentary SLAs (paper contracts) and corresponding executable SLAs (contracts coded in the procedural language). In this paper, to resolve the current SLA management problems we propose an active SLM (Active Service Level Management) system, which is based on the active SLA (Active Service Level Agreement). In the proposed system, the separated management and processing of dual SLAs can be unified into a single process with the introduction of active SLAs (ASLAs).