• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.355-357
• /
• 2002

정보 흐름 보안성은 프로그램 보안성 검증 문제의 하나로서 주어진 프로그램이 각 변수들에 미리 정해진 보안수준이 허용하는 범위 내에서만 정보가 교환되는지를 검증하는 것이다. 프로그램 정적 분석을 위한 여러 가지 방법들 중에서 요약 해석법은 프로그램 분석의 기조를 마련할 뿐 아니라 저장기반 데이터흐름 분석 문제를 간략하게 해주는 장점을 가지고 있다. 본 논문에서는 요약해석을 이용하여 정보흐름 보안성을 검증하는 방법을 설명하고 이를 이용하여 프로그램 개발 시에 유용한 디버깅 정보를 제공하는 방법을 제시한다.

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

본 연구에서는 유연한 식생이 식재된 개수로흐름에서의 유속분포 예측 모형을 제시하였다. 유속의 산정은 Klopstra 등(1997)이 제안한 해석해를 이용하였으며, 식생의 변형은 Tsujimoto 등(1996)이 사용한 외팔보 이론을 적용하여 해석하였다. 제안한 모형의 검증을 위하여 수리실험을 실시하였다. 검증실험에서 유속의 측정은 micro-ADV를 이용하였으며, 수위는 servo형 수위계를 이용하였다. 검증 실험 걸과 본 연구에서 제안한 모형이 식생층에서는 비교적 정확하게 유속을 예측하였으며, 수면층에서는 실험값보다 다소 작게 예측하는 것으로 나타났다. 본 연구에서 제안한 유속예측 모형은 향후 식생된 개수로흐름의 부유사 농도분포 예측의 중요 매개변수인 와확산계수 등의 예측에 적용할 수 있을 것으로 기대된다.

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

프로그램에 대한 검증을 수행하기 위해서는 자료흐름을 알아야 하고, 입력된 프로그램에 대응하는 제어흐름그래프(control flow graph)가 필요하다. 이에 더하여 제어흐름 그래프를 시각화한다면 사용자 입장에서는 더 편한 프로그램이 될 것이다. 본 논문에서는 자바 프로그램의 검증도구에 사용하는 중간 표현 언어 중 하나인 BIRS(Bytecode Intermediate Representation with Specification)에 의해 생성되는 제어흐름그래프를 시각화하는 방법에 대해 제안한다.

• 정보처리학회논문지A
• /
• 제12A권7호
• /
• pp.563-570
• /
• 2005

하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.

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

댐 제방 등의 붕괴로 인하여 발생하는 급격한 유량의 변화와 흐름영역의 변화로 인한 천이류 및 도수의 발생, 불규칙한 하천단면에서 갈수기 저수기의 흐름해석은 기존의 수치해법의 한계로 인하여 수리모형실험 및 경험식 또는 단면의 단순화 등에 의존하고 있는 실정이다. 본 연구에서는 자연하천에서 비선형 흐름율 계산에 불연속초기조건의 해석해인 Riemann 근사해법을 사용하여 수치적으로 안정되고 정확한 1차원 모형을 개발하고자 한다. 이를 위하여 유한체적법을 사용하였고, 수위와 유량의 계산을 위하여 요구되는 유한체적을 유출입하는 흐름율의 계산에 HLL Riemann 해법을 사용하였으며, MUSCL 기법으로 2차 정확도기법으로 확장하였다. Riemann 해법을 통하여 계산된 비선형의 흐름율과 보존 특성을 만족시켜줄 수 있는 하상 및 하폭변화로 인한 생성항을 처리하는 기법을 제안함으로서 새로운 1차원 수치해석모형을 개발하였다. 개발된 모형의 실제하천의 적용성을 확인하기 위하여 하상과 하폭이 변화하는 부정류 흐름에 적용하여 모형의 적용성 및 정확성을 검증하였다.

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

노모그래프 또는 간략식을 이용하여 암거 설계를 하는 경우 암거 흐름이 자유수면을 가지는 개수로라면 정확한 흐름 해석을 할 수 없다. 특히 암거는 수리학적으로 짧기 때문에 암거 흐름에서 등류수심이 발생하지 않을 가능성이 높다. 이에 부등류(점변류) 해석을 이용하여 암거의 흐름 해석을 수행하도록 흐름 해석 모형을 개발하여 검증하고, 이를 기반으로 암거의 단면규격을 결정하는 설계모형을 개발하였다. 암거의 수리설계는 고려하고 있는 모든 단면에 대하여 흐름 해석을 수행하고, 산정된 상류수위(HWE)와 암거높이에 대한 상류수심의 비(H/D)가 허용치를 초과하지 않는 최적 단면을 설계 단면으로 결정한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.269-271
• /
• 2012

