• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2329-2332
• /
• 2002

G-machine은 지연 함수형 언어를 효율적으로 구현하기 위한 추상기계이다. G-machine은 축약 과정에서 생성되는 그래프를 저장하기 위해서 많은 기억장소를 필요로 한다. 본 논문은 힙에 할당되는 그래프 노드 중 AP 노드를 재사용하는 방법을 제시한다. 일반적으로 AP 노드를 루트로 하는 그래프가 한 단계 축약된 후 다시 AP 노드를 루트로 하는 그래프로 구성되어지는 경우 루트 노드를 재사용할 수 있다. 이를 위해서는 기존 G-machine을 약간 확장 시켜야 하는데, 본 논문에서는 AP 노드의 일부를 변경하기 위한 명령어 UPDL과 UPDR을 제시하고, 이들 명령어의 상태변환 규칙과 이들 명령어 생성을 위해 수정된 R-변환 규칙을 제시한다. 본 논문에서 제시하는 방식으로 기 생성된 AP 노드를 재사용함으로써 힙 기억공간의 사용량을 줄일 수 있고, 이 과정에서 힙 기억장소 할당과 쓰기 연산의 수를 줄일 수 있다.

• Proceedings of the KSME Conference
• /
• 2000.04a
• /
• pp.655-660
• /
• 2000

This paper presents the construction of consistent coefficient matrix elements for jointed structures using the reduction of flexibility and mass matrices. The reduced flexibility coefficient matrix hat little structural complexity than Guyan's stiffness matrix reduction since the only element of the original matrix, corresponding to the selected nodal degrees of freedom, contributes. The proposed method was applied to building equivalent coefficient matrices for a clamp jointed structure in finite element modal analysis of a cantilevered beam. The theoretical analysis results were compared with those experimental modal analysis, Comparison of both shows good agreement each other.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.644-646
• /
• 1998

대용량의 지형을 실시간에 가시화하기는 어려운 문제이다. 따라서, 지형을 구성하는 메쉬를 간략화하여 다단계 상세도(Level-Of-Detail)를 가진 모델 생성이 필요하다. 본 논문에서는 지형 간략화를 위해 에너지의 특성과 주변 정보를 이용한 에지 축약(Edge Collapse) 기반의 단순한 간략화 알고리즘을 제시한다. 기본적인 접근 방법으로는 기하학적인 메쉬 구성요소들 중에서 에지의 특성에 따라 제거 기준을 설정한 후 간략화해 나간다. 속도 향상을 위해 에지 축약 이후의 새로운 점 위치 계산을 에지의 종류에 따라 구분하여 단순하게 계산하였고, 간략화를 위한 제거 기준도 비교적 간단한 기준으로 설정하였다. 간략화 이후에도 원래 지형의 위상(topology)을 유지 할 수 있는 단순한 기법을 제시하고 있다. 실험 결과에서 두 가지 지형 모델에 대해서 정점 제거 방법과의 비교 결과, 간략화된 지형 모델에서의 에러를 최소화하였고, Heckbert가 제안한 방법과의 비교에서는 개선을 하였음을 알 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.318-320
• /
• 1999

정보시스템의 보호를 위한 침입탐지의 방법으로 오용탐지와 비정상행위 탐지방법이 있다. 오용탐지의 경우는 알려진 침입 패턴을 이용하는 것으로 알려진 침입에 대해서는 아주 높은 탐지율을 나타내지만 알려지지 않은 침입이나 변형패턴에 대해서는 탐지할 수 없다는 단점이 있다. 반면 비정상행위 탐지는 정상행위 모델링을 통해 비정상패턴을 탐지하는 것으로 알려지지 않은 패턴에 대해서도 탐지할 수 있는 장점이 있는데 국내외적으로 아직까지 널리 연구되어 있지 않다. 본 논문에서는 BSM으로부터 얻은 다양한 정보를 추출하고 이러한 정보를 자기조직화 신경망을 이용하여 축약함으로써 고정된 크기의 순서정보로 변환하는 방법을 제안한다. 이렇게 생성된 고정크기의 순서정보는 비정상행위 탐지에 효과적으로 사용될 수 있을 것이다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2002.03a
• /
• pp.89-94
• /
• 2002

본 논문에서는 배전분야 설비관리 시스템을 대상으로 배전설비 고장시 GIS 기능을 이용하여 고장설비를 예측할 수 있는 방법과 구현 실례를 소개하고자 한다. 배전설비관리를 위한 지리정보 데이터 모델은 가공과 지중, 전기와 비전기, 점형과 선형의 특성을 가지는 배전설비의 특성을 분석하여 모델링된다. 모델링의 결과 생성된 데이터베이스는 실세계에 존재하는 대부분의 객체에 대한 정보를 포함하고 있으므로 매우 크고 그 구조 또한 복잡하다. 그러므로 응용프로그램이 필요로 하는 데이터를 추출하기 위하여 많은 시간이 요구된다. 그러나 고장복구업무를 위한 시스템은 사용자의 만족도를 위하여 추론의 정확성과 더불어 응답속도를 최소화하는 것이 필수조건이다. 이를 위하여 GIS 데이터베이스 모델을 좀 더 개량할 필요가 있으며, 본 논문에서는 이에 대한 한가지 방안으로 배전설비의 GIS 모델의 축약된 형태인 관계형 데이터베이스 모델을 제시한다. 고장점 추론은 이렇게 만들어진 축약모델을 이용하여 진행되며 고장신고 고객별로 회선, 개폐기, 변압기, 인입주 등 정보를 추출하고 추출된 설비들의 계통상 위치의 유사성을 추론하여 최종 예측점을 파악한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.7-9
• /
• 2005

