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

검색결과 69건 처리시간 0.037초

Development of an expert system for a PC's fault diagnosis using causal reasoning

  • 양승정;이원영
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회 1996년도 추계학술대회발표논문집; 고려대학교, 서울; 26 Oct. 1996
    • /
    • pp.23-26
    • /
    • 1996
  • 인과관계적 추론 방법(causal reasoning)은 시스템 고장을 시스템 구조나 행동의 원인 상과관계를 사용하여 분류하는 것으로서 관측된 행도오가 기대행동의 차이를 조사하여 인식하게 된다. 본 연구에서는 징후(symptom)를 분석 및 분류할 때에 시스템의 기능적인 계층구조를 이용한다. 전문가시스템의 구축은 KAPPA-PC를 사용하였다. KAPPA-PC는 규칙 및 논리에 근거한 방법과 객체지향적 지식 표현 기법을 사용한다. 대다수의 사람들이 일상적으로 사용하는 PC(Personal Computer)는, 특히 하드웨어에서 고장이 일어났을 때 수리자의 노우하우(know-how)로 고쳐지는 경우가 대부분이다. 본 논문에서는 자주 일어날수 있는 PC의 하드웨어적 고장에 일반사용자들이 쉽게 접근해서 그 원인과 진단을 내릴 수 있도록 했으며 작은 고장 원인이 전체 시스템구조내에서 어떤 상관관계를 가지는지를 고찰하였다.

  • PDF

고등학교 수학 I "통계"에 대한 고찰 (Critical Review of Statistics Chapter in High School Mathematics I)

  • 허명회
    • 응용통계연구
    • /
    • 제20권1호
    • /
    • pp.159-165
    • /
    • 2007
  • 제7차 교육과정 고등학교 수학 I의 통계 단원을 논리의 정 합성 측면에서 살펴보았다. 검토 결과 큰 수의 법칙에서 신뢰구간에 이르기까지 수리적 연결이 곳곳에서 끊어져 있어, 고교 수학 수업에 무리가 있는 것으로 보인다. 개선 방안으로, 1) 몇 가지 요목에 대한 고교 수준에서 교수 가능한 논거를 제시하고 2) 교수 요목의 변경 또는 축소를 제안한다.

퍼지논리에 입각한 간기능 검사 결과의 자동분석 (Fuzzy rule based automated liver function test analysis)

  • 양승옥;정기호;김종원;황유성;이태수;차은종
    • 대한의용생체공학회:학술대회논문집
    • /
    • 대한의용생체공학회 1993년도 춘계학술대회
    • /
    • pp.94-97
    • /
    • 1993
  • 퍼지규칙에 기반을 둔 간기능검사 자동 분석 시스템을 제안하였다. 전문의의 지식과 경험을 수리화한 소속함수를 설정한 후 4가지의 간질환이 있는 118명의 환자를 대상으로 측정된 6종목의 간기능검사 결과에 적용하여 80%의 높은 적중율을 얻었다. 질환별 적중향상은 전문의가 판정한 때 예상되는 것과 일치하였다. 본 연구에서 제안하는 시스템은 유사한 상황의 모든 진단시스템에 동일하게 적용할 수 있다.

  • PDF

