• 설비공학논문집
• /
• 제6권4호
• /
• pp.325-336
• /
• 1994

A numerical simulation of velocity and temperature fields and Nusselt number distributions is performed by using the algebraic stress model (ASM) for the velocity profiles and low Reynolds number ${\kappa}-{\varepsilon}$ model and the algebraic heat flux model(AHFM) for turbulent heat transfer in a $180^{\circ}$ bend with a constant wall heat flux. In the low Reynolds number ${\kappa}-{\varepsilon}$ model, turbulent Prandtl number is modified by considering the streamline curvature effect and the non-equilibrium effect between turbulent kinetic energy production and dissipation rate. Every heat flux term presented in the transport equation of turbulent heat flux is reduced to algebraic expressions in a way similar to algebraic stress model. Also. in the wall region, low Reynods number algebraic heat flux model(AHFM) is applied.

• 대한기계학회논문집B
• /
• 제27권12호
• /
• pp.1724-1733
• /
• 2003

This paper assesses the prediction performance of explicit algebraic stress and heat-flux models for reduction of heat transfer coefficient in a strongly-heated vertical tube. Two explicit algebraic stress models and four explicit algebraic heat-flux models are selected for assessment. Eight combinations of explicit algebraic stress and heat-flux models are used in predicting the turbulent gas flows with intense heating, which yields the significant property-variation. The results showed that the two combinations of GS-AKN and WJ-mAKN predicted the Nusselt number and the axial wall temperature variations well and that the predictions of Nusselt number with WJ-combinations spread in a wider range than those with Gs-combinations. WJ is the explicit algebraic stress model of Wallin and Johansson and GS is the model of Gatski and Speziale and that AKN is the explicit heat-flux model of Abe, Kondoh and Nagano and mAKN is the modified AKN.

• 대한기계학회논문집
• /
• 제17권6호
• /
• pp.1596-1608
• /
• 1993

본 연구에서는 좀더 정량적인 이론에 바탕하여 제레이놀즈수 2차모멘트 난류모형을 유도하려 한다.

• East Asian mathematical journal
• /
• 제29권4호
• /
• pp.355-392
• /
• 2013

Generally school algebra is to start with introducing variables and algebraic expressions, which have major cognitive obstacles to students in the transfer from arithmetic to algebra. But the recent studies in the teaching school algebra argue the algebraic thinking from an early algebraic point of view. We compare the Korean elementary mathematics textbooks with Americans from this perspective. First, we discuss the history of school algebra in the school curriculum. And Second, we investigate the recent studies in relation to early algebra. We clarify the goals of this study(the importance of early algebra in the elementary school) through these discussions. Next we examine closely the number sense in the arithmetic and the symbol sense in the algebra. And we conclude that the operation sense can connect these senses within early algebra using the algebraic thinking. Finally, we compare the elementary mathematics books between Korean and American according to the components of the operation sense. In this comparative study, we identify a possibility of teaching algebraic thinking in the elementary mathematics and early algebra can be introduced to the elementary mathematics textbooks from aspects of the operation sense.

• 대한수학회논문집
• /
• 제22권3호
• /
• pp.331-351
• /
• 2007

Let k be an imaginary quadratic field, h the complex upper half plane, and let $\tau{\in}h{\cap}k$, $q=e^{{\pi}i\tau}$. We find a lot of algebraic properties derived from theta functions, and by using this we explore some new algebraic numbers from Rogers-Ramanujan continued fractions.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제25권2호
• /
• pp.473-495
• /
• 2011

