• 제목/요약/키워드: particular proposition

검색결과 35건 처리시간 0.022초

스캔 환경에서 간접 유추 알고리즘을 이용한 경로 지연 고장 검사 입력 생성기 (Delay Fault Test Pattern Generator Using Indirect Implication Algorithms in Scan Environment)

  • 김원기;김명균;강성호
    • 한국정보처리학회논문지
    • /
    • 제6권6호
    • /
    • pp.1656-1666
    • /
    • 1999
  • 회로가 복잡해지고, 고속화되면서 회로의 동작에 대한 검사 뿐 아니라, 회로가 원하는 시간 내에 동작함을 보장하는 지연 검사의 중요성이 점점 커지고 있다. 본 논문에서는 주사환경을 사용하는 순차회로에서의 경로 지연 고장을 위한 테스트 패턴 생성 과정을 효율적으로 수행할 수 있도록 빠른 시간에 간접 유추를 수행할 수 있는 알고리즘을 제안한다. 구조적으로 발생 가능한 정적 학습 과정은 테스트 패턴 생성 과정 중의 선행 처리 단계에서 각각의 게이트에 정적 학습이 발생할 수 있는 경우를 분석하여 그 정보를 각각의 게이트에 대해 저장하고 있다가 알고리즘을 이용한 테스트 패턴 생성 과정 중 조건에 만족하는 경우에 유추될 수 있는 값을 바로 할당하게 된다. 본 논문에서는 이를 지연고장 검출에 맞도록 수정하여 이용하였다. 회로 내에 몇몇 주입력에서 나온 신호선을 모두 포괄하는 분할지점이 존재하면, 이 지점을 지나는 경로들 중에 그 이전, 혹은 이후의 경로가 동일한 경로들은 분할지점에 의해 분할된 입력의 부분들이 같은 입력값을 필요로 함을 예상할 쑤 있다. 본 논문에서는 경로 지연 고장 검출에서 유용하게 사용될 수 있는 이러한 회로분할을 사용하여 보다 효율적으로 테스트 입력을 생성하였다. 마지막으로, 이 두 가지 알고리즘을 적용한 효율적인 경로 지연 고장 테스트 입력 생성기를 개발하였으며, 알고리즘의 효용성을 실험을 통하여 입증하였다.

  • PDF

전기 비트겐슈타인의 프레게 의미이론 비판 (Early Wittgenstein's Criticism of Frege's Theory of Meaning)

  • 박정일
    • 논리연구
    • /
    • 제16권3호
    • /
    • pp.347-380
    • /
    • 2013
  • 나는 이 글에서 비트겐슈타인이 프레게의 의미 이론을 어떻게 비판했는지를 살펴보고자 한다. 프레게의 의미 이론은 뜻-지시체 이론으로 요약된다. 프레게는 모든 언어적 표현에 대해 뜻과 지시체를 구분한다. 특히 그는 문장도 뜻과 지시체를 지닌다고 간주한다. 그런데 이러한 구분은 소위 동일성 문장 문제로부터 제기된 것이다. "논고"의 "근본 사상"은 프레게의 뜻-지시체 이론에 대한 직접적인 비판의 단초이다. 즉 한 문장의 지시체는 진리치이며 진리치는 (프레게의 의미에서) "대상 자체"라는 생각에 대한 공격이다. 비트겐슈타인에 따르면 그러한 대상은 실재하는 것이 아니며, 그림 이론에 따르면 이름과 명제의 기능은 근원적으로 상이하다. 그런데 프레게의 입장에서는 이러한 비판이 불충분하다고 정당하게 응수할 수 있다. 요컨대 프레게의 "뜻", "지시체" 등은 모두 전문 용어인 것이다. 그리하여 비트겐슈타인의 결정적인 비판은 프레게의 이론 체계의 논리적 허점을 추궁하는 것으로 이루어진다. 프레게가 한 문장의 뜻과 지시체를 도입하는 또 다른 경로가 있다. 그는 "개념 표기법"에서는 판단선과 내용선에 대한 논의에서, 그리고 "함수와 개념" 이후에는 판 단선과 수평선에 대한 논의에서 한 문장의 뜻과 지시체를 다룬다. 비트겐슈타인은 바로 이러한 프레게의 규정에 의해서는 복합 문장의 뜻은 결코 해명될 수 없다고 비판한다.

  • PDF

