• Title/Summary/Keyword: mathematical proof

Search Result 546, Processing Time 0.022 seconds

The Study on Camera Control for Improvement of Gimbal Lock in Digital-Twin Environment (디지털 트윈 환경에서의 짐벌락 개선을 위한 카메라 제어방법에 대한 연구)

  • Kim, Kyoung-Tae;Kim, Young-Chan;Cho, In-Pyo;Lee, Sang-Yub
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2022.05a
    • /
    • pp.476-477
    • /
    • 2022
  • This study deals with rotation, which is one of the expression methods of motion used in the 3D development environment. Euler angle is a rotation method introduced by Leonhard Euler to display objects in three-dimensional space. Although three angles can handle all rotations in a three dimensional coordinate space, there are serious errors in this approach. If you rotate an object with Euler angles, you will face the problem of gimbal locks that cannot rotate under certain circumstances. In contrast to this, the method to rotate an object without a gimbal lock is the quaternion rotation with quaternion. Rather than a detailed mathematical proof of quaternion, it introduces what concept is used in the current 3D development environment, and applies it to camera rotation control to implement a rotating camera without a gimbal lock.

  • PDF

A Study of Secondary Mathematics Materials at a Gifted Education Center in Science Attached to a University Using Network Text Analysis (네트워크 텍스트 분석을 활용한 대학부설 과학영재교육원의 중등수학 강의교재 분석)

  • Kim, Sungyeun;Lee, Seonyoung;Shin, Jongho;Choi, Won
    • Communications of Mathematical Education
    • /
    • v.29 no.3
    • /
    • pp.465-489
    • /
    • 2015
  • The purpose of this study is to suggest implications for the development and revision of future teaching materials for mathematically gifted students by using network text analysis of secondary mathematics materials. Subjects of the analysis were learning goals of 110 teaching materials in a gifted education center in science attached to a university from 2002 to 2014. In analysing the frequency of the texts that appeared in the learning goals, key words were selected. A co-occurrence matrix of the key words was established, and a basic information of network, centrality, centralization, component, and k-core were deducted. For the analysis, KrKwic, KrTitle, and NetMiner4.0 programs were used, respectively. The results of this study were as follows. First, there was a pivot of the network formed with core hubs including 'diversity', 'understanding' 'concept' 'method', 'application', 'connection' 'problem solving', 'basic', 'real life', and 'thinking ability' in the whole network from 2002 to 2014. In addition, knowledge aspects were well reflected in teaching materials based on the centralization analysis. Second, network text analysis based on the three periods of the Mater Plan for the promotion of gifted education was conducted. As a result, a network was built up with 'understanding', and there were strong ties among 'question', 'answer', and 'problem solving' regardless of the periods. On the contrary, the centrality analysis showed that 'communication', 'discovery', and 'proof' only appeared in the first, second, and third period of Master Plan, respectively. Therefore, the results of this study suggest that affective aspects and activities with high cognitive process should be accompanied, and learning goals' mannerism and ahistoricism be prevented in developing and revising teaching materials.

A Study on Teaching the Method of Lagrange Multipliers in the Era of Digital Transformation (라그랑주 승수법의 교수·학습에 대한 소고: 라그랑주 승수법을 활용한 주성분 분석 사례)

  • Lee, Sang-Gu;Nam, Yun;Lee, Jae Hwa
    • Communications of Mathematical Education
    • /
    • v.37 no.1
    • /
    • pp.65-84
    • /
    • 2023
  • The method of Lagrange multipliers, one of the most fundamental algorithms for solving equality constrained optimization problems, has been widely used in basic mathematics for artificial intelligence (AI), linear algebra, optimization theory, and control theory. This method is an important tool that connects calculus and linear algebra. It is actively used in artificial intelligence algorithms including principal component analysis (PCA). Therefore, it is desired that instructors motivate students who first encounter this method in college calculus. In this paper, we provide an integrated perspective for instructors to teach the method of Lagrange multipliers effectively. First, we provide visualization materials and Python-based code, helping to understand the principle of this method. Second, we give a full explanation on the relation between Lagrange multiplier and eigenvalues of a matrix. Third, we give the proof of the first-order optimality condition, which is a fundamental of the method of Lagrange multipliers, and briefly introduce the generalized version of it in optimization. Finally, we give an example of PCA analysis on a real data. These materials can be utilized in class for teaching of the method of Lagrange multipliers.

