• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.7-9
• /
• 2003

여러 지역에 산재되어 있는 고성능의 컴퓨팅 자원들을 이용하는 그리드에서는 어떠한 자원을 선택하느냐에 따라 응용 프로그램의 성능이 좌우된다. 본 논문에서는 단일 클러스터의 노드 개수에 우선한 스케줄링 방법과 노드의 속도를 우선으로 한 스케줄링 방법을 고려하였다. 이러한 실험을 위하여 스케줄링 구조를 설계하고 그리드 자원에서 실제 실험하여 결과를 비교하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.340-342
• /
• 2004

악의 있는 해커들은 악성 프로그램을 이용하여 시스템에 침입하고 파일을 변경(추가, 수정, 삭제)함으로써 일반 사용자로 하여금 올바른 정보를 받아 보지 못하게 한다. 그라나 침입이 있더라도 사용자에게 신뢰성 있는 정보를 제공하기 위하여 로그기반 침입복구모듈을 제안하고 구현하였다. 구현된 로그기반 침입복구모듈은 복구를 위해 사용될 로그를 관리하기 위하여 많은 오버헤드가 발생했다. 본 논문에서는 로그기반 침입복구모듈의 성능을 개선하기 위하여 링크 정보를 관리하는 방법을 제안한다. 그리고 개선된 로그기반 침입복구모듈의 성능을 측정하여 변경 전과 비교한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.94-96
• /
• 2003

맡은 사용자 영역의 프로그램들이 확장성과 성능 향상을 목적으로 다중 프로세스 모델에서 다중 스레드 모델로 바뀌고 있다. 웹 서버도 폭발적으로 증가하는 사용자 요청을 수용할 수 있도록 확장성과 성능 향상을 위해서 다중 스레드 모델을 적용하였다. 본 논문에서는 다중 프로세스 모델을 적용한 웹 서버와 다중 프로세스/다중 스레드 모델을 적용한 웹 서버에 대한 성능을 여러 운영체제 환경에서 평가하였다. 실험 결과 전체적으로 다중 프로세스 모델이 다중 스레드 모델보다 더 좋은 성능과 안정성을 보였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.367-369
• /
• 2001

논리 회로는 하드웨어로 직접 구현할 수도 있으나, 설계된 디지털 논리를 프로그램으로 구현하고 이를 내장형 프로세서가 실행하게 하는 방식으로 구현할 수 있다. 이러한 구현은 내장형 시스템에 적합하도록 코드 크기와 실행 속도가 효율적이어야 한다. 본 논문에서는 복사 전파, 데드코드 삭제, 위상 정렬등의 컴파일러 최적화 기술과 함수 단위 모듈 개념을 도입하여 신호 흐름 분석 기법의 C 코드 자동 발생기를 구현하였다. 회로 시뮬레이션 구현 기법 중 유한 상태 천이 모델 기법으로 코드를 발생하는 Esterel 시스템과 성능 비교 실험을 한 결과, 코드 크기는 평균 84.17%로 감소되었으며 실행 속도는 평균 4.68배로 향상되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.460-462
• /
• 2003

본 논문은 현재 18M, 마이크로소프트, SAP등이 운용하고 있는 대표적인 공용 UBR(UDDI Business Registry) 노드들과 국내에서 개발된 K-UDDI, 일본의 NTT에서 운용하는 UBR노드에 대해 각각의 특징을 서로 비교해 본다. 또한 간단한 모니터링 프로그램을 구현하여, 각각의 UDDI 비즈니스 레지스트리에 등록되고 있는 전체 비즈니스 개체와 비즈니스 서비스 수의 증감 추이를 관찰하고, 등록된 비즈니스 개체별 링크된 WSDL파일의 유효함의 여부를 실행한 결과물을 통해 현재 운용중인 공용 UDDI 레지스트리의 활성화 정도를 분석해 본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.619-621
• /
• 2001

현재 대부분의 액티브 네트워크에서 액티브 노드로 전송된 패킷은 프로그램 코드와 데이터를 동시에 가지고 있으며, 기존 네트웍 방식에서의 저장(store)-전송(forward) 형태와는 달리 저장(store)-연산(compute)-전송(forward) 방식으로 패킷 처리를 한다 이 과정에서 패킷에 악성 코드가 추가되거나 실제 데이터가 변경되는 경우에는 데이터의 무결성을 보장할 수 없다. 따라서 이 논문에서는 액티브 노드에 들어오는 패킷과 그 노드에서 처리가 이루어진 후 나가는 패킷을 비교하여 악의적이거나 악의 적이지는 않지만 실수로 인한 패킷의 오류를 방어함으로서 액티브 노드의 QoS를 향상시켜주는 방식을 제안한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.1198-1206
• /
• 2006

