• 한국수학교육학회지시리즈A:수학교육
• /
• 제40권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.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권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.

• 대한수학회논문집
• /
• 제38권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.

• 한국수학사학회지
• /
• 제36권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.

• 한국보육지원학회지
• /
• 제8권1호
• /
• pp.85-107
• /
• 2012

본 연구는 만화영화 <월-이(Wall-E)>의 의미를 분석하여 유아교육에 대한 시사점을 도출하고자 하였다. 분석방법은 Wolcott(1994)의 개념에 근거한 질적 자료 분석 방법 중 해석적 분석 모형을 사용하여 다음과 같은 연구결과를 도출하였다. 첫째, 지구는 오염되고 파괴되어 버려진 땅으로 나온다. 액시엄은 지구를 파괴한 주체인 나태한 사람들의 안식처로, 선장실은 각성과 변화의 실마리를 얻는 공간이 된다. 둘째, 시간이 지남에 따라 액시엄은 귀환도구로 역할을 하며, 지구는 고향, 터전으로 인식되어 인간이 돌아왔을 때는 희망의 땅이 된다. 셋째, 캐릭터 중 <월-이>는 변화의 주체가 되어 자신뿐 아니라 인간들까지도 변화시킨다. 인간의 욕심은 지구에서의 생태적인 삶을 파괴하였다. 그러나 사람들과 서로 관계 맺고, 지구를 살리는 노력을 한다면 인류를 지속가능한 발전으로 이끌 수 있다. 본 영화를 분석한 결과 생태적 미디어가 가지는 특성인 자연친화 및 예찬, 자연파괴 및 현대문명 비판, 생명의 존엄성, 생태의식 함양, 공존, 공생, 상생의 원리 등의 요소들을 발견할 수 있었고, 유아들의 생명에 대한 감수성을 기르는 데 도움이 될 것으로 기대한다.

• 한국방사선학회논문지
• /
• 제14권2호
• /
• pp.111-120
• /
• 2020

병원에서 사용하는 X선 장비는 X선 장비의 능력 연구와 더불어 출력되는 영상의 화질까지도 분석하는 연구가 활발히 진행되어야 한다. 영상의학과 장비의 X-Ray기계나 CT, MRI와 같은 장비의 후향적 이미지 분석은 활발히 진행되었으나 혈관조영실의 혈관조영장비를 이용하여 획득한 영상의 화질 측정은 팬텀을 이용하여 측정하는 방법이 대부분이고 실제 환자에게 촬영된 후의 영상에 관한 화질 측정은 미비한 실정이며 정확한 화질 측정 방법에 관한 연구가 현저히 부족한 상태이다. 따라서 본 연구를 통해 관상동맥 조영술 후 획득된 영상의 화질측정 방법을 고안한 연구를 진행해 시술자에게 질 높은 영상을 제공하고자 연구를 진행하게 되었다. 사용된 장비 및 프로그램은 혈관 조영 검사 장비(Axiom Artis Zee Ceiling)와 Image J프로그램을 사용하였다. 대상으로는 관상동맥 조영술 후 PACS프로그램에 자동 저장된 영상들을 대상으로 하였다. 화질 측정 방법으로는 Image J프로그램을 이용했을 때 관상동맥 조영술 중 좌 관상동맥의 주요 혈관들이 가장 잘 펼쳐져 보이는 각도의 영상인 AP Caudal 30°영상과 우 관상동맥의 혈관이 가장 잘 펼쳐져 보이는 LAO 30° 영상을 선택하여 선택된 영상의 배경영역(Background)과 관심영역(ROI)을 측정하기 위해 혈관과 간, 폐 등의 음영 중복이 가장 최소화 되는 구간을 찾아 측정하는 방법에 관한 기준을 제시하였다. 결론적으로 혈관 조영 영상의 화질측정 분석 방법은 정확히 제시되어 있는 기준이 없기 때문에 시술자에게 질 좋은 영상을 제공하기 위해선 그 장비의 기술자들뿐 아니라 실제로 사용하는 사용자들이 연구자가 되어 다양한 방법으로 화질측정에 관한 연구를 진행해야만 환자에게도 우수한 영상을 제공할 수 있을 것으로 사료된다.

• Journal of Oral Medicine and Pain
• /
• 제34권3호
• /
• pp.317-324
• /
• 2009

저작근장애 환자의 근육 평가를 위해 촉진과 압력통각역치가 주로 이용되어 왔으나, 본 연구는 근육의 경도와 탄성도을 정량적으로 측정할 수 있는 촉각센서를 이용하여 저작근을 평가하고, 저작근장애가 안면표정근에 영향을 미칠 수 있는지 조사하고자 하였다. 연구 대상은 단국대학교 치과병원 구강내과를 내원한 환자 중 편측 교근에 통증과 압통이 있는 저작근장애 환자 27명으로서 평균연령 $36.4{\pm}13.8$세였다. 근통 외에 턱관절의 이상이나 다른 통증 질환을 함께 가진 환자는 제외하였다. 촉각센서는 Venustron(Axiom Co., JAPAN)을 사용하여 전측두근, 교근, 전두근, 하안륜근, 대관골근, 상하구륜근, 이근에 대한 경도와 탄성도를 측정하였다. 이환측과 비이환측의 근육 경도와 탄성도를 비교하였으며 진단에 따라 국소근동통군과 근막동통군으로 분류하여 비교하였고, 6개월을 기준으로 급성군과 만성군으로 나누어 비교하였다. 편측 저작근장애가 있는 환자의 이환측과 비이환측을 비교했을 때 이환측의 교근과 대관골근에서 근육 경도가 유의성 있게 증가하였고 탄성도는 유의성 있게 감소하였다(p<0.05). 급성군과 만성군, 국소근동통군과 근막동통군 사이에는 유의한 차이없이 이환측 교근과 대관골근에서 경도가 증가하고 탄성도는 감소하였다. 이상의 결과는 교근에 발생한 저작근통은 교근 뿐아니라 안면표정근인 대관골근의 탄성도과 경도에도 영향을 줄 수 있음을 보여준다.

• 한국엔터테인먼트산업학회논문지
• /
• 제14권8호
• /
• pp.25-33
• /
• 2020

본 연구는 선행연구의 조사내용을 바탕으로 공공 기관적인 성격과 문화예술적인 성격의 결합 차원에서 공공문화예술기관을 조작적으로 정의한 후, 이에 부합하는 차원에서 성과 평가지표의 우선순위 분석 필요성을 제기하였다. AHP 공리에 의한 우선순위 분석결과, 공공문화예술기관의 성과평가지표에 대한 우선순위는 예술성, 전문성, 마케팅, 조직관리, 경영효율성, 교류협력, 운영체계, 공공성, 편의성 순으로 나타났다. 분석결과를 바탕으로 다음과 같은 시사점을 제시하였다. 첫째, 가장 높은 우선순위로 나타난 예술성의 항목에 우선적으로 관심을 기울이고 전략을 모색할 필요가 있다. 둘째, 관객과 대중이 이에 대해 높은 관심을 가질 수 있도록 애초의 기획에 다양한 전문가를 투입할 필요가 있다. 그러나 AHP공리에서 권장하는 10항목을 초과하지 않기 위해 의도적으로 평가항목 제한할 수밖에 없었다. 따라서 후속연구에서는 다양한 평가항목을 도출하여 우선순위를 분석할 필요성이 있다.

• 한국자동차공학회논문집
• /
• 제13권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
• /
• 제5권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.