• 충청수학회지
• /
• 제24권4호
• /
• pp.895-903
• /
• 2011

A two dimensional version of LSQR iterative algorithm which takes advantages of working solely with the 2-dimensional arrays is developed and applied to the image deblurring problem. The efficiency of the method comparing to the Fourier-based LSQR method and the 2-D version CGLS algorithm methods proposed by Hanson ([4]) is analyzed.

• 충청수학회지
• /
• 제36권2호
• /
• pp.125-133
• /
• 2023

We establish a characterization theorem of elliptic paraboloids in the (n+1)-dimensional Euclidean space 𝔼ⁿ⁺¹ with extrinsic properties such as the (n+1)-dimensional volumes of regions enclosed by the hyperplanes and hypersurfaces, and the n-dimensional areas of projections of the sections of hypersurfaces cut off by hyperplanes.

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.363-370
• /
• 2002

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 확장방법(decomposition)을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류로서 각 노드마다 Shannon, positive Davio, 그리고 negative Davio 확장중의 하나를 사용하도록 하며 다른 종류의 DD와 비교해서 작은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방법의 결정에 의해서 OPKFDD의 크기가 좌우되며 최소의 노드 수를 갖는 OPKFDD의 구성은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기의 기준을 노드 수로 하여 기존의 OBDD(Ordered Binary Decision Diagram) 자료구조에서 각 노드의 확장방법을 결정하는 직관적(heuristic)인 방법을 제시하고, 주어진 입력변수 순서에 대해서 각 노드의 확장 방법을 결정하는 알고리즘을 제안하고 실험 결과를 제시한다.

• 정보과학회 논문지
• /
• 제43권8호
• /
• pp.910-918
• /
• 2016

많은 종류의 데이터들은 텐서로 표현될 수 있다. 텐서란 다차원 배열을 의미하며, 그 예로 (사용자, 사용자, 시간)으로 이루어진 소셜 네트워크 데이터가 있다. 이러한 다차원 데이터 분석에 있어서 텐서 생성기는 시뮬레이션, 다차원 데이터 모델링 및 이해, 샘플링/외삽법 등 다양한 응용이 가능하다. 하지만, 존재하는 텐서 생성기들은 실제 세계의 텐서처럼 멱 법칙을 따르는 특성과 희박성을 갖는 텐서를 생성할 수 없다. 또한, 처리가능한 텐서 크기에 한계가 존재하고, 분산시스템에서 추가 분석을 하려면 텐서를 분산시스템에 업로드 하는 추가비용이 든다. 본 논문은 분산 테라스케일 텐서 생성기(TeT)를 제안함으로써 이러한 문제를 해결하고자 한다. TeT는 희박성을 갖는 랜덤 텐서와 희박성과 멱 법칙을 따르는 특성을 갖는 Recursive-MATrix 텐서, 크로네커 텐서를 크기 제한없이 생성할 수 있다. 또한, TeT에서 생성된 텐서는 같은 분산 시스템에서 추가적인 텐서분석이 가능하다. TeT는 효율적인 설계로 인해 거의 선형적인 머신확장성을 보인다.

• 한국인터넷방송통신학회논문지
• /
• 제15권3호
• /
• pp.25-33
• /
• 2015

양면을 뒤집어 입을 수 있는 Jacket처럼, 내부 및 외부 양 쪽 모두 호환이 가능한 행렬을 Jacket 행렬이라 한다. element-wise inverse와 block-wise inverse 과정을 통해 Jacket 행렬은 안 쪽 요소와 바깥쪽 요소 모두를 가진다. 이 개념은 1989년에 저자 중 한 명인 이문호 교수에 의해 이루어진 것으로서, 2000년에는 최종적으로 Jacket 행렬이라 부르게 되었다. 이것은 잘 알려진 Hadamard 행렬의 가장 일반적인 확장으로서, 직교와 비직교 행렬에 대한 성질을 포함하고 있다. Jacket 행렬은 정보 및 통신 분야 이론의 많은 문제들을 해석하는데 이용된다. 본 논문에서는 Jacket 행렬의 성질과 특성, 예를 들어 determinants와 eigenvalues, Kronecker product에 대해서 다룬다. 이 연산들은 신호 처리와 직교 코드 디자인에 매우 유용하다. 또한, 본 논문은 복잡성이 낮은 매우 간단한 수학적 모델을 통해 이들의 유용성을 계산한 결과를 제시한다.

• Structural Engineering and Mechanics
• /
• 제11권2호
• /
• pp.221-236
• /
• 2001

