• 대한조선학회지
• /
• 제11권2호
• /
• pp.23-40
• /
• 1974

Semisubmersible 해양석유시추선의 기본설계에 필요한 파랑중(波浪中)에서 운동(運動)을 계산(計算)하는 이론적방법(理論的方法)을 제시하고 "MOHOLE"과 "SEDCO 1350-F" 석유시추선들의 운동(運動)을 해석하였다. 이 규칙파에서 운동계산을 불규칙해양파(波)에 적용하는 응용해석을 보여주었다. 현재 이론적 방법으로는 6자유도(自由度)의 운동을 해양파의 어떤 방향에 대해서도 정확히 계산할 수 있으며 계산의 정확성은 수조(水槽)에서의 모형선의 운동측정치와 실선(實船)의 운동측정치와 비교하여 증명되었다. 또 현재의 방법은 종전에 개발된 방법보다 더 일반적(一般的)인 경우를 다룰 수 있으며 결과치도 더 정확하다. 극소운동특성을 갖는 해양석유시추선과 부체(浮體)해양구조물의 설계는 경비가 비싸고 시간이 많이 드는 모형실험보다는 유체역학적(流體力學的) Parameters를 신속 정확히 자주 변경 검토해야 하는 기본설계단계에서는 정확한 이론적인 전자계산기에 의한 계산방법이 절실히 필요하다. 예상(豫想)과 같은 부가질량(附加質量)과 감쇠력(減衰力)은 Resonance 운동주기에서만 운동에 영향을 준다. 해양구조물에 작용하는 파력(波力)은 Froude-Krilov force, 부가질량(附加質量) 및 감쇠력(減衰力)과 Restoring force로 구성했으며 규칙파(規則波)에서의 6자유도(自由度) 운동방정식은 본 논문에 제시된 실험측정치(値)와 실험으로 정확도가 증명된 이론치(値)의 부가질량과 감쇠력 계수(係數)를 써서 풀었다. 규칙파(規則波)에서의 계산된 운동을 Pierson Moskowitz 해양파(海洋波) 스펙트럼과 linear superposition principle에 의해 불규칙해양파(不規則海洋波)에서의 운동을 계산하는데 사용했다. 불규칙파(不規則波)에서의 운동은 운동스펙트럼과 통계적 운동치로 나타냈다. 현재의 계산방법은 실제 기본설게에 사용되어 왔으며, 다른 응용분야는 파랑중(波浪中)에서의 파면(波面)과 Deck간(間)의 Clearance, 계류선(係留線)의 동장력(動張力)계산의 기본 Data 및 기본설계의 Draft 등 Parameters를 통(通)한 Optimum Design 등(等)이다. 파(波)의 한 방향(方向)에 대(對)한 전자계산기(電子計算機)(IBM 370 또는 CDC 6400)에 의한 운동계산은 10초(秒)미만밖에 안걸린다. 또 현재의 계산방법은 해양석유시추선뿐 아니라 이와 비슷한 부체(浮體)해양구조물과 Pipe-laying선(船) 또 Supply Boat설계(設計)에도 쓰여지고 있다.

• 한국정보처리학회논문지
• /
• 제4권12호
• /
• pp.3069-3077
• /
• 1997

이 논문에서는 비공유 병렬구조에서 이행적 종속성을 갖는 선형적 재귀규칙의 병렬평가에 대한 패러다임을 제안한다. 병렬평가를 위해 우리는 모든 노드가 메시지 교환을 위해 연결망만을 공유하는 비공유 병렬구조를 고려한다. 여기서 정규화된 규칙의 평가는 그 규칙의 중명-이론적 의미의 계산이다. 이행적 종속성올 갖는 정규 화된 선형적 재귀규칙을 정의하고, 그 규칙이 등가의 표현식으로 변환될 수 있음을 보이고, 등가의 표현식을 근거로 결합, 분할, 이행성폐포 연산을 이용하여 정규화된 규칙에 대한 병렬평가를 위한 패러다임을 제안하고 시간 복잡도를 분석하였다.

• 컴퓨터교육학회논문지
• /
• 제10권3호
• /
• pp.1-8
• /
• 2007

