• 제목/요약/키워드: 정적분

검색결과 190건 처리시간 0.03초

고등학교 교과서 내용 영역별 세부 학습내용 차이에 대한 교사 의견 조사: 정적분의 활용을 중심으로 (Teachers' Opinions on Differences of Detail Learning Content According to High School Textbooks - Focused on Utilizing of Definite Integral -)

  • 양성현
    • 대한수학교육학회지:학교수학
    • /
    • 제17권4호
    • /
    • pp.555-570
    • /
    • 2015
  • 2015년 9월 새로운 교육과정에 대한 총론 및 각론이 확정 고시될 계획이며 이에 따른 교과용도서 개발이 이루어지게 된다. 교과서는 교수 학습 내용의 방향과 범위를 결정하고 통제하는 역할과 기능을 지니고 있기 때문에 학생과 교사가 만나는 수업의 장에서 교과서는 매우 중요한 역할을 한다. 따라서 교과서의 내용 구성에 따라 수업에 많은 영향을 미치게 된다. 본 연구는 교과서 내용 영역별 세부 학습내용 구성의 차이점을 정적분의 활용을 중심으로 분석하고 이를 토대로 설문을 구성하여 14개 시 도교육청 고등학교 수학교사 369명을 임의표집하여 설문조사를 실시하였다. 설문 조사 결과를 분석하여 교과서 내용 영역별 세부 학습내용 구성의 차이에 따라 발생되어질 수 있는 교사의 교수 내용 및 방법과 학생들의 수학 학습에 미치는 영향을 탐색하였다. 이를 통하여 교과서 세부 학습내용의 구성에 대한 시사점을 제공하고 교과서 편찬 체제에 대한 개선점 도출을 그 목적으로 하고 있다.

할 일들의 순서 선택이 자유로운 증가분 기반 고정점 계산 알고리즘 (A Differential Fixpoint Evaluation Algorithm for Arbitrary Worklist Scheduling)

  • 안준선
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제32권8호
    • /
    • pp.808-818
    • /
    • 2005
  • 본 연구에서는 증가분 기반 계산을 사용한 고정점 계산 방법을 제시하고 이에 기반한 새로운 워크리스트 알고리즘을 제시한다. 제시된 방법은 기존의 증가분 기반 계산과 달리 배분 법칙을 만족하지 않는 계산 시스템에도 효과적으로 적용될 수 있으며 증가분 기반 계산으로 인한 제약 조건을 만족하면서도 다양한 워크리스트 스케줄링 방법을 사용할 수 있는 장점을 가지고 있다. 본 연구의 결과를 프로그램 정적 분석 방법인 요약 해석 방법에 적용하였으며, 이를 사용하여 상수 및 이명 분석과 메모리 생존 분석을 구현하였다. 제시된 실험 결과는 본 연구의 방법이 계산을 실제적으로 절약할 수 있음과, 적절한 워크리스트 스케줄링 방법의 사용이 증가분 기반 계산에서도 중요함을 보여준다.

정적/동적 패턴을 이용한 적응적 영역 분할 방법 (Adaptive Region Segmentation using Static/Dynamic Pattern Matching)

  • 박경환;이치원;이창우
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2010년도 제42차 하계학술발표논문집 18권2호
    • /
    • pp.145-148
    • /
    • 2010
  • 본 논문에서 우리는 도로 영역과 하늘 영역, 그리고 도로와 하늘이 아닌 나머지 영역으로 분할하기 위해 동적인(dynamic) 패턴을 이용한 적응적인(adaptive) 병합 방법을 제안한다. 원본영상에서 Mean Shift 알고리즘과 라벨링(Labeling)을 수행하고 영역을 과분할 한다. 컬러에 의해서 도로와 하늘영역이 검출되지 못하는 영역을 위해서 도로 영역과 하늘 영역에서 동적인 패턴 추출한 후 매칭을 통해 유사 영역을 병합한다. 이것은 도로와 하늘의 정보를 현재 환경에서 적응적으로 추출하는 방법이다. 실험에서 정적인(static) 패턴을 사용해서 병합하는 방법과 동적인 패턴을 사용해서 병합하는 방법을 비교하였다. 그 결과, 동적인 패턴을 사용하였을 때 8.12%의 향상된 성능을 보였다.

  • PDF

지진특성에 따른 비선형 정적해석법의 적용성 (Applicability of Nonlinear Static Procedures with Earthquake Property)

  • 신동규;곽효경
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2011년도 정기 학술대회
    • /
    • pp.174-177
    • /
    • 2011
  • 비선형 정적 해석법(NSPs)은 최근 구조물의 지진해석방법으로서 그 사용성을 인정받고 있다. 비선형 정적 해석법은 직관적으로 구조물의 지진해석을 수행할 수 있는 등의 장점으로 빌딩구조물의 지진해석법으로 널리 사용되고 있지만, 기본 진동모드에 의해서 구조물의 거동이 지배되지 않는 구조물의 경우에는 그 사용성에 대한 연구가 매우 제한적이다. 이를 개선하기 위한 고차모드의 기여분을 반영할 수 있는 비선형 정적 해석법들이 제시 되었지만, 교량 구조물에 사용함에 있어서는 여전히 지진의 특성에 따라 그 사용성 및 신뢰성이 크게 변화하는 문제가 발생한다. 이 논문에서는 지진의 특성을 고려할 수 있는 두가지 지수를 제시하고, 이를 이용하여 비선형정적 해석법의 적용성을 사용단계에서 알아 낼 수 있는지에 대한 연구를 진행하였다.

  • PDF

C# 프로그램의 정적 분할 (Static Slicing of C# Programs)

  • 강성관;고훈준;김기태;조선문;유원희
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2004년도 춘계학술발표대회
    • /
    • pp.925-928
    • /
    • 2004
  • C# 언어로 작성된 프로그램에서 기존의 객체 지향 프로그램에서 이용하던 정적 분할 방법을 적용한다. 기존의 두 경로 그래프 도달 가능성 분할 알고리즘을 적용하였을 때 프로시져들 간의 전이적인 종속 관계를 표현하는 요약 간선만을 이용하면 두 번째 경로에서 역 추적 할 때 모호성이 발생한다. 이러한 모호성은 C#의 이벤트, 델리게이트(delegate)들과 메소드의 다형적 호출 관계에서 발생될 수 있다. 본 논문은 호출된 프로시져의 호출하는 문맥을 설명하기 위하여 호출 지점에서 요약 간선 및 경로 간선을 이용하여 C#에서 다형적 호출에 대한 시스템 종속성 그래프(system dependence graph)에 대한 새로운 표현을 제안한다. 이 방법은 다형적 호출에서 발생하는 모호성을 해결할 수 있다.

  • PDF

마그네틱 헤드 슬라이더의 극소 공기막에 대한 동특성 해석 (Dynamic analysis of magnetic head slider at ultra low clearance)

  • 장인배;한동철
    • 대한기계학회논문집
    • /
    • 제14권6호
    • /
    • pp.1487-1494
    • /
    • 1990
  • 본 연구에서는 공기분자간 평균 자유비형거리(molecular mean free path)를 고려한 수정된 레이놀즈 방정식을 공기막 두께의 미소 교란항에 대하여 전개하여 비선 형 정적 평형방정식과 교란 미분방ㄹ정식을 구하였다. 비선형 정적 평형방정식을 슬 라이더의 정량적인 거동형태를 표시하므로 이를 이용하여 슬라이더의 정적특성을 구할 수 있다. 이에 반하여, 동적 교란미분 방정식은 슬라이더의 간극함수에 대한 각종 교란에 의하여 유발되는 반발압력을 정성적으로 나타내므로, 슬라이더의 외부교란에 대한 응답특성 및 자기복원특성 등을 구할 수 있다. 이러한 특성을 서스펜션에 부착 된 헤드 시스템의 운동방정식에 함께 고려하여 시스템의 동적 특성을 해석하고 슬라이 더의 설계변수가 이에 미치는 영향을 고찰하고저 한다.

간담도스캔의 영상수집방법에 따른 담즙배출율의 비교분석 (A Comparative Analysis of GBEF According to Image Aquisition Method in Hepatobiliary Scan)

  • 김영선;서명덕;이완규;송재범
    • 핵의학기술
    • /
    • 제18권2호
    • /
    • pp.8-16
    • /
    • 2014
  • 간담도 스캔에서 GBEF의 산출은 정적영상법과 동적영상법으로 가능하다. 이번 연구를 통해 영상수집 방법에 따른 GBEF 차이를 알아보고, 정확한 GBEF를 산출하기 위한 방법을 강구하고자 한다. 본원의 환자 27명을 대상으로 하였으며, $^{99m}Tc$-mebrofenin을 정맥주사한 후 60분 동안은 정적영상법으로 영상을 수집하고 담낭이 잘 관찰되면 지방식(우유 $200m{\ell}$, 삶은 계란 1개)을 섭취하도록 하였다. 지방식 섭취 후 동적 영상법으로 60 sec/frame, 30분간 영상을 수집하고, 종료 후 60분 영상과 같은 조건으로 90분 영상을 수집하였다. 정적 GBEF는 지방식 전 후 정적 영상의 담낭계수를 이용하여 산출하고, 동적 GBEF는 시간-방사능곡선 상에 $T_{max}$$T_{min}$의 담낭계수를 이용하여 산출하였다. 또한 정적영상법의 지방식 전 영상과 동적영상법의 1분째 영상을 이용하여 지방식을 섭취하는 동안의 담즙배출량(초기담즙배출량)을 산출하였다. 결과는 $T_{max}$가 1분 이하인 경우는 20 case였으며, 정적영상법이 평균 $11.4{\pm}6.7%$ 높게 산출되었다(동적 : $40.1{\pm}21.7%$, 정적 : $51.5{\pm}23.6%$). $T_{max}$가 1분을 초과한 경우는 7 case였으며, 동적영상법이 평균 $-9.7{\pm}4.9%$ 높게 산출되었다(동적 : $31.0{\pm}19.7%$, 정적 : $21.3{\pm}19.4%$). 정확한 비교를 위해 영상법에 따른 담즙배출차이와 초기배출량을 지방식 전 담낭계수와의 비율로 부터 산출하였다. $T_{max}$가 1분 이하인 경우, 영상법간 차이는 평균 $16.7{\pm}13.6%$, 초기배출량은 평균 $12.7{\pm}13.8%$로, 오차범위 이내에서 일치하였다. 이는 영상법간 GBEF의 차이가 동적영상법이 시작되기 전에 이미 배출된 담즙때문이라는 것을 의미한다. $T_{max}$가 1분을 초과한 경우, 영상법간 차이는 평균 $-14.3{\pm}7.3%$, 초기배출량은 $-5.9{\pm}3.9%$로, 8.4% 차이가 났다. 이는 지방식 섭취를 시작한 시점부터 동적영상법을 시작한 후 일정 시점($T_{max}$)까지 계속 담즙이 집적되고 있음을 의미하며, 이 때문에 영상법간에 GBEF가 차이가 나는 것으로 판단된다. 정확히 30분 동안의 GBEF 산출하기 위해서, $T_{max}$가 9.5분 이상인 4 case를 추세 분석하여 GBEF를 산출한 결과, 평균 $57.2{\pm}20.4%$로, 정적영상법 (평균 $37.8{\pm}20.9%$) 보다는 20%정도, 동적영상법(평균 $42.0{\pm}16.2%$) 보다는 15% 정도 높게 산출되었다. 정적영상법은 비교적 간단하게 GBEF을 산출할 수 있으며, 환자의 움직임 등 여러 가지 오류로부터 영향을 적게 받는다는 장점이 있다. 반면에 $T_{max}$ 이전에 담낭자극을 시행한 경우이거나 환자의 상태에 따라서 담낭자극에 반응이 느린 경우엔 GBEF가 낮게 산출된다. 동적영상법은 담낭에서 담즙이 배출되는 양상을 분석할 수 있다는 장점이 있다. 배출이 지연되는 경우에도 T-A curve를 통해 $T_{max}$ 시점을 알 수 있기 때문에 정확한 GBEF를 산출할 수 있다. 하지만 지방식을 섭취한 후에 검사가 시작되기 때문에 지방식을 섭취하는 동안에 배출되는 답즙이 제외되어 GBEF가 낮게 산출된다. 연구 결과 간담도 스캔을 통해 정확한 GBEF를 산출하기 위해서는 우선적으로 동적영상법을 시행하여 T-A curve를 통해 담즙배출양상($T_{max}$의 시점)을 확인한 후에 두 영상법 중 적합한 GBEF를 선택하는 것이 바람직하다고 본다.

  • PDF

오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할 (Static Slicing of First-Order Functional Language based on Operational Semantics)

  • 안준선;한태숙
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권8호
    • /
    • pp.877-885
    • /
    • 2000
  • 정적 분할이란 가능한 모든 입력값을 고려할 때 프로그램 내의 한 지점에서 계산되는 값에 영향을 줄 수 있는 프로그램 부분들의 집합을 말한다. 본 논문에서는 일차 함수형 언어의 오퍼레이셔널 의미 정의에 기반하여 정적 분할을 정형적으로 정의하고 요약 해석을 통한 정적 분할의 분석 방법을 제시 하였으며, 제시된 분석 방법이 건전함을 증명하였다.

  • PDF

동적 환경에 강인한 단안 카메라의 실시간 자세 추정 기법 (Real-Time Monocular Camera Pose Estimation which is Robust to Dynamic Environment)

  • 박준형;박인규
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송∙미디어공학회 2021년도 하계학술대회
    • /
    • pp.322-323
    • /
    • 2021
  • 증강현실이나 자율 주행, 드론 등의 기술에서 현재 위치와 시점을 파악하기 위해서는 실시간 카메라 자세 추정이 필요하다. 이를 위해 가장 일반적인 방식인 연속적인 단안 영상으로부터 카메라 자세를 추정하는 방식은 두 영상의 정적 객체 간에 견고한 특징점 매칭이 이루어져야한다. 하지만 일반적인 영상들은 다양한 이동 객체가 존재하는 동적 환경이므로 정적 객체만의 매칭을 보장하기 어렵다는 문제가 있다. 본 논문은 이 같은 동적 환경 문제를 해결하기 위해, 신경망 기반의 객체 분할 기법으로 영상 속 객체를 추출하고, 객체별 특징점 매칭 및 자세 추정 결과로 정적 객체를 특정해 매칭하는 방법을 제안한다. 또한, 제안하는 정적 객체 특정 방식에 적합한 신경망 기반 특징점 추출 방법을 사용하면 동적 환경에 보다 강인한 카메라 자세 추정이 가능함을 실험을 통해 확인한다.

  • PDF

승마기구운동 후 서로 다른 회복처치가 초과산소섭취량 및 항산화력에 미치는 영향 (The Effects of Different Types of Treatment on EPOC and Anti-Oxidant Systems after Horseback Riding Exercise)

  • 김철우;백영호;곽이섭
    • 생명과학회지
    • /
    • 제21권11호
    • /
    • pp.1612-1618
    • /
    • 2011
  • 본 연구는 20대 여성을 대상으로 승마기구운동에 대한 성능분석과 승마기구운동 후 서로 다른 회복 방법을 부여하여 EPOC, 유연성, 활성산소, 및 항산화력에 대한 연구와 승마기구운동 후 피로회복의 시간과 기전을 과학적으로 규명하는데 연구 목적이 있다. 본 연구의 대상은 의학적으로 이상 소견이 없는 건강한 여성들로써 약물 치료를 받고 있지 않은 20대 여성 21명으로 구성하였다. 본 실험에 대한 실험대상구분은 정적 회복 그룹 7명, 정적 회복+스포츠마사지 그룹 7명과 동적 회복 그룹 7명으로 하였다. 그리고 본 연구의 목적을 달성하기 위해 피험자로부터 운동 후 초과산소섭취량 및 칼로리 측정, 유연성 측정, 활성산소, 항산화능력 측정을 분석하였다. 유연성은 승마기구운동에 대한 성능을 평가하기 위해 운동 전후 측정하여 대응표본 t검정(paired t-test)로 분석하였고, 각 회복방법 간의 차이를 분석하기 위하여 일원배치 분산분석(one-way analysis of variance)으로 분석하였다. 본 연구의 결과는 다음과 같다. 첫째, 승마기구 운동 후 EPOC의 변화에서 정적 회복 그룹과 정적 회복+스포츠마사지 그룹 그리고 동적 회복 그룹 중에 회복 10분에서 동적 회복 그룹이 통계적으로 유의하게 나타났다. 둘째, 승마기구운동 후 활성산소의 변화에서 운동 후 회복 10분과 회복 30분에서 정적 회복 그룹보다 정적 회복+스포츠마사지 그룹과 동적 회복 그룹에서 통계적으로 유의하게 높게 나타났고, 항산화력의 변화도 운동 후 회복 10분과 회복 30분에서 정적 회복 그룹보다 정적 회복+스포츠마사지 그룹과 동적 회복 그룹에서 통계적으로 유의하게 나타났다. 셋째, 유연성의 변화에서 승마 운동 전 요부의 굴곡과 신전 승마기구운동 후 요부의 굴곡과 신전에서 통계적으로 유의하게 나타났고, 척추의 측굴에서도 통계적으로 유의하게 나타났다. 이상의 결과 승마기구운동이 EPOC와 활성산소, 항산화에서는 큰 영향을 주지 못했지만 회복 방법에 따라서 항산화력이 다르게 나타났으며, 유연성 부분에서 승마기구운동의 효과가 높은 것으로 나타났다. 추후 여성을 대상으로 하는 다양한 승마기구운동 적용에 따른 운동생리학적 연구가 필요 할 것으로 사료된다.