• 제목/요약/키워드: 유효성 증명

검색결과 207건 처리시간 0.028초

옵저버를 이용한 크레인 작업자의 에러 검출에 관한 연구 (A Study on Fault Detection for Crane Handler by Observation Techniques)

  • 김환성;김승호
    • 한국항해항만학회:학술대회논문집
    • /
    • 한국항해항만학회 2005년도 춘계학술대회 논문집
    • /
    • pp.493-498
    • /
    • 2005
  • 본 연구에서는 옵저버를 이용한 크레인 작업자의 작업오류 검출에 관한 연구로서 작업오류를 검출할 수 있는 옵저버 설계 및 시뮬레이션에 의한 검증을 다루었다. 먼저, 본 연구에서는 크레인 작업자 모델에 대해 옵저버를 제안하였으며, 제안된 옵저버에 대한 이론적 증명을 통하여 작업 오류를 검출할 수 있음을 보였다. 시뮬레이션에서는 종래의 연구결과인 크레인 작업자 모델을 기초로 작업자 모델을 구현하였으며, 이때 작업 오류는 작업자의 부주위에 의한 오류로 가정하여 시뮬레이션을 행하였다. 이 결과, 본 연구에서 제안한 옵저버에 의해 작업 오류의 검출이 완벽히 이루어짐을 보였고 이에 본 연구에서 제안한 옵저버의 유효성을 확인할 수 있었다.

  • PDF

비선형 시스템을 위한 퍼지 모델 기반 제어기의 설계 (Design of a Fuzzy-Model-Based Controller for Nonlinear Systems)

  • 주영훈
    • 한국지능시스템학회논문지
    • /
    • 제9권6호
    • /
    • pp.605-614
    • /
    • 1999
  • 본 논문에서는 단일 입력 단일 출력을 갖는 복잡한 비선형 시스템을 위한 퍼지 제어 시스템의 설계 및 분석을 제시한다. 제안된 방법은 주어진 비선형 시스템의 지역적인 동특성을 표현하기 위해 퍼지 모델을 구성하여 이를 바탕으로 제어기를 구성한다. 전체 시스템을 총괄하는 제어기는 각 지역 퍼지 모델에 대한 보상기와 슬라이딩 모드 제어 이론을 사용한 전역 피드포워드 제어기를 사용하여 구성한다. 따라서 제안된 제어기는 퍼지 모델 기반 제어방법과 슬라이딩 모드 제어 방법의 장점을 동시에 취하여 기존의 퍼지 모델 기반 제어기와 달리 공통 리아프노프 행렬을 구하지 않고서 안정성을 증명할 수 있으며 향상된 성능 및 추종 성능을 보인다. 또한 제안된 제어방법은 기존의 퍼지 모델기반 제어 방법과는 달리 원 비선형 시스템에 대한 안정도의 해석이 가능하다. 제안된 방법의 우수성과 유효성을 보이기 위해 두가지 수치 예제를 제공한다.

  • PDF

