• 한국광학회지
• /
• 제13권1호
• /
• pp.84-87
• /
• 2002

SOA (Semiconductor Optical Amplifier)의 inverter 원리를 응용하여 RZ 형식의 전광 XOR논리소자가 5 Gb/s 속도에서 처음으론 구현되었다. 먼저 Boolean AB와 Boolean AB가 실험적으로 구현되었으며 전광 XOR논리소자를 만들기 위해서 AB와 AB를 합하여 XOR의 Boolean 값인 AB+AB의 특성이 얻어졌다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2006년도 춘계 종합학술대회 논문집
• /
• pp.459-461
• /
• 2006

모든 n차 정사각 불리언 행렬 사이의 연속곱셈은 D-클래스 계산과 같은 응용에서 기본적으로 요구되는 연산이다. 그러나 불리언 행렬에 대한 많은 연구에도 불구하고 이에 대한 연구는 아직 보이지 않고 있다. 본 논문은 하나의 n차 정사각 불리언 행렬과 모든 n차 정사각 불리언 행렬 사이의 이중 연속곱셈을 효율적으로 할 수 있는 이론을 제시하고, 이를 모든 n차 정사각 불리언 행렬 사이의 연속곱셈에 적용한 실행결과를 보인다.

• 한국산업정보학회논문지
• /
• 제12권2호
• /
• pp.68-78
• /
• 2007

D-클래스는 주어진 동치관계(equivalence relation)에 있는 $n{\times}n$ 불리언 행렬의 집합으로 정의된다. D-클래스 계산은 $n{\times}n$ 불리언 행렬의 전체 집합을 대상으로 이 집합에서 조합할 수 있는 모든 세 불리언 행렬 사이의 곱셈을 요구한다. 그러나 불리언 행렬에 대한 대부분의 연구는 단지 두 개의 불리언 행렬에 대한 효율적인 곱셈에 집중되었으며 모든 불리언 행렬 사이의 곱셈에 대한 연구는 최근에야 소수가 보이고 있다. 본 논문은 모든 세 개의 불리언 행렬 곱셈과 모든 D-클래스를 보다 효율적으로 계산할 수 있는 이론을 제시하고 이를 적용한 알고리즘과 실행결과에 대하여 논한다.

• 한국IT서비스학회지
• /
• 제5권1호
• /
• pp.191-198
• /
• 2006

Boolean matrices have been successfully used in various areas, and many researches have been performed on them. However, almost all the researches focus on the efficient multiplication of two boolean matrices and no research has been shown to deal with the multiplication of all boolean matrices and their consecutive multiplications. The paper suggests a mathematical theory that enables the efficient consecutive multiplications of all $l{\times}n,\;n{\times}m,\;and\;m{\times}k$ boolean matrices, and discusses its computational complexity and the execution results of the consecutive multiplication algorithm based on the theory.

• 한국항행학회논문지
• /
• 제15권5호
• /
• pp.781-788
• /
• 2011

Sphere-packing problem은 주어진 공간에 가능한 한 많은 구(sphere)를 채울 수 있는 배열을 찾는 문제이고 covering problem은 이에 쌍대적인 최적화의 문제로 코딩이론에 적용된다. 본 논문에서는 이진 코드이론에서의 가중치(weight)와 해밍거리(Hamming distance)에 대한 개념을 부울 대수(Boolean algebra)의 개념으로 일반화한다. 부울 대수에서의 가중치와 이를 이용하여 거리함수를 정의하고, 이들의 기본적인 성질들을 밝힌다. 또한, 부울 대수에서의 sphere-packing bound와 Gilbert-Varshamov bound의 정리를 증명한다.

• 대한수학회지
• /
• 제51권1호
• /
• pp.113-123
• /
• 2014

The term rank of a matrix A over a semiring $\mathcal{S}$ is the least number of lines (rows or columns) needed to include all the nonzero entries in A. In this paper, we characterize linear operators that preserve the sets of matrix ordered pairs which satisfy extremal properties with respect to term rank inequalities of matrices over nonbinary Boolean semirings.

• 한국정밀공학회지
• /
• 제22권9호
• /
• pp.194-201
• /
• 2005

Recently, as Rapid Prototyping is attracting people's attention, many peoples are actively participating in the research on STL format. The STL files are transformed to be input for RP after modeling in CAD system. When the shape, however, needs to be changed or edited, it is impossible without the original data. So, if the original data is lost, new modeling is required. Therefore, this study suggests a way to edit the shape in STL format and to make the Boolean operation possible between the original and edited shapes. In addition, the reliability was confirmed after going over the errors of the edited data.

• 한국경영과학회지
• /
• 제23권4호
• /
• pp.141-149
• /
• 1998

One of the difficulties in using the current Boolean-based information retrieval systems is that it is hard for a user, especially a novice, to formulate an effective Boolean query. One solution to this problem is to let the system formulate a query for a user from his relevance feedback documents in this research, an intelligent query reformulation mechanism based on ID3 is proposed and the sensitivity of its retrieval effectiveness, i.e., recall, precision, and E-measure, to various input settings is analyzed. The parameters in the input settings is the number of relevant documents. Experiments conducted on the test set of Medlars revealed that the effectiveness of the proposed system is in fact sensitive to the number of the initial relevant documents. The case with two or more initial relevant documents outperformed the case with one initial relevant document with statistical significances. It is our conclusion that formulation of an effective query in the proposed system requires at least two relevant documents in its initial input set.

• 대한수학회지
• /
• 제44권1호
• /
• pp.169-178
• /
• 2007

We consider the set of $n{\times}n$ idempotent matrices and we characterize the linear operators that preserve idempotent matrices over Boolean algebras. We also obtain characterizations of linear operators that preserve idempotent matrices over a chain semiring, the nonnegative integers and the nonnegative reals.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1993년도 하계학술대회 논문집 A
• /
• pp.310-312
• /
• 1993

We present the discrete event systems modeled by finite state machines in this paper using the boolean matrices and vectors. We propose a supervisor synthesis method for such boolean discrete-event systems. The proposed supervisor synthesis algorithm is practically implementable, since the size of the state vector in the product system does not increase exponentially with the number of components.