• 호남수학학술지
• /
• 제38권4호
• /
• pp.753-782
• /
• 2016

In this paper we deduce the number of representations of a positive integer n by each of the six triangular forms as $${\frac{1}{2}}x_1(x_1+1)+{\frac{3}{2}}x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\{\frac{1}{2}}x_1(x_1+1)+{\frac{1}{2}}x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\{\frac{1}{2}}x_1(x_1+1)+{\frac{1}{2}}x_2(x_2+1)+{\frac{1}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\x_1(x_1+1)+x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+{\frac{3}{2}}x_4(x_4+1),\\x_1(x_1+1)+{\frac{3}{2}}x_2(x_2+1)+{\frac{3}{2}}x_3(x_3+1)+3x_4(x_4+1),\\{\frac{1}{2}}x_1(x_1+1)+{\frac{1}{2}}x_2(x_2+1)+3x_3(x_3+1)+3x_4(x_4+1).$$

• Journal of applied mathematics & informatics
• /
• 제31권1_2호
• /
• pp.45-54
• /
• 2013

Let $$S^{\pm}_{(n,k)}\;:=\{(a,b,x,y){\in}\mathbb{N}^4:ax+by=n,x{\equiv}{\pm}y\;(mod\;k)\}$$. From the formula $\sum_{(a,b,x,y){\in}S^{\pm}_{(n,k)}}\;ab=4\sum_{^{m{\in}\mathbb{N}}_{m<n/k}}\;{\sigma}_1(m){\sigma}_1(n-km)+\frac{1}{6}{\sigma}_3(n)-\frac{1}{6}{\sigma}_1(n)-{\sigma}_3(\frac{n}{k})+n{\sigma}_1(\frac{n}{k})$, we find the Diophantine solutions for modulo $2^{m^{\prime}}$ and $3^{m^{\prime}}$, where $m^{\prime}{\in}\mathbb{N}$.

• 호남수학학술지
• /
• 제34권4호
• /
• pp.519-531
• /
• 2012

Let ${\sigma}_s(N)={\sum}_{d{\mid}N}d^s$. Next, the convolution sums ${\sum}_{k<N/3}{\sigma}_1(3^mk){\sigma}_1(2^n(N-3k))$, ${\sum}_{<N/3}{\sigma}_1(2^mk){\sigma}_1(3^n(N-3k))$, etc., are evaluated for all $N{\in}\mathbb{N}$ with $m$, $n{\in}\mathbb{N}{\cup}\{0\}$.

• 대한수학회보
• /
• 제50권4호
• /
• pp.1389-1413
• /
• 2013

In this paper, we consider several convolution sums, namely, $\mathcal{A}_i(m,n;N)$ ($i=1,2,3,4$), $\mathcal{B}_j(m,n;N)$ ($j=1,2,3$), and $\mathcal{C}_k(m,n;N)$ ($k=1,2,3,{\cdots},12$), and establish certain identities involving their finite products. Then we extend these types of product convolution identities to products involving Faulhaber sums. As an application, an identity involving the Weierstrass ${\wp}$-function, its derivative and certain linear combination of Eisenstein series is established.

• 대한수학회보
• /
• 제54권3호
• /
• pp.993-1002
• /
• 2017

Let ${\Omega}$ be a bounded, uniformly totally pseudoconvex domain in ${\mathbb{C}}^2$ with the smooth boundary b${\Omega}$. Assuming that ${\Omega}$ satisfies the negative ${\bar{\partial}}$ property. Let M be a positive, finite area divisor of ${\Omega}$. In this paper, we will prove that: if ${\Omega}$ admits a maximal type F and the ${\check{C}}eck$ cohomology class of the second order vanishes in ${\Omega}$, there is a bounded holomorphic function in ${\Omega}$ such that its zero set is M. The proof is based on the method given by Shaw [27].

• Journal of applied mathematics & informatics
• /
• 제30권3_4호
• /
• pp.365-380
• /
• 2012

Non-negative matrix factorization (NMF) is a very efficient method to explain the relationship between functions for finding basis information of multivariate nonnegative data. The multiplicative update (MU) algorithm is a popular approach to solve the NMF problem, but it fails to approach a stationary point and has inner iteration and zero divisor. So the elementwisely alternating projected gradient (eAPG) algorithm was proposed to overcome the defects. In this paper, we use the fact that the equilibrium point is stable to prove the convergence of the eAPG algorithm. By using a classic model, the equilibrium point is obtained and the invariant sets are constructed to guarantee the integrity of the stability. Finally, the convergence conditions of the eAPG algorithm are obtained, which can accelerate the convergence. In addition, the conditions, which satisfy that the non-zero equilibrium point exists and is stable, can cause that the algorithm converges to different values. Both of them are confirmed in the experiments. And we give the mathematical proof that the eAPG algorithm can reach the appointed precision at the least iterations compared to the MU algorithm. Thus, we theoretically illustrate the advantages of the eAPG algorithm.

• 한국컴퓨터그래픽스학회논문지
• /
• 제21권5호
• /
• pp.1-10
• /
• 2015

본 연구는 가상 조경을 구성하는 다양한 종류의 디지털 잎을 쉽고 직관적으로 제작할 수 있는 저작도구 개발방법을 제안한다. 제안하는 저작도구의 핵심 시스템은 영상 워핑기반의 잎몸 윤곽선 변형 방법, 잎맥의 절차적 모델링 그리고 잎의 색과 명암 등을 표현하기 위한 수리모델기반 시각화 방법으로 구성된다. 우선 잎 영상을 입력으로 받아 잎몸에 대한 윤곽선 정보를 찾고, 특징기반 영상 워핑을 활용하여 다양한 잎몸 형상을 직관적인 구조에서 쉽게 생성할 수 있는 잎몸 변형 방법을 설계한다. 그리고 계산된 잎몸 윤곽선을 기반으로 잎몸 형상에 적합한 자연스러운 잎맥 패턴을 생성하는 일반화된 절차적 모델링 방법을 저작도구에 맞게 구현한다. 마지막으로 약수 함수의 합성 기반의 수리모델을 활용하여 잎의 색, 명암 그리고 시간에 따른 변화를 표현할 수 있는 시각화 기능을 적용한다. 제안한 저작도구를 활용하여 제작된 디지털 잎이 다양한 3차원 디지털 콘텐츠 분야에 활용 가능하도록 텍스쳐 지원 기능을 제공한다.

• 한국정보통신학회논문지
• /
• 제12권7호
• /
• pp.1218-1226
• /
• 2008

반도체 집적 기술의 발달과 컴퓨터에서 멀티미디어 기능의 사용이 많아지면서 보다 많은 기능들이 하드웨어로 구현되기를 원하는 요구가 증가되고 있다. 그래서 현재 사용되는 대부분의 32 비트 마이크로프로세서는 정수 곱셈기를 하드웨어로 구현하고 있다. 그러나 나눗셈기는 기존의 알고리즘인 SRT 알고리즘의 방식이 하드웨어 구현상의 복잡도와 느린 동작 속도로 인해 특정 마이크로프로세서에 한해서만 하드웨어로 구현되고 있다. 본 논문에서는 'w bit $\times$ w bit = 2w bit' 곱셈기를 사용하여 $\frac{N}{D}$ 정수 나눗셈을 수행하는 알고리즘을 제안한다. 즉, 제수 D 의 역수를 구하고 이를 피제수 N 에 곱해서 정수 나눗셈을 수행한다. 본 논문에서는 제수 D 가 '$D=0.d{\times}2^L$, 0.5<0.d<1.0'일 때, '$0.d{\times}1.g=1+e$, $e<2^{-w}$'가 되는 '$\frac{1}{D}$'의 근사 값 '$1.g{\times}2^{-L}$'을 가칭 상역수라고 정의하고, 상역수를 구하는 알고리즘을 제안하고, 이렇게 구한 상역수 '$1.g{\times}2^{-L}$'을 피제수 N에 곱하여 $\frac{N}{D}$ 정수 나눗셈을 수행한다. 제안한 알고리즘은 정확한 역수를 계산하기 때문에 추가적인 보정이 요구되지 않는다. 본 논문에서 제안하는 알고리즘은 곱셈기만을 사용하므로 마이크로프로세서를 구현할 때 나눗셈을 위한 추가적인 하드웨어가 필요 없다. 그리고 기존 알고리즘인 SRT 방식에 비해 빠른 동작속도를 가지며, 워드 단위로 연산을 수행하기 때문에 기존의 나눗셈 알고리즘보다 컴파일러 작성에도 적합하다. 따라서, 본 논문의 연구 결과는 마이크로프로세서 및 하드웨어 크기에 제한적인 SOC(System on Chip) 구현 등에 폭넓게 사용될 수 있다.