• 한국수학사학회지
• /
• 제17권2호
• /
• pp.73-84
• /
• 2004

스톤은 스톤 쌍대성에 의하여 완비 불 대수는 극단적으로 비연결인 콤팩트 하우스도르프 공간에 대응되어 불 대수의 범주 Bool에서 단사 대상은 완비 불 대수인 사실에 의하여 0차원 콤팩트 공간의 범주 ZComp의 사영 대상은 극단적으로 비연결인 콤팩트 공간임을 증명하였고, 완전 정규 공간 X가 극단적인 비연결 공간이기 위한 필요충분조건은 X에서 실직선로의 연속함수의 순서집합 C(X, )이 데데킨트 완비인 사실[6]이 드모르간 틀에서도 성립함을 증명하였다[2]. 이 논문에서는 드 모르간의 역사를 조사하고, 드모르간 틀을 도입하여 극단적인 비연결 공간과의 관계와 드 모르간 틀과 불 대수 사이의 관계를 연구한다.

• 한국정보통신학회논문지
• /
• 제10권12호
• /
• pp.2181-2186
• /
• 2006

본 논문에서는 CPLD 조건식에 위 한 RTL 바인딩을 제안하였다. HDL로 기술된 회로에 대해 스케줄링을 수행한 후 모듈 연산 간격을 고려하여 합당한 모듈을 선택하여 할당을 수행한다. 할당을 수행한 후 주어진 조건식에 맞도록 CPLD를 선정한다. 할당된 결과의 모듈을 CPLD 내부의 CLB의 맞도록 부울식을 분할하고, 최적의 CLB를 사용하여 회로를 구현할 수 있는 바인딩 알고리즘을 제안하였다. 16 비트 FIR 필터로 실험한 결과 알고리즘을 적용하기 전보다 작은 크기의 CPLD로 회로 구현이 가능하였으며, 가산기의 경우 알고리즘을 적용하지 않았을 때 내부 사용율은 8.45%이었으나 알고리즘 적용한 결과 61.88%로 내부 사용율이 증가되는 결과를 나타내었다.

• 대한산업공학회지
• /
• 제24권2호
• /
• pp.175-183
• /
• 1998

When a product is designed, tolerances must be given to the product so that required functions are guaranteed and production costs are minimized. In this research, a model is suggested which allocates tolerances to components optimally according to the STA(Statistical Tolerance Allocation) method. Taking into account the concept that dimensional errors have characteristics of statistical distributions, this model presents the discrete pseudo-boolean approach for the tolerance optimization by minimizing the tolerance cost and the quality loss cost. In this approach, two methods are proposed for the reduction of the problem scale; 1) a method for converting the minimization model for casts into the maximization model for cost savings, and 2) procedures to reduce the number of constraints and variables.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회A
• /
• pp.1338-1343
• /
• 2007

High-efficient machining, which means cutting a part in the least amount of time, is the most effective tool to improve productivity. In this study, a new feed optimization method based on the cutting power regulation was proposed to realize the high-efficient machining in turning process. The cutting area was evaluated by using the Boolean intersection operation between the cutting tool and workpiece. And the cutting force and power were predicted from the cutting parameters such as feed, depth of cut, spindle speed, specific cutting force, and so on. Especially, the reliability of the proposed optimization method was validated by comparing the predicted and measured cutting forces. The simulation results showed that the proposed optimization method could effectively enhance the productivity in turning process.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2000년도 춘계공동학술대회 논문집
• /
• pp.385-388
• /
• 2000

The computation of a terminal-pair reliability is started with a Boolean sum of products expression corresponding to simple paths of the pair of nodes. This expression is then transformed into another equivalent expression to be a Sum of Disjoint Products form. The terminal reliability can then be obtained in a straightforward manner from the Sum of Disjoint Products form. In this paper, we proposed an efficient method to obtain reliability expressions for calculating multiple K terminal-pairs reliability between terminal-pairs of nodes of computers of complex networks. Actual programming results show that the new method is superior with regard to computational efficiency, especially for computing the reliability of multiple terminals.

