• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.01a
• /
• pp.249-252
• /
• 2022

세계 태권도 연맹은 국제 축구 연맹의 가입국과 동일한 수의 가입국을 보유할 만큼 태권도는 점점 더 세계적으로 나아가고 있다. 하지만 태권도의 교육방법은 예전과 다르지 않다. 도장의 관장이나 사범이 직접 자세를 눈으로 보고 판단하여 지도해야 한다. 본 연구는 기술이 발전하고 변화함에 따라 태권도를 조금 더 다양하고 흥미롭게 배울 수 있는 방법을 개발하고자 진행하였다. 본 논문에서는 피사체 모델을 촬영하여 이미지를 추출하고 이미지에서 사람의 관절 KeyPoint를 라벨링 한 후 이를 바탕으로 COCO 형식의 DataSet을 만들어낸다. 이후 이 DataSet을 기계에 학습을 시킨다면 초심자를 위한 교육용 태권도 AI가 만들어질 수 있다. 또한, 기계학습 이후 이 AI를 실제 교육현장에 적용하여 교육과정에 직접 사용할 수 있으며 이 AI를 바탕으로 교육용 게임 개발 등 다양한 방면으로 활용할 수 있을 것이라고 기대한다.

• Korean Journal of Veterinary Service
• /
• v.24 no.2
• /
• pp.117-126
• /
• 2001

To ensure the safety of domestic livestock products, the government made it obligatory to enforce the hazard analysis critical control point(HACCP) in all domestic slaughterhouses. Under the HACCP, most of the hazards generated in slaughterhouses are bio-hazards, especially pathogenic bacteria. In order to reduce to the pathogenic bacteria, critical control point (CCP) is established and controled in the process of slaughter. A study was carried out to measure the level of bacterial contamination of swine carcass in 6 slaughterhouses selected. As a result, the aerobic plate counts(cfu/$\textrm{cm}^2$) of all samples was $10^2$-10 in average, except slaughterhouse C. The level of the aerobic plate counts on the surface of lower loin in slaughterhouse C was $10^4$ and it was considered that slaughterhouse C should set the process of manual transport of carcass as the CCP. Escherichia coli level was the highest in middle line cut surface. Especially, E coli level of slaughterhouses C and D were about 6.5- and 3.0-fold higher than that of other 4 slaughterhouses. Thus, it was considered that the slaughterhouses C and D should set the process of the entrails treatment as the CCP. The air contamination was measured at two point in a slaughterhouse. The air contamination level was 4-13 times higher than that of the standard Japanese slaughterhouses.

• Fashion & Textile Research Journal
• /
• v.20 no.6
• /
• pp.713-721
• /
• 2018

This study aimed to develop a draping manual for the basic bodice to be available in colleges and industries. For this, draping methods mentioned in six different textbooks were comparatively analyzed. As for the research method, draping methods were compared by using training textbook, and basic bodices designed with muslin were assessed using the 5-point Likert scale. First, the draping methods of basic bodices were comparatively analyzed. The main baselines were set as the center front line, the center back line, the bust line, and the shoulder blade line. The position of dart was suggested based on the princess line, in both the front and the back. The value of dart was classified as a fixed size with any associated excess. The length of dart was set based on the bust point and shoulder blade point or a fixed size. The amount of ease was randomly set based on the fixed size, bust circumference, waist circumference, interscye length, armholes and shoulder lines, or the worker's intuition. Second, according to the appearance evaluation of the patterns, the following patterns obtained the highest scores: A pattern 2.5cm away from the B.P point of the waist dart and shoulder dart in the frontal appearance, a pattern of 0.6~0.7cm ease for the front armhole, a pattern with an ease of 1.2cm in the bust and 0.6cm in the waist. As for back appearance, the pattern in which the point of waist dart is 2~3cm from the bust line received the highest score.

• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• pp.647-649
• /
• 2004

When a controller is implemented by a one-chip processor with fixed-point operations, the finite alphabet problem usually occurs since parameters and signals should be taken in a finite set of values. This paper formulates PID finite alphabet PID control problem which combines the PID controller with the finite alphabet problem. We will propose a PID parameter tuning method based on an optimization algorithm under the finite alphabet condition. The PID parameters can be represented by a fixed-point representation, and then the problem is formulated as an optimization with constraints that parameters are taken in the finite set. Some simulation are to be performed to exemplify the performance of the PID parameter tuning method proposed in this paper.

