• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.549-570
• /
• 2022

In this paper, we study the Birkhoff's ergodic theorem on geodesic metric spaces, especially on Hadamard spaces, using the notion of weighted inductive means. Also, we study a deterministic weighted sequence for the weighted Birkhoff's ergodic theorem in Hadamard spaces.

• Korean Journal of Mathematics
• /
• v.30 no.1
• /
• pp.175-185
• /
• 2022

The purpose of this paper is to study invariant submanifolds of a Lorentzian para Kenmotsu manifold. We obtain the necessary and sufficient conditions for an invariant submanifold of a Lorentzian para Kenmotsu manifold to be totally geodesic. Finally, a non-trivial example is built in order to verify our main results.

• Korean Journal of Mathematics
• /
• v.30 no.2
• /
• pp.315-333
• /
• 2022

We give a general procedure to analyze the structure for certain ℂ-Fuchsian subgroups of some non-arithmetic lattices. We also show their presentations and describe their fundamental domains which lie in a complex geodesic, a set homeomorphic to the unit disk.

• Communications of the Korean Mathematical Society
• /
• v.38 no.4
• /
• pp.1261-1269
• /
• 2023

For a fixed parametrization of a curve in an orientable two-dimensional Riemannian manifold, we introduce and investigate a new frame and curvature function. Due to the way of defining this new frame as being the time-dependent rotation in the tangent plane of the standard Frenet frame, both these new tools are called flow.

• Composites Research
• /
• v.13 no.2
• /
• pp.51-60
• /
• 2000

Filament wound pressure vessels have been studied for the efficient design tool to consider the variation of fiber angles through-the thickness direction. Filament winding patterns were simulated from semi-geodesic fiber path equation to calculate fiber path on arbitrary surface. Finite element analyses were performed considering fiber angle variation in longitudinal and thickness directions by ABAQUS. For the finite element modeling of the pressure tank, the 3-dimensional layered solid element was utilized. From the stress results of pressure tanks, maximum stress criterion in transverse direction was applied to modify material properties for failed region. In the end of each load increment, resultant layer stresses were compared with a failure criterion and properties were reduced to 1/10 for a failed layer. Results of progressive failure analysis were compared with two experimental data.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.307-311
• /
• 2011

This paper is concerned with anisogrid composite lattice structures whose load bearing shell is formed by systems of geodesic unidirectional composite ribs made by automatic wet winding process. Lattice structures are usually made in the form of conical shell and consist of systems of helical and hoop ribs fabricated by continuous filament winding from carbon and epoxy composites. Design variables of the structure which are the angle of helical ribs and ribs spacings are determined by cone geometry and geodesic line. and Fabrication methods for the conical composite lattice structure are presented.

• Proceedings of the KSRS Conference
• /
• v.2
• /
• pp.610-614
• /
• 2006

In this paper the advanced method of geodesic active contours was developed for the task of building detection from aerial and satellite images. Automatic extraction of man-made structures including buildings, building blocks or roads from remote sensing data is useful for land use mapping, scene understanding, robotic navigation, image retrieval, surveillance, emergency management procedures, cadastral etc. A level set method based on a region-driven segmentation model was implemented with which building boundaries were detected, through this curve propagation technique. The essence of this approach is to optimize the position and the geometric form of the curve by measuring information along that curve, and within the regions that compose the image partition. To this end, one can consider uniform intensities inside objects and the background. Thus, given an initial position of the curve, one can determine global, region-driven functions and provide a statistical description of the inside and outside object area. The calculus of variations and a gradient descent method was used to optimize the variational functional by an iterative steady state process. Experimental results demonstrate the potential of the proposed processing scheme.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.42 no.1
• /
• pp.79-87
• /
• 2005

This paper presents an active contour model for extracting accurate facial regions in complex environments. In the model, a contour is represented by a zero level set of level function φ, and evolved via level set partial differential equations. Then, unlike general active contours, skin color information that is represented by 2D Gaussian model is used for evolving and slopping a curve, which allows the proposed method to be robust to noise and varying pose. To assess the effectiveness of the proposed method it was tested with several natural scenes, and the results were compared with those of geodesic active contours. Experimental results demonstrate the superior performance of the proposed method.

• Journal of Korean Association for Spatial Structures
• /
• v.6 no.1 s.19
• /
• pp.117-127
• /
• 2006

Membrane structures, a kind of lightweight soft structural system, are used for spatial structures. The design procedure of membrane structures are needed to do shape finding, stress-deformation analysis and cutting pattern generation, because the material property has strong axial stiffness, but little bending stiffness. The problem of cooing pattern is highly varied in their size, curvature and material stiffness. So, the approximation inherent in cutting pattern generation methods is quite different. Therefore the ordinary computer software of structural analysis & design is not suitable for membrane structures. In this study, we develop the program for cooing pattern generation using geodesic line, and investigate the result of example's cooing pattern in detail.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.29 no.4
• /
• pp.329-341
• /
• 2011

The object of this paper is to compare the accuracy and the characteristic of various methods of solving the geodetic inverse problem for the geodesic lines which be in the standard case and special cases(antipodal, near antipodal, equatorial, and near equatorial situation) on the WGS84 reference ellipsoid. For this, the various algorithms (classical and recent solutions) to deal with the geodetic inverse problem are examined, and are programmed in order to evaluate the calculation ability of each method for the precise geodesic determination. The main factors of geodetic inverse problem, the distance and the forward azimuths between two points on the sphere(or ellipsoid) are determined by the 18 kinds of methods for the geodetic inverse solutions. After then, the results from the 17 kinds of methods in the both standard and special cases are compared with those from the Karney method as a reference. When judging these comparison, in case of the standard geodesics whose length do not exceed 100km, all of the methods show the almost same ability to Karney method. Whereas to the geodesics is longer than 4,000km, only two methods (Vincenty and Pittman) show the similar ability to the Karney method. In the cases of special geodesics, all methods except the Modified Vincenty method was not proper to solve the geodetic inverse problem through the comparison with Karney method. Therefore, it is needed to modify and compensate the algorithm of each methods by examining the various behaviors of geodesics on the special regions.