• Coupled systems mechanics
• /
• v.3 no.1
• /
• pp.73-88
• /
• 2014

The paper deals with a model founded on the physical processes in concrete subject to high temperatures. The model is developed in the framework of continuum damage mechanics and the theory of porous media and is demonstrated on selected structures. The model comprises balance equations for heat transfer, mass transfer of water and vapour, for linear momentum and for reaction. The balance equations are completed by constitutive equations considering the special behaviour of concrete at high temperatures. Furthermore, the limitation and decline of admissible stresses is achieved by using a composed, temperature depending crack surface with a formulation for the damage evolution. Finally, the complete coupled model is applied to several structures and to different concrete in order to determine their influence on the high-temperature-behaviour.

• Journal of the Korea Society of Computer and Information
• /
• v.6 no.3
• /
• pp.72-77
• /
• 2001

The method of connection admission control is presented by using the equations related with traffic classes for real-time connection admission control. without assuming the cell arrival processes in the multi-level structure of ATM traffic control. The equations related with traffic classes are obtained by 3 or 4 of first order inequalities from the admissible ranges of connection considering the expected total instantaneous demand to guarantee the required quality of services of each class.

• Structural Engineering and Mechanics
• /
• v.69 no.3
• /
• pp.283-291
• /
• 2019

Accurately determining the natural frequencies and mode shapes of a structural floor is an essential step to assess the floor's human-induced vibration serviceability. In the theoretical analysis, the prestressed concrete floor can be idealized as a multi-span continuous anisotropic plate. This paper presents a new analytical approach to determine the natural frequencies and mode shapes of a multi-span continuous orthotropic plate. The suggested approach is based on the combined modal and perturbation method, which differs from other approaches as it decomposes the admissible functions defining the mode shapes by considering the intermodal coupling. The implementation of this technique is simple, requiring no tedious mathematical calculations. The perturbation solution is validated with the numerical results.

• Journal of the Korean Mathematical Society
• /
• v.56 no.1
• /
• pp.53-65
• /
• 2019

Recently, Chung and Lee [2] introduced the notion of topological stability for a finitely generated group action, and proved a group action version of the Walters's stability theorem. In this paper, we introduce the concepts of continuous shadowing and continuous inverse shadowing of a finitely generated group action on a compact metric space X with respect to various classes of admissible pseudo orbits and study the relationships between topological stability and continuous shadowing and continuous inverse shadowing property of group actions. Moreover, we introduce the notion of structural stability for a finitely generated group action, and we prove that an expansive action on a compact manifold is structurally stable if and only if it is continuous inverse shadowing.

• Journal of the Korean Mathematical Society
• /
• v.56 no.3
• /
• pp.805-823
• /
• 2019

We introduce polynomial PH-MPH transitive mappings which transform planar PH curves to MPH curves in ${\mathbb{R}}^{2,1}$, and prove that parameterizations of Enneper surfaces of the 1st and the 2nd kind and conjugates of Enneper surfaces of the 2nd kind are PH-MPH transitive. We show how to solve $C^1$ Hermite interpolation problems in ${\mathbb{R}}^{2,1}$, for an admissible $C^1$ Hermite data-set, by using the parametrization of Enneper surfaces of the 1st kind. We also show that we can obtain interpolants for at least some inadmissible data-sets by using MPH biarcs on Enneper surfaces of the 1st kind.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.486-489
• /
• 2010

전술적 경로찾기에서는 거리나 시간 요소 외에 여러 가지 전술적 요소를 포함한 비용 함수를 사용하여 경로를 탐색한다. 경로찾기에서 가장 많이 이용되는 A* 알고리즘의 경우, 현재 노드에서 목표까지의 추정값을 의미하는 휴리스틱 함수를 이용하는데 대표적인 허용가능 휴리스틱(admissible heuristic)인 유클리디안 거리(Euclidean distance)를 전술적 경로찾기에서 이용하는 경우, 탐색 성능이 저하되는 단점이 있다. 이는 거리이외에 전술적 요소까지 더해진 실제 비용에 비해 직선 거리만을 고려한 휴리스틱 값이 현저하게 작은데 기인한다. 그러므로 본 논문에서는 A*를 이용하는 경로찾기에서 탐색의 성능을 향상시킬 수 있는 두 가지 휴리스틱을 제안하고 이들의 허용성을 분석하고 방문 노드수 비교를 통해 탐색 성능을 비교한다.

• Journal of the Korean Society for Precision Engineering
• /
• v.10 no.2
• /
• pp.40-47
• /
• 1993

To diversify the area of application of UBET to the analysis of ring rolling which produces rings having more complex cross-sectional configuration, an element of triangular cross-section has been introduced and the corresponding kinematically admissible velocity field has been derived while considering the material flow between neighboring elements. The theoretical perdictions in roll torque and profile formation show good agreement with the experiments. The effect of process parameters such as feed rate and taper angle of the roll groove has been discussed.

• Journal of the Korean Society for Precision Engineering
• /
• v.12 no.11
• /
• pp.91-97
• /
• 1995

In this study, a deformation model for the regular polygonal-shaped tubes from hollow-cylindrical billets is proposed and a kinematically admissible velocity field is obtained from this deformation model. The final stage upper-bound extrusion load and the average extruded length are determined by minimizing the total power consumption with respect to chosen parameters. Experiments have been carried out with hard solder billets at room temperature. The theoretical predictions of the extrusion load are in good agreements with the experimental results and there is generally reasonable agreement in average extruded height between theory and experiment.

• Journal of Information Science Theory and Practice
• /
• v.11 no.4
• /
• pp.14-39
• /
• 2023

Cybercrime is a significant threat to Internet users, involving crimes committed using computers or computer networks. The landscape of cyberspace presents a complex terrain, making the task of tracing the origins of sensitive data a formidable and often elusive endeavor. However, tracing the source of sensitive data in online cyberspace is critically challenging, and detecting cyber-criminals on the other hand remains a time-consuming process, especially in social networks. Cyber-criminals target individuals for financial gain or to cause harm to their assets, resulting in the loss or theft of millions of user data over the past few decades. Forensic professionals play a vital role in conducting successful investigations and acquiring legally acceptable evidence admissible in court proceedings using modern techniques. This study aims to provide an overview of forensic investigation methods for extracting digital evidence from computer systems and mobile devices to combat persistent cybercrime. It also discusses current cybercrime issues and mitigation procedures.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.263-271
• /
• 2024

A vertex coloring of a graph G is called injective if any two vertices with a common neighbor receive distinct colors. A graph G is injectively k-choosable if any list L of admissible colors on V (G) of size k allows an injective coloring 𝜑 such that 𝜑(v) ∈ L(v) whenever v ∈ V (G). The least k for which G is injectively k-choosable is denoted by χ^l_i(G). For a planar graph G, Bu et al. proved that χ^l_i(G) ≤ ∆ + 6 if girth g ≥ 5 and maximum degree ∆(G) ≥ 8. In this paper, we improve this result by showing that χ^l_i(G) ≤ ∆ + 6 for g ≥ 5 and arbitrary ∆(G).