본 논문은 연관규칙 마이닝을 이용하여 성취도 평가 결과인 문항 응답 데이터를 대상으로 의미있는 문항간 관련성을 찾아낼 수 있는 도구를 개발하는데 연구의 목적이 있다. 제안된 도구는 의미없는 데이터들을 제거하여 보다 더 흥미(interestingness)있는 연관규칙을 생성하도록 하며, 이러한 결과는 교수-학습 방법이나 문제은행의 질을 향상시키는데 필요한 많은 정보를 제공할 수 있을 것이다. 이를 위하여 임의의 문항 응답 실험 데이터 집합을 생성하고 정보이론(Information Theory) 기반의 surprisal 이라는 도구를 개발하여 의미 없는 데이트를 제거한 후, 연관규칙을 추출하였다. 실험 데이터는 특정 문항간 관계가 의도적으로 빈발 생성되도록 만들어지며, 추출된 연관규칙이 그러한 문항간 관계를 적절히 반영하고 있는지의 여부를 평가하고, 원본 데이터와 지지도(support) 기반으로 추출된 연관규칙과 비교함으로써 surprisal 도구의 타당성을 증명하였다.

• 한국지능시스템학회논문지
• /
• 제10권3호
• /
• pp.232-241
• /
• 2000

본 연구는 대량의 데이터에서 효율적으로 최적 규칙을 발견하기 위해 개념 계층과 정보 이득 및 라프셋 이론에 딕반한 통합 방법을 제시하고,이를 최적 규칙 발견 시스템으로 구현한다. 본 방법은 데이터베이스에 있는 데이터에서 일반화된 지식을 추출하기 위한 속성중심의 개념 상승 기법과 불필요한 속성 및 속성값을 제거하기 위한 지식 감축 기법을 적용하며, 최적 규칙의 도출을 위해 속성의 중요도를 사용한다. 본 시스템은 먼저, 속성값 개념의 일반화에 의해 종복 튜플을 제거함으로써 데이터 베이스의 크기를 줄이고, 결정속성에 뎡향을 주지않는 조건속성을 제거하여 간략화된 최적 규칙을 유도한다.그리고 실제 데이터에 적용하여 결정 규칙을 유도하고 그 규칙을 새로운 데이터에 테스트햐 봄으로써 새로운 데이터에도 잘 적용됨을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.277-279
• /
• 2005

단백질들은 서로 다른 단백질들과 상호작용하거나 복합물을 형성함으로써 생물학적으로 중요한 기능을 한다고 알려져 있다. 때문에 대부분의 세포작용에 있어 중요한 역할을 하는 단백질들 간의 상호작용 분석 및 예측에 대한 연구는 여러 연구그룹으로부터 풍부한 데이터가 산출된 후게놈시대(post-genomic era)에서 또 하나의 중요한 이슈가 되고 있다. 본 논문에서는 효모에 대해 공개되어있는 단백질 상호작용 데이터들에서 속성들 간의 연관규칙 학습을 통해 잠재적 단백질 상호작용들을 예측하기 위한 연관규칙 기반의 상호작용 예측 방법을 제시한다. 단백질들 간의 상호작용 예측을 위해 고려되는 각 단백질의 다수의 속성차원은 정보이론 기반의 속성선택 알고리즘을 이용하여 효율적으로 줄이며 상호작용의 속성집합을 이용하여 신경망을 훈련시키고 이렇게 훈련된 신경망에서 속성들 간의 연관규칙을 디코딩하여 연관규칙 기반의 상호작용 예측에 활용한다. 연관속성 발굴을 통한 상호작용 예측을 위한 마이닝 방법으로는 연관규칙 발견 알고리즘을 사용하였으며 예측 정확도를 높이기 위하여 신경망 예측 모델의 학습 결과를 디코딩한 규칙들이 추가적으로 사용하였다. 논문에서 제안한 방법을 발견된 연관규칙을 통한 단백질 상호작용 예측문제에 있어 평균 약 $94.5\%$의 예측 정확도를 보였다.

• 논리연구
• /
• 제21권1호
• /
• pp.1-37
• /
• 2018

