• 대한수학회보
• /
• 제61권4호
• /
• pp.999-1017
• /
• 2024

In this paper, we study the Neumann problem for the complex Hessian quotient equation ${\frac{{\sigma}_k({\tau}{\Delta}uI+{\partial}{\bar{\partial}u)}}{{\sigma}_l({\tau}{\Delta}uI+{\partial}{\bar{\partial}u)}}}={\psi}$ with 0 ≤ 𝑙 < k ≤ n. We prove a priori estimate and global C¹ estimates, in particular, we use the double normal second derivatives on the boundary to establish the global C² estimates and prove the existence and the uniqueness for the Neumann problem of the above complex Hessian quotient equation.

• 대한수학회보
• /
• 제53권2호
• /
• pp.495-506
• /
• 2016

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,{\ldots},n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving partial permutations and of all order-preserving partial isometries, respectively. We prove that both the monoids $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ are quotients of bilateral semidirect products of two of their remarkable submonoids, namely of extensive and of co-extensive transformations. Moreover, we show that $\mathcal{PODI}_n$ is a quotient of a semidirect product of $\mathcal{POI}_n$ and the group $\mathcal{C}_2$ of order two and, analogously, $\mathcal{DP}_n$ is a quotient of a semidirect product of $\mathcal{ODP}_n$ and $\mathcal{C}_2$.

• 대한수학회지
• /
• 제52권4호
• /
• pp.869-889
• /
• 2015

Let ${\Gamma}^+$ be the positive cone in a totally ordered abelian group ${\Gamma}$, and ${\alpha}$ an action of ${\Gamma}^+$ by extendible endomorphisms of a $C^*$-algebra A. Suppose I is an extendible ${\alpha}$-invariant ideal of A. We prove that the partial-isometric crossed product $\mathcal{I}:=I{\times}^{piso}_{\alpha}{\Gamma}^+$ embeds naturally as an ideal of $A{\times}^{piso}_{\alpha}{\Gamma}^+$, such that the quotient is the partial-isometric crossed product of the quotient algebra. We claim that this ideal $\mathcal{I}$ together with the kernel of a natural homomorphism $\phi:A{\times}^{piso}_{\alpha}{\Gamma}^+{\rightarrow}A{\times}^{iso}_{\alpha}{\Gamma}^+$ gives a composition series of ideals of $A{\times}^{piso}_{\alpha}{\Gamma}^+$ studied by Lindiarni and Raeburn.

• 대한수학회지
• /
• 제32권3호
• /
• pp.609-614
• /
• 1995

Let (M, g) be a complete Riemannian manifold and G be a closed (connected) subgroup of the group of isometries of M. Then the union ${\MM}$ of all principal orbits is an open dense subset of M and the quotient map ${\MM} \longrightarrow {\BB} := {\MM}/G$ becomes a Riemannian submersion for the restriction of g to ${\MM}$ which gives the quotient metric on ${\BB}$. Namely, B is a singular (complete) Riemannian space such that $\partialB$ consists of non-principal orbits.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(2)
• /
• pp.365-368
• /
• 2001

This paper described a design and implementation of the division/square-root for a redundant floating point binary number using high-speed quotient selector. This division/square-root used the method of a redundant binary addition with 25MHz clock speed. The addition of two numbers can be performed in a constant time independent of the word length since carry propagation can be eliminated. We have developed a 16-bit VLSI circuit for division and square-root operations used extensively in each iterative step. It peformed the division and square-root by a redundant binary addition to the shifted binary number every 16 cycles. Also the circuit uses the nonrestoring method to obtain a quotient. The quotient selection logic used a leading three digits of partial remainders in order to be implemented in a simple circuit. As a result, the performance of the proposed scheme is further enhanced in the speed of operation process by applying new quotient selection addition logic which can be parallelly process the quotient decision field. It showed the speed-up of 13% faster than previously presented schemes used the same algorithms.

• Kyungpook Mathematical Journal
• /
• 제62권1호
• /
• pp.1-28
• /
• 2022

In this paper, we define the G-Brauer algebras $D^G_f(x)$, where G is a cyclic group, called cyclic G-Brauer algebras, as the linear span of r-signed 1-factors and the generalized m, k signed partial 1-factors is to analyse the multiplication of basis elements in the quotient $^{\rightarrow}_{I_f}^G(x,2k)$. Also, we define certain symmetric matrices $^{\rightarrow}_T_{m,k}^{[\lambda]}(x)$ whose entries are indexed by generalized m, k signed partial 1-factor. We analyse the irreducible representations of $D^G_f(x)$ by determining the quotient $^{\rightarrow}_{I_f}^G(x,2k)$ of $D^G_f(x)$ by its radical. We also find the eigenvalues and eigenspaces of $^{\rightarrow}_T_{m,k}^{[\lambda]}(x)$ for some values of m and k using the representation theory of the generalised symmetric group. The matrices $T_{m,k}^{[\lambda]}(x)$ whose entries are indexed by generalised m, k signed partial 1-factors, which helps in determining the non semisimplicity of these cyclic G-Brauer algebras $D^G_f(x)$, where G = ℤ_r.

