• Journal of Educational Research in Mathematics
• /
• v.25 no.3
• /
• pp.367-379
• /
• 2015

The existence of mathematical objects was considered through diorism which was used in ancient Greece as conditions for the existence of the solution of the problem. Proposition I-22 of Euclid Elements has diorism for the existence of triangle. By discussing the diorism in Elements, ancient Greek mathematician proved the existence of defined object by postulates or theorems. Therefore, the existence of mathematical object is verifiability in the axiom system. From this perspective, construction is the main method to guarantee the existence in the Elements. Furthermore, we suggest some implications about the existence of mathematical objects in school mathematics.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.1
• /
• pp.86-94
• /
• 2003

Certified e-mail system guarantees that recipient will get mail content if and only if mall originator receives a receipt. Unlike previous schemes, Optimistic protocols recently published generate a receipt when it meets the condition that the mail content can be accessed by recliner at any time. So originator cannot assure the delivery of e-mail although he can get a receipt. In this paper, we show some flaws in optimistic protocols and propose improved schemes using delivery deadline. Modified protocols guarantee proof-of-receipt and eliminate the problem mentioned above. Furthermore, proposed modification technique can be applicable to most optimistic protocols and is efficient in the sense that modified schemes do not increase the number of messages.

• Journal of KIISE:Software and Applications
• /
• v.31 no.8
• /
• pp.1062-1072
• /
• 2004

Collaborative filtering systems based on ｛user-document｝ matrix are effective in recommending web documents to user. But they have a shortcoming of decreasing the accuracy of recommendations by the first rater problem and the sparsity. This paper proposes the automatic preference rating method that generates user profile to solve the shortcoming. The profile in this paper is content-based collaborative user profile. The content-based collaborative user profile is generated by combining a content-based user profile with a collaborative user profile by mutual information method. Collaborative user profile is based on ｛user-document｝ matrix in collaborative filtering system, thus, content-based user profile is generated by relevance feedback in content-based filtering systems. After normalizing combined content-based collaborative user profiles, it automatically rates user preference by reflecting normalized profile in ｛user-document｝matrix of collaborative filtering systems. We evaluated our method on a large database of user ratings for web document and it was certified that was more efficient than existent methods.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.97-104
• /
• 2007

This paper presents the problem of the feature extraction techniques that has been used a content-based analysis, classification and retrieval in audio data and proposes a course of the preprocessing for a new contents-based retrieval methods. Because the feature vector according to sampling value changes, the existing audio data analysis is problem that same music is appraised by other music. Therefore, we propose waveform information extraction method of PCM data for retrieval audio data of various format to contents-based. If this method is used. we can find that audio datas that get into sampling in various format are same data. And it may be applied in contents-based music retrieval system. To verity the performance of the method, an experiment was done feature extraction using STFT and waveform information extraction using PCM data. As a result, we could know that the method to propose is effective more.

• Geotechnical Engineering
• /
• v.13 no.6
• /
• pp.147-164
• /
• 1997

This study has the assumption that scale effects in rock mass properties are atrributed to the discontinuous and inhomogeneous nature of rock masses. In order to escape the general equivalent material approach applied to the concept of representative volume element, this study presents the new method considering irregular i oink geometry and arbitrary numbers of i oink and arbitrary joint orientations. Based on the theoretical approach, this theory is applied to a real engineering project. Showing the property variations with size of rock mass element, various numerical experiments about scale effect are conducted. Particularly, to prove the adequacy of the verification process in scale effect with nomerical method, and to investigate the detailed source of scale effect, 4 models with increas ins number of joints are tested. On the basis of the experimental results, the test results of scale effects in 3-D rock mass are presented. From these experiments the effects of the mechanical properties of rock joints on the scale effects in rock mass strength and elastic constants are discussed. To verify the mechanism of scale effects in jointed rock mass, two models with different j oink geometries are studied.

• School Mathematics
• /
• v.18 no.4
• /
• pp.839-856
• /
• 2016

