• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.199-204
• /
• 1997

To develope the theory of BCI-algebras, the idel theory plays an important role. The first author [4] introduced the notion of T-ideal in BCI-algebras. In this paper, we first construct a special set, called T-part, in a BCI-algebra X. We show that the T-part of X is a subalgebra of X. We give equivalent conditions that the T-part of X is an ideal. By using T-part, we provide an equivalent condition that every ideal is a T-ideal.

• Journal of the Korean Society of Food Culture
• /
• v.30 no.3
• /
• pp.362-369
• /
• 2015

This study compared the nutritional composition and antioxidative activities of different parts (aerial part and root) of Taraxacum coreanum and Taraxacum officinale. To identify the nutrient composition of different parts of Daedelion species, nutrient contents were analyzed. Crude ash, protein, and fat contents of T. coreanum and T. officinale were higher in the aerial part compared to the root. There was no significant difference in crude ash, protein, or carbohydrate content of the aerial part depending on the Daedelion species. Aerial part contents of vitamin A, E, and C were significantly higher in T. coreanum than T. officinale. The K content of the aerial part of T. coreanum and T. officinale was highest, although there was no significant difference among Daedelion species. Contents of oxalic acid, citric acid, and acetic acid in the aerial part of T. coreanum were highest. Contents of total polyphenols, total flavonoids, and DPPH radical scavenging activity of the aerial part were significantly higher in T. coreanum than T. officinale. In conclusion, the aerial part of T. coreanum and T. officinale could be used as antioxidative functional food sources.

• Honam Mathematical Journal
• /
• v.32 no.3
• /
• pp.515-523
• /
• 2010

In this paper, we introduced a special set, called T-part, in a Q-algebra X. We also show that the T-part of X is a subalgebra of X. By using T-part, we provide an equivalent condition that every ideal is a T-ideal.

• Korean Journal of Mathematics
• /
• v.10 no.2
• /
• pp.97-101
• /
• 2002

In this paper, we introduce the notion of T-part of BCI-algebras relative to a subset. We show that if A is a subalgebra of a BCI-algebra X, then so is the T-part $T_A(X)$ of X relative to A. We provide equivalent conditions that the T-part of X relative to A is an ideal.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.1
• /
• pp.32-39
• /
• 2004

Traditional forging of a hollow T-shaped part has been applied to forge a solid T-shaped product from a solid billet and then to machine the hollow in that. In a case, a hollow T-shaped part can be forged by backward-extruding from a solid billet. In this study, four types of forging were suggested for manufacture of hollow T-shaped parts. Forging simulations for each of these forging methods were carried out to investigate folding defect, metal flow pattern, effective strain, and forging loads. Experimental works were carried out to be compared with the simulation results. Here, the ratio of the thickness of the hollow tube to that of the flange was selected to investigate a forging defect like folding.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.920-923
• /
• 2003

Not only IETF but also ITU-T SG17 and ISO JTC1 SC6 are also concerning about Internal group communication in the Internet. The recent hot issues on group communications are ECTP, GMP and RMCP. In this paper we present the mechanism and the standardization status on ECTP, GMP and RMCP.

• Smart Media Journal
• /
• v.11 no.5
• /
• pp.17-25
• /
• 2022

Korean part-of-speech taggers decompose a compound morpheme into unit morphemes and attach part-of-speech tags. So, here is a disadvantage that part-of-speech for morphemes are over-classified in detail and complex word types are generated depending on the purpose of the taggers. When using the part-of-speech tagger for keyword extraction in deep learning based language processing, it is not required to decompose compound particles and verb-endings. In this study, the part-of-speech tagging problem is simplified by using a Head-Tail tokenization technique that divides only two types of tokens, a lexical morpheme part and a grammatical morpheme part that the problem of excessively decomposed morpheme was solved. Part-of-speech tagging was attempted with a statistical technique and a deep learning model on the Head-Tail tokenized corpus, and the accuracy of each model was evaluated. Part-of-speech tagging was implemented by TnT tagger, a statistical-based part-of-speech tagger, and Bi-LSTM tagger, a deep learning-based part-of-speech tagger. TnT tagger and Bi-LSTM tagger were trained on the Head-Tail tokenized corpus to measure the part-of-speech tagging accuracy. As a result, it showed that the Bi-LSTM tagger performs part-of-speech tagging with a high accuracy of 99.52% compared to 97.00% for the TnT tagger.

• Transactions of Materials Processing
• /
• v.26 no.2
• /
• pp.95-100
• /
• 2017

In this study, the method of process design for side forming of a tooth part used for a component of automobile transmission was suggested using FE-simulations. To develop the side forming for the tooth part, in this paper, the shape factors of B.T.Pin was considered as design parameters. The shape factors of B.T.Pin were selected to be the round of pin, reinforced angle and reinforced length. Based on FE simulation results, appropriate shape factor without causing any defects was selected. In addition, to increase the strength of pin, the combination of shape factor having minimum stress after side forming was selected using FE-simulation. In addition, with design of a die set, cold side forming of the tooth part was experimented to estimate effectiveness of the designed B.T.Pin. From experiments, it was found that the tooth part with complete formation of the tooth was obtained without making any forming defects and punch fracture.

• The Journal of Korean Academy of Orthopedic Manual Physical Therapy
• /
• v.16 no.1
• /
• pp.57-63
• /
• 2010

The palpation of spinous process and transverse process of vertebra are important part of the assesment and treatment from Orthopedic manual therapy. But the palpation area is descriptive differently each of literatures. So we generally got these outcomes. : There are C2, C3, C4 and C6 process as a bony landmarks and these are important part of establish the precise location of pain appears from cervical spine. Even though C7 process regard a prominent part, it is hard to distinguish C6 and process of T1. Thru that differentiation, grab the patient's forehead and try them cervical and hyper-extension check any movement of process or put on the fingers on C7 preocess and check the movement. The palpation of thoracic spine process is the land mark which determines general level orientation in the spine easily, there are T2, T7 spinous process. However, It is depends on how do you test the patient's arm when you palpate it and it can effect on spinous process. The transverse process of C1 is the only spot for palpation in cervical spine, and T1-3, T12 transverse process can palpate it when it stands on the process. The end of T4-6, T11 is placed on middle on vertebra of transverse process and transverse process. T7-9, T10 transverse process is place on same position as spinous process which is upper part of the spine.

• Journal of Internet of Things and Convergence
• /
• v.8 no.2
• /
• pp.55-59
• /
• 2022

Recently, IoT technology has great attention and plays a key role in 4^th industrial revolution in order to design customized products and services. Additive Manufacturing (AM) is applied to fabricate IoT sensor directly or IoT sensor embedded structure. Also, design methods for AM are developing to consolidate various parts of IoT devices. Part consolidation leads to assembly time and cost reduction, reliability improvement, and lightweight. Therefore, a design method was proposed to guide designers to consolidate parts. The design method helps designers to define product architecture that consists of functions and function-part relations. The product architecture is converted to a network graph and then Girvan Newman algorithm is applied to cluster the graph network. Parts in clusters are candidates for part consolidation. To demonstrate the usefulness of the proposed design method, a case study was performed with e-bike fabricated by additive manufacturing.