• 대한전자공학회논문지TE
• /
• 제37권5호
• /
• pp.7-16
• /
• 2000

본 논문은 고속 지수 선택기를 이용한 여분 부동 소수점 이진수의 제산/스퀘어-루트 설계 및 구현에 관하여 기술하였다. 본 제산/스퀘어-루트는 처리 속도 25㎒를 갖는 여분 이진수의 가산 방식을 사용하여 올림수 지연을 제거함으로써 비트 크기에 관계없이 일정한 시간으로 가산을 수행한다. 각각의 반복 단계에 널리 사용된 제산과 스퀘어-루트에 대해 16-비트 VLSI 회로를 설계하였다. 이것은 매번 16개 클럭마다 시프트된 이진수를 여분 가산하여 제산 및 스퀘어-루트를 실행한다. 또한 이 회로는 비복원 방법을 사용하여 지수 비트를 얻는다. 지수 선택 논리의 간단한 회로를 구현하기 위하여 나머지 비트의 주요 세 자리를 사용하였다. 결과적으로, 이 회로의 성능은 새로운 지수 선택 가산 논리를 적용하여 지수 결정 영역을 병렬 처리함으로써 한층 더 연산 처리 속도를 높인 것이다. 이전에 동일한 알고리즘을 사용하여 제안된 설계보다 13% 빠른 속도 증가를 보였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제24권2호
• /
• pp.165-180
• /
• 2014

본 연구는 제7차부터 2009 개정 교육과정에 제시된 몫으로서의 분수 관련 내용을 바탕으로 수학과 교과용 도서를 분석하였다. 분석 결과, 몫으로서의 분수와 관련하여 현재 수학과 교과용 도서에 몇 가지 재고의 여지가 있는 부분이 드러났다. 첫째, 제7차 수학과 교육과정에 비해 2007 수학과 교육과정에서 몫으로서의 분수를 다루는 비중이 크게 줄었다. 둘째, 3, 4학년에서 배우는 자연수의 나눗셈 상황과 5학년에서 배우는 몫으로서의 분수 상황이 자연스럽게 연결되어 있지 않고 분리되어 있다. 셋째, 교과서에 제시된 문장제, 모델 및 분할전략, 형식화과정들이 어느 한 부분에 집중되어 있거나 지나치게 약화되어 있다. 이에 대한 논의를 바탕으로 초등학교 수학교과서의 몫으로서의 분수 관련 내용 구성 및 지도 방향에 시사점을 제공하고자 한다.

• 한국초등수학교육학회지
• /
• 제20권3호
• /
• pp.371-391
• /
• 2016

장제법은 1990년대부터 시작된 미국의 제 2차 수학전쟁의 주요 쟁점중의 하나였다. 이 논문에서는 이에 관하여 구체적으로 고찰하고 그를 바탕으로 우리나라 초등수학교육에서 장제법 지도 현황을 조사하였다. 첫째, 장제법은 나눗셈의 답을 구하는 기계적 알고리즘이 아니라 초등수학의 핵심 개념을 구현하고 있으며 중등수학과의 연결고리 역할을 하는 중요한 원리이다. 둘째, 우리나라 교육과정에서 장제법이라는 명칭을 사용하고 구체적인 지도 지침을 제시해야 한다. 셋째, 장제법의 이해를 돕기 위하여 부분몫 방법 같은 다른 나눗셈 알고리즘을 보조적으로 활용할 필요가 있다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제5권2호
• /
• pp.63-69
• /
• 2001

In this study, we shall be concerned with computing in parallel a few of the smallest eigenvalues and their corresponding eigenvectors of the eigenvalue problem, $Ax={\lambda}Bx$, where A is symmetric, and B is symmetric positive definite. Both A and B are large and sparse. Recently iterative algorithms based on the optimization of the Rayleigh quotient have been developed, and CG scheme for the optimization of the Rayleigh quotient has been proven a very attractive and promising technique for large sparse eigenproblems for small extreme eigenvalues. As in the case of a system of linear equations, successful application of the CG scheme to eigenproblems depends also upon the preconditioning techniques. A proper choice of the preconditioner significantly improves the convergence of the CG scheme. The idea underlying the present work is a parallel computation of the Multi-Color Block SSOR preconditioning for the CG optimization of the Rayleigh quotient together with deflation techniques. Multi-Coloring is a simple technique to obatin the parallelism of order n, where n is the dimension of the matrix. Block SSOR is a symmetric preconditioner which is expected to minimize the interprocessor communication due to the blocking. We implemented the results on the CRAY-T3E with 128 nodes. The MPI(Message Passing Interface) library was adopted for the interprocessor communications. The test problems were drawn from the discretizations of partial differential equations by finite difference methods.