• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.5
• /
• pp.263-269
• /
• 2014

In this paper, I disprove Hadwiger conjecture of the vertex coloring problem, which asserts that "All $K_k$-minor free graphs can be colored with k-1 number of colors, i.e., ${\chi}(G)=k$ given $K_k$-minor." Pursuant to Hadwiger conjecture, one shall obtain an NP-complete k-minor to determine ${\chi}(G)=k$, and solve another NP-complete vertex coloring problem as a means to color vertices. In order to disprove Hadwiger conjecture in this paper, I propose an algorithm of linear time complexity O(V) that yields the exact solution to the vertex coloring problem. The proposed algorithm assigns vertex with the minimum degree to the Maximum Independent Set (MIS) and repeats this process on a simplified graph derived by deleting adjacent edges to the MIS vertex so as to finally obtain an MIS with a single color. Next, it repeats the process on a simplified graph derived by deleting edges of the MIS vertex to obtain an MIS whose number of vertex color corresponds to ${\chi}(G)=k$. Also presented in this paper using the proposed algorithm is an additional algorithm that searches solution of ${\chi}^{{\prime}{\prime}}(G)$, the total chromatic number, which also remains NP-complete. When applied to a $K_4$-minor graph, the proposed algorithm has obtained ${\chi}(G)=3$ instead of ${\chi}(G)=4$, proving that the Hadwiger conjecture is not universally applicable to all the graphs. The proposed algorithm, however, is a simple algorithm that directly obtains an independent set minor of ${\chi}(G)=k$ to assign an equal color to the vertices of each independent set without having to determine minors in the first place.

• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.2
• /
• pp.189-196
• /
• 1994

Quality assurance in the process of manufacturing high strengh bolt sets used in the frictional joints of structures in one of important concern to users as well as to manufactures. In case of occurrences of either defective or low-quality products, even if they are quite rare, some systematic means of localizing the cause-characteristics and matching to corresponding production process is necessary. Control chart of torque factor is the primary indicatir in finding defectiveness of the products. Use of correlation diagrams ofnhardness of the bolt set presents in part a way of screening the cause. Retest data of the bolt set provide additional ideas of localizing the cause, for which theoretical background is presented in this regard. A process-characteristics matrix relating the causes of low quality to the corresponding process of manufacturing, which is of prime importance for the feedback control of production, is also proposed. Finally general features of control to assure quality of the set is described.

• Annual Conference on Human and Language Technology
• /
• 2004.10d
• /
• pp.240-247
• /
• 2004

The purpose of this study was to investigate the role of phonology in lexical access of bilingual processing for Korean-English bilinguals. Four experiments have been conducted in order to adjudicate the nonselective lexical access hypothesis, which argues simultaneous phonological activation of two bilingual languages, and the selective lexical access hypothesis, which argues phonological activation of only one bilingual language. The results showed that the Korean target word processing was significantly affected by the phonological manipulation of the English prime word(Exp. 2). Similarly, the English target word processing showed the tendencies that it is affected by the phonological manipulation of the Korean prime word(Exp. 2). This results indicates that the phonological information of another bilingual language is automatically activated when we process one of bilingual languages, and the process of English, which is the second language for most Korean, is phonologically activated.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.164-170
• /
• 2007

In this paper, the development results of electromechanical TVC actuation system is described in the aspect of design, analysis, manufacturing and test. The kinds of prime power for TVC actuation system is classified by the variety of propulsion system of launch vehicle. The electric power by battery is the sole candidate for prime power of TVC actuation system at the view point of feasible domestic infra technologies for the present. The characteristic analysis study is performed between electromechanical and electrohydraulic actuation system with respect to power efficiency, performance and weight efficiency. The electromechanical actuation system has superiority of power and weight efficiency according to less opportunity of power conversion process.

• Communications for Statistical Applications and Methods
• /
• v.3 no.3
• /
• pp.179-186
• /
• 1996

