• 한국인터넷방송통신학회논문지
• /
• 제8권1호
• /
• pp.53-62
• /
• 2008

다언어 문서검색(CLTR; Cross-Lingual Text Retrieval)은 하나의 언어로 질의가 주어질 때, 그 질의의 언어와는 다른 언어로 되어 있는 문서들을 검색하는 정보 검색을 말한다. 본 논문에서는 두 언어 사이의 용어들 간에 부분 매칭을 다룰 수 있도록 하기 위해 퍼지 다언어 시소러스 기반의 다언어 문서검색 시스템을 제안한다. 제안된 다언어 문서검색 시스템에서는 효과적인 추론을 위해 퍼지 용어 매트릭스를 정의하여 이용한다. 정의된 퍼지 용어 매트릭스에서 용어들 간의 모든 관련도가 전이폐쇄 알고리즘을 이용하여 추론함으로써 용어들 간의 묵시적인 링크가 모두 검색에 반영된다. 이에 따라 제안된 방법은 인간 전문가에 좀 더 가까운 정보검색을 수행하여 검색 효과를 높이게 된다.

• 한국시뮬레이션학회논문지
• /
• 제12권4호
• /
• pp.73-81
• /
• 2003

An Ad Hoc network is a dynamic multi-hop wireless network that is established by a group of mobile hosts on a shared wireless channel by virtue of their proximity to each other. Since wireless transmissions are locally broadcast in the region of the transmitting host, hosts that are in close proximity can hear each other and are said to be neighbors. The transitive closure of the neighborhood of all the hosts in the set of mobile hosts under consideration forms an Ad Hoc network. Thus, each host is potentially a router and it is possible to dynamically establish routes by chaining together a sequence of neighboring hosts from a source to a destination in the Ad Hoc network. In a network, various real-time services require the network to guarantee the Quality of Services provided to the receiver. End-to-end QoS can be provided most efficiently when each layer of the protocol stack translates the requirements of the application into layer classified requirements and satisfies them. In this study, a mechanism to guarantee the QoS in Ad Hoc networks with buffer nodes is proposed. They effectively prevent traffic congestion and yield better transmission rate. In this way QoS is enhanced.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제5권
• /
• pp.523-523
• /
• 1997

Suppose that G is a group of permutations of a set ${\Omega}$. For a finite subset ${\gamma}$of${\Omega}$, the movement of ${\gamma}$ under the action of G is defined as move(${\gamma}$):=$max\limits_{g{\epsilon}G}|{\Gamma}^{g}{\backslash}{\Gamma}|$, and ${\gamma}$ will be said to have restricted movement if move(${\gamma}$)<|${\gamma}$|. Moreover if, for an infinite subset ${\gamma}$of${\Omega}$, the sets|{\Gamma}^{g}{\backslash}{\Gamma}| are finite and bounded as g runs over all elements of G, then we may define move(${\gamma}$)in the same way as for finite subsets. If move(${\gamma}$)${\leq}$m for all ${\gamma}$${\subseteq}$${\Omega}$, then G is said to have bounded movement and the movement of G move(G) is defined as the maximum of move(${\gamma}$) over all subsets ${\gamma}$ of ${\Omega}$. Having bounded movement is a very strong restriction on a group, but it is natural to ask just which permutation groups have bounded movement m. If move(G)=m then clearly we may assume that G has no fixed points is${\Omega}$, and with this assumption it was shown in [4, Theorem 1]that the number t of G=orbits is at most 2m-1, each G-orbit has length at most 3m, and moreover|${\Omega}$|${\leq}$3m+t-1${\leq}$5m-2. Moreover it has recently been shown by P. S. Kim, J. R. Cho and C. E. Praeger in [1] that essentially the only examples with as many as 2m-1 orbits are elementary abelian 2-groups, and by A. Gardiner, A. Mann and C. E. Praeger in [2,3]that essentially the only transitive examples in a set of maximal size, namely 3m, are groups of exponent 3. (The only exceptions to these general statements occur for small values of m and are known explicitly.) Motivated by these results, we would decide what role if any is played by primes other that 2 and 3 for describing the structure of groups of bounded movement.

• 논리연구
• /
• 제22권1호
• /
• pp.43-86
• /
• 2019

