• 제목/요약/키워드: prime process

검색결과 243건 처리시간 0.03초

Hadwiger 추측의 반증 (Disproof of Hadwiger Conjecture)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제14권5호
    • /
    • pp.263-269
    • /
    • 2014
  • 본 논문은 지금까지 미해결 문제로 알려진 정점 색칠 문제에 대한 Hadwiger 추측의 반증을 제시하였다. Hadwiger 추측은 "모든 $K_k$-minor free 그래프는 k-1개의 색으로 칠할 수 있다. 즉, $K_k$-마이너를 얻으면 ${\chi}(G)=k$이다." Hadwiger 추측을 적용하여 정점 색칠을 할 경우, 먼저 NP-완전 (NP-complete)인 $K_k$-마이너를 구하여 ${\chi}(G)=k$를 결정하고, 다시 NP-완전인 정점 색칠 문제를 풀어야 한다. Hadwiger 추측을 반증하기 위해 본 논문은 정점 색칠의 정확한 해를 O(V)의 선형시간으로 구하는 알고리즘을 제시하였다. 제안된 알고리즘은 그래프의 최소 차수를 가진 정점을 최대독립집합 (MIS)으로 하고, MIS 정점의 인접 정점 간선을 삭제한 축소된 그래프에 대해 이 과정을 반복하면서 하나의 색을 가진 MIS를 얻는다. 다음으로 MIS 정점의 간선을 삭제한 축소된 그래프에 대해 동일한 과정을 수행하여 MIS의 개수가 정점 채색수 ${\chi}(G)=k$가 되는 해를 얻는다. 제안된 알고리즘을 적용하여 NP-완전 문제인 완전 색칠 (total coloring) 채색수 ${\chi}^{{\prime}{\prime}}(G)$의 해를 구하는 알고리즘을 제안하였다. 제안된 알고리즘을 $K_4$-마이너 그래프에 적용한 결과 ${\chi}(G)=4$가 아닌 ${\chi}(G)=3$을 얻었다. 결국, Hadwiger 추측은 모든 그래프에 대해 적용되지 않음을 알 수 있다. 제안된 알고리즘은 마이너를 구하지 않으며, 주어진 그래프에 대해 직접 ${\chi}(G)=k$인 독립집합 마이너를 구하여 각 독립집합 정점들에 동일한 색을 배정하는 단순한 방법이다.

고장력 마찰접합 볼트세트의 품질특성에 관한 연구 (Quality characteristics and the process control of high-strength frictional bolt-sets)

  • 손승요;신근하
    • 한국정밀공학회지
    • /
    • 제11권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.

  • PDF

한국인의 영어처리의 기제 : 모국어처리와의 상호작용을 중심으로 (The Processing System of English for Korean : Focused on the Interaction with Native Language Processing)

  • 이창환;강봉경
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2004년도 제16회 한글.언어.인지 한술대회
    • /
    • pp.240-247
    • /
    • 2004
  • 영어를 제2언어로 사용하는 한국인을 대상으로 이중언어의 어휘접근이 음운 정보와 관련하여 어떻게 일어나는 지를 알아보았다. 이중언어를 처리할 때에 양 언어의 음운적 지식이 동시에 활성화된다는 비선택적 가설과 한 언어의 음운적 지식만이 활성화된다는 선택적 가설을 검증하고자하는 목적으로 2개의 실험을 실시하였다. 실험결과 한글 표적자극의 수행이(실험2) 점화자극으로 제시된 영어 단어의 음운적 조작에 따라 유의미한 영향을 받았고, 영어 표적자극을 처리할 때에는(실험1) 점화자극으로 제시된 한글 단어의 음운적 조작에 따라 영향을 받는 경향을 발견하였다. 이는 이중언어 중 한 언어를 처리할 때에 다른 언어의 음운적지식이 자동적으로 활성화됨을 의미하며 한국인에게 있어서 제2언어인 영어의 처리에서 음운정보가 중요한 역할을 함을 의미한다.

  • PDF

발사체 추력벡터제어용 전기-기계식 구동장치시스템 특성 연구 (Characteristic Research of Electromechanical Actuation System for Launch Vehicle Thrust Vector Control)

  • 민병주;최형돈;강이석
    • 항공우주기술
    • /
    • 제6권2호
    • /
    • pp.164-170
    • /
    • 2007
  • 본 논문에서는 근래에 들어 중/소형급 추진기관을 갖는 발사체의 추력벡터제어용 구동 장치시스템으로 적용 연구가 활발히 진행되고 여는 전기-기계식 구동장치시스템에 대한 설계 및 해석, 이에 기반을 둔 시제품 제작 및 시험 수행 결과를 기술하였다. 아울러 발사체 적용 추진기관 형상 및 규모를 기준으로 적합한 구동장치시스템의 원천동력 형상을 분류하였다. 국내에서 개발 중인 중/소형 추진기관 추력벡터제어용 구동장치시스템의 원천 동력은 배터리의 전기동력이며 이를 사용한 구동장치 형상은 전기-유압식과 전기-기계식으로 구분된다. 전기-기계식 형상이 전기-유압식 보다 작은 동력 변환 과정을 수행하기 때문에 원천동력 대비 구동기 출력동력의 비율을 나타내는 전효율이 우수한 것으로 분석되었다. 아울러 유사한 동력 규모와 기능을 갖는 구동장치시스템을 구성할 경우 전기-기계식 형상이 소요 부품의 수가 감소하여 중량 측면에서도 우위에 있음을 알 수 있었다.

  • PDF

A Nonparametric Procedure for Bioassay by using Conditional Quantile Processes

  • Kim, Ho
    • Communications for Statistical Applications and Methods
    • /
    • 제3권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.

  • PDF

NONHOMOGENEOUS DIRICHLET PROBLEM FOR ANISOTROPIC DEGENERATE PARABOLIC-HYPERBOLIC EQUATIONS WITH SPATIALLY DEPENDENT SECOND ORDER OPERATOR

  • Wang, Qin
    • 대한수학회보
    • /
    • 제53권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.

ON NCI RINGS

  • Hwang, Seo-Un;Jeon, Young-Cheol;Park, Kwang-Sug
    • 대한수학회보
    • /
    • 제44권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.

SPI 신뢰성 확보를 위한 SPICE 기반 6시그마 적용 사례 연구 (A case study of 6sigma application for the reliability in SPI based on SPICE)

  • 김종기;서장훈;박명규
    • 대한안전경영과학회지
    • /
    • 제7권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.

음향 흐름에 의한 고-액 상변화 열 전달의 촉진 (Acoustic Enhancement of Solid-Liquid Phase Change Heat Transfer)

  • 박설현;오율권
    • 에너지공학
    • /
    • 제11권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.

액상용기에서 초음파에 의한 열전달촉진 (Enhancement of bent transfer in the liquid bath by ultrasound)

  • 강원종;오율권
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2002년도 학술대회지
    • /
    • 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.

  • PDF