• 제어로봇시스템학회논문지
• /
• 제6권7호
• /
• pp.523-528
• /
• 2000

In this short note the characteristics of a nonlinear system of which the state trajectories are oscillating in the phase plane are overviewed. The physical concept of stuck and sliding patch phenomena are also introduced by adding some switching functions and their stability on the sliding patches are analyzed by using the Lyapunov stability theory and Frobenius theorem.

• 대한수학회보
• /
• 제49권1호
• /
• pp.165-174
• /
• 2012

In this paper, we construct a p-adic analogue of multiple Riemann zeta values and express their values at non-positive integers. In particular, we obtain a new congruence of the higher order Frobenius-Euler numbers and the Kummer congruences for the Bernoulli numbers as a corollary.

• 대한수학회지
• /
• 제46권5호
• /
• pp.1087-1103
• /
• 2009

Given a system of s independent 1-forms on a smooth manifold M of dimension m, we study the existence of integral manifolds by means of various generalized versions of the Frobenius theorem. In particular, we present necessary and sufficient conditions for there to exist s'-parameter (s' < s) family of integral manifolds of dimension p := m-s, and a necessary and sufficient condition for there to exist integral manifolds of dimension p', p' $\leq$ p. We also present examples and applications to complex analysis in several variables.

• 대한수학회지
• /
• 제58권1호
• /
• pp.219-236
• /
• 2021

Let �� be a weighted projective line defined over the algebraic closure $k={\bar{\mathbb{F}}}_q$ of the finite field ��q and σ be a weight permutation of ��. By folding the category coh-�� of coherent sheaves on �� in terms of the Frobenius twist functor induced by σ, we obtain an ��q-category, denoted by coh-(��, σ; q). We then prove that coh-(��, σ; q) is derived equivalent to the valued canonical algebra associated with (��, σ).

• Kyungpook Mathematical Journal
• /
• 제61권4호
• /
• pp.845-858
• /
• 2021

We present new bounds for the numerical radius of bounded linear operators and 2 × 2 operator matrices. We apply upper bounds for the numerical radius to the Frobenius companion matrix of a complex monic polynomial to obtain new estimations for the zeros of that polynomial. We also show with numerical examples that our new estimations improve on the existing estimations.

• 한국통신학회논문지
• /
• 제41권8호
• /
• pp.917-920
• /
• 2016

전통적 도래각 추정기법[1]과 별개로 2004년 이후 입사신호의 입사방향은 공간 영역에서 희소도(sparsity)를 가짐을 이용한 도래각 추정 기법이 제안되었다. 압축센싱 기반 도래각 추정 알고리즘인 SpSF 알고리즘에 이용되는 비용함수는 비선형 다변수 최적화문제이다. 적절한 변환을 통하여 해당 비용함수는 볼록 최적화 (convex optimization) 문제로 표현할 수 있다. 볼록 최적화 문제는 제한조건이 있는 최적화 문제이며 제한조건에 포함되는 상수를 지정해야 한다. 본 연구에서는 제한조건에 포함되는 사용자지정 상수값 결정법을 제안한다. 잡음의 실수부와 허수부가 서로 독립인 평균 0인 정규분포를 따름을 이용하여 제한조건에 포함되는 행렬의 Frobenius norm의 평균을 유도할 수 있으며, 이를 이용하여 제한조건에 포함되는 상수를 결정할 수 있다. 제안된 방법에 의해 결정된 상수를 이용한 SpSF 알고리즘이 실제로 동작함을 보였다.

• 정보보호학회논문지
• /
• 제15권3호
• /
• pp.65-76
• /
• 2005

EC-DSA나 EC-ElGamal과 같은 타원곡선 암호시스템의 성능 향상을 위해서는 타원곡선 상수배 연산을 빠르게 하는 것이 필수적이다. 타원곡선 특유의 Frobenius 사상을 이용한 $base-{\phi}$ 전개 방식은 Koblitz에 의해 처음 제안되었으며, Kobayashi 등은 최적확장체 위에서 정의되는 타원곡선에 적용할 수 있도록 $base-{\phi}$ 전개 방식을 개선하였다. 그러나 Kobayashi 등의 방법은 여전히 개선의 여지가 남아있다. 본 논문에서는 최적확장체에서 정의되는 타원곡선상에서 효율적인 상수배 연산 알고리즘을 제안한다. 제안한 상수배 알고리즘은 Frobenius사상을 이용하여 상수 값을 Horner의 방법으로 $base-{\phi}$ 전개하고, 이 전개된 수식을 최적화된 일괄처리 기법을 적용하여 연산한다. 제안한 알고리즘을 적용할 경우, Kobayashi 등이 제안한 상수배 알고리즘보다 $20\%{\sim}40\%$ 정도의 속도 개선이 있으며, 기존의 이진 방법에 비해 3배 이상 빠른 성능을 보인다.

• 한국전자통신학회논문지
• /
• 제7권5호
• /
• pp.1133-1138
• /
• 2012

본 논문은 최적제어에 기초하여 비선형 슬라이딩 평면을 설계하는 것이다. 최적제어입력에 의한 상태 궤적을 Frobenius 정리와 matrix decomposition 방법에 의해 구하였고, 이 궤적을 시스템의 슬라이딩 평면으로 설정하였다. 상태는 초기부터 슬라이딩 평면을 유지하며, 그 결과 초기상태 단계로부터 전 영역까지 시스템의 강인성은 보장 받을 수 있으며, 도달시간 동안 발생 될 수 있는 불확실성과 외란의 영향을 제거되고, 큰 제어 입력의 문제도 해결할 수 있었다. 그리고 최적경로를 슬라이딩 평면으로 설정함으로 추적시간을 줄일 수 있었다. 역진자 시스템을 사용하여 그 타당성을 보인다.

• 대한수학회지
• /
• 제39권2호
• /
• pp.237-252
• /
• 2002

We study the compatibility conditions and the existence of solutions or overdetermined PDE systems that admit complete prolongation. For a complete system of order k there exists a submanifold of the ($\kappa$-1)st jet space of unknown functions that is the largest possible set on which the initial conditions of ($\kappa$-1)st order may take values. There exists a unique solution for any initial condition that belongs to this set if and only if the complete system satisfies the compatibility conditions on the initial data set. We prove by applying the Frobenius theorem to a Pfaffian differential system associated with the complete prolongation.

• 대한수학회보
• /
• 제52권3호
• /
• pp.809-823
• /
• 2015

This paper is devoted to presenting a MacWilliams type identity for m-spotty RT weight enumerators of byte error control codes over finite commutative Frobenius rings, which can be used to determine the error-detecting and error-correcting capabilities of a code. This provides the relation between the m-spotty RT weight enumerator of the code and that of the dual code. We conclude the paper by giving three illustrations of the results.