Bioequivanence models arise typically in bioassays when new preparations are compared against standard ones by means of responses on some biological organisms. Relative potency measures provide nice interpretations for such bioequivalence and their estimation constitutes the prime interest of such studies. A conditional quantile process based on the k-nearest neighbor method is proposed for this purpose. An alternative procedure based on Kolmogrov-Smirnov type estimator has also been considered along with. ARIC ultrasound data are analyzed as examples.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1597-1612
• /
• 2016

There are fruitful results on degenerate parabolic-hyperbolic equations recently following the idea of $Kru{\check{z}}kov^{\prime}s$ doubling variables device. This paper is devoted to the well-posedness of nonhomogeneous boundary problem for degenerate parabolic-hyperbolic equations with spatially dependent second order operator, which has not caused much attention. The novelty is that we use the boundary flux triple instead of boundary layer to treat this problem.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.215-223
• /
• 2007

We in this note introduce the concept of NCI rings which is a generalization of NI rings. We study the basic structure of NCI rings, concentrating rings of bounded index of nilpotency and von Neumann regular rings. We also construct suitable examples to the situations raised naturally in the process.

• Journal of the Korea Safety Management & Science
• /
• v.7 no.4
• /
• pp.141-163
• /
• 2005

The international SPICE (Software Process Improvement and Capability determination) Project ISO/IEC 15504(SPICE : Software Process Improvement and Capability determination) is an emerging International Standard on SPA(Software Process Assessment). A prime motivation for developing this standard has been the perceived need for an internationally recognized software process assessment framework that pulls together the existing public and proprietary models and methods. A SPICE assessment can be considered as one of representative SPA model since assessors assign ratings to indicators and metrics to measure the capability of software process. But this models doesn't provide a systematic measurement procedures and dynamic method for SPI(Software Process Improvement). Through the evaluation of SPICE is capable of providing a substantiated basis for using the notion of capability, as well as providing information for nacessary improvements to the standard using 6sigma process. As a result, this paper propose a measurement procedure and guidelines for application of 6sigma process to guarantee the reliability in SPI and suggest the structure to support SPI on overall organization.

• Journal of Energy Engineering
• /
• v.11 no.3
• /
• pp.262-268
• /
• 2002

The present paper investigated the effect of ultrasonic vibrations on the melting process of phase-change materials (PCM). Furthermore, the present study considered constant heat-flux boundary condition, whereas many of the previous researches had adopted constant wall-temperature condition. The results of the present study revealed that ultrasonic vibrations accompanied the effects like acoustic streaming, cavitation, and thermally-oscillating flow. Such effects are a prime mechanism in the overall melting process when ultrasonic vibrations are applied. They speed up the melting process as much as 2.5 times, compared with the result of natural melting. Also, energy can be saved by applying ultrasonic vibrations to the natural melting. In addition, temperature and Nusselt numbers over time provided a conclusive evidence of the important role of ultrasonic vibrations on the melting phenomena.

• Proceedings of the KSME Conference
• /
• 2002.08a
• /
• pp.655-658
• /
• 2002

The present paper investigated the effect of ultrasonic vibrations on the melting process of a phase-change material (PCM). Furthermore, the present study considered constant heat-flux boundary conditions unlike many of the previous researches, which had adopted constant wall-temperature conditions. Therefore in the study, modified dimensionless numbers such as Stefan and Rayleigh were adopted to represent heat transfer results. The experimental results revealed that ultrasonic vibrations accompanied the effects like agitation, acoustic streaming, cavitation, and oscillating fluid motion, accelerating the melting process as much as 2.5 times, compared with the result of natural melting (i. e., the case without ultrasonic vibration). Such effects are believed to be a prime mechanism in the overall melting process when ultrasonic vibrations were applied. Subsequently, energy could be saved by applying the ultrasonic vibrations to the natural melting In addition, various time-wise dimensionless numbers provided a conclusive evidence of the important role of the ultrasonic vibrations on the melting phenomena of the PCM.