• 대한수학회지
• /
• 제31권4호
• /
• pp.645-657
• /
• 1994

If S is a semiring of nonnegative reals, which linear operators T on the space of $m \times n$ matrices over S preserve the column rank of each matrix\ulcorner Evidently if P and Q are invertible matrices whose inverses have entries in S, then $T : X \longrightarrow PXQ$ is a column rank preserving, linear operator. Beasley and Song obtained some characterizations of column rank preserving linear operators on the space of $m \times n$ matrices over $Z_+$, the semiring of nonnegative integers in [1] and over the binary Boolean algebra in [7] and [8]. In [4], Beasley, Gregory and Pullman obtained characterizations of semiring rank-1 matrices and semiring rank preserving operators over certain semirings of the nonnegative reals. We considers over certain semirings of the nonnegative reals. We consider some results in [4] in view of a certain column rank instead of semiring rank.

• 대한수학회지
• /
• 제31권3호
• /
• pp.353-365
• /
• 1994

During the past century, one of the most active and continuing subjects in matrix theory has been the study of those linear operators on matrices that leave certain properties or subsets invariant. Such questions ar usually called "Linear Preserver Problems".

• 한국문헌정보학회지
• /
• 제29권
• /
• pp.141-172
• /
• 1995

The main objective of this study is to analyse the information flows and representations which is shown at the displays of the user-OPACs interfaces in the 5 academic library automation systems. The findings made in the study are summarized as follows: 1) The interactive styles of that displays are based on the menu selection style. 2) The structures of information flow on that displays are the compound structure which is basically made of the network, the binary, and the pop-up structures. 3) The elements of the displays are consisted with the fields concerning the database name, the current working area, the indicator, the menu, the exit, the prompt and the system message. 4) The essential entries of the main menus are Book, Periodical. and Thesis. 5) The important languages of the command language styles are Search, Display, Print, Help, and End. 6) The elements of the display structures for the retrieval are the retrieving key, the Boolean operators, and the exit. 7) The major retrieving keys are Title, Author, Subject name, Call Number, and Publisher. 8) The marks of Boolean operators on the retrieval displays is different among the systems each other.

• 한국정밀공학회지
• /
• 제13권3호
• /
• pp.158-164
• /
• 1996

In this paper, the CNC cutting planning module for product with three dimensional solid shape is realized to develop a smart CAD/CAM system which performs systematically from the shape design of procuct by the B-Rep solid modeler to the CNC cutting of product by a machining center. The three dimensional solid shape of product can be easily designed and constructed by the Euler operators and Boolean operators of the solid modeler. And the various functions such as the automatic generation of tool path for the rough and finish cutting processes, the automatic elimination of overcut, the automatic generation of CNC code for the machining center and do on, are established. Especially, the overcut-free tool paths are obtained by splitting the CL solid which is composed of the offset surfaces of the solid shape of product.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권10호
• /
• pp.1374-1385
• /
• 2004

적합성 피드백 방법은 다음 검색 질의어와 검색 성능을 향상시키기 위해 사용자로부터 획득된 정보를 사용한다. 일반적으로 적합성 피드백 방법은 사용자로부터 획득된 정보를 새로운 질의어에 추가될 새로운 단어를 찾거나 질의어에 존재하는 단어의 가중치를 조정하는데 사용한다. 그러나 확장 불리언 검색모델에서 적합성 피드백은 이것들뿐만 아니라 질의어에 있는 단어들을 적절하게 불리언 연산자(AND/OR)로 연결시켜야 한다. Salton과 그의 동료들은 확장 불리언 모델을 위한 DNF(disjunctive normal form) 방법이라 불리는 적합성 피드백 방법을 제안하였다. 그렇지만 이 방법은 질의어를 재구성할 때 심각한 문제점을 갖고 있다. 이 논문에서는 DNF 방법의 문제점을 조사하고 이러한 문제점을 극복하기 위해 계층적 클러스터링 기법을 이용한 적합성 피드백 방법을 제안한다. 그리고 두개의 실험 데이타 집합인 TREC 1 의 DOE 컬렉션과 Web TREC 10 컬렉션을 이용하여 제안한 방법의 우수성을 보였다.

• 한국정보통신학회논문지
• /
• 제5권3호
• /
• pp.597-604
• /
• 2001

