• 제목/요약/키워드: computational algebra

검색결과 140건 처리시간 0.022초

NOTE OF JORDAN DERIVATIONS ON BANACH ALGEBRAS

  • Chang, Ick-Soon;Kim, Hark-Mahn
    • Journal of applied mathematics & informatics
    • /
    • 제9권1호
    • /
    • pp.381-387
    • /
    • 2002
  • Our main goal is to show that if there Jordan derivation D, G on a noncommutative (n+1)!-torsion free prime ring R such that D($\chi$)$\chi$$^n$+$\chi$$^n$G($\chi$) $\in$ C(R) for all $\chi$ $\in$ R, then we have D=0 and G=0.

MS-FUZZY IDEALS OF MS-ALGEBRAS

  • ALEMAYEHU, TEFERI GETACHEW;WONDIFRAW, YOHANNES GEDAMU
    • Journal of applied mathematics & informatics
    • /
    • 제39권3_4호
    • /
    • pp.553-567
    • /
    • 2021
  • In this paper, we introduce concepts of MS-fuzzy ideals of MS-algebras. We reveal the connections between MS-fuzzy ideals and several kinds of fuzzy ideals as fuzzy prime ideals, kernel fuzzy ideals, e-fuzzy ideals and closure fuzzy ideals. We show that many of these classes are proper subclasses of the class of MS-fuzzy ideals. Finally some properties of the homomorphic images, inverse homomorphic images of MS-fuzzy ideals are studied.

PACKING LATIN SQUARES BY BCL ALGEBRAS

  • LIU, YONGHONG
    • Journal of applied mathematics & informatics
    • /
    • 제40권1_2호
    • /
    • pp.133-139
    • /
    • 2022
  • We offered a new method for constructing Latin squares. We introduce the concept of a standard form via example for Latin squares of order n and we also call it symmetric BCL algebras matrix, and thereby become BCL algebra representations of the picture of Latin squares. Our research shows that some new properties of the Latin squares with BCL algebras are in ℤn.

'컴퓨팅 사고력(Computational thinking)' 향상과 Sage 도구를 이용한 수학교육 (Improving Computational Thinking Abilities Through the Teaching of Mathematics with Sage)

  • 박경은;이상구
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제29권1호
    • /
    • pp.19-33
    • /
    • 2015
  • 최근 주요 산업 분야에서 인간 사고와 컴퓨터 능력의 통합을 의미하는 '컴퓨팅 사고력(Computational thinking)'에 대한 요구가 급격히 증가해 왔다. 이에 따라 선진국은 지난 20여년간 수학교과의 수학적 추론, 수학적 문제 해결, 수학적 의사소통을 하는 과정에 CAS(Computation Algebra System)를 활용하여 수학문제를 해결하는 방법으로 자연스럽게 학생들의 '컴퓨팅 사고력'을 향상시켜왔다. 이러한 변화에 발을 맞추어 우리나라의 2009 개정 교육과정에 따른 수학과 교육과정 교과서들도 다양한 CAS 도구에 대한 활용을 담아 '컴퓨팅 사고력'의 향상에 발을 맞추고 있다. 본 연구는 국내 외 '컴퓨팅 사고력' 기반 교육 사례를 분석하고, '컴퓨팅 사고력' 향상에 도움이 되는 CAS 도구 특히 PC 및 모바일 기기를 이용하여 언제 어디서나 무료로 사용할 수 있는 Sage 도구를 이용한 수학교육 및 수학교과목 구성에 대하여 논한다. 또 구체적인 '컴퓨팅 사고력' 기반 수학교육 모델을 설계하여 대학 수학교육현장에 활용한 내용의 보고를 통하여, 향후 수학교육을 통한 '컴퓨팅 사고력' 향상에 대한 구체적인 방안을 제시한다.

지오지브라를 이용한 3차원 구조물의 모델링 교육과 응용 (Education and Application of Modeling on 3D Structure using Geogebra)

  • 정태은;김태환
    • 한국CDE학회논문집
    • /
    • 제20권2호
    • /
    • pp.93-103
    • /
    • 2015
  • In this study, we organize and explain various ways to construct 3D models in the 2D plane using Geogebra, mathematical education software that enables us to visualize dynamically the interaction between algebra and geometry. In these ways, we construct three unit vectors for 3 dimensions at a point on the Cartesian coordinates, on the basis of which we can build up the 3D models by putting together basic mathematical objects like points, lines or planes. We can apply the ways of constructing the 3 dimensions on the Cartesian coordinates to modeling of various structures in the real world, and have chances to translate, rotate, zoom, and even animate the structures by means of slider, one of the very important functions in Geogebra features. This study suggests that the visualizing and dynamic features of Geogebra help for sure to make understood and maximize learning effectiveness on mechanical modeling or the 3D CAD.

