• 한국수자원학회논문집
• /
• 제45권5호
• /
• pp.473-480
• /
• 2012

고정확도를 보장할 수 있는 Compact Finite Volume Method를 이용하여 수심적분형 흐름 모형과 수심평균된 이송확산 방정식을 해석하는 수치모형 개발과정을 기술하였다. 이차원의 흐름과 파랑의 상호작용에 대한 실험결과와 제시된 수치모형을 이용한 계산결과는 양호하게 일치하였다. 일차원과 이차원공간에서의 흐름에 의한 스칼라의 이송에 관한 수치모의에서도 수차확산이 거의 발견되지 않았고, 매우 정확히 일치하였다. 개수로에서의 난류혼합에 관한 수치모의 결과에서도 합리적인 스칼라의 혼합양상이 관찰되었다.

• 한국연소학회:학술대회논문집
• /
• 한국연소학회 2004년도 제28회 KOSCO SYMPOSIUM 논문집
• /
• pp.102-111
• /
• 2004

Partial quenching structure of turbulent diffusion flames in a turbulent mixing layer is investigated by the method of flame hole dynamics to develope a prediction model for the turbulent lift off. The present study is specifically aimed to remedy the problem of the stiff transition of the conditioned partial burning probability across the crossover condition by adopting level-set method which describes propagating or retreating flame front with specified propagation speed. In light of the level-set simulations with two model problems for the propagation speed, the stabilizing conditions for a turbulent lifted flame are suggested. The flame hole dynamics combined with level-set method yields a temporally evolving turbulent extinction process and its partial quenching characteristics is compared with the results of the previous model employing the flame-hole random walk mapping. The probability to encounter reacting' state, conditioned with scalar dissipation rate, demonstrated that the conditional probability has a rather gradual transition across the crossover scalar dissipation rate in contrast to the stiff transition of resulted from the flame-hole random walk mapping and could be attributed to the finite response of the flame edge propagation.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제4권2호
• /
• pp.138-153
• /
• 2010

The interactions between people who do not know each other have been greatly increased with the on-going increase of people's cyberspace activities. In this situation, there exist potential risk factors such as the possibility of fraud, so we need a method to reduce or eliminate those risk factors. Concerning this necessity, rating systems are widely used, and many trust metrics calculated from rate values that people give to each other are proposed to help them make decisions. However, the trust metrics decrease the accuracy, and this is caused by the different rating scales and ranges of each person. So, we propose a fuzzy adjustment method to solve this problem. It is possible to catch the exact meaning of the trust value that each person selects through applying fuzzy sets, which improve the accuracy of the trust metric calculated from the trust values. We have applied our fuzzy adjustment method to the TidalTrust algorithm, a representative algorithm for calculating the local scalar trust metric, and we performed an experimental evaluation with four data sets and three evaluation methods.

• 정보보호학회논문지
• /
• 제30권2호
• /
• pp.179-187
• /
• 2020

FBC(Fixed-Base Comb)는 사전계산된 참조 테이블을 활용하여 ECDSA(Elliptic Curve Digital Signature Algorithm) 서명 생성의 핵심 연산인 스칼라 곱을 효율적으로 연산하는 방법이다. FBC는 비밀정보에 의존하여 테이블을 참조하고 테이블의 값은 공개되어 있기 때문에 단일파형 부채널 공격 기법인 수평상관분석(HCA, Horizontal Correlation Analysis)에 의해 그 비밀정보가 드러날 수 있다. 그러나 HCA는 통계 분석의 일종으로 하나의 스칼라 곱 파형으로부터 충분한 수의 단위 연산 파형을 얻을 수 있어야만 공격에 성공할 수 있다. ECDSA 서명 생성에 쓰이는 스칼라 곱의 경우 RSA 거듭제곱에 비해 HCA에 이용 가능한 단위 연산 파형의 수가 현저히 적어 공격에 실패할 수 있다. 본 논문에서는 FBC와 같은 참조 테이블 기반 스칼라 곱에 대하여 향상된 HCA를 제안한다. 제안하는 기법은 충돌 분석으로 중간값이 같은 단위 연산 파형을 식별함으로써 공격에 이용되는 단위 연산 파형의 수를 증가시켜 HCA의 공격 성능을 향상시킨다. 제안하는 기법은 사용된 타원곡선 파라미터의 보안 강도가 높을수록 공격 성능이 향상하는 특징이 있다.

• 한국가스학회지
• /
• 제13권3호
• /
• pp.33-42
• /
• 2009

부상화염에 대한 연소반응 유동 수치해석을 수행하여 부상높이에 대한 기존 연구 결과들과 비교를 통하여 수치해석 결과의 신뢰성을 검정하였다. 화염전파속도를 결정하는 유동방향변환점을 기존의 연구에서처럼 연료분출속도에 상관없이 일률적인 위치로 선정할 경우 많은 오차를 유발하기 때문에 본 연구에서는 부상화염에서 이론당량비선을 따라 유동속도와 스칼라 소산율 특성을 살펴보았고 화염전파속도를 선정하는 유동방향변환점을 타당하게 선정하는 방법을 정립하였다. 이를 토대로 화염전파속도와 스칼라소산율의 관계식을 도출하여 부상화염에서 화염전파속도 특성을 규명하였다.