과학의 본성에 대한 중등학생들의 견해조사를 위한 도구 개발 (The Development of an Instrument for Assessing Secondary Students' Views on the Nature of Science)

  • 곽대오;김영수;성민웅
    • 한국과학교육학회지
    • /
    • 제20권4호
    • /
    • pp.680-692
    • /
    • 2000
  • 오랜 동안에 걸쳐서 과학의 인식론과 사회학에 관련된 주제를 대상으로 학생들의 이해를 측정하는 표준화된 여러가지 조사 도구들이 사용되어 왔는데 이러한 조사 도구들의 진술이나 선다형 선택지는 연구자들의 입장에서 제시된 경향이 있으며, 설문에 대한 응답에서도 연구자들이 요구하는 방식으로 학생들이 인지하고 해석하는 결점을 지적 받아 왔다. 학생들의 입장을 반영하여 경험적으로 만들어진 문항을 사용함으로써 조사 도구의 모호성에 대한 근본적인 문제점을 효과적으로 줄일 수 있다는 선행 연구들을 토대로 본 연구에서는 과학의 본성에 대한 학생들의 이해를 효과적으로 측정할 수 있는 새로운 조사 도구를 개발하였다. 본 조사 도구는 특정 이론에 의해서가 아니라 학생들에 대한 면접 결과를 바탕으로 한 과학적 검사와 실제 경험에 기초하여 5단계 과정에 의하여 개발되었으므로 과거에 개발되었던 조사 도구들과는 근본적으로 차이가 있다. 일반적으로 과학 교육 연구자들에 의해 받아들여지고 있는 과학의 본성에 대한 측면을 과학의 목적, 과학적 탐구의 본질, 과학 지식의 본질과 위상, 그리고 과학 공동체의 본질과 기능으로 규정하고 이에 대한 학생들의 관점을 파악할 수 있도록 설문의 내용을 세 영역 즉, "과학적 질문을 구성하는 특성", "탐구 실험의 특성", 그리고 "과학 지식을 주장하는 믿음에 대한 근거"로 구성하였다 "과학적 질문올 구성하는 특성"에서는 학생들이 제시된 네 종류의 질문에 대하여 과학적 질문인지 여부를 션택하고 그에 대한 정당한 이유를 밝히도록 하였고, "탐구 실험의 특성"에서는 피험자가 제시된 네 종류의 활동이 실험인지 여부를 선택하고 그렇게 선택하는 정당한 이유를 밝히도록 하였으며, 그리고 마지막으로 "과학 지식을 주장하는 믿음에 대한 근거"에서는 제시된 두 가지 친숙한 이론의 믿음 여부에 대한 정당한 이유를 밝히도록 구성되었다.

  • PDF

양상 논리에 대한 구성주의적 해석 (Constructivist interpretation on the modal logic)

  • 은은숙
    • 철학연구
    • /
    • 제116권
    • /
    • pp.257-280
    • /
    • 2010
  • 본 연구의 목적은 우선 일차적으로 양상논리학체계를 국어의 통사론적 구조 하에서 재구성하는 것이고, 둘째로 이를 구성주의 인식론의 관점에서 해석하는 것이다. 말하자면, 본 연구는 논리학에 대한 인식론적 해석, 즉 일종의 메타-논리학적 연구이다. 본 연구는 논리(규칙) 및 논리학적 체계는 선험적으로 우리 정신에 주어진 원리가 아니라, 인식 주관이 외적 대상들을 조작하는 행동들 중에서 반복적으로 작용하는 메커니즘들을 형식적으로 구조화하는 데서 성립한다는 것을 정당화하고자 한다. 말하자면, 논리규칙의 후험적 구성주의 논제를 정당화하고자 한다. 따라서 본 연구는 일체의 논리적 구조들을 심리학적 구조들에로 환원을 시도하는 일종의 환원주의이다. 필자가 강조하는 논리적 구성의 두 계기는 체계의 닫힘과 새로운 모순의 발견이다. 따라서 여기서는 명제계산체계 내에 있는 모순을 지적하고 이를 극복하기 위해서 양상논리가 출현하게 되었다는 것과 그럼에도 불구하고 이 체계 역시 새로운 모순을 만난다는 것을 증명하고자 한다. 결국 논리의 구성주의의 논제는 상위의 체계는 하위의 체계에 없던 새로운 제한적 속성이 등장한다는 것을 해명하는 것이 될 것이다.

로열티 프로그램이 고객 참여와 소비자-브랜드 관계에 기초한 관계형 시장 행동에 미치는 영향 : 프랜차이즈 회원제 휘트니스클럽을 대상으로 (The Marketing Effect of Loyalty Program on Relational Market Behavior : Focusing in Franchise Membership Fitness Club)

  • 윤경구;신건철
    • 한국유통학회지:유통연구
    • /
    • 제17권2호
    • /
    • pp.1-28
    • /
    • 2012
  • 본 연구는 Sheth and Parvatiyar(1995)가 제시한 관계형 시장 행동의 가정과 정의에 대한 Bagozzi(1995), Peterson(1995)의 논평에 기초해 관계 마케팅 방식으로서 로열티 프로그램이 고객 참여와 소비자-브랜드 관계에 기초한 관계형 시장 행동에 미치는 영향을 실증해 보았다. 다음과 같이 연구 결과와 시사점을 정리한다. 첫째, 로열티 프로그램의 관계적 성과를 검증한 결과, 로열티 프로그램이 고객의 참여, 소비자-브랜드 관계, 관계형 시장 행동에 미치는 긍정적 효과를 실증하였다. 선행 연구에서의 주장과 일치하는 이러한 결과는 소비자와 기업이 마케팅 관계에 참여하려는 의지와 능력은 더 높은 마케팅 생산성을 낳는다는 Sheth and Parvatiyar(1995)의 제안 명제를 확인시켜 주고 있다. 둘째, 소비자-브랜드 관계의 매개효과 그리고 소비자-브랜드 관계의 구성 변수와 관계형 시장 행동의 구성 변수간 영향을 미치는 개별적인 인과 관계에 대해 일관된 결과를 보이지 않고 있다는 주장(Palmatier, Dant, Grewal and Evans, 2006)에 따라 다중 회귀분석으로 추가 분석을 실시한 결과, 소비자-브랜드 관계의 질적 특성을 이루는 여섯 개 항목들이 개별적으로 관계형 시장 행동에 영향을 미치는 회귀 모델의 설명력이 더 높다는 Breivik and Thorbjornsen(2008)의 연구결과를 지지하는 결과를 얻었다. 셋째, 고객의 참여를 활성화시킬 때 소비자-브랜드 관계 및 관계형 시장 행동이라는 관계 성과가 나타난다는 시사점을 제시하였다. 이는 관계 마케팅 활동과 고객 참여를 증가시키려는 노력이 소비자와의 관계 유지와 성과에 중요하다는 선행 연구의 주장 (Bitner, 1995, Fournier, 1994 ; Sheth and Parvatiyar, 1995)에서 뒷받침된다.

  • PDF