• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.26 no.2
• /
• pp.181-186
• /
• 2022

Poisson-Boltzmann equation (PBE) is used to model problems arising from various disciplinary including bio-pysics and colloid chemistry. Therefore, to predict a numerical solution of PBE is an important issue. The authors proposed deep learning based methods to solve PBE while the computational time to generate finite element method (FEM) solutions were bottlenecks of the algorithms. In this work, we shorten the generation time of FEM solutions in two directions. First, we experimentally find certain penalty parameter in a bilinear form. Second, we applied algebraic multigrids methods to the algebraic system so that condition number is bounded regardless of the meshsize. In conclusion, we have reduced computation times to solve algebraic systems for PBE. We expect that algebraic multigrids methods can be further employed in various disciplinary to generate deep learning samples.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.37 no.9
• /
• pp.1069-1075
• /
• 2013

An effective method is necessary for the real-time analysis of an unmanned military robot. To achieve highly efficient simulations, a subsystem synthesis method has been developed. The subsystem synthesis method separately generates equations of motion for the base body and for the subsystem. The equations of motion are expressed by DAE, which consist of differential equations and algebraic equations. To increase the accuracy and efficiency of solutions, DAE solvers such as the Direct, CS (Constraint Stabilization), and GCP (Generalized Coordinate Partitioning) method are employed. In this study, the subsystem synthesis method is applied for effective multi-body dynamics analysis of an unmanned military robot, and a comparative study of three different DAE solvers is carried out.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.9 no.5
• /
• pp.139-145
• /
• 2009

An analytical solution of groundwater flow is applied to design soil vacuum extraction for removing volatile organic compounds from the unsaturation zone. The governing equation of gas or vapor flow in porous media is nonlinear in that gas density depends on gas pressure. A linear equation suggested by researcher is similar to that of groundwater flow. The pressure drawdowns of confined and leaky aqufiers are calculated using Massmann's field data, and the pressure drawdowns are compared. A solution of Theis equation calculated by Massmann is modified using GASSOLVE9 program in this paper. The pressure drawdown using Hantush's analytical solution for leaky aquifer also compared to that of Massmann. Hantush's analytical solution gives good approximations to pressure drawdown.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.16 no.1
• /
• pp.65-70
• /
• 2006

It is hewn that we can apply algebraic attacks on combiners with memory such as summation generators. [1,8] To apply algebraic attacks on combiners with memory, we need to construct algebraic relations between the keystream bits and the initial bits of the LFSRs. Until now, all known methods produce algebraic relations involving several consecutive bits of keystream. [l.4.8] In this paper, we show that algebraic relations involving only one keystream bit can be constructed for summation generators. We also show that there is an algebraic relation involving only one keystream bit for ISG (9) proposed by Lee and Moon. Using this fact, we analyze the keystream generators which generate the keystreams by combining summation generators.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2002.04a
• /
• pp.342-346
• /
• 2002

불포화 층상 해안 대수층 내에서의 밀도 의존적 지하수 유동 및 염분 이동에 대한 연구를 위해 하나의 지하수 유동-용질 이동 연동 수치 모델이 제시되었다. 이 수치 모델은 밀도 의존적 지하수 유동 지배 방정식, 염분 이동 지배 방정식 및 농도와 밀도의 관계식, 그리고 유한 요소법에 기초하여 개발되었다. 서로 다른 두가지 성질의 불포화 대수층이 고려되었다. 하나는 사질토층 위에 점토층이 존재하는 층상 대수층이고, 다른 하나는 사질토층과 점토층이 혼합된 두가지 물질로 구성된 균질화된 대수층이다. 수치모델의 결과는 층상 불균질성 (layered heterogeneity)가 해안 대수층 내에서의 밀도의존적 지하수 유동과 염분 이동에 있어서 매우 중요한 역할을 하고 있음을 보여준다. 그러한 층상 불균질성의 효과는 사질토층과 점토층과의 현저한 수리학적 및 수리역학적 성질의 차이에 기인한다 따라서 실제 해안 대수층 내에서 관찰되는 점토층을 적절히 고려하는 것이 보다 합리적고 타당한 해안 대수층내에서의 밀도 의존적 지하수 유동 및 염분 이동 해석을 가능하게 할 것이다.

