• 대한수학회논문집
• /
• 제36권2호
• /
• pp.277-298
• /
• 2021

In this paper, we propose an extension of the classical Bessel function by means of our ℓ-hypergeometric function [2]. As the main results, the infinite order differential equation, the generating function relation, and contour integral representations including Schläfli's integral analogue are derived. With the aid of these, other results including some inequalities are also obtained. At the end, the graphs of these functions are plotted using the Maple software.

• 대한수학회보
• /
• 제52권2호
• /
• pp.593-601
• /
• 2015

Let $f{\in}C^r$ ([-1,1]), $r{\geq}0$ and let $L^*$ be a linear left fractional differential operator such that $L^*$ $(f){\geq}0$ throughout [0, 1]. We can find a sequence of polynomials $Q_n$ of degree ${\leq}n$ such that $L^*$ $(Q_n){\geq}0$ over [0, 1], furthermore f is approximated left fractionally and simulta-neously by $Q_n$ on [-1, 1]. The degree of these restricted approximations is given via inequalities using a higher order modulus of smoothness for $f^{(r)}$.

• Kyungpook Mathematical Journal
• /
• 제55권4호
• /
• pp.953-967
• /
• 2015

In this article, by making use of a linear multiplier fractional differential operator $D^{{\delta},m}_{\lambda}$, we introduce a new subclass of spiral-like functions. The main object is to provide some subordination results for functions in this class. We also find sufficient conditions for a function to be in the class and derive Fekete-$Szeg{\ddot{o}}$ inequalities.

• 한국산업정보학회논문지
• /
• 제7권1호
• /
• pp.75-80
• /
• 2002

미분시스템의 안정성에 관한 이론에서 페론 방법은 각 개념의 정의와 적분부등식을 통해서 해의 정성적 규명을 연구하는 최근에 가장 일반적 형식 중의 하나이다. 이 논문을 통해서는 특히, 두 개의 섭동 e(t,x)와 f(t,x)를 수반하는 미분 시스템의 자명해와 접근적 안정성의 여러 가지 양태를 페론 방법을 써서 조사해 보고 이들의 충분조건을 찾아 몇 가지 정리를 얻었다.

• 대한수학회지
• /
• 제61권1호
• /
• pp.41-63
• /
• 2024

In this paper, we study complete Riemannian immersions into a semi-Riemannian warped product obeying suitable curvature constraints. Under appropriate differential inequalities involving higher order mean curvatures, we establish rigidity and nonexistence results concerning these immersions. Applications to the cases that the ambient space is either an Einstein manifold, a steady state type spacetime or a pseudo-hyperbolic space are given, and a particular investigation of entire graphs constructed over the fiber of the ambient space is also made. Our approach is based on a parabolicity criterion related to a linearized differential operator which is a divergence-type operator and can be regarded as a natural extension of the standard Laplacian.

• International Journal of Automotive Technology
• /
• 제7권5호
• /
• pp.535-545
• /
• 2006

A nonlinear analysis of torsional self-excited vibration in the driveline system for wheeled towing tractors was presented, with a 2-DOF mathematical model. The vibration system was described as a second-order ordinary differential equation. An analytical approach was proposed to the solution of the second-order ODE. The mathematical neighborhood concept was used to construct the interior boundary and the exterior boundary. The ODE was proved to have a limit cycle by using $Poincar\'{e}-Bendixson$ Annulus Theorem when two inequalities were satisfied. Because the two inequalities are easily satisfied, the self-excited vibration is inevitable and even the initial slip rate is little. However, the amplitude will be almost zero when the third inequality is satisfied. Only in a few working modes of the towing tractor the third inequality is not satisfied. It is shown by experiments that the torsional self-excited vibration in the driveline of the vehicle is obvious.

• 정보보호학회논문지
• /
• 제28권3호
• /
• pp.533-543
• /
• 2018

본 논문은 Sasaki 등이 2018년도에 제안한 차분 특성 자동화 탐색 방법을 개선하여 MILP Solver로 정확하고 간편하게 S-box 기반 암호의 차분 특성을 탐색하는 방법을 제안한다. Sasaki 등이 제안한 방식은 차분 특성에 대한 제약식 설계에 입력 차분과 출력 차분만을 변수로 포함하여 확률을 별도로 계산한 반면, 논문에서 제안하는 탐색 방법은 입력 차분, 출력 차분, 확률 변수를 하나의 제약식으로 구성하여 한 번의 프로그램 실행으로 특성과 확률을 동시에 확인할 수 있도록 탐색 절차를 간소화 하였다. 또한 본 논문에서는 Sasaki 등이 활용했던 Espresso 알고리즘과 Quine- McCluskey 알고리즘 중에서 제약식이 보다 대폭 축소되는 Espresso 알고리즘을 이용해 제약식을 간소화 하였다. 본 논문에서 제안하는 탐색 방법은 다양한 구조와 블록 사이즈에 적용 가능함을 입증하기 위해 블록암호 GIFT-64, GIFT-128, SKINNY-64에 적용하였다. 적용 결과, GIFT의 경우 기존의 제안 논문에서 4라운드의 최적의 차분 특성이 5개의 활성 S-box를 가진다고 제시한 반면, 본 논문을 적용한 결과에서는 활성 S-box의 개수는 6개이지만 기존보다 좋은 $2^{-11.415}$의 확률을 갖는 최적의 차분 특성을 찾는 성과가 있었다. SKINNY-64의 경우 기존보다 개선된 결과는 아니지만 제안 논문에서의 분석과 동일한 활성 S-box를 갖는 차분 특성을 찾을 수 있었다.

