• 논리연구
• /
• 제8권2호
• /
• pp.59-84
• /
• 2005

조건문의 확률은 조건부 확률과 같을 수 없음을 보이는 루이스의 '사소함 결과'(the triviality results)는 널리 알려져 있다. 하지만 이 증명의 정확한 구조와 그 의미를 파악하기란 그다지 쉽지 않다. 이 논문에서는 먼저 루이스 증명의 한 형태가 제시되고 왜 조건문의 확률은 조건부 확률과 같을 수 없는지에 대해 한 가지 설명이 제공된다. 이와 아울러 이런 결과가 갖는 철학적 함축이 무엇인지가 논의된다. A일 경우 C일 조건부 확률은 A가 성립할 경우 C가 성립할 가능성이 어느 정도인지에 관한 것으로, 이 점은 조건부 확률의 정의인 등식 Pr(C|A)= Pr(A & C) / Pr(A)에 잘 반영되어 있다. 조건부 확률이 갖는 이런 독특한 성질과 조건부 확률과 언제나 같은 확률을 갖는 명제를 찾으려는 노력이 허사로 끝나게 마련이라는 점은 서로 밀접한 연관이 있어 보인다. 만약 이 점이 옳다면, 우리는 조건문은 그냥 주장과는 아주 다른 조건부 주장을 표현한다고 보아야 하며, 조건부 주장은 진리조건을 갖지 않는, 사이비 주장이라는 점을 받아들여야 할지도 모르겠다.

• 전자공학회논문지SC
• /
• 제39권5호
• /
• pp.26-33
• /
• 2002

본 논문에서는 볼록 한계 불확실성(convex bounded uncertainty)을 가지는 이산시간 선형 시스템의 견실 $H_{\infty}$ 필터 설계 알고리듬을 제안한다. 다루고 있는 파라미터 불확실성은 폴리토프형(polytope type) 볼록 한계를 가지는 형태이다. 본 논문의 목적은 필터링 오차 시스템의 점근 안정성(asymptotic stability)과 변형한 성능지수의 유도 $L_2$ 노옴($L_2$ induced norm) 한계치를 해적적으로 제시하는 안정한 견실 $H_{\infty}$ 필터를 설계하는 것이다. 견실 $H_{\infty}$ 필터가 존재할 충분조건과 필터 설계 방법은 볼록 최적화 기법에 의하여 효과적으로 해를 구하는 선형행렬부등식 방법에 의하여 제시한다. 제안한 알고리듬의 타당성은 예제를 통하여 확인한다.

• 사상체질의학회지
• /
• 제23권4호
• /
• pp.533-540
• /
• 2011

In this case, we report a case of Soeumin rectal cancer patient who was mistreated with herb medication. This patient was 72 years old female diagnosed rectal cancer stage IV with multiple liver, lung, and LN metastases. She administered our cancer center in Sep. 2011 for cancer treatment, we diagnosed this patient as Taeyangin at first, and treated with Mihuedungsikjang-tang. After 1 week, she complained upper abdominal discomfort, severe abdominal pain, nausea and sweating. Considering several symptoms and conditions, the change of symptoms seemed to a adverse events caused by mistreatment. We re-diagnosed this patient as Soeumin, and treated with Soeumin herbal medication, Baekhaoleejung-tang(白何烏理中湯) and Hyangsayangyi-tang(香砂養胃湯). Several symptoms including abdominal pain were improved 2 weeks later. Therefore, we report this case as a reference that Soeumin misdiagnosed as Taeyangin and the improvement of adverse symptoms.

• 전자공학회논문지SC
• /
• 제45권3호
• /
• pp.32-41
• /
• 2008

본 논문에서는 blu-ray 디스크 드라이버의 트랙킹 서보시스템에 대하여 플랜트와 제어기의 불확실성을 보상하는 견실비약성 $H^{\infty}$ 상태궤환 제어기 설계방법을 제안한다. 플랜트와 제어기의 불확실성을 매개변수화 선형행렬부등식(PLMI: parameterized linear matrix inequality)을 이용하여 구조화된 불확실성의 형태로 표현하며, Lyapunov 함수를 이용하여 구조적인 제어기의 이득섭동을 고려한 견실비약성 $H^{\infty}$ 상태궤환 제어기가 존재할 충분조건 및 제어기 설계방법을 PLMI의 형태로 제안한다. 또한, 완화기법(relaxation technique)을 통하여 PLMI를 유한개의 LMI의 형태로 변환하여 견실하고 최적화된 제어기 이득과 제어기 섭동 범위를 계산하고, 모의실험을 통해서 제시된 제어기의 타당성 및 견실성(robustness)과 비약성(non-fragility)을 검증한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권10호
• /
• pp.1304-1319
• /
• 2004

