• 논리연구
• /
• 제3권
• /
• pp.53-93
• /
• 2000

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

• 자원리싸이클링
• /
• 제18권6호
• /
• pp.3-9
• /
• 2009

본 총설은 용매추출(또는 액-액 추출)에 대한 일반적인 원리와 추출제별 용매추출 공정의 기초 원리를 소개하고 있다. 용매추출은 서로 섞이지 않는 두 상(phase)간에 화합물이 한 상(phase)에서 다른 상으로 이동하는 현상을 이용하는 공정이다. 초기에는 분석화학 분야에서 용매추출의 간편성, 신속성 및 넓은 적용성 때문에 많이 사용되었으며, 분액깔데기와 같은 간단한 도구로 수분내에 추출실험을 완료할 수 있다는 장점이 있다.

• 전산구조공학
• /
• 제4권2호
• /
• pp.87-94
• /
• 1991

본고에서는 Sandhu등에 의해 개발된 다변수경계치문제의 변분모델화 방법을 이용하여 범함수의 독립변수로써 변위와 응력을 동시에 포함하는 이방성탄성문제의 혼합형변분원리(Mixed Variational Principle)를 유도한다. 탄성방정식을 내적공간에서 self-adjoint한 미분연산자매트릭스 방정식으로 표시한 후 다변수 경계치문제의 변분이론을 적용하므로써 일반적 범함수가 구해지며, 이때에 지배방정식의 미분연산자와 경계조건식의 연산자의 일관성 (Consistency)을 유지하므로써 경계조건도 체계적으로 범함수내에 포함시킬 수 있다. 이 일반적 범함수에서 미분연산자의 self-adjointness성질을 이용하여 응력함수의 도함수를 제거하고 탄성방정식중 특정식이 항상, 정확히 만족된다고 가정하므로써 원하는 혼합형변분원리의 범함수를 유도할 수 있다. 여기에서 유도된 변분원리는 최근 Reissner에 의해 개발된 변분원리와 유사한 물리적 의미를 가지나 유도방법이 다를 뿐 아니라 일반적 이방성탄성체에 적용할 때 보다 편리한 형태로 된다. 이 혼합형변분원리는 다양하게 응용될 수 있으나, 복합재료적층판과 같은 이질성, 이방성 평판이론, 또는 쉘이론의 유도에 유용하게 사용할 수 있다.

• 자원ㆍ환경경제연구
• /
• 제12권1호
• /
• pp.157-175
• /
• 2003

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

• 방송과미디어
• /
• 제2권1호
• /
• pp.73-81
• /
• 1997

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

• 기계저널
• /
• 제49권12호
• /
• pp.44-48
• /
• 2009

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

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• 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
• /
• 제15권3호
• /
• pp.29-35
• /
• 1997

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

• 한국경영과학회지
• /
• 제10권2호
• /
• pp.83-87
• /
• 1985

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

• 대한자기공명의과학회:학술대회논문집
• /
• 대한자기공명의과학회 1999년도 제4차 추계학술대회 초록집
• /
• pp.19-25
• /
• 1999

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