• 제목/요약/키워드: 증명이론

검색결과 623건 처리시간 0.024초

SIMAN을 이용한 JIT생산시스템의 Simulation 구현 (A Study on the Simulation of JIT Production System Using SIMAN)

  • 조성훈;안동규
    • 한국컴퓨터정보학회논문지
    • /
    • 제3권1호
    • /
    • pp.113-124
    • /
    • 1998
  • JIT의 시스템적 특징 때문에 JIT 생산 시스템의 효율성은 단순한 수식으로서 정량화 되지 못하며, 실질적인 유용성을 인정하면서도 JIT시스템 도입에 따른 효과를 파악하는 방법이 구체적으로 정식화되어 있지 않다. 그러므로 본 논문에서는 JIT 생산시스템의 개요와 JIT 생산시스템의 유용성을 입증하기 위하여 SIMAN을 이용하여 Simulation을 실시하였다. 아울러 이론적 연구에서 제시된 바와 같이 JIT 생산시스템은 생산공장 내에서 재공품을 적게 발생하여 적정한 생산효율을 유지함으로서, 판매과정에서의 재고 역시 적게 유지될 수 있다는 것을 Simulation과정을 통하여 증명하였다.

  • PDF

감정확률을 이용한 동적 얼굴표정의 퍼지 모델링 (Dynamic Facial Expression of Fuzzy Modeling Using Probability of Emotion)

  • 강효석;백재호;김은태;박민용
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2007년도 춘계학술대회 학술발표 논문집 제17권 제1호
    • /
    • pp.401-404
    • /
    • 2007
  • 본 논문은 거울 투영을 이용하여 2D의 감정인식 데이터베이스를 3D에 적용 가능하다는 것을 증명한다. 또한, 감정 확률을 이용하여 퍼지 모델링을 기반으로한 얼굴표정을 생성하고, 표정을 움직이는 3가지 기본 움직임에 대한 퍼지이론을 적용하여 얼굴표현함수를 제안한다. 제안된 방법은 거울 투영을 통한 다중 이미지를 이용하여 2D에서 사용되는 감정인식에 대한 특징벡터를 3D에 적용한다. 이로 인해, 2D의 모델링 대상이 되는 실제 모델의 기본감정에 대한 비선형적인 얼굴표정을 퍼지를 기반으로 모델링한다. 그리고 얼굴표정을 표현하는데 기본 감정 6가지인 행복, 슬픔, 혐오, 화남, 놀람, 무서움으로 표현되며 기본 감정의 확률에 대해서 각 감정의 평균값을 사용하고, 6가지 감정 확률을 이용하여 동적 얼굴표정을 생성한다. 제안된 방법을 3D 인간형 아바타에 적용하여 실제 모델의 표정 벡터와 비교 분석한다.

  • PDF

'부정'을 통한 발전적 수학학습에 관한 연구

  • 한길준;정승진
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제13권2호
    • /
    • pp.729-750
    • /
    • 2002
  • 고대 이후로 수학은 끊임없이 발전되어 왔고, 지금도 발전 지향적인 변화가 이루어지고 있다. 수학을 발전적 관점에서 보는 것은 기존의 수학적 지식을 답습하여 그 기능을 익히는 것보다는 수학을 끊임없이 창조, 발전시키는 대상으로 생각하는 것이다. 수학에서 발전적 학습은 대상을 고정된 것으로 보지 않고, 하나의 결과가 얻어졌더라도 보다 더 나은 방법을 알아본다거나 또는 이를 바탕으로 보다 일반적인, 보다 새로운 것을 발견하려는 것이다. 이러한 발전적 수학학습은 증명과 반박의 과정, What if not, 관점의 변경, 부정에 의한 방법 등을 통해서 이루어 질 수 있다. 본 연구에서는 발전적인 수학학습에 대한 다양한 이론을 고찰하고 특히, 부정을 통한 발전적 학습 전개의 방법 및 과정에 대하여 분석함으로써 발전적 수학학습에 대한 방향을 탐색해 보고자 한다.

  • PDF

오픈소스 소프트웨어의 지속적인 사용에 영향을 미치는 요인에 관한 연구

  • 송영미;김상현
    • 한국경영정보학회:학술대회논문집
    • /
    • 한국경영정보학회 2008년도 춘계학술대회
    • /
    • pp.972-977
    • /
    • 2008
  • 최근 소프트웨어 업계의 화두로 등장하고 있는 정보기술은 오픈소스 소프트웨어(Open Source Software: OSS)이다. 하지만, 사용자의 많은 관심에도 불구하고 지금까지 오픈소스 소프트웨어에 대한 연구는 정성적이거나, 탐색적인 연구로 한정되었다. 사용자 관점에서 왜 오픈소스 소프트웨어에 만족하고, 나아가 지속적으로 이 기술을 사용 하는지에 대한 실증적 연구는 아주 미미하다. 따라서 본 연구에서는 오픈소스 소프트웨어의 성공모델을 제안하는 대신 사용자의 만족에 그치지 않고 지속적인 사용으로 이끄는 영향요소에 대해 실증적으로 증명하고자 한다. 본 연구에서는 Oliver(1980)의 기대불일치이론 (Expectation Disconfirmation Theory: EDT)을 근거로 한 Bhattacherjee(2001)의 정보시스템 수용 후 행동 모델을 연구모형의 기초로 소프트웨어 특성(사용용이성, 유지보수성, 호환성, 맞춤화, 상호 작용성)의 영향을 제안하였다. 본 연구의 결과를 통해 개인 및 기업의 오픈소스 소프트웨어 활성화를 촉진시키는데 기여하는데 그 의의가 있다.

  • PDF