1차 이론인 ZFC는 뢰벤하임-스콜렘 정리(이하 'LST')에 의해 그것이 일관적이라면(모형($M_1$)이 존재한다면) 그것은 이행적인 열거가능한 모형($M_2$)을 갖는다. 이러한 사실에 의해 '스콜렘 역설'이라 불리는 역설적 상황이 발생한다. 스콜렘의 전형적인 해소 방식에 따라, 이것은 어렵지 않게 해소될 수 있지만 그 과정에서 우리는 집합 개념에 대한 모형 상대성을 받아들여야 한다. 이것은 예를 들어 는 집합론적 개념의 의미가 모형에 따라 다르게 주어지는 상황을 발생시킨다. 문제는 다음이다. 이 경우에 PN이 열거불가능하다는 사실을 나타내는 ZFC의 문장 '¬denu(PN)'이 그 두 모형에서, 진리 값의 측면에서, 똑같이 참이 되기 때문에 ZFC에서는 <¬denu> 개념에 대한 차이를 구분할 수 없는 구분불가능성 문제가 발생한다. 혹은 어떤 것이 의도하는 의미인지 결정할 수 없는 미결정성 문제가 발생한다. 나는 먼저, 이러한 문제가 어떤 성격의 문제인지에 대한 구체적인 분석을 제시할 것이다. 그리고 이러한 문제에 대해서 ZFC를 지지하는 입장에서 할 수 있는 세 가지 방식의 대답을 제시할 것이다. 첫 째로, ZFC에서 모형론을 형식화할 수 있음을 이용하여 모형 상대적으로 다르게 주어질 수 있는 <¬denu> 개념이 ZFC에서도 '거의' 구분될 수 있다는 논변을 제시할 것이다. 두 번째로, <¬denu> 개념의 상대성(구분불가능성)에서 핵심적인 역할을 하는 양화사에 대한 의미론적 고려를 통해 <¬denu>이 본질적으로 혹은 자연스럽게 맥락 의존적으로 의미가 변할 수 있는 것임을 보일 것이다. 그래서 <¬denu> 개념의 모형 상대적인 의미 변화는 ZFC가 책임을 져야할 문제가 아니라 언어 외적인 자연스러운 현상이라는 논증을 제시할 것이다. 세 번째로, 문제의 출발점이었던 비표준 모형이 사실은 <¬denu> 개념의 구조적 내용을 예화 할 수 있어서 그것이 단지 문제적 요소가 아니라 의미론적으로 중요한 역할을 할 수 있음을 논증할 것이다. 이러한 논변들을 통해서 나는 비표준 모형과 관련하여 ZFC에 대해서 발생하는 것처럼 보이는 위의 구분불가능성(혹은 미결정성) 문제가 심각한 것이 아님을 논증할 것이다.

• 정보화연구
• /
• 제9권3호
• /
• pp.233-241
• /
• 2012

본 연구는 SBA AF의 효율적인 구축을 지원하기 위해 Architecture framework(AF)는 Enterprise Architecture(EA)를 운영하고 개발하기 위해 필요한 요소들을 정의하고 그 요소들간의 관계를 파악하기 위한 가이드라인이다. 정부 및 여러 분야에서는 자크만 프레임워크, DoDAF, TOGAF, FEAF와 TEAF 등을 비롯한 많 아키텍처 프레임워크를 사용하고 있다. DoDAF는 국방분야에서 EA의 개발을 지원하기 위해 사용되는 가장 대표적은 아키텍처 프레임워크이다. DoDAF는 8개의 viewpoint와 40개의 view로 구성되어 있다. 특정목저에 맞춰 아키텍처프레임워크를 개발하기 위하여서는 시스템 아키텍트는 일련의 view들 및 해당 view들을 모델링하기 위해 필요한 data들을 선택하여야 한다. 그러나 DoDAF에는 다수의 view 및 data들과 이 들 사이에는 복잡한 연관관계들이 존재한다. 따라서 특정목적을 달성하기 위한 아키텍처 프레임워크를 개발하기 위하여선 매우 많은 시간과 노력이 필요하다. 이러한 시스템 아키텍트의 노력을 줄이기 위하여 본 연구에서는 뷰들사이에 존재하는 순서나 이행 혹은 상호참조관계등을 고려한 ONT-DAF(DoDAF를 위한 온톨로지)를 개발하였다. 또한 단일 아키텍처 프레임워크 내에 존재하는 view와 data의 재사용성을 위하여 DoDAF 가이드라인에 통합적으로 존재하는 view-data의 정보들을 각각 분리하여 구축하였다. 이러한 ONT-DAF는 'viewpoint', 'data', 'view', 'expression method'와 'reference model'의 5개의 class와 'has data', 'has view', 'has related view' 등 총 16개의 properties로 구성되어 있으며 이를 활용하기 위하여 JESS engine과 SWRL rule을 활용한 총 4가지 유형의 8개의 룰을 사용하였다. 본 연구의 효과성을 입증하기 위하여 MoDAF에 존재하는 AV-1의 사례를 기반으로한 사례연구를 진행하였다. 그 결과 본 ONT-DAF를 활용하였을 경우 시스템 아키텍트가 초기에 얻을 수 있는 정보가 단순 view많이 아닌 해당 view와 연관된 view 및 그 들 사이에 존재하는 연관관계와 view를 모델링하기 위해 필요한 data를 포함한 정보들을 제공함으로써 ONT-DAF의 효과성을 입증하였다.