• 제목/요약/키워드: 선형논리

검색결과 178건 처리시간 0.023초

조이스틱 및 음성인식 겸용 이동기제어시스템 개발 (Development of Joystick & Speech Recognition Moving Machine Control System)

  • 이상배;강성인
    • 한국지능시스템학회논문지
    • /
    • 제17권1호
    • /
    • pp.52-57
    • /
    • 2007
  • 본 논문은 실시간 음성인식명령으로 구동되는 지능형 이동기제어시스템을 제안한다. 제안된 이동기제어시스템은 메인모듈, 음성인식모듈, 모터구동모듈, 센서모듈로 구성된다. 80C196KC로 구현된 메인모듈에서 퍼지논리가 적용된 지능형 제어시스템을 제안한다. 사용자의 몸무게 및 여러 가지 주변 환경요인들에 의한 비선형성을 개선하기 위해서 피드백제어가 가능한 모터구동모듈과 센서모듈이 구현된다. 또한 제안된 시스템에서 이동로봇의 제어를 위한 9개의 단어를 사용하여 동작을 테스트하였고, 제어입력으로 음성명령과 조이스틱 사용 시 이동로봇의 성능을 평가하였다.

비선형 시스템에서의 백스테핑 기법을 이용한 새로운 퍼지 외란 관측기 설계 (Novel Fuzzy Disturbance Observer based on Backstepping Method For Nonlinear Systems)

  • 백재호;이희진;박민용
    • 전자공학회논문지SC
    • /
    • 제47권2호
    • /
    • pp.16-24
    • /
    • 2010
  • 본 논문은 불특정한 외란을 가진 비선형 시스템에서의 백스태핑 기법을 이용한 새로운 퍼지 외란 관측가 설계 방법을 제안한다. 먼저, 퍼지 논리 시스템을 이용하여 불특정한 외란을 관측하기 위한 관측 입력을 가진 퍼지 외란 관측기를 설계한다. 제안된 외란 관측기가 불특정한 외란을 관측하는 것을 증명하기 위해 와란 관측 오차 시스템을 도입한다. 백스태핑 기법을 도입하여 각 단계에서의 퍼지 외란 관측기의 파라마터 적응 규칙과 외란 관측기의 관측 입력을 유도하고 외란 오차 시스템의 안정성을 증명한다. 제안된 외란 관측기의 명확성을 증명하기 위해서 모의 실험 예제들을 제공한다.

방사선 에너지 분석을 위한 MCA시스템 제작에 관한 연구 (Construction of Multichannel Analyser with Successive Approximation Type ADC)

  • 육종철;오병훈;김영균
    • Journal of Radiation Protection and Research
    • /
    • 제12권1호
    • /
    • pp.12-25
    • /
    • 1987
  • SA(Successive Approximation)형 ADC(Analog to Digital Converter)를 사용하여 방사선다중채널파고 분석기를 설계 제작하였다. 선형게이트, 윈도우 및 펄스스트레처는 논리 IC와 선형 IC들을 위주로 결합하여 구성하였으며, 분석시간이 $120{\mu}sec$인 ADC 1211(12 bit)을 중심으로 한 ADC 모듈의 메모리로는 S-RAM 6264 (Address 13 bit, Data 8 bit) 2개를 병렬로 연결하여 사용하였다. 마이크로 컴퓨터 (Apple II)가 전체 시스템을 제어하고 또 계측된 결과의 데이타를 분석할 수 있도록 인터페이스와 소프트 웨어도 만들었다. 제작된 시스템의 동작시험은 표준펄스 발생기로 $0{\sim}10V$ 사이의 일정한 펄스를 만들어 시스템에 입력시켜 그 펄스들을 계측하게 하고, 계측이 끝난 후 컴퓨터가 그 결과를 받아들여 분석하게 함으로써 이루어졌다.

  • PDF

효율적인 자동 주석을 위한 단어 임베딩 인공 신경 정리 증명계 구축 (Neural Theorem Prover with Word Embedding for Efficient Automatic Annotation)

  • 양원석;박한철;박종철
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2016년도 제28회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.79-84
    • /
    • 2016
  • 본 연구는 전문기관에서 생산되는 검증된 문서를 웹상의 수많은 검증되지 않은 문서에 자동 주석하여 신뢰도 향상 및 심화 정보를 자동으로 추가하는 시스템을 설계하는 것을 목표로 한다. 이를 위해 활용 가능한 시스템인 인공 신경 정리 증명계(neural theorem prover)가 대규모 말뭉치에 적용되지 않는다는 근본적인 문제를 해결하기 위해 내부 순환 모듈을 단어 임베딩 모듈로 교체하여 재구축 하였다. 학습 시간의 획기적인 감소를 입증하기 위해 국가암정보센터의 암 예방 및 실천에 대한 검증된 문서들에서 추출한 28,844개 명제를 위키피디아 암 관련 문서에서 추출한 7,844개 명제에 주석하는 사례를 통하여 기존의 시스템과 재구축한 시스템을 병렬 비교하였다. 동일한 환경에서 기존 시스템의 학습 시간이 553.8일로 추정된 것에 비해 재구축한 시스템은 93.1분 내로 학습이 완료되었다. 본 연구의 장점은 인공 신경 정리 증명계가 모듈화 가능한 비선형 시스템이기에 다른 선형 논리 및 자연언어 처리 모듈들과 병렬적으로 결합될 수 있음에도 현실 사례에 이를 적용 불가능하게 했던 학습 시간에 대한 문제를 해소했다는 점이다.

  • PDF

