• Tribology and Lubricants
• /
• v.12 no.3
• /
• pp.26-32
• /
• 1996

오랜 역사에 걸쳐 연구자들은, 마찰력은 주로 접착에 의한 것으로 믿어 왔으며, 이러한 주장은 실험적으로 증명되지 못했다. 한편, 미끄럼 두 표면 사이의 건식 마찰력은 두 표면 사이의 기계적인 상호작용에 의한 것으로 알려져 있다. 이 연구에서는 두 표면 사이의 기계적 상호작용을 제거함으로써 마찰계수를 감소시키는 방법을 제시하였다. 매끄러운 경한 표면에 얇은 elastomer층을 입힌 비윤활 최소 마찰계수에 대한 본 실험결과는 앞으로 정밀기계부품의 충격을 받는 부위에 응용할 수 있을 것으로 기대된다.

• The Korean Journal of Rheology
• /
• v.4 no.1
• /
• pp.35-45
• /
• 1992

어미현상의 예측을 위하여 사각단면이 링을 환상압연하는 공정을 3차원 강소성 유 한요소법으로 해석하였다. 환상압연공정의 점진적이고 변형영역이 두롤 사이 근처로 국한되 므로 계산시간을 줄이기 위하여 두롤사이를 통과하는 부분만을 해석하였다. 변형도율의 분 포, 압연력, 구동롤의 토오크, 링과 롤 사이의 접촉면에서의 압력분포 및 변형된 링의 단면 모양을 계산하였다. 압연력, 구동롤의 토오크, 특히 변형된 링의 단면모양, 즉 어미현상은 계 산결과와 실험이 잘 일치하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.25-28
• /
• 2011

본 논문에서는 강의노트의 저장 형식이 XML 문서라는 사실을 기반으로 강의노트 사이의 유사도 계산 문제를 XML 문서 사이의 유사도 계산 문제로 치환해 해결한다. 그리고 유사도를 계산할 때 강의노트가 포함하는 컨텐츠의 논리적 구조의 특징을 반영한다. 본 논문에서 제안한 기법을 사용해 사용자가 소유한 강의노트와 유사한 강의노트들을 정확하게 검색함으로써 사용자가 효과적으로 강의노트를 학습할 수 있도록 도움을 줄 수 있다.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2014.11a
• /
• pp.135-135
• /
• 2014

폴리이미드 필름 위에 습식도금으로 형성된 구리피막에서 시효처리 시간에 따른 박리강도의 변화를 실험적으로 확인하였다. 그 결과, 시효처리 4시간까지 큰 변화가 없다가 4시간부터 10시간 사이에서 급격히 증가하는 경향을 나타내었다. 시효처리 시간에 따른 박리강도 증가의 원인을 구리-폴리이미드 사이 계면 및 구리도금 피막 자체의 특성 변화의 관점에서 해석하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1996.10a
• /
• pp.115-118
• /
• 1996

연관규칙(Association Rule)은 데이터 베이스에 존재하는 속성들 사이의 관계를 기술하는 것으로, 간단하면서도 사용자에게 많은 정보를 줄 수 있다. 그러나, 지금까지는 이진 데이터베이스에 존재하는 연관규칙의 발견에 대해서 주로 연구되어 왔으며, 실수값 속성을 갖는 데이터에 관한 연구는 미비하였다. 본 논문에서는 퍼지집합을 이용하여 실수값 사이에 존재하는 연관규칙을 기술하고, 그것을 찾아내는 방법을 제시한다. 제시하는 방법은 사용자에 의해서 정의된 언어항을 이용하여, 실수값 속성을 가진 데이터를 이진 데이터로 재구성한다. 그리고 재구성된 이진 데이터에 기존의 연관규칙 발견 방법을 이용하여 연관규칙을 찾아내고, 찾아진 연관규칙을 정의된 언어항을 이용하여 다시 기술한다.

• Electronics and Telecommunications Trends
• /
• v.11 no.3 s.41
• /
• pp.71-84
• /
• 1996

