• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.6
• /
• pp.1379-1392
• /
• 2018

The complexity of the differential-linear cryptanalysis is strongly influenced by the probability of the differential-linear characteristic computed under the assumption of round independence, linear approximation independence, and uniformity for the trail that does not satisfy differential trail. Therefore, computing the exact probability of the differential-linear characteristic is a very important issue related to the validity of the attack. In this paper, we propose a new concept called DLCT(Differential-Linear Connectivity Table) for the differential-linear cryptanalysis. Additionally, we propose an improved probability computation technique of differential-linear characteristic by applying DLCT. By doing so, we were able to weaken linear approximation independence assumption. We reanalyzed the previous results by applying DLCT to DES and SERPENT. The probability of 7-round differential-linear characteristic of DES is $1/2+2^{-5.81}$, the probability of 9-round differential-linear characteristic of SERPENT is computed again to $1/2+2^{-57.9}$, and data complexity required for the attack is reduced by $2^{0.2}$ and $2^{2.2}$ times, respectively.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1998.10a
• /
• pp.97-100
• /
• 1998

옵션의 가격을 계산하기 위한 수치해법은 크게 격자모형, 유한차분법, 그리고 몬테카를로 시뮬레이션의 세 가지로 분류된다. 유한차분법은 옵션가격함수가 만족하는 편미분 방정식의 모든 편도함수를 유한 차분식으로 근사하여 옵션을 평가하는 방법이다. 본 연구에서는 유한차분법을 이용하여 옵션을 평가 할 때 발생하는 가격계산 오차의 가장 큰 원인이 옵션 만기 손익구조(payoff)의 비선형성에 있음을 보인다. 특히, 옵션 시장에서 가장 거래가 많이 이루어지는 손익분기옵션(at the money option) 그리고 손익분기점에 가까운 옵션(around the money option)에서 가장 큰 오차가 발생함을 보인다. 또한 본 연구에서는 이러한 오차를 효율적으로 줄이기 위하여 행사가격 근처의 일부 구간에서만 구간점 사이의 간격을 변화시키는 수정된 유한차분법을 제시하고 오차의 크기와 계산의 효율성 측면에서 기존의 유한차분법과 비교·분석한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2015.05a
• /
• pp.55-56
• /
• 2015

근래에 게임이론 분야에서 진화계산 기법을 사용한 분석은 중요한 이슈이다. 본 논문에서는 교섭게임에서 입자군집최적화와 차분진화알고리즘 간의 공진화 과정을 관찰하고 상호 경쟁에서 얻는 이득을 비교하여 두 알고리즘의 성능을 분석한다. 실험결과 입자군집최적화가 차분진화알고리즘에 비해 교섭게임에서 더 우수한 성능을 보임을 확인하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.942-945
• /
• 2009

유한차분시간영역 방법은 전자기파 관련 분야의 전산모사에 많이 사용되는 수치해석기법이다. 이 방법을 이용하여 구현한 전산모사 프로그램은 많은 계산 자원 필요로 하기 때문에 병렬 계산 환경을 이용하게 되는 경우가 많다. 병렬 계산 환경에서 전산모사를 수행할 경우, 병렬로 수행되는 각 프로세스 간의 통신 속도와 네트워크의 지연 시간은 계산의 병목 현상을 초래하여 전체적인 성능을 저하시키는 원인이 된다. 따라서, 본 논문에서는 MPI의 지속 통신 메커니즘을 이용하여 병렬 프로세스 간 동기화 속도를 증가시킴으로써 유한차분시간영역 전산모사 프로그램에서의 MPI 통신 성능의 향상을 꾀하고, 그 결과를 그래프로 도시하였다. 또한 기존의 양방향 통신과 단방향 통신 메커니즘을 사용했을 때의 성능과 비교/분석하여, 병렬 유한차분시간영역 전산모사 프로그램에 있어서 지속 통신 메커니즘의 장/단점을 제시하고, 그 효용성에 관해 논의한다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.14 no.5
• /
• pp.1145-1158
• /
• 1994

A three-dimensional, finite difference, numerical model with free surface was developed on ${\sigma}$-coordinate. A semi-implicit numerical scheme in time has been adopted for computational efficiency. The scheme is essentially independent of the stringent stability criteria (CFL condition) for explicit schemes of external surface gravity wave. Implicit algorithm was applied for vertical shear stress, Coriolis force and pressure gradient terms. The reliability of the model with vertically variable grid system was checked by the comparison of simulation results with analytic solution of wind-driven currents in a one-dimensional channel. Sensitivity analysis of differencing parameters was carried out by applying the model to the calculation of wind-driven currents in a square lake.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.12 no.4
• /
• pp.639-648
• /
• 1999

