• 대한수학회논문집
• /
• 제19권2호
• /
• pp.243-251
• /
• 2004

In this paper, we classify the subalgebras by their family of level subalgebras in BG-algebras.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.137-155
• /
• 2004

Fuzzification of a fantastic filter in a lattice implication algebra is considered. Relations among a fuzzy filter, a fuzzy fantastic filter, and fuzzy positive implicative filter are stated. Conditions for a fuzzy filter to be a fuzzy fantastic filter are given. Using the notion of level set, a characterization of a fuzzy fantastic filter is considered. Extension property for fuzzy fantastic filters is established. The notion of normal/maximal fuzzy fantastic filters and complete fuzzy fantastic filters is introduced, and some related properties are investigated.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제37권4호
• /
• pp.569-590
• /
• 2023

본 사례 연구의 목적은 대수 문장제를 해결하고 일반화하는 과정에서 드러난 두 중학생의 공변 추론 수준을 비교하여 분석하는 것이다. 학교 수학에서 이차방정식을 학습하지 않은 중학생 2명을 대상으로 수업을 진행하였고, 수업이 모두 끝난 뒤 회고 분석 과정에서 속도가 일정하게 변하는 상황을 포함한 대수 문장제의 해결에서 두 학생 간의 차이가 두드러지게 드러났다. 이에 본 연구는 속도의 일정함을 가정하거나 속도가 일정하게 변하는 상황을 포함한 대수 문장제를 해결하거나 일반화하는 과정에서 학생들 스스로 구성한 두 변수에 대해 그들 사이의 변화 관계에 대한 이해 수준을 Thompson과 Carlson(2017)이 제안한 공변 추론 수준에 비추어 비교·분석하였다. 그 결과, 본 연구에서는 대수 문장제의 문제 해결 방식과 그 결과가 표면적으로 유사해 보이더라도 두 학생 간의 공변 추론 수준이 서로 다를 수 있음을 확인하였고, 대수 문장제를 해결하고 일반화하는 과정에서 드러난 유사성을 공변 관점에서 제시하였다. 이를 통해 본 연구는 대수 문장제의 교수·학습에서 문제 상황을 빠르게 식으로 변환하여 해를 찾는 데 주목하기보다 학생 스스로 변화하는 두 양을 찾고 그들 사이의 불변하는 관계를 다양한 방식으로 나타내는 활동이 충분히 다루어질 필요가 있음을 제안한다.

• 한국정보전자통신기술학회논문지
• /
• 제16권1호
• /
• pp.33-40
• /
• 2023

슈퍼 컴퓨팅 기술 및 하드웨어 기술의 발달로 수치 연산 방식 또한 고도화되고 있다. 그에 따라 이전 대비 향상된 기상 예측 또한 가능해진다. 본 논문에서는 SCAM(Single-Columns Atmospheric Model, CESM(Community Earth System Model)을 간소화 한 버전)에 포함되어 있으며 대기 연산을 수행하는 적운 모수화 코드, Unicon(A Unified Convection Scheme)의 성능을 향상하기 위하여 소스 코드 내의 선형대수 수치적 연산 부분에 고밀도 선형대수 연산을 위한 라이브러리인 LAPACK(Linear Algebra PACKage) BLAS(Basic Linear Algebra Subprograms)의 level1 함수를 적용할 것을 제안한다. 이를 분석하기 위하여 SCAM의 전체적인 실행 구조도를 제시하고 해당 실행환경에서 테스트를 진행하였다. 기존 소스 코드 대비 SCOPY 함수는 0.4053%, DSCAL 함수는 0.7812%, DDOT 함수는 0.0469%의 성능 향상을 이끌어 내었으며 이를 모두 적용한 결과 기존 소스 코드 대비 0.8537%의 성능 향상을 보였다. 이는 본 논문에서 제안한 고밀도 선형대수 연산을 위한 라이브러리인 LAPACK BLAS 적용 방법이 동일한 CPU 환경에서 추가적인 하드웨어의 개입 없이 성능을 향상시킬 수 있음을 의미한다.

• Journal of applied mathematics & informatics
• /
• 제20권1_2호
• /
• pp.541-548
• /
• 2006

We find a graded Artinian level O-sequence of the form $H\;:\;h_0\;h_1\;\cdots\;h_{d-1}\;h_d\cdots$ $^{(d+1-1_)-st}h_d$ < $h_{d+s}$ not having the Weak-Lefschetz property. We also introduce several algorithms for construction of some examples of non-unimodal level O-sequences using a computer program called CoCoA.

• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.513-518
• /
• 2007

There is a one to one correspondence between Artinian algebras $k[x_1,...,x_n]/Ann(M)$ and finitely generated $k[x_1,...,x_n]-submodules$ M of $k[y_1,...,y_n]$ by Inverse System. In particular, any Artinian level algebra $k[x_1,...,x_n]/Ann(M)$ can be obtained when M is finitely generated by only maximal degree generators. We prove that H = (1, 4, 8, 13,..., 27, 8, 2) is not a level Artinian O-sequence using this inverse system.

• 정보과학회 논문지
• /
• 제43권4호
• /
• pp.450-459
• /
• 2016

