• 한국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.

• 한국통신학회논문지
• /
• 제37A권12호
• /
• pp.1031-1037
• /
• 2012

Tonelli-Shanks 알고리즘을 변형한 새로운 알고리즘을 통해 효율적으로 제곱근 및 세제곱근을 찾을 수 있는 방법을 연구하였다. 이 논문에서 소개하는 제곱근을 찾는 알고리즘은 Number Field Sieve에 응용할 수 있다. 큰 합성수를 인수분해하는데 가장 효율적인 알고리즘으로 알려진 Number Field Sieve (NFS)는 법 N에 대하여 공통근을 갖는 두 다항식 선택한 후에, sieving, linear algebra, square root 단계를 차례대로 거친다. NFS의 마지막 단계에서는 수체(Number Field)상에서 제곱근을 구하는 과정이 필요한데 이를 유한체(Finite Field)상으로 내려서 계산한 후 CRT(Chinese Remainder Theorem)을 이용하여 수체 상에서의 제곱근으로 복원하는 과정에서 제안된 알고리즘이 사용될 수 있다.

• 한국보육지원학회지
• /
• 제15권3호
• /
• pp.115-133
• /
• 2019

Objective: The purpose of the study was to develop a mathematics education program utilizing food to improve the mathematical abilities of 4-year-olds and to analyze the effects of this program on 4-years-olds' mathematical concepts (number and operation, algebra, geometry, measurement, data analysis, and probability). Methods: The study selected 30 4-year-olds from two daycare centers located in K city. The experimental group (N=15) participated in the mathematics education program utilizing food, 10 times for five weeks, while the comparative group (N=15) participated in the seasonal mathematics education program based on the Nuri Curriculum. The activities of this intervention program were designed to cover all domains of Mathematical Exploratory areas in the Nuri Curriculum. For data processing and analysis, pre-test and post-test score differences between the two groups were analyzed through MANCOVA. Results: The experimental group had significantly higher scores on five mathematical concepts compared with the control group. A mathematics education program utilizing food had the positive effect of improving 4-year-olds' mathematical ability. Conclusion/Implications: Mathematic education programs utilizing food are recommended as necessary pedagogical data to develop the mathematical abilities of children in education centers, families, or relating to parenting education.

• Structural Engineering and Mechanics
• /
• 제27권6호
• /
• pp.713-739
• /
• 2007

Nowadays computers can perform symbolic computations in addition to mere number crunching operations for which they were originally designed. Symbolic computation opens up exciting possibilities in Structural Mechanics and engineering. Classical areas have been increasingly neglected due to the advent of computers as well as general purpose finite element software. But now, classical analysis has reemerged as an attractive computer option due to the capabilities of symbolic computation. The repetitive cycles of simultaneous - equation sets required by the finite element technique can be eliminated by solving a single set in symbolic form, thus generating a truly closed-form solution. This consequently saves in data preparation, storage and execution time. The power of Symbolic computation is demonstrated by six examples by applying symbolic computation 1) to solve coupled shear wall 2) to generate beam element matrices 3) to find the natural frequency of a shear frame using transfer matrix method 4) to find the stresses of a plate subjected to in-plane loading using Levy's approach 5) to draw the influence surface for deflection of an isotropic plate simply supported on all sides 6) to get dynamic equilibrium equations from Lagrange equation. This paper also presents yet another computationally efficient and accurate numerical method which is based on the concept of derivative of a function expressed as a weighted linear sum of the function values at all the mesh points. Again this method is applied to solve the problems of 1) coupled shear wall 2) lateral buckling of thin-walled beams due to moment gradient 3) buckling of a column and 4) static and buckling analysis of circular plates of uniform or non-uniform thickness. The numerical results obtained are compared with those available in existing literature in order to verify their accuracy.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2008년도 학술발표회 논문집
• /
• pp.2270-2275
• /
• 2008

