• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2002년도 추계학술발표논문집
• /
• pp.497-502
• /
• 2002

레이 트레이싱이나 텍스쳐 맵핑에 의한 Implicit 곡면에서의 앤티 앨리어싱을 위한 방법으로 일반적으로 stochastic 샘플링 방법이 많이 사용되고 있다. 하지만 이 방법은 복잡한 함수로 표현된 Implicit 곡면에 더 많은 복잡한 계산을 요구하며 이에 따라 처리 시간과 비용이 많이 든다. 본 논문에서는 복셀(voxel)로 표현되는 Implicit 곡면에서 효율적인 방법 및 계산으로 앨리어싱을 감소시키기 위하여 shifted 더블 Z-버퍼를 이용하였으며, 또한 box-filter와 tent-filter를 적용함으로써 양질의 Implicit 곡면 이미지를 표현하였다.

• 한국농공학회지
• /
• 제38권5호
• /
• pp.47-54
• /
• 1996

본 연구에서는 지표면유출과 중간유출의 수문학적과정을 함께 모의발생 시키는 합성 유역모델이 제시되었다. 본 모델은 디지털지형모델과 상호 연결되도록 하였으며 지형이 복잡한 지역에서도 유출이 시간과 공간적으로 누가계산되어 이 분야의 조사연구에 필요한 정보를 제공할 수 있다. 본모델을 이용 유역의 불투수층 위에 분포해있는 토양의 중간계층과 토양수분의 계산 및 침투/용탈의 과정을 모의 발생시킬 수 있다.

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 1999년도 추계학술대회 논문집
• /
• pp.420-421
• /
• 1999

여천지역은 화학물질 누출사고 등 안전 사고 발생의 잠재적 위험이 높으나 (김영성 등, 1999), 복잡한 해안선의 여수 반도 해안지역에 산을 등지고 있어 해륙풍에 의한 일 변화와 지형 조건에 따른 국지 변화등 복잡한 형태의 바람장이 예상되는 지역이다. 이러한 지역에서의 확산현상은 환경영향평가에서 흔히 이용되고 있는 균일한 바람장 분포를 가정한 대기화산 예측과는 다른 결과를 보이며 (오현선, 김영성, 1999), 따라서 단순한 가우시안 플룸 모델을 이용한 확산 예측은 적용범위가 매우 제한적일 수밖에 없다.(중략)

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2000년도 춘계학술대회 논문집
• /
• pp.167-168
• /
• 2000

복잡한 구조를 갖고 시간에 따라서 변하는 바람장내에서 공장굴뚝과 같은 점오염원에서 배출되는 오염물질의 확산을 계산하기 위해서 라그란지안 입자확산모텔(Lagrangian Particle Dispersion Model, LPDM)을 사용하는 것이 최근의 연구 동향이다. 구윤서(1999a, 1999b)는 중립 및 안정한 대기조건에서 바람장 계산시 비평형 2.5 난류모델을 이용한 LPDM을 개발하여 복잡한 대기흐름내 확산현상을 보다 정확히 모사할 수 있는 LPDM을 제시하였다. (중략)

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.627-629
• /
• 1998

본 논문에서는 파티클 시스템(Particel System)을 이용한 실시간 기체 모델링 알고리즘을 제시한다. 일반적으로 그래픽스 분야에서, 주요한 자연현상의 하나인 기체의 운동은 수학적으로 복잡한 모델을 사용하여 그 모델링이 매우 복잡하였다. 따라서 빠른 구현시간을 얻기 위해서는 고성능의 컴퓨터가 요구되어왔다. 이 알고리즘에서는 물리학에서 수학적으로 정의된, 기체의 움직임에 적용되는 요소 각각을 추계 모델(Stochastic Model)로 다시 재 정의하여 기체 입자각각에 적용시켜 계산과정을 간단히 하였다. 따라서 일반적으로 사용되는 연구용 컴퓨터시스템에서도 실시간 애니메이션의 구현이 가능하다.

• 한국암반공학회:학술대회논문집
• /
• 한국암반공학회 1999년도 정기총회 및 학술발표회
• /
• pp.33-40
• /
• 1999

암석 및 암반을 대상으로 AE 법에 의해 파괴원 위치를 결정하는 경우 복잡한 수학적 알고리즘을 필요로 하며, 다수의 연구자에 의해 수많은 방법들이 개발되어 왔으나 각 해법의 특성에 따라 부분적인 오차를 보이는 것으로 보고되어 있다. 이와 같이 재래식 계산법에 의한 파괴원 위치의 결정은 오차를 감소시키기 위해 다양한 알고리즘이 적용되어야 한다. 이를 위해 도달시간차 및 재료 내부의 속도장을 평가하는 기술이 요구된다. 이것은 암석의 표면에서 발진기와 수신기 사이의 변화로부터 추적가능하며 복잡한 수학적인 알고리즘을 필요로 한다. (중략)

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2002년도 추계종합학술대회
• /
• pp.601-604
• /
• 2002

가상사설망(VPN)은 인터넷을 통하여 특정한 영역의 커뮤니터를 통합적으로 연결하여 상호간의 정보 전달을 인터넷을 통하여 통신하는 방법 중의 하나이다. 따라서, 가상사설망의 경우 정보보호를 위한 알고리즘의 성능분석이 필수적이다. 따라서, 본 논문에서는 VPN 게이트웨이 데이타의 정보보호를 위한 IPSec에 적용 가능한 알고리즘을 시간 복잡도와 공간 복잡도에 대해 성능을 분석한다.

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

기능 검사(function simulation)란 하드웨어 시스템의 설계시 모델의 기능, 성능, 표준 준수 여부, 그리고 다른 상위 수준 조건의 관점에서 그 설계를 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 점점 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 하드웨어 시스템의 모델링 및 기능 검사를 위해 오토마타 동치성 검사를 통한 하드웨어 시스템의 논리적 정확성 확인 방법론을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.388-390
• /
• 2005

최근 소프트웨어 가 점 점 복잡해 짐 에 따라 다양한 상황에 대한 테스트의 중요도도 함께 증가하지만, 다양한 상황을 모두 고려하여 테스트하는 것은 많은 시간과 비용을 요구한다. 본 논문에서는 이러한 복잡한 시스템의 테스트를 위해 Orthogonal Array와 Equivalence Class 기법을 이용하여 test suite의 중복성을 낮추는 효율적인 test set을 생성하는 기법을 제안한다. 이렇게 제안된 기법을 OMA DRM(Digital Rights Management) System에 적용한 사례를 통해 기법의 우수성을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.517-519
• /
• 2003

하드웨어 검증과 모델 체킹 등의 분야에서, SAT(satisfiability problem)나 항진 명제 검사(tautology checking)는 매우 중요한 문제이다. 그러나 이들은 모두 NP-complete 문제이므로 그 복잡도가 매우 크다. 이를 해결하기 위한 여러 연구가 진행되고 있고, 그 결과 성능이 좋은 solver들이 개발되었다. 하지만 문제가 커질수록 solver의 처리 시간이 급격하게 증가한다. 이 논문에서는 solver가 복잡한 문제를 더 효율적으로 풀기 위해 논문“Local search for Boolean relations on the basis of unit propagation”［5］에서 제안된 preprocessor(전처리기), P_EQ의 개념을 설명하고, 실험을 통한 결과를 제시한다.