• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.952-954
• /
• 2005

D-클래스는 $n{\times}n$ 불리언 행렬의 집합에서 특정 관계(relation)에 따딸라 동치(equivalent) 관계에 있는 불리언 행렬의 집합으로 구성된다. D-클래스 계산은 $n{\times}n$ 불리언 행렬의 전체 집합을 대상으로 이 집합에서 조합할 수 있는 모든 두 $n{\times}n$ 불리언 행렬 사이의 곱셈을 기본적으로 요구한다. 그러나 불리언 행렬에 대한 대부분의 연구는 두 개의 불리언 행렬에 대한 효율적인 곱셈에 집중되었으며 모든 $n{\times}n$ 불리언 행렬 사이의 곱셈에 대한 연구는 최근에야 소수가 보이고 있다. 두개의 $n{\times}n$ 불리언 행렬 곱셈에 대해 최적화된 알고리즘은 현재 알려져 있으나, 모든 $n{\times}n$ 불리언 행렬 사이의 곱셈에 대해 제시된 알고리즘은 아직 실행시간이 크게 향상되지 못하고 있으며 많은 개선과 연구가 필요하다. 본 논문은 개별적인 $n{\times}n$ 불리언 행렬 곱셈 대신 하나의 $n{\times}n$ 불리언 행렬과 불리언 행렬 집합과의 곱셈을 다루고 또한 이 곱셈에서 계산되는 모든 $n{\times}n$ 불리언 행렬을 집합으로 표현하는 방법을 통해 D-클래스 계산을 보다 효율적으로 할 수 있는 알고리즘에 대해 논한다.

• The Journal of the Korea Contents Association
• /
• 제6권2호
• /
• pp.27-33
• /
• 2006

Boolean matrices are applied to a variety of areas and used successfully in many applications, and there are many researches on boolean matrices. Most researches deal with the multiplication of boolean matrices, but all of them focus on the multiplication of two boolean matrices and very few researches deal with the multiplication between many n$\times$m boolean matrices and all m$\times$k boolean matrices. The paper discusses the existing optimal algorithms for the multiplication of two boolean matrices are not suitable for the multiplication between a n$\times$m boolean matrix and all m$\times$k boolean matrices, establishes a theory that enables the efficient multiplication of a n$\times$m boolean matrix and all m$\times$k boolean matrices, and shows the execution results of a multiplication algorithm designed with this theory.

• Proceedings of the Korea Contents Association Conference
• /
• 한국콘텐츠학회 2005년도 추계 종합학술대회 논문집
• /
• pp.389-392
• /
• 2005

Boolean matrices are applied to a variety of areas and used successfully in many applications. There are many researches on the application and multiplication of boolean matrices. Most researches deal with the multiplication of boolean matrices, but all of them focus on the multiplication of just two boolean matrices and very few researches deal with the multiplication of many pairs of two boolean matrices. The paper discusses it is not suitable to use for the multiplication of many pairs of two boolean matrices the algorithm for the multiplication of two boolean matrices that is considered optimal up to now, and suggests a method that can improve the multiplication of a $n{\times}m$ boolean matrix and all $m{\times}k$ boolean matrices.

• Journal of Korean Medical classics
• /
• 제23권3호
• /
• pp.13-21
• /
• 2010