중등학교 전반에 걸쳐 항등원, 역원, 교환법칙, 결합법칙, 분배법칙이 다루어지고 있다. 이는 대수적 구조의 조장으로 이들익 성립 여부에 따라 군, 환, 체로 결정되게 된다. 그런데 이을 대수적 구조의 조건들은 어떤 의미를 가지며, 이들 조건들이 만족됨에 따라 정해지는 대수적 구조는 어떤 의미를 가지는지 의외에 대한 지도는 이루어지고 있지 않다. 그로인해 학생들은 이들 조건을 대상 집합의 특성이라는 결과적 측면으로 받아들이고 있다. 본 연구에서는 수 체계와 다항방정식의 해법과의 연결성을 고려하여 이러한 조건들파 대수적 구조의 의의를 교수학적으로 조직화하기로 한다. 교수학적 조직화란 학습자의 자연스러운 사고활동을 위한 모델을 구성하는 것으로 역사적 발생과 함께 현대수학의 관점을 고려하여 수학적 개념이 필연성과 개연성을 가진 산물임을 경험시키도록 흐름을 구성하는 것이다. 이를 위해 본 연구에서는 다항방정식의 해법을 보장하기 위한 수학적 개념으로 대수적 구조를 파악하고, 수 체계의 의미를 지도하는 영재교육을 위한 프로그램을 개발하였다. 그리고 이를 교수실험 하여 그 효용성을 알아보았다.

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

A factorization is an extremely important part of multi-level logic synthesis. The number of literals in a factored from is a good estimate of the complexity of a logic function, and can be translated directly into the number of transistors required for implementation. Factored forms are described as either algebraic or Boolean, according to the trade-off between run-time and optimization. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to identify two-cube Boolean subexpression pairs from given expression. Experimental results on various benchmark circuits show the improvements in literal counts over the algebraic factorization based on Brayton's co-kernel cube matrix.

• 한국산업융합학회 논문집
• /
• 제3권1호
• /
• pp.17-27
• /
• 2000

A factorization is an extremely important part of multi-level logic synthesis. The number of literals in a factored form is a good estimate of the complexity of a logic function. and can be translated directly into the number of transistors required for implementation. Factored forms are described as either algebraic or Boolean, according to the trade-off between run-time and optimization. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to build an extended co-kernel cube matrix using co-kernel/kernel pairs and kernel/kernel pairs together. The extended co-kernel cube matrix makes it possible to yield a Boolean factored form. We also propose a heuristic method for covering of the extended co-kernel cube matrix. Experimental results on various benchmark circuits show the improvements in literal counts over the algebraic factorization based on Brayton's co-kernel cube matrix.

• 한국컴퓨터산업학회논문지
• /
• 제7권4호
• /
• pp.293-298
• /
• 2006

본 논문에서는 부울 분해식을 산출하기 위한 방법을 제시한다. SIS 1.2에서 사용되는 코커널 큐브 행렬은 코커널/커널들로부터 만들어지며, 이 행렬은 단지 대수 분해식만을 산출한다. 제안한 방법은 2개의 항에서 공통인수를 추출하고, 이들로부터 분해식 산출 행렬을 만들고 이로부터 부울 분해식을 산출하는 방법을 제안한다.

• 한국방사선학회논문지
• /
• 제17권1호
• /
• pp.141-148
• /
• 2023

CT에서 대수적재구성기법은 잡음에 강점을 가지는 재구성기법으로 알려져 있다. 대수적재구성기법에서 반복 횟수는 계산 시간을 결정하는 중요한 인자 중의 하나이다. 그러나 반복 횟수에 대한 기준이 연구되어 있지만 수백 번 이상의 반복을 수행하게 되어 현실적으로 사용하기에는 무리가 있었다. 본 연구에서는 반복 횟수를 결정할 수 있는 현실적인 방법을 제시하였다. 반복 횟수에 따라 단면 영상의 품질이 천천히 개선된다는 것을 이용하였다. 반복 횟수를 절대치 평균 오차의 차이 𝜖 < 0.001 로 선택하였다. 잡음이 없는 경우는 Shepp-Logan 두부 팬텀을 이용하였고 잡음이 있는 경우는 Geant4를 이용하여 다양한 입사광자에 대해 360, 720, 1,440개의 투영을 얻었다. 정지 조건에서 10회 내외의 반복으로 우수한 단면 영상을 획득하였다. 수 백회 이상을 반복하는 최적 영상기반의 방법에 비해 현실적으로 적용 가능성이 높은 방법이 될 수 있을 것이다.