• The Mathematical Education
• /
• v.40 no.2
• /
• pp.291-315
• /
• 2001

There are some problems in the introduction of proof in middle school mathematics. Among the problems, one is the use of postulates and the another is the methods of proof how to connect a statement with others. The first case has been treated mainly in this note. Since proof means to state the reason logically why the statement is true on the basis of others which have already been known as true and basic properties, in order to prove logically, it is necessary to take the basic properties and the statement known already as true. But the students don't know well what are the basic properties and the statement known already as true for proving. No use of the term postulation(or axiom) cause the confusion to distinguish postulation and theorem. So they don't know which statements are accepted without proof or not accepted without proof, To solve this problems, it is necessary to use the term postulate in middle school mathematics. In middle school mathematics, we present same model of the introduction of proof which are used the postulates needed for the proof.

• The Mathematical Education
• /
• v.49 no.2
• /
• pp.149-160
• /
• 2010

Composition of functions are important tool for producing associativity in mathematical model. However it is not properly treated in dealing together with the other operation, the addition +, of functions defined on real numbers. In this note, we will study mathematization of the construction of nearring axiom from relationships between the addition + and the composition $\circ$ of functions, comparing with those between the addition + and the multiplication of functions. Furthermore, we will suggest some helpful teaching methods of these mathematization in the secondary school mathematics.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.243-256
• /
• 2023

We deal with a type of inverse pseudo-orbit tracing property with respect to the class of continuous methods, as suggested and studied by Pilyugin [54]. In this paper, we consider a continuous method induced through the diffeomorphism of a compact smooth manifold, and using the concept, we proved the following: (i) If a diffeomorphism f of a compact smooth manifold M has the robustly pointwise inverse pseudoorbit tracing property, f is structurally stable. (ii) For a C1 generic diffeomorphism f of a compact smooth manifold M, if f has the pointwise inverse pseudo-orbit tracing property, f is structurally stable. (iii) If a diffeomorphism f has the robustly pointwise inverse pseudo-orbit tracing property around a transitive set Λ, then Λ is hyperbolic for f. Finally, (iv) for C¹ generically, if a diffeomorphism f has the pointwise inverse pseudo-orbit tracing property around a locally maximal transitive set Λ, then Λ is hyperbolic for f. In addition, we investigate cases of volume preserving diffeomorphisms.

• Journal for History of Mathematics
• /
• v.36 no.1
• /
• pp.1-17
• /
• 2023

Paper folding is a versatile tool that can be used not only as a mathematical model for analyzing the geometric properties of plane and spatial figures but also as a visual method for finding the real roots of polynomial equations. The historical evolution of origami's geometric and algebraic techniques has led to the discovery of definitions and properties that can enhance one's cognitive understanding of mathematical concepts and generate mathematical interest and motivation on an emotional level. This paper aims to examine the history of origami geometry, the utilization of origami for solving polynomial equations, and the process of determining the real roots of quadratic, cubic, and quartic equations through origami techniques.

• Korean Journal of Childcare and Education
• /
• v.8 no.1
• /
• pp.85-107
• /
• 2012

The movie WALL-E shows the Earth which has been overrun with garbage and devoid of plant and animal life, and humans who try to restore the ecosystem. The aim of this study is to find the implications of children's education with a detailed analysis of the movie's theme. The analysis method is the interpretive analysis model that is one of the qualitative methods of data analysis based on the concept of Wolcott. First, the Earth is an abandoned planet covered in trash: the Axiom is a haven for morbidly obese and indolent people. The main area of the earth's destruction, and the captain's cabin is the place to find a clue to awakening and change. Second, with the lapse of time, the Axiom becomes a ship allowing their return to earth. The Earth, recognized as their homeland, turns in to the land of hope when people return. Third, the cleaning robot Wall-E, as a main agent of change, has changed humans as well as itself. The results showed that we found nature-friendly development, destruction of nature, the criticism of modern civilization, the sanctity of life, ecological consciousness, coexistence, symbiosis and a win-win principle in our research.

• Journal of the Korean Society of Radiology
• /
• v.14 no.2
• /
• pp.111-120
• /
• 2020

Research should be actively conducted for the ability of X-ray equipment and Retrospective image analysis of X-ray equipment used in hospitals. Retrospective image analysis of X-ray machines, CT and MRI of radiology and medical equipment has been actively conducted. However, image quality measurement using angiography equipment of angiography room is mostly measured with phantom, and image quality measurement on image after being taken by actual patient is insufficient and researches on accurate image quality measurement method are remarkable. It is in short supply. Therefore, through this study, the researcher devised a method to measure the image quality of the acquired image after coronary angiography, and to provide a high quality image to the operator. The equipment and programs used were angiographic examination equipment (Axiom Artis Zee Ceiling) and Image J program. Subjects were images automatically saved in PACS program after coronary angiography.For image quality measurement, selected the AP Caudal 30° image that show the LCA vessel well and the LAO 30° image that show the RCA vessel well during the coronary angiography. In order to measure the background and ROI of the selected image by selecting an image, a criterion on how to find and measure a section where the overlap of the shadow, such as blood vessel, liver and lung is minimized, is presented. In conclusion, there is no exact standard for analyzing an image quality measurement method of angiography image. Therefore, in order to provide quality images to the practistioners, not only the technicians of the equipment but also the users who actually use them should become researchers and conduct research on image quality measurement in various ways. Thus, it is expected to provide excellent images to patients.

