• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제53권4호
• /
• pp.214-214
• /
• 2004

This paper describes a busbar current differential relay in conjunction with a current transformer(CT) compensating algorithm irrespective of the level of the remanent flux. The compensating algorithm detects the start of first saturation if the third-difference function of the current exceeds the threshold; it estimates the core flux at the first saturation start by inserting the negative value of the third-difference function of the current into the magnetization curve; thereafter, it calculates the core flux during the fault and compensates the distorted current using the magnetization curve. The algorithm estimates the correct secondary current irrespective of the level of the remanent flux and needs no saturation point of the magnetization curve. The proposed relay can improve not only security of the relay on an external fault with CT saturation but sensitivity of the relay on an internal fault; the relay can improve the operating speed on n internal fault with CT saturation. This paper concludes by implementing the relay into a digital signal processor based prototype relay.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권4호
• /
• pp.816-826
• /
• 2017

In this paper, a generalized discretization scheme is proposed that can derive general-order finite difference equations representing the joint probability density function of dynamic response of stochastic systems. The various order of finite difference equations are applied to solutions of the Fokker-Planck-Kolmogorov (FPK) equation. The finite difference equations derived by the proposed method can greatly increase accuracy even at the tail parts of the probability density function, giving accurate reliability estimations. Compared with exact solutions and finite element solutions, the generalized finite difference method showed increasing accuracy as the order increases. With the proposed method, it is allowed to use different orders and types (i.e. forward, central or backward) of discretization in the finite difference method to solve FPK and other partial differential equations in various engineering fields having requirements of accuracy or specific boundary conditions.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제26권3호
• /
• pp.157-175
• /
• 2019

In this paper we define higher-order Stieltjes derivatives, and using Schaefer's fixed point theorem we investigate the existence of solutions for a class of differential equations involving second-order Stieltjes derivatives with two-point boundary conditions. The equations include ordinary and impulsive differential equations, and difference equations.

• Kyungpook Mathematical Journal
• /
• 제28권2호
• /
• pp.185-196
• /
• 1988

We study existence of polynomial integrating factors and solutions F(x, y)=c of first order nonlinear differential equations. We characterize the homogeneous case, and give algorithms for finding existence of and a basis for polynomial solutions of linear difference and differential equations and rational solutions or linear differential equations with polynomial coefficients. We relate singularities to nature of the solution. Solution of differential equations in closed form to some degree might be called more an art than a science: The investigator can try a number of methods and for a number of classes of equations these methods always work. In particular integrating factors are tricky to find. An analogous but simpler situation exists for integrating inclosed form, where for instance there exists a criterion for when an exponential integral can be found in closed form. In this paper we make a beginning in several directions on these problems, for 2 variable ordinary differential equations. The case of exact differentials reduces immediately to quadrature. The next step is perhaps that of a polynomial integrating factor, our main study. Here we are able to provide necessary conditions based on related homogeneous equations which probably suffice to decide existence in most cases. As part of our investigations we provide complete algorithms for existence of and finding a basis for polynomial solutions of linear differential and difference equations with polynomial coefficients, also rational solutions for such differential equations. Our goal would be a method for decidability of whether any differential equation Mdx+Mdy=0 with polynomial M, N has algebraic solutions(or an undecidability proof). We reduce the question of all solutions algebraic to singularities but have not yet found a definite procedure to find their type. We begin with general results on the set of all polynomial solutions and integrating factors. Consider a differential equation Mdx+Ndy where M, N are nonreal polynomials in x, y with no common factor. When does there exist an integrating factor u which is (i) polynomial (ii) rational? In case (i) the solution F(x, y)=c will be a polynomial. We assume all functions here are complex analytic polynomial in some open set.

• IEIE Transactions on Smart Processing and Computing
• /
• 제4권4호
• /
• pp.291-296
• /
• 2015