본 논문에서는 모바일 무선 네트워크 상에서 효율적으로 XML문서를 방송하기 위한 기법을 제안한다. 이를 위해 XML 문서의 구조정보를 무선 방송 데이터의 색인으로 활용하여 XML문서를 스트링으로 재구성한다. 방송되는 XML스트링의 색인은 XML 경로 요약을 이용하여 축약된 형태로 표현하며, 구조 정보를 XML스트림의 색인으로 사용하기 위해 XML문서는 구조정보와 컨텐츠 정보로 분리한다. 축약된 색인을 이용하여 각 클라이언트는 방송되는 XML 스트림에 대하여 지역적으로 질의를 수행함으로써 전체 XML문서 중 자신이 원하는 정보만을 수신한다. 성능평가를 통해 제안하는 기법이 접근 시간 및 튜닝시간에서 많은 이득을 볼 수 있음을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.115-117
• /
• 2001

네트워크의 고속화로 IT산업이 발달함에 따라 정보를 저장할 대용량의 저장장치가 필요하게 되었다 그러나 디스크 드라이브는 느린 입출력 속도와 오류로 인한 성능 저하 및 정보 손실이 있을 수 있고 저장장치를 운영하는 서버에 부하를 증가시켜 서버의 성능을 저하시킬 수 있기 때문에 보다 안정적이고 성능이 졸은 네트워크 저장장치의 필요성이 증가하게 되었다. 본 논문은 리눅스 커널 축약(shrinking)을 통하여 구현한 임베디드 리눅스 기반의 네트워크 저장장치에 관한 것이다. 네트워크 저장장치의 운영체제로서 리눅스를 사용함으로써 운영체제의 비용을 줄이고, 기존 리눅스 커널보다 축약된 리눅스 커널을 사용함으로써 메모리의 효율성 및 성능이 향상된 네트워크 저장장치 시스템을 구축할 수 있다.

• Review of KIISC
• /
• v.19 no.2
• /
• pp.43-52
• /
• 2009

본 논문에서는 가장 대표적 인 보안 운영 체제인 SELinux를 보다 쉽게 이용할 수 있도록 하는 보안 정책 템플릿과 도구를 설명한다. 제안하는 방법론을 위해 먼저 SELinux를 보다 편리하게 이용할 수 있도록 하기 위해 연구된 기존에 도구들이 가지는 문제점을 분석하였다. 그리고 SELinux를 심도 깊게 분석하여 SELinux에서 이용하는 주체, 객체의 타입 그리고 권한을 객체 타입과 객체별, 권한별로 축약하였다. 이처럼 축약되어 간소화된 객체 타입과 권한을 바탕으로 리눅스 시스템이 이용하는 임의적인 접근통제 형태를 지원하는 보안 정책 템플릿 기술언어를 정의하여 SELinux보안 정책의 복잡성을 개선하도록 하였으며 이를 통해 기존 리눅스 시스템 관리자가 이용하기 편리하도록 하였다. 또한 자동으로 제안된 보안 정책 템플릿 언어로 작성된 보안 정책을 SELinux의 보안 정책으로 변환하는 변환기와 자동으로 정책을 생성하는 생성기를 개발하여 SELinux 이용의 편리성을 최대화 하였다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.8
• /
• pp.593-602
• /
• 2001

G-Machine은 주어진 표현식을 그래프 축약을 통해석 계산한다. 이러한 축약 과정은 표현식을 그래프로 표현하기 위해 많은 그래프 공간을 필요로 한다. 본 논문에서는 그래프 공간을 효율적으로 사용할 수 있는 방법을 제안한다. 본 논문에서는 우회 노드 장소에 자료를 중복 사용하는 방법을 제안하여 G-Machine에서 필요로 하는 그래프 공간을 절약하며, 이를 위한 새로운 추상기계인 poGM(Pointer Overlapped GM)을 제안한다. poGM에서는 필요한 곳에만 상대 주소를 사용하여, 그래프 내부 노드와 단말 노드 모두에서 그래프 공간을 절약할 수 있다. 기억 장소 재활용 체계를 포함하는 시뮬레이션의 결과벤치마크 프로그램에서 GM보다 총합 사용량은 평균32%, 최소합은 평균 47.6% 적게 사용하였으며, 수행 시간은 평균 30% 빠르게 수행되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.829-831
• /
• 2003

개방형 네트워크인 인터넷에서의 오든 정보 교환은 항상 정보의 노출 및 정보의 위조 및 변조 등의 위협요소를 배후에 내포하고 있다. 이러한 인터넷에서의 중요 정보 보호를 위해서는 모든 정보 교환에 있어서 정보의 탈법노출을 방지하기 위한 기밀성, 정보의 위조 및 변조 여부를 판단하는 무결성. 정보의 송신자와 수신자 사이렌 송수신 사실을 부인하지 못 하도록 하는 부인방지, 전송된 정보의 송신자라 수신자를 확실하게 증명해주는 인증 등의 기능들이 제공되어야한다. PKI 기반의 인증서 상태 검증 시스템은 위와 같은 4가지의 기능을 제공해 준다. 하지만 실시간으로 인증서의 대한 상태 정보를 제공하지 못 한다는 단점과 인증서 상태 검증을 위해 많은 정보를 전송해야 하기 때문에 네트웍 과부하에 문제가 발생한다. 그로 인해 인증서 상태 검증에 소요되는 처리 속도가 느리다는 단점이 있다. 본 논문에서는 기존 방식의 문제점인 인증서 상태 정보의 실시간성 반영 문제 및 인증서 상태 겅증 시간의 향상을 위한 인증서 자체의 Serial과 UserDN만을 이용한 축약 서명 기반의 효율적인 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통하여 기존의 시스템과 제안하는 시스템의 인증서 상태 검증 속도를 비교해 보고자 한다.