RSA와 소인수 분해 문제에 기반한 대리서명 기법의 안전성 분석 (Security analysis o( proxy signature schemes based on RSA and integer factorization problems)

  • 박제홍;강보경;한재우
    • 정보보호학회논문지
    • /
    • 제15권2호
    • /
    • pp.65-72
    • /
    • 2005
  • 최근 Zhou, Cao 그리고 Lu는 강한 위조 불가능을 만족하는 RSA와 소인수 분해 문제 기반의 세 가지 대리서명기법을 제안하면서 각각의 대리서명 기법들이 랜덤 오라클 모델하에서 증명가능한 안전성을 제공한다는 주장을 하였다. 본 논문에서는 이 기법들이 원 서명자로부터 위임받지 않은 사용자도 유효한 대리서명을 생성할 수 있게 한다는 점을 보임으로써 대리서명이 만족해야 하는 기본적인 안전성을 만족하지 않는다는 것을 보인다.

콘크리트 부유식 구조물 함체의 건전성 평가 (Integrity Estimation for Concrete Pontoon of Floating Structure)

  • 박수용;김민진;서영교
    • 한국항해항만학회지
    • /
    • 제37권5호
    • /
    • pp.527-533
    • /
    • 2013
  • 본 논문은 구조물의 동적특성인 모드형상과 고유진동수를 이용한 손상탐지와 유효 물성치 추정을 통하여 콘크리트 축소모형과 실제 콘크리트 부유식 구조물 함체의 건전성을 평가하였다. 손상탐지의 경우 콘크리트 축소모형에 대한 동적실험을 수행하여 모드형상을 추출한 후 손상탐지기법에 적용하여 실용성을 증명하였다. 또한 실제 콘크리트 부유식 구조물 함체의 모드형상 및 고유진동수를 실험을 통하여 구한 후 구조계추정기법을 이용하여 콘크리트의 유효 물성치를 추정하였다. 손상탐지기법을 이용하여 축소모형의 손상부재를 정확히 찾아내었으며, 구조계추정기법을 이용하여 실제 콘크리트 부유식 함체의 현재 유효 물성치를 추정하였다.

잡 크래프팅(Job Crafting)이 조직유효성에 미치는 영향 -주도적 행동의 매개효과- (The Effect of Job Crafting on Organization Effectiveness - Mediating Role of Proactive Behavior -)

  • 최수형;이정미
    • 경영과정보연구
    • /
    • 제38권2호
    • /
    • pp.47-66
    • /
    • 2019
  • 본 연구는 잡 크래프팅이 조직유효성에 영향을 미치는 메커니즘에서 주도적 행동의 매개역할을 고찰하는데 연구의 목적이 있다. 본 연구를 통해서 다음과 같은 이론적 및 실천적 측면에 기여하고자 하였다. 첫째, 잡 크래프팅, 주도적 행동, 조직유효성 간의 새로운 발현 기제를 증명하여 이를 통해 이론적 논의를 확장하고자 하였다. 둘째, 실증된 잡 크래프팅, 주도적 행동, 조직유효성 간 발현 기제를 토대로 국내 조직 구성원에게 적용될 수 있는 실천적 시사점을 제공하여 조직 구성원의 직무만족을 더 높이고 이직의도를 줄이는 일터 환경을 조성하는데 기여하고자 하였다. 본 연구에서 독립변수인 잡 크래프팅 행동을 구조적 직무자원 증가, 사회적 직무자원 증가, 도전적 직무요구 증가, 방해적 직무요구 감소의 네 가지 유형으로 분류하였으며 실증분석 결과는 다음과 같다. 첫째, 잡 크래프팅의 하위요소인 구조적 직무자원 증가, 사회적 직무자원 증가 및 도전적 직무요구 증가는 직무만족에 정(+)의 영향을 미치는 것으로 나타났다. 둘째, 구조적 직무자원 증가, 사회적 직무자원 증가 및 도전적 직무요구 증가는 이직의도에 부(-)의 영향을 미치는 것으로 나타났다. 셋째, 잡 크래프팅은 주도적 행동에 정(+)의 영향을 미치는 것으로 나타났다. 넷째, 주도적 행동은 잡 크래프팅의 하위요소인 구조적 직무자원 증가, 사회적 직무자원 증가 및 도전적 직무요구 증가와 직무만족 간의 관계에서 매개역할을 하는 것으로 나타났다. 다섯째, 주도적 행동은 구조적 직무자원 증가 및 사회적 직무자원 증가와 이직의도 간의 관계에서 매개역할을 하는 것으로 나타났다. 본 연구는 잡 크래프팅이 조직유효성에 미치는 영향에 대한 이해를 제공하고 있으며 향후 잡 크래프팅에 관한 연구에 도움을 줄 수 있을 것으로 예상된다.

YAFFS2에서 콜드 데이터를 고려한 가비지 콜렉션 기법 연구 (A Study on Garbage Collection considering Cold Data in YAFFS2)

  • 정승완;윤준영;서대화
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2013년도 추계학술발표대회
    • /
    • pp.79-80
    • /
    • 2013
  • YAFFS2는 빠른 마운트와 안정성 등의 이유로 휴대용 기기의 파일 시스템으로 오랫동안 사용되었다. YAFFS2의 복사되는 유효 페이지를 최소화 하고 가비지 콜렉션 효율성을 최대화하기 위해 탐욕 기반 정책을 가진다. 하지만 탐욕 기반 가비지 콜렉션으로 인해 오랫동안 값이 변하지 않는 콜드 데이터를 가진 더티 블록은 가비지 콜렉션 대상 블록으로 선정되지 못하는 문제가 있다. 따라서 본 논문에서는 YAFFS2에서 콜드 데이터를 고려한 가비지 콜렉션 기법을 제안하고 성능 평가를 통해 제안 기법의 우수성을 증명한다.

섬유복합체로 휨보강된 RC보의 박리하중 예측에 관한 연구 (The Prediction of Debonding Strength on the Reinforced Concrete Beams Strengthened with fiber Reinforced Polymer)

  • 홍건호;신영수
    • 콘크리트학회논문집
    • /
    • 제17권6호
    • /
    • pp.903-910
    • /
    • 2005
  • 최근 철근콘크리트 구조물의 보강 방법으로 고인장강도를 갖는 섬유복합체를 부재의 외부에 부착시켜 휨 내력을 증진시키는 부착식 보강공법이 널리 사용되고 있으나, 부착되는 섬유복합체의 박리에 의한 파괴강도를 예측하여 설계식에 반영하기 위한 연구는 미흡한 것이 사실이다. 보강재의 박리에 의한 파괴는 부재 전체의 취성적인 파괴를 유도하게 되므로, 부재의 보강설계를 위해서는 이에 대한 검토가 필수적으로 요구되어 진다. 본 연구에서는 보강재의 부착강도에 큰 영향을 미치는 유효부착길이의 개념을 도입하여, 기존 연구 결과로부터 부재의 부착강도를 좌우하게 되는 유효부착길이를 산정 하였으며, 이와 같은 유효부착길이에 의한 보강재의 박리하중을 산정할 수 있는 설계식을 제안하였다. 제안된 설계식은 기존 연구자들의 실험 연구결과와 비교하여 그 신뢰성을 검증하도록 하였으며, 기존 연구자들의 제안식과의 비교를 통하여 본 제안식의 타당성을 증명하였다.

유비쿼터스 환경에서 자가 치유를 지원하는 하이브리드 예측 모델 (A Hybrid Prediction Model for Self-Healing in Ubiquitous Environment)

  • 유길종;박정민;이은석
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2006년도 춘계학술발표대회
    • /
    • pp.319-322
    • /
    • 2006
  • 오늘날 분산 컴퓨팅 환경에서 운용되는 시스템이 증가됨에 따라 시스템의 관리작업은 고수준의 자동화를 요구하고 있다. 이에 따라 시스템 관리방식은 전통적인 관리자 중심에서 시스템 스스로가 자신의 문제를 인식하고 상황을 분석하여 해결하는 자율 컴퓨팅 방식으로 변화하고 있으며, 현재 이에 대한 연구가 많은 연구기관에서 다양한 방법으로 이루어 지고 있다. 그러나 이러한 대부분의 연구에서 자율 컴퓨팅의 한 요소인 자가 치유는 문제가 발생한 이후의 치유에 주로 초점이 맞추어져 있다. 이러한 문제를 해결하기 위해서는 시스템 스스로가 동작환경을 인식하고 에러의 발생을 예측하기 위한 예측 모델을 필요로 하게 된다. 따라서, 본 논문에서는 자율 컴퓨팅환경에서 자가 치유를 지원하는 4 가지 예측 모델 설계 방법을 제안하며, 본 예측 모델을 ID3 알고리즘, 퍼지추론, 퍼지뉴럴네트워크 그리고 베이지안 네트워크가 각 시스템 상황에 맞추어 적절하게 사용되는 하이브리드 방식이며, 이를 통해 보다 정확하고, 신속한 에러 예측이 가능해진다. 우리는 제안 모델을 평가하기 위해 본 예측 모델을 자가 치유 시스템에 적용하여 기존 연구와 예측 효율을 비교하였으며, 그 결과를 통해 제안 모델의 유효성을 증명하였다.

  • PDF

인공신경망을 이용한 좌심실보조장치의 제어 시뮬레이션 (Control Simulation of Left Ventricular Assist Device using Artificial Neural Network)

  • 김상현;정성택;김훈모
    • 대한의용생체공학회:의공학회지
    • /
    • 제19권1호
    • /
    • pp.39-46
    • /
    • 1998
  • 본 연구에서 복잡한 비선형적 특성을 갖는 공압식 좌심실보조장치의 모델링과 제어에 인공신경망을 제안하였다. 일반적으로 좌심실보조장치는 비선형이 보상되어야 하는데 인공신경망은 학습능력에 의해 비선형 동적 시스템의 제어에 적용될 수 있다. 인공신경망 모델링을 통해 좌심실 보조장치의 동적 모델을 모델링하고 이를 기반으로 하여 인공신경망 제어기가 설계되었다. 제안된 알고리즘을 이용한 좌심실보조장치의 모델링과 제어성능 및 유효성은 컴퓨터 시뮬레이션에 의해 증명되었다.

  • PDF

자가치유 시스템을 위한 하이브리드 예측모델 (Hybrid Prediction Model for Self-Healing System)

  • 유길종;박정민;정철호;이은석
    • 한국HCI학회:학술대회논문집
    • /
    • 한국HCI학회 2006년도 학술대회 1부
    • /
    • pp.381-386
    • /
    • 2006
  • 오늘날 분산 컴퓨팅 환경에서 운용되는 시스템이 증가함에 따라 시스템의 관리작업은 고수준(high-level)의 자동화에 대한 요구가 증가하고 있다. 이에 따라 시스템 관리방식이 전통적인 관리자 중심의 방식에서 시스템 스스로가 자신의 문제를 인식하고 상황을 분석하여 해결하는 자율 컴퓨팅 방식으로 변화하고 있으며, 이에 대한 연구가 많은 연구기관에서 다양한 방법으로 이루어지고 있다. 그러나 이러한 대부분의 기존 연구들은 문제가 발생한 이후의 치유에 주로 초점이 맞추어져 있다. 이러한 문제를 해결하기 위해서는 시스템 스스로가 동작환경을 인식하고 에러의 발생을 예측하기 위한 예측 모델이 필요하다. 따라서 본 논문에서는 자율 컴퓨팅환경에서 자가 치유를 지원하는 4가지의 예측 모델 설계 방법을 제안한다. 본 예측 모델은 ID3 알고리즘, 퍼지 추론, 퍼지 뉴럴 네트워크 그리고 베이지안 네트워크가 각 시스템 상황에 맞춰 적절하게 사용되는 방식이며, 이를 통해 보다 정확한 에러 예측이 가능해진다. 우리는 제안모델의 평가를 위해 본 예측모델을 자가치유 시스템에 적용하여 기존 연구와 예측의 효율을 비교하였으며, 그 결과를 통해 제안 모델의 유효성을 증명하였다.

  • PDF