• 정보관리학회지
• /
• 제21권2호
• /
• pp.235-248
• /
• 2004

웹 문서 정색을 위해 키워드와 불리언 연산식을 사용하는 것에 비해 자연어 질의 문장을 입력하는 방법은 검색 시스템 사용자에게 훨씬 이상적인 인터페이스이다. 본 논문은 사용자가 입력하는 자연어 질의 문장을 구문 분석하고 그 구문 구조에 기반하여 검색어를 확장하는 다중 검색 기법을 제안한다. 구문 트리를 순회하여 구조적으로 연관된 복합 명사를 조합하거나 분할하는 과정을 거치고, 이형 표기 및 축약 표기 용어들에 대해 확장 다중 검색함으로써 웹 정보 검색 시스템의 재현율과 정확도를 높일 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2005년도 추계학술대회 및 정기총회
• /
• pp.409-413
• /
• 2005

The logical analysis of data(LAD) is an effective Boolean-logic based data mining tool. A critical step in analyzing data by LAD is the pattern generation stage where useful knowledge and hidden structural information in data is discovered in the form of patterns. A conventional method for pattern generation in LAD is based on term enumeration that renders the generation of higher degree patterns practically impossible. In this paper, we present a new optimization-based pattern generation methodology and propose two mathematical programming medels, a mixed 0-1 integer and linear programming(MILP) formulation and a well-studied set covering problem(SCP) formulation for the generation of optimal and heuristic patterns, respectively. With benchmark datasets, we demonstrate the effectiveness of our models by automatically generating with much ease patterns of high complexity that cannot be generated with the conventional approach.

• 한국도서관정보학회지
• /
• 제38권4호
• /
• pp.357-376
• /
• 2007

이 연구는 부산 울산, 경남 지역 23개 대학도서관의 온라인목록 검색시스템을 분석하였다. 이 도서관 목록들의 검색을 위한 자료 유형 구분, 검색을 위한 접근점, 자료검색의 조건들(검색어 조합방식, 검색어 일치방식, 검색의 상세 수준)은 다양하고 서로 달랐다. 이러한 결과와 그 평가를 토대로 온라인목록 검색시스템의 자료 유형 구분, 접근점 종류, 검색조건 표준화를 위한 방안을 제시하였다.

• 한국산학기술학회논문지
• /
• 제15권9호
• /
• pp.5744-5749
• /
• 2014

다출력 논리식에서 공통식을 추출하는 것은 매우 중요한 기술이다. 본 논문에서는 배타 논리합 식 산출 원리를 이용해서 공통식을 추출하는 새로운 방법을 제안하였다. 산출된 논리식은 AND, OR, NOT 연산자만을 이용해서 전체 논리식을 표현하도록 고안하였다. 공통식 산출의 수행 시간과 리터럴 개수를 줄이기 위해서 선험 방법을 제안하였다. 실험 결과 제안한 방법이 기존의 방법들보다 리터럴 개수를 줄일 수 있음을 보였다.

• 인지과학
• /
• 제2권1호
• /
• pp.193-204
• /
• 1990

본 논문은 계층적 시소러스를 이용한 정보검색 추론모델을 제안하였다.제안된 모델은 계층적 시소러스를 구성하는 색인어들과 이들의 가중치로써 표현되는 사용자의 질의오와 정보요소 간의 개념적 거리를 계산한다. 사요자질의어에 부울리언 연산자를 사용할 수 있도록 하여 검색 요구의 표현력을 향상시켰고,계층적 시소러스에 에지(edge)가중치를 허용하여 색인어들간의 상관관계를 보다 정확하게 표현할 수 있도록 하였다. 제안한 모델의 성능 평가를 위한 실험 결과, 인간의 적합도 판정과 상당히 유사함을 알 수 있었다.