• 대한수학회지
• /
• 제49권3호
• /
• pp.475-491
• /
• 2012

In 1950 a class of generalized Petersen graphs was introduced by Coxeter and around 1970 popularized by Frucht, Graver and Watkins. The family of $I$-graphs mentioned in 1988 by Bouwer et al. represents a slight further albeit important generalization of the renowned Petersen graph. We show that each $I$-graph $I(n,j,k)$ admits a unit-distance representation in the Euclidean plane. This implies that each generalized Petersen graph admits a unit-distance representation in the Euclidean plane. In particular, we show that every $I$-graph $I(n,j,k)$ has an isomorphic $I$-graph that admits a unit-distance representation in the Euclidean plane with a $n$-fold rotational symmetry, with the exception of the families $I(n,j,j)$ and $I(12m,m,5m)$, $m{\geq}1$. We also provide unit-distance representations for these graphs.

• 대한수학회보
• /
• 제59권5호
• /
• pp.1119-1129
• /
• 2022

We formulate the matrix representation of a composition operator on the Hardy space of the unit disc with the symbol which is a Riemann map of the unit disc, with respect to a special orthonormal basis.

• 동의생리병리학회지
• /
• 제16권5호
• /
• pp.845-850
• /
• 2002

This paper suggest a methodology for representation of findings which can be called as signs and symptoms. A finding consists of unit signs and unit symptoms, and moreover findings which appear in one individual patient have so many different relationship each other. So, it is nat appropriate to list all of possible findings as medical standard or to fill findings as independent things in paper for medical record. We try to distinguish finding item from finding list, and suggest the methodology by which we can make finding list from finding items. That is, we suggest finding item[Concept], value types, relationship, logical operator, and syntax as a component of representation. And by using urinary symptom, we make the example for representation methodology. Finally, we mention the background knowledge, brief research process of related area.

• 대한수학회보
• /
• 제25권2호
• /
• pp.243-246
• /
• 1988

Let M(z)=exp (-1+z/1-z) be the unit singular inner function. See [1] or [2] for the basic facts about inner functions. We define the iterations of M9z) as (Fig.) Since the composition M$_{2}$(z)=M.M(z) is known (see [5] for example) to be singular inner function it has the "cannonical" representation (Fig.) where .mu. is a finite, positive singular Borel measure on the unit circle T. In section 2, we have explicit cannonical representation of M$_{2}$(z) by determining the singular measure .mu. In section 3 we show that (Fig.) These facts might have been known but could not be found in the literature.iterature.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제57권1호
• /
• pp.37-54
• /
• 2018

Despite the significance of fraction in elementary mathematics education, it is not easy to teach it meaningfully in connection with real life in Korea. This study aims to investigate and analyze 3rd grade students' understanding on unit fraction concepts and on comparison of unit fractions and to identify the parts which need to be supplemented in relation to unit fraction. For these purposes, I reviewed previous studies and extracted chapters which cover unit fractions in elementary mathematics textbooks based on 2009 revised curriculums and analyzed teaching contexts and visual representations of unit fractions. From this point of view, I constructed a test which consists of three problems based on Chval et al(2013) to investigate students' understanding on unit fraction. To apply this test, I selected forty-one 3rd grade students and examined that students' aspects of understanding on unit fraction. The results were analyzed both qualitatively and quantitatively. In this study, I present the analysis results and provide implications and some didactical suggestions for teaching contexts and visual representations of unit fraction based on the discussion.

• East Asian mathematical journal
• /
• 제39권1호
• /
• pp.11-21
• /
• 2023

Non-trivial automorphisms of the unit disc in the complex plane can be classified by three classes; elliptic, parabolic and hyperbolic automorphisms. This classification is due to a representation in the projective special linear group of the real field, or in terms of fixed points on the closure of the unit disc. In this paper, we will characterize this classification by the distance function of the Poincaré metric on the interior of the unit disc.

• 호남수학학술지
• /
• 제43권4호
• /
• pp.691-700
• /
• 2021

In this paper, we compute directly the Hankel matrix representation of the Hankel operator on the Hardy space of the unit disc without using any classical kernel functions with respect to special orthonormal bases for the Hardy space and its orthogonal complement. This gives an elementary proof for the formula.

• 전자공학회논문지B
• /
• 제32B권12호
• /
• pp.1687-1696
• /
• 1995

An integrated fault diagnosis system for heterogeneous manufacturing environments is developed. This system has a contrast with existing diagnosis systems in the respect that they are mostly for diagnosing faults on individual machines. In addition to the usual (e.g., audio, electrical) diagnostic signals, the characteristics of products from the machines are considered as the unifying diagnostic parameters among heterogeneous machines in the diagnosis. The system is composed of a knowledge representation scheme and a diagnostic query processing mechanism. Its knowledge representation scheme allows the diagnostic knowledges from heterogeneous unit diagnostic systems to be uniformly expressed in terms of the causal relations among relevant data items. It is flexible in the sense that causes for one relation can be effects for another may be reflected on our knowledge representation scheme. The diagnosis mechanism is based on a probabilistic inferencing method. This probablistic diagnosis mechanism provides more general diagnosis than existing ones in that it accommodates multiple causes and takes complication among causes into account. These scheme and mechanism are applied to a typical example to demonstrate how our system works.

• 한국초등과학교육학회지:초등과학교육
• /
• 제37권2호
• /
• pp.219-231
• /
• 2018

This study surveyed the elementary school teachers' use of visual representations and their perceptions of the functions of visual representations in the teaching of electricity unit. A total of 110 elementary teachers who have experiences in teaching electricity unit responded to online survey. The result showed firstly that most of the teachers use visual representations in their teaching and it is mostly limited to those presented in textbooks or images that they can get easily from internet search. Secondly, elementary teachers thought that they have high ability in using visual representations and low ability in understanding students' visual presentation ability. Thirdly, visual representations are more often preferred to be used as teacher-centered ways than student-centered ways for motivating students and conceptual understanding. However, in case of scientific inquiry, both teacher-centered and student-centered ways were equally preferred. Lastly, the teachers' perceptions of the functions of visual representations were categorized into 'teaching-instrumental function', 'learning-instrumental function', 'communicative-instrumental function' and 8 subcategories were found. The most frequent function was the 'information delivery function' in the 'teaching-instrumental function' category. Implications for teacher education and further studies were discussed.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.715-717
• /
• 2004

컴퓨터 상에서 집합, 트리, 그래프 등의 이산 객체(discrete object)는 메모리 주소와 같은 정수 값으로 표현되어 왔다. Succinct 표현(succinct representation)은 이산 객체를 이진화 하여 표현하는 방법으로, 정수 값으로 표현된 이산객체보다 적은 공간에 저장된다. Succinct 표현의 데이터는 이산 객체의 개별적 저장 위치를 파악하기 위해서rank와 select함수가 기본적으로 필요하다. rant와 select함수를 MBRAM 모델 상에서 O(1)시간에 계산하는 알고리즘이 제시되었다. MBRAM 모델은 비트연산을 unit cost로 수행하는 모델이다. 그러나 범용 컴퓨터는 바이트 단위의 기본 명령어를 제공하므로 비트연산을 unit cost에 수행할 수 없다. 본 논문은 범용 컴퓨터에서 효율적으로 rank함수를 구현하는 방법을 제시한다. rank함수의 효율적인 구현은 FM-index 등의 패턴 검색에 유용하다.