http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 배민오 (검색결과 19 건)
- 무료
- 기관 내 무료
- 유료
-
-
배민오,김영인 동덕여자대학교 2003 정보과학연구 Vol.7 No.-
디지털 컨텐츠의 출판과 배포는 인터넷을 성숙시킬 수 있는 필수 요소로 주목 받고 있다. IDC(International Data Corporation)는 2004년에는 음악, 소프트웨어, 게임, 출판 등 다양한 컨텐츠에 대한 시장형성이 2천 7백 5십억 달러에 이를 것으로 전망했다. 이러한 시장 수요 현실을 가능케 하는 저작권 관리 선두 기술로 DRM(Digital Right Management)을 꼽을 수 있다. 본 논문에서는DRM 시스템이 제공할 수 있는 서비스들을 선(Sun)의 엔터프라이즈자바빈(Enterprise JavaBeans, EJB) 어플리케이션 프레임 워크 상에서 구현하였다 디지털 컨텐츠는 신뢰할 수 있는 시스템간에 매매될 수 있고 그에 대한 권리와 사용 규칙들이 그 내용에 첨가된다. EJB 자체가 확장성 있고 안전한 시스템이기 때문에 DRM을 구현하는데 도입하여 처리하고 있다. DRM 시스템을 EJB 상에서 구현하게 되면 EJB가 가지는 이러한 특성을 보장하면서 DRM 서비스를 제공할 수 있다. EJB 아키텍처 상에서 DRM을 구현하여 새로운 유형의 컨텐츠에 대한 재사용성을 고려할 수 있게 컴포넌트화 시키는 방안을 제시한다. Publication and distribution of digital content are known to be necessary and required technology for internet development. IDC(International Data Corporation) forecasted that in 2004, such various contents as music, software, games, as publication would contribute 275 billion dollars to content market. One of enabling right management technology can be DRM(Digital Right Management). In this work, we implemented services which DRM system must provide using Sun`s EJB(Enterprise Java Beans)application framework. Digital content should be purchased between trusted system. And right and use rules for the content shall be added to the content. Since EJB itself is extendable and safe, we use it for implementing DRM. By implementing DRM on EJB framework, we can easily provide DRM with the characteristics which EJB has. By implementing DRM on EJB architecture, we also proposed new componentization techniques which enables reusability for new types of content.
-
Structural Semantics for Second-Order Recursion Theory
배민오,염희운 동덕여자대학교 2001 정보과학연구 Vol.5 No.-
함수나 연산에 적용할 수 있는 이차 함수를 펑셔널이라고 한다. 계산기능성이론에서는 오래 전부터 램다 계산법을 계산을 분석하기 위해 사용했다. 본 논문에서는 이차 순환을 구축하기 위해 확장된 램다 계산법을 이용하였다. 이 계산법이 함수적 순환의 적용영역을 넓히고 또한 원 정의에서는 제의된 중첩과 순환을 허용한다. 확장된 램다 계산법은 엄격한 정형적 방법에 의해 제시하였고, 이를 위한 의미론으로 평가 연산자를 제시하였다. A functional is a second-order function or operation which can be applied to objects which are also functions or operations. The use of the lambda calculus to analyze computations has a long tradition in computability theory. Here we consider an extended calculus that includes a construction for recursion. Our calculus enlarges the original formalism of functional recursion and allows for a number of nested recursions that were excluded in the original definition. We deal with the extended lambda calculus in a strict formal manner and give the semantics via an evaluation operator.
-
Computability Theory for Functionals
배민오,염희운 동덕여자대학교 2000 정보과학연구 Vol.4 No.-
함수나 연산에 적용할 수 있는 함수를 펑셔널이라고 한다. 여기에서는 처치의 가설을 펑셔널에 확장하였다. 즉, 주어진 펑셔널에 대해 상대적으로 계산 가능한 펑셔널들을 수학적으로 특징 지워서 정의하였다. Sanchis가 (Sanchis, 1988)에서 명시적 알고리즘에서 μ-순환적 연산을 정의한 것과 같은 방법으로 처치의 가설을 접근한다. 여기서 순환적인 알고리즘은 명시적 알고리즘으로 환원될 수 있다는 것이 기본적 가정이다. 이 가정은 순환을 함수 아규먼트에는 대입을 하지 않는 기본 순환만 생각한다면 유효하다고 본다. A functional is a function or operation which can be applied to objects which are also functions or operations. In this paper we extend the well known Church`s thesis to functionals. Essentially, we give a mathematical characterization of the functionals which are computable relative to a given class of functionals. We approach Church`s thesis here as in (Sanchis, 1988), moving from explicit algorithms to μ-recursive operations. The underlying hypothesis is that recursive algorithms can be reduced to explicit algorithms. We think this assumption is valid only when recursion is taken in the sense of basic recursion, where no substitution is possible in function arguments.
-
-
Logic Programming with Default Rules
배민오,염희운 동덕여자대학교 2002 정보과학연구 Vol.6 No.-
본 논문에서는 일반 논리프로그램을 확장하여 표현력이 풍부한 비순환적인 디폴트 논리프로그램을 정의하였다. 디폴트 논리프로그램에는 고전적 부정과 우선순위 충돌해결 방법이 있다. 비순환적 명제의 경우 디폴트 추론 방법은 매우 효과적인 계산을 한다. 확장 논리프로그램들과 같이, 고전적 부정이 규칙의 머리와 몸체에서도 허용된다. 그러나, 디폴트 논리프로그램에서는 일관되고, 유일한 결론 집합을 보장하기 위해 절제된 충돌해결 방법을 채용하고 있다. 또한, 규칙들간의 우선 순위를 명세하는 우선순위 부분 프로그램이 있다. We define acyclic (non-recursive) default logic programs, an expressive superclass of acyclic ordinary ("general") logic programs. Default logic programs are equipped with classical negation and prioritized conflict handling. Default inferencing is computationally tractable for the (acyclic) propositional case, e.g., under the Datalog restriction. As in extended logic programs (Gelfond and Lifschitz, 1991), classical negation is permitted in rule heads and bodies (in addition to negation-as-failure in the bodies). Rules having head p may thus conflict with rules having head p. In extended logic programs, such conflict results in global inconsistency; every literal is a conclusion. Default logic programs feature a disciplined form of conflict handling that guarantees a consistent and unique set of conclusions (answer set). Partially-ordered prioritization among rules is optionally specified explicitly via a prioritization sub-program.
-
-
배민오(Mino Bai),김묘정(Myojung Kim) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
논리는 데이터 모델링을 위한 유용한 지식 표현 언어이다. 가언적 규칙 베이스에서는 사용자가 규칙 베이스의 현상태와 상관없이 가설을 형성하여 추론할 수 있는 시스템이다. 가언적 규칙 베이스를 논리 언어로 모델링하기 위해 통상적으로 직관적 논리가 이용된다. 직관적 논리는 가언적 삽입을 표현할 수는 있지만 가언적 삭제를 가언적 삽입과 함께 표현하지는 못한다. 본 연구에서는 유전적 해럽식에 Girard의 선형 논리 연산자를 추가하여 확장하였다. 유전적 해럽 R-식으로 규칙 베이스의 규칙들을 표현하고 유전적 G-식으로 규칙 베이스의 질의 및 데이터 조작 명령을 표현할 수 있다. 따라서 본 연구의 언어를 이용하면 가언적 삽입 및 삭제를 포함하는 규칙 베이스의 질의 뿐만 아니라 데이터 갱신, 삽입, 삭제와 같은 데이터 조작 명령도 한 개의 언어로 통합적으로 균일하게 모델링할 수 있다.
-
배민오(Mino Bai),이소영(Soyoung Lee),조문정(Moonjung Cho) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅰ
확정절 문법은 구 구조문법을 명시하는데 사용된 후 계산이론적 언어학자들이 많은 연구를 하는 분야이다. 확정절 문법은 혼절에 근거하고 있기 때문에 관계절 공간연결 파서를 구성할 때 메우개-공간 의존을 자연스럽게 설명할 수 없다. 본 논문에서는 메우개-공간 의존을 처리할 수 있는 일반 구 구조 문법 GPSG의 특성에 대해서 논하고 일반 구 구조 문법을 논리 문법으로 확장할 수 있는 방법에 대해서 기술하였다. [7]에서는 메우개-공간 의존을 설명하기 위해서 직관적 논리를 이용하였다. 여기에서는 [7]의 지관적 논리 문법의 한계에 대해서 논하였다. 또 [5]에서는 일차 선형 논리를 이용하였는데, 이는 공간연결 파서로 자연어 문장을 논리식으로 번역하는데 사용될 수 없다. 따라서 본 연구에서는 고차 선형 논리 문법을 이용하여 자연어 파서를 구성하였다.
-
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
