• 제목/요약/키워드: Logical

검색결과 2,664건 처리시간 0.035초

Oscillation Frequency Estimation for Detecting Feedback Bridging Faults

  • Hashizume, Masaki;Inou, Nobuyuki;Yotsuyanagi, Hiroyuki;Tamesada, Takeomi
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2002년도 ITC-CSCC -3
    • /
    • pp.1980-1983
    • /
    • 2002
  • When a feedback bridging fault is activated in a circuit, logical oscillation may occur at a signal line. If the oscillation appears, the fault may not be detected by logic testing. In order to detect such bridging faults, output logic values of the circuit should be measured at higher frequency than frequency of the logical oscillation. In this paper, a method fur estimating the maximum frequency of logical oscillation is proposed to detect such bridging faults in a circuit by logic testing. Also, it is shown by some experiments that such bridging faults can be detected by measuring output logic values at the frequency obtained by the method.

  • PDF

실시간 시뮬레이션을 위한 검색 기법들의 속도 연구 (A Study on Real-time Speed of Searching Algorithms)

  • 윤석준;강현주
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 1999년도 추계학술대회 논문집
    • /
    • pp.254-262
    • /
    • 1999
  • 실시간 시뮬레이션에서 주어지는 다양한 종류의 불연속적인 파라미터 값을 가지는 데이터 테이블에서 실시간의 제약 하에서의 검색을 수행하기 위해서는 최적의 기법이 요구된다. 실시간의 제약 하에서 최적 기법의 기준이 되는 것은 보통의 알고리즘들과는 달리 평균 속도가 아니라 worst case에서의 속도가 된다. 검색 알고리즘 들은 iteration을 거치게 되므로 총 탐색에 걸리는 시간은 iteration의 수(logical speed)와 1 probe를 수행하는 데 걸리는 시간(실제 수행속도)의 곱으로 정의된다. 본 연구에서 총 탐색에 걸리는 시간을 이론적으로 계산한 검색 속도 기존의 수행한 수치비교시험의 결과와 대체로 일치하였고, 이분 검색법이 iteration의 수와 실제 수행시간 모두에 있어서 가장 우수하다. 한편, 검색하고자 하는 파라미터 값의 dynamics를 이용하여 주어진 데이터 테이블 내의 검색 영역을 축소시키는 dynamic-window 개념을 도입하여 검색 알고리즘의 속도를 향상시킬 수 있었다. 이 개념의 도입은 데이터 테이블의 형태에 민감한 보간 검색법(interpolation method)과 그 응용 기법들에 대해 탁월한 효과를 나타내었다. 결론적으로 일반적 데이터 테이블에 있어서는 이분 검색법이 logical speed와 실제 수행속도가 우수하고, dynamic-window 개념을 도입한 보간 검색법과 그 변형들은 logical speed가 탁월하게 향상된다.

  • PDF

선박 백본 네트워크의 논리 토폴로지 재구성 기법 (A Reconfiguration Technique of Logical Topology in a Ship Backbone Network)

  • 탁성우
    • 한국정보통신학회논문지
    • /
    • 제16권5호
    • /
    • pp.922-931
    • /
    • 2012
  • 본 논문에서는 연속적인 트래픽 요구 변화에 대처할 수 있는 선박 백본 네트워크의 논리 토폴로지 재구성 방안을 연구하였다. 제안한 기법은 트래픽 포워딩 경로의 변경을 최소화하며, 동시에 트래픽 포워딩 경로의 평균 홉 수를 최소화하여 선박 백본 네트워크의 성능을 향상시킨다. 제안한 재구성 기법의 성능 분석을 수행한 결과, 연속적인 재구성 처리 과정에서 우수한 성능을 보여 주었다.

