• Korean Journal of Logic
• /
• v.3
• /
• pp.53-93
• /
• 2000

프레게의 논리주의 프로그램은 기본적인 산수 법칙 혹은 가장 단순한 수의 법칙을 논리적 원리로부터 유도해 냄으로써 달성된다. 프레게는 이른바 외연 공리를 포함하는 논리적 원리로부터 흄의 원리로 지칭되는 원리를 거쳐 '기본적인' 산수 법칙을 이끌어내고 있다. 외연 공리가 흄의 원리를 연역하는 과정에서만 사용되고 인다는 사실은 프레게가 말하는 기본적인 산수 법칙을 외연 공리 대신 흄의 원리를 공리로 채택함으로써 유도해낼 수 있음을 암시한다. 여기서는 흄의 원리로부터 페아노의 다섯 가지 공리를 연역해 내는 프레게의 과정을 조상 관계에 대한 일반적인 고찰에 기초하여 보다 단순화하고 있다.

• Resources Recycling
• /
• v.18 no.6
• /
• pp.3-9
• /
• 2009

The present review paper deals the liquid-liquid extraction (LLE) general principles and the basic fundamentals, general process of LLE followed by the importance of LLE reagents. LLE is a process of transferring a chemical compound from one liquid phase to a second liquid phase, immiscible with the first. In analytical chemistry, this method enjoys a favored position among separation techniques because of its simplicity, speed and wide scope. By utilizing apparatus no more complicated than a separatory funnel and requiring several minutes at most to perform, extraction procedures offer much to the analytical chemist.

• Computational Structural Engineering
• /
• v.4 no.2
• /
• pp.87-94
• /
• 1991

In this paper, a mixed variational principle applicable to the linear elasticity of inhomogeneous anisotropic materials is presented. For derivation of the general variational principle, a systematic procedure for the variational formulation of linear coupled boundary value problems developed by Sandhu et al. is employed. Consistency condition of the field operators with the boundary operators results in explicit inclusion of boundary conditions in the governing functional. Extensions of admissible state function spaces and specialization to a certain relation in the general governing functional lead to the desired mixed variational principle. In the physical sense, the present variational principle is analogous to the Reissner's recent formulation obtained by applying Lagrange multiplier technique followed by partial Legendre transform to the classical minimum potential energy principle. However, the present one is more advantageous for the application to the general anisotropic materials since Reissner's principle contains an implicit function which is not easily converted to an explicit form.

• Environmental and Resource Economics Review
• /
• v.12 no.1
• /
• pp.157-175
• /
• 2003

본 연구는 이산시간 적정제어이론을 사용하여 동태적 경제 문제의 최적해를 구하기 위해 사용되는 두 가지 형태의 극대원리를 분석하고 있다. 이산시간 적정제어이론에 관한 선행연구들은 상태방정식이 차분방정식의 형태를 띠는 경우에 적용할 수 있는 극대원리를 제안하고 있다. 그러나 본 연구는 상태방정식이 차분방정식이 아닌 일반방정식의 형태를 띠는 경우에 적용할 수 있는 극대원리를 개발하였다. 그리고 본 연구를 통해 개발된 극대원리와 선행연구들이 제안한 극대원리와의 차이는 공동상태 변수의 운동법칙에 있음을 보여주고 있다. 특히 본 연구는 Bellman의 최적원리를 이용하여 본 연구에서 개발된 극대원리는 선행연구들이 제안한 극대원리를 포함하는 일반적인 극대원리임을 설명하고 있다. 마지막으로 본 연구는 목재공급모형인 TSM2000에 포함된 경제변수의 동태적 최적화를 구하는 과정을 통해 본 연구에서 개발된 극대원리가 경제 문제에 적용되는 사례를 보여 주고 있다.

• Broadcasting and Media Magazine
• /
• v.2 no.1
• /
• pp.73-81
• /
• 1997

방송사업자가 광고 및 저작권료에 의지하지 안하고 전문적인 방송을 가능케하는 유료방송은 제한수신 서비스로 가능하다. 본 논문에서는 제한수신 서비스의 종류와 이를 가능케하는 제한순신 시스템의 기능/구조/동작원리에 대하여 기술하여 방송환경에 적용할 수 있는 일반적인 제한수신구조를 제시한다.

• Journal of the KSME
• /
• v.49 no.12
• /
• pp.44-48
• /
• 2009

이 글에서는 일반적인 가속시험의 원리와 시험방법, 그리고 기계류 부품에 적합한 가속시험모형들에 대해 간략히 소개하고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.110-116
• /
• 2006

지금까지 대부분의 리던던시 할당문제(RAP: redundancy allocation problems) 관련 연구들에서는 최상위 수준에서의 시스템 리던던시보다는 최하위 수준인 부품의 리던던시를 고려하였다. 이는 최하위 수준에서의 리던던시가 최상위 수준의 리던던시보다 효과적이라고 알려진 일반적 원리 때문이었다. 최근 한 연구에서는 동일하지 않은 예비부품을 사용하여 리던던시를 실시하는 경우 직렬구조의 시스템에서도 일반적 원리와 다른 결과가 나타날 수 있음을 보이고, 시스템을 구성하는 모든 수준에서 리던던시가 가능한 다수준 리던던시 할당문제(MRAP: multi-level RAP)를 제시하였다. 그러나 MRAP는 모든 수준에서의 리던던시를 고려하지만 단지 한 수준을 선택하여 리던던시를 할 수 있다는 가정사항을 포함하고 있다. 본 연구에서는 MRAP의 이러한 가정사항을 완화하여 시스템을 구성하는 모든 수준에서 리던던시를 위한 수준을 복수로 선택 가능한 혼합 다수준 리던던시 할당문제(MMRAP: multiple MRAP)를 제시하고 모형화하며, 문제의 해법을 위한 유전자 알고리듬(GA: genetic algorithm)을 제시한다. 제시한 GA를 활용한 몇 가지 수치실험을 통해 모형이 기존의 RAP 경우보다 효과적임을 입증한다.