A local point interpolation method (LPIM) is presented for the stress analysis of two-dimensional solids. A local weak form is developed using the weighted residual method locally in two-dimensional solids. The polynomial interpolation, which is based only on a group of arbitrarily distributed nodes, is used to obtain shape functions. The LPIM equations are derived, based on the local weak form and point interpolation. Since the shape functions possess the Kronecker delta function property, the essential boundary condition can be implemented with ease as in the conventional finite element method (FEM). The presented LPIM method is a truly meshless method, as it does not need any element or mesh for both field interpolation and background integration. The implementation procedure is as simple as strong form formulation methods. The LPIM has been coded in FORTRAN. The validity and efficiency of the present LPIM formulation are demonstrated through example problems. It is found that the present LPIM is very easy to implement, and very robust for obtaining displacements and stresses of desired accuracy in solids.

• 한국전산구조공학회논문집
• /
• 제12권3호
• /
• pp.485-494
• /
• 1999

본 연구에서는 요소를 사용하지 않고 절점들만을 이용하여 해석이 가능한 새로운 수치해석기법인 EFG(Element-Free Galerkin)법을 사용하여 임의의 균열의 성장과정을 해석할 수 있는 효율적인 알고리즘을 개발하고, 이를 바탕으로 균열의 성장방향과 경로를 정확히 추정하여 일련의 균열진전해석을 수행할 수 있는 프로그램을 개발하였다. 균열해석에 있어서는 균열선단의 특이성과 균열면의 분연속성을 수치적으로 반영할 수 있는 기법을 도입하여 균열을 모형화하였으며, 선형탄성파괴역학이론에 근거하여 균열해석과정을 정식화하였다. 또한, EFG 형상함수가 kronecker delta 조건을 만족시키지 못함으로써 발생하는 필수경계조건의 처리문제를 penalty법을 이용하여 해결하였다. 개발된 균열진전해석 알고리즘을 정지상태와 성장하는 상태에 있는 모드 Ⅰ, 모드 Ⅱ 및 혼합모드상태의 대표적인 균열문제들에 적용하여 응력확대계수와 균열성장방향 및 균열의 성장경로를 추정하고 이를 이론적·실험적 결과들과 비교함으로써 그 정확성과 효율성을 검증하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2008년도 정기 학술대회
• /
• pp.172-176
• /
• 2008

In this paper, three dimensional linear conforming variable-finite elements are presented with the aid of a smoothed integration (a class of stabilized conforming nodal integration), for mnltiscale mechanics problems. These elements meet the desirable properties of an interpolation such as the Kronecker delta condition, the partition of unity condition and the positiveness of interpolation function. The necessary condition of linear exactness is fully relaxed by employing the smoothed integration, which renders us to meet the linear exactness in a straightforward manner. This novel element description extend the category of the conventional finite elements space to ration type function space and give the flexibility on the number of nodes of element which are fixed in the conventional finite elements. Several examples are provided to show the convergence and the accuracy of the proposed elements, and to demonstrate their potential with emphasis on the multiscale mechanics problems such as global/local analysis, nonmatching contact problems, and modeling of composite material with defects.

• 한국정보과학회논문지:시스템및이론
• /
• 제27권9호
• /
• pp.759-767
• /
• 2000

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 decomposition을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류이다. OBDD(Ordered Binary Decision Diagram)에서 각 노드는 Shannon decomposition 만을 이용하는 반면, OPKFDD는 각 노드마다 Shannon, positive Davio, negative Davio decomposition 중의 하나를 사용하도록 하며 많은 경우 매우 적은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방밥과 입력 변수 순서의 결정에 의해서 OPKFDD의 크기가 좌우되며 이에 대한 최적의 해를 구하는 것은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기를 기준을 노드 수로 하여 기존의 BDD(Binary Decision Diagram) 자료구조에서 OPKFDD를 효율적으로 유도해내는 방법을 제시하고 complex term을 이용하여 이를 최소화하는 알고리즘을 제시한다. 그리고 입력변수 순서 결정을 위하여 다출력함수의 경우 함수간의 포함관계를 고려한 그룹-sifting과 각 노드의 확장 방법을 제안하고 실험 결과를 제시한다.

• 호남수학학술지
• /
• 제32권1호
• /
• pp.45-51
• /
• 2010

Let A be an abelian variety defined over a number field K and let L be a cyclic extension of K with Galois group G = <${\sigma}$> of order n. Let III(A/K) and III(A/L) denote, respectively, the Tate-Shafarevich groups of A over K and of A over L. Assume III(A/L) is finite. Let M(x) be a companion matrix of 1+x+${\cdots}$+$x^{n-1}$ and let $A^x$ be the twist of $A^{n-1}$ defined by $f^{-1}{\circ}f^{\sigma}$ = M(x) where $f:A^{n-1}{\rightarrow}A^x$ is an isomorphism defined over L. In this paper we compute [III(A/K)][III($A^x$/K)]/[III(A/L)] in terms of cohomology, where [X] is the order of an finite abelian group X.