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

명령형 언어로 작성된 프로그램에 대한 정적 분석을 효과적으로 수행하는 방법을 제시한다. 흐름을 고려하면서 분석 할 때, 일부의 계산만이 분석 결과를 만들어내는 데 이바지한다. 주어진 입력 메모리로 어떤 명령문을 계산할 때 입력 메모리의 일부만 계산에 사용하고, 계산의 결과는 입력 메모리에서 일부만 변경된 값이기 때문이다. 또한, 변경된 값이 다시 계산에 사용되기까지 불필요한 값의 전달을 수반한다. 이 논문에서는 가벼운 전분석을 통해 불필요한 계산들을 미리 찾아내어 계산에서 제외하는 방법을 제시한다. 상용화된 요약해석 기반 분석기에 이 기법을 적용하고 10개의 오픈 소스 프로그램에서 실험한 결과 분석속도가 평균 65배 빨라졌다. 또한, 최근에 제안된 필요한 정보만 가지고 계산하기 기법을 적용한 결과에 비해서도 분석속도가 평균 16배 빨라졌다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.59-60
• /
• 2016

본 논문에서는 고성능 병렬 계산 장치로 주목받고 있는 GPU를 CPU와 동시에 병렬로 사용한 계산 성능을 분석하였다. 성능 분석을 위하여 원주율(${\pi}$)을 적분으로 계산하는 CUDA 프로그램을 사용하였으며, 전체 계산을 GPU 대비 CPU 계산 부분으로 할당하여 성능을 분석하였다.

• The Journal of the Acoustical Society of Korea
• /
• v.12 no.6
• /
• pp.70-76
• /
• 1993

본 논문은 음성만을 이용하여 계산할 수 있도록 하는 dam성 계산기 구현을 위한 기술에 관한 연구이다. 일정한 형식을 갖는 언어에 의하여 발생할 수 있는 다양한 형태의 구문을 언어 문법적 규칙을 기초로 해석하는 기능은 단독어 인식에서 문장인식으로 넘어가는 과정에서 필수적인 요소이다. 음성 계산기에 HMM과 LR 구문분석 기법을 적용하여 입력된 문장을 분석하고 잘못 인식된 단어를 문장에 맞도록 하였다. 구문분석하는 중에 수식의 의미도 해석하여 계산 결과를 출력해 내도록 하였다. 구문 분석을 사용하지 않은 방법에 비해서 잘못 인식할 가능성을 크게 줄였다.

• Proceeding of EDISON Challenge
• /
• 2014.03a
• /
• pp.211-224
• /
• 2014

금속을 포함한 분자에 대한 양자계산은 정확하고 일관된 결과를 얻기가 힘들 뿐만 아니라 상당한 컴퓨터 자원을 소비하며 많은 시간이 소요된다. 본 연구에서는 복잡한 양자계산의 근사를 위한 방법으로 본래 정성적인 구조 예측에 사용되는 닮은 궤도함수분석(Isolobal Analysis)을 정량적인 측면에서 접근해보고, 이를 통해 닮은 궤도(Isolobal) 구조를 가지고 있는 단위들(radical 등)에 대해서 계산을 근사할 수 있는 방법에 대해 논의한다. $CH_3$, $CH_2$와 닮은 궤도 구조를 가진 전형 원소를 중심으로 하는 분자들에 대해 가장 기초적인 근사계산인 Hartree-Fock 양자계산을 수행하였다. $(CUH_5){_2}^{2-}$를 표적으로 결합 구조를 예측하기 위한 경향성을 계산한 결합 성질로부터 파악한다. 분석 결과 동일한 주기에 대해서는 원자반지름(Atomic radii)에 대해 조화 형태의 결합에너지가 얻어졌으며, 동일한 족에 대해서는 좋은 근사가 되지 않았다. 파악된 경향성을 바탕으로 금속의 결합을 근사한 에너지에 대해서는 -1054.1875 kJ/mol로 비교적 큰 오차를 보였으나, 오차 항에 대한 분석이 가능해 추가적인 계들에 대한 계산으로 근사를 교정할 수 있을 것으로 보인다.

• Proceeding of EDISON Challenge
• /
• 2015.03a
• /
• pp.156-162
• /
• 2015

나노입자의 특성과 기능은 bulk 물질과 달리, 나노 입자를 이루는 원소의 종류 뿐만아니라 크기와 모양에도 밀접한 연관이 있다. 이를 계산화학적으로 예측할 수 있다면 나노입자의 합성과 응용에 큰 도움이 될 것이다. 본 연구에서는 일정한 크기의 은 나노입자의 구조를 계산한 뒤, 바깥쪽의 두 원자 층을 무작위로 섞은 뒤 다시 구조최적화 계산을 거쳐 다양한 나노입자들의 구조를 찾았다. 이렇게 구해진 구조들의 에너지를 계산하고 원자를 하나 떼어낼 때의 에너지를 계산하여 응집 에너지를 구해 경향성을 분석해 보았다. 더 나아가, 나노입자를 이루는 각 원자 층의 개수가 하나 더 커질 때 필요한 에너지를 계산하여, 원자 하나당 평균을 내어 분석해보았다. 본 연구에서는 병렬화 된 밀도범함수이론 계산 프로그램을 이용해 100개가 넘는 입자의 계산이 가능하다는 것을 확인했고, 은 나노입자의 크기가 증가함에 따라 원자 하나가 추가되는 경우와, 원자 층 하나가 추가되는 경우의 그래프를 보고 경향성을 분석하였다. 이는 다른 화학적 환경에 있는 은 원자의 에너지를 계산하여 각각의 환경에서의 은 나노 입자의 크기를 예측하는 계산하는 데 초석이 될 것이다.

• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.808-818
• /
• 2005

We devise a differential fixpoint computation method and develop a new worklist algorithm based on it. Compared with other differential methods, our method can deal with non-distributive systems and adopt any worklist scheduling policy satisfying restrictions imposed by differential evaluation. As a practical application, we present an interpretation framework and implement constant and alias analysis and memory lifetime analysis based on it. Our experiment shows that our method can save computation and worklist scheduling is also important in differential fixpoint evaluations.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1993.04a
• /
• pp.495-502
• /
• 1993

제품의 원가계산은 매우 복잡하고 어려운 작업으로 인식되어 왔으나 본 원가관리시스템을 이용하면 원가계산을 체계적이고 신속하게 계산.관리할 수 있다. 표준원가와 원가 시뮬레이숀의 경우는 기초정보만을 이용하여 계산함으로 기초정보만 준비되어 있으면 적용상의 문제는 전혀 발생되지 않는다. 실제원가의 경우에는 원가와 관련된 실적정보가 필요하므로 기존의 생산관리시스템과 연계하여야 사용이 가능하다. 원가차이분석 서브 모듈을 이용하면 원가분석을 용이하게 할 수 있다. 본 시스템의 특징은 원가계산시 원가적상법을 이용함으로서 제품의 원가를 계산할 때 모든 하위부품의 원가도 동시에 계산됨으로서 부품의 원가관리도 가능하다는데 있다. 또한 PC용으로 작성함으로서 시스템 도입시의 도입비용을 절감할 수 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2102-2116
• /
• 1998

본 논문에서는 TCP/IP 프로토콜을 기반으로 하는 인터넷에서 SNMP의 MIB-II를 활용하여 분석 파라미터를 정의하고 이를 계산하는 알고리즘을 제안하고자 한다. TCP/IP 망의 사용자에게 적절한 QoS를 제공하기 위해서는 성능과 장애에 관련된 파리미터를 기반으로 한 망 관리 행위를 수행해야 한다. 이를 위해서 인터넷 관리 표준을 정의된 MIB-II의 관리 정보를 기반으로 분석 파라미터를 정의하고 이를 계산하기 위한 알고리즘을 제시하고자 한다. MIB-II에서 system, interface, ip, snmp 그룹의 관리 변수를 Case 다이어그램에 따라 분석하여 선로 이용률, 에러 수신율, 인터페이스 패킷 송수신율, 인터페이스 패킷 송수신 손실률, 입출력 트래픽률, 방송형 송수신 트래픽 비율, 시스템 패킷 입출력률, 시스템 패킷 송수신 손실률, 시스템 자원 부하율, 패킷 전달률, 경로 설정 실패율, 관리 트래픽 이용률 등의 분석 파라미터와 계산 알고리즘을 제안한다. 분석 파라미터 계산 알고리즘에 대한 적용성을 실험하기 위해서 실존하는 라우터를 대상으로 분석 결과를 제시하고 진단하였다. 이러한 인터넷 분석 파라미터 계산 알고리즘은 망 관리자가 전체 TCP/IP 통신 네트워크를 진단하고 분석할 수 있는 자료로 활용될 수 있을 뿐만 아니라 인터넷 사용자에게 QoS를 제공하루 수 있을 것으로 기대된다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.05b
• /
• pp.1469-1473
• /
• 2004

Non-Darcy흐름에 따른 호안제체의 흐름과 배수갑문을 통한 유출입 특성을 고려한 체절구간의 수리특성분석 도형에 의한 해석결과는 실측자료와 비교적 잘 일치하여 개발된 모형의 적용성이 있음을 보여주었다. 실측치와 비교한 계산결과는 본간(1958) 식에 의한 계산이 나(1987)에 의한 방법보다 비교적 정확하게 계산할 수 있음을 보여주었다. 아울러 완전 또는 불완전 월류의 구분이 없이 잠수도에 의한 계산을 통해서 하나의 유량계수 관계곡선을 사용하여 간편하게 사용할 수 있는 나 식의 사용성을 보여 주었다. 본간 식과 나 식에 의한 계산 값이 실측치보다는 유출입 특성이 크게 나타나고 있는 것으로 나타났다. 따라서 현장에서의 체절구간의 불규칙적인 단면 양상을 감안한 유량계수의 조정이 필요할 것으로 판단된다. 일반적으로 체절구간의 수리특성의 분석을 위해서 제체구간 유량의 고려는 Darcy 흐름에 기초하여 분석한 것이 지금까지의 분석이다. 제체를 통과는 유량과 개방구간을 통과하는 유량의 비가 체절구간이 좁을수록 크게 나타나 제체의 정확한 유출임 특성을 고려한 체절구간의 수리특성을 분석해야할 필요가 있음을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.716-718
• /
• 2016

본 논문에서는 실시간 메쉬 모델의 형태 분석 처리가 가능하도록 하기 위한 효율적 이산 곡률 근사 방법을 제안한다. 메쉬 이산 곡률을 계산하는 기존 방법들의 경우, 각 정점(vertex) 별로 인접면(face)에대한 인접 순서등 인접 정점과 인접면과의 관계에 대한 사전 분석이 요구된다. 또한, 인접 정점과의 관계 분석을 위하여 고유치 분석 등 높은 계산 비용을 요구한다. 이에 비해, 제안 방법은 각 정점별로 정렬되지 않은 인접 정점의 위치 정보만으로 이산 곡률을 계산함에 따라 계산 부담이 적은 반면, 기존에 Taubin의 방법을 적용한 결과에 비해 정확한 곡률 계산 결과를 보여 주었다. 곡률 계산의 정확성은 다양한 형태의 메쉬 모델들에 대한 기존 방법과의 비교 실험을 통하여 입증하였다.