• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권8호
• /
• pp.808-818
• /
• 2005

본 연구에서는 증가분 기반 계산을 사용한 고정점 계산 방법을 제시하고 이에 기반한 새로운 워크리스트 알고리즘을 제시한다. 제시된 방법은 기존의 증가분 기반 계산과 달리 배분 법칙을 만족하지 않는 계산 시스템에도 효과적으로 적용될 수 있으며 증가분 기반 계산으로 인한 제약 조건을 만족하면서도 다양한 워크리스트 스케줄링 방법을 사용할 수 있는 장점을 가지고 있다. 본 연구의 결과를 프로그램 정적 분석 방법인 요약 해석 방법에 적용하였으며, 이를 사용하여 상수 및 이명 분석과 메모리 생존 분석을 구현하였다. 제시된 실험 결과는 본 연구의 방법이 계산을 실제적으로 절약할 수 있음과, 적절한 워크리스트 스케줄링 방법의 사용이 증가분 기반 계산에서도 중요함을 보여준다.

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

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.84-87
• /
• 2002

최근 정보보호의 중요성이 커짐에 따라 암호이론에 대한 관심이 증가되고 있다. 이 중 Galois 체 GF(2$^{m}$ )은 대부분의 암호시스템에서 사용되며, 특히 공개키 기반 암호시스템에서 주로 사용된다. 이들 암호시스템에서는 GF(2$^{m}$ )에서 정의된 연산, 즉 덧셈, 뺄셈, 곱셈 및 곱셈 역원 연산을 기반으로 구축되므로, 이들 연산을 고속으로 계산하는 것이 중요하다. 이들 연산 중에서 곱셈 역원이 가장 time-consuming하다. Fermat의 정리를 기반으로 하고, GF(2$^{m}$ )에서 정규기저를 사용해서 곱셈 역원을 고속으로 계산하기 위해서는 곱셈 횟수를 감소시키는 것이 가장 중요하며, 이와 관련된 방법들이 많이 제안되어 왔다. 이 중 Itoh와 Tsujii가 제안한 방법[2]은 곱셈 횟수를 O(log m)까지 감소시켰다. 본 논문에서는 Itoh와 Tsujii가 제안한 방법을 이용해서, m=2$^n$인 경우에 곱셈 역원을 고속으로 계산하는 방법을 제안한다. 본 논문의 방법은 필요한 곱셈 횟수가 Itoh와 Tsujii가 제안한 방법 보다 적으며, m-1의 분해가 기존의 방법보다 간단하다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2014년도 제46회 동계 정기학술대회 초록집
• /
• pp.261.1-261.1
• /
• 2014

지구상에 존재하는 모든 생물에 의해 배출되는 이산화탄소는 온실가스로써 산업혁명 이후 급격한 농도 증가로 인해 지구 온난화 등의 다양한 환경문제를 초래하고 있다. 지구 온난화의 가시화로 인한 각종 기후 협약 및 탄소배출권 등에 규제로 온실가스 감축의무부과가 확실해져 탈 석유기반 사회로 전환을 위한 이산화탄소를 처리하는 다양한 연구가 각국에서 활발히 진행 중이다. 본 연구에서 마이크로웨이브 플라즈마 토치를 이산화탄소 분해에 이용하게 되었고 그 목적은 이산화탄소가스를 마이크로웨이브로 가열하여 순수한 이산화탄소 플라즈마 토치를 발생함으로서 지구 온난화의 주범인 이산화탄소를 생산적으로 이용하기 위한 것으로 전자파를 발진하는 마그네트론으로는 3kW, 2.45GHz의 주파수를 사용한다. 마이크로웨이브 플라즈마 토치를 이용한 이산화탄소의 분해 시 생성되는 물질을 확인하기 위하여 이산화탄소의 열역학적 평형을 계산하였으며 또한 이산화탄소의 분해 반응의 준 평형상태에서의 속도상수를 이용하여 각 분해반응생성물들의 밀도비율을 계산하였고, 이를 일반화시켜 도시하였다. 위 과정을 통해 고온의 이산화탄소 토치는 탄화수소 연료를 1기압에서 개질할 수 있음을 알 수 있다. 예를 들어 메탄개질은 $CO_2+CH_4{\rightarrow}2CO+2H_2$의 반응식이 된다. 이때 엔탈피와 엔트로피 변화는 각 각 ${\Delta}H=247kJ/mole$과 ${\Delta}S=257J/mole/deg.$이며 이 반응에 대한 gibbs 자유에너지는 $G={\Delta}H-T{\Delta}S$로서 개질 자발반응이 일어나는 온도는 $T={\Delta}H/{\Delta}S=961K$가 된다. 그리고 탄화수소 개질에 참여하는 산소와 CO 라디칼의 밀도가 대단히 높다. 따라서 메탄개질은 이산화탄소 토치를 통하여 1기압에서 쉽게 이루어진다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 추계학술발표대회
• /
• pp.631-633
• /
• 2018

