• 멤브레인
• /
• 제25권4호
• /
• pp.367-372
• /
• 2015

정삼투와 압력지연삼투 공정에서 용매의 투과율은 용매와 막이 접촉하는 방식에 의존한다. 각각의 공정에서 막의 활성층이 고농도 용매와 접촉하는 경우를 압력지연삼투 방식이라 하고, 고농도 용매가 막의 다공성 지지하층과 직면해 있는 경우를 정삼투 방식이라고 한다. 압력지연삼투 방식과 정삼투 방식은 각각 희석형 그리고 농축형의 내부농도 분극 현상을 유발하는데, 동일한 조작 조건에서 정삼투 방식보다 압력지연삼투 방식이 높은 투과율을 나타내는 현상이 실험적으로 관측되었다. 본고에서는 정삼투방식과 압력지연삼투 방식에서 발생하는 본질적인 투과율 불균형을 수학적 귀류법을 이용하여 증명하고, 물리적인 원인을 규명한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제23권2호
• /
• pp.461-481
• /
• 2009

최근 20여 년 동안 국제적으로 기호학의 관점에서 수학교육에 대한 다양한 연구와 실천이 진행되어 오고 있다. 멀티미디어는 표현 매체이며 기호로서 수학 및 수학교육과 다양한 관계를 가지고 상호 작용한다. 수학 및 수학교육의 활동은 기호학의 관점에서 기호적 활동으로 영향력, 역할 그리고 범위가 확대될 것으로 예상된다. 본 논문에서는 기호학의 기본 개념을 소개하고 수학교육에서의 적용 가능성을 제안하였다. 개념, 표상, 사회적 구성주의, 문화와의 맥락에 관한 수학교육의 기존 연구와 기호학관점의 연구는 유사성을 갖는다. 기호학의 관점에서 산술학습, 연역법, 귀납법, 가추법과 퍼스의 기호-삼항틀 적용 사례, 기하의 명제들 사이의 퍼스-삼항틀 관계, 대칭과 증명을 다루는 기하학습 등을 제시하였다.

• 실천공학교육논문지
• /
• 제6권1호
• /
• pp.1-7
• /
• 2014

이 연구는 귀납법적 확증(confirmation)을 위해서 실행하는 실험이 확률론적 추론임을 밝히고 이의 단점을 보완하기 위해서 적용된 확률적 확인론에 따라서 수행하는 실험에서 통제하는 절차와 방법을 다루었다. 이 통제란 알려진 조건과 상황들을 인위적으로 조작하되 가설에서 명시된 특정조건(즉 독립변수) 이외의 조건(기타 변수)이 작용하여 현상이 발생(종속변수)될 가능성을 막는 것이다. 특정조건에 의하여 현상이 발생할 가능성을 극대화 시키고 기타 조건에 의하여 현상이 발생할 가능성을 최소화시키는 것이다. 그렇게 함으로써 특정 선행사건(독립변수)과 후행사건(종속변수) 사이의 진정한 인과관계성(the causal relationship)을 객관적으로 정확하게 추론하도록 보장하는 방법이 통제인 것이다. 이 연구에서는 변수통제에 대해 좀 더 구체적으로 다루기 위해 대표적인 헬스기구인 Elliptical Trainer (ET)와 Tread Mill (TM)를 이용한 실험에서 변수통제를 가하여 운동속도(독립변수)에 따른 에너지 소비량 변화(종속변수)와 운동속도(독립변수)에 따른 호흡교환율(RER)과 심장 박동율(HR)의 변화(종속변수)를 얻었다. 마지막으로 이 통제를 통해 얻어진 실험결과들을 그래프로 그려 그 결과에 따라 연구의 결론이 다루어졌다.

• 한국과학교육학회지
• /
• 제23권5호
• /
• pp.458-469
• /
• 2003

이 연구는 과학적 가설 지식의 생성 과정을 귀납적으로 기술하구 분석하여 하나의 바탕이론을 제시하고자 하였다. 이것을 위해 과학적 현상의 원인을 설명하는 과제를 피험자들에게 제시하고, 피험자들이 과제를 해결하는 과정에서 표상한 지식과 사고 유형을 발성 사고법과 심층면접을 통해 프로토콜로 생성하게 한 후, 이것에서 규칙성을 찾아 귀납적으로 기술하는 연구 방법을 이용하였다. 이 연구의 결과는 가설 지식 생성 과정에서 의문상황, 가설적 설명자, 경험상황, 원인적 설명자, 최종가설지식 등 5가지의 중간적 지식들이 생성됨을 보여주었다. 또, 지식 탐색, 의문상황과 경험상황 비교, 설명자 차용, 설명자 조합, 설명자 선택, 설명자 확인 등 6가지 유형의 사고가 가설 지식 생성에 관여한다는 것도 보여주었다. 또한 과학적 가설 지식은 '의문상황${\righallow}$경험상황${\righallow}$원인적 설명자${\righallow}$가설적 설명자${\righallow}$가설' 순으로 중간적 지식들의 표상되는 과정을 통해 생성되며, 이러한 과정은 귀추적 추론 뿐만 아니라 귀납과 연역 추론도 함께 관여하는 복잡한 사고 과정임을 보여주었다.

• 한국학교수학회논문집
• /
• 제19권3호
• /
• pp.291-308
• /
• 2016

