• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.3
• /
• pp.533-543
• /
• 2018

In this paper, we propose an MILP-based method for Optimal Probability of Bit-based Differential Characteristic in SP(Substitution-permutation) ciphers based on Automatic Differential Characteristic Searching Method of Sasaki, et al. In [13], they used input/output variables and probability variables seperatably, but we simplify searching procedure by putting them(variables) together into linear inequalities. Also, In order to decrease the more linear inequalities, we choose Espresso algorithm among that used by Sasaki, et al(Quine-McCluskey algorithm & Espresso algorithm). Moreover, we apply our method to GIFT-64, GIFT-128, SKINNY-64, and we obtained results in the GIFT(Active S-boxs : 6, Probabilities : $2^{-11.415}$) compared with the existing one.(Active S-boxs : 5, Probabilities : unknown). In case of SKINNY-64, we can't find better result, but can find same result compared with the existing one.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.9
• /
• pp.66-72
• /
• 2005

As one of the methods that determine position using GPS carrier phase without the resolution of integer ambiguity, the characteristics of the time difference is analyzed in this paper. When determining position by the needed accuracy, the difference time gap becomes an important factor. It is said that accuracy is improved as the difference time gap is getting large, and finally the centimeter level accuracy is achieved after a certain difference time gap. In this paper, the characteristics of the time difference is analyzed using real data and a new parameter is proposed to predict the resulting position accuracy. The difference time gap when position error is converged to the centimeter level is estimated with the proposed parameter.

• 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)에서 가장 큰 오차가 발생함을 보인다. 또한 본 연구에서는 이러한 오차를 효율적으로 줄이기 위하여 행사가격 근처의 일부 구간에서만 구간점 사이의 간격을 변화시키는 수정된 유한차분법을 제시하고 오차의 크기와 계산의 효율성 측면에서 기존의 유한차분법과 비교·분석한다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.17 no.2 s.105
• /
• pp.165-170
• /
• 2006

A two dimensional(2-D) finite-difference time-domain(FDTD) method based on a novel finite difference scheme is developed to eliminate the numerical dispersion errors. In this paper, numerical dispersion and stability analysis of the new scheme are given, which show that the proposed method is nearly dispersionless, and stable for a larger time step than the standard FDTD method.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.24 no.5
• /
• pp.577-588
• /
• 2011

This paper provides a novel extended Moving Least Squares(MLS) difference method for the potential problem with weak and strong discontinuities. The conventional MLS difference method is enhanced with jump functions such as step function, wedge function and scissors function to model discontinuities in the solution and the derivative fields. When discretizing the governing equations, additional unknowns are not yielded because the jump functions are decided from the known interface condition. The Poisson type PDE's are discretized by the difference equations constructed on nodes. The system of equations built up by assembling the difference equations are directly solved, which is very efficient. Numerical examples show the excellence of the proposed numerical method. The method is expected to be applied to various discontinuity related problems such as crack problem, moving boundary problem and interaction problems.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.20 no.6
• /
• pp.779-787
• /
• 2007

This paper presents a highly efficient moving least squares finite difference method (MLS FDM) for a heat transfer problem of bi-material with interfacial boundary. The MLS FDM directly discretizes governing differential equations based on a node set without a grid structure. In the method, difference equations are constructed by the Taylor polynomial expanded by moving least squares method. The wedge function is designed on the concept of hyperplane function and is embedded in the derivative approximation formula on the moving least squares sense. Thus interfacial singular behavior like normal derivative jump is naturally modeled and the merit of MLS FDM in fast derivative computation is assured. Numerical experiments for heat transfer problem of bi-material with different heat conductivities show that the developed method achieves high efficiency as well as good accuracy in interface problems.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.4
• /
• pp.1895-1899
• /
• 2012

Formulation of finite difference method for analyzing consolidation were carried out. It can be seen that the differences in settlement with time obtained by FDM and Terzaghi method are diminished by fine discretization of time increment. Excess pore pressures predicted by the derived finite difference equation were same as those calculated by Olson's method. Predicted time-settlement behavior from the derived finite difference method were almost same as those calculated by Terzaghi's method and Olson's method. Analysis results obtained from the assumed multi-step time dependent loading are thought to be reasonable.

• Journal of Energy Engineering
• /
• v.17 no.4
• /
• pp.233-240
• /
• 2008

Conventionally, the second-order self-adjoint neutron transport equations have been studied using the even parity and the odd parity equations. Recently, however, the SAAF(self-adjoint angular flux) form of neutron transport equation has been introduced as a new option for the second-order self-adjoint equations. In this paper we validated the SAAF equation mathematically and clarified how it relates with the existing even and odd parity equations. We also developed a second-order SAAF differencing formula including DSA(diffusion synthetic acceleration) from the first-order difference equations. Numerical result is attached to show that the proposed methods increases accuracy with effective computational effort.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2012.05a
• /
• pp.225-229
• /
• 2012

대기가 희박한 고고도 환령이나 급격한 선회를 위해 2차분사에 의한 추력벡터제어를 사용한다. 8개의 2차분사구를 갖는 고체로켓모터를 대상으로, 2차분사의 유량을 조절하는 밸브의 개도가 추력, 측추력 및 롤 모멘트에 미치는 영향을 해석적으로 연구하였다. 정상 상태의 3차원 Reynolds Averaged Navier-Stokes 식의 해를 구하였으며, 난류를 위해 Spalart-Almaras 모델을 사용하였다. 수치해석의 타당성을 평가하기 위해 실험 결과와 해석결과를 비교하였다. 밸브의 개도가 증가함에 따라 추력은 감소하나 측추력은 증가한다. 반면, 롤 모멘트의 경우, 밸브와 2차분사 파이프의 상호작용에 의해 개도에 비례하지 않는다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2000.11a
• /
• pp.429-434
• /
• 2000

본 연구에서는 등분포하중을 받는 laminated 박판의 거동해석을 제시하였다. 접착한 두 박판의 비선형 지배방정식을 Von Karman 식을 이용하여 유도하고 박판의 거동을 차분법을 이용하여 수치해석 한다. Interlayer에서의 전단변형을 고려하여 지배방정식에 포함시켜 하중 증분법(load incremental method)으로 기하학 비선형 해석을 수행한다. 하중 증분법에 따른 반복법을 도입하여 비선형 방정식을 해석했다. 해석방법의 타당성을 입증하기 위하여 해석결과들을 기존의 문헌의 결과와 비교, 검토함으로써 본 논문에서 제시한 이론 및 해석방법의 타당성을 입증한다. 차분법의 하중 증분법 알고리즘을 개발하여 예제문제에 대한 수치해석 결과들을 논하였다.(중략)