• The Mathematical Education
• /
• v.63 no.2
• /
• pp.139-163
• /
• 2024

The purpose of this study is to examine the capabilities of ChatGPT as a tool for supporting students in generating mathematical arguments that can be considered proofs. To examine this, we engaged students enrolled in a mathematics pathways course in evaluating and revising their original arguments using ChatGPT feedback. Students attempted to find and prove a method for the area of a triangle given its side lengths. Instead of directly asking students to prove a formula, we asked them to explore a method to find the area of a triangle given the lengths of its sides and justify why their methods work. Students completed these ChatGPT-embedded proving activities as class homework. To investigate the capabilities of ChatGPT as a proof tutor, we used these student homework responses as data for this study. We analyzed and compared original and revised arguments students constructed with and without ChatGPT assistance. We also analyzed student-written responses about their perspectives on mathematical proof and proving and their thoughts on using ChatGPT as a proof assistant. Our analysis shows that our participants' approaches to constructing, evaluating, and revising their arguments aligned with their perspectives on proof and proving. They saw ChatGPT's evaluations of their arguments as similar to how they usually evaluate arguments of themselves and others. Mostly, they agreed with ChatGPT's suggestions to make their original arguments more proof-like. They, therefore, revised their original arguments following ChatGPT's suggestions, focusing on improving clarity, providing additional justifications, and showing the generality of their arguments. Further investigation is needed to explore how ChatGPT can be effectively used as a tool in teaching and learning mathematical proof and proof-writing.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.37 no.2
• /
• pp.55-61
• /
• 2014

Recently, the manufacturing system is being changed in a mass customization and small quantity batch production. MES is a powerful production management tool supporting production optimization from the process initiation to the final shipment. It is a production management system which plans and executes based on the production data in the shop floor. This study deployed the utilization of production data and web HMI system to process real-time production data through the collection with the shop floor. The developed system was applied to the equipment operating time and other production data could be processed with the real-time. The proposed system and web HMI can be applied for various production systems by using different logic.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2007.04a
• /
• pp.417-420
• /
• 2007

Mobile facility management system is a on-site management tool to collect and update various facility data. But there is a chance to make a data inconsistency between lot of concurrent workers. And facility management system requires to keep records about work log within a certain period of time. This paper describes the design and implementation of mobile facility management system, which provide efficient data synchronization mechanism using version managent technique on large facility data in concurrent work environment. And proposed system is able to keep workers update log persistently.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.892-903
• /
• 1998

기존 객체지향 모델링 및 설계 기법들을 다양한 관점에서 비교해 본 결과, 객체지향 분석과 객체지향 설계에 대한 경게와 모델링 개념 포현에 대한 표기법 이해에 어려움이 있음을 알 수 있었다. 본 논문에서는 객체지향 분석의 중요성을 인식하여 필수적인 객체지향 분석 특징과 이해하기 쉬운 표기법의 객체지향 분석을 지원하는 분석 지향 모델링(AOM:Analysis Oriented Modeling)을 정의한다. AOM은 시스템 관점과 클래스 관점을 가지며 outside-in 방식으로 문제 영역에 접근한다. 다음으로, 다이어그램 편집기, 다이어그램 분석기, 코드 생성기, 로더, 저장소, 저장기로 구성된 AOM 지원 CASE 틀을 설계한다. 문제 영역 분석 후, 기존 CASE 틀에 예제 모델을 실행시키고 $C^{++}$탬플릿을 생성한다.

• Journal of Korea Multimedia Society
• /
• v.18 no.5
• /
• pp.641-651
• /
• 2015

This study intends to develop an evacuation simulation system based on BIM in a real-time manner. The proposed system, an add-on module for Revit Architecture and one of the most popular BIM authoring tools, supports the architectural design as well as real-time evacuation simulation of the design alternatives. This paper introduces the developed system, named SafeBIM, and the design process on which it is based. To evaluate the possibilities of the proposed system in the educational field of architectural design, this study included a feasibility test with college students in an architectural design studio.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.1
• /
• pp.28-35
• /
• 2013

