• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• pp.687-690
• /
• 2005

H.264/AVC에서 압축 효율을 향상시키기 위해 사용된 entropy coding중에 CABAC(Context-based Adaptive Binary Arithmetic Coding)은 하드웨어 복잡도가 높고 bit-serial 과정에서 data dependancy가 존재하기 때문에 빠른 연산이 어렵다. 본 논문에서는 adaptive arithmetic encoder와 정규화 과정을 효율적으로 구성하여 각 입력 심벌이 정규화 과정의 반복횟수에 관계없이 고정된 cycle에 encoding이 되도록 하였다. 제안한 구조는 pipeline으로 구성하기 용이하며, 이 경우 매 cycle에 한 입력 심벌의 encoding이 가능하다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제14권2호
• /
• pp.103-107
• /
• 2014

An algorithm to get network reliability, where each link has probability of fuzzy number, is proposed. Decomposition method and fuzzy numbers arithmetic are applied to the algorithm. Pivot link is chosen one by one from start node recursively at time of decomposition, and arithmetic of fuzzy complementary numbers is included at the same time. No criteria of pivot link selection and the recursive calculation make the algorithm simple.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.259-259
• /
• 2000

In the recent, the size of hardware is smaller and the structure is simpler, without reducing the performance of the digital controller. Accordingly, the fixed-point arithmetic is very important in the digital controller. This paper presents simulation to apply the robust control algorithms to DVDR servo controller using the floating-point and fixed-point arithmetic from the matlab. Also, it analyses and compares the performance of control algorithms in the each of point calculation and presents a method for improvement of drop in the performance, quantization error and overflow/underflow from using the fixed-point arithmetic

• 한국초등수학교육학회지
• /
• 제21권1호
• /
• pp.1-22
• /
• 2017

연산법칙은 산술 학습을 위해 계산 원리 파악 및 효과적인 계산 전략 개발에 필수적인 것으로 간주되며, 초등학교에서 초기 대수 지도에 대한 긍정적 견해와 더불어 연산에 대한 직관적 관념 및 구조적 이해를 위해 연산법칙 자체에 대한 탐구가 요구된다. 따라서 연산법칙에 대한 이해가 부족할 경우, 연산법칙을 가정한 후속 학습시 학습 곤란과 오개념 형성을 유발할 우려가 있다. 이에 본 연구는 초등학교 수학 교과서에서 연산법칙이 다루어지는 특성을 분석함으로써 연산법칙의 바람직한 지도 방안을 탐색하는 것을 목적으로 한다. 이를 위해 우리나라 교육과정기에 따른 교과서 분석을 통해 어떤 연산법칙이 어느 시기에 어떤 방법으로 지도되어 왔는지를 비교하고 연산법칙을 가정하는 내용 전개 사례를 추출하였다. 그 결과에 대한 논의에 기초하여 초등학교 수학에서 연산법칙의 지도 필요성과 가능성을 확인하고 지도 방안에 대한 시사점을 도출하였다.

• 호남수학학술지
• /
• 제37권4호
• /
• pp.423-429
• /
• 2015

Dirichlet series is a Riemann zeta function attached with an arithmetic function. Here, we studied the properties of Dirichlet series and found some identities between arithmetic functions.

• Korean Journal of Mathematics
• /
• 제28권2호
• /
• pp.191-203
• /
• 2020

Any powers of 11 are easily obtained from the Pascal triangle. In this work we study powering and negative powering of any k digit integers by means of certain arithmetic tables.

• 대한수학회보
• /
• 제37권2호
• /
• pp.285-289
• /
• 2000

An additional term between the arithmetic mean and the geometric mean is presented.

• 충청수학회지
• /
• 제24권2호
• /
• pp.345-349
• /
• 2011

In this work, we find the genera of arithmetic subgroups $\langle{\Gamma}_{\Delta}(N),{\Phi}\rangle$ of $GL_2^+(\mathbb{R})$ generated by congruence subgroup ${\Gamma}_{\Delta}(N)$ and the Fricke involution $\Phi$.

• 충청수학회지
• /
• 제33권4호
• /
• pp.413-427
• /
• 2020

In this work we study 0-commuting matrix C(0) under relationships with the Pascal matrix C(1). Like kth power C(1)k is an arithmetic matrix of (kx+y)n with yx = xy (k ≥ 1), we express C(0)k as an arithmetic matrix of certain polynomial with yx = 0.

• 한국CDE학회논문집
• /
• 제15권3호
• /
• pp.178-188
• /
• 2010

This paper addresses the problem of determining if two surfaces intersect tangentially or transversally in a mathematically consistent manner and approximating an intersection curve. When floating point arithmetic is used in the computation, due to the limited precision, it often happens that the decision for tangential and transversal intersection is not clear cut. To handle this problem, in this paper, interval arithmetic is proposed to use, which provides a mathematically consistent way for such decision. After the decision, the intersection is traced using the validated ODE solver, which runs in interval arithmetic. Then an iterative method is used for computing the accurate intersection point at a given arc-length of the intersection curve. The computed intersection points are then approximated by using a B-spline curve, which is provided as one instance of intersection curve for further geometric processing. Examples are provided to demonstrate the proposed method.