Girard에 의해서 1987년에 처음 소개된 선형 논리(linear logic)는 컴퓨터 사이언스에 큰 관심을 불러 일으키며 빠르게 발전하고 있다. 선형 논리는 상태 및 자원을 논리적 수준에서 다루고 있는 특징이 있다. 본 고에서는 선형 논리의 의미, 동기 및 특성을 소개하며, Gentzen의 시퀀트 계산법과 Prawitz의 자연 연역법 사이의 연관성 및 여러 증명 사이의 '같음'에 대한 개념을 컷제거 정리 측면에서 논의하고, 이러한 개념에 의하여 선형 논리의 증명이 증명망으로서 표현될 수 있음을 보인다.

• 대학교육
• /
• s.72
• /
• pp.86-93
• /
• 1994

역사상 지식인과 국가권력을 포함한 모든 권력과의 갈등은 결국 이러한 권력이 허용하는 자유의 한계를 확장하려는 움직임이었고, 이렇게 볼 때에 지식인과 국가권력을 위시한 모든 형태의 권력 사이에는 결국 긴장이 놓여질 수밖에 없다. 이러한 지식인과 국가권력의 불편한 관계는 국가와 사회의 이분법을 극복하였다고 하는 현실 사회주의에서도 예외는 아니었다. 그러나 지식인과 국가 사이에 적당한 긴장관계가 나타나고 있는것은 오히려 그 사회가 건강하다는 징표로 삼을 수 있는 것이지, 어느 사회에 지식인과 국가 사이에 완전한 조화가 이루어졌다고 주장하는 것은 그 사회의 진정한 성격에 관해서 의심하지 않을 수 없게 만드는 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05a
• /
• pp.607-610
• /
• 2003

지문 정합을 할 때 특징점 사이의 거리와 각도가 유사한 순서대로 있는가를 비교하는 알고리즘을 제안한다. 한 점에서 가장 가까운 특징점을 찾고 다시 찾은 점에서 가장 가까운 특징점을 찾는데 이러한 세 개의 특징점들 사이의 거리와 끼인 각도를 기본 요소로 하여 이들의 순차를 특징점 배치도로 정의하여 등록지문에도 유사한 순차가 있는지를 검사한다. 정합 시에 특징점 사이의 거리, 각도 순차가 있는가를 검사하기 때문에 중심점을 찾지 않아도 되며 지문의 이동, 회전에 영향을 받지 않는다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.73-75
• /
• 2001

본 논문에서는 다중 스레드 Java 프로그램의 실행 중 처리되지 않는 예외상황을 실행 전에 미리 예측하는 분석 방법을 제안한다. Java에서는 안전성 문제 때문에 다중 스레드 사이에서 예외 상황을 발생시키지 않도록 제한하고 있는데 반해, 본 연구에서는 프로그래머가 자유롭게 다중 스레드 사이에 예외상황을 발생시킬 수 있도록 언어를 확장한 후에 그 프로그램에서 처리되지 않는 예외상황을 예측해낸다. 이 분석 방법은 다중 스레드 Java 프로그램의 각 스레드에서 동시에 수행될 수 있는 부분들을 미리 예측해내고, 이 분석 정보를 이용하여 다중 스레드 사이에서 예외상황을 발생시킬 때 처리되지 않는 예외상황을 예측한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.890-892
• /
• 2003

단백질 구조의 표현 방법을 정형화하고 호환성 및 상호작용성을 향상하기 위하여 단백질의 이차구조 구성요소와 그들 사이의 관계를 이용하여 단백질 구조를 기술하는 PSA가 제안되었다. 본 논문에서는 PSA에서 정의된 단백질의 이차구조 사이에 정의된 요소 중에서 네 가지의 각도관계와 다섯 가지의 거리관계를 계산하는 방법에 대하여 기술하였으며, 이를 자바로 구현하여 그 결과를 확인하였다. 본 논문에서 제안한 방법은 단백질의 이차구조 사이의 상관관계를 포함하는 PSAML 데이터로부터 단백질의 구조 및 유사성을 비교하기 위한 단백질 구조비교 시스템에서 사용할 수 있다.