매년 RDFS 데이터는 대용량화 되어 가며, 빠른 질의를 위한 SPARQL 처리방식에 대한 변화가 필요하게 되었다. 이를 위해 대용량 분산 처리 프레임워크를 활용한 SPARQL의 질의 처리방식이 많이 연구되고 있다. 기존의 연구 중 대용량 분산 처리 프레임워크인 Hadoop(MapReduce) 기반 질의 엔진은 반복적인 작업으로 인한 잦은 I/O 발생으로 실시간 질의 처리가 불가능하며, 인메모리 기반 분산 질의 엔진 역시 낮은 단계의 언어 수준에서 분산 구조를 고려한 구현이 필요하기 때문에 질의 엔진 구축이 어렵다. 본 논문에서는 인메모리 기반 분산 질의 처리 프레임워크인 SparkSQL을 활용하여 대용량 트리플 데이터에 대한 SPARQL 질의문 처리 속도를 향상시킬 수 있는 질의 처리 엔진 구축 방법을 제안한다. SparkSQL 은 Spark 기반의 고수준 분산 질의 엔진으로서 기존의 SQL문을 활용한 질의가 가능하다. 따라서 SPARQL 질의문을 처리하기 위해서는 Jena를 이용하여 Algebra Tree를 생성한 후 이를 Spark 시스템에 적용하기 위한 Spark Algebra Tree로 변환해야 한다. 그리고 이를 이용하여 SparkSQL 질의문을 생성하는 시스템을 구축하였다. 또한 Spark 인메모리 시스템에서 보다 효율적인 질의 처리를 위한 DataFrame기반의 트리플 Property 테이블 설계를 제안하고 SparkSQL 프레임워크에 활용하였다. 마지막으로 기존의 분산처리 프레임워크를 사용한 질의 엔진과 비교 평가를 통하여 연구의 타당성을 검증한다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제41권3호
• /
• pp.233-256
• /
• 2002

This study investigated school mathematics curriculum of England, newly revised in 1998, focused on the 'number and algebra' domain among three major domains of the English curriculum. On the basis of its understanding, this domain was compared and analyzed with school mathematics curriculum of Korea. In doing so, this study explored its plans and procedures and established a frame of comparison for the curriculums between the two countries. The structure of the National Curriculum in England is composed of programmes of study and attainment targets. The former sets out what should be taught in mathematics at key stages 1, 2, 3, and 4 and provides the basis for planning schemes of work, and the latter sets out the knowledge, skills, and understanding that pupils of different abilities and matures are expected to have by the end of each key stage. Attainment targets are composed of eight levels and an additional level of increasing difficulty. According to the results of the present study, Korea focuses on the formal and systematic mathematical knowledge on the basis of sound understanding of certain mathematical terms or concepts. On the other hand, England tends to deal with numbers more flexibly and naturally through the aquisition of mental methods, calculator use methods, etc, and emphasizes that mathematics be realistic and useful in solving a diverse number of problems confronted in everyday life.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제12권4호
• /
• pp.283-291
• /
• 2008

The extension to a wide population of secondary education in many advanced countries seems to have led to a weakening of the mathematics curriculum. In response, many students have been classified as "gifted" so that they can access a stronger program. Apart from the difficulties that might arise in actually determining which students are gifted (Is it always clear what the term means?), there are dangers inherent in programs that might be devised even for those that are truly talented. Sometimes students are moved ahead to more advanced mathematics. Elementary students might be taught algebra or even subjects like trigonometry and vectors, and secondary students might be taught calculus, differential equations and linear algebra. It is my experience over thirty-five years of contact with bright students that acceleration to higher level mathematics is often not a good idea. In this paper, I will articulate some of the factors that have led me to this opinion and suggest alternatives. First, I would like to emphasize that in matters of education, almost every statement that can be made to admit counterexamples; my opinion on acceleration is no exception. Occasionally, a young Gauss or Euler walks in the door, and one has no choice but to offer the maximum encouragement and allow the student to go to the limit of his capabilities. A young genius can demonstrate an incredible amount of mathematical insight, maturity and mastery of technique. A classical example is probably the teen-age Euler, who in the 1720s was allowed regular audiences with Jean Bernoulli, the foremost mathematician of his day.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제29권3호
• /
• pp.391-421
• /
• 2015

과학기술의 급격한 발달과 인터넷의 활성화 등을 통해 전 세계가 활발한 상호 교류를 하게 되었으며 이러한 사회 변화의 결과 세계화라는 새로운 패러다임이 떠오르고 있다. 이와 같은 사회적 흐름에 따라 시대가 요구하는 인재상도 달라지고 있으며 우리의 교육도 국제교육 즉, 글로벌 교육에 많은 관심을 갖게 되었다. 수학교육의 측면에서도 우리나라의 인재들이 경쟁력을 갖추어야 하는 것은 중요한 과제로 떠오르게 되었다. 이에 본고에서는 우리나라 고등학교 교육과정 체제 안에서 교육과정의 국제화를 현실화하는 방안의 하나인 국제 공인 교육과정 IBDP(International Baccalaureate Diploma Program: 이하 IBDP로 표기)와 우리나라 고등학교 교육과정 중 중요한 부분인 대수 영역을 중심으로 비교 및 분석하였다. 특히, 우리나라 교육과정과 IBDP에 의해 개발된 교과서 중 수학 상급과정(Mathematics Higher Level: 이하 HL로 표기)단계를 선택하였으며 각 교과서에서 다루는 대수영역에 관한 내용의 범위 및 깊이, 문제의 수준 그리고 개념을 설명하는 방식이나 문제의 유형 및 교수-학습 방법 등을 분석하여 단원별 논의점을 제시하였다.