• 한국CDE학회논문집
• /
• 제10권6호
• /
• pp.432-443
• /
• 2005

Recent three-dimensional feature-based CAD systems based on solid or non-manifold modelling functionality have been widely used for product design in manufacturing companies. When product models associated with features are used in various downstream applications such as analysis, however, simplified and abstracted models at various levels of detail (LODs) are frequently more desirable and useful than the full detailed model. To provide multi-resolution models, the features need to be rearranged according to a criterion that measures the significance of the feature. However, if the features are rearranged, the resulting shape is possibly different from the original because union and subtraction Boolean operations are not commutative. To solve this problem, in this paper, the new concept of the effective zone of a feature is defined and identified using Boolean algebra. By introducing the effective zone, an arbitrary rearrangement of features becomes possible and arbitrary LOD criteria may be selected to suit various applications. Besides, because the effective zone of a feature is independent of the data structure of the model, the multi-resolution modelling algorithm based on the effective zone can be implemented on any 3D CAD system based on conventional solid representations as well as non-manifold topological (NMT) representations.

• 대한수학회지
• /
• 제56권2호
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권3호
• /
• pp.239-259
• /
• 2011

본 연구는 초등학생들의 일반화된 산술로서의 대수적 추론 능력의 실태를 알아보고자, 연산의 성질 이해 과제로 구성된 검사 도구를 이용하여 2학년 648명, 4학년 688명, 6학년 751명의 반응을 분석하였다. 분석 결과, 상당수의 학생들이 문제 상황에 포함된 연산의 성질을 제대로 파악하지 못하였고, 연산의 성질을 적용하여 문제를 해결하는 데 많은 어려움을 겪는 것으로 드러났다. 연산의 성질별로는 교환법칙 과제에서는 저학년에서부터 높은 성공률을 보인 반면, 결합법칙과 분배법칙에서는 고학년에서도 매우 낮은 성공률을 보였다. 문제 상황별로는 특히, 결합법칙 및 분배법칙 과제의 경우 구체적인 수 상황에서의 성공률이 임의의 수 상황에서의 성공률에 비해 상대적으로 더 낮게 나타났다. 이러한 결과들을 토대로 본 논문은 초등학교에서의 대수 지도 방안에 대한 시사점을 제공하였다.

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

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