Retinex 기반의 가상 노출 이미지 생성을 통한 HDR 영상 생성 방법 (Retinex-based Virtually Exposed Image Fusion for Single Image HDR)

  • 박재성;길태호;황인성;조남익
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송∙미디어공학회 2016년도 하계학술대회
    • /
    • pp.242-245
    • /
    • 2016
  • 본 논문에서는 단일 노출 영상으로부터 다수의 가상 노출 영상을 생성하고, 그 영상을 한 장의 HDR 영상으로 합성하여 SDR 디스플레이 시스템에 개선된 화질의 영상을 보여주도록 하는 방법을 제안한다. 이 방법에서는 주어진 단일 노출 영상을 Retinex 이론을 적용하여 조명 성분과 반사 성분으로 분리하고, 새로운 노출 조절 알고리즘을 제안하여 다수의 가상 조명 성분과 원본 이미지의 반사 성분을 생성하며 이들을 이용하여 다수의 가상 노출 영상을 생성한다. 생성된 다수의 가상 노출 영상은 가중치 합성 함수에 의해서 암부의 세부 표현력이 개선되고 명암비가 높아져 SDR display 에서도 우수한 화질의 HDR 영상으로 변환된다. 기존에 제안된 알고리즘과 비교 실험을 통해, 본 논문에서 제안된 HDR 영상 합성 기법의 성능을 증명한다.

  • PDF

수치모형을 이용한 수위-유량관계 개발 (Determination of Stage-Discharge Relationship using the Numerical Model)

  • 김원;김치영;김동구;이찬주;황석환
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2005년도 학술발표회 논문집
    • /
    • pp.319-323
    • /
    • 2005
  • 연속적인 유량자료의 생산을 위해 일반적으로 단일 곡선 형태의 수위-유량관계가 사용되고 있다. 그러나 홍수수문곡선 상승부와 하강부의 기울기, 조도계수, 하상경사 등 흐름에 영향을 미치는 여러 인자에 의해 수위-유량곡선은 단일 형태가 아니라 복잡한 루프형태로 나타나게 된다. 지금까지 이론적으로는 이와 같은 수위-유량관계의 특성이 알려져 있긴 하였지만 복잡한 특성을 규명하는 것이 곤란하여 구체적으로 분석되지 못한 것이 현실이다. 이와 같은 특성의 분석을 위해서는 하천형상과 더불어 하천 흐름의 동역학적인 분석이 필요하다. 본 연구에서는 댐 직하류 지점의 수위와 유량의 분석을 통하여 실제 발생하고 있는 수위-유량관계의 복잡성을 확인하였고, 수치모형에 의해 복잡한 수위-유량관계를 재현하였다. 분석 결과 모든 지점에서 수위-유량관계가 매우 복잡한 형태로 나타나 일반적으로 사용되는 단일곡선과는 많은 차이가 있는 것으로 나타났다. 또한 수치모형에 의해 이와 같은 복잡한 수위-유량관계가 잘 재현될 수 있음을 증명하였다. 이와 같은 결과는 기존에 사용되고 있는 단일 곡선형 수위 -유량관계가 많은 오차를 포함하고 있음을 나타내며, 적절한 수치모형에 의해 이와 같은 한계를 극복할 수 있는 것을 나타낸다고 할 수 있다.

  • PDF

원자력 발전소에 있어서 방화의 최적화를 위한 확률론적 방법

  • 김화중
    • 한국화재소방학회논문지
    • /
    • 제8권2호
    • /
    • pp.58-63
    • /
    • 1994
  • 독일 원자력 발전소에서는 포괄적인 방화 연구의 한 부분으로써 방화에 관한 분석과 그것을 최적화 할 수 있는 확률론적 방법을 개발하였다. 그 일반적인 흐름을 살펴보면, 미국의 화재 위험성 분석의 방법을 따랐으며, 세밀한 부분에서는 약간의 수정을 한 것이다. 먼저, 선정된 공장지역에서의 화재 사건 경로(fire event tree)는 화재가 발생했을 때, 방화 조치와 안전시스템을 능 수동적으로 고려해서 설정된다. 방화 조치와 안전 시스템에 있어서의 실패 모델(failure model)은 발화 후 시간과 화재 영향과 같은 일상적인 변수와 관련해서 생긴다. 이러한 관련성은 일차(first-order) 시스템의 신뢰성 이론을 적절히 이용해서 화재 사건 경로를 분석할 때 알 수 있다. 더불어 화재가 발생했을 떠 방화 시스템의 실패 빈도, event paths의 상대적인 비중, 이러한 path내에서의 방화 조치 그리고 실패모델의 변수 등은 모두 시간 함수로 계산된다. 이러한 자료에 근거를 두고, 방화의 최적화는 주로 event path, 방화조치와 비중이 가장 큰 변수를 수정함으로써 가능하게 된다. 이것은 독일의 1300 MW PWR reference plant를 예를 들어서 증명될 것이다. 또한 충고를 받아들여서 수정을 하는 것은 발전소 직원과 화재 피해의 위험성을 줄일 수 있다는 것을 보여주고 있다.

  • PDF