"소변불리(小便不利)" "상한론(伤寒论)", "금궤요략(金匮要略)"의 수많은 원문(原文)에 기재되어 있지만 원문(原文)전체에 흩어져 있으며 그에 대한 자세한 해석 또한 논술되어있지 않다. 그리하여 본 논문은 "상한론(伤寒论)"과 "금궤요략(金匮要略)"중의 기재된 소변불리(小便不利)의 원문(原文)만을 체계적으로 정리하여 총결해 놓았다. 우선, 장중경(张仲景)이 말하는 소변불리(小便不利)를 범주화하여 병인, 병기, 치법, 방약의 정리분석을 통해, 소변불리(小便不利)가 단순한 증상만이 아닌 소변(小便)의 정황(情況)을 근거로 진액(津液)소갈의 정도, 방광(膀胱)의 기화(氣化)상태및 치료효과의 반응 등을 포괄한 것임을 주장하였으며, 장중경변치소변불리(张仲景辨治小便不利)의 치료법(治疗法)이 상한육경변증이론연구(伤寒六经辨证理论硏究와 잡병진단치료(杂病诊断治疗)중에 중요한 요소임을 전면적으로 논술하였다. 또한 근대의가(近代醫家)의 의안(醫案)의 문헌연구와 소변불리(小便不利)의 근대임상치료(近代臨床治療) 사례를 근거하여 장중경(张仲景)이 중시하는 인체수액대사(人体水液代谢)와 기화공능(气化功能)이 비뇨기 질병과 합병증으로 인한 소변불리(小便不利)증상 치료의 수준을 높일 수 있으며, 소변불리(小便不利)의 치료과정을 통하여 현대질병치료의 효과를 판단 할 수 있는 기준이 될 뿐만 아니라 그에 따른 예방의학의 충분한 이론근거가 됨을 정리하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.839-842
• /
• 2006

대부분의 불리언 행렬에 대한 연구는 두 불리언 행렬의 곱셈에 초점을 두고 있으며 모든 불리언 행렬을 대상으로 한 곱셈에 대한 연구는 최근에야 극히 소수의 연구결과가 보이고 있다. 이 연구들은 모든 불리언 행렬 사이의 곱셈 실행시간을 개선시켰으나 연속된 세 개의 모든 lxn, nxm, mxk 불리언 행렬에 대한 곱셈은 아직 많은 개선이 필요하다. 본 논문은 모든 $l{\times}n,\;n{\times}m,\;m{\times}k$ 불리언 행렬의 곱셈 실행시간을 보다 개선할 수 있는 이론을 제시하고 이를 적용한 불리언 행렬 연속곱셈의 실행결과에 대하여 논한다.

• Journal of Korea Society of Industrial Information Systems
• /
• 제12권2호
• /
• pp.68-78
• /
• 2007

D-class is defined as a set of equivalent $n{\times}n$ boolean matrices according to a given equivalence relation. The D-class computation requires the multiplication of three boolean matrices for each of all possible triples of $n{\times}n$ boolean matrices. However, almost all the researches on boolean matrices focused on the efficient multiplication of only two boolean matrices and a few researches have recently been shown to deal with the multiplication of all boolean matrices. The paper suggests a mathematical theory that enables the efficient multiplication for all possible boolean matrix triples and the efficient computation of all D-classes, and discusses algorithms designed with the theory and their execution results.

• Proceedings of the Korea Contents Association Conference
• /
• 한국콘텐츠학회 2006년도 춘계 종합학술대회 논문집
• /
• pp.459-461
• /
• 2006

The successive multiplication of all $n{\times}n$ boolean matrices is necessary for applications such as D-class computation. But, no research has been performed on it despite many researches dealing with boolean matrices. The paper suggests a theory with which successively multiplying a $n{\times}n$ boolean matrix by all $n{\times}n$ boolean matrices can be done efficiently, applies it to the successive multiplication of all $n{\times}n$ boolean matrices and shows its execution results.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 한국음향학회 1994년도 제11회 음성통신 및 신호처리 워크샵 논문집 (SCAS 11권 1호)
• /
• pp.258-261
• /
• 1994

자연언어 인터페이스는 초보자나 비숙련가의 입장에서는 새로운 시스템의 적응에 있어서 어떤 학습도 필요하지 않다는 장점이 있다. 이 연구에서는 불리언 질의를 처리하는 정보검색 시스템의 자연언어 인터페이스를 구혐하였다. 즉, 한국어 자연언어 질의를 불리언 질의로 변환해주는 시스템이다. 접근 방법은 먼저 자연언어 질의를 구문 해석한 후에, 그 결과인 문자의 의존 구조와 불용어 정보를 사용하여 기본적인 불리언 질의를 만든다음, 시소러스를 이용하여 불리언 질의를 확장한다. 여기에서 사용한 구문 해석 방법은 기존 문법에 기반한 방법이다. 변환 시스템은 SPARC-II 호환기종에서 구현되었으며, 약 5만 단어의 사전을 사용한다. 가공된 120 개의 질의를 대상으로 실험한 결과, 전체 소요시간은 13.5초가 걸렸다. 그리고, 변환된 불리언 연산식중에 110개가 적절하게 변환된 것으로 조사되었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.849-852
• /
• 2005

일반 행렬이나 불리언 행렬의 연산에 대한 많은 연구가 있다. 대부분의 연구는 두 행렬의 효율적 곱셈을 다루고 있으며 하드웨어나 소프트웨어적 응용에 적합한 다양한 알고리즘을 제시하였다. 모든 행렬 쌍의 곱셈에 대한 연구는 NP-완전 계산 복잡도와 이러한 곱셈을 요구하는 응용의 희소성으로 인해 관심밖에 있었으며 최근에야 원소가 불리언 값을 가지는 n 차 정사각 불리언 행렬을 대상으로 기초적인 연구 결과를 보이고 있다. 본 논문은 모든 n 차 정사각 불리언 행렬 사이의 곱셈을 보다 효율적으로 할 수 있는 벡터 기반 불리언 행렬 곱셈 이론과 이를 바탕으로 설계한 알고리즘 그리고 실행 결과에 대하여 논한다.

• Journal of KIISE:Computer Systems and Theory
• /
• 제31권10호
• /
• pp.553-561
• /
• 2004

Leader election is an important problem in developing fault-tolerant distributed systems. As a classic solution for leader election, there is Garcia-Molina's Bully Algorithm based on time-outs in synchronous systems. In this paper, we re-write the Bully Algorithm to use a failure detector instead of explicit time-outs. We show that this algorithm is more efficient than the Garcia-Molina's one in terms of the processing time. That is because the Bully_FD uses FD to know whether the process is up or down so fast and it speed up its execution time. Especially, where many processes are connected in the system and crash and recovery of processes are frequent, the Bully_FD algorithm is much more efficient than the classical Bully algorithm in terms of the processing time.