This paper describes the design of a high-speed comparator for high-speed automatic test equipment (ATE). The normal comparator block, which compares the detected signal from the device under test (DUT) to the reference signal from an internal digital-to-analog converter (DAC), is composed of a rail-to-rail first pre-amplifier, a hysteresis amplifier, and a third pre-amplifier and latch for high-speed operation. The proposed continuous comparator handles high-frequency signals up to 800MHz and a wide range of input signals (0~5V). Also, to compare the differences of both common signals and differential signals between two DUTs, the proposed differential mode comparator exploits one differential difference amplifier (DDA) as a pre-amplifier in the comparator, while a conventional differential comparator uses three op-amps as a pre-amplifier. The chip was implemented with $0.18{\mu}m$ Bipolar CMOS DEMOS (BCDMOS) technology, can compare signal differences of 5mV, and operates in a frequency range up to 800MHz. The chip area is $0.514mm^2$.

• 대한수학회보
• /
• 제43권2호
• /
• pp.253-263
• /
• 2006

In this paper we introduce a new concept, a 'periodicizing' function for the linear differential equation with the periodic forcing function. Moreover, we construct this function, which is closely related with the solution of a difference equation and an indefinite sum. Using this function, we can obtain a representation of solutions from which we see immediately the asymptotic behavior of the solutions.

• Journal of applied mathematics & informatics
• /
• 제27권5_6호
• /
• pp.1279-1292
• /
• 2009

In this paper, a numerical method that uses standard finite difference scheme defined on Shishkin mesh for a weakly coupled system of two singularly perturbed convection-diffusion second order ordinary differential equations with a discontinuous source term is presented. An error estimate is derived to show that the method is uniformly convergent with respect to the singular perturbation parameter. Numerical results are presented to illustrate the theoretical results.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권2호
• /
• pp.478-493
• /
• 2024

In this paper, the Mixed Integer Linear Programming (MILP) model is improved for searching differential characteristics of block cipher Midori-64, and 4 search strategies of differential path are given. By using strategy IV, set 1 S-box on the top of the distinguisher to be active, and set 3 S-boxes at the bottom to be active and the difference to be the same, then we obtain a 5-round differential characteristics. Based on the distinguisher, we attack 12-round Midori-64 with data and time complexities of 2⁶³ and 2^103.83, respectively. To our best knowledge, these results are superior to current ones.

• 정보보호학회논문지
• /
• 제33권2호
• /
• pp.175-182
• /
• 2023

차분 분석은 블록 암호에 대한 분석 기법 중 하나이며, 입력 차분에 대한 출력 차분이 높은 확률로 존재한다는 성질을 이용한다. 무작위 데이터와 특정 출력 차분을 갖는 데이터를 구별할 수 있다면, 차분분석에 대한 데이터 복잡도를 감소시킬 수 있다. 이를 위해 딥러닝 기반의 신경망 구별자에 대한 연구들이 다수 진행되었으며, 본 논문에서는 PIPO 64/128에 대한 최초의 딥러닝 기반의 신경망 구별자를 제안하였다. 여러 입력 차분들을 사용하여 실험한 결과, 0, 1, 3, 5-라운드의 차분 특성에 대한 3 라운드 신경망 구별자가 각각 0.71, 0.64, 0.62, 0.64의정확도를달성하였다. 이 구별자는 고전 구별자와 함께 사용될 경우 최대 8 라운드에 대한 구별 공격이 가능하도록 한다. 따라서 여러 라운드의 입력 차분을 처리할 수 있는 구별자를 찾아냄으로써 확장성을 확보하였다. 향후에는 성능 향상을 위한 최적의 신경망을 구성하기 위해 다양한 신경망 구조를 적용하고, 연관 키 차분을 사용하거나 다중 입력차분을 위한 신경망 구별자를 구현할 예정이다.

• Journal of applied mathematics & informatics
• /
• 제33권5_6호
• /
• pp.485-502
• /
• 2015

A computational method for solving singularly perturbed boundary value problem of differential equation with shift arguments of mixed type is presented. When shift arguments are sufficiently small (o(ε)), most of the existing method in the literature used Taylor's expansion to approximate the shift term. This procedure may lead to a bad approximation when the delay argument is of O(ε). The main idea for this work is to deal with constant shift arguments, which are independent of ε. In the present method, we construct the formally asymptotic solution of the problem using the method of composite expansion. The reduced problem is solved numerically by using operator compact implicit method, and the second problem is solved analytically. Error estimate is derived by using the maximum norm. Numerical examples are provided to support the theoretical results and to show the efficiency of the proposed method.