레이더법은 건축구조물에 대한 비파괴 검사의 대표적인 방법의 하나이다. 레이더법을 이용하는데 영향을 주는 요인들을 연구하고, 레이더로 측정된 결과들을 분석하기 위해서는 전자기파의 전파에 대한 수치적인 모델링을 통한 이론적인 접근이 필요하다. 콘크리트 시편에 전파되는 전자기파를 모델링 하기 위해 유한차분 시간영역법을 적용하고자 한다. 유한차분 시간영역법은 전자파 해석과 모델링을 통한 시뮬레이션에 매우 유용한 방법이다. 본 연구에서는 유한차분 시간영역법을 이용하여 두께가 다른 4개의 시편과 두께는 100㎜로 동일하고 피복두께가 다른 3개의 시편을 3차원으로 모델링 하였다. 두께 측정 모델링 결과에서는 계산영역의 셀간격과 입사파의 파장/콘크리트 시편의 두께값이 모델링의 정확성에 미치는 영향을 알 수 있었다. 철근이 있는 시편의 모델링에서는 0.08%∼0.5%의 오차로 철근의 위치를 확인할 수 있었다.

• Nuclear Engineering and Technology
• /
• v.20 no.3
• /
• pp.179-188
• /
• 1988

A recently developed spatial differencing scheme, Linear Characteristic (LC) scheme is compared with some traditionally used schemes such as Step Difference (SD), Diamond Difference (DD), and Step Characteristic (SC) scheme by analyzing the truncation error calculated numerically in slab geometry. Those four candidate schemes are applied to one simple source sink problem and two criticality problems (one is calculation of multiplication factor and the other is slab critical half thickness). The calculated results are then examined by some equitable measures of error. It is concluded that the LC scheme is terribly more powerful than any other candidate scheme that has been prevalent up to the present time. Moreover, the LC scheme estimates integral parameter such as multiplication factor and critical half thickness much more efficiently than SD or SC scheme. This is due to the fact that the fortuitous error cancellation, which occurs when the deviations of cell average flux are summed over the whole gamut of spatial meshes, happens much more favorably to the LC scheme.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.11 no.3
• /
• pp.345-351
• /
• 2000

In this paper, we design and analyze a Ka-band microstrip line to rectangular waveguide transition using the expanding-cell FDTD method. The transition under investigation consists of a ridged waveguide, microstrip line, and $\lambda$/4 Chebyshev impedance transformer. To improve the accuracyand efficiency, the expanding-cell FDTD method is applied to analyze the characteristics of a ridged waveguide impedance transformer. To verify the accuracy of the expanding-cell FDTD method, S parameters of the analyzed transition are compared with those of experimental data. The efficiency of the present approach is verified by comparing the computational time for expanding-cell and that for fine cell. The relation between the number of step and operation bandwidth is analyzed by comparing the characteristics of four and three step Chebyshev waveguide impedance transformer.

• 한국방재학회:학술대회논문집
• /
• 2010.02a
• /
• pp.63.1-63.1
• /
• 2010

수중구조물에 의한 파랑의 변형을 예측하기 위해 3차원 수치모형을 도입하여 수치모형 실험을 수행하였다. 본 수치모형은 Navier-Stokes 방정식을 유한차분법을 이용하여 계산하는 동수압 모형으로서, 난류의 해석을 위해서 상대적으로 큰 에디(eddy)만을 고려하는 SANS(Spatially Averaged Navier-Stokes) 방정식의 해를 구하는 LES(large-eddy-simulation) 기반의 수치모형이다. 엇갈림 격자체계에서 유한차분법을 사용하여 지배방정식을 해석하는 모형으로서 수치기법으로 Two Step projection 기법을 사용하여 SANS 방정식을 계산하였으며, Bi-CGSTAB 기법을 이용하여 Poisson 방정식의 해를 구하고 압력장을 계산하였다. 또한, 자유수면의 추적을 위하여 2차 정확도의 VOF(volume-of-fluid) 기법을 사용하였다. 먼저 선형파를 일정 수심상에서 조파시켜 해석해와 비교한 후 수중구조물이 설치된 지형에 적용하여 파랑의 변형을 수치모의하여 수리모형 실험 결과와 비교 및 분석하였다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.2 no.1
• /
• pp.28-33
• /
• 1990

A parabolic model is presented for the effective calculation of refraction-diffraction of regular water while they are propagating on the water of slowly varying sea bed with currents. Parabolic wave equation has been used in the model, which is derived from a mild-slope equation using Pade' approximation. With the corrections of Kirby's (1986) model some numerical experiments were carried out to analyze the model accuracy.