수문학적 하도추적법의 하나인 Muskingum 모형은 미 육군공병단(U.S. Army Corps of Engineers)에 의해서 미국 Ohio 주의 Muskingum 유역에 홍수조절계획으로 처음 사용되었으며 모형의 구조 및 입력자료의 단순성에 비하여 비교적 우수한 결과를 모의할 수 있는 것으로 알려져 있다. 1938년 McCarthy에 의해서 개발되었고 구간내 총저류량은 prism 저류와 wedge 저류로 구분하여 prism 저류는 유출량에 wedge 저류는 유입량과 유출량의 차에 직접 비례한다는 가정하에 추적식을 개발하였다. 이후 지속적인 연구가 이뤄져 1985년 O'Donnel은 측방유입량(lateral inflow)을 상류단의 유입량에 비례하는 형태로 3-매개변수 muskingum 모형을 제안하여 추적계수의 결정을 선형대수(linear algebra)에서 동차(homogeneous)연립방정식 해를 구하는 Cramer 법칙인 matrix 기법을 적용하였다. 본 연구에서는 홍수사상으로부터 측방유입량이 고려되고 추적계수 결정에 있어서 직접 계산이 가능한 O'Donnel(1985)이 제안한 3-매개변수 muskingum 모형을 적용하였다. 추적계수들의 결정은 직접 matrix 기법을 적용하였고 적용대상은 낙동강 유역의 낙동 지점을 상류단으로 구미 지점을 하류단으로 선정하였다. 홍수사상은 낙동강 유량측정 조사사업 2005년${\sim}$2007년 보고서에 수록된 수문자료를 선정하여 관측치와 계산치를 비교하였고 홍수사상에 적용하여 수문곡선을 추정하였으며, 각각의 매개변수가 추적구간에 어떠한 영향을 미치는지 변수간의 관계를 분석하였다. 또한, 관측치와 계산치의 적합도 검증은 평균제곱근오차(root mean squar error; RMSE)와 모형 효율성 계수(model efficiency; ME)를 산정하여 분석하였으며, 하도 구간내 저류량은 대상구간에 대한 유입량과 유출량의 가중합에 비례한다는 선형모형을 적용하였다.

• 대한수학교육학회지:학교수학
• /
• 제10권2호
• /
• pp.139-154
• /
• 2008

본 연구는 개정 교육과정 적용과 관련하여 초등학교 6학년 학생들의 문자에 대한 이해 실태를 조사한 것으로 검사 도구를 이용하여 292명의 학생들의 반응을 분석하였다. 분석 결과 초등학교 6학년 학생들은 상위 수준의 문자 사용 유형일수록 정답률이 낮았으며 전반적으로 낮은 수준의 문자 사용에 제한된 것으로 나타났다. 일부의 학생들만이 문자를 특정한 미지수로 여기거나 일반화된 수로 여길 수 있었다. 약 40%의 학생들이 문자 이해 수준 3에 머물러 있음을 확인할 수 있었는데, 문자 이해 수준별로 학생들이 겪는 어려움이 다양하게 나타났다. 이를 통해 대수 교수 학습 방향에 시사점을 도출하였다.

• 대한의용생체공학회:의공학회지
• /
• 제27권5호
• /
• pp.203-209
• /
• 2006

The aim of this study is to investigate the feasibility of ex vivo MR diffusion tensor imaging technique in order to observe the diffusion-contrast characteristics of human gastric tissues. On normal and pathologic gastric tissues, which have been fixed in a polycarbonate plastic tube filled with 10% formalin solution, laboratory made 3D diffusion tensor Turbo FLASH pulse sequence was used to obtain high resolution MR images with voxel size of $0.5{\times}0.5{\times}0.5mm^3\;using\;64{\times}32{\times}32mm^3$ field of view in conjunction with an acquisition matrix of $128{\times}64{\times}64$. Diffusion weighted- gradient pulses were employed with b values of 0 and $600s/mm^2$ in 6 orientations. The sequence was implemented on a clinical 3.0-T MRI scanner(Siemens, Erlangen, Germany) with a home-made quadrature-typed birdcage Tx/Rx rf coil for small specimen. Diffusion tensor values in each pixel were calculated using linear algebra and singular value decomposition(SVD) algorithm. Apparent diffusion coefficient(ADC) and fractional anisotropy(FA) map were also obtained from diffusion tensor data to compare pixel intensities between normal and abnormal gastric tissues. The processing software was developed by authors using Visual C++(Microsoft, WA, U.S.A.) and mathematical/statistical library of GNUwin32(Free Software Foundation). This study shows that 3D diffusion tensor Turbo FLASH sequence is useful to resolve fine micro-structures of gastric tissue and both ADC and FA values in normal gastric tissue are higher than those in abnormal tissue. Authors expect that this study also represents another possibility of gastric carcinoma detection by visualizing diffusion characteristics of proton spins in the gastric tissues.

• 한국초등수학교육학회지
• /
• 제19권3호
• /
• pp.251-266
• /
• 2015

