• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2000.05a
• /
• pp.460-464
• /
• 2000

As device dimensions are lastly scaled down, impact ionization(I.I.) events are very important to analyze hot carrier transport in high energy region, and the exact model of impact ionization is demanded on device simulation. We calculate full band model by empirical pseudopotential method and the impact ionization rate is derived from modified Keldysh formula. We calculate impact ionization coefficients by full band Monte Carlo simulator to investigate temperature-and field-dependent characteristics of impact ionization for GaAs. Resultly impact ionization coefficients are In good agreement with experimental values at 300k. We know energy is increasing along increasing the field. while energy is decreasing along increasing the temperature since the phonon scattering rates for omission mode are very high at high temperature. The logarithmic fitting function of impact ionization coefficients is described as a second orders function for temperature and field. The residuals of the logarithmic fitting function are mostly within 5%. We know, therefore, logarithm of impact ionization coefficients has quadratic dependence on temperature and field, and we can save time of calculating the temperature- and field-dependent impact ionization coefficients.

• 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로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.