프로그램에 대한 검증을 수행하기 위해서는 프로그램 안에서 여러 가지 분석이 이루어진다. 그 중에서 객체지향언어의 경우 분석을 위하여 객체지향적인 특성에 맞는 정보흐름분석을 사용해야 한다. 본 논문에서는 왜 객체지향언어의 특성에 맞는 정보흐름분석이 필요한지를 보이고, 객체지향적인 특성을 고려하지 않은 정보흐름분석 시에 어떤 문제가 생기는지 예시를 들어 설명한다. 그리고 자바의 검증도구인 BIRS(Bytecode Intermediate Representation with Specification)언어를 대상으로 하여 객체지향언어의 특성을 고려한 정보흐름분석이 가능하도록 새로운 명세를 추가하여 확장한다.

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

일반적으로 도달시간은 지표면 유출의 흐름상태에 의존하며, 대개 중력흐름으로 가정하여 도달시간을 산정하고 있다. 본 연구에서는 흐름상태를 중력흐름과 표면장력흐름으로 구분하고 각 흐름을 판단할 수 있는 임계치를 추정하였다. 도달시간 산정을 위해 유역경사와 지표면조고의 영향을 고려할 수 있는 무차원수를 도입하였으며, 이 임계치의 범위에 따라 중력흐름과 표면장력흐름을 구분하고 두 조건의 흐름상태에 따른 도달시간 산정식을 각각 개발하였다. 중력흐름에 의한 도달시간 산정식과 표면장력흐름에 의한 도달시간 산정식을 개발하고 검증하기 위하여 기존 외국에서 실험한 자료를 비교 분석하였다. 분석결과를 통하여 이러한 흐름특성을 고려한 도달시간 산정식을 모형에 적용할 경우 유출모형을 통한 유출량산정의 정확도 향상에 기여할 것으로 판단된다.

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

본 연구에서는 ${\sigma}$-좌표계를 기반으로 하는 3차원의 이송확산 모형과 depth-integrated eddy simulation 모형을 결합한 효율적인 3차원 근역 (near-field) 해석모형을 제시하였다. 흐름 모형은 Boussinesq-type equations과 stochastic backscatter model을 기본으로 하고 있다. 이 흐름 모형은 수면의 변화와 바닥으로부터 발생하는 전단력과 파랑의 유동으로부터 발행하는 수심방향의 유속분포를 예측할 수 있다. 이와 같은 흐름 정보를 3차원 ${\sigma}$-좌표계의 이송확산모형에 제공하고 scalar의 이송과 확산에 대한 거동을 계산한다. 기본적인 이송과 이송-확산에 대한 검증 및 개수로에서 정량적 검증과 정성적 검증을 수행하였다. 전반적으로 타당한 결과가 도출되어 모형의 적합성이 있음을 확인하였다.

• 자원환경지질
• /
• 제41권6호
• /
• pp.731-746
• /
• 2008

대부분의 분을 흐름 접근 방식을 따르는 다상흐름모델들은 주로 유체나 매질의 비 압축성을 가정하거나 완전한 삼상 오염물을 다루지 않고 이상 유체 (물 또는 공기, 물 또는 불용융성유체)의 거동만을 다룬다. 그러나 본 연구에서는 유체 및 매질의 압축성과 완전한 삼상 오염물을 가정하는, 분율흐름접근방식을 따르는 수학적 지배방정식을 개발하고, 이를 토대로 압축성 유체 및 매질을 고려한 삼상흐름 수치모의프로그램을 개발하였다 개발된 삼상흐름 수치모의프로그램 (Compressible Multiphase Flow Simulator, CMPS)을 검증하기 위해서 기존에 개발된 비압축성 유체 및 매질을 고려한 삼상흐름수치모의 프로그램인 MPS (Suk and Yeh, 2007; Suk and Yeh, 2008) 및 해석해를 통해서 간접적으로 비교 검증하였다. 비교결과 CMPS와 MPS의 결과와 해석해들은 서로 잘 일치하였다. 따라서 CMPS는 압축성 유체 및 매질을 고려한 삼상흐름 수치모의를 구현 할 수 있는 가능성을 가진다.