• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권4호
• /
• pp.535-546
• /
• 2005

We study on intuitive verification and rigor proof which are in geometry of Korean and Russian $7\~8$ grade's mathematics textbooks. We compare contents of mathematics textbooks of Korea and Russia laying stress on geometry. We extract 4 proposition explained in Korean mathematics textbooks by intuitive verification, analyze these verification method, and compare these with rigor proof in Russian mathematics textbooks.

• 공학교육연구
• /
• 제16권4호
• /
• pp.30-36
• /
• 2013

Applying intuitive learning method on engineering education, especially for the mechanical engineering, is hardly found from the previous case studies and is not easily proved its beneficial verification. Verbal repetition is also rarely used to investigate its positive effects on educational methodology for both science and engineering disciplines. To prove the education effects of these two methods; we used intuitive thinking time period at the beginning of each lecture and let students repeat the concepts and the equations verbally. These two methods were related to the subjects of each lecture, and were used for students to try to draw engineering thinking from natural phenomena that they could easily experience in daily life. The methods could help them to memorize theoretical ideas. We investigated the effects of intuition and verbal repetition methods by comparing the scores of final exam with those of midterm exam. The results revealed significant improvement; 77.6% of the students achieved higher score in their final exam compared to midterm exam. We plan to investigate qualitative contributions of intuition and verbal repetition methods to the students' achievement for the further research.

• 수산해양교육연구
• /
• 제25권1호
• /
• pp.260-273
• /
• 2013

This study aims to reflect experts' opinions in analyzing a design thinking as foundation of multidisciplinary education. For this purpose, a delphi survey was conducted with 20 experts in three sessions from May 1 to June 25, 2012. To analyze the collected data, descriptive statistics, including frequency, percentage, the mean, and standard deviation were implemented, and internal reliability test on the survey instrument was carried out for statistical processing. The main results are as follows : First, the delphi analysis on intuitive thinking of design thinking suggested 7 items(to pursue the possibility of outside, to pursue the possibility of applying new forms of technology, content planning, facing a complex real-world phenomena etc.). Second, the delphi analysis on logical thinking of design thinking suggested 7 items(executed repeatedly, reasoning and verification, artificial intelligence, a decision support system etc.) Third, the delphi analysis on subjective thinking of design thinking suggested 9 items(user experience measuring, user satisfaction ratings, user requirements analysis, user interface design, behavioral responses of the human etc.). Fourth, the delphi analysis on objective information of design thinking suggested 8 items(information management system, simulation, production process, information exchange and sharing etc.). According to the results of the delphi analysis, design thinking can be seen as the foundation of multidisciplinary education. Suggestions were made for discussion about the main results and further researches.

• 대한간호학회지
• /
• 제24권2호
• /
• pp.206-215
• /
• 1994

Intuition is an abstract concept which is most often thought of as a nonrational, nonscientific mode of thought. However, since there are so many amorphous definitions of intuition that it seems important to clarify the meaning of this concept. Therefore, this study use the process of Walker & Avant’s concept analysis to define of the concept of intuition Attributes of intuition were defined as 1) Knowledge of truth that is difficult to explicate ; 2) A type of immediate knowing ; 3) Knowlwdge without reasining analysis ; 4) Knowledge that is attained based on virtue character which integrates all matter and is not attained through individual experience. Antecedents of intuition consists of 1) as ground for knowledge or truth that is not availables to trace through the analytic procedures ; & 2) the flow of Ki which unites human beings and the universe. Consequences of intuition events or incidents occuring as a result of the concept consist of verification of the truth though analytic procedures and application of knowledge in both theoretical and practical ways. To develop intuitive ability, as an educator should not only make studies in recognizine, analysing and teaching concepts related to logical, rational decision making but should also recognize and teach concepts related to intuitive components of making decisions in clinical practice and classroom learning as well.

• 한국HCI학회논문지
• /
• 제2권2호
• /
• pp.53-59
• /
• 2007

3D/가상환경 애플리케이션을 위한 3D 인터랙션에 관한 연구는 이동(navigation), 선택(selection), 조작 (manipulation), 시스템 제어(system control)와 같은 기본적인 4가지 형태의 상호작용으로 정의하고 광범위하게 연구되어 왔으며, 일반적으로 현실세계나 가상환경에서 작은 물체라도 상호작용하기에 적합한 기술로 여겨져 왔다. 그러나 이러한 비직관적인 상호작용 방법은 최근 산업계에서 필요시 되고 있는 가상 훈련이나 가상 디자인/사용성 평가 시스템과 같이 사용자가 도구나 장치를 사용하여 간접적으로 물체를 조작해야 하는 비직관적인 상호작용 방법이 아닌, 자신의 손으로 직접 물체를 만지거나 조작할 수 있는 직관적인 상호작용 방법이 필요한 고품질, 고정밀 애플리케이션을 지원하기에는 적합하지 않은 방법이었다. 따라서 본 연구에서는 직관적이며 자연스러운 상호작용을 지원하기 위한 방법으로 고정밀 핸드 조작과 사실적 역.촉감을 제공하는 장갑형 핸드 인터페이스 장치 및 햅틱 장갑 장치와 6자유도 햅틱 장치로 구성된 핸드 햅틱 인터페이스를 제시하고자 한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권3호
• /
• pp.211-215
• /
• 2009

프로그래머블 로직 콘트롤러(PLC)가 원자력 계측제어 시스템과 같은 안전 필수 시스템 구현에 많이 사용됨에 따라, PLC 프로그램에 대한 정형검증의 필요가 높아지고 있다. 본 연구에서는 함수 블록 다이어램(FBD)으로 구현된 PLC 프로그램에 대한 자동화된 정형검증 기법을 제안한다. FBD 프로그램을 검증하기 위해서 먼저 FBD 프로그램을 검증언어인 Verilog로 변환하고, 변환된 Verilog모델에 대해 SMV 모델체커를 호출해 모델체킹을 수행한다. 자동화를 위해 FBD Verifier 도구를 개발하였다. FBD Verifier는 FBD 프로그램으로부터 Verilog 모델로의 자동변환 기능뿐 아니라 모델체킹 결과 생성된 반례를 직관적이고 효과적으로 분석할 수 있는 기능 또한 제공한다. 제안된 기법과 도구를 사용해 원전계측제어시스템 개발사업단의 원자로 보호시스템에 대한 방대한 양의 FBD 프로그램을 성공적으로 검증하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권2호
• /
• pp.135-148
• /
• 2011

우리나라 중학교 수학 2에서는 공리의 역할을 하는 명제를 공리라는 명시 없이, 실험에 의해 확인한 옳은 결과로만 받아들여 증명에 사용한다. 그러나 공리 개념은 경험적 입증과 연역적 증명, 직관기하와 논증기하, 증명과 증명이 아닌 것의 차이를 이해하는데 매우 중요한 것이다. 본 연구의 교과서 분석과 영재학생들을 대상으로 한 인식조사 결과는, 공리와 증명의 취급에 대하여 우리나라 교과서가 가진 한계와 문제점을 보여주고 있다.

• Journal of Electrical Engineering and Technology
• /
• 제10권6호
• /
• pp.2288-2296
• /
• 2015

This paper proposes a novel systematic modeling approach for an integrated single-stage power converter in order to predict its dynamic characteristics. The basic strategy of the proposed modeling is substituting the internal converters with an equivalent current source, and then deriving the dynamic equations under a standalone operation using the state-space averaging technique. The proposed approach provides an intuitive modeling solution and simplified mathematical process with accurate dynamic prediction. The simulation and experimental results by using an integrated boost-flyback converter prototype provide verification consistent with theoretical expectations.