• 호남수학학술지
• /
• 제30권4호
• /
• pp.733-741
• /
• 2008

Let T be Gauss transformation on the unit interval defined by T (x) = ${\frac{1}{x}}$ where {x} is the fractional part of x. Gauss transformation is closely related to the continued fraction expansions of real numbers. We show that almost every x is mod M normal number of Gauss transformation with respect to intervals whose endpoints are rational or quadratic irrational. Its connection to Central Limit Theorem is also shown.

• Kyungpook Mathematical Journal
• /
• 제28권2호
• /
• pp.185-196
• /
• 1988

We study existence of polynomial integrating factors and solutions F(x, y)=c of first order nonlinear differential equations. We characterize the homogeneous case, and give algorithms for finding existence of and a basis for polynomial solutions of linear difference and differential equations and rational solutions or linear differential equations with polynomial coefficients. We relate singularities to nature of the solution. Solution of differential equations in closed form to some degree might be called more an art than a science: The investigator can try a number of methods and for a number of classes of equations these methods always work. In particular integrating factors are tricky to find. An analogous but simpler situation exists for integrating inclosed form, where for instance there exists a criterion for when an exponential integral can be found in closed form. In this paper we make a beginning in several directions on these problems, for 2 variable ordinary differential equations. The case of exact differentials reduces immediately to quadrature. The next step is perhaps that of a polynomial integrating factor, our main study. Here we are able to provide necessary conditions based on related homogeneous equations which probably suffice to decide existence in most cases. As part of our investigations we provide complete algorithms for existence of and finding a basis for polynomial solutions of linear differential and difference equations with polynomial coefficients, also rational solutions for such differential equations. Our goal would be a method for decidability of whether any differential equation Mdx+Mdy=0 with polynomial M, N has algebraic solutions(or an undecidability proof). We reduce the question of all solutions algebraic to singularities but have not yet found a definite procedure to find their type. We begin with general results on the set of all polynomial solutions and integrating factors. Consider a differential equation Mdx+Ndy where M, N are nonreal polynomials in x, y with no common factor. When does there exist an integrating factor u which is (i) polynomial (ii) rational? In case (i) the solution F(x, y)=c will be a polynomial. We assume all functions here are complex analytic polynomial in some open set.

• Earthquakes and Structures
• /
• 제2권2호
• /
• pp.171-187
• /
• 2011

Rational scaling of design earthquake ground motions for tall buildings is essential for safer, risk-based design of tall buildings. This paper provides the structural designers with an insight for more rational scaling based on drift and input energy demands. Since a resonant sinusoidal motion can be an approximate critical excitation to elastic and inelastic structures under the constraint of acceleration or velocity power, a resonant sinusoidal motion with variable period and duration is used as an input wave of the near-field and far-field ground motions. This enables one to understand clearly the relation of the intensity normalization index of ground motion (maximum acceleration, maximum velocity, acceleration power, velocity power) with the response performance (peak interstory drift, total input energy). It is proved that, when the maximum ground velocity is adopted as the normalization index, the maximum interstory drift exhibits a stable property irrespective of the number of stories. It is further shown that, when the velocity power is adopted as the normalization index, the total input energy exhibits a stable property irrespective of the number of stories. It is finally concluded that the former property on peak drift can hold for the practical design response spectrum-compatible ground motions.

• 대한수학교육학회지:수학교육학연구
• /
• 제25권3호
• /
• pp.263-279
• /
• 2015

유리수에서 실수로의 확장 혹은 무리수의 존재성을 수학적으로 정당화하기 위해서는 완비성 공리가 필요하므로, 실수의 도입은 학교수학에서 가장 가르치기 어려운 주제 중 하나이다. 이 연구에서는 실수를 '유리수와 무리수의 합집합'으로 정의하는 학교수학의 교수학적 변환이 어떠한 교수학적 공백을 남겨놓을 수 있는지를 살펴보고, 유리수에서 실수로의 수 체계 확장의 이유, 임의의 비순환 무한소수의 존재 이유 등에 대한 예비교사들의 설명을 분석하여 대학수학의 학습에도 불구하고 예비교사들의 실수에 대한 피상적인 이해를 구체적으로 확인하였다. 교수학적 공백을 인식하고 학교수학과 대학수학을 연결함으로서, 예비교사들이 실수 개념이 자명하다는 착각으로부터 어떻게 벗어날 수 있었는지를 논의하였다.

• 대한원격탐사학회지
• /
• 제21권2호
• /
• pp.135-143
• /
• 2005

최근 고해상도 영상의 공급에 있어 물리적 센서 모델의 대안으로서 RPC(Rational Polynomial Camera) 모델이 활발히 이용되고 있다. RPC 모델을 통하여 지상 좌표와 영상 좌표간의 ,기하 관계를 단순하고도 정확하게 묘사할 수 있어 과거 물리적 센서 모델을 통하여만 이루어질 수 있었던 정사보정, 스테레오 영상을 이용한 3차원 좌표 추출 등의 처리가 가능하게 되었다 본 연구에서는 RPCs(Rational Polynomial Coefficients)가 주어진 스테레오 영상으로부터 3차원 좌표를 추출할 수 있는 매우 간단한 방법을 제안하고자 하였다. 제안된 방법은 Downhill Simplex 기법을 이용하는 방법으로서, Downhill Simplex 기법은 함수의 최소값을 찾는데 있어 편미분 계산을 수행하지 않는다는 장점을 가지고 있다. 본 연구에서 제안된 Downhill Simplex 기법을 이용한 RPC 스테레오 영상으로부터의 3차원 좌표 추출 기법은 실제 사용이 가능한 소프트웨어 프로그램으로서 구현되었으며, 서울 지역의 스테레오 IKONOS 영상에 시험 적용되었다. 시험 적용 결과, 본 방법은 비교적 빠르게 3차원 좌표를 계산할 수 있는 것으로 평가되며, RPCs가 주어진 스테레오 영상으로부터 3차원 좌표를 추출할 수 있는 실제적 기술로서 사용이 가능할 것으로 기대된다.

