• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.34 no.3
• /
• pp.151-157
• /
• 2021

This paper is devoted to a convergence study of the nonlocal integral operator in peridynamics. The implicit formulation can be an efficient approach to obtain the static/quasi-static solution of crack propagation problems. Implicit methods require constly large-matrix operations. Therefore, convergence is important for improving computational efficiency. When the radial influence function is utilized in the nonlocal integral equation, the fractional Laplacian integral equation is obtained. It has been mathematically proved that the condition number of the system matrix is affected by the order of the radial influence function and nonlocal horizon size. We formulate the static crack problem with peridynamics and utilize Newton-Raphson methods with a preconditioned conjugate gradient scheme to solve this nonlinear stationary system. The convergence behavior and the computational time for solving the implicit algebraic system have been studied with respect to the order of the radial influence function and nonlocal horizon size.

• The Journal of the Acoustical Society of Korea
• /
• v.25 no.5
• /
• pp.229-238
• /
• 2006

This paper shows the analytic error caused by the inconsistency of the approximation order between the non local boundary condition (NLBC) and the parabolic governing equation. To obtain the analytic error, we first transform the NLBC to the half space domain using plane wave analysis. Then, the analytic error is derived on the boundary between the true numerical domain and the half space domain equivalent to the NLBC. The derived analytic error is physically expressed as the artificial reflection. We examine the characteristic of the analytic error for the grazing angle, the approximation order of the PE or the NLBC. Our main contribution is to present the analytic method of error estimation and the application limit for the high order parabolic equation and the NLBC.

• Journal of Educational Research in Mathematics
• /
• v.17 no.2
• /
• pp.163-177
• /
• 2007

Studies on mathematically gifted students have been conducted following Krutetskii. There still exists a necessity for a more detailed research on how these students' mathematical competence is actually displayed during the problem solving process. In this study, it was attempted to analyse the algebraic thinking process in the problem solving a peg puzzle in which 4 mathematically gifted students, who belong to the upper 0.01% group in their grade of elementary school in Korea. They solved and generalized the straight line peg puzzle. Mathematically gifted elementary school students had the tendency to find a general structure using generic examples rather than find inductive rules. They did not have difficulty in expressing their thoughts in letter expressions and in expressing their answers in written language; and though they could estimate general patterns while performing generalization of two factors, it was revealed that not all of them can solve the general formula of two factors. In addition, in the process of discovering a general pattern, it was confirmed that they prefer using diagrams to manipulating concrete objects or using tables. But as to whether or not they verify their generalization results using generalized concrete cases, individual difference was found. From this fact it was confirmed that repeated experiments, on the relationship between a child's generalization ability and his/her behavioral pattern that verifies his/her generalization result through application to a concrete case, are necessary.

• 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 Korea Water Resources Association
• /
• v.31 no.4
• /
• pp.363-373
• /
• 1998

In this study, random flow field in a nonstationary porous formation is characterized through cross covariances of the velocity with the log conductivity and the head. The hydraulic head and the velocity in saturated aquifers are found through stochastic analysis of a steady, two-dimensional flow field without recharge. Expression for these cross covariances are obtained in quasi-analytic forms all in terms of the parameters which characterize the nonstationary conductivity field and the average head gradient. The cross covariances with a Gaussian correlation function for the log conductivity are presented for two particular cases where the trend is either parallel or perpendicular to the mean head gradient and for separation distances along and across the mean flow direction. The results may be of particular importance in transport predictions and conditioning on field measurements when the log conductivity field is suspected to be nonstationary and also serve as a benchmark for testing nonstationary numerical codes. Keywords : cross covariance, nonstationary conductivity field, saturated aquifer, stochastic analysis.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.799-812
• /
• 2001

As XML become more popular for encoding data and exchanging format on the web, recent work on processing XML Document in DBMS has been performed. However, there is no formal data model for XML, and there is lack of research on XML algebra for processing complex XML query and even the mediators have many restrictions. Therefore, this paper proposes formal data model and algebra based on directed edge labeled graph for XML query. To implement algebra, not only algorithms of operation for algebra are presented, but also they are implemented using access method and path index based on RDBMS or ORDBMS. In particular, experiments to show the effectiveness of the implemented algebra are performed on XML documents on EST data which are semistructured data.

• The KIPS Transactions:PartA
• /
• v.14A no.6
• /
• pp.383-390
• /
• 2007

This paper describes the e-learning system for science and engineering mathematics using computer algebra system and Bayesian inference network. The best feature of this system is using one of the most recent mathematical dynamic web content authoring model which is called client independent dynamic web content authoring model and using the Bayesian inference network for diagnosing student's learning. The authoring module using computer algebra system provides teacher-user with easy way to make dynamic mathematical web contents. The diagnosis module using Bayesian inference network helps students know the weaker parts of their learning, in this way our system determines appropriate next learning sequences in order to provide supplementary learning feedback.

• Journal of Convergence for Information Technology
• /
• v.9 no.5
• /
• pp.7-13
• /
• 2019

Role-based access or attribute-based access control in cloud environment or big data environment need requires a suitable mathematical structure to represent a hierarchical model. This paper define the notion of multipliers and simple multipliers of lattice implication algebras that can implement a hierarchical model of role-based or attribute-based access control, and prove every multiplier is simple multiplier. Also we research the relationship between multipliers and homomorphisms of a lattice implication algebra L, and prove that the lattice [0, u] is isomorphic to a lattice $[u^{\prime},1]$ for each $u{\in}L$ and that L is isomorphic to $[u,1]{\times}[u^{\prime},1]$ as lattice implication algebras for each $u{\in}L$ satisfying $u{\vee}u^{\prime}=1$.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.451-453
• /
• 2000

메시지 순서도(Message Sequence Chart,MSC)는 ITU-T에서 국제적인 표준으로 제안되어 주로 전기 통신 교환 시스템과 같은 실시간 시스템을 위한 통신 행위에 대한 개괄적인 표현 방법으로서 널리 사용되어지고 있으며 요구 명세, 인터페이스 명세, 시뮬레이션 및 검정을 위해 사용되어지고 있다. MSC의 장점이라면 표현된 시스템의 행위를 직관적으로 이해할 수 있게 해주는 그래픽 표현을 제공하는 것이다. 의미론 입장에서 보면 MSC는 폴세스 대수 ACP의 변형인 PA$\varepsilon$에 의해 의미를 부여받고 있긴 하지만 이해하기가 난해한 것이 사실이다. 본 논문에서는 MSC의 동작적 의미를 분석하며 ACSR로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.

• The Journal of Information Technology and Database
• /
• v.4 no.1
• /
• pp.31-50
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로써 대수 연산자의 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.