In 2009 revision and 2015 revision mathematics national curriculum, 'proof' was moved to high school from middle school in consideration of the cognitive development level of students, and 'proof by contradiction' was stated in the "success criteria of learning contents" of the first year high school subject while it had been not officially introduced in $7^{th}$ and 2007 revision national curriculum. Proof by contradiction is known that it induces a cognitive conflict due to the unique nature of rather assuming the opposite of the statement for proving it. In this article, based on the logical, mathematical and historical analysis of Proof by contradiction, we looked about the introductions and the applications of the current textbooks which had been revised recently, and searched for improvement measures from the viewpoint of discovery, explanation, and consilience. We suggested introducing Proof by contradiction after describing the discovery process earlier, separately but organically describing parts necessary to assume the opposite and parts not necessary, disclosing the relationships with proof by contrapositive, and using the viewpoint of consilience.

• Journal of Elementary Mathematics Education in Korea
• /
• v.19 no.4
• /
• pp.589-608
• /
• 2015

The inquiry subject of this paper is the number of convex polygons one can form by attaching the seven pieces of a tangram. This was identified by two mathematical proofs. One is by using Pick's Theorem and the other is 和々草's method, but they are difficult for elementary students because they are part of the middle school curriculum. This paper suggests new methods, by using unit area and the minimum area which can be applied at the elementary level. Development of programs for the mathematically gifted elementary students can be composed of 4 class times to see if they can prove it by using new methods. Five mathematically gifted 5th grade students, who belonged to the gifted class in an elementary school participated in this program. The research results showed that the students can justify the number of convex polygons by attaching edgewise seven pieces of tangrams.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.19 no.3
• /
• pp.25-32
• /
• 2019

The core of the block chain technology is solving the problem of agreement on double payment, and the PoW, PoS and DPoS algorithms used for this have been studied. PoW in-process proofs are consensus systems that require feasible efforts to prevent minor or malicious use of computing capabilities, such as sending spam e-mail or initiating denial of service (DoS) attacks. The proof of the PoS is made to solve the Nothing at stake problem as well as the energy waste of the proof of work (PoW) algorithm, and the decision of the sum of each node is decided according to the amount of money, not the calculation ability. DPoS is that a small number of authorized users maintain a trade consensus through a distributed network, whereas DPS provides consent authority to a small number of representatives, whereas PoS has consent authority to all users. If PoS is direct democracy, DPoS is indirect democracy. This study aims to contribute to the continuous development of the related field through the study of the algorithm of the block chain agreement.

• Journal of Korea Multimedia Society
• /
• v.7 no.2
• /
• pp.211-222
• /
• 2004

By development of wireless mobile communication, many users increased. But, in case of 1st generation or 2nd generation, transfer communication service was not satisfying high speed wireless internet Communication consumer's request such as other multimedia service because serviced based on voice and text basically. Can get through service such as data and transfer multimedia service that is not service of voice putting first in wireless hereafter. Problems by much development of service are happening, because a transmit is exposed, problem point that wireless network is much unlawful stealing use and tapping etc. As is different from this, problem can happen in service side. Can take next time for these example. By user that is not right can happen. Need method to keep away purpose that is enemy of third party in contract between both men as well as problem for document or accounting information which the third user that is enemy of third party is shared. By solution about problems, certification of contents for document and visual point confirmation must it. Applied service or certification of contents service that is rapidly point of time that is using in wire to solve problem that refer in front in this treatise in IMT-2000 to develop hereafter. Way to propose proposed efficient way using individual in IMT-2000 just as it is.

• The Journal of the Korea Contents Association
• /
• v.11 no.12
• /
• pp.171-181
• /
• 2011

This study was conducted to analyze the contents of the e-book and detail the properties of e-book experience. was written by Anthony E. Zuiker who is famous for American TV series C.S.I. is a thriller and is published for the iPad. This e-book provides three levels of interaction within the book. Zuiker calls this e-book a "Digi-Novel". The readers can choose the level of interaction:novel, digi-novel or ultimate digi-novel. The basic background story is the same. So we can compare the difference of reading experience of three levels. Digi-Novel are differentiated from other e-books through their complex characters. Consequently a well-throughout detailed background story is very important for Digi-Novels. In addition, it enrich the reading experience through the interactive elements and multimedia functions of iPad. Readers can interact with clues, manipulate evidence and listen to audio sounds. This serves to immerse the readers much more deeply in the reading experience and makes readers feel like they are a part of story.