• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 1999.05a
• /
• pp.399-402
• /
• 1999

In this paper, a new method for calculating capacitance in arbitrarily shape structure is Presented. This new approach based on divergence theorem of Gauss\`s law is acheive by Surface-Contacted Element(SCE) for Gaussian surface. To evaluate accurate capacitance value in nonuniform electric field. in two dimensional analysis the interpolation using the elements which contact one nod (PE: Point-Element) or two nod (FE: Face-Element) is employed. Because the elements contacted with surface are very small compared with total elements in analytic model, SCE method has shorter computing time to calculate capacitance. This proposed method is verified by comparing the simulated results with value obtained by analytic method.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 1996.04a
• /
• pp.62-69
• /
• 1996

In this study, an equivalent domain integral (EDI) method is presented to estimate the track-till integral parameter, J-value, for two dimensional cracked elastic bodies which may quantify the severity of the crack-tit) stress fields. The conventional J-integral method based on line integral has been converted to equivalent area or domain integrals by using the divergence theorem. It is noted that the EDI method is very attractive because all the quantities necessary for computation of the domain integrals are readily available in a finite element analysis. The details and its implementation are extened to both h-version finite element model with 8-node isoparametric element and p-version finite element model with high order hierarchic element using Legendre type shape fuctions. The variations with respect to the different path of domain integrals from the crack-tip front and the choice of 5-function have been tested by several examples.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.38 no.1
• /
• pp.22-28
• /
• 1989

This paper describes error estimate mothod for adaptive finite element analysis of two dimensional electrostatic and magnetostatic field problems. To estimate the local errors, divergence theorem is used for electrostatic field and Ampere's circuital law for magnetostatic field. To confirm the effectiveness of the proposed error estimators, adaptive finite element computations are performed using the proposed error estimators. The rates of convergence of global errors are comparable with those of existing adaptive finite element schemes which make use of field continuity conditions between element boundaries. This algorithm of error estimate can be easily implemented because of its simplicity. Especially, when the value of charge in electrostatic field and the value of current in magnetostatic field are to be figured out, this method is considerded to be preferable to other approaches.

• The KIPS Transactions:PartC
• /
• v.18C no.5
• /
• pp.331-338
• /
• 2011

The RFID system includes a section of wireless communication between the readers and the tags. Because of its vulnerability in terms of security, this part is always targeted by attackers and causes various security problems including the leakage of secret and the invasion of privacy. In response to these problems, various protocols have been proposed, but because many of them have been hardly implementable they have been limited to theoretical description and theorem proving without the accurate verification of their safety. Thus, this study tested whether the protocol proposed by Kenji et al. satisfies security requirements, and identified its vulnerabilities such as the exposure of IDs and messages. In addition, we proposed an improved RFID security protocol that reduced the number of public keys and random numbers. As one of its main characteristics, the proposed protocol was designed to avoid unnecessary calculations and to remove vulnerabilities in terms of security. In order to develop and verify a safe protocol, we tested the protocol using Casper and FDR(Failure Divergence Refinements) and confirmed that the proposed protocol is safe in terms of security. Furthermore, the academic contributions of this study are summarized as follows. First, this study tested the safety of a security protocol through model checking, going beyond theorem proving. Second, this study suggested a more effective method for protocol development through verification using FDR.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.22 no.5
• /
• pp.93-101
• /
• 1985

A two-dimensional numerical analysis progranl, called SOMOS ( simulation of MO5 transistors), has been developed for the simulation of MOSFET's with various channel lengths and bias conditions. The finite difference approximation of the fundamental equa-tions are formulated using Newton's method for Poisson's equation and the divergence theorem for the continuity equation. For the solution of the lincariBed equations, SOR (successive over relaxation) method and Gummel's algorithm have been employed, The total simulation time for oar operating point is varying between 30 sec. and 4 min. on VAX 11/780 depending on bias conditions, The nonuniform mesh was generated and refined automatically to account for various bias values and the potential distributions.

• Journal of Mechanical Science and Technology
• /
• v.20 no.12
• /
• pp.2218-2229
• /
• 2006

A conservative finite-volume numerical method for unstructured grids with the cell-centered method has been developed for computing flow and heat transfer by combining the attractive features of the existing pressure-based procedures with the advances made in unstructured grid techniques. This method uses an integral form of governing equations for arbitrary convex polyhedra. Care is taken in the discretization and solution procedure to avoid formulations that are cell-shape-specific. A collocated variable arrangement formulation is developed, i.e. all dependent variables such as pressure and velocity are stored at cell centers. For both convective and diffusive fluxes the forms superior to both accuracy and stability are particularly adopted and formulated through a systematic study on the existing approximation ones. Gradients required for the evaluation of diffusion fluxes and for second-order-accurate convective operators are computed by using a linear reconstruction based on the divergence theorem. Momentum interpolation is used to prevent the pressure checkerboarding and a segregated solution strategy is adopted to minimize the storage requirements with the pressure-velocity coupling by the SIMPLE algorithm. An algebraic solver using iterative preconditioned conjugate gradient method is used for the solution of linearized equations. The flow analysis code (PowerCFD) developed by the present method is evaluated for its application to several 2-D structured-mesh benchmark problems using a variety of unstructured quadrilateral and triangular meshes. The present flow analysis code by using unstructured grids with the cell-centered method clearly demonstrate the same accuracy and robustness as that for a typical structured mesh.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.21 no.2
• /
• pp.71-82
• /
• 1984

A programme, called BIPOLE, for the numerical analysis of twotimensional n-p-n bipolar transistors was developed. It has included the SRH and Auger recolnbination processes, the mobility dependence on the impurity density and the electric field, and the band-gap narrowing effect. The finite difference equations of the fundamental semiconductor equations are formulated using Newton's method for Poisson's equation and the divergence theorem for the hole and electron continuity equations without physical restrictions. The matrix of the linearized equations is sparse, symmetric M-matrix. For the solution of the linearized equations ICCG method and Gummel's algorithm have been employed. The programme BIPOLE has been applied to various kinds of the steady-state problems of n-p-n transistors. For the examples of applications the variations of common emitter current gain, emitter and diffusion capacitances, and input and output characteristics are calculated. Three-dimensional representations of some D.C. physical quantities such as potential and charge carrier distributions were displayed. This programme will be used for the nome,rical analysis of the distortion phenom ana of two-dimensional n-p-n transistors. The BIPOLE programme is available for everyone.

• Journal of Korea Water Resources Association
• /
• v.42 no.12
• /
• pp.1079-1089
• /
• 2009

The objective of this study is to develop the accurate, robust and high resolution two-dimensional numerical model that solves the computationally difficult hydraulic problems, including the wave front propagation over dry bed and abrupt change in bathymetry. The developed model in this study solves the conservative form of the two-dimensional shallow water equations using an unsplit finite volume scheme and HLLC approximate Riemann solvers to compute the interface fluxes. Bed-slope term is discretized by the divergence theorem in the framework of FVM for application of unsplit scheme. Accurate and stable SGM, in conjunction with the MUSCL which is second-order-accurate both in space and time, is adopted to balance with fluxes and source terms. The exact C-property is shown to be satisfied for balancing the fluxes and the source terms. Since the spurious oscillations in second-order schemes are inherent, an efficient slope limiting technique is used to supply TVD property. The accuracy, conservation property and application of developed model are verified by comparing numerical solution with analytical solution and experimental data through the simulations of one-dimensional dam break flow without bed slope, steady transcritical flow over a hump and two-dimensional dam break flow with a constriction.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.11 no.1
• /
• pp.45-53
• /
• 1991

The underground structure, which has infinite or semi-infinite boundary conditions, is subjected by body forces and in-situ stresses. It also has stress concentration, which causes material nonlinear behavior, in the vicinity of the excavated surface. In this paper, some methods which can be used to transform domain integrals into boundary integrals are reviewed in order to analyze the effect of the body forces and the in-situ stresses. First, the domain integral of the body force is transformed into boundary integral by using the Galerkin tensor and divergence theorem. Second, it is transformed by writing the domain integral in cylindrical coordinates and using direct integration. The domain integral of the in-situ stress is transformed into boundary integral applying the direct integral method in cylindrical coordinates. The methodology is verified by comparing the results from the boundary element analysis with those of the finite element analysis. Coupling the above boundary elements with finite elements, the nonlinear behavior that occurs locally in the vicinity of the excavation is analyzed and the results are verified. Thus, it is concluded that the domain integrals of body forces and in-situ stresses could be performed effectively by transforming them into the boundary integrals, and the nonlinear behavior can be reasonably analyzed by coupled nonlinear finite element and boundary element method. The result of this research is expected to he used for the analysis of the underground structures in the effective manner.