• Korean Journal of Computational Design and Engineering
• /
• v.6 no.1
• /
• pp.40-47
• /
• 2001

In reverse engineering, existing products are digitized fur the computer modeling. Using the digitized data, surfaces are modeled for new products. However, in the digitizing process measuring errors or deviations can be happened often in practice. Thus, it is important to adjust such errors or deviations during the computer modeling. To adjust the errors, fairing of the modeled surfaces is performed. In this paper, we present a surface fairing algorithm based on various fairness metrics. Fairness metrics can be discrete. We adopt discrete metrics for fairing given 3D point set. The fairness metrics include discrete principal curvatures. In this paper, automatic fairing process is proposed for fairing given 3D point sets for surfaces. The process uses various fairness criteria so that it is adequate to adopt designers'intents.

• Bulletin of the Korean Mathematical Society
• /
• v.21 no.2
• /
• pp.55-60
• /
• 1984

In [2], D. Downing and W.A. Kirk obtained a number of fixed point theorems for set-valued maps in matric and Banach spaces. The authors considered maps which are more general than the contractions with nonempty and closed mapping values, and obtain results for maps satisfying certain "inwardness" conditions. A key aspect of their approach is the application of a general fixed point theorem due to Caristi [1]. On the other hand, in [6], the present author obtained a number of equivalent formulations of the well-known result of I. Ekeland [3, 4] on the variational principle for approximate solutions of minimization problems. Some of such formulations include sharpened forms of the Caristi theorem. In this paper, using one of such formulations, we show that Theorems 1-3 and Corollaries 1-5 of [2] are substantially improved by giving geometric estimations of fixed points.ed points.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.10
• /
• pp.1726-1730
• /
• 2008

In this paper, the application schemes for coordinated control system of multiple FACTS were presented to enhance the voltage stability around the metropolitan areas. In order to coordinated control of FACTS devices, f-V analysis method which is one of the indices for voltage stability was performed with real time network data which is transferred from SCADA/EMS system. If the system is unstable after contingencies, the new operation set-point of FACTS would be determined using bus sensitivity from tangent vector at voltage instability point. Otherwise, we would determine the new operation set-point of FACTS for considering economical operation, like as active power loss minimization using Optimal Power Flow algorithm. In simulation, the SCADA/EMS 2007's data are used for studying the coordinated control algorithm of multiple FACTS devices that is installed or will be installed in KOREA power system

• Journal of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.955-964
• /
• 2015

Let K be a number field and let S be a finite set of primes of K containing all the infinite ones. Let ${\alpha}_0{\in}{\mathbb{A}}^1(K){\subset}{\mathbb{P}}^1(K)$ and let ${\Gamma}_0$ be the set of the images of ${\alpha}_0$ under especially all Chebyshev morphisms. Then for any ${\alpha}{\in}{\mathbb{A}}^1(K)$, we show that there are only a finite number of elements in ${\Gamma}_0$ which are S-integral on ${\mathbb{P}}^1$ relative to (${\alpha}$). In the light of a theorem of Silverman we also propose a conjecture on the finiteness of integral points on an arbitrary dynamical system on ${\mathbb{P}}^1$, which generalizes the above finiteness result for Chebyshev morphisms.

• Structural Engineering and Mechanics
• /
• v.38 no.6
• /
• pp.767-802
• /
• 2011

Developers of new finite elements or nonlinear solution techniques rely on discriminative benchmark tests drawn from the literature to assess the advantages and drawbacks of new formulations. Buckling benchmark tests provide a rigorous evaluation of finite elements applied to thin structures, and a complete and detailed set of reference results would therefore prove very useful in carrying out such evaluations. Results are usually presented in the form of load-deflection curves that developers must reconstruct by extracting the points, a procedure which is often tedious and inaccurate. Moreover the curves are usually given without accompanying information such as the calculation time or number of iterations it took for the model to converge, even though this type of data is equally important in practice. This paper presents ten different limit-point buckling benchmark tests, and provides for each one the reference load-deflection curve, all the points necessary to recreate the curve in tabulated form, analysis data such as calculation time, number of iterations and increments, and all of the inputs used to obtain these results.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.2
• /
• pp.289-301
• /
• 2021

In this research, we interpret the notion of a b-cyclic (𝚽, C, D)-contraction for the pair (g, S) of self-mappings on the set Y. We employ our definition to introduce some common fixed point theorems for the two mappings g and S under a set of conditions. Also we introduce an example to support our results.