Cause-based Categorization of the Riparian Vegetative Recruitment and Corresponding Research Direction (하천식생 이입현상의 원인 별 유형화 및 연구 방향)

  • Woo, Hyoseop;Park, Moonhyeong
    • Ecology and Resilient Infrastructure
    • /
    • v.3 no.3
    • /
    • pp.207-211
    • /
    • 2016
  • This study focuses on the categorization of the phenomenon of vegetative recruitment on riparian channels, so called, the phenomenon from "white river" to "green river", and proposes for the corresponding research direction. According to the literature review and research outputs obtained from the authors' previous research performed in Korea within a limited scope, the necessary and sufficient conditions for the recruitment and retrogression of riparian vegetation may be the mechanical disturbance (riverbed tractive stress), soil moisture (groundwater level, topography, composition of riverbed material, precipitation etc.), period of submergence, extreme weather, and nutrient inflow. In this study, two categories, one for the reduction in spring flood due to the change in spring precipitation pattern in unregulated rivers and the other for the increase in nutrient inflow into streams, both of which were partially proved, have been added in the categorization of the vegetative recruitment and retrogression on the riparian channels. In order to scientifically investigate further the phenomenon of the riparian vegetative recruitment and retrogression and develop the working riparian vegetative models, it is necessary to conduct a systematic nationwide survey on the "white to green" rivers, establishment of the categorization of the vegetation recruitment and retrogression based on the proof of those hypotheses and detailed categorization, development of the working mathematical models for the dynamic riparian vegetative recruitment and retrogression, and adaptive management for the river changes.

A Study on the Definition of a Circumcenter and an Incenter of Triangle (삼각형의 외심, 내심의 정의에 관한 고찰)

  • Jun, Young-Bae;Kang, Jeong-Gi;Roh, Eun-Hwan
    • Journal of the Korean School Mathematics Society
    • /
    • v.14 no.3
    • /
    • pp.355-375
    • /
    • 2011
  • This paper was designed for the purpose of helping the functional comprehension on the concept of a circumcenter and an incenter of triangle and offering the help for teaching-learning process on their definitions. We analysed the characteristic of the definition on a circumcenter and an incenter of triangle and studied the context, mean and purpose on the definition. The definition focusing on the construction is the definition stressed on the consistency of the concept through the fact that it is possible to draw figure of the concept. And this definition is the thing that consider the extend of the concept from triangle to polygon. Meanwhile this definition can be confused because the concept is not connected with the terminology. The definition focusing on the meaning is easy to memorize the concept because the concept is connected with the terminology but is difficult to search for the concept truth. And this definition is the thing that has the grounds on the occurrence but is taught in a made-knowledge. The definition focusing on both the construction and meaning is the definition that the starting point is vague in the logical proof process. We hope that the results are used to improve the understanding the concept of a circumcenter and an incenter of triangle in the field of mathematical education.

  • PDF

On the Tensor Product of m-Partition Algebras

  • Kennedy, A. Joseph;Jaish, P.
    • Kyungpook Mathematical Journal
    • /
    • v.61 no.4
    • /
    • pp.679-710
    • /
    • 2021
  • We study the tensor product algebra Pk(x1) ⊗ Pk(x2) ⊗ ⋯ ⊗ Pk(xm), where Pk(x) is the partition algebra defined by Jones and Martin. We discuss the centralizer of this algebra and corresponding Schur-Weyl dualities and also index the inequivalent irreducible representations of the algebra Pk(x1) ⊗ Pk(x2) ⊗ ⋯ ⊗ Pk(xm) and compute their dimensions in the semisimple case. In addition, we describe the Bratteli diagrams and branching rules. Along with that, we have also constructed the RS correspondence for the tensor product of m-partition algebras which gives the bijection between the set of tensor product of m-partition diagram of Pk(n1) ⊗ Pk(n2) ⊗ ⋯ ⊗ Pk(nm) and the pairs of m-vacillating tableaux of shape [λ] ∈ Γkm, Γkm = {[λ] = (λ1, λ2, …, λm)|λi ∈ Γk, i ∈ {1, 2, …, m}} where Γk = {λi ⊢ t|0 ≤ t ≤ k}. Also, we provide proof of the identity $(n_1n_2{\cdots}n_m)^k={\sum}_{[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$ f[λ]mk[λ] where mk[λ] is the multiplicity of the irreducible representation of $S{_{n_1}}{\times}S{_{n_2}}{\times}....{\times}S{_{n_m}}$ module indexed by ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$, where f[λ] is the degree of the corresponding representation indexed by ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}$ and ${[{\lambda}]{\in}{\Lambda}^k_{{n_1},{n_2},{\ldots},{n_m}}}=\{[{\lambda}]=({\lambda}_1,{\lambda}_2,{\ldots},{\lambda}_m){\mid}{\lambda}_i{\in}{\Lambda}^k_{n_i},i{\in}\{1,2,{\ldots},m\}\}$ where ${\Lambda}^k_{n_i}=\{{\mu}=({\mu}_1,{\mu}_2,{\ldots},{\mu}_t){\vdash}n_i{\mid}n_i-{\mu}_1{\leq}k\}$.