• Title/Summary/Keyword: 형식증명

Search Result 158, Processing Time 0.024 seconds

Review of the Role of Dragging in Dynamic Geometry Environments (역동기하 환경에서 "끌기(dragging)"의 역할에 대한 고찰)

  • Cho, Cheong Soo;Lee, Eun Suk
    • School Mathematics
    • /
    • v.15 no.2
    • /
    • pp.481-501
    • /
    • 2013
  • The purpose of this study is to review the role of dragging in dynamic geometry environments. Dragging is a kind of dynamic representations that dynamically change geometric figures and enable to search invariances of figures and relationships among them. In this study dragging in dynamic geometry environments is divided by three perspectives: dynamic representations, instrumented actions, and affordance. Following this review, six conclusions are suggested for future research and for teaching and learning geometry in school geometry as well: students' epistemological change of basic geometry concepts by dragging, the possibilities to converting paper-and-pencil geometry into experimental mathematics, the role of dragging between conjecturing and proving, geometry learning process according to the instrumental genesis perspective, patterns of communication or discourse generated by dragging, and the role of measuring function as an affordance of DGS.

  • PDF

Effects of Hybrid Style Problem-Based Learning in Food Service Entrepreneurship Subject - Focusing on Problem Solving Skills (하이브리드 문제중심학습을 적용한 외식창업관련과목의 교육효과 -문제해결능력을 중심으로)

  • Shin, Seoung-Hoon;You, Dong-Sook
    • The Journal of the Korea Contents Association
    • /
    • v.14 no.6
    • /
    • pp.453-465
    • /
    • 2014
  • Although fairly descent amount of research outcomes has been generated on problem-based learning(PBL) with regard to science and medical subjects, relatively less outcome has been generated on social science and management subjects. Therefore this study attempts to exam effect of problem-based learning in food service entrepreneurship subject on improving problem solving skills. After literature review, for constructing for this research frame, each class schedules were formed by hybrid-PEL and traditional lecture style respectively then problems, solution, and evaluation process were generated for hybrid-PBL. Through the result, there was hardly any differences occurred before and after traditional lecture approach on students' problem solving skills. There was, however, certain differences appeared on students' skills after hybrid-PBL approach. Through the study, hybrid-PBL learning can be an effective teaching method in social science and management subject for improving students' problem solving skill.

Model Tests on the Reinforcement Effect of Unattached Strips to the Cantilever Retaining Wall (비정착 띠보강재의 역T형 옹벽 보강효과에 관한 모형실험)

  • Han, Gyeong-Je;Kim, Un-Yeong;Kim, Myeong-Mo
    • Geotechnical Engineering
    • /
    • v.14 no.2
    • /
    • pp.31-40
    • /
    • 1998
  • To verify the reinforcing effect of the strips which are inserted in the backfill, but not connected to the face wall, model tests are executed. As the reinforcing effect is expected to reduce the active thrust acting on the retaining wall, test programmes included the measurements of the thrust. As a result. it is ascertained that the active thrusts are reduced by as much as 50%. Besides, efficient arrangement and the optimum length of the strips are verified. And the the number of reinforcing strips are increased, are close to the Rankine's hypothesis.

  • PDF

Remote Communication of sensor data in Ballast Water Treatment System (선박 평형수 처리 시스템에서 센서 데이터의 원격 통신)

  • Kim, Chin-Hoon;Kim, Joo-Man;Kim, Byoung-Chul
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.14 no.6
    • /
    • pp.139-147
    • /
    • 2014
  • The ballast water may be discharged into another sea area with marine organisms, it caused problems to disturb the marine ecosystem. So, in order to remove these environmental risk factors, the IMO has mandated the installation of BWTS to the all ships. Our monitoring system diagnose and predict a failure of BWTS by analyzing the sensor information of BWTS collected from which the ships scattered in the ocean of several. This paper presents the design and implementation of communication modules for BWTS remote monitoring considering the satellite communication charge fee. In the our study, we implemented the safety and cost-saving communication modules by LabVIEW program. The collected sensor informations is encrypted and compressed by LabVIEW modules running on RIO. Then they will be transfer to the land server and will be decrypt to enable monitoring in the land server. For the verification, we build the test modules which can verify from collecting the sensor data to consuming them in the monitoring server. We carried out 20 times for the data pattern in all of case. So, we verified the excellent functionality and reliability through the experimental result.

Channel Estimation and Prediction in Cross-Layer Design Using Side-information (크로스레이어 디자인에서 사이드 인포메이션을 활용한 채널 추정 및 예측)

  • Cho, Yong-Ju;Cha, Ji-Hun;Kim, Wook-Joong
    • Journal of Broadcast Engineering
    • /
    • v.16 no.5
    • /
    • pp.797-800
    • /
    • 2011
  • The objective of MPEG Media Transport (MMT), which is on going standard, is to develop efficient delivery of media over packet based networks in an adaptive, progressive, download/streaming fashion over various IP based networks, including terrestrial, satellite and cable broadcast networks. In this paper we introduce utilization of signal strength information based on Cross Layer Design(CLD) to efficient multimedia delivery over wireless network in which in practice the wireless conditions can vary significantly. Many recent studies have shown that a significant improvement in wireless video throughput can be achieved by utilizing signal strength information on CLD [1][2]. Despite of its usefulness, however, it was difficult to employ signal strength information in rate adaptation applications due to different representation of signal strength information for each underlying wireless network. To that end, we proposed syntax and semantics of signal strength information in such a way that the information can be interpreted in the unified way. The proposed signal strength information was proposed for the MMT standardization.