PC 수직 접합부의 극한 전단 내력 예측에 대한 인공 신경 회로망의 적용 (Application of Artificial Neural Networks to Predict Ultimate Shear Capacity of PC Vertical Joints)

  • 김택완;이승창;이병해
    • 전산구조공학
    • /
    • 제9권2호
    • /
    • pp.93-101
    • /
    • 1996
  • 인공 신경회로망은 인간의 뇌를 전산 모델로 구현한 것으로 상호 연결된 많은 정보 처리 유니트들로 구성되어 있으며, 이를 기초로 논리적인 추론을 수행할 수 있다. 특히, 신경망은 비선형 변수를 많이 포함하고 있는 복잡한 문제 해결에서 더욱 효과적이다. 신경망의 이러한 기능으로 인해 구조분야에서는 비선형적인 각종 구조실험의 결과예측이나 구조계획 그리고 최적 설계에 응용되고 있는 추세이다. 본 논문에서는 인공 신경 회로망의 기본 이론을 설명하고, 현재까지 정립되고 있지 않은 대형 콘크리트 판넬간 수직 접합부의 최대 전단 내력 예측에 기존의 제안식과 인공 신경 회로망의 예측 결과를 비교하여 신경망의 적용가능성을 검토하고자 한다.

  • PDF

스위치드 릴럭턴스 전동기의 가변속 구동을 위한 퍼지제어기 설계 (Design of Fuzzy Logic Controller for an Switched Reluctance Motor Variable Speed Drive)

  • 최재동;황영성;오성업;성세진
    • 전력전자학회논문지
    • /
    • 제4권3호
    • /
    • pp.240-248
    • /
    • 1999
  • 본 논문에서는 SRM의 가변속 구동을 위한 퍼지 논리제어기를 제안한다. SRM은 높은 비선형 특성을 갖으며 토크 출력을 극대화하기 위해 포화영역에서 동작한다. 거시적 제어와 미시적 제어를 갖는 퍼지 제어기를 포함하는 높은 비선형 SRM 구동 시스템을 모델링 하기 위한 체계적인 접근이 제시되었다. 속도변화와 외란의 동적 특성을 통해 폭넓은 동작 범위조건에 대한 SRM의 성능해석이 제시되었다. 퍼지제어기에 의해 구동되는 SRM 시스템은 그 장점을 나타내기 위해 종래의 제어기와 비교되었다. 제안된 퍼지제어기의 속도변화와 외란에 대한 동작을 확인하기 위해서 실험결과가 제시되었다.

  • PDF

Field Programmable Stateful Logic Array 패브릭 매핑 및 배치 (Fabric Mapping and Placement of Field Programmable Stateful Logic Array)

  • 김교선
    • 전자공학회논문지
    • /
    • 제49권12호
    • /
    • pp.209-218
    • /
    • 2012
  • 최근 무어의 법칙을 연장시킬 시스템 집적 기술로서 Field Programmable Stateful Logic Array (FPSLA)가 제안되었다. 본 논문은 FPSLA의 설계 자동화 절차를 확립하고 논리 합성, 동기화, 물리적 매핑, 자동 배치 등의 접근 방법을 최초로 제시한다. 특히, 동기화를 통해 배치를 1차원 문제로 축소한 후 비선형 최적화 기법을 개량한 개략 배치 모델 및 하향식 계층적 2분법을 이용한 배치 적법화 알고리즘을 제안하였다. 또한, 제안된 모델 및 알고리즘을 소프트웨어로 구현하여 ACM/SIGDA 벤치 마크 예제에 적용함으로써 그 유효성을 입증하였다. 이 소프트웨어에는 Fanout 수만큼 출력 상태를 같은 단의 멤리스터성 스위치에 복사해야 하는 FPSLA의 특성을 고려하여 최적화 단계 별로 넷을 하이퍼에지로 통합했다가 다시 에지로 분리하는 기법이 제안되었으며 약 18.4%의 추가적 최적화를 이룩했다. FPSLA의 출력 상태 복사는 논리 단 일부에 셀 밀도가 집중되는 문제를 노출했으며 단위 논리 게이트의 Fanin을 제한하는 기법으로 18.5% 감소 효과를 얻었다. FPSLA의 실용성 확보를 위해서는 우선 논리 합성 시 Fanin의 수가 일부 단에 집중되지 않도록 제약하는 방안을 개발하여야 한다. 또한, FPSLA 패브릭 구조를 이식하기 위해 대칭성이 감소된 나노와이어 크로스바가 형성하는 복잡한 그래프 상에서 수행되어야 하는 자동 배선의 효율성 연구도 필요하다. 이러한 툴 개발은 설계 자동화 자체뿐만 아니라 FPSLA의 패브릭 구조 개선에 필요한 실험에 유용한 평가 도구로서도 큰 역할을 할 것이다.