잘 알려져 있듯이, 비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론을 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 이 물음에 대답하기 위하여 나는 철학적인 측면과 논리학적인 측면에서 유형 이론을 살펴보고자 한다. "논리-철학 논고"에서 비트겐슈타인의 논리적 구문론은 말하자면 러셀의 유형 이론에 대한 대안이다. 논리적 구문론은 "논리-철학 논고"의 표기법의 기호 규칙들이며 특히 형성 규칙들이다. 비트겐슈타인의 말하기-보이기 구분은 논리적 구문론의 가장 근본적인 근거이다. 비트겐슈타인은 러셀의 유형 이론에 대한 비판과 함께 논리적 문법의 임의성(자의성)과 선험성으로 나아간다. 유형 이론에 대한 이러한 비트겐슈타인의 비판은 결국 프레게와 러셀의 논리학관에 대한 도전이다. 논리학은 세계에 속하는 일반적인 진리나 특성들을 다루지 않으며, 논리학을 이루는 동어반복은 아무것도 말하지 않는다.

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

신경망을 이용해 고객집단을 분류하고 고객의 특성에 따라 세분화된 고객들에 대해 다단계 연관규칙을 적용해서 고객의 상품 구매패턴을 찾아 줌으로써 마케팅 전략 결정을 지원하는 구매패턴분류 시스템을 설계한다. 고객분류를 위한 신경망 시스템은 다층 퍼셉트론에 역전파 알고리즘을 이용한다. 주소, 구매금액, 구매횟수, 고객 구분, 상긴 등과 같은 고객정보를 입력층에 입력변수로 지정하고, 이에 따른 우량/일반고객을 출력변수로 지정한 후 신경망을 학습시키면, 실제의 우량/일반의 간과 예측되는 우량/일반의 값의 차이론 최소화시키면서 모형을 형성시켜 나가게 된다. 구매패턴 분류 시스템은 다단계 연관규칙을 이용한다. 고객분류 서브시스템을 통해 고객집단이 세분화되면 각각의 고객집단에 대해 TID와 품목 트랜잭션을 입력으로 cumulate 알고리즘과 개념계층을 이용해 일반화 과정을 수행하면서 빈발 항목을 찾게 되고 이론 근거로 항목간의 연관규칙을 찾아내게 된다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제67차 동계학술대회논문집 31권1호
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

• 한국통신학회논문지
• /
• 제29권8C호
• /
• pp.1149-1158
• /
• 2004

본 논문에서는 ATM 망에서의 효율적인 트래픽 제어를 위하여 언어적인 규칙과 퍼지 추론부로 구성되는 퍼지로직에서 퍼지 규칙을 생성하였다. 퍼지 규칙 내부에 포함된 제어 파라메터들은 주어진 성능 함수를 최소화하도록 학습된다 즉, 발생된 저, 고순위 트래픽 도착 비율에 따라 퍼지집합 이론을 통하여 추론한 후 그 비퍼지화값으로 접속된 트래픽에 대해 버퍼에서의 임계값을 제어하도록 하였다. 또한, 생성된 퍼지 규칙의 타당성을 검증하기 위하여 MATLAB6.5에서와 온라인 빌드업으로 규칙에 대한 실험결과를 보인다. 그 결과, 고, 저 트래픽 도착 비율에 따라 효율적으로 버퍼에서의 임계값이 제어됨을 확인하였다.

• 대한전자공학회논문지TC
• /
• 제41권10호
• /
• pp.69-77
• /
• 2004

본 논문에서는 ATM 망에서의 효율적인 트래픽 제어를 위하여 언어적인 규칙과 퍼지 추론부로 구성되는 퍼지 로직에서 퍼지 규칙을 생성하였다. 퍼지 규칙 내부에 포함된 제어 파라메터들은 주어진 성능 함수를 최소화하도록 학습된다. 즉, 전체 트래픽 도착율과 버퍼의 점유율에 따라 퍼지집합 이론을 통하여 추론한 후 그 비퍼지화값으로 접속된 트래픽에 대해 서버에서의 서비스율을 제어하도록 하였다. 또한, 생성된 퍼지 규칙의 타당성을 검증하기 위하여 MATLAB6.5에서와 온라인 빌드업으로 규칙에 대한 실험결과를 보인다. 그 결과, 전체 트래픽 도착율과 버퍼의 점유율에 따라 효율적으로 서버에서의 서비스율이 제어 됨을 확인하였다.