변압기 Local Unit의 IEC61850 Logical Node 설계 (Design of New IEC 61850 Logical Node about Main Transformer Local Unit)

  • 최대희;김명회;양항준;최영준
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 제38회 하계학술대회
    • /
    • pp.511-512
    • /
    • 2007
  • 변전소 자동화 시스템은 변전소 내의 주요 전기적 데이터들을 DB화 하여 그 트렌드 및 이벤트 내역을 관리하고 각종 제어를 수행하고 상태를 감시하는 시스템이다. 현재 전 세계적으로 IEC 61850 프로토콜을 적용하고 그 목적에 맞게 Interoperability를 구현하려는 노력이 진행되고 있으며 이에 맞추어 변전소 및 Utility에 적용되는 많은 시스템들이 IEC 61850의 적용에 박차를 가하고 있는 상황이다. 이에 따라 변전소 내의 주요기기중의 하나인 주 변압기에 설치되어 변압기의 상태를 감시하고 관리하는 IED인 변압기 Local Unit에 사용할 수 있는 새로운 IEC 61850 Local Unit의 Logical Node를 설계한다.

  • PDF

모형론적 귀결과 양상성 (Model-theoretic Consequence and Modality)

  • 최원배
    • 한국수학사학회지
    • /
    • 제25권4호
    • /
    • pp.21-36
    • /
    • 2012
  • 모형론적 귀결 개념은 타르스키의 1936년 논문에 기원을 두고 있다고 보통 말한다. 하지만 에치멘디는 이를 부정한다. 이 논문은 1936년 논문에 나와 있는 타르스키의 정의가 과연 표준적인 모형론적 귀결 개념에서 받아들이는 것과는 다른 고정 도메인 견해에 기반을 둔 것인지 아니면 그것과 같은 가변 도메인 견해에 기반을 둔 것인지를 둘러싸고 전개된 논란을 다룬다.

디자인의 논리적 데이터베이스 추출 방법에 관한 연구 (A study on the method to extraction logical database of the design)

  • 석재혁;황인희;박경진;한정완
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2008년도 추계학술대회 논문집
    • /
    • pp.465-474
    • /
    • 2008
  • This research presented an extraction method of a logical database to create a design form of stream-nose. The practical use of logical database is important for the expansion of thinking area with investigation of Form to create a stream nose. Firstly, We presented apply course with the method to draw the image database as a first step of a stream-nose design. secondly, extraction method of a character-line applied the image-layered technique was an objectified. Such course is for establishing a design process to create the original form of the stream nose.

  • PDF

성찰일지를 활용한 PBL 기반 초등학교 프로그래밍 교육 교수·학습 전략 개발 및 적용 (Development and Application of Teaching-Learning Strategy for PBL-based Programming Education Using Reflection Journal in Elementary School)

  • 서정현;김영식
    • 정보교육학회논문지
    • /
    • 제20권5호
    • /
    • pp.465-474
    • /
    • 2016
  • 본 연구는 초등학생을 대상으로 PBL 기반의 프로그래밍 학습 과정에서 구조화된 성찰일지 작성 활동이 논리적 사고력에 미치는 영향을 분석하기 위해 성찰일지 작성 전후 논리적 사고력의 차이를 비교하여 효과를 분석하였다. 연구를 위해 초등학교 5학년 59명 학생들을 대상으로 실험집단과 통제집단을 구성하고 실험집단에는 PBL 기반의 프로그래밍 학습 단계별로 내용, 과정, 비판적 성찰일지 작성을 적용하였고 통제집단에는 PBL 기반의 프로그래밍 학습 단계별로 비구조화된 성찰일지 작성을 적용하였다. 연구 결과 실험집단의 구조화된 성찰일지 작성 전후의 논리적 사고력 차이를 공분산분석(ANCOVA)을 통해 분석한 결과 유의수준 .05에서 학습효과가 있음을 확인했고 통제집단과 논리적 사고력의 차이를 비교한 결과에서도 학습효과가 있음을 확인했다. 이를 통해 초등학교 5학년 학생을 대상으로 하는 PBL 기반의 프로그래밍 학습에서 구조화된 성찰일지 작성 학습자의 논리적 사고력 향상에 효과가 있음을 알 수 있었다.