최근 영상처리 분야에서 딥러닝(Deep learning)을 이용한 기술이 좋은 성능을 보이면서 이에 대한 관심과 연구가 증가하고 있다. 본 연구에서는 최근 딥러닝 네트워크 중 적은 파라미터 수로 AlexNet수준의 성능을 보인 SquezeNet을 영상 분할(Image segmentation)의 특징 추출(feature extraction)영역으로 사용하고, CUDA C기반으로 코드를 작성하여 정확도를 유지하면서 계산 속도 면에서도 좋은 성능을 얻을 수 있었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2021년도 학술발표회
• /
• pp.57-57
• /
• 2021

최근 급격한 도시화와 기후변화로 인해 도시의 홍수피해가 증가하고 있으며, 복합적인 재난으로 악화되는 경우가 많아졌다. 복합재난으로 인한 피해를 줄이기 위해 재해발생 전·후 대응이 중요하며, 이를 위해 복원력 개념을 도입할 필요가 있다. 도시 배수 시스템의 복원력은 대상유역의 면적과 절대적인 침수량에 따라 좌우된다. 따라서 지역의 도시 배수 시스템의 복원력을 정확하게 평가하기 위해 대상유역의 정보를 반영한 지역 맞춤형 복원력 지수의 개발이 필요하다. 대상유역의 정보를 반영하기 위해 도시 배수 시스템의 배수능력을 복원력 지수에 적용하였다. 도시 배수 시스템의 배수능력을 나타내기 위해 시스템 잔류유량을 분모로, 침수량을 분자로 하여 복원력 지수를 계산하였다. 본 연구에서는 제안된 새로운 복원력 지수를 대구 비산 빗물펌프장에 적용하였다. 강우자료는 재현기간이 100년, 200년 그리고 300년 빈도의 확률강우량을 사용하였으며, 지속시간은 30분, 60분 그리고 90분으로 설정하였다. 침수량과 시스템 잔류 유량은 1분 단위로 EPA SWMM을 통해 값을 구하였다. 시스템 잔류 유량을 기반으로 하는 복원력 지수는 최소 0.995029에서 최대 0.998662로 나타났다. 본 연구에서 제안한 도시 배수 시스템 잔류 유량 기반 복원력 지수는 배수 시스템의 처리 능력을 반영한 지수라고 할 수 있으며 배수 시설의 설치, 교체 및 재건 등 수해 방재 계획 평가에 활용될 수 있다.

• 대한원격탐사학회지
• /
• 제22권6호
• /
• pp.601-612
• /
• 2006

본 연구는 방대한 크기 원격 탐사 영상 자료의 효율적인 분석을 위한 RAG (Region Adjancency Graph) 기반 영상 분할 기법을 제안하고 있다. 제안된 알고리즘은 계산의 효율성을 위하여 CN-chain 연결과 저장 기억의 효율성을 위하여 sliding 다중 창을 사용한다. RAG에 의한 지역 합병은 최선의 결합을 위한 edge을 발견과 합병에 따른 graph의 갱신의 과정이다. CN-chain 연결법은 가장 유사한 인접 지역의 연결을 형성하면서 최선의 edge를 발견하여 합병을 해 나가는 과정으로 영상 자료 크기의 증가에 따라 단지 증가 배수만큼만 분석 시간을 증가시킨다. 합병에 의해 변하는 RAG의 효율적인 갱신을 위하여 RNV(Regional Neighbor Vector)를 사용하였다. 방대한 크기 자료 분석은 막대한 기억 용량의 시스템을 필요로 한다. 제안된 수평적인 구조의 sliding 다중 창 작업은 필요한 기억 용량을 현저히 감소시켜 가능한 분석 자료의 크기를 증대시켰을 뿐 아니라 계산 시간의 감소를 초래하였다. 본 연구는 simulation 자료를 사용하여 광범위하게 제안된 알고리즘의 성능을 실험하였으며 실험 결과는 알고리즘의 효율성을 입증하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.561-564
• /
• 2010