배수재가 설치된 연약지반의 2차압축을 고려한 축대칭 비선형 압밀해석 (Axisymmetric Nonlinear Consolidation Analysis for Drainage-installed Deposit Considering Secondary Compression)

  • 김윤태
    • 한국지반공학회논문집
    • /
    • 제21권3호
    • /
    • pp.133-140
    • /
    • 2005
  • 연약지반에서 압밀속도를 가속화시키고 설계 전단강도를 얻기 위하여 선행압밀공법과 병행된 연직배수공법이 널리 사용되어 왔다. 본 연구에서는 배수계가 설치된 연약지반에서 압밀과정 동안에 간극비의 감소로 인한 압축성과 투수계수의 변화를 고려할 뿐만 아니라 1차압밀 동안에 유발되는 2차압밀(혹은 크리프)을 고려할 수 있는 축대칭 비선형 압밀이론이 개발되었다. 측대칭 비선형 압밀해석을 위한 수치해석 프로그램, AXICON은 가정 B를 바탕으로 유한차분법을 적용하여 개발되었다. 가정 A를 바탕으로 한 Hansbo의 해석적인 해와 AXICON 해석결과를 비교$\cdot$분석하였다. 또한 Ska-Edeby 시험성토 현장지반에서 관측된 침하량과 간극수압의 계측자료와 비교하였다. 해석결과에 의하면 가정 A는 현장침하량을 일반적으로 과소 평가하며, 가정 B가 논리적으로 타당하다. 또한 제안된 해석 프로그램을 사용하면 실제 현장의 거동을 잘 예측할 수 있다.

지도제작에 따른 선형사상의 공간적 오류 개선을 위한 일반화 (A Cartographic Generalization for Correcting Spatial Errors of Linear Features)

  • 김남신
    • 한국지리정보학회지
    • /
    • 제7권1호
    • /
    • pp.39-51
    • /
    • 2004
  • 본 연구는 선형사상 일반화에서 사상들 간의 공간적 충돌, 벡터변위에 따른 위치변동 등의 문제를 개선하기 위해 새로운 Simoo 알고리즘을 제안하고자 하였다. Simoo 알고리즘의 원리는 단순화와 완만화를 채택하였다. Simoo 알고리즘에서 사용된 임계치는 수선길이, 편각, 평균 vertex 길이이다. Simoo 알고리즘은 축척별 적용 가능, 지도학적 세련미, 자료점의 위치 변동에 따른 논리적 오류 발생의 감소, 공간현상특징 유지 등의 특징을 갖는다. Simoo 알고리즘의 적용 결과는 Douglas-Peucker 알고리즘과 비교하였다. 그 결과 두 알고리즘에서 해안선과 하계망 길이는 97% 이상 유지되었으며, 자료점 제거율은 Simoo보다 Douglas-Pecuker 알고리즘이 효과적이었고, 사상들간의 충돌은 Simoo에서 최소화되었다. 선의 곡률과 완만화는 Simoo 적용시 축척에 따라 감소하였다. 결과적으로 Douglas-Peucker보다는 Simoo 알고리즘이 지도학적 일반화에 적합하다고 볼 수 있다.

  • PDF

FCSR 난수열의 암호학적인 특성에 관한 연구 (A Study on the Cryptographic Properties of FCSR Sequences)

  • 서창호;김정녀;조현숙;김석우
    • 정보처리학회논문지C
    • /
    • 제8C권1호
    • /
    • pp.12-15
    • /
    • 2001
  • 합산 난수 발생기(Summation Generator)는 LFSR의 출력 수열을 정수 합산하여 키 수열을 발생한다. 이와 유사하게 두개의 FCSR의 출력 수열을 상관관계에 안전한 비트별 논리합(bitwise exclusive-oring)을 이용한 이진 난수열 발생기를 제안하고, 출력된 수열의 암호학적 특성을 살펴본다.

  • PDF