지리정보 DB 설계 지침의 표준화 연구 (A study on the Standardization of Design Guidelines for Geographic Information Databases)

  • 임덕성;문상호;시종익;홍봉희
    • 한국공간정보시스템학회 논문지
    • /
    • 제5권1호
    • /
    • pp.49-63
    • /
    • 2003
  • 현재 ISO, OGC 등의 국제표준화 기관들을 중심으로 지리정보 표준화에 대한 작업이 활발하게 진행 중에 있으며, 이러한 결과로 다수의 GIS 표준이 제정되었다. GIS DB 들간의 공간정보 공유, 상호 교환, 유통 등의 상호운용성을 높이기 위한 표준화 작업들은 개방형 인터페이스 설계 표준에 중점을 두고 있다. 그러나 이러한 표준화 작업에서는 지리정보 DB 자체에 대한 스키마 설리 절차 및 방법 등은 고려하고 있지 않고, 상호운용을 위한 인터페이스를 표준화하거나 공간 DB의 추상스키마 표준만을 제안하고 있다. 설계 표준 없이 서로 다른 데이터 모델에 따라 개별적으로 구축된 지리정보 DB들간의 표준 인터페이스를 통한 데이터공유는 데이터 모델의 상이성으로 인해 정보의 손실이 발생하는 문제가 있다. 본 논문에서는 GIS DB를 구축할 때 서로 다른 GIS S/W를 이용하더라도, 구축된 지리정보시스템들간의 공간 데이터 모델, 논리적 구조, 의미 구조 등을 통일할 수 있도록 하기 위한 지리정보 DB의 설계 지침을 제시한다. 특히, ISO 추상 스키마 표준을 관계형 모델, 객체-관계형 모델, 객체 중심 모델, 기하 중심 모델로 변환하는 표준 지침을 제안한다. 그리고 기존의 상용 GIS S/W를 대상으로 논리적, 물리적 설계 지침에 따른 각 S/W의 적용 예제 모델을 제시하여 DB 설계 지침으로 활용하기 위한 토대를 제공한다. 본 논문에서 제시한 지리정보 DB 설계 지침의 응용 스키마, 개념적 및 논리적/물리적 구현 스키마를 적용하여 GIS DB를 구축하는 경우에는 각 DB들 간의 상호운용성이 원활해지고 각 스키마들의 산출물을 통하여 통일화된 스키마 정의 및 카탈로깅 지원이 가능해진다.템 개발은 지자체 GIS 재사용의 문제를 해결해 줄 수 있을 것이다.정들이 단계적으로 성과를 확보하며 이루어져야 가능하다. 여러 지자체를 중심으로 수행된 지자체 GIS 감리와 컨설팅의 경험을 통해 도출된 문제점들을 일반화시켜 정리하였으며, 이를 통해 지자체 GIS사업의 추진 및 운영모델을 제시하였다. 표시할 수 있음으로서 의사결정에 보다 많은 도움을 줄 수 있을 것이다. 비트율의 증가와 화질 열화는 각각 최대 1.32%와 최대 0.11dB로 무시할 수 있을 정도로 작음을 확인 하였다.을 알 수 있었다. 현지관측에 비해 막대한 비용과 시간을 절약할 수 있는 위성영상해석방법을 이용한 방법은 해양수질파악이 가능할 것으로 판단되며, GIS를 이용하여 다양하고 복잡한 자료를 데이터베이스화함으로써 가시화하고, 이를 기초로 공간분석을 실시함으로써 환경요소별 공간분포에 대한 파악을 통해 수치모형실험을 이용한 각종 환경영향의 평가 및 예측을 위한 기초자료로 이용이 가능할 것으로 사료된다.염총량관리 기본계획 시 구축된 모형 매개변수를 바탕으로 분석을 수행하였다. 일차오차분석을 이용하여 수리매개변수와 수질매개변수의 수질항목별 상대적 기여도를 파악해 본 결과, 수리매개변수는 DO, BOD, 유기질소, 유기인 모든 항목에 일정 정도의 상대적 기여도를 가지고 있는 것을 알 수 있었다. 이로부터 수질 모형의 적용 시 수리 매개변수 또한 수질 매개변수의 추정 시와 같이 보다 세심한 주의를 기울여 추정할 필요가 있을 것으로 판단된다.변화와 기흉 발생과의 인과관계를 확인하고 좀 더 구체화하기 위한 연구가 필요할 것이다.게 이루어질 수 있을 것으로 기대된다.는 초과수익률이 상승하지만, 이후로는 감소하므로, 반전거래전략을

  • PDF

WDM의 논리망 구성과 파장할당 그리고 트래픽 라우팅을 위한 개선된 통합 해법 (unifying solution method for logical topology design on wavelength routed optical networks)

  • 홍성필
    • 한국통신학회논문지
    • /
    • 제25권9A호
    • /
    • pp.1452-1460
    • /
    • 2000
  • 논리망 구성, 파장할당, 그리고 트래픽 라우팅은 WDM 전송망 구성의 핵심적인 문제들이다. 망 전체 수준의 최적성을 위해서는 이 문제들을 통하여 접근할 필요성이 있으며, 최근 일련의 연구들은 이러한 통합 모형과 해법의 추구 과정으로 볼 수 있다. 그 중에서 Krishnaswamy와 Sivarajan이 제시한 모형은, 통합성과 완비성이 정도로 볼 때, 가장 개선된 것이다. 특히 이 수리모형은, 이전의 비선형모형에 비해, 상대적으로 해법이 용이한 정수선형계획모형이라는 장점을 가지고 있다. 그러나 이 연구는 , 정수조건을 완화한 선형계획문제를 푼 다음 라운딩(Rounding)에 의해 정수해를 구하는 해법을 제시하였다. 이러한 초보적인 해법은 라운딩이 성공적인 경우 최적 품질에 가까운 해를 생성하지만, 일반적으로 다음과 같은 문제들을 갖고 있다. 첫째, 대형 선형문제를 그대로 풂으로써, 매우 긴 계산시간을 요한다. 둘째, 구해진 해가 모형에 반영된 기술적 제약조건들을 만족시키지 못하는 비가능해(infeasible solution) 일 수 있다. 예를 들어 광신호의 감쇠현상을 방지하기 위한 흡(hop)수 제약조건이나, WDM의 필수적 제약인 파장개수의 상한 등이다. 본 연구는 [7]에서 제시한 수리모형에 기반하여, 개선된 해법을 제시하고자 한다. 즉, 훨씬 단축된 시간 안에 모든 제약 조건을 만족하는 해법을 제시한다. 또한, 품질 면에서도 [7]에 제시된 최적해와 대체로 비슷한 수준의 해를 제공할 수 있다.

  • PDF