• 한국노년학
• /
• 제30권3호
• /
• pp.779-791
• /
• 2010

본 연구는 최근에 증가하고 있는 조손가족의 특징과 손자녀 양육지속의사에 관한 질적인 연구(qualitative approach)이다. 본 연구에서 분석내용은 첫째, 주양육자의 일반적 특성, 손자녀의 특징을 분석하였다. 둘째, 조손가족의 형성배경을 파악하기 위해 양육동기별 형성과정인 조부모가 어떻게 손자녀를 맡아 양육하게 되었는가에 대해 파악한다. 마지막으로 조손가족의 복지욕구를 파악하고, 양육지속의사에 대해 분석하였다. 연구 결과는 다음과 같다. 조손가족의 조사대상자의 주양육자는 조모가 대부분을 차지하였으며 주양육자의 평균 연령은 68.1세로 조사되었다. 대부분의 조부모는 직업이 없는 상태였으며 비교적 건강하였다. 조사대상 손자녀의 일반적 특성 중 성별은 손녀가 51.7%, 손자가 48.3%였고, 평균연령은 11.3세이고 대부분의 손자녀는 건강하였다. 조손가족 형성 배경을 살펴보면, 부모의 이혼으로 인한 조손가족형성이 가장 많았고, 조손가족이 원하는 복지욕구는 경제적 지지를 많이 요구하였다. 조부모의 손자녀 평균양육기간은 평균8년6개월로 나타났다. 양육지속의사에 대한 응답으로 조부모 100%는 손자녀를 양육하겠다고 하였다. 그러나 손가족의 주부양자들은 손자녀 양육에 대한 부담, 혼란스러움, 절망과 같은 부정적인 감정에서부터 희망, 기쁨, 감사에 이르기 까지 다양한 감정을 느끼는 것으로 나타났고 조부모들은 손자녀를 양육하면서 힘든 점도 있었지만, 손자녀와 함께 하면서 인생의 보람과 즐거움을 경험하고 있는 것으로 나타났다. 본 연구는 조손가족 특징과 양육에 대한 어려움을 이해하는데 도움이 되고자하며, 조손가족의 양육기능을 지지할 수 있는 맞춤식 지원 서비스 프로그램 개발 및 개입전략을 모색해 볼 수 있다는 점에서 그 의의를 찾을수 있다.

• 대한수학회지
• /
• 제53권1호
• /
• pp.161-185
• /
• 2016

We consider a mathematical model which describes the quasistatic frictional contact between a piezoelectric body and an electrically conductive obstacle, the so-called foundation. A nonlinear electro-viscoelastic constitutive law is used to model the piezoelectric material. Contact is described with Signorini's conditions and a version of Coulomb's law of dry friction in which the adhesion of contact surfaces is taken into account. The evolution of the bonding field is described by a first order differential equation. We derive a variational formulation for the model, in the form of a system for the displacements, the electric potential and the adhesion. Under a smallness assumption which involves only the electrical data of the problem, we prove the existence of a unique weak solution of the model. The proof is based on arguments of time-dependent quasi-variational inequalities, differential equations and Banach's fixed point theorem.

• 전자공학회논문지CI
• /
• 제41권3호
• /
• pp.79-90
• /
• 2004

본 논문에서는 퍼지 피드백 선형화 제어 시스템에 대한 체계적인 강인 안정성 해석과 제어기 설계방법을 제안한다. 제어 대상인 비선형 시스템을 모델링 하는데 있어서 Takagi-Sugeno 퍼지 모델 기법을 이용하고, 이때 발생할 수 있는 모델 불확실성과 외란을 고려한다. 모델링을 통해서 얻어진 폐루프 시스템에 대한 안정성 판별은 Diagonal Norm based Linear Differential Inclusions 으로의 구조 변환을 이용하여 강인 안정성 해석을 하였으며, 퍼지 피드백 선형화 제어 시스템을 안정화시키는 제어기의 이득을 얻기 위하여 LMI 최적화 계산법을 기반으로 한 수치 해석법을 제시하였다. 제안된 방법의 효과를 확인하기 위해서 강인 안정성 해석 및 제어 설계에 대한 모의실험을 수행한다.