• 대한수학회보
• /
• 제53권3호
• /
• pp.853-874
• /
• 2016

Based on a particular overlapping domain decomposition technique, a parallel finite element discretization algorithm for the generalized Stokes equations is proposed and investigated. In this algorithm, each processor computes a local approximate solution in its own subdomain by solving a global problem on a mesh that is fine around its own subdomain and coarse elsewhere, and hence avoids communication with other processors in the process of computations. This algorithm has low communication complexity. It only requires the application of an existing sequential solver on the global meshes associated with each subdomain, and hence can reuse existing sequential software. Numerical results are given to demonstrate the effectiveness of the parallel algorithm.

• 항공우주기술
• /
• 제8권1호
• /
• pp.82-97
• /
• 2009

본 연구에서는 가스발생기 사이클 엔진시스템의 제어특성을 검토하고, 제어기를 구성하기 위한 해석의 일환으로 공칭 작동점 부근에서의 선형해석을 위한 Simulink 수학적 모델을 구성하여, 엔진 스로틀링 과정에 대한 해석을 수행하였다. 스로틀 밸브의 특성이 엔진동특성에 미치는 영향을 검토하기 위하여 추력제어밸브와 가스발생기 혼합비 유지를 위한 압력균형기(pressure stabilizer)의 모델, 그리고 제어밸브 구동용 모터의 수학적 모델을 포함시켰다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.1179-1186
• /
• 2003

This study is described about development method and application of developed automatic design program. Automatic design program is the object-oriented program which based on mathematical algorithm. Automatic design program can do mathematic operation according to program contents. Also it can do modeling of shape. Shape modeling method is based on mathematical and geometrical algorithm. And created models can generate NC manufacturing program from CAM software. Also STL file format that is changed form created models can do RP manufacturing.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권2호
• /
• pp.297-306
• /
• 2005

In this paper, we propose a computer environment class for student's mental representations about non-Euclidean geometry. Through the software Cinderella, students construct knowledge about non-Euclidean geometry and recognize differentness between Euclidean and non-Euclidean geometry. Also they recognize an existence of non-Euclidean geometry newly and its mental representations with images represented in Cinderella. In geometry class, we make students can use many representations systematically and can figure a visual internal image by emphasizing a transform process. And then students can reason about non-Euclidean geometry.

• East Asian mathematical journal
• /
• 제29권3호
• /
• pp.279-292
• /
• 2013

It is well known that each kernel function defines a primal-dual interior-point method(IPM). Most of polynomial-time interior-point algorithms for linear optimization(LO) are based on the logarithmic kernel function([2, 11]). In this paper we define a new eligible kernel function and propose a new search direction and proximity function based on this function for LO problems. We show that the new algorithm has ${\mathcal{O}}((log\;p){\sqrt{n}}\;log\;n\;log\;{\frac{n}{\epsilon}})$ and ${\mathcal{O}}((q\;log\;p)^{\frac{3}{2}}{\sqrt{n}}\;log\;{\frac{n}{\epsilon}})$ iteration bound for large- and small-update methods, respectively. These are currently the best known complexity results.

• 대한수학회지
• /
• 제49권1호
• /
• pp.31-47
• /
• 2012

The so-called Ding-Chen ring is an n-FC ring which is both left and right coherent, and has both left and right self FP-injective dimensions at most n for some non-negative integer n. In this paper, we investigate the classes of the so-called Ding projective, Ding injective and Gorenstein at modules and show that some homological properties of modules over Gorenstein rings can be generalized to the modules over Ding-Chen rings. We first consider Gorenstein at and Ding injective dimensions of modules together with Ding injective precovers. We then discuss balance of functors Hom and tensor.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제11권1호
• /
• pp.65-74
• /
• 2007

The algorithmic idea has been a kind of necessary mathematics quality for modern people in this information society. In China the algorithm was represented fully as one of the new mathematics contents in the secondary level for the first time when The Standards of Mathematics Curriculum for the Senior High School was promulgated in 2003, so the research about the teaching algorithm undoubtedly has its practical implications for mathematics education. In this paper, with the conceptual framework of The Mathematics Task Framework as the research tool, an algorithmic teaching case based on LOGO software was introduced in detail, and data by ways of observations, interviews and worksheets were collected, then the case was analyzed. The results showed that the teaching of algorithm is feasible and effective in the LOGO environment. Some beneficial implications about the instructional design of algorithm were also discussed.

• 호남수학학술지
• /
• 제35권2호
• /
• pp.235-249
• /
• 2013

It is well known that each kernel function defines primal-dual interior-point method (IPM). Most of polynomial-time interior-point algorithms for linear optimization (LO) are based on the logarithmic kernel function ([9]). In this paper we define new eligible kernel function and propose a new search direction and proximity function based on this function for LO problems. We show that the new algorithm has $\mathcal{O}(({\log}\;p)^{\frac{5}{2}}\sqrt{n}{\log}\;n\;{\log}\frac{n}{\epsilon})$ and $\mathcal{O}(q^{\frac{3}{2}}({\log}\;p)^3\sqrt{n}{\log}\;\frac{n}{\epsilon})$ iteration complexity for large- and small-update methods, respectively. These are currently the best known complexity results for such methods.

• East Asian mathematical journal
• /
• 제28권4호
• /
• pp.453-474
• /
• 2012

The conic sections is an important topic in the current high school geometry. It has been recognized by many researchers that high school students often have difficulty or misconception in the learning of the conic sections because they are taught the conic sections only with algebraic perspective or analytic geometry perspective. In this research, we suggest a way of teaching the conic sections using a dynamic geometry software based on some mathematics teaching and learning theories such as Freudenthal's and Dienes'. Students have various experience of constructing and manipulating the conic sections for themselves and the experience of deriving the equations of the quadratic curves under the teacher's careful guidance. We identified this approach was a feasible way to improve the teaching and learning methods of the conic sections.

• 한국컴퓨터정보학회논문지
• /
• 제3권4호
• /
• pp.55-62
• /
• 1998

이 논문은 수치해석에서 적분값을 구하는데 이용되는 Romberg 적분법이 많은 계산량으로 인하여 소프트웨어적인 방법으로는 처리 속도가 떨어지므로 수치처리를 위한 툴 키트를 사용시 처리속도가 떨어진다. 그래서 이 논문에서는 시스토릭어레이를 이용하여 Romberg 적분법에 적분값을 구하는 새로운 하드웨어를 제안하였다. 이 새로운 하드웨어는Romberg 적분법이 2단계로 나누어져있어서 2단계의 시스토릭어레이로 설계를 하였다. 첫번째 단계는 사다리꼴 적분법에 의해서 근사치를 구하고, 두 번째는 단계는 구해진 적분값을수렴속도도 빠르고 근사 값을 정확하게 하기 위해서 오차의 위수를 높여 가는 방법에 많이사용하는 Richardson의 외삽법을 적용하여 적분값을 구하는 것이다.