• Journal of Educational Research in Mathematics
• /
• v.9 no.1
• /
• pp.245-261
• /
• 1999

Proof is an essential characteristic of mathematics and as such should be a key component in mathematics education. But, teaching proof in school mathematics have been unsuccessful for many students. The traditional approach to proofs stresses formal logic and rigorous proof. Thus, most students have difficulties of the concept of proof and students' experiences with proof do not seem meaningful to them. However, different views of proof were asserted in the reassessment of the foundations of mathematics and the nature of mathematical truth. These different views of justification need to be reflected in demonstrative geometry classes. The purpose of this study is to characterize the types of students' justification in demonstrative geometry classes taught using dynamic software. The types of justification can be organized into three categories : empirical justification, deductive justification, and authoritarian justification. Empirical justification are based on evidence from examples, whereas deductive justification are based logical reasoning. If we assume that a strong understanding of demonstrative geometry is shown when empirical justification and deductive justification coexist and benefit from each other, then students' justification should not only some empirical basis but also use chains of deductive reasoning. Thus, interaction between empirical and deductive justification is important. Dynamic geometry software can be used to design the approach to justification that can be successful in moving students toward meaningful justification of ideas. Interactive geometry software can connect visual and empirical justification to higher levels of geometric justification with logical arguments in formal proof.

• Korean Institute of Interior Design Journal
• /
• v.15 no.4 s.57
• /
• pp.138-146
• /
• 2006

Main elements in definition of space value were physical, formal, and reasonable characteristics in the past. Howener recently, definition of space value is changing by being advanced about study concerned with human's cognition and thinking way in definition and analysis of space. As you see, cognitive psychologists have emphasized the importance of human's cognitive structure and process and studied diverse aspects of human's thinking ; consciousness, perception, memory, image, language, decision-making, inference, and so on. Therefore main elements in definition of space value are five-dimensional, psychological, symbolic, mental, emotional characteristics above physical, formal, and reasonable characteristics. As mentioned above, the conversion of thinking focused on reason to thinking focused on human's spirit and emotion is achieved in contemporary architecture and 'human's experience' in space becomes a very important factor. For that reason, the purpose of this study is consideration of human's cognitive process in space by conversion of thinking and gives a definition about experience. And, I would like to define 'experience design' whose main attribute is experience in space and establish theoretical basis of experience design through theoretical researches about experience. This study on experience design that induces users to participate in space and stimulate human's spirit is a important point in definition of space value not only contemporary interior architecture but also prospective generation.

• Journal of architectural history
• /
• v.25 no.5
• /
• pp.75-86
• /
• 2016

This paper examines the pagodas during the Bagan period, which are thought to be most valuable among those in Myanmar. They have not been sufficiently studied, in spite of their high Buddhist status. It considers the contemplation of Pato, their formal characteristics in the Bagan period and the formal categorizations of pagodas in the same period. Thus, following seven kinds of conclusions are derived: first, researchers provide opinions to the Pato which should be regarded as the Buddhist shrine-type of pagoda with a unique Bagan form, symbolically indicating that Theravada Buddhism incorporated Hinduism; second, the terraces were characteristic components in pagodas, during the Bagan period, which were built after the enthronement of King Anawratha and are thought to symbolically express the wish to widely spread Theravada Buddhism; third, Shwesandaw Zedi seems to affect not only Shwezigon Zedi, a representative standard form of pagoda in Myanmar, but also Ananda Pato; fourth, it is thought to be proper to examine the terraces by classifying them into lower, central(from pedestals to Angryeon and Bokryeon) and upper part, if it intends to divide a pagoda with bell-shaped body on the terraces during the Bagan period, into three parts; fifth, the Pato may be identified as a form of pagoda during the Bagan period, and such a form can be classified as that of Sikhara on the rectangular terrace; sixth, forms of Myanmar's pagodas can be classified into fourteen kinds of them, and they may be also grouped into transmitted, general and special type; and seventh, on the basis of the findings, it is thought that the pagodas during the Bagan period may be classified into six forms, and they can be largely categorized into transmitted, general and special type.

• Journal of the Korean Society of Costume
• /
• v.66 no.7
• /
• pp.171-191
• /
• 2016

Lady Han, Gongshin-buin(恭愼夫人韓氏: 1410~1483) was Gongnyeo of Ming emperor and sister of Han Hwak(韓確:1400~1456). The aim of this study is to analyze the characteristic of costume presents for Lady Han, and to investigate a part of Joseon women's attire in the 15th century. Most of the presents for Lady Han were native products of Joseon to help alleviate her homsickness, but surviving relics are very rare. The costume-related presents included daily accessories and fabrics such as natural ornaments, embroidered pouch, needle case, wig, wooden comb, portable knife with multi-blades, various colored plain silk [綿紬] and ramie. Also, preceding research analysis of costume relic were combined with study of presents for Lady Han's. The most salient costume of Joseon women in the 15th century was the symmetric collared jacket. In addition, ornamented jeogori, pouch with pine nut stitch, chima, jangot, jangsam, black veil[羅兀] made with ra or jeung, glass beads, paintings of Ming and Joseon can be references. Illustrations show 6 representative type of Joseon women's full attires in the 15th century are as follows. First, is a combination of 'symmetric collared jacket with peacock rank badge, jeoksam, chima, underwear' and 'hoa-a, janga-a, embroidered pouch, needle case, knife with multi-blades: presents for Lady Han'. Second, formal wear focusing on symmetric collared Jacket of cloud pattern. Third, formal wear focusing on multicolor ornamented jeogori. Fourth, town wear with jangot and neoul. Fifth, formal wear with jangsam. Sixth, daily wear focusing on banbi with symmetric squre collar. Accessories and underwear shown in another illustration were same as the first illustration. Results of this study can be used as content for making historically accutate costumes as well as costume education.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.12
• /
• pp.4849-4865
• /
• 2020