의학과 기술 발달로 인해 질병과 사고에 의한 사망률은 줄어들었으나, 심장 관련 질환에 의한 사망률은 증가하였다. 심장 질환을 예방하는 데는 정기적인 검진을 통해 심장기능을 분석하고 관찰하는 것이 중요하다. 심장 기능의 분석은 이완기와 수축기 사이의 혈류량 및 심박구출률 계산을 통한 심장 운동능력 평가에 의해 이루어진다. 본 연구에서는 심장 단축 자기공명영상에서 좌심실 영역을 자동 분할하여 혈류량 및 심박 구출률을 계산하는 알고리즘을 제안한다. K평균 군집화 기법을 적용하여 좌심실을 분할하고, 그래프 탐색 기법에 기반하여 분할 오류를 수정하였다. 15명의 지원자에 대해 제안하는 알고리즘을 사용하여 혈류량과 심박구출률을 계산하였고, 수동윤곽검출 및 General Electronics 사의 MASS 소프트웨어와 비교하였다. 제안한 알고리즘의 수동윤곽검출과 차이는 혈류량의 경우 평균적으로 이완기에 $4.6mL{\pm}3.9$, 수축기에 $2.1mL{\pm}2.4$로 나타났고, 심박구출률은 $1.8%{\pm}1.7$이었다. 전반적으로 MASS소프트웨어에 비해 좋은 성능을 나타내었다.

• 한국정보과학회논문지:데이타베이스
• /
• 제28권3호
• /
• pp.315-323
• /
• 2001

사용자의 질의 요청을 보다 빨리 지원하고 시스템 전체 처리량을 증가시키기 위한 하나의 방법으로 데이터 스키마의 수직 분할 문제가 많이 연구되어 왔다. 수직 분할의 대표적인 응 용 예로는 중앙 집중 시스템에서의 파일 분할, 분산 데이터베이스에서의 데이터 분산, 메모 리 계층사이의 데이터 분할 등이 있다. 일반적으로 수직 분할 알고리즘은 모든 유용한 단편 들의 생성과 임의 분할 지원 등의 두가지 기능을 효율적으로 지원할 수 있어야 한다. 그러 나, 기존의 제안된 방법들은 대부분 첫 번째 기능에 중점을 두고 있어 임의 분할 기능을 지 원하는데 많은 제한이 있다. 그리고 수직 분할 알고리즘에서 데이터 속성들이 포함될 단편 을 결정할 때 기본적으로 모호성 문제를 가지고 있기 때문에 이에 대한 효과적인 처리가 필 요하다. 본 논문에서는 퍼지 이론에 기반한 효율적인 수직 $\alpha$-분할 알고리즘을 제안한다. 이 방법은 퍼지 그래프 이론을 바탕으로 수직 분할에서의 모호성 문제를 해결하여 복잡한 수학적 계산 없이 모든 유용한 단편들을 생성할 수 있다. 또한, 범용 임의 분할 기능도 효과 적으로 지원할 수 있다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 춘계학술대회 논문요약집
• /
• pp.255-255
• /
• 2004

일반적으로 10,000 rpm 이상의 고속, 고이송 가공이 수행되는 고속가공에서 절삭력의 급격한 증가는 치명적인 결과를 초래할 수 있다. 따라서 실제 가공에 앞서 NC code에 존재하는 에러 유무를 검출하고, 주어진 절삭 조건의 적합성을 사전에 검사하는 NC 모의 가공 시스템의 중요성이 점점 강조되고 있는 실정이다. 절삭 영역의 탐색에는 일반적으로 Z-map 방식이 사용되고 있다. Z-map 방식은 자료구조의 단순성과 완결성으로 인하여 계산속돈가 라르고 오류 발생의 가능성이 상대적으로 낮기 때문에 상용 CAM 시스템은 대부분 이 방식을 기반으로 하고 있다.(중략)