• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.359-374
• /
• 2014

Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2015.11a
• /
• pp.258-259
• /
• 2015

$CuInSe_2$(CIS)층에 Na의 첨가는 태양전지 셀의 효율을 향상시키는데 도움을 주는 것으로 알려져 있다. 본 연구에서는 Na이 없는 코닝 유리 기판에 Mo/Mo-Na 이중 박막을 후면 전극으로 이용하여 CIS층의 Na소스로 작용하도록 하였다. CIS/Mo/Mo-Na 다층 박막을 제조한 후, AES분석을 통해 Na은 Mo/Na층과 CIS층의 계면과 CIS층의 표면에 주로 분포하는 것을 알 수 있었다. XRD분석을 통해서 Na함량이 증가할수록 Mo박막의 우선성장면 (110)면의 피크는 감소하였고, CIS의 우선 성장면인 (112)면은 점차 증가하여 Mo-Na층이 200 nm일 때, 최댓값을 가지고 이후로는 감소하는 경향을 보인다. CIS의 결정은 기판에 수직인 방향으로 덴드라이트 성장을 한다. Mo-Na층이 200 nm까지는 밀도가 높은 결정이 성장되지만, 그 이상으로 Na농도가 증가하면 결정 입자의 크기는 다소 성장하지만 밀도가 현저하게 감소한다. 이 결과들로 보아 CIS층의 Na농도조절은 Mo/Mo-Na 이중층의 두께조절을 통해 가능하며, Na이 CIS층에 초과되어 첨가되면 특성이 저하된다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.657-664
• /
• 2002

최근 고객관계 중시와 내부 프로세스 혁신의 대 명제 하에 경영 패러다임이 급속히 변화하고 있는데, 인터넷과 네트워크를 기반으로 하고 있는 최근의 비즈니스와 경쟁전략에 대한 연구는 대부분 새로운 비즈니스 창출이라는 측면에서 지나치게 온라인 기업들에 초점이 맞추어져 있다. 그러한 점에서 본 연구의 주된 목적은 고객만족과 내부 프로세스 최적화라는 품질경영의 핵심원천을 지원하기 위하여 IT와 결합된 전자적 품질경영기법의 구성요소를 제시하고 주요성공요인을 파악하여, eCRM과 관련된 학술적 연구자료를 제공하고 기업의 입장에서 보다 효과적인 의사결정의 기반을 제시하고자 하는 것이다. 이와 같은 목적을 달성하기 위해 e-비즈니스 내부활동, 업무성과, 경영성과, 그리고 상황요인으로서의 비즈니스 특성 및 정보관리 인프라간의 관계에 관한 연구모형 및 가설을 설정하여 분석하고자 한다. 연구모형의 분석을 통해 업무성과 향상을 위한 전자적 고객관리 활동에서 정보시스템 기능성과의 상호작용효과를 확인한 점은 본 연구에서 중요한 시사점인 동시에 기여점으로 작용하였다고 할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.272-274
• /
• 2000

본 논문에서는 자율 주행 로봇을 위한 계층화된 소프트웨어 구조 제안한다. 제안된 소프트웨어 구조에서는 데이터 종류를 추상화 단계에 따라 수치형 데이터, 명제형 데이터, 사실형 데이터로 분류했다. 그리고, 사용하는 데이터의 종류에 따라 계층을 분류해서, 실행 계층, 제어 계층, 추론 계층을 구성하고 각 계층의 기능을 정의했다. 또한 각 계층별 데이터 특성에 따른 고유의 데이터 처리 방법을 적용하였으며, 처리 결과에 대한 계층간 연동 구조에 대해서도 제안한다. 이러한 계층의 명확한 구분을 통하여 실시간 문제이면서도 복잡한 자료 처리 구조를 가지는 자율 주행 로봇의 소프트웨어 구조를 체계화하였고, 각 계층별 소프트웨어를 콤포넌화하여 재 사용성을 높이게 되었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.261-264
• /
• 2011