• Journal of Oral Medicine and Pain
• /
• v.34 no.3
• /
• pp.317-324
• /
• 2009

This study aimed to assess stiffness and elasticity of the masticatory muscle in the patients with the masticatory muscle pain using a tactile sensor and to investigate whether the masticatory muscle pain affects the facial expression muscles. From those who visited Department of Oral Medicine in Dankook University Dental Hospital, 27 patients presenting with unilateral muscle pain and tenderness in the masseter muscle (Ms) were selected (mean age: $36.4{\pm}13.8$ years). Exclusion criterion was those who also had temporomandibular joint (TMJ) disorders or any neurological pain. Muscle stiffness and elasticity for the muscles of mastication and facial expression was investigated with the tactile sensor (Venustron, Axiom Co., JAPAN) and the muscles measured were the Ms, anterior temporal muscle (Ta), frontalis (Fr), inferior orbicularis oculi (Ooci), zygomaticus major (Zm), superior and inferior orbicularis oris (Oors, Oori) and mentalis (Mn). t-tests was used to compare side difference in muscle stiffness and elasticity. Side differences were also compared between diagnostic groups (local muscle soreness (LMS) vs myofascial pain syndrome (MPS) and between acute (< 6M) and chronic ($\geq$ 6M) groups. This study showed that Ms and Zm at affected side exhibited significantly increased stiffness and decreased elasticity as compared to the unaffected side.(p<0.05) There was no significant difference between local muscle soreness and myofascial pain syndrome groups and between acute and chronic groups. The results of this study suggests that masticatory muscle pain in Ms can affect muscle stiffness and elasticity not only for Ms but also for Zm, the facial expression muscle.

• Journal of Korea Entertainment Industry Association
• /
• v.14 no.8
• /
• pp.25-33
• /
• 2020

This study was based on the research contents of previous studies. and After operatively defining public culture and arts institutions in terms of combining the characteristics of public institutions and culture and arts, the necessity of analyzing the priority of performance evaluation indicators was raised in accordance with this. The results of priority analysis based on the AHP axiom are as follows. The priorities for the performance evaluation index of public culture and arts institutions were in the order of artistry, expertise, marketing, publicity, organizational management, exchange and cooperation, management efficiency, operating system, and convenience. Based on the analysis results, the following implications were presented. First, it is necessary to first pay attention to the items of artistry that appear as the highest priority and seek strategies. Second, it is necessary to put a variety of experts in the original plan so that the audience and the public can have a high interest in this. However, in order not to exceed the 10 items recommended by the AHP axiom, we had to intentionally limit the evaluation items. Therefore, it is necessary to analyze priorities by deriving various evaluation items in subsequent studies.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.13 no.3
• /
• pp.24-34
• /
• 2005

The automobile seat must satisfy various safety regulations for the passenger's safety. In many design practices, each component is independently designed by concentrating on a single related regulation. However, since multiple regulations can be involved in a seat component, there may be design confliction among the various safety regulations. Therefore, a new design methodology is required to effectively design an automobile seat. The axiomatic approach is employed for considering multiple regulations. The Independence Axiom is used to define the overall flow of the seat design. Functional requirements (FRs) are defined by safety regulations and components of the seat are classified into groups which yield design Parameters (DPs). The classification is carried out to have independence in the FR-DP relationship. Components in a DP group are determined by using orthogonal away of the design of experiments (DOE). Numerical analyses are utilized to evaluate the safety levels by using a commercial software system for nonlinear transient finite element analysis.

• International Journal of CAD/CAM
• /
• v.5 no.1
• /
• pp.99-109
• /
• 2005

This paper introduces an approach to an ontology-based multi-level knowledge framework for a knowledge management system for discrete-product development. Participants in a product life cycle want to share comprehensive product knowledge without any ambiguity and heterogeneity. However, previous knowledge management approaches are limited in providing those aspects: therefore, we suggest an ontology-based multi-level knowledge framework (OBMKF). The bottom level, the axiom, specifies the semantics of concepts and relations of knowledge so ambiguity can be alleviated. The middle level is a product development knowledge map; it defines the concepts and the relations of the product domain knowledge and guides the engineer to process their engineering decisions. The middle level is then classified further into more detailed levels, such as generic product level, specific product level, product version level, and manufactured item level, according to the various viewpoints. The top level is specialized knowledge for a specific domain that gives the solution of a specific task or problem. It is classified into three knowledge types: expert knowledge, engineering function knowledge, and data-analysis-based knowledge. This proposed framework is based on ontology to accommodate a comprehensive range of knowledge and is represented with first-order logic to maintain a uniform representation.