튜링의 인지과학: 튜링 탄생 백주년을 기념하는 메타수학 에세이 (Turing's Cognitive Science: A Metamathematical Essay for His Centennial)

  • 현우식
    • 인지과학
    • /
    • 제23권3호
    • /
    • pp.367-388
    • /
    • 2012
  • 이 연구는 튜링의 탄생 백주년을 맞이하여 인지과학을 위한 그의 심대한 공헌을 고찰하기 위한 작업이다. 이 논문에서는 특히 튜링에게 가장 중요한 학문적 영향을 주었던 괴델의 시각을 통하여 튜링의 공헌과 입장이 논의된다. 이를 위하여 메타수학적 접근이 시도되며, (1) 튜링의 인지에 대한 수학적 분석, (2) 보편튜링기계, (3) 보편튜링기계의 한계, (4) 보편튜링기계의 한계를 넘는 모델로서의 오라클튜링기계, (5) 인지과학을 위한 튜링테스트가 논의된다. 이 연구에 의하면, 튜링의 공헌은 다음과 같이 정리될 수 있다. 첫째 튜링은 수리논리를 사용하여 마음과 물리적 세계의 새로운 가교를 발견했다. 둘째, 튜링은 마음의 작동에 대하여 새로운 형식적 분석을 제공했다. 셋째, 튜링은 자신의 튜링기계의 한계를 넘어서는 마음의 새로운 모델로서 오라틀 튜링기계와 연결주의적 신경망기계를 제시했다. 우리 인지과학자들은 튜링의 어깨 위에 서서 늘 새로운 튜링테스트를 기다리고 있게 될 것이다.

  • PDF

GIS를 이용한 경기도 화남2지구의 지하수오염 예측에 관한 연구 (A STUDY ON THE PREDICTION OF GROUNDWATER CONTAMINATION USING THE GIS IN HWANAM 2 SECTOR, GYEONGGI PROVINCE, KOREA)

  • 손호웅
    • 지구물리
    • /
    • 제4권4호
    • /
    • pp.267-285
    • /
    • 2001
  • 본 연구는 DRASTIC 모델에 구조선밀도, 토지이용 인자를 추가한 수정 DRASTIC 모델을 개발하여 경기도 화남2지구의 지하수오염 가능성를 예측하고자 하였다. 우리나라의 수리지질 환경에서 대수층은 대부분 암반 대수층인 점을 고려했을 때, 구조선밀도는 지하수 및 오염물질 유동에 직접적인 영향을 미치고, 토지이용은 점오염원 혹은 비점오염원의 영향을 간접적으로 반영할 수 있기 때문이다. 통계분석을 위하여 각 인자별 격자 레이어를 생성하고, 각각의 상관계수를 분석함으로써 신뢰도 여부를 판단하였다. 최종 결과물인 종합오염현황도는 수정 DRASRIC Potential과 여러 가지 오염원의 발생 부하량 값을 논리비교함으로써 수리지질학적인 측면에서의 오염가능성 지역과 수질측면에서의 오염가능성 지역을 예측할 수있는 방안을 제시할 수 있었다.

  • PDF

통합형 수리논술 지도 사례 - 구체물과 공학적 도구를 활용한 원뿔곡선 수업 - (A Case Study of Teaching Mathematics for Integrated Essay Education: Instruction of Conic Section using Concrete Materials and Technology)

  • 류현아
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제27권4호
    • /
    • pp.567-580
    • /
    • 2013
  • 대학 입학 전형에서 통합 논술이 시행되면서 학교 교사나 학생들은 통합 논술의 중요성을 인식하고 필요하다고 생각하지만 실제 교사들은 지도 방법의 어려움을 갖고 있다. 본 연구는 예비수학교사를 대상으로 통합 논술 지도를 위한 수업의 사례를 통해 교육적 시사점을 도출해보고자 한다. 수업은 내용 지식으로서 수학에서의 원뿔곡선의 정의와 안테나 반사판의 설계에 적용된 원뿔곡선의 반사 성질을 주제로 하고, 수학사, 구체물, 종이접기, 컴퓨터 등을 이용하여 학생들이 원뿔곡선의 정의와 성질을 발견하게 하였다. 이러한 교수 학습 과정에서 학생들은 수학사를 통해 수학적 지식이 인간에 의해서 발명되었음을 이해할 수 있고, 정의나 명제를 만들고 정당화 해봄으로써 수학적 명제의 타당성을 평가할 수 있을 것이다. 또한, 발견한 성질들 사이의 관계를 논리적으로 기술할 수 있으며, 정당화 과정에서 이유나 근거를 설득력 있게 기술할 수 있다. 통합 논술을 지도함에 있어서 내용에 따라 다양한 접근의 수업 자료와 지도 방법에 대한 연구가 계속되어야 할 것이다.

감응식 신호운영을 위한 최대녹색시간의 설계 (Design of Maximum Green Time Parameters for Traffic Actuated Operation)

  • KIM, Jin Tae
    • 대한교통학회지
    • /
    • 제20권4호
    • /
    • pp.123-134
    • /
    • 2002
  • 감응식 신호운영변수 설계에 관한 연구는 정주기식 신호운영변수 설계의 그것보다 그 수준이 현저히 미비하며 이는 감응식 신호운영 특성을 반영한 평가방법의 부재로 감응식 운영변수의 평가가 불가능하였기 때문이다. 본 논문은 최근에 소개된 평균 감응현시 녹색시간 추정 수리모형을 이용하여 Highway Capacity Manual (HCM) 지체도를 최소화하는 최대녹색시간의 설계방안을 제시한다. - '최소녹색시간'과 '단위연장시간'은 보행자 횡단시간 및 차량 차두시간 등 지역별 운전자/보행자의 특성과 관련이 있어 일반적인 최적화 설계 수리모형의 적용에 무리가 있어 제외한다. 제안된 설계방안은 감응식 운영논리를 토대로 감응현시 군의 평균녹색시간과 평균주기를 산정하며, HCM 지체도를 평가하고, 가능한 대안 중 지체를 최소화하는 최대녹색시간 운영변수 군을 '혼혈 유전자 알고리즘'으로 도출한다. 현장실험을 통해 도출이 불가능한 실제 최적치를 Corridor Simulation(CORSIM)모형을 이용하여 추정하였고 이를 제안된 설계방안으로 도출된 최대녹색시간 운영변수' 값들과 비교하였다. 비교결과 교차로 v/c 비율이 1.0 보다 낮을 시는 제안된 방법을 통해 설계된 최대녹색시간 운영변수 군이 최소 CORSIM 지체도를 산출하는 최대녹색시간 운영변수 군과 동일한 것으로, v/c비율이 1.0보다 높을 시는 다른 것으로 결과되었다. v/c비율이 1.0 보다 높은 경우는 정주기식 교차로 운영에 효율적이라 감응식 운영의 필요를 벗어나므로 제안된 최대녹색시간 설계방안은 감응식 신호운영 필요범위 내에서 효율적이다. 기존의 최대녹색시간 설계는 정수기식 최적녹색시간을 기준으로 최대녹색시간을 추정하며, 그러한 과정을 돕기 위하여 추정범위(설계자가 범위 내에서 임의로 선택함)를 제시하는 것이 기존의 연구임을 비교하면 본 연구에서 제안하고 있는 설계방법의 의미가 크다.

수리적 모델링을 통한 강의실 배정문제 해법에 관한 연구 (Mathematical modeling approach for classroom assignment problem)

  • 안남수
    • 한국산학기술학회논문지
    • /
    • 제18권10호
    • /
    • pp.580-587
    • /
    • 2017
  • 최근 한국의 교육인구가 급격히 감소함에 따라 대학 환경에 많은 변화가 일어나고 있다. 특히 지역사회에 연계한 전문대학의 경우 다양한 교육의 변화, 즉 기존의 일률적인 2년제 학제에서 3년제로의 학제전환, 일학습병행제를 통한 근로자 학위 수여, 산업체 근로자 야간 위탁교육 등의 실시를 통해 위기에 대응하고 있다. 하지만 이러한 교육대상 및 내용의 변화는 한정된 강의실을 적절히 전공과목에 배정해야 하는 새로운 형태의 강의실 배정문제를 일으키고 있다. 본 논문에서는 강의실 배정을 위해 준수해야 하는 제약을 반드시 준수해야 하는 절대 제약과 가능한 준수 해야 하는 상대제약으로 구분하고, 이를 수리적으로 모델링 하여 최적화 소프트웨어를 통해 최적의 강의실 배정을 하였다. 절대제약에는 한 강의실에 2개 교반 이상 배정이 되면 안 되는 등과 같은 물리적인 제약들이며, 상대제약은 교수의 편의성을 고려한 강의 시수 배정 등과 같은 논리적인 제약이다. 결과는 만족스러웠으며 기존의 사람을 통한 강의실 배정보다 여러 가지 지표면에서(강의실 활용률과 교수 만족도) 월등한 결과를 얻을 수 있었다.