정보검색에서 순수한 부울 검색 시스템은 문서와 질의 사이의 유사도를 나타내는 문서값을 계산할 수 없기 때문에, 검색된 문서들을 질의를 만족하는 정보에 따라 정렬할 수 없다. 부울 검색 시스템의 이러한 단점을 보완하는 방법으로 MMM 모델, Paice 모델, P-norm 모델이 개발되었다. 이러한 방법들은 부울 연산자를 유연하게 연산하는 공통된 특성을 지니고 있다. 된 논문에서는 높은 검색 효과를 제공하는 질의 분해 적합성 피드백 (QSRF)를 이용한 정보 검색 모델을 제안한다. 질의 분해 적합성 피드백 모델의 연산 특성 이 MMM, Paice, P-norm 모델보다 우수함을 설명하고, 또한 성능 비교를 통하여 이를 입증한다.

• 한국지능시스템학회논문지
• /
• 제14권6호
• /
• pp.745-751
• /
• 2004

순수한 부울 검색 시스템은 문서와 질의 사이의 유사 도를 나타내는 문서 값을 계산할 수 없기 때문에 검색된 문서들을 질의를 만족하는 정보에 따라 정렬할 수 없다. 부울 검색 시스템의 이러한 단점을 보완하는 방법으로 MMM 모델, Paice 모델 P-norm 모델이 개발되었다. 이러한 방법들은 부울 연산자를 유연하게 연산하는 공통된 특성을 지니고 있다. 본 논문에서는 높은 검색 효과를 제공하는 지역적 문맥 분석 피드백(Local Context Analysis Feedback)을 이용한 웹 정보 검색 모델을 이용한다. 지역적 문맥 분석 피드백 모델의 연산 특성이 MMM(Max and Min Model), Paice, p-norm 모델보다 우수함을 설명하고, 또한 성능 비교를 통하여 이를 입증한다.

• 한국지능시스템학회논문지
• /
• 제11권3호
• /
• pp.252-257
• /
• 2001

순수한 부울 검색 시스템은 문서와 질의 사이의 유사도를 나타내는 문서값을 계산할 수 없기 때문에, 검색된 문서들을 질의를 만족하는 정보에 따라 정렬할 수 없다. 부울 검색 시스템의 이러한 단점을 보완하는 방법으로 MMM 모델, Paice 모델, P-norm 모델이 개발되었다. 이러한 방법들은 부울 연산자를 유연하게 연산하는 공통된 특성을 지니고 있다. 본 논문에서는 높은 검색 효과를 제공하는 질의분해 적합성 피드백(QSRF)를 이용한 정보 검색 모델을 제안한다. 질의 분해 적합성 피드백 모델의 연산 특성이 MMM, Paice, P-norm 모델보다 우수함을 설명하고, 또한 성능 비교를 통하여 이를 입증한다.

• 정보관리학회지
• /
• 제10권2호
• /
• pp.3-22
• /
• 1993

최근 시소러스를 기반으로 하는 불리안 검색 시스템에서 문서의 순위 결정에 사용 될 수 있는 Relevance, R-distance, K-distance와 같은 방법들이 개발되었다. 이러한 방법들은 색인어들 사이의 연관성 정보를 이용하여 문서들의 순위를 결정함으로써 많은 경우에 높은 검색 효율을 제공할 지라도, 불리안 연산자 AND, OR, NOT에 대한 연산 방법이 문제점으로 지적되어왔다. 본 논문에서는 개선된 퍼지 집합 모델과 확장된 불리안 모델을 시소러스가 제공하는 색인어들 사이의 연관성 정보를 효율적으로 이용할 수 있도록 확장함으로써, 기존 방법들의 문제점을 극복하는 새로운 순위 결정 방법 KB-FSM과 KB-EBM을 제안한다. 또한 KB-FSM과 KB-EBM이 Relevance, R-distance, K-distance보다 문서들의 순위를 보다 정확하게 결정함을 성능 비교를 통하여 입증한다.

• Journal of applied mathematics & informatics
• /
• 제4권1호
• /
• pp.147-166
• /
• 1997

The convergence of the power sequence of an $n{\times}n$ fuzzy matrix has been studied. Some theoretical necessary and sufficient con-ditions have been established for the power sequence to be convergent generally. Furthermore as one of our main concerns the convergence index was studied in detail especially for some special types of Boolean matrices. Also it has been established that the convergence index is bounded by $(n-1)^2+1$ from above for an arbitrary $n{\times}n$ fuzzy matrix if its power sequence converges. Our method is concentrated on the limit behavior of the power se-quence. It helped us to make our proofs be simpler and more direct that those in pure algebraic methods.