자바프로그램 검증은 안전하고 정확한 프로그램을 만들기 위한 필수적인 조건이지만 자바언어로 작성된 프로그램은 바이트코드로 작성되어 있는 클래스 파일로 배포되기 때문에 바이트코드에 대한 검증이 필요하다. 하지만 자바 바이트코드는 가독성이 떨어져 중간언어로 변환을 하고 그 중간코드에서 검증에 필요한 조건들을 작성 해야 한다. 이 논문에서는 새로 정의된 중간언어인 BIRS을 통해 컴파일시 검증이 되지 않는 배열 오버플로우에 대한 정적검증을 설명하고 검증 절차에 필요한 명제의 정의와 검증 시 사용되는 SMT-Solver 인 Z3 의 사용법에 대하여 서술하였다.

• KSBB Journal
• /
• v.26 no.6
• /
• pp.552-556
• /
• 2011

A novel agar-degrading bacterium mbrc-1 was isolated from seashore of Kyungpo at Gangwon province and cultured in marine broth 2216 medium. Isolated bacterium mbrc-1 was named as Flammeovirga sp. mbrc-1 based on the 16S rDNA sequence. Its agarase showed maximum activity of 923 units/L at pH 7.0 and $45^{\circ}C$ and sustained 90% remaining activity after exposed to $45^{\circ}C$ for 2 hours. The enzyme hydrolyzed agarose to yield neoagarohexaose (18.5%), neoagarotetraose (38%) and neoagarobiose (43.5%), indicating that the enzyme is ${\beta}$-agarase. Thus, isolated bacterium and its ${\beta}$-agarase would be useful for the industrial production of neoagarotetraose and neoagarobiose.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.

• KOREAN POULTRY JOURNAL
• /
• v.36 no.10 s.420
• /
• pp.116-120
• /
• 2004

계란으로 인한 살모넬라 식중독은 전 세계적으로 문제가 대두되고 있으며, 이를 해결하기 위하여 세계 각국은 대책을 강구하고 있다. 영국에서는 일찍이 라이언스 퀄리티 시스템을 도입하여 품질 보증된 안전한 계란을 생산하는 시스템을 구축하였으며, 미국과 일본 등도 각고의 노력을 기울이고 있지만, 아직 우리는 필요성만 인지하고 있을 뿐 구체적 대안을 제시하지 못하고 있는 실정이다. 열악한 환경에서 강한 면역체계를 갖춘 30대 이상의 건강한 사람의 경우는, 현재와 같은 시스템으로도 별반 문제가 없다 하더라도, 면역력이 떨어진 고령자나 어린이 등에게 있어서는 향후 치명적인 결과를 초래하여, 양계산업 기반이 흔들릴 소지가 있으므로, 미리 이에 대한 대비책을 강구하여야 한다. 이를 위해 도입된 시스템이 HACCP 시스템이다. 양계의 특성상 완전히 무균화된 생산 공정을 요구 할 수는 없다. 하지만 이의 목적은 단 하나다. 최종 소비자에게 이르렀을때는 안전한 계란이 되어야 한다는 것이다. 이 목적을 달성하기 위해서 사람, 설비, 방법 등을 어떻게 할 것이며 관리 감독할 것인가 절차를 명문화하고 이를 준수하고 개선하고 시정 조취를 취하느냐 하는 것을 표준화 한 시스템이다. 각론에서는 실행에 여러 어려움이 있겠지만, 안전한 계란을 생산하기 위한 목적을 달성하는 최적의 방법을 찾아가는 것이라 할 수 있으며, 이런 명제 하에 HACCP를 도입한다고 할 수 있으며, 이에 조금이라도 일조 하고자 IPPS JAPAN 2001에 소개된 농장에서 식탁 까지를 기본으로 한 양계장 에서의 HACCP 방식 이란 논문을 번역하게 되었다. 아직 양계 분야에서 어떻게 도입해야 할지 막막한 상황이므로 좋은 참고가 되었으면 하는 바램이며, 지면관계상 세심한 부분까지 거론되지 않은 부분도 있을 수 있으나 이를 실행함에 있어서 상호 충분한 토의를 거쳐 제도로 정착될 수 있도록 업계 여러분과 이에 대해 많은 협의를 할 수 있었으면 한다.

