• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.724_725
• /
• 2009

This paper deals with control parameters deduction and dynamic analysis of hybrid thrust magnetic bearing(HTMB). The flux density at air-gap is obtained from system modeling which considers permanent magnet and electro magnet. The vertical force is derived from flux density using maxwell's stress tensor. An accurate linear model is obtained by using linear approximations of the attraction force around the nominal equilibrium point. The dynamic simulation of the HTMB using the PD controller is conducted and control parameters are deducted.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.31 no.1
• /
• pp.108-115
• /
• 2008

Future war needs a lot of changes for military organization. In this circumstance, it is importance the role of the Military Equipment Command Separation (MECS). In case of Korea Marine Corps, in spite of being MECS, Marine Corps has formed supply chain depended on Amy and Navy even it. Thus we proposed a new SCM of Marine Corps with Sense and Response concept. There are many problems and arguments to implement of new SCM. Therefore it is essential solving the problems but we don't know core problems and right solving directions. So, In this study, we present core problems deduction and selection of solving direction using TP(Thinking Process).

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2003.11a
• /
• pp.48-49
• /
• 2003

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.11
• /
• pp.1455-1462
• /
• 2018

As the interests in eco-friendly energy has increased, the interests in Electric Vehicles(EVs) are increasing as well. Moreover, due to the government's economic support for EVs, penetration level of it has rapidly increased. These sharp increases, however, induce various problems in distribution system, such as voltage/frequency variations, peak demand increasement, demand control, etc. To minimize these possible matters, lots of research have conducted. Nevertheless, most of it assumed extremely important factors, such as numbers and charging patterns of EVs. It inevitably results in errors in their research, and thus make it difficult to prevent the possible matters from EVs. In this paper, therefore, we use actual EVs charging data from KEPCO, and analysis and deduction of it were conducted. The simulations were carried out for four aspect(season, region, purpose).

• The KIPS Transactions:PartB
• /
• v.10B no.3
• /
• pp.273-280
• /
• 2003

Recommender System can help users to find products to Purchase. A representative method for recommender systems is collaborative filtering (CF). It predict products that user may like based on a group of similar users. User information is based on user's ratings for products and similarities of users are measured by ratings. As user is increasing tremendously, the performance of the pure collaborative filtering is lowed because of high dimensionality and scarcity of data. We consider the effect of dimension deduction in collaborative filtering to cope with scarcity of data experimentally. We suggest that SVD improves the performance of collaborative filtering in comparison with pure collaborative filtering.

• Journal of Digital Policy
• /
• v.1 no.2
• /
• pp.25-40
• /
• 2022

This study analysed the effect of inheritance tax on households in reality and to improve it if there is an unreasonable aspect compared to countries around the world. The study conducted a one-on-one face-to-face survey on adults living in major cities across the country for 31 days from 1^st of September to 10^th of October, 2022. The collected data was analysed using SPSS 25.0 version and noted that 1) they preferred the abolition of inheritance tax, but hoped to improve it when maintaining it, 2) it was necessary to expand the deduction limit, abolish spouse deductions, and 3) prefer the inheritance acquisition tax system. Finally, it was found that they wanted to Extension of installment period of inheritance tax and introduce the tax deferred system.. This suggests that there is a perception that the overall revision of the inheritance tax system is necessary to maintain the inheritance tax. The significance of the study is to provide the basis for discussions on the improvement of the inheritance tax system in Korea, which does not reflect reality.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.2035-2039
• /
• 2008

In this paper, degrades modes of high-speed trains are deduced and analyzed by using Systems engineering architecture methods for a preceding research of hazard identification and scenarios deduction of the KTX. Moreover, Vigilance System of the high-speed trains is analyzed.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• Journal of The Korean Digital Architecture Interior Association
• /
• v.1 no.1
• /
• pp.46-50
• /
• 2001

It is known that to automate the quantity take-off process enables you to increase the productivity best among the construction business field. However, the limitation of 2D(Two-dimension) CAD System prevented a cost-estimating system which makes the great effects on the quantity take-off process from being developed. This study aims that you can automate both the itemized statements and the quantity take-off process by using commercially available object-oriented CAD system. The commercially available CAD system today does not give us entire satisfaction. This study shows the deduction of the old boundaries of the object-oriented CAD system and the solution of those problems. And it also studied about the quantity take-off process and the automated cost-estimating system that can be used in the simple and plain repair-maintenance work such as the execution drawing which doesn't need the complicated drawings.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2011.11a
• /
• pp.25-26
• /
• 2011

The objective of this study is to develop the prototype system for microwave heating in a manufacture process of alkali activated Hwangtoh binder as replacement materials for the cement in concrete. In order to achieve this, four research phases are carried out as follows: 1) establishment of a system concept 2) deduction of a system element 3) design of the entire system 4) making of the prototype system for microwave heating.