• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.445-468
• /
• 2012

본 연구는 산술적 바탕 위에 있는 학생들이 형식적인 대수 추론으로 자연스럽게 이행하는 것을 돕고자, 초등학생들이 대수 문제를 접하였을 때 사용하는 대수 추론 전략을 조사하였다. 총 839명을 대상으로 초등학생의 대수 추론 방법을 조사한 결과, 초등학생들이 연립 일차방정식과 관련된 문장제의 해결에서 기존의 교과서에 제시된 방법 이외의 다양한 산술적 추론과 전형식적 대수 추론을 사용하는 것이 파악되었다. 또한, 대수 문제의 구조에 따라 학생들이 사용하는 추론 전략의 차이가 있음을 밝혔으며, 학생들의 대수 문제해결에서 나타나는 추론상의 오류의 원인을 분석하였다. 특히, 초등학생들이 사용하는'양적 추론'과 '비례적 추론'과 같은 전략들은 비형식적인 대입법, 이항법임을 밝혔다. 마지막으로, 이러한 전형식적 대수 추론들을 형식적 대수 추론으로 연결할 수 있는 가능성에 대하여 논의하였다.

• 대한기계학회논문집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.

• 정보보호학회논문지
• /
• 제16권1호
• /
• pp.65-70
• /
• 2006

Summation generator와 같이 메모리를 가지는 combiner 모델에 대해 대수적 공격이 적용 가능함은 잘 알려져 있다. [1.8] 메모리를 가지는 combiner 모델에 대하여 대수적 공격을 적용하기 위해서는 대수적 방정식 수립이 필요한데, 현재까지의 모든 결과는 2비트 이상의 연속적인 출력 키수열을 필요로 하였다 (1,4,8). 본 논문에서는 Summation generate에 대한 대수적 방정식을 1비트 키수열만으로 구성할 수 있음을 보인다. 또한 ISG 알고리즘 [9]에 대해서도 1비트 키수열만을 이용한 방정식 구성이 가능함을 보인다. 이를 이용하여, summation generator 및 ISG 여러 개를 하나의 부울함수로 결합한 형태의 키수열 발생기에 대해서도 대수적 공격이 가능함을 보인다.

• 설비공학논문집
• /
• 제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.

• 논리연구
• /
• 제17권1호
• /
• pp.181-196
• /
• 2014

이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제21권2호
• /
• pp.155-174
• /
• 2018

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 퍼지 논리를 위한 대수적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 퍼지 논리의 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제21권3호
• /
• pp.353-371
• /
• 2018

이 글에서 우리는 대수적 루트리-마이어형 의미론이라고 불릴 의미론을 연구한다. 이를 위하여 먼저 퍼지 논리 체계 MTL과 대수적 의미론을 소개한다. 다음으로 이 체계를 위한 대수적 루트리-마이어형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.

• Journal of applied mathematics & informatics
• /
• 제29권1_2호
• /
• pp.135-143
• /
• 2011

As a zero set of some multivariate splines, the piecewise algebraic variety is a kind of generalization of the classical algebraic variety. This paper presents an algorithm for isolating real roots of the zero-dimensional piecewise algebraic variety which is based on interval evaluation and the interval zeros of univariate interval polynomials in Bernstein form. An example is provided to show the proposed algorithm is effective.

• 충청수학회지
• /
• 제20권4호
• /
• pp.401-409
• /
• 2007

This paper is sequel to [3]. In this paper, we discuss some properties of an algebraic meet-continuous lattice and study a complete lattice which can be embedded into an algebraic meet-continuous lattice.

• 대한수학회지
• /
• 제31권4호
• /
• pp.569-608
• /
• 1994

The subject matter of this survey has to do with holomorphic maps from a compact Riemann surface to projective space, which are also called algebrac curves; the theory we survey lies at the crossroads of function theory, projective geometry, and commutative algebra (although we should mention that the present survey de-emphasizes the algebraic aspect). Algebraic curves have been vigorously and continuously investigated since the time of Riemann. The reasons for the preoccupation with algebraic curves amongst mathematicians perhaps have to do with-other than the usual usual reason, namely, the herd mentality prompting us to follow the leads of a few great pioneering methematicians in the field-the fact that algebraic curves possess a certain simple unity together with a rich and complex structure. From a differential-topological standpoint algebraic curves are quite simple as they are neatly parameterized by a single discrete invariant, the genus. Even the possible complex structures of a fixed genus curve afford a fairly complete description. Yet there are a multitude of diverse perspectives (algebraic, function theoretic, and geometric) often coalescing to yield a spectacular result.