최적화 기법을 이용한 3차원 트러스 구조물의 설계자동화 (Design Automatization of Space Truss Structure Using Optimizations Technique)

  • 최은규;임기식;이병해
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 1993년도 가을 학술발표회논문집
    • /
    • pp.81-90
    • /
    • 1993
  • The optimum design of a structure requires the determination of the economical member size and shape of the structure which satisfies the design condition and function. In this study, the process of design automatization of three-dimensional truss structure introduces the optimization technique tests its application in the design automatization, proposes its application method and applies the example structure of the parabolic antenna truss. Using the Formex Algebra of configuration function, the structure's mesh-generation is automatized. By using the program developed in this study, the input member array, member size and load condition designer can generate the input data file for the structure analysis and optimum design. This study is aimed at the development of a design automatization system that search for tile optimum value of a structure design by observing the structure's sensitivity from the modification of member array and member property.

  • PDF

Explicit Formulae for Characteristics of Finite-Capacity M/D/1 Queues

  • Seo, Dong-Won
    • ETRI Journal
    • /
    • 제36권4호
    • /
    • pp.609-616
    • /
    • 2014
  • Even though many computational methods (recursive formulae) for blocking probabilities in finite-capacity M/D/1 queues have already been produced, these are forms of transforms or are limited to single-node queues. Using a distinctly different approach from the usual queueing theory, this study introduces explicit (transform-free) formulae for a blocking probability, a stationary probability, and mean sojourn time under either production or communication blocking policy. Additionally, the smallest buffer capacity subject to a given blocking probability can be determined numerically from these formulae. With proper selection of the overall offered load ${\rho}$, the approach described herein can be applicable to more general queues from a computational point of view if the explicit expressions of random vector $D_n$ are available.

PYTHAGOREAN FUZZY SOFT SETS OVER UP-ALGEBRAS

  • AKARACHAI SATIRAD;RUKCHART PRASERTPONG;PONGPUN JULATHA;RONNASON CHINRAM;AIYARED IAMPAN
    • Journal of applied mathematics & informatics
    • /
    • 제41권3호
    • /
    • pp.657-685
    • /
    • 2023
  • This paper aims to apply the concept of Pythagorean fuzzy soft sets (PFSSs) to UP-algebras. Then we introduce five types of PFSSs over UP-algebras, study their generalization, and provide illustrative examples. In addition, we study the results of four operations of two PFSSs over UP-algebras, namely, the union, the restricted union, the intersection, and the extended intersection. Finally, we will also discuss t-level subsets of PFSSs over UP-algebras to study the relationships between PFSSs and special subsets of UP-algebras.

심플렉스 중심배열법의 일부실시에 관한 연구 (The fraction of simplex-centroid mixture designs)

  • 김형순;박동권
    • Journal of the Korean Data and Information Science Society
    • /
    • 제26권6호
    • /
    • pp.1295-1303
    • /
    • 2015
  • 혼합물 실험으로부터 실험자는 주효과와 저차의 상호작용 효과의 추정을 원한다. 이를 위해 심플렉스 중심배열법과 같은 적절한 실험을 통해 추정할 수 있다. 그러나, 요인의 수가 늘어나면 부득이 일부실시를 행하게 된다. 이 경우 각 성분의 혼합비율의 합이 일정하다는 제약 조건은 교락으로 인해 추정가능한 상호작용의 선택을 어렵게 한다. 이러한 문제를 해결하기 위해 본 논문에서는 $Scheff{\acute{e}}$의 정준 모형 대신에 대수기하학을 기초로 한 동차다항식 (homogeneous polynomial)으로 구성된 모형을 도입하여 문제를 풀려고 한다. 이를 활용하여 심플렉스 중심배열법의 일부실시법에 대해 추정가능한 모형을 제시한다. 연산은 CoCoA 대수연산 소프트웨어를 이용하였다.

새로운 연산가능일반균형모형을 이용한 온실가스 감축정책의 영향 분석 (New Computable General Equilibrium Analysis of the Effects of Greenhouse Gas Emissions Reduction Policies)

  • 한민수;문진영
    • 자원ㆍ환경경제연구
    • /
    • 제30권2호
    • /
    • pp.169-205
    • /
    • 2021
  • 본 연구는 온실가스 감축정책이 세계경제에 미치는 영향을 정량적으로 분석하였다. 이를 위해서 생산에 따른 온실가스 배출, 온실가스 배출에 의한 비효용의 발생, 각국 정부의 온실가스 감축정책이라는 세 가지 요소를 포함하고 있는 다국가-다산업 정태적 연산가능일반균형모형을 개발하였다. 이렇게 개발된 모형의 파라미터 값을 추정하고 모형에 적용할 수 있는 가장 최근의 방법론(exact hat algebra)을 사용해서 모형의 해를 계산하였다. 모형의 예측에 따르면 국가별 개별적인(unilateral) 온실가스 감축정책의 강화는 해당 국가의 국내 생산과 탄소 배출을 감소시키지만, 생산이 다른 국가로 재배치되기 때문에 반드시 세계의 탄소 배출량을 감소시키지는 않는 것으로 나타났다. 반면 모든 주요국들이 동시에 OECD(2016)에서 제안된 강화된 감축정책을 추진할 경우에 전 세계의 온실가스 배출을 감소시킬 수 있는 것으로 나타났다. 우리분석결과는 온실가스 감축정책이 효과를 발휘하기 위해서는 주요국들의 조율된(aligned) 감축노력이 필요하다는 점을 시사한다.