• 한국정보과학회논문지:시스템및이론
• /
• 제37권1호
• /
• pp.27-34
• /
• 2010

웹 크롤러는 웹에서 링크를 따라다니며 웹 페이지들을 자동으로 다운로드하는 프로그램으로 주로 웹 환경을 연구하거나 검색 엔진을 만들기 위해 사용된다. 기존의 연구들에서는 웹 크롤러가 인기 있는 웹 페이지들을 먼저 크롤링 할 수 있도록 몇 가지 방법들이 제안되었으나 그래프 이론 분야에서 연구되어 온 몇몇 그래프 탐색 기법들은 아직 웹 크롤링 방법으로 고려되지 않았다. 이 논문에서는 잘 알려진 너비 우선 탐색, 깊이 우선 탐색 뿐 아니라 사전식 너비 우선 탐색, 사전식 깊이 우선 탐색 및 최대 크기 탐색을 웹 크롤링 방법으로 고려하여 이 중에서 선형적인 시간복잡도를 가지면서도 인기 있는 웹 페이지를 효율적으로 수집할 수 있는 웹 크롤링 방법을 찾는다. 특히 선형 구현이 단순하지 않은 최대 크기 탐색과 사전식 너비 우선 탐색에 대해서는 분할 정제 방법을 이용한 선형 시간 웹 크롤링 방법을 제시한다. 실험 결과는 최대 크기 탐색이 다른 그래프 탐색 방법에 비해 시간 복잡도 및 크롤링 된 페이지들의 질에 있어서 바람직한 성질을 가짐을 보여준다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2000년도 추계학술대회 학술발표 논문집
• /
• pp.53-56
• /
• 2000

In this paper, we define a concept of some set-theoretical operations of L-R type fuzzy numbers and discuss some properties of these concepts. Using these results, we discuss a concept of cardinality of type-two fuzzy sets.

• 대한수학회보
• /
• 제53권1호
• /
• pp.263-272
• /
• 2016

By using the finite projective geometry method, the separating properties of linear constant-weight codes are presented. An algorithm is given for computing the cardinality of separating coordinate positions of certain disjoint codeword sets of linear constant-weight codes.

• 대한수학회보
• /
• 제48권3호
• /
• pp.611-616
• /
• 2011

The reflexiveness and reversibility were introduced by Mason and Cohn respectively. The structures of minimal reversible rings and minimal reflexive rings are completely determined. The term minimal means having smallest cardinality.

• Journal of applied mathematics & informatics
• /
• 제7권3호
• /
• pp.917-923
• /
• 2000

In this paper, we obtain the number of the minimal generalized permutations on a finite set. Also, we determine the minimal generalized permutations on a set X of cardinality less than or equal to 4.

• East Asian mathematical journal
• /
• 제23권1호
• /
• pp.1-8
• /
• 2007

In this paper, we introduce the concept of strong and weak domination in fuzzy graphs, and provide some examples to explain various notions introduced. Also some properties discussed.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제39권1호
• /
• pp.37-47
• /
• 2000

Number concept is basic in mathematics education. But it is very complex and is not easy to understand real number concept, because of its infinity. This study tried to show that what percents of secondary school mathematics teachers in Korea understood the properties of real number, such as cardinality, continuity, relation with real line, and infinity, which were written by verbal language.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권11호
• /
• pp.661-670
• /
• 2008

만족가능성 처리기는 모델 검증 및 임베디드 프로그램 검증과 같이 소프트웨어 공학의 여러 분야에서 활용되고 있다. 만족가능성 처리기를 활용하기 위해서는 주어진 문제를 처리기의 입력인 CNF 형식으로 변환해야 한다. 그러나 이 형식은 소스코드나 소프트웨어 모델보다 표현력이 낮기 때문에 최적화된 변환이 요구된다. 본 논문에서는 "n개에서 인접된 $k{\leq}n$개 선택" 문제를 CNF형식으로 변환하는 최적화된 기법을 제시한다. 제안된 방법을 다양한 일본 퍼즐에 적용한 결과 우수한 성능이 입증되었다. 우리가 알고 있는 한, 인접성에 대한 최적화된 CNF 변환 연구는 거의 없다.

• 한국지능시스템학회논문지
• /
• 제17권7호
• /
• pp.881-886
• /
• 2007

퍼지 추론은 애매한 지식을 효과적으로 처리할 수 있는 장점이 있다. 그러나 퍼지규칙의 연관속성은 규칙을 과다하게 생성하기 때문에 유용하고 중요한 규칙을 결정하는데 여러 가지 문제점이 있다. 본 논문에서는 러프집합을 적용하여 규칙간의 상관성을 고려하여 불필요한 속성을 제거하고, 퍼지 상대농도를 이용하여 추론결과의 정확성을 유지하면서 규칙의 수를 최소화 하는 방법을 제안한다. 실험결과 규칙의 개수는 감소되었으며 추론 결과가 감축하기 이전과 일치하고 규칙간의 중복성이 제거되는 것을 확인하였다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.777-784
• /
• 2008

최근 정형 검증 분야에서 상태 폭발 문제를 극복하기 위해 만족가능성(Satisfiability) 처리기를 사용하는 방법이 많이 연구되고 있다. 만족가능성 처리기를 사용하려면 대상을 CNF 식으로 변환해야 하는데, 이진 기수 제약 조건은 시스템을 CNF 식으로 변환하기 위해 많이 사용되는 기법이다. 그러나 이진 기수 제약 조건은 이진 변수들의 집합을 다루기 때문에 이진 변수들의 순서 정보는 변환할 수 없었다. 본 논문에서는 이진 변수의 시퀀스에서 길이가 k인 서브시퀀스 추출 문제에 대한 CNF 변환 방법을 제안한다. 또한 실험을 통해 제안된 방법이 순서정보를 고려치 않고 적용한 변환 방법보다 훨씬 더 좋은 결과를 얻을 수 있었다.