• 논리연구
• /
• 제10권1호
• /
• pp.65-98
• /
• 2007

정인교는 그의 최근 논문에서 논리적 귀결 관계에 의해 논리 상항의 의미를 정의함에 있어 통상적인 도입 규칙과 제거 규칙에 의거하는 포퍼의 접근법과, 도입 규칙에만 의존하는 정당화주의적 접근법, 그리고 제거 규칙에만 의존하는 실용주의적 접근법을 구분한 바 있다. 이 글에서는 연언과 선언의 연결어의 경우에는 그 세 가지가 동등하다는 것을, 그리고 조건과 부정의 연결어의 경우에는 제거 규칙에 의거하는 실용주의적 접근법과 포퍼의 접근법이 대등하다는 것을, 타르스키가 처음 확립한 논리적 귀결에 관한 공리적 체계에 의존하여 보일 것이다.

• 조명전기설비학회논문지
• /
• 제18권4호
• /
• pp.144-148
• /
• 2004

본 논문에서는 디지털 PSS 제어기를 사용하여 동기발전기에 디지털 여자기 제어를 적용하는 것을 제안하였다. 실험결과는 디지털 제어 시스템은 아날로그 제어 시스템과 비교하여 우수한 제어 성능을 증명하였다. 현대제어 이론은 디지털 제어를 구현하기가 쉽게 확립되었다.

• 오토저널
• /
• 제13권4호
• /
• pp.18-25
• /
• 1991

디젤엔진에서 윤활오일의 소모량이 점진적으로 증가하는 것은 비정상적인 시린더 마모 때문이다. 시린더 라이너의 작동기구를 L-link 피스톤운동 측정장치로 조사하여 피스톤 top-land의 탄소분 축적이 비정상시린더 마모의 주요 원인임이 증명되었다. 또 피스톤 top-land의 축소는 마모 방지의 유용한 방법인 것으로 이론과 실제에서 입증되었다. 오일 소모와 시린더 마모에 영향을 미치는 다른 요소들에 관해서도 살펴보았다.

• 정보보호학회지
• /
• 제2권4호
• /
• pp.30-36
• /
• 1992

이 논문에서 우리는 여러 가지 분할 항등식을 유도했고 제한된 분할에 관한 새로운 항등식을 증명하고, 분할의 기본적인 이론과 분할함수(Partition Number Function)가 다항식 함수가 아니라는 것을 보이며, n 의 분할의 수 p(n)에 대한 하계(Lower Bound)를 얻기 위해 Stirling의 n ! 에 대한 근사값을 소개한다. 그리고 Hardy-Ramanujan 공식, Euler 항등식과 p(n) 의 순환식을 유도하며, 그리고 $d_m$(n)이n을m개의 부분으로 분할하는 분할의 수를 나타낼 때 우리는 $d_m$(n)에 관한 일반적인 공식을 p(n)과 함께 행렬식의 형태로 표현한다.

• 정보보호학회지
• /
• 제2권4호
• /
• pp.37-47
• /
• 1992

이 논문에서 우리는 여러 가지 분할 항등식을 유도했고 제한된 분할에 관한 새로운 항등식을 증명하고, 분할의 기본적인 이론과 분할함수(Partition Number Function)가 다항식 함수가 아니라는 것을 보이며, n의 분할의 수 p(n)에 대한 ㅎ계(Lower Bound)를 얻기 위해 Stirling의 n !에 대한 근사값을 소개한다. 그리고Hardy-Ramanujan 공식, Euler 항등식과 p(n)의 순환식을 유도하며, 그리고 d$_{m}$ (n)이 n을 m개의 부분으로 분할하는 분할의 수를 나타낼 때 우리는 d$_{m}$ (n) 에 관한 일반적인 공식을 p(n)과 함께 행렬식의 형태로 표현한다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2012년도 추계학술대회 논문집
• /
• pp.73-74
• /
• 2012

본 논문은 브릿지형 컨버터에 존재하는 기생성분이 게이트 구동에 미치는 영향을 분석한다. 다양한 기생성분과 입출력 사양에 따라 게이트 구동을 저해하는 EMI의 크기가 어떻게 변하는지 그 관계를 밝힌다. 이론적 분석을 통하여 시뮬레이션 모델을 구축하고, 실험을 통하여 타당성을 증명한다.

• 전기의세계
• /
• 제38권11호
• /
• pp.34-47
• /
• 1989

본고에서는 OF케이블의 gas분석에 관한 언급을 제외하고는 주로 CV케이블의 전기적 특성면에서의 절연열화 진단에 관하여 가장 실용화에 접근한 시험법과 측정결과를 개략적으로 기술하였다. 그러나 소개하지 못한 연구시험중에 있는 신기술도 많이 있다. 다만, 이 여러가지 시험법과 이론이 증명하듯이 최근 전력 케이블의 열화진단 기술을 확립하려는 많은 노력이 경주되고 있다는 것이다. 앞으로 머지않아 이 결과들이 정리되어 최적의 케이블 진단기술이 확립될 것이며 이에따라 전력케이블의 절연파괴 사고를 미연에 방지하므로써 전력공합신뢰도 향상에 이바지 하게 될것으로 확신한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.483-485
• /
• 2000

소프트웨어 산업계는 컴포넌트 기반의 개발이 소프트웨어의 생산성과 품질을 향상 시킬 것으로 기대하고 있다. 최근에 많은 연구를 통해 한 시스템의 컴포넌트들은 각각 granularity를 가지는 것이 밝혀졌다. 그러나 지금까지 제시된 많은 방법론들이 컴포넌트 granularity를 정확하고 세부적으로 도출하지 못하고 있다. 본 연구에서는 컴포넌트의 granularity를 도출하는 수학적인 방법을 제시한다. 그리고 이론적인 연구를 통해 비즈니스 단위의 컴포넌트와 공통 컴포넌트가 분리된다는 것을 보인다. 사례 연구를 통해 우리는 우리가 제시한 granularity의 도출 방법이 유용함을 증명하고 컴포넌트를 분리시키는 경계선이 존재한다는 것을 보인다.

• 한국막학회:학술대회논문집
• /
• 한국막학회 1998년도 춘계 총회 및 학술발표회
• /
• pp.26-29
• /
• 1998

1. 서론 : 고전 막투과 이론은 네른스트-프랑크식을 이용한 이온의 프락스, 막전위, 및 막 전도도의 관계식을 해석하는 것이 보통이다. 종전에 보고된 일련의 막투과 현상식도 마찬가지의 방식였으나, 새로히 비평형 열역학을 기초로 막 투과 현상의 메트릭스를 해석이 가능하여졌다. 지금까지 막을 투과하는 투과계수의 메트릭스의 팩타에 대한 상관 관계는 물리화학적 방법에서 취급한 것이 관례였다. 이 관걔를 수학적 방법에서 해석 및 증명하고자 한다.

• 천문학회보
• /
• 제41권1호
• /
• pp.31.2-31.2
• /
• 2016

아인슈타인이 1916년 예측한 중력파의 이론에서 부터 이를 실험적으로 증명하기 위한 도전의 100년간의 길고 지루했던 역사에 대해 소개한다. 특히 1960년 이후 웨버에 의해 시작된 상온 공명 바검출기에서 레이저 간섭계로 이어지는 중력파 검출 실험의 주요 변천과정과 함께 중력파 검출의 성공을 이끌었던 어드밴스드 라이고의 현황에 대해 보고한다.