• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.335-342
• /
• 1999

논리 프로그램의 타입 및 모드 분석은 실행 시간에 변수가 갖는 텀의 집합에 대한근사값을 구하는데 보통 요약 해석을 기반으로 하여 설계되고 개발되어 왔다. 이 논문에서는 타입 및 모드 분석을 위해서 설계된 다양한 요약 도메인을 고려하여 그들간의 계층 관계를 Galois insertion을 기준으로 밝힌다. 이 논문에서는 요약 도메인으로써 타입 그래프, 깊이-k 타입 , 깊이-k 모드, 순환모드, 그리고 모드를 고려할 것이다. 특히 깊이-k 모드는 타입 및 모드 분석을 통합하기 위한 도메인으로써 깊이-k 타입을 확장하여 제안하였다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.10a
• /
• pp.187-191
• /
• 1992

본 연구에서 퍼지제어 시스템 설계를 위한 마이크로 컴퓨터 지원 설계 기법과 프로그램 FCS 를 개발하였다. 이 프로그램은 IBM-PC 호환기종 (80386,804860) 에 사용되는 Turbo-C 언어를 사용하였고, Borland C $^{++}$ 2.0 컴파일러를 사용하였다. 제어시스템의 각 요소를 모듈화 하여 동특성을 차분 방정식으로 표시하여 사용자가 쉽게 대치할 수 있도록 서브루틴화 하였다. 퍼지제어 규칙의 최적조건, 퍼지 입출력 변수의 최적조건, D/A 및 A/D 변환기의 최적 비트수, 최적 샘플링 시간을 결정 할 수 있다. 공기예열 시스템을 예로서 이 프로그램을 이용하여 설계하였다.

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

이 논문에서는 정적으로 2단계 언어의 불필요한 식을 찾는 분석 방법을 제안한다. 불필요한 식이란 식의 실행의미가 프로그램의 결과에 영향을 미치지 않는 식을 말한다. 다단계 프로그램이 불필요한 식을 만들어내는 지 프로그램 실행전에 알 수 있다면 프로그램 실행에 드는 비용을 줄일 수 있다. 이 분석은 다형타입을 가지는 다단계 언어의 타입시스템과 타입시스템에 올라탄 분석에 기반하고 있다. 이 분석으로 프로그램 실행 시 불필요한 식이 프로그램 코드 형태로 전파되는 것을 알 수 있으며 다형타입을 이용한 정교한 분석이 가능하다.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2015.11a
• /
• pp.182-182
• /
• 2015

레이저 홀로그램을 이용하여 $N_2$ 플라즈마를 진단하였다. 홀로그램 이미지에서 추출한 데이터는 optical emission spectroscopy와 langmuir probe로 측정한 데이터와 매우 유사한 경향성을 보였다. 이는 홀로그램 센서가 플라즈마의 전기 광학적 입자 정보를 제공할 수 있음을 의미한다. 홀로그램 안에 이 같은 정보가 저장될 수 있는 원리는 빛을 구성하는 양의 전하를 가지는 입자와 진공을 채우고 있는 음의 입자가 함께 형성하는 전자기적 에너지 필드의 형성에 있음을 밝힌다. 이러한 원리에 기초해서 그간 개발된 센서들을 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.188-190
• /
• 1998

데이터 베이스 관리 시스템에서는 질의 결과의 크기(selectivity)를 미리 예측하는 것이 필요하다. 질의 결과의 크기는 데이터의 분포 상태에 의해서 결정된다. 이러한 데이터의 분포 상태를 정확하게 예측하는 것이 매우 중요하다. 대부분의 데이터 베이스 관리 시스템에서는 이를 위하여 주기적으로 저장하고 있는 레코드에 대해서 히스토그램을 만들고 이용한다. 이 방법은 히스토그램의 저장공간이 적게 필요로 하고 선택도를 추정하는데 있어서 선택도 추정시 부가적인 계산이 필요하지 않은 장점이 있지만, 일정한 크기의 버켓내에서는 데이터들이 균일하게 분포한다는 가정을 함으로써 선택도 추정에 있어서 에러율이 높았다. 이에 본 논문에서는 커널 방법을 사용하여 버켓 내 데이터의 분포에 대하여 추정 함으로써 이를 해결하는 방법을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.676-678
• /
• 1998