• 한국농촌건축학회논문집
• /
• 제11권1호
• /
• pp.47-56
• /
• 2009

According to the user recognizing, the propose of this study is to establish the systematic church-design and the plan of rational process. When the plan of church design is rational come out, the local community will be risen and there is the possibility which will raise the essential function of church construction and design. The results from the study are as follow. Firstly, the area of the front-window and the number of the external entrance are correlated with the accessibility of the building. Secondly, the height of a bell-tower is related with the feelings of a tediously and a intimate degree. Thirdly, the ground clearance of the whole surface is correlated with the church-character and the community formation of a local society.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.1566-1574
• /
• 2004

This study tried to find out alternatives adjusting basic fare using customer survey. But it merely verified that train fare decision is made by government's role and market status. Also, it has a limitation deciding resonable fare of KTX that average cost and marginal cost calculation is impossible because Korean National Railroad does not follow 'Activity Based Costing'. It is rational fare decision that performing survey to railroad experts and general customers, and compare two results. Summarizing results of this study, 1. The hypothesis 'Experts' perceived fare level of KTX is higher than that of general customer. 'is carried. It suggests that following experts' opinion with general customer's is very rational method to decide fare level. 2. The hypothesis 'Experts expect lower level of fare discount rate than general customer.' is carried. 3. It is hard to decide priority among many kinds of discount for difference of two group's preference. However, following recent research project is maximized by discounting fare 30$\%$ on 40$\%$ of total passenger and expand number of discount kinds step by step are desirable.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2008년도 추계 학술발표회
• /
• pp.85-110
• /
• 2008

Ground investigation data to be used as a basis for geotechnical analysis and foundation design are usually troubled with large uncertainty, due to natural variability and limited number of data. Statistical methods can be a rational tool for handling such uncertain ground data, in particular with a view to the selection of characteristic values for estimating ground design parameters used in design. The characteristic values of soil properties for use in geotechnical design have oftenly based on not only a subjective judgment but also engineer's past acumulated experience. This paper discussed some statistical methods which can handle such intrinsic ground uncertainty data with a case design in a rational manner.

• 호남수학학술지
• /
• 제45권3호
• /
• pp.542-554
• /
• 2023

Given a real number α, the Lagrange number of α is the supremum of all real numbers L > 0 for which the inequality |α - p/q| < (Lq²)^-1 holds for infinitely many rational numbers p/q. All Lagrange numbers less than 3 can be arranged as a set {l_p/q : p/q ∈ ℚ ∩ [0, 1]} using the Farey index. The present paper considers a function C(α) devised from Sturmian words. We demonstrate that the function C(α) contains all information on Lagrange numbers less than 3. More precisely, we prove that for any real number α ∈ (0, 1], the value C(α) - C(0) is equal to the sum of all numbers 3 - l_p/q where the Farey index p/q is less than α.

• 한국경영과학회지
• /
• 제1권1호
• /
• pp.151-170
• /
• 1976

There are many cases of production processes which intermittently produce several different kinds of products for stock through one set of physical facility. In this case, an important question is what size of production run should be prduced once we do set-up for a product in order to minimize the total cost, that is, the sum of the set-up, carrying, and stock-out costs. This problem is used to be called scheduling of multiple products through a single facility in the production management field. Despite the very common occurrence of this type of production process, no one has yet devised a method for determining the optimal production schedule. The purpose of this study is to develop quantitative analytical models which can be used practically and give us rational production schedules. The study is to show improved models with application to a can-manufacturing plant. In this thesis the economic production quantity (EPQ) model was used as a basic model to develop quantitative analytical models for this scheduling problem and two cases, one with stock-out cost, the other without stock-out cost, were taken into consideration. The first analytical model was developed for the scheduling of products through a single facility. In this model we calculate No, the optimal number of production runs per year, minimizing the total annual cost above all. Next we calculate No$_{i}$ is significantly different from No, some manipulation of the schedule can be made by trial and error in order to try to fit the product into the basic (No schedule either more or less frequently as dictated by) No$_{i}$, But this trial and error schedule is thought of inefficient. The second analytical model was developed by reinterpretation by reinterpretation of the calculating process of the economic production quantity model. In this model we obtained two relationships, one of which is the relationship between optimal number of set-ups for the ith item and optimal total number of set-ups, the other is the relationship between optimal average inventory investment for the ith item and optimal total average inventory investment. From these relationships we can determine how much average inventory investment per year would be required if a rational policy based on m No set-ups per year for m products were followed and, alternatively, how many set-ups per year would be required if a rational policy were followed which required an established total average inventory inventory investment. We also learned the relationship between the number of set-ups and the average inventory investment takes the form of a hyperbola. But, there is no reason to say that the first analytical model is superior to the second analytical model. It can be said that the first model is useful for a basic production schedule. On the other hand, the second model is efficient to get an improved production schedule, in a sense of reducing the total cost. Another merit of the second model is that, unlike the first model where we have to know all the inventory costs for each product, we can obtain an improved production schedule with unknown inventory costs. The application of these quantitative analytical models to PoHang can-manufacturing plants shows this point.int.