• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.404-406
• /
• 1998

확정절 문법은 구 구조문법을 명시하는데 사용된 후 계산이론적 언어학자들이 많은 연구를 하는 분야이다. 확정절 문법은 혼절에 근거하고 있기 때문에 관계절 공간연결 파서를 구성할 때 메우개-공간 의존을 자연스럽게 설명할 수 없다. 본 논문에서는 메우개-공간 의존을 처리할 수 있는 일반 구 구조문법 GPSG의 특성에 대해서 논하고 일반 구 구조 문법을 논리 문법으로 확장할 수 있는 방법에 대해서 기술하였다. [7]에서는 메우개-공간 의존을 설명하기 위해서 직관적 논리를 이용하였다. 여기에서는[7]의 직관적 논리 문법의 한계에 대해서 논하였다. 또 [5]에서는 일차 선형 논리를 이용하였는데, 이는 공간연결 파서로 자연어 문장을 논리식으로 번역하는데 사용될 수 없다. 따라서 본 연구에서는 고차 선형 논리문법을 이용하여 자연어 파서를 구성하였다.

• Korean Journal of Logic
• /
• v.1
• /
• pp.9-63
• /
• 1997

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1133-1136
• /
• 2001

ATM 포럼에 제시된 LR 기법에서는 위치 등록기를 각 계층별로 물리적으로 배치하고 있어 다수의 데이터베이스가 필요하고, 데이터베이스 액세스 회수가 증가하며 위치 관리를 위한 신호 트래픽이 많고 호 설정 지연이 증가하는 문제점이 있다. 본 논문에서는 PNNI(Private Network to Network Interface) 기반의 무선 ATM 망에서 기존 LR 기법에서 사용하는 물리적인 계층 구조에서 각 계층마다 위치 등록기를 둠으로 인한 문제점을 보완하기 위해 PNNI 계층을 적용하여 논리적 계층에 의한 위치 등록기 구조를 제시한다. 논리적 계층 구조에서는 위치 등록기를 논리적인 그룹으로 묶고, 이 그룹들을 다시 그룹으로 묶어서 위치 등록기의 논리적인 트리 헝태로 만들어 상위 레벨의 위치 등록기의 역할을 하위 레벨의 위치 등록기 중 하나가 수행할 수 있도록 한다. 그리고, 위치 관리 비용 측면에서 성능을 비교 평가하여 제안된 논리적 계층 구조가 기존의 물리적 계층 구조에 비해 데이터베이스 수가 줄어들고, 위치 관리 비용을 줄이는 효과를 얻을 수 있다.

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.1063-1068
• /
• 2006

본 논문에서는 PAN에서의 빠르고 안정성 있는 서비스 탐색방법으로 그룹관리와 지역캐시를 이용한 논리적 메쉬구조 기법을 제안하고자 한다. 이 기법은 PAN 내부의 노드들을 하나의 그룹으로 관리하는데, 각 노드들은 그룹에 속한 모든 노드들의 정보를 지역캐시로 저장하고 있어 논리적인 메쉬구조를 가지게 된다. 이 지역캐시 정보는 가입과 탈퇴 방법을 통해 각 노드에게 저장되므로 탐색시 발생하는 브로드캐스팅 트래픽을 감소시킬 수 있다. 이때 논리적 메쉬구조를 사용하여 전송하므로 직접전송을 통한 빠른 전송이 가능하다. 또한 이런 논리적 메쉬구조는 특정 서비스의 탐색을 위해 중간에 다른 노드나 레지스트리 서버를 거치지 않으므로 레지스트리 의존 구조에 비해 상대적으로 안정성이 있다. 이 서비스 탐색 방법은 향후 상황정보 공유를 위한 프레임워크에 상황정보 탐색 모듈로서 반영 될 수 있을 것이며 웨어러블 컴퓨팅에도 적용 가능하다.

• The Journal of Information Technology and Database
• /
• v.3 no.1
• /
• pp.85-95
• /
• 1996