Product Life cycle Management (PLM) is an indispensable tool for manufactures to develop competitive products in an efficient way. This enlarges the number of participants for product development who should understand PLM for their supporting activities. However, burdens for developing example products, maintaining complex PLM systems and training prerequisite skills for engineering tools such as CAD systems prohibit an efficient introductory course to PLM. This paper proposes a comprehensive introductory course to PLM that bases on general product development process. In addition, it enables participants to build their example products with familiar Lego blocks and to construct 3D CAD assembly models by using predefined 3D elements. The PLM system for the course provides an intuitive and simple user environment for participants to specify their parts lists, associated 3D CAD models, and product structure of example products. Experiences on a class of the course show it is a valid and efficient education and training method for the PLM introduction.

• International Journal of Advanced Culture Technology
• /
• v.8 no.1
• /
• pp.107-112
• /
• 2020

Green credit card is the card service to revitalize the eco-friendly life of the people, offering a variety of benefits to card users for supporting environment. The present research aims to examine the effect of individuals' regulatory focus (promotion focus vs. prevention focus) on their ethical behavior in the context of green credit/debit card services. This research examines whether green credit/debit card users behave ethically according to their regulatory focus. The results indicate that green credit/debit card users with a prevention focus are more likely to behave ethically compared to those with a promotion focus. The findings imply that regulatory focus may be an effective marketing and segmentation tool in facilitating individuals' ethical behavior.

• 한국정보교육학회:학술대회논문집
• /
• 2010.01a
• /
• pp.337-342
• /
• 2010

로봇 프로그래밍 교육은 프로그래밍 교육의 문제점을 보완할 수 있는 대안으로 제시되었으나 아직 활성화되지는 못하고 있다. 로봇 프로그래밍 교육의 활성화를 위해서는 교수자 측면 뿐만 아니라 학습자 측면에서 그들에게 필요한 지원 도구가 개발되어야 한다. 이를 위해 본 연구에서는 학습자 측면을 고려한 로봇 프로그래밍 지원 도구를 설계하였다. 로봇 프로그래밍 지원 도구는 웹 기반으로 구축되며, 기본 예제 제공 및 우수 예제 선발 기능, 명령어 검색 및 자동완성 기능, 오류 위치 찾기 기능과 도움말, 질문하고 답하기 기능들을 제공하도록 설계하였다. 앞으로 설계된 내용을 바탕으로 로봇 프로그래밍 지원 도구를 개발하고 적용하여 그 효과를 검증해 볼 필요가 있다.

• Asia pacific journal of information systems
• /
• v.6 no.2
• /
• pp.5-17
• /
• 1996

There are various cases that we vote for making a decision or combining ideas (i.e. human being's opinions) in group meetings. Group Decision Support System(GDSS) provides us with a number of voting methods for decision making or aggregation of the ideas. It is generally difficult to select a voting method appropriate for given a meeting situation, without any aid of experts or computers having a knowledge on voting. In this paper we propose a supporting system for selecting an appropriate voting method. Since the selected method is recommended to the facilitator of GDSS, a part of time and effort related with the voting would be reduced. The knowledge in the system is represented as rules that are inductively generated from examples of voting. We used UNiK-INDUCE with ID3 algorithm so as to learn, which is a tool of developing expert systems.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2006.11a
• /
• pp.562-566
• /
• 2006

Lightweight body can cause a low stiffness due to the decrease of panel thickness and reinforcing member. The other way, high stiffness body demands an increase of mass. Front pillar section area is decreased due to driver's visual field. Global vehicle stiffness is affected by stiffness distribution ratio between upper part and lower part at side body structure. This paper will describe a process used to evaluate the stiffness distribution ratio based on research of strain energy analysis of the tip rotation method. In addition, optimum design schemes are presented for high stiffness and lightweight body structure considering the investigated stiffness distribution ratio. In this way the designer will be aided by a defined design guide and a set of supporting tool to help him work towards a good design