프로그램 소스코드 표절 검사에 대한 기존 방법은 크게 지문(finger-print)법과 구조기반 검사법으로 나뉘며, 주로 단어의 유사성이나 발생빈도를 사용하거나 소스코드 구조상의 특징으로 두 소스간의 유사성을 비교한다. 본 연구에서는 프로그래밍 언어의 예약어 시퀀스를 사용하여 소스코드들 간의 유사성을 비교하고, 이 결과를 FCA(Formal Concept Analysis)를 통해 해석하고 시각화 하는 방법을 제시한다. 일반적인 VSM(Vector Space Model)과 같은 단일 단어 분석으로는 단어의 인접성을 구분할 수 없으므로 단어의 시퀀스 분석이 가능하도록 알고리즘을 구성하였으며 이러한 방식은 지문법의 단점인 소스코드의 부분적인 표절 탐지의 난점을 해결할 수 있고 함수의 호출 순서나 수행 순서에 상관없이 표절을 탐지할 수 있는 장점을 가진다. 마지막으로 유사도 측정결과는 FCA를 이용하여 격자(lattice)로 시각화됨으로써 이용자의 이해도를 높일 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권9호
• /
• pp.911-915
• /
• 2008

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 프로그램의 고유한 특징을 말한다. 본 논문에서는 정적 API 트레이스 정보를 이용하여 자바 클래스 도용을 탐지하는 방법을 제안한다. 정적 API 트레이스를 생성할 때 제어 흐름을 분석하여 버스마크의 강인성을 높였고, 트레이스를 비교할 때 준전체 정렬 방법을 사용하여 서로 다른 프로그램을 구별할 수 있는 신뢰성을 높였다. XML Parser 패키지에 대한 신뢰도와 강인도 실험 결과를 통하여 본 논문에서 제안하는 정적 API 트레이스 버스마크가 자바 클래스 도용을 탐지하는데 있어서 기존의 버스마크들보다 효과적임을 보였다.

• 유변학
• /
• 제3권1호
• /
• pp.56-67
• /
• 1991

압출공정에서 발생하는 전달현상을 이해하기 위하여 싱글-스크류 압출기에서의 비 뉴톤성 유체의 비등온유동에 대한 수치해석을 위한 유한요서법(FEM)을 개발하였다. FEM 은 준-3차원 물리적 모델을 기본으로 하였고 온도분포해석을 위하여 전진방법을 도입하였 다. 본 연구에서 도입한 수치해석적 모델과 더 간단한 준-2차원 모델을 온도분포의 예측에 관하여 초점을 맞추어서 비교 하였다. 압출기의 내부채넬에서 순환유동이 온도분포에 미치 는 영향의 중요성이 강조되었다. 순환유동의 효과를 파악하기 위하여 유한 요소식에서 순환 과 관련된 대류항을 빼도록 유한요소 프로그램을 개조 하였고 개발된 원래의 프로그램과 개 조된 프로그램의 해석을 수행한후 해석결과 중에서 특히 온도분포에 있어서의 차이점을 비 교하였다. 이로부터 간단한 준-2차원 모델은 순환효과를 무시했기 때문에 속도분포의 예측 에서는 별문제가 없으나 온도분포의 예측에 있어서는 크게 잘못될 수 있음을 알수 있다.

• EDISON SW 활용 경진대회 논문집
• /
• 제2회(2013년)
• /
• pp.337-342
• /
• 2013

이번 연구에서는 de Laval nozzle를 이용하여 다양한 유체해석 모델과 프로그램을 비교하여 그 성능을 파악하였다. de Laval nozzle은 eigenvalue에 의해 eigenvector값이 '-'와 '+'값을 동시에 갖는 물리현상을 내포하고 있으며, 압력조건에 따라 내부에서 Normal shock이 발생하게 된다. 이러한 non-linearity를 현재 우리가 주로 사용하고 있는 상용프로그램(cfx, fluent)과 EDISON, 직접 코딩한 프로그램(Matlab이용)이 얼마나 잘 표현하는지 알아보았다. 그 결과 Van Leer Vector Splitting을 이용할 경우 물리현상을 제일 잘 표현 하였다. 또한 난류 유동(Turbulence flow)을 고려하게 될 경우, Mesh가 Boundary layer를 표현할 정도로 정밀하지 못하다면 제대로 된 해석 결과를 얻을 수 없었으며, Wall 근처에서 Non-slip condition에 의해 Vortex가 형성되고, 이 Vortex가 Back flow를 유도하여 해가 수렴하는데 방해를 하게 됨을 알 수 있었다. 이를 방지하기 위해서는 유동이 잘 표현될 수 있도록 적절한 Computational environment를 형성해 주는 것이 매우 중요하다.