• Communications of Mathematical Education
• /
• v.3
• /
• pp.229-249
• /
• 1997

폴리아가 그의 저서 ‘How to Solve It.'에서 주창한 문제 해결의 모형은 이렇게 해석될 수 있다. 곧, 절대 다수의 수학 문제는 조건문 (p${\rightarrow}$q)의 명제 형식으로 분해된다는 것이다. 그리하여 순조롭게 발생되는 문제 해법의 전과정은 아래와 같이 마치 징검다리를 놓듯 추이율(transitivity)을 연거퍼 적용하는(이른바 연추적이라 함) 절차이다. (p: 주어진 정보) ${\rightarrow}$ ${\cdots}$ ${\rightarrow}$ ${\cdots}$ ${\rightarrow}$ (구하는 정보: q) 이것은, 일반적으로, 추이율이 성립하는 모든 관계(relation)의 연추적 확인 과정으로 확장될 수 있다. 요컨대 항진식 (p${\rightarrow}$r) ${\wedge}$ (r${\rightarrow}$q) ${\rightarrow}$ (p${\rightarrow}$q)의 보장 아래 관계의 추이율 xRz ${\wedge}$ zRy ${\rightarrow}$ xRy 로 연결되는 온갖 경로를 포괄한다. 이상과 같이 정식화되는 이 도식의 한계와 효용은 (1) 모든 문제가 조건문의 형태를 갖추고 있는 것은 아니며, (2) 조건문 형식의 문제라도 해법이 반드시 연추적으로 발생되는 법도 아니고, (3) 더구나 이것이 해법 발생의 만능 열쇠는 아닐뿐더러, (4) 발상을 촉진하는 데는 교육공학적으로 더 정교한 배려가 필요하므로, (5) 초보 단계에서 행동 수정을 위한 치유 목적으로 사용됨이 바람직하다.

• Proceedings of the Plant Resources Society of Korea Conference
• /
• 2023.04a
• /
• pp.71-71
• /
• 2023

사람 장내세균은 그 개체가 100조 이상으로 알려져 있으며, 그 종류도 수 천 종에 이르러 건강에 지대한 영향을 미치고 있다. 이에 많은 연구를 통해 장내세균의 구성과 각종 질환과의 연관성이 밝혀지고 있으며, 장내세균 구성을 변화시켜 질환을 치료하려는 시도도 이어지고 있다. 본 연구에서는 천연식의약소재의 활성 검토를 위해 피부염 동물모델을 구축하고, 장내세균과의 상관관계를 정립하기 위해 실험을 수행하였다. 실험동물의 등 부위를 제모하고 DNFB로 피부염을 유발시켰으며, 유도 전에 대변을 채취하였다. 피부염의 유발을 확인하기 위해 비장의 무게를 측정하였다. Arctigenin과 dexamethasone을 실험군으로 설정하여 동물에 투여하여 그 효과를 검증함과 동시에 대변을 채취하여 장내세균의 구성을 T-RFLP법으로 분석하였다. 또한, 실험동물의 장내세균을 납품회사 별로 분석하여 향후 연구에 활용하고자 하였다. 그 결과, 장내세균의 구성이 피부염의 유발에 직접적으로 영향을 주는 것이 확인되지 않았다. 하지만, 투여 성분의 채내 동태 등에 대한 연구를 실시하여 약물대사를 포함한 장내세균과의 상호작용 연구를 통해 질환과 약물, 그리고 장내세균과의 관계를 정립할 수 있는 기반을 마련하였다.