'수학 수업을 더 들을수록 더 나은 수학 교사가 될 것이다.'라는 주장은 정당하게 들린다. 하지만 대학 수준의 수학, 예를 들어, 추상 대수나 해석학 같은 수학을 듣는 것이 어느 정도 초등 수학을 잘 가르치는데 영향을 미칠까 하는 데에는 의문이 생긴다는 주장이 일고 있다. 수학자가 초등 수학을 가르치도록 교육 받은 사람보다 나은 초등교사일 수 있는가? 이 논문은 대학 수준의 수학을 배우는 것과 학교 수준의 수학을 배우는 것이 예비 초등 교사들의 수학 교수를 위한 내용지식에 미치는 영향에 대하여 연구하였다. 이 연구에는 Teacher Education and Development Study in Mathematics에서 제공하는 데이터베이스를 다중회귀 분석방법을 사용하여 분석하였다. 초등 전 과목을 다 가르치도록 교육받은 예비 초등 교사들이 연구의 대상이며 교사교육을 이미 다 받은 시점에서 데이터가 수집되었다. 데이터 분석 결과는 예비 초등 교사들이 그들이 앞으로 가르치게 될 초등 수학을 다시 한 번 접해 볼 기회를 갖는 것이 수학 교수를 위한 내용 지식에 도움이 될 것이라는 것을 보여준다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제46권3호
• /
• pp.331-349
• /
• 2007

This study aims to improve the teaching and learning method on the conic sections. To do that the researcher analyzed the impact of dynamic geometry software on students' problem solving of the conic sections. Students often say, "I have solved this kind of problem and remember hearing the problem solving process of it before." But they often are not able to resolve the question. Previous studies suggest that one of the reasons can be students' tendency to approach the conic sections only using algebra or analytic geometry without the geometric principle. So the researcher conducted instructions based on the geometric and historico-genetic principle on the conic sections using dynamic geometry software. The instructions were intended to find out if the experimental, intuitional, mathematic problem solving is necessary for the deductive process of solving geometric problems. To achieve the purpose of this study, the researcher video taped the instruction process and converted it to digital using the computer. What students' had said and discussed with the teacher during the classes was checked and their behavior was analyzed. That analysis was based on Branford's perspective, which included three different stage of proof; experimental, intuitive, and mathematical. The researcher got the following conclusions from this study. Firstly, students preferred their own manipulation or reconstruction to deductive mathematical explanation or proving of the problem. And they showed tendency to consider it as the mathematical truth when the problem is dealt with by their own manipulation. Secondly, the manipulation environment of dynamic geometry software help students correct their mathematical misconception, which result from their cognitive obstacles, and get correct ones. Thirdly, by using dynamic geometry software the teacher could help reduce the 'zone of proximal development' of Vigotsky.

• Smart Structures and Systems
• /
• 제13권2호
• /
• pp.257-280
• /
• 2014

In this paper, a novel PARAllel FACtor (PARAFAC) decomposition based Blind Source Separation (BSS) algorithm is proposed for modal identification of structures equipped with tuned mass dampers. Tuned mass dampers (TMDs) are extremely effective vibration absorbers in tall flexible structures, but prone to get de-tuned due to accidental changes in structural properties, alteration in operating conditions, and incorrect design forecasts. Presence of closely spaced modes in structures coupled with TMDs renders output-only modal identification difficult. Over the last decade, second-order BSS algorithms have shown significant promise in the area of ambient modal identification. These methods employ joint diagonalization of covariance matrices of measurements to estimate the mixing matrix (mode shape coefficients) and sources (modal responses). Recently, PARAFAC BSS model has evolved as a powerful multi-linear algebra tool for decomposing an $n^{th}$ order tensor into a number of rank-1 tensors. This method is utilized in the context of modal identification in the present study. Covariance matrices of measurements at several lags are used to form a $3^{rd}$ order tensor and then PARAFAC decomposition is employed to obtain the desired number of components, comprising of modal responses and the mixing matrix. The strong uniqueness properties of PARAFAC models enable direct source separation with fine spectral resolution even in cases where the number of sensor observations is less compared to the number of target modes, i.e., the underdetermined case. This capability is exploited to separate closely spaced modes of the TMDs using partial measurements, and subsequently to estimate modal parameters. The proposed method is validated using extensive numerical studies comprising of multi-degree-of-freedom simulation models equipped with TMDs, as well as with an experimental set-up.