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

검색결과 291건 처리시간 0.026초

도시부 신호교차로 인근 도로점용공사를 고려한 포화교통류율 산정모형 개발에 관한 연구 (Development of Saturation Flow Rate Estimation Models Considering Workzone in the Vicinity of Signalized Intersections)

  • 어효경;신치현
    • 대한교통학회지
    • /
    • 제28권6호
    • /
    • pp.109-120
    • /
    • 2010
  • 본 연구는 도로점용공사가 신호교차로의 정지선에 인접하여 시행될 시, 물리적 차로점용으로 인하여 변화하는 포화교통류율을 산정하기 위한 수학적 논리모형 개발을 목적으로 한다. 우선 문헌조사와 사전 모의실험을 통하여 신호교차로에 인접한 도로의 포화교통류율이 도로점용공사의 위치, 차로 수, 신호주기, 유효녹색시간에 의해 민감하게 변화함을 확인하였다. 이러한 포화교통류율 변화요인을 독립변수로 선정하고, 기존 교통류이론을 활용한 수학적 논리모형을 개발하였으며, 개발모형은 도로점용공사의 위치(교차로 상/하류)에 따라 각각 달리 적용하도록 이원화하였다. 개발된 논리모형의 검증을 위하여 다양한 미시적 시뮬레이션을 수행하였으며, 논리모형 적용과 모의실험 수행을 통해 각각 얻어낸 포화교통류율 결과 값을 비교/분석하였다. 검증결과, 각각의 방법으로 얻어낸 포화교통류율의 절대적 차이가 다소 존재하였으나, 독립변수의 영향에 의한 포화교통류율 분포 형태가 통계적으로 유의함을 확인하였다.

과학 수업에서 논리적 사고력 강화 탐구 교수 전략이 중학교 1학년 학생들의 논리적 사고력에 미치는 효과 (The Effect of Inquiry Teaching Strategy Enhancing the Logical Thinking Skill through the Science Teaching about the 1st Year Students of the Junior High School)

  • 홍혜인;강순희
    • 대한화학회지
    • /
    • 제58권6호
    • /
    • pp.667-680
    • /
    • 2014
  • 본 연구의 목적은 과학 수업 시간에 비례, 보존, 변인 통제, 확률, 상관, 조합 논리 활동을 강화한 탐구 교수 전략을 개발하고 이를 적용함으로써 그 효과를 검증하는 것이다. 이를 위해서 논리적 사고력 강화 모형인 MCP(M: 동기 유발단계, C: 갈등 유발 단계, P: 문제 해결 단계)모형을 개발하였으며 이를 탐구 과정에 적용하여 논리적 사고력을 강화한 탐구 교수 모형을 개발하였다. 이 후 중학교 1학년 과학 교과서 내용에 있는 논리 사고 요소를 추출한 후에 이 논리 사고 요소들을 MCP 모형으로 변형하여 중학교 1학년용 탐구 과학 교수 전략들을 개발하였다. 대부분 구체적 조작 수준이거나 과도기 수준인 중학교 1학년 학생들을 대상으로 개발한 교수 전략을 2011년 5월부터 12월까지 60차시 동안 실시한 후 이 교수 전략이 논리적 사고력에 미치는 효과를 알아보았다. 그 결과 논리적 사고력은 유의미하게 향상되는 것으로 나타났다(p<.05). 특히 보존 논리, 변인 통제 논리, 조합 논리가 유의미하게 신장된 것으로 나타난 반면 비례 논리, 확률 논리, 상관 논리는 유의미한 향상이 없었다(p<.05). 이러한 교수 전략에 따른 논리적 사고력은 학생들의 인지 수준의 영향을 받고 있지 않은 것으로 나타났다(p<.05).

피드백 정보를 이용한 불논리 검색 시스템의 성능 증진에 관한 실험적 연구 (A study on improving the effectiveness of a boolean retrieval system with feedback information)

  • 신은자;정영미
    • 정보관리학회지
    • /
    • 제15권1호
    • /
    • pp.129-148
    • /
    • 1998
  • 본 연구의 목적은 기존의 불논리 검색 시스템에서 사용할 수 있는 실용적인 피드백 검색 기법을 찾아내는 것으로서, 이용자의 적합성 평가 부담을 덜어줄 수 있도록 사전에 이용자 모형을 구축하여 놓고 피드백 검색시 시스템이 자동으로 적합성 평가를 하는 이용자 모형 기반 피드백 검색 기법을 제안하고 이의 유용성을 실험적으로 입증하였다. 이를 위하여 먼저 증진된 불논리 검색 모형인 DNF 검색 모형과 P-norm 검색 모형을 사용한 피드백 검색 실험을 실시한 후, 검색효율이 높게 나온 DNF 모형을 채택하여 이용자 모형 기반 피드백 검색을 실시하였다. 실험 결과 모든 피드백 검색은 초기검색에 비해 검색효율이 크게 향상되었으며, 이용자 모형 기반 피드백 검색은 DNF 피드백 검색 결과에는 못미치지만 P-norm 피드백 검색 결과와는 거의 같은 수준의 검색효율을 보였다.

  • PDF