프로그램 시험 비용은 테스트 데이타를 생성하는 과정을 자동화함으로써 상당히 줄일 수 있다. 테스트 데이타 생성은 보통 선택된 프로그램 경로를 실행하는 입력 값들을 식별하는 데 주안점을 둔다. 지금까지 많은 연구가 있어왔지만 여전히 해결해야할 문제가 있다 그러한 문제들 중에 모양 문제가 있다. 모양 문제는 주어진 프로그램 경로를 수행하기 위해 요구되는 입력 자료구조를 밝혀내는 문제이다. 이 논문에서 이 모양 문제에 대한 새로운 방법을 제시한다. 이 방법은 주어진 경로를 포인터 역 참조가 없는 정적단일 할당문 (Static Single Assignment, SSA) 형태로 변환한다. 이는 주어진 경로 상에 존재하는 각 프로그램 문장을 등식이나 부등식과 같은 제약식으로 간주할 수 있게 해준다. 이러한 제약식에 대한 해는 각 입력 변수에 대한 'points-to relation' 형태로 나타난다. 간단한 예들을 통하여 제안한 방법에 대해 설명한다.에 대해 설명한다.

• 전자공학회논문지SC
• /
• 제39권3호
• /
• pp.183-190
• /
• 2002

본 논문에서는 구조화된 어파인(affine) 파라미터 불확실성을 가지는 시변 선형시스템과 구조적 불확실성을 가지는 상태궤환 제어기에 대한 견실 비약성 H∞ 제어기 설계방법을 다루었다. 또한 견실 비약성 H∞ 제어기가 존재할 충분조건, 제어기 설계방법 및 비약성을 만족하는 제어기의 꽉찬 집합(compact set)을 제시하였다. 이 때 제시한 조건은 변수치환과 슈어 여수(Schur complement)정리를 통하여 선형행렬부등식 (LMI : Linear Matrix Inequality)의 계수가 꽉찬 집합 내의 파라미터의 함수로 정의되는 파라미터화 선형 행렬부등식(PLMls: parameterized Linear Matrix Inequalities)으로 표현되므로 분리 볼록개념 (separated convexity concepts)에 기초한 완화기법을 이용하여 유한개의 LMI로 변환하였다. 그리고 본론문에서 제시한 견실 비약성 H∞ 제어기가 제어기이득의 변화에도 불구하고 폐루프시스템의 점근적 안정성 (asymptotic stability)과 외란감쇠 성능을 보장함을 보였다.

• 농업과학연구
• /
• 제21권1호
• /
• pp.60-66
• /
• 1994

하수 및 토양시료로부터 다수의 LAS분해세균을 분리하고 고농도 (LAS 200ppm)의 액체 배지에서 생육하면서 분해력이 높은 KL-3, SH-2, EN-1등 3개 균주를 선발하였다. 이들의 형태적, 생리적 및 배양적 성질에 따라 KL-3은 Klebsiella속, SH-2는 Shigella속, EN-1은 Enterobacter속 균주로 각각 동정되었다. 실험실용 발효조에서의 LAS의 분해양상은 배양초기에 분해속도가 빠르고 (1 일후의 분해율: KL-3 및 SH-2, 50%; EN-1, 20%), 배양 1-2일사이에서 그 속도가 크게 지연되다가 다시 분해가 빠르게 진행되며 3, 4일후에는 다시 늦어지는 경향을 나타내었다 (7일후의 분해율: KL-3, 85%; SH-2, 82%; EN-1, 75%). 균체의 생육은 배양 2일 후에 $10^8cfu/mL$수준의 정지기에 도달하였으며 pH는 최초 7.0에서 6.2~6.7의 범위로 저하되어 서서히 변화하는 경향이었다. 균체에 의한 LAS의 흡착량은 Shigella sp. SH-2균주의 경우가 가장 많았으며 Freund1ich흡착등식 Y= 0.030X + 0.95를 나타내었다.