• Journal of Welding and Joining
• /
• v.15 no.3
• /
• pp.29-35
• /
• 1997

실제로 용접구조물의 재료에는 항상 내부 잔류응력이 존재하며 그 크기는 재료내의 내부 잔류응력간의 평형의 원리(Self-equilibrating system)에 의해 결정 된다. 일반적인 구조 강도설계에서 행해지는 탄성해석에서는 재료 내부에 존재하는 잔류응력을 고려하지 않기 때문에 설계시에 계산된 응력이 심하중하의 구조물에서 발생하는 응력과 같다고 볼 수는 없다. 철강재료를 사용한 구조물의 경우 구조물 제작 공정 전반에 걸친 성형가공 및 조립과정에 수반되어 재료 내에는 잔류응력이 발생되며 특히 용접조립에 의해 용접부 근방에서는 재료의 항복강도 수준의 상당히 큰 용접응력 이 발생하게 된다. 일반적으로 용접잔류응력의 완화법으로 가장 확실한 방법은 후열 처리법(Post weld heat treatment, PWHT)이지만 이 방법의 적용은 구조물의 크기에 제한을 받게 된다. 따라서 PWHT를 적용하기 어려운 구조물에 대해서는 다른 방법에 의해 용접잔류 응력을 완화시켜야 하며 이 경우에 일반적인 방법으로 기계적 응력완화 법(Mechanical stress relief method, MSR)이 있다. 본고에서는 MSR의 기본원리에 대하여 간단하게 정리하고 실 구조물에 대한 MSR 적용시 고려해야 할 제반사항을 위하여 단순 용접부에 대한 MSR 적용 실험결과와 실제 압력용기를 대상으로 MSR을 자체 제작된 기술절차서에 따라서 시행하고 MSR의 적용성에 대해서 검토하였다.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.10 no.2
• /
• pp.83-87
• /
• 1985

분해원리(decomposition principle)은 선형계획법문제 중에서도 블록대각구조를 가진 특수 모형에 의한 해법으로 잘 알려져 있다. 그런데 일반적으로 소개되어 있는 분해원리는 변수가 비음의 조건을 가진 문제에 대한 해법이다. 블록대각 구조를 가진 선형계획법 문제는 잘 알려져 있는 바와 같이 하부구조를 가진 기관의 경영, 여러가지 종류의 사료배합 문제 등에 일어난다. 그런데 이런 문제의 대부분의 경우가 변수는 상.하한을 가지는 경우가 된다. 이 논문은 비음의 조건을 가지는 문제에 대한 분해원리를 발전시켜 이런 변수가 상.하한을 가지는 일반적인 문제를 풀 수 있도록 하고자 하는 것이다. 변수가 상.하한을 가지게 되며 우선 진입변수, 탈락변수를 결정하는 문제, 1단계(phase 1) 문제 등에 어려움이 나타난다. 이 논문은 이런 어려움들을 극복하고 나아가 주기억 공간이 제한되어 있는 소형전산기에 알맞는 계산방법을 연구하고자 한다.

• Proceedings of the KSMRM Conference
• /
• 1999.11a
• /
• pp.19-25
• /
• 1999

허파에 대한 수소 자기공명영상은 현재까지 거의 불가능한 것으로 알려져 있다. 허파의 조직과 비어있는 공간 사이의 심한 자화율(susceptibility) 차이로 인해서 영상왜곡 현상이 유발되어 그릇된 영상정보를 만들기 때문이다. 본 강좌에서는 이러한 문제를 해결할 수 있는 레이저 광펌핑 방법으로 초편극화된 비활성기체를 이용한 자기공명연구를 소개한다. 일반적인 자기공명 신호와 쳐편극화된 비활성기체를 이용한 자기공명 연구를 소개한다. 일반적인 자기공명 신호와 초편극화 기체를 이용한 신호의 차이와 물리적인 원리를 고찰할 것이다 . 비활성기체가 초편극화 되었을 때, 일반적인 자기공명의 경우에 (자기장: 1 Tesla, 온도는 $30^{\circ}C$의 열평형상태) 비해서 약 $10^{5}$ 정도의 magnetizaion 향상을 기대할 수 있으며, 기체상태라는 점이 감안된다 해도 의미 있는 자기공명신호를 획득할 수 있다. 비활성기체를 초편exchange 방법을 통하여 간접적으로 가스를 편극화 시키는 두 가지 방법이 있다. 이들의 기본적인 원리와 두 방법의 장단점 등을 알아 볼 것이다. 더불어, 초편극화 정도가 외부자기장의 세기 차이에 의한 영향을 받지 않는 다는 특성을 이용하는 경우, 비용을 최소화 하면서 고해상도의 영상을 얻을 수 있으며, 이동성이 용이한 낮은 자기고명진단기가 가능한데 이에 대한 소개를 할 것이다. 그리고, 초편극화가스를 이용한 자기공명영상 연구의 현재 동향 및 미래에 대해서 논의한다.