공학도를 위한 논리: '발표와 토론'을 위한 논리 교수.학습 모형 (Logic for Engineers: a teaching.learning model for logic in 'Presentation and Discussion')

  • 양은석
    • 논리연구
    • /
    • 제13권2호
    • /
    • pp.83-116
    • /
    • 2010
  • 이 글에서 우리는 토론 교육 특히 공학도를 위한 토론 교육에 필요한 논리 교수 학습 모형 을 제공한다. 이를 위하여 먼저 기존에 사용되고 있는 토론 관련 교재의 논증 개념과 논증 모형을 비판적으로 검토한다. 다음으로 토론에 필요한 기본 논증과 이에 대한 훈련 모형을 제공한다. 마지막으로 이공계 학생들 특히 공대 학생들을 위한 논증 방식 특히 토론에 사용될 논증 방식으로 가설 추론과 최선의 선택으로의 추론 모형을 제공한다.

  • PDF

직관 실험 및 코퍼스를 바탕으로 한 의미 중의성 해소 계산 모형 연구 (A Study on the Computational Model of Word Sense Disambiguation, based on Corpora and Experiments on Native Speaker's Intuition)

  • 김동성;최재웅
    • 인지과학
    • /
    • 제17권4호
    • /
    • pp.303-321
    • /
    • 2006
  • 본 논문은 의미 중의성 해소에 대한 화자의 직관의 계산 모형에 대한 연구로 Harris (1964)의 '분포가설'에 근거하여 핵심어와 공기하는 어휘들에 대한 분포적 정규성을 포착하는 언어 직관의 계산 모형을 제안한다. 이를 위해 분포적 정규성에 대한 화자의 처리 계산 모형을 파악하기 위하여 심리언어학적 실험을 실시하고 그 결과를 분석한다. 계산 모형으로는 논리 모형, 확률 모형, 그리고 확률 추론 모형의 세가지 모형이 설정되었다. 실험은 두 가지로 구성되었다. 첫 번째는 100만 어절 코퍼스에서 추출된 문장을 화자 직관으로 의미를 식별하는 실험이었다. 이 실험에서는 응답간 일치도가 98%로 나왔다. 두 번째 실험은, 제한된 환경에서 실험자의 반응을 관찰하기 위한 것으로, 분열문이라는 환경을 통해 핵심어와 공기어사이의 의미 관계를 살펴보았다. 또한 100만 어절 코퍼스에서 관찰된 수치와 실험에서 관찰된 관찰치사이의 상관성을 피어슨의 상관계수로 측정하였다. 그러한 측정 결과 실제 코퍼스에서 관찰되는 현상은 논리모형과 상관성이 있었고, 제한된 환경에서 실시한 결과는 확률 모형과 상관성이 있었다. 이 실험결과는 논리 모형이 우선적으로 의미 분류에 관여하나, 만약 논리 모형이 적용되지 않을 경우 확률 모형이 관여함을 보여 준다. 아울러 의미 결정 모형의 관점에서는 논리 모형이 정확하게 직관모형을 예측할 수 있었고, 확률추론 모형도 직관모형을 근사치에 가깝게 예측할 수 있었다.

  • PDF

퍼지논리와 교통패턴을 이용한 유고검지 모형에 관한 연구 (A Study on Incident Detection Model using Fuzzy Logic and Traffic Pattern)

  • 홍남관;최진우;양영규
    • 한국공간정보시스템학회 논문지
    • /
    • 제9권1호
    • /
    • pp.79-90
    • /
    • 2007
  • 본 논문에서는 램프가 설치되어 있는 도로환경에 맞는 효율적인 유고검지를 위하여 퍼지논리 및 교통패턴을 함께 사용하여 유고검지 모형을 구현하였다. 모형에 사용된 교통 데이터는 서울시 내부 순환도로에 있는 루프 검지기에서 3개월 동안 5분 간격으로 수집된 교통량, 점유율, 속도 데이터이다. 본 논문에서는 단일지점 검지기 도로 환경에 맞게 변수들을 퍼지화 시켰으며 추론방법은 MIN-MAX 중심법을 사용하고 비퍼지화 방법은 무게 중심법을 사용하였다. 그리고 요일 및 링크별로 서로 다른 교통 흐름이 형성됨을 감안하여 교통패턴을 구축하였다. 최종적으로 퍼지논리의 유고확률과 교통패턴의 교통패턴 차이 값을 이용하여 유고를 판단하는 유고확률 임계치를 도출하였다. 본 논문에서 제안한 모형의 우수성을 입증하기 위해 APID 알고리즘과 교통패턴을 이용하지 않은 퍼지논리와 비교 검증 하였다. 검지율 및 오검지율 테스트를 수행한 결과 APID 알고리즘의 경우 제대로 유고를 검지하지 못하였으며 퍼지논리만을 이용한 알고리즘의 경우 상당히 높은 오검지율을 도출하였다. 이에 반해 교통패턴 및 퍼지논리를 이용한 본 모형의 경우 퍼지논리만을 사용한 모형에 비해 유고검지율은 5% 낮아졌으나 반면에 오검지율은 18% 낮아지는 향상된 결과를 나타냄을 알 수 있었다.

  • PDF

중회귀 모형을 이용한 일최고 오존 농도 예측성 검토에 관한 연구 (Prediction of Daily Maximum Ozone Concentration using Multi-Regression)

  • 김영은;조석연
    • 한국대기환경학회:학술대회논문집
    • /
    • 한국대기환경학회 1999년도 추계학술대회 논문집
    • /
    • pp.203-204
    • /
    • 1999
  • 대기질의 통계예측모형은 주로 오존 농도 예측에 사용된다. 통계예측 방법은 중회귀 모형, 신경망 모형, Fuzzy 논리 모형 등이 있다. 중회귀 모형은 종래 통계분석 방법으로 예전부터 많이 사용되고 있는 방법인 반면에 신경망 모형과 Fuzzy 논리 모형은 최근에 개발되어 적용가능성을 검토 중인 방법이다. 국내외 연구결과에 의하면 각 방법에 의한 고농도 오존 예측성은 크게 다르지 않았다. 국내에서는 중회귀 모형과 신경망 모형이 적용되었는데, 상관계수는 0.6-0.7저도로 보고되었다.(중략)

  • PDF

모형론적 논리적 귀결과 논리상항 (Model-theoretic Conceptions of Logical Consequences and Logical Constants)

  • 박준용
    • 논리연구
    • /
    • 제17권1호
    • /
    • pp.71-109
    • /
    • 2014
  • 셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다.

  • PDF

프로세스모델링을 활용한 사회적기업 R&D지원정책의 논리모형 (A Study on the Logical Model of R&D Support Policy for Social Enterprise)

  • 경종수;이보형
    • 한국융합학회논문지
    • /
    • 제12권4호
    • /
    • pp.259-266
    • /
    • 2021
  • 본 연구는 사회적기업의 경쟁력을 강화하는 방안으로 R&D활동 체계화와 지원정책의 논리모형을 제공하는 것이 목적이다. 사회적기업의 R&D수요조사 및 심층면접(FGI)을 토대로 R&D활동을 체계화하여 R&D정책의 논리모형을 도출하고자 한다. 사회적기업의 R&D활동은 일반기업과 비교해 초기단계이거나 체계성이 매우 미흡하다. 프로세스모델링 방법은 사회적기업의 R&D활동 세부요소를 표준화하는 방법으로 R&D지원정책의 논리성 확보에 활용될 수 있다. 연구결과 사회적기업들은 사회가치 증진을 위한 제품과 서비스의 경쟁력확보를 위해 R&D활동의 필요성과 중요성을 인식하고 있으며, R&D경험 및 역량이 부족하기 때문에 R&D전문기관(R&D기획전문기관, 정부출연 연구기관, 대학 등)과 협력을 통한 R&D역량 개선을 기대하고 있다. 사회적기업 R&D활동의 성과지표는 심층면접(FGI)을 통하여 투입-과정-성과지표 단위로 도출하였고, R&D지원정책의 논리모형은 심층면접자료와 기존연구를 참고하여 사업정의, 주요고객, 비전체계, 사업전략, R&D활동요소, 성공요인 등의 영역으로 구분하여 도출하였다.

자율주행자동차 R&D 동향분석과 논리모형 개발에 대한 연구 (A Study on the Analysis of R&D Trends and the Development of Logic Models for Autonomous Vehicles)

  • 김길래
    • 디지털융복합연구
    • /
    • 제19권5호
    • /
    • pp.31-39
    • /
    • 2021
  • 본 연구는 국내외 자율주행자동차 연구개발과정에서 나타나고 있는 다양한 이슈를 파악하기 위해 자율주행자동차 연구개발 관련 영문 뉴스 기사 1,870개를 수집하고 데이터 전처리 과정을 거쳐 토픽 모델링을 수행하였다. 토픽모델링 결과 20개의 토픽을 추출하였으며, 토픽에 대한 명명작업을 수행하고 의미를 해석하였다. 도출된 토픽을 투입, 활동, 산출, 성과의 연구개발과정에 대응시켜 자율주행자동차 연구개발사업 논리모형을 제시하였다. 본 연구의 분석결과는 국내외 자율주행자동차 연구개발사업의 추진 상황을 정확하게 판단하고 빠르게 변화하고 있는 기술개발에 대비할 수 있는 기초자료로 활용할 수 있을 것이다.