본 연구는 수학영재의 심화학습을 위한 주제로 사용해 볼 수 있는 이항계수의 정의와 성질을 탐구하고, 이로부터 수학적 귀납법, 이항정리, 조합의 정의, 도로망 상황 모델 등을 이용한 이항계수가 포함된 등식의 문제해결방법을 연구하였다. 그리고 이러한 내용들이 수학영재 학생들에게는 충분히 탐구의 대상이 될 수 있어 수학영재 교육의 심화학습 주제로 적절하게 다루어질 수 있다는 것과, 수학의 깊은 의미를 경험할 수 있는 학습주제로 사용될 수 있다는 것을 학생들에게 지도한 예시로 소개한다.

• 한국지능시스템학회논문지
• /
• 제8권6호
• /
• pp.27-36
• /
• 1998

본 논문은 대규모 데이터베이스에서 유용한 지식을 발견하기 위해 라프셋을 중심으로 한 통합적 방법을 제시한다. 본 방업에서는 데이터베이스에 있는 실제 데이터에서 일반화된 데이터를 추출하기 위해 속성중심의 개념계층 상승기법을 사용하고, 획득 정보량을 측정하기 위해 결정 트리에 의한 귀납법을 사용한다. 그리고 불필요한 속성 및 속성값을 제거하기 위해 라프셋 이론의 지식감축 방법을 적용한다. 통합 알고리즘은 먼저, 개념의 일반화에 의해 데이터베이스의 크기를 줄이고, 다음으로 결정속성에 영향을 적게 미치는 조건속성을 제거함으로써 속성의 수를 줄인다. 마지막으로 속성간의 종속관계를 분석함으로써 불필요한 속성값을 제거하여 간략화된 결정규칙을 유도한다.

• 한국정보처리학회논문지
• /
• 제6권8호
• /
• pp.2098-2115
• /
• 1999

신경망 회로의 해석에서 아직 해결하지 못하는 부분이 은닉층(hidden layer)의 해석이다. 본 논문에서는 신경망 회로의 기본적인 구성회로로써 하나의 입력(p levels)과 하나의 출력(q levels)을 갖는 2-layer Core-Net를 정의하고, 이 Core-Net의 처리 가능 용량(the capacity)은 2차원 무게값 공간(weight space)을 나눌 수 있는 영역의 수로, {{{{ {a}_{p,q} = {{q}^{2}} over {2}p(p-1)- { q} over {2 } (3 { p}^{2 } -7p+2)+ { p}^{2 }-3p+2}}}}임을 수학적 귀납법으로 증명하였다. 이 Core-Net로 신경망 회로의 중간층 해석이 가능함을 시뮬레이션 예제를 통하여 보였다.

• 대한교통학회:학술대회논문집
• /
• 대한교통학회 1993년도 한-중 국제학술회의 발표논문
• /
• pp.255-258
• /
• 1993

본문제출료 일충여교통복무상태상련계적성시도로교통복무수평적화분방법, 귀납출료성시교통적오충복무상태,즉자유류, 교차구무일류, 일류은정, 일류연오저우가 접수겁한급교통엄중조새,환학인결정교통복무상태절환적인소시교차구진구도적포화도. 재차기출상, 근거유관수거급출료구분교통복무상태적포화도간치, 종이건립료화 분성시혹구역도로망교통복무수평적표준.

• 대한수학교육학회지:학교수학
• /
• 제17권2호
• /
• pp.273-287
• /
• 2015

본 연구는 계산기를 활용하는 초등 수학 영재 수업에서 나타나는 교사의 도구적 오케스트레이션 유형을 분석하고 활동체계로 도식화해 봄으로써 공학이 통합된 수업에 관한 교사의 교수학적 실행에 대한 이해를 얻고자 하는데 목적이 있다. 이를 위해 Y초등학교 5학년 영재 학급을 대상으로 미시적 문화기술지를 활용한 질적 연구를 수행하였다. 영재 수업에 참여관찰하면서 영재 학급 내 구성원들과 인터뷰를 실시하고, 다양한 문서 자료를 수집하였다. 그리고 수집된 질적 자료를 분석하기 위해 분석적 귀납법을 적용하였으며, Drijvers, Boon, Doorman, Reed, & Gravemeijer의 도구적 오케스트레이션 유형과 Engestrom의 2세대 활동이론을 개념적 준거틀로 활용하였다. 본 연구 결과에 따르면 '기술-설명하기', '스크린-화면-연결하기', '발견-소집단 탐구하기', 그리고 '기술-화면-설명하기'의 4개의 유형이 나타났다.

• 한국정보통신학회논문지
• /
• 제24권11호
• /
• pp.1457-1462
• /
• 2020

스마트폰에는 다수의 응용 프로그램들이 탑재된다. 이 응용 프로그램들의 탑재, 삭제, 배치 등을 관리하는 서비스 응용 프로그램을 런처라고 하며 다양한 런처들이 사용된다. 기존 런처들 중에서 응용 프로그램의 사용자 활용 패턴들을 분석하여 아이콘을 자동으로 배치하는 기능을 제공하는 것도 있다. 본 논문에서는 스마트 폰 화면에서 아이콘들이 균형을 이루도록 아이콘을 자동으로 배치하는 방식을 제시한다. 사례를 통하여 이 방식의 자동 배치가 사용자에게 유용함을 보였다. 이 경우 높이가 m이고 너비가 n인 m × n 화면 레이아웃에서 n이 홀수이면 전체 화면이 n 값과 관계없이 항상 균형을 이루도록 배치할 수 있음을 수학적 귀납법으로 증명하였다.