• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.4
• /
• pp.43-52
• /
• 1996

This paper describes interactive computer procedures for design the forming sequences in cold forging. This system is implemented on the personal computer and its environment is a commercial AutoCAD system. The programming language. AutoLISP, was used for the configuration of the system. Since the process of metal forming can be considered as a transformation of geometry, treatment of the geometry of the part is a key in process planning. To recognize the part section geometry, the section entity representation, the section coordinate-redius representation and the section primitive geometru were adopted. This system includes six major modules such as input module, forging design module, forming sequence design module, die design module, FEM verification module and output module which are used independently or in all. The sequence drawing wigh all dimensions, which includes the dimensional tolerances and the proper sequence of operations, can generate under the environment of AutoCAD. The acceptable forming sequences can be verified further, using the FE simulation.

• Journal of applied mathematics & informatics
• /
• v.7 no.3
• /
• pp.801-812
• /
• 2000

Two-dimensional slow viscous flow on infinite half-plane past a perpendicular infinite cavity is considered on the basis of the Stokes approximation. Using complex representation of the two-dimensional Stokes flow, the problem is reduced to solving a set of Fredholm integral equations of the second kind. The streamlines and the pressure and vorticity distribution on the wall are numerically determined.

• Honam Mathematical Journal
• /
• v.19 no.1
• /
• pp.21-27
• /
• 1997

We shall define three kinds of points for algebraic varieties associated to the center 3 of U(L) which is the universal enveloping algebra of a finite-dimensional modular Lie algebra over an algebraically closed field F of prime characteristic p. We announce here that $sp_4$(F) with p = 2 has a subregular point.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.75-95
• /
• 1999

Dimensions of irreducible $so_5(F)$-modules over an algebraically closed field F of characteristics p > 2 shall be obtained. It turns out that they should be coincident with $p^{m}$, where 2m is the dimension of coadjoint orbits of ${\chi}{\in}so_5(F)^*{\backslash}0$ as Premet asserted. But there is no subregular point for $g=sp_4(F)=so_5(F)$ over F.

• Honam Mathematical Journal
• /
• v.20 no.1
• /
• pp.31-43
• /
• 1998

Exact definitions of four kinds of points shall be defined associated to Lie algebras L over an algebraically closed field F of prime characteristic p > 0. Next, rough bound of dimensions for L-irreducible modules associated to subregular points shall be established by taking advantage of Premet's result.

• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.123-129
• /
• 2023

For an ordered set W = {w₁, w₂, . . . , w_k} of vertices and a vertex v in a connected graph G, the k-vector r(v|W) = (d(v, w₁), d(v, w₂), . . . , d(v, w_k)) is called the metric representation of v with respect to W, where d(x, y) is the distance between the vertices x and y. A set W is called a resolving set for G if distinct vertices of G have distinct metric representations with respect to W. The minimum cardinality of a resolving set for G is its metric dimension dim(G), and a resolving set of minimum cardinality is a basis of G. The corona product, G ⊙ H of graphs G and H is obtained by taking one copy of G and n(G) copies of H, and by joining each vertex of the ith copy of H to the ith vertex of G. In this paper, we obtain bounds for dim(G ⊙ K₁), characterize all graphs G with dim(G ⊙ K₁) = dim(G), and prove that dim(G ⊙ K₁) = n - 1 if and only if G is the complete graph K_n or the star graph K_1,n-1.

• Proceedings of the KIEE Conference
• /
• 2000.11a
• /
• pp.89-91
• /
• 2000

This paper presents a new method for representing SSR(Subsynchronous Resonanace) Phenomena using 3-D computer graphics animation. A virtual power system simulation environment was made for simulation and visualization of SSR phenomena. It is anticipated that the proposed method would be helpful for the operator training as well as power system education.

• Wind and Structures
• /
• v.38 no.1
• /
• pp.1-13
• /
• 2024

In order to effectively simulate nonstationary stochastic turbulent wind fields, four separation hybrid (SEP-H) models are proposed in the present study. Based on the assumption that the lateral turbulence component at one single-point is uncorrelated with the longitudinal and vertical turbulence components, the fluctuating wind is separated into 2nV-1D and nV1D nonstationary stochastic vector processes. The first process can be expressed as double proper orthogonal decomposition (DPOD) or proper orthogonal decomposition and spectral representation method (POD-SRM), and the second process can be expressed as POD or SRM. On this basis, four SEP-H models of nonstationary stochastic turbulent wind fields are developed. In addition, the orthogonal random variables in the SEP-H models are presented as random orthogonal functions of elementary random variables. Meanwhile, the number theoretical method (NTM) is conveniently adopted to select representative points set of the elementary random variables. The POD-FFT (Fast Fourier transform) technique is introduced in frequency to give full play to the computational efficiency of the SEP-H models. Finally, taking a long-span bridge as the engineering background, the SEP-H models are compared with the dimension-reduction DPOD (DR-DPOD) model to verify the effectiveness and superiority of the proposed models.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.850-852
• /
• 1996

High impedance fault (HIF) is defined as fault that general overcurrent relay can't detect or interrupt, Especially when HIF occur under 15 kV, energized high voltage conductor results in fire hazard, equipment damage or personal threat. Because most HIF occur arc, HIF detection using arc is to increase. Numerical arc model can be applied in an electromagnetic transients program (EMTP) to reproduce the dynamic and random characteristic of arcs for any insulator arrangement, current and system voltage. It allows the representation of any network configuration to be investigated, so the digital simulation of arc faults through air can be substitute for demanding power arc test.

• Korean Journal of Computational Design and Engineering
• /
• v.10 no.3
• /
• pp.179-187
• /
• 2005

The usage of mixed 2D and 3D CAD data of commercial CAD systems is required in the construction practice. Sometimes 3D wireframe model is required by end-users when 2D CAD data is delivered. However, current KOSDIC can not represent 3D CAD data, because it has been developed as a 2D drawing delivery standard. Therefore, this study is to provide exchange and sharing of mixed 2D and 3D CAD data that add 3D wireframe model in the KOSDIC. To achieve this purpose, the authors have investigated the 3D CAD entities of commercial CAD systems, and have analyzed STEP standards providing 3D wireframe model. The result, the authors have extracted 3D CAD common entities based wireframe model which shall be added in the KOSDIC. This study can be beneficial by using the developed data model for heterogeneous CAD systems, and by providing the representation of mixed 2D and 3D CAD data in construction practice such as GIS, piping system, and so forth.