The traditional roles of leaders are to influence members and motivate them to achieve shared goals in organizations. However, leaders such as top managers and chief executive officers, in practice, do not always directly meet or influence other company members. In fact, they tend to have the greatest impact on their members through formal speeches, company procedures, and the like. As such, official speech is directly related to the motivation of company employees. In an official speech, not only the contents of the speech, but also the voice characteristics of the speaker have an important influence on listeners, as the different vocal characteristics of a person can have different effects on the listener. Therefore, according to the voice characteristics of a leader, the cognition of the members may change, and, the degree to which the members are influenced and motivated will be different. This study identifies how members may perceive a speech differently according to the different voice characteristics of leaders in formal speeches. Further, different perceptions about voices will influence members' cognition of the leader, for example, in how trustworthy they appear. The study analyzed recorded speeches of leaders, and extracted features of their speaking style through digital speech signal analysis. Then, parameters were extracted and analyzed by the time domain, frequency domain, and spectrogram domain methods. We also analyzed the parameters for use in Natural Language Processing. We investigated which leader's voice characteristics had more influence on members or were more effective on them. A person's voice characteristics can be changed. Therefore, leaders who seek to influence members in formal speeches should have effective voice characteristics to motivate followers.

• Journal of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.101-129
• /
• 2018

From an analytical perspective, we introduce a sequence of Cartier operators that act on the field of formal Laurent series in one variable with coefficients in a field of positive characteristic p. In this work, we discover the binomial inversion formula between Hasse derivatives and Cartier operators, implying that Cartier operators can play a prominent role in various objects of study in function field arithmetic, as a suitable substitute for higher derivatives. For an applicable object, the Wronskian criteria associated with Cartier operators are introduced. These results stem from a careful study of two types of Cartier operators on the power series ring ${\mathbf{F}}_q$[[T]] in one variable T over a finite field ${\mathbf{F}}_q$ of q elements. Accordingly, we show that two sequences of Cartier operators are an orthonormal basis of the space of continuous ${\mathbf{F}}_q$-linear functions on ${\mathbf{F}}_q$[[T]]. According to the digit principle, every continuous function on ${\mathbf{F}}_q$[[T]] is uniquely written in terms of a q-adic extension of Cartier operators, with a closed-form of expansion coefficients for each of the two cases. Moreover, the p-adic analogues of Cartier operators are discussed as orthonormal bases for the space of continuous functions on ${\mathbf{Z}}_p$.

• Journal of ILASS-Korea
• /
• v.1 no.1
• /
• pp.44-54
• /
• 1996

A theoretical and experimental study was carried out on the prediction of drop size distribution of the pressure swirl atomizer. Drop size distribution was obtained by using maximum entropy formal ism. Several constraints in the form of the definition of mean diameter were used in this formulation in order to avoid the difficulties of the estimating source terms. In this study $D_{10}$ was only introduced into the formulation as a constraint. A drop size obtained by using linear Kelvin-Helmholtz instability theory was considered as an unknown characteristic length scale. As a result, the calculated drop size was agreed well with measured mean diameter, particularly with $D_{32}$. The predicted drop size distribution was agreed welt with experimental data measured wi th Malvern 2600.

• Korean Institute of Interior Design Journal
• /
• v.22 no.3
• /
• pp.3-10
• /
• 2013

The purpose of this study is to analyze environmental-friendly design features in landscape architecture. The process of the study first started theoretical research of 'Environmental-friendly' and 'Landscape', then extracted primary conceptual elements that based on ecological background, and analyze 20 cases, from 1990 to now, based on elements that extracted. Summarizing about environment-friendly feature in landscape architecture of Form, Space, Energy Management is as following. First, In the formal aspect, Landscape architecture tend to harmonize with surrounding environment through horizontal, vertical continuity that is realized to transform artificial plate. Second, In the spatial aspect, Landscape architectural space has flexible feature. It is expression through methods blur boundary between outside and inside, lead to change and experience by time, indeterminacy of program. Third, In the energy management aspect, the introduction of effective energy system increase environmental features in space through technical application and environmental-friendly materials.

• Journal of Biomedical Engineering Research
• /
• v.14 no.4
• /
• pp.371-378
• /
• 1993

A new recognition algorithm which decides thge opening & the closing states of subject's eye and isn't affected by the subject's background is proposed. And it is tested in circumstances in which subject's motions are not restricted using the developed system. AERS (Automatic Eye opening & closing Recognition System) . The significant characteristic of the AERS is that it dosen't need any extra hardware except a formal CCD carmera and an image grabber but it works so well and so fast. The AFRS wcould be particularly well suited to a tray of communications of patients in a hospital, who can not communicate othertvise.

• Korean Institute of Interior Design Journal
• /
• no.26
• /
• pp.121-128
• /
• 2001

This study deals with 'Sachlichkeit' , as essence of materiality that architectural building materials process, which forms the physical basis for actual building. There have beennu merous researches that deals with various elements that compose architecture, but the emphasis seemed to be concentrated on the meta-physical discussion concerning formal concept. An issue on sachlichkeit as materiality does not necessary mean to mention production process of architecture, rather it is aim of this study to seek possibility to find elements that generate architectural form, through interpreting meaning of materials as substructure generator to make architectural possible. Architectural act can be defined as a process where physical material in life is composed into architecture by the hands of architect. Material used in life is composed into architecture by the hands of architect. Material used in this process basically has neutral characteristic, so 'Sachlichkeit'solely depends on the intentions of architects. This study interprets the intention of architects through the frame of modern-basis proposed by Hilberseimer, and a result architecture is defined as an object projected by architect's subjectivity.