본 논문은 특정문서에서 문서가 갖고 있는 일반적인 지식을 이용하여 논리적 항목을 추출하는 방법에 관한 연구이다. 먼저 입력된 문서의 영역 분할, 분리자 추출, 그리고 문자와 비문자를 구별하였다. 논리구조 추출단계에서는 구별된 요소의 상대적 크기, 위치 및 전후 블록들의 연관성에 관한 지식을 이용하여 각 블록들을 레이블링 하였고, 레이블된 항목들의 위치정보값을 이용하여 각 항목들을 자료화하였다. 마지막으로, 오분류된 항목에 대해서는 배치기술자를 이용한 검증을 통해 정정하였다. 본 논문에서 구현한 방법으로 실험한 결과 96.5%의 논리항목 추출율을 획득함으로써 그 유효성을 입증하였다.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.71-109
• /
• 2014

Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models. In this paper I try to show that her attempt to justify the Tarskian definition is only partially successful. I admit that her conceptions of the logical as being invariant under isomorphic structures are enough to show the logical formality of logical consequence relations. But I think that since her conceptions of meanings of terms are quite inadequate for dealing with the problem of empty predicates, she fails to distinguish logically necessary truths from other kinds of truths.

• The KIPS Transactions:PartA
• /
• v.15A no.2
• /
• pp.69-74
• /
• 2008

This paper proposes a structure of low-power MOS current-mode logic circuit with sleep-transistor to reduce the leakage current. The sleep-transistor is used to high-threshold voltage transistor to minimize the leakage current. The $16\;{\times}\;16$ bit parallel multiplier is designed by the proposed circuit structure. Comparing with the conventional MOS current-model logic circuit, the circuit achieves the reduction of the power consumption in sleep mode by 1/50. This circuit is designed with Samsung $0.35\;{\mu}m$ CMOS process. The validity and effectiveness are verified through the HSPICE simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.703-705
• /
• 2002

정보의 급속한 확산과 더불어 체계적이고 효율적으로 정보를 분류하고 활용할 수 있는 방법에 대한 연구의 필요성이 증대되고 있다. 생물정보에 있어서도 기존에 축적된 많은 정보뿐만 아니라 새로 밝혀지는 정보들을 자동적으로 분류하고 재활용하는 방법의 일환으로 귀납적 논리 프로그래밍을 적용한 방법론이 채택되고 있다. 본 논문에서는 귀납적 논리 프로그래밍을 이용하여 단백질 구조 분류 데이터베이스론 생성하고 이를 기반으로 단백질 폴더에 내재된 공통의 규칙들을 발견하고, 새로운 단백질에 적용하여 구조를 예측할 수 있는 방법론에 대하여 기술한다.

• Journal of the Korean Society for information Management
• /
• v.19 no.2
• /
• pp.69-92
• /
• 2002

A hybrid information service may include local and/or remote distributed services, both and electronic. Also, a hybrid information service can be described as one which an appropriate range of heterogeneous information services is presented to the user in a consistent and integrated way via a single interface. The purpose of this study is to suggest high-level requirements and logical architecture to design hybrid library. High-level requirements analysis for hybrid library need to contain baseline requirements, basic system requirements, searching, location, requesting, delivery and payment. A logical architecture need to consider logical architecture for hybrid library management system including user access points, hybrid library management system and hybrid library components and 5 layered architecture including presenter, coordinator, mediator, communicator and provider to achieve local simplicity while still supporting complex functionality of hybrid library.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.6A
• /
• pp.361-370
• /
• 2003

This paper attempts to improve the existing architecture of location register for location management in Private Network to Network Interface(PNNI)-based wireless ATM networks. Our approach enhances the hierarchical architecture of location registers based on a PNNI hierarchical architecture, which is referred to as the logical hierarchy architecture of location registers. This paper introduces a logical hierarchy architecture for location registers to reduce the cost of their location management. This logical hierarchy architecture of location registers begins with the lowest level physical location registers that are organized into clusters called logical groups. These logical groups are then represented in higher layers by logical nodes. These logical nodes are again grouped into clusters that are treated as single nodes by the next higher layer. In this way, all location registers are included in this tree-type logical hierarchy architecture. Compared with the existing physical hierarchy architecture of location registers, the analysis results show that the proposed logical hierarchy architecture can reduce the number of databases and thereby the average total location management cost.