• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제24권3호
• /
• pp.305-320
• /
• 2020

This study aims to generalize MINRES-N2 method [1]. It means that we tend to obtain an algorithm to transfer each normal matrix - that its eigenvalues belong to an algebraic curve of low degree k- to its condensed form through using a unitary similarity transformation. Then, we aim to obtain a method to solve a system of linear equations that its coefficient matrix is equal to such a matrix by utilizing it. Finally this method is compared to the well-known GMRES method through using numerical examples. The results obtained through examples show that the given method is more efficient than GMRES.

• 충청수학회지
• /
• 제32권1호
• /
• pp.15-21
• /
• 2019

Let X be a reduced closed subscheme in ${\mathbb{P}}^n$ and $${\pi}_q:X{\rightarrow}Y={\pi}_q(X){\subset}{\mathbb{P}}^{n-1}$$ be an isomorphic projection from the center $q{\in}{\mathbb{P}}^n{\backslash}X$. Suppose that the minimal free presentation of $I_X$ is of the following form $$R(-3)^{{\beta}2,1}{\oplus}R(-4){\rightarrow}R(-2)^{{\beta}1,1}{\rightarrow}I_X{\rightarrow}0$$. In this paper, we prove that $H^1(I_X(k))=H^1(I_Y(k))$ for all $k{\geq}3$. This implies that Y is k-normal if and only if X is k-normal for $k{\geq}3$. Moreover, we also prove that reg(Y) ${\leq}$ max{reg(X), 4} and that $I_Y$ is generated by homogeneous polynomials of degree ${\leq}4$.

• 대한기계학회논문집A
• /
• 제26권8호
• /
• pp.1698-1708
• /
• 2002

The main topic covered in this paper is that of the impact process, that is, where two bodies come into contact and rebound or stick together. This paper presents how to determine the rebound velocities of a microparticle that approaches a surface with arbitrary initial velocities and relate the impact process to the physical properties of the materials and to the adhesion force. Actual adhesion forces demonstrate a significant amount of energy dissipation in the form of hysteresis, and act generally in a normal to the contact surfaces. Microparticles must also contend with forces tangent to the contact surfaces, namely Coulomb dry friction. The developed model has an algebraic form based on the principle of impulse and momentum and hypothesis of energy dissipation. Finally, several analyses are carried out in order to estimate impact parameters and the developed analytical model is validated using experimental results.

• Journal of applied mathematics & informatics
• /
• 제7권1호
• /
• pp.269-278
• /
• 2000

A Boolean function generates a binary sequence which is frequently used in a stream cipher. There are number of critical concepts which a Boolean function, as a key stream generator in a stream cipher, satisfies. These are nonlinearity, correlation immunity, balancedness, SAC(strictly avalanche criterion), PC(propagation criterion) and so on. In this paper, we present the algorithms for generating random nonlinear combining functions satisfying given correlation immune order and nonlinearity. These constructions can be applied for designing the key stream generators. We use Microsoft Visual C++6.0 for our program.

• Kyungpook Mathematical Journal
• /
• 제64권2호
• /
• pp.197-204
• /
• 2024

Let R = 𝕂[x] be a univariate polynomial ring over an algebraically closed field 𝕂 of characteristic zero. Let A ∈ M_m,m(R) be an m×m matrix over R with non-zero determinate det(A) ∈ R. In this paper, utilizing linear-algebraic techniques, we investigate the relationship between a basis for the syzygy module of f₁, . . . , f_m and a basis for the syzygy module of g₁, . . . , g_m, where [g₁, . . . , g_m] = [f₁, . . . , f_m]A.

• 응용통계연구
• /
• 제27권3호
• /
• pp.397-406
• /
• 2014

최소밀도함수승간격 추정법은 Baus 등 (1998)에 의해 처음 소개된 이후 많은 관심의 대상이 되었다. 최소밀도함수승간격 추정량은 우수한 로버스트 성질을 갖고 효율성도 최우추정량에 필적한 것으로 알려져 있다. 본 논문에서는 생물정보학에서 사용되는 노말-지수 분포에 근거한 추정량을 최소밀도함수승간격 추정법을 사용하여 구하는 방법을 다루고자 한다. 그런데 그 과정에서 간격을 적분을 통해 구하는 것이 매우 어려움으로 인해 직접적인 적분 대신 라플라스 근사를 시도할 것을 제안한다. 그 결과 추정량이 다소 효율성이 줄어들지만 로버스트 성질을 갖고 있음을 수학적 방법과 모의실험을 통하여 보였다.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1997년도 International Conference MULTIMEDIA DATABASES on INTERNET
• /
• pp.483-503
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로서 대수 연산자를 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.139-146
• /
• 2003

본 논문은 과포화 다변수 방정식을 이용하여 LILI-128 스트림 암호를 분석한다. LILI-128 암호$^{[8]}$ 는 128비트 키를 가진 선형귀환 쉬프트 레지스터 기반의 스트림 암호로 구조를 살펴보면 크게 “CLOCK CONTROL” 부분과 “DATA GENERATION” 부분으로 나뉘어진다. 분석 방법은 “DATA CENERATION” 부분에 사용되는 함수 \ulcorne $r^{d}$ 의 대수적 차수가 높지 못하다는 성질을 이용한다. 간략히 설명하면 차수(K)가 6차인 다변수 방정식을 많이 얻을 수 있고, 이를 7차 (D)의 다변수 방정식으로 확장하여 주어진 변수보다 많은 연립방정식을 얻어 그 해를 구하는 XL 알고리즘을 통해 전수조사보다 빠르게 키정보를 찾을 수 있다. 결과 중 가장 좋은 것은 출력 키수열 2$^{26.3}$비트를 가지고 2$^{110.7}$ CPU 시간을 통해 128비트 키정보를 얻는 것이다.다.