The Geometry Education of the Middle School Using the Activity Papers (활동지를 이용한 중학교 기하 영역의 효을적인 지도방안 연구 - 중학교 1학년 수학 교과를 중심으로 -)

  • Kim, Go-Rim;Kim, Hong-Chan
    • Journal of the Korean School Mathematics Society
    • /
    • v.11 no.3
    • /
    • pp.337-362
    • /
    • 2008
  • Nowadays the education of Mathematics is more important than any other courses in the school. But the most students have felt the difficulty and uncomfortableness in studying Mathematics, especially the geometry course. Moreover teachers also consider that the teaching of geometry is the hardest part of Mathematics. Therefore we suggest an effective method of teaching the geometry course for the middle school students. We provide the activity papers which contain mathematics problems based on the practical life of students. And we analyze the effects of the activity papers using the questionnaire.

  • PDF

Development of a Web-based Adaptive System for Learning Pumping Lemma (펌핑 정리 학습을 위한 웹기반 적응형 시스템 개발)

  • Jung, Hyosook;Min, Kyungsil;Park, Seongbin
    • The Journal of Korean Association of Computer Education
    • /
    • v.12 no.5
    • /
    • pp.87-94
    • /
    • 2009
  • This paper presents a Web-based interactive and adaptive learning system that helps students learn the pumping lemma for the family of regular languages. Our system allows the students to proceed with their learning according to their individual differences through Web-Based Instruction and gives them opportunities for the interaction so that they can practice exercise related to the learning and gain feedbacks on the results of the exercises immediately. Especially, the system provides adaptive scaffolding that helps learners understand each step for the proof of the pumping lemma. Unlike existing systems that support learning the pumping lemma, the proposed system defines possible errors in advance and provides appropriate messages for corresponding errors. In addition, the system allows the learners to decompose a string into three parts so that they can understand the pumping lemma precisely.

  • PDF

A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications (객체지향 어플리케이션의 확장을 위한 클래스 계층 구조의 재구성에 대한 정형기법)

  • Hwang, Suk-Hyung;Kim, Dae-Won;Yang, Hae-Sool
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.3
    • /
    • pp.589-602
    • /
    • 1999
  • There are some advantages of developing applications based on the object oriented concepts. One os them is that it is possible to reuse the existing designs and products. This paper provides a formal method for the reorganization of class hierarchies for the object extension in the object oriented design phase. In this paper, we introduce classes, and edges to represent the inheritance and aggregation relationship between classes. Based on the graph, we define an order relation(called the object extension) between class hierarchy graphs. And also we present a set of five basic transformations preserving the object extension relation. The set is proven to be correct and complete. The results of this paper help form a theoretical basis for the extension and reorganization object-oriented application systems.

  • PDF

Anonymous Fingerprinting Method using the Secret Sharing Scheme (비밀분산법을 이용한 익명성 보장 핑거프린팅 기법)

  • 용승림;이상호
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.31 no.5_6
    • /
    • pp.353-359
    • /
    • 2004
  • The illegal copying and redistribution of digitally-stored information is a crucial problem to distributors who electronically sell digital data. Fingerprinting scheme is a techniques which supports copyright protection to track redistributors of electronic information using cryptographic techniques. Anonymous fingerprinting schemes, differ from symmetric fingerprinting, prevent the merchant from framing a buyer by making the fingerprinted version known to the buyer only. And the scheme, differ from asymmetric fingerprinting, allows the buyer to purchase goods without revealing her identity to the merchant. In this paper, a new anonymous fingerprinting scheme based on secret sharing is introduced. The merchant finds a sold version that has been distributed, and then he is able to retrieve a buyer's identity and take her to court. And Schnorr's digital signature prevents the buyer from denying the fact he redistributed. The buyer's anonymity relies on the security of discrete logarithm and secure two-party computations.

Novel System Modeling and Design by using Eclectic Vehicle Charging Infrastructure based on Data-centric Analysis (전기차 충전인프라 및 데이터 연계 분석에 의한 시스템 모델링 및 실증 설계)

  • Kim, Hangsub;Park, Homin;Jeong, Taikyeong;Lee, Woongjae
    • Journal of Internet Computing and Services
    • /
    • v.20 no.2
    • /
    • pp.51-59
    • /
    • 2019
  • In this paper, we analyzed the relationship between charging operation system and electricity charges connected with charging infrastructure among data of many demonstration projects focused on electric vehicles recently. At this point in time, due to the rapid increase in demand for the electric charging infrastructure that will take place in the future, we can prepare for an upcoming era in the sense of forecasting the demand value. At the same time, demonstrating and modeling optimized system modeling centering on sites is a prerequisite. The modeling based on the existing small - scale simulation and the design of the operating system are based on the data linkage analysis. In this paper, we implemented a new optimized system modeling and introduced it as a standard format to analyze time - dependent time - divisional data for each vehicle and user in each point and node. In order to verify the efficiency of the optimization based on the data linkage analysis for the actual implemented electric car charging infrastructure and operation system.