소외 영재의 논리적 사고력과 상위인지에 대한 연구 (A Study about the Logical Thinking Ability and the Metacognition of Economically Disadvantaged Gifted Students)

  • 이미순;조석희;이현주
    • 영재교육연구
    • /
    • 제16권2호
    • /
    • pp.167-191
    • /
    • 2006
  • 본 연구의 목적은 영재성과 학년수준에 따른 논리적 사고력과 상위인지적 특성을 규명함으로써, 학생의 인지능력 신장뿐 아니라 자기-주도적인 학습능력 증진의 중요성을 피력하는 실증적인 기초를 제공하는데 있다. 이에 1, 2차에 걸쳐 표집한 일반 학생(n=199), 소외 영재(n=133) 및 일반 영재(n=111)를 대상으로 논리적 사고력 검사(조석희 외, 2006)를 실시하여 '언어,' '수' 및 '공간' 영역에서 인지능력을 측정하였고, 상위인지 능력에 대해서는 기존의 지적 능력에 대한 신념 검사(조석희, 한석실, 2004)와 학습 전략 검사(조석희, 한석실, 2004)를 수정, 보완하여 사용하였다. 수집된 자료는 학생의 영재성과 학년수준에 따라 논리적 사고력 및 상위인지의 하위 변인에 대해 다변량분산분석을 실시하였다(MANOVA). 연구결과, 영재는 일반 학생에 비해, 그리고 일반 영재는 소외 영재에 비해 논리적 사고력 하위 영역에서 모두 높게 나타났으며, 이상의 논리 사고력에서의 차이는 학생의 영재성과 학년수준에 따라 다른 경향성을 나타내었다. 또한 논리적 사고력에서의 차이 외에 영재는 일반 학생에 비해, '상위인지 통제' 능력이 높아 자신의 학습을 계획하고 관리하는 것으로 나타났다. 그러나 소외 영재와 일반 영재의 상위인지 능력에서는 유의한 차이가 나타나지 않았다.

SAN 논리볼륨 관리자를 위한 혼합 매핑 기법 (A Hybrid Mapping Technique for Logical Volume Manager in SAN Environments)

  • 남상수;피준일;송석일;유재수;최영희;이병엽
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제10권1호
    • /
    • pp.99-113
    • /
    • 2004
  • 높은 가용성, 확장성, 시스템 성능의 요구를 만족시키기 위해 SAN(Storage Area Network)이 등장했다. 대부분의 SAM 운영 S/W들은 SAN을 보다 효과적으로 활용하기 위해서 SAN에 부착된 물리적 저장장치들을 가상적으로 하나의 커다란 볼륨으로 보이게 하는 저장장치 가상화 개념을 지원한다. 저장장치 가상화의 핵심적인 역할을 하는 것이 바로 논리볼륨 관리자이다. 논리볼륨 관리자는 논리주소를 물리 주소로 매핑 시킴으로서 저장장치 가상화를 실현한다. 더불어 논리볼륨 관리자는 특정 시점의 볼륨이미지를 유지할 수 있는 스냅샷과 시스템을 정지시키지 않고 SAN에 저장장치를 추가 또는 삭제할 수 있는 온라인 재구성 기능을 지원한다. 이러한 기능을 지원하기 위해 수식 기반의 매핑 방법보다 테이블 기반의 매핑 방법이 제안되고 있다. 그러나 이 방법은 관리해야 할 데이타 양이 저장장치 용량에 비례하여 증가하고 메인 메모리에서 모두 관리할 수 없어 성능 저하의 요인이 되었다. 이 논문에서는 기존의 수식 기반의 매핑 방법을 이용하면서 스냅샷과 온라인 재구성 기능과 같은 동적인 환경을 효과적으로 지원할 수 있는 혼합 매핑 방법을 설계하고 구현한다. 제안하는 방법의 스냅샷과 재구성은 되도록이면 정상 입출력 연산에 영향을 주지 않기 위해서 별도의 예약된 공간에서 수행된다. 마지막으로, 이 논문에서 제안한 기법에 대한 성능 평가를 수행하여 제안하는 기법이 우수함을 보인다.

기혈음양의 허증에 대한 한의 진단 모델의 성립과 확장 (An Establishment and Extension of Diagnostic Concepts in Traditional Oriental Medicine; On chi shue yin yang)

  • 박경모
    • 동의생리병리학회지
    • /
    • 제17권6호
    • /
    • pp.1359-1367
    • /
    • 2003
  • Through the historical and logical methodology, The historical development and extension of diagnostic concepts as chi(氣), shue(血), yin(陰), yang(陽) is analyzed. This study suggests the analystic methodology of diagnostic concepts, introduce the justification problem of oriental medical diagnosis, and is concluded with the problem of diagnostic concepts which should be modified and.