적응 퍼지 슬라이딩 모드 제어 (Adaptive fuzzy sliding mode control)

  • 유병국;정사철;함운철
    • 제어로봇시스템학회논문지
    • /
    • 제2권4호
    • /
    • pp.287-296
    • /
    • 1996
  • 본 논문에서는 퍼지추정기와 슬라이딩 모드제어이론이 고려되었다. 비선형시스템에 대한 슬라이딩 모드 제어기 설계 시에 그 시스템의 비선형함수를 추정하기 위하여 퍼지논리시스템이 사용되는 두가지의 적응처지슬라이딩 모드제어방식을 제안한다. 첫번째 방식에서는 비선형시스템, x/sup (n)/=f(x under bar, t) + b(x under bar, t)u 의 알지 못하는 함수 f를 추정하기 위하여 하나의 퍼지논리시스템이 사용되어진다. 두번째 방식에서는 비선형시스템의 f와 b에 대한 추정기로서의 두개의 퍼지논리시스템이 각각 사용되어진다. 각각의 방식에 대하여 제어시스템의 안정도를 보장하도록 하는 적응법칙을 설계하며 퍼지추정기와 비선형함수와의 추정오차를 줄이기 위해 각각에 대한 강인한 제어법칙을 제안한다. 제안된 네 가지의 제어법칙에 대한 안정성을 증명하고 컴퓨터시뮬레이션에서 역진자시스템에 적용하여 그에 대한 타당성과 각각의 비교를 보인다.

  • PDF

미소 감쇄 시스템에 대한 감쇄 주입법을 이용한 외란 관측기 설계 (Disturbance Observer for the Low Damped System using Damping Injection Method)

  • 주영준;심형보;서진헌;이찬화
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2008년도 학술대회 논문집 정보 및 제어부문
    • /
    • pp.73-74
    • /
    • 2008
  • 이 논문은 두 개의 질량을 가진 미소 감쇄 시스템에 대해 외란 관측기 기반 추종 제어기의 강인성을 증가시키는 새로운 감쇄 주입법(damping injection)을 제시한다. '미소 감쇄'란 감쇄 계수가 다른 파라미터들과 비교해서 매우 작다는 것을 의미한다. 파라미터에 불확실성을 가진 미소 감쇄 시스템에 대한 외란 관측기의 적용은 전체 시스템을 불안정성하게 할 수 있다는 것을 관측할 수 있기에, 외란 관측기의 구조 중 공칭 (Nominal) 모델에 인위적으로 더 많은 감쇄를 추가함으로써 강인성을 강화시키는 방법을 제안한다. 또한 강인 제어 이론의 제로 익스클루젼(zero exclusion) 정리를 이용하여 감쇄 주입법의 안정성을 증명하고 시뮬레이션과 실험을 수행하였다.

  • PDF

PWM 인버터의 DC 링크 맥동전압 제어에 의한 특정 고조파 제어기법 (A Study on Selected Harmonic Control Method for PW Inverter by Fluctuating input Voltage Method)

  • 전희종;박재원;오종민;정을기;정인성
    • 한국조명전기설비학회지:조명전기설비
    • /
    • 제7권6호
    • /
    • pp.51-59
    • /
    • 1993
  • 본 연구에서는 PWM 인버터의 DC 링크측 맥동전압 및 불평형 부하에 의한 부 고조파를 줄임과 동시에 특성 고조파 제거를 위한 기법을 제안한다.제안된 방법으로 DC 링크측 맥동전압에 의한 고조파를 제거하기 위해 피드포워드 제어방식(feedforward control method)을 채택하여 적절한 변조지수가 선택되도록 하였다. 또한 특정 고조파(selected harmonics)를 제거하기 위하여 출력전압에 따라 필요한 최적의 해를 결정한 후, 이를 ROM에 저장하여 인출하는 방식을 도입하였다.본 연구의 타당성을 입증하기 위하여 필요한 값들을 이론적으로 구하고 컴퓨터 시뮬레이션을 행하여, 파이롯트 시스템을 구현하여 DC 링크측 맥동전압이 존재할 때 제안된 기법으로 맥동전압에 의한 고조파와 특정 고조파들이 제거됨을 증명하였다.

  • PDF