• 한국컴퓨터정보학회논문지
• /
• 제18권6호
• /
• pp.9-19
• /
• 2013

본 논문에서는 상태 및 출력변수에 시간지연을 가지는 이산 비선형 마코비안 점프시스템의 퍼지 $H_{\infty}$ 필터 설계 방법을 다룬다. 리아프노프(Lyapunov) 함수를 이용하여 상태추정 오차시스템이 확률적 안정하며 외부외란 및 초기값 불확실성에 대하여 $H_{\infty}$ 성능을 만족하는 조건식을 유도하고 필터 존재 조건을 선형행렬부등식으로 나타낸다. 완화된 필터 존재 조건식을 유도하기 위하여 리아프노프 함수 선택 시에 시스템 모드에 종속적일뿐만 아니라 퍼지 멤버십 함수를 포함하는 확률-퍼지 리아프노프 함수를 선택한다. 또한 $H_{\infty}$ 성능 조건식 유도 시에 외부외란 뿐만 아니라 최기값 불확실성을 고려한다. 수치적 예제 및 컴퓨터 시뮬레이션을 통하여 제안된 방법의 타당성을 보인다.

• 한국지능시스템학회논문지
• /
• 제22권3호
• /
• pp.267-272
• /
• 2012

본 논문에서는 6 방향 자유도를 지닌 능동 자기베어링 시스템의 강인 디지털 퍼지 제어에 대한 내용을 다루고자 한다. 6방향 자유도에 대한 기본 모델은 회전자 구조와 원뿔형의 능동 자기베어링 시스템의 자기력 간의 상관관계에 의해 결정된다. 구성된 모델은 비선형 동적방정식으로 구성되기 때문에, 제어 목적을 달성하기 위한 제어 입력 신호의 설계가 어려우며, 외부 환경의 영향에 따른 시스템 파라미터 변화율에도 많이 민감한 편이다. 이를 보완하기 위하여, 획득한 동적방정식을 기반으로 TS 퍼지 모델에 기반 한 디지털 제어 목적에 적합한 구조로의 변환이 이루어진다. 여기서 말하는 제어 목적이란, 회전자의 회전을 외부의 물리적 접촉 없이 자기장의 힘만으로 동작하도록 베어링의 위치를 최대한 센터에 위치케 하는 것을 말한다. 본 논문에서는 6자유도를 지닌 능동 자기베어링 시스템의 비선형성에 대한 해석 방안으로 퍼지 모델링을 통해 시스템을 재해석하게 되며, 외부 파라미터 변화에 따른 대응을 위하여 강인 제어기 설계를 목적으로 한다. 제안된 강인 제어 알고리즘은 시뮬레이션 과정을 통해 검증된다.

• 한국항행학회논문지
• /
• 제22권6호
• /
• pp.630-635
• /
• 2018

본 논문에서는 시변 지연이 있는 선형 이산 시스템에 비구조화된 불확실성이 존재하는 경우에 대하여 시스템의 안정성을 다룬다. 고려된 시스템은 지연 없는 상태변수와 지연 상태 변수에 대한 시스템 행렬들은 시불변이나 지연시간이 구간범위에서 시변으로 변동하고, 크기에 대한 정보만을 얻을 수 있는 비구조화된 비선형 불확실성이 있는 시스템이다. 기존의 많은 결과들은 시변지연과 비구조화된 불확실성을 동시에 고려하지 못하고 한 가지 요소만 고려하여 연구되었다. 본 논문에서는 이 두 가지 요소를 모두 고려하여 새로운 안정조건을 도출하였고, 한 가지 요소만 고려한 기존 연구 결과와 비교하였다. 새로운 안정조건은 기존의 결과를 포함하는 매우 효과적인 수식으로 제안되며, 이는 복잡한 선형행렬부등식 혹은 리아프노프 방정식 등과 같은 복잡한 수치계산을 요구하지 않는 간단한 부등식이다. 수치예제를 통하여 제안된 안정조건이 기존의 결과들을 포함할 수 있음을 보이고 확장성과 효용성이 우수함을 확인한다.