• Journal for History of Mathematics
• /
• v.25 no.1
• /
• pp.15-27
• /
• 2012

Thomas Harriot(1560-1621) introduced a simplified notation for algebra. His fundamental research on the theory of equations was far ahead of that time. He invented certain symbols which are used today. Harriot treated all answers to solve equations equally whether positive or negative, real or imaginary. He did outstanding work on the solution of equations, recognizing negative roots and complex roots in a way that makes his solutions look like a present day solution. Since he published no mathematical work in his lifetime, his achievements were not recognized in mathematical history and mathematics education. In this paper, by comparing his works with Viete and Descartes those are mathematicians in the same age, I show his achievements in mathematics.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2003.10a
• /
• pp.240-240
• /
• 2003

V-노치 균열에서 열하중이 작용하는 경우는 비제차형 경계조건의 문제가 되고, 이 조건에 대한 방정식의 일반해를 구하기 위해서 재차형 연립방정식에 대한 일반해(Homogeneous solution)와 비제차형 연립방정식에 대한 특수해(Particular solution)의 두 가지 해를 구할 수 있다. 이들 해는 V-노치 균열에 대한 고유치가 되고 이 고유치가 중복근을 가지게 되는 경우에는 로그항(1n[r])이 나타나게 되고 이 항에 의해서 응력을 무한대로 발산시키므로 이를 대수응력특이성이라 한다. 열하중이 작용할 때 대수응력특이성을 나타내는 로그항의 계수가 영(0)이 되어 대수응력특이성이 사라지게 되므로 V-노치 선단에서의 응력특이성은 고유치와 그에 대한 고유벡터에 의해 결정된다. 본 논문에서는 비정상상태 열하중이 가해지는 등방성 이종재료 내의 V-노치 균열문제에서 패기 각도와 이종재료의 기계적 성질에 의해 결정되는 응력특이성지수를 구하고 이에 대한 응력강도계수를 유한요소해석 프로그램인 ANSYS와 상반일 경로 적분법(RWCIM)을 이용하여 구하였다.

• Education of Primary School Mathematics
• /
• v.14 no.3
• /
• pp.261-275
• /
• 2011

We observed the process for solving linear equations of two 5th grade elementary students, who do not have any pre-knowledge about solving linear equation. The way of students' usage of fractional schemes and manipulations are closely observed. The change of their scheme adaptation are carefully analyzed while the coefficients and constants become complicated. The results showed that they used various fractional scheme and manipulations according to the coefficients and constants. Noticeably, they used repeating fractional schemes to establish the equivalence relation between unknowns and the given quantities. After establishing the relationship, equivalent fractions played important role. We expect the results of this study would help shorten the gap between the arithmetic and the algebraic thinking.

• School Mathematics
• /
• v.12 no.3
• /
• pp.323-335
• /
• 2010

Linear algebra is not only applied comprehensively in the branches of mathematics such as algebra, analytics, and geometry but also utilized for finding solutions in various fields such as aeronautical engineering, electronics, biology, geology, mechanics and etc. Therefore, linear algebra should be easy and comfortable for not only mathematics majors but also for general students as well. However, most find it difficult to learn linear algebra. Why is it so? It is because many studying linear algebra fail to achieve a correct understanding or attain erroneous concepts through misleading knowledge they already have. Such cases cause learning disability and mistakes. This research suggests more effective method of teaching by analyzing difficulty and errors made in learning system of linear equations.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.1
• /
• pp.29-40
• /
• 2005

In this paper we consider the security of recently proposed software-orienred stram cipher HELIX, SCREAM, MUGI, and PANAMA against algebraic attacks. Algebraic attack is a key recovery attack by solving an over-defined system of multi-variate equations with input-output pairs of an algorithm. The attack was firstly applied to block ciphers with some algebraic properties and then it has been mon usefully applied to stream ciphers. However it is difficult to obtain over-defined algebraic equations for a given cryptosystem in general. Here we analyze recently proposed software-oriented stream ciphers by constructing a system of equations for each cipher. furthermore we propose three design considerations of software-oriented stream ciphers.