본 논문에서는 Information-Based Complexity분양의 문제들 중 그 complexity를 계산하기 매우 어렵거나 불가능한 문제들의 오차를 분석하기 위해서 k-fold Wiener process를 생성하는 algorithm에 대해 연구하고, 이 algorithm을 실제 프로그램 하였다. 또한 이 프로그램이 생성한 함수가 실제 k-fold Wiener process와 아주 근사하다는 것을 Kolmogorov-Smirnov test를 통하여 보여준다. 이 프로그램을 이용하면 여러 문제들의 average case error를 Monte-Carlo Simulation 과 같은 방법을 사용하여 실험적으로 계산할 수 있다.

• Proceedings of the KAIS Fall Conference
• /
• 2001.05a
• /
• pp.257-260
• /
• 2001

본 논문은 사출금형설계 관련 지식과 경험을 전산정보화 하고 유동해석프로그램과 기계적 성능예측 프로그램을 결합시켜 전문가시스템을 구축하였다. 전문가시스템은 주어진 설계에 대해 유동해석프로그램을 구동시켜 열기계적 데이터베이스를 얻고, 필요에 따라 기계적 성능예측 프로그램을 수행시켜 설계의 최종적인 진단을 수행하게 된다. 이러한 과정으로 설계에 대한 평가를 수행하며, 만일 설계가 잘못된 것으로 판정이 되면 그에 해당하는 대안을 제시토록 하여 합리적인 설계가 가능하도록 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.334-336
• /
• 2001

표절을 쉽게 알아내기 위해, 프로그램 유사성 검사기(CloneChecker)를 만들었다. CloneChecker는 프로그램을 요약해서, 유사성을 계산하고, 비슷한 그룹들로 묶어 낸다. CloneChecker는 두 프로그램의 모든 부 구문트리(abstract syntax sub-tree)들을 서로 비교하므로 구문의 사소한 변화에 민감하지 않으며, 그럼에도 해쉬 함수를 이용하여 빠르게 수행된다. CloneChecker는 실제 강의에서 사용되었으며, C, Java, Scheme, nML로 짜여진 프로그램들에 대해 동작한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.628-630
• /
• 2002

본 논문은 이상 유동장 시스템의 전기 단층촬영 기법의 성능을 향상시키기 위해 Matlab과 같은 계산 도구에 데이터 통신 기능을 추가적으로 구현하여 노드들의 협력 계산을 지원한다. 구현된 통신 기능은 Matlab 명령어 라인이나 m-file에서 직접 호출할 수 있는 동적 링크 라이브러리 형태로 제공되며 호출시 전달된 Matlab 고유 방식으로 표현된 행렬을 Windows 운영체제에서 제공하는 파이프 기능을 이용하여 네트워크를 통해 수신자에게 전달한다. O(n$^3$)의 복잡도를 갖는 다수의 연산으로 구성된 영상 복원 알고리즘에 있어서 사전 분석과정을 협력 계산함으로써 물체 내부의 상황에 따라 n의 크기를 감소시켜 알고리즘의 수행속도를 크게 개선할 수 있다. 본 논문에서 구현된 협력 계산 환경과 프로그램은 주어진 물체내부 기포 분포에 대해 동적 칼만 필터 프로그램을 8개의 노드를 사용하였을 때 15배까지 수행속도를 향상시켰다. 따라서 고가의 병렬 시스템 대신 현재 이용이 가능한 저비용의 클러스터 계산 환경을 ET 기법에 적용하여 보다 정확하고 신속한 영상 복원을 수행할 수 있다.

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

대량의 짧은 문자열들에 대해 부분 문자열의 발생 빈도를 예측하는 문제는 카운트 서픽스 트리를 미리 생성한 후 이를 이용함으로써 처리될 수 있다. 카운트 서픽스 트리는 모든 부분 문자열의 발생 빈도를 저장한 뒤 가지치기를 함으로써, 제한된 트리 크기와 발생 빈도 예측이라는 두 가지 목표를 처리한다. 하지만, 염기서열에서 처럼 저장된 문자열의 길이가 길어질 경우 카운트 서픽스 트리를 생성하기가 대단히 어려워진다는 문제점이 발생한다. 이 논문에서는 선삽입, 후가지치기 방식의 카운트 서픽스 트리 대신 처음부터 길이가 q 이하인 문자열들만을 삽입하는 큐그램 트리를 제안한다. 큐그램 트리는 제한된 트리 크기에 따라 저장할 부분 문자열의 크기를 미리 결정할 수 있으며, 데이타베이스에 저장된 문자열의 전체 길이가 N일 때 O(N) 시간에 생성 가능하다. 실험 결과 제한된 부분 문자열을 가지고 있음에도 불구하고 긴 부분 문자열의 발생 빈도를 매우 정확하게 예측할 수 있음을 보였다.