• 대한전자공학회논문지SP
• /
• 제47권5호
• /
• pp.153-164
• /
• 2010

프로그램은 실행파일 내의 각 명령어를 수행함으로써 전력을 소비한다. 소비 전력은 복잡도와 비례하기 때문에 프로그램의 복잡도를 측정함으로써 예측될 수 있다. 일반적으로 소프트웨어의 복잡도는 마이크로프로세서 시뮬레이터를 사용하여 측정한다. 그러나 시뮬레이터를 사용한 복잡도 측정방법은 하드웨어를 트랜지스터 레벨과 같은 낮은 레벨에서 모델링하기 때문에 수행시간이 오래 걸리고, 단순히 정량적 측정치만을 제공한다. 본 논문에서는 소프트웨어의 최상위 레벨인 프로그램의 소스코드를 분석하고, 복잡도 매트릭을 생성하여 프로그램 전체에 대한 복잡도를 수식화하여 표현하는 방법을 제안한다. 또한 복잡도 매트릭을 함수 단위로 생성함으로써 연산이 집중되는 모듈에 대한 세분화된 정보를 제공할 수 있다. 제안한 알고리즘의 성능분석은 게이트 레벨 마이크로프로세서 시뮬레이터인 SimpleScalar와의 비교를 통해서 수행하였다. 분석을 위해 사용된 소프트웨어는 최신 비디오코덱인 H.264/AVC에서 사용되는 $4{\times}4$ 정수변환, 화면 내 예측, 화면 간 예측 모듈이다. 각각의 소프트웨어에 대하여 정량적으로 측정된 성능 분석을 위하여 입력된 각 모듈에 대한 실행 명령어의 수를 비교하였으며, 정확도는 SimpleScalar를 통하여 측정된 시뮬레이션 결과 대비 약 11.6%, 9.6%, 3.5%의 오차를 보였다.

• 새물리
• /
• 제68권11호
• /
• pp.1262-1267
• /
• 2018

음의 중력상수를 갖는 아인슈타인-본-인펠트 중력 이론에서 별난 물질(exotic matter)을 도입하지 않고 웜홀을 구성하는 새로운 방법을 소개한다. 기존의 방법과는 대조적으로 웜홀의 목은 메트릭 해가 매끄럽게 접합되는 곳에 위치한다. 따라서 목을 지탱하기 위한 별난 물질을 필요치 않는다. 이러한 웜홀의 안정성을 논의하기 위해 최소결합된 스칼라장의 거동을 고려하였다. 새로운 웜홀 배경에서 스칼라장의 유사정준 모드를 웜홀의 목에서는 순전히 들어가는 선속으로 정의하면 웜홀 해의 안정성은 블랙홀의 안정성을 논의할 때 사용되는 방법과 같이 유사정준 모드로 논의할 수 있다. 섭동방정식의 해석적 해를 구하는 것은 불가능하므로 유사정준 모드를 수치적으로 구하는 방법을 제안한다. 블랙홀의 경우와 근본적인 차이점은 급수전개시 지름성분 방정식의 이차항의 계수가 블랙홀의 경우에는 n = 0부터 전개되지만 웜홀의 경우 n = -1부터 전개된다는 것이다.

• 정보보호학회논문지
• /
• 제22권5호
• /
• pp.1019-1025
• /
• 2012

오류 주입 공격은 암호 장치가 동작하는 동안에 오류를 주입하여 얻은 부가적인 정보를 이용하여 비밀키에 대한 정보를 얻는 공격 방법이다. 오류 주입 공격은 소형 암호 장치에 내장된 암호 알고리즘의 키를 찾을 수 있는 가장 강력한 공격 방법으로 오류 주입 공격 및 오류 탐지 방법에 대한 연구가 활발히 진행되고 있다. 2009년 S. Pontarelli 등은 Euclidean Addition Chain (EAC)를 사용하는 타원곡선 스칼라 곱셈 알고리즘에 대한 오류 탐지 방법을 소개하였다. 본 논문에서는 S. Pontarelli 등이 제안한 오류 탐지 방법이 적용된 알고리즘에 대한 새로운 오류 주입 공격 방법을 제안한다. 제안하는 공격 방법은 타원곡선 스칼라 곱셈 알고리즘의 상수 k에 대한 EAC에 비트 플립 오류 (bit flip error)를 주입하여 비밀키에 대한 정보를 얻어낸다.

• Kyungpook Mathematical Journal
• /
• 제56권4호
• /
• pp.1179-1189
• /
• 2016

We provide a combination of the forward Euler method and the trapezoidal quadrature rule leads to a two-step conservative numerical method which possesses TV-stable property together with consistency.

• Journal of the Korean Statistical Society
• /
• 제32권4호
• /
• pp.411-423
• /
• 2003

In this paper we develop a method for calculating a probability that a particular generalized variance is the smallest of all the K multivariate normal generalized variances. The method gives a way of comparing K multivariate populations in terms of their dispersion or spread, because the generalized variance is a scalar measure of the overall multivariate scatter. Fully parametric frequentist approach for the probability is intractable and thus a Bayesian method is pursued using a variant of weighted Monte Carlo (WMC) sampling based approach. Necessary theory involved in the method and computation is provided.