• 대한수학회보
• /
• 제53권2호
• /
• pp.487-494
• /
• 2016

Let p be an odd prime and c be a fixed integer with (c, p) = 1. For each integer a with $1{\leq}a{\leq}p-1$, it is clear that there exists one and only one b with $0{\leq}b{\leq}p-1$ such that $ab{\equiv}c$ mod p. Let N(c, p) denote the number of all solutions of the congruence equation $ab{\equiv}c$ mod p for $1{\leq}a$, $b{{\leq}}p-1$ in which a and $\bar{b}$ are of opposite parity, where $\bar{b}$ is defined by the congruence equation $b{\bar{b}}{\equiv}1$ mod p. The main purpose of this paper is using the mean value theorem of Dirichlet L-functions and the properties of Gauss sums to study the computational problem of one kind mean value function related to $E(c,p)=N(c,p)-{\frac{1}{2}}{\phi}(p)$, and give its an exact computational formula.

• 대한수학회보
• /
• 제33권3호
• /
• pp.329-334
• /
• 1996

The notion of approximate derivative was introduced by Denjoy in 1916 [3]. Khintchine [5] proved that Rolle's theorem holds for approximate derivatives and Tolstoff [8] proved that every approximate derivative is of Baire class 1 and has Darboux property. Goffman and Neugebauer [4] proved the above results of Tolstoff [8] in a different and simplified method. Also they [4] proved indirectly (via Darboux property) that approximate derivatives possess mean value property.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권2호
• /
• pp.129-139
• /
• 2011

We consider an optimal trading rule in this paper. We assume that the underlying asset follows a mean-reverting process and the transaction consists of one buying and one selling. To maximize the profit, we find price levels to buy low and to sell high. Associated HJB equations are used to formulate the value function. A verification theorem is provided for sufficient conditions. We conclude the paper with a numerical example.

• Kyungpook Mathematical Journal
• /
• 제57권2호
• /
• pp.245-250
• /
• 2017

In this paper, we obtain the refined stability of Pompeiu's points which extends a result of Huang and Li [8].

• Kyungpook Mathematical Journal
• /
• 제55권1호
• /
• pp.103-107
• /
• 2015

In this paper, we investigate the stability of Pompeiu's points in the sense of Hyers-Ulam.

• Nuclear Engineering and Technology
• /
• 제46권5호
• /
• pp.619-632
• /
• 2014

The Best Estimate Plus Uncertainty (BEPU) method has been widely used to evaluate the uncertainty of a best-estimate thermal hydraulic system code against a figure of merit. This uncertainty is typically evaluated based on the physical model's uncertainties determined by expert judgment. This paper introduces the application of data assimilation methodology to determine the uncertainty bands of the physical models, e.g., the mean value and standard deviation of the parameters, based upon the statistical approach rather than expert judgment. Data assimilation suggests a mathematical methodology for the best estimate bias and the uncertainties of the physical models which optimize the system response following the calibration of model parameters and responses. The mathematical approaches include deterministic and probabilistic methods of data assimilation to solve both linear and nonlinear problems with the a posteriori distribution of parameters derived based on Bayes' theorem. The inverse problem was solved analytically to obtain the mean value and standard deviation of the parameters assuming Gaussian distributions for the parameters and responses, and a sampling method was utilized to illustrate the non-Gaussian a posteriori distributions of parameters. SPACE is used to demonstrate the data assimilation method by determining the bias and the uncertainty bands of the physical models employing Bennett's heated tube test data and Becker's post critical heat flux experimental data. Based on the results of the data assimilation process, the major sources of the modeling uncertainties were identified for further model development.

• 한국방재안전학회논문집
• /
• 제6권3호
• /
• pp.1-8
• /
• 2013

시간과 공간에 따라 변화하는 난류성분의 변동풍하중을 받는 고층건물의 경량화 및 연성화 현상은 고유진동수와 감쇠비를 적게함으로서 동적으로 매우 불리한 진동문제을 발생하게 되어, 변동풍하중을 받는 도심의 고층건물에 대한 동적해석의 중요성이 인식되고 있다. 본 논문에서는 돌풍과 같이 짧은 시간동안에 통계적 성질이 변화하는 변동풍하중을 나타내기 위하여 정상불규칙 풍하중에 시간에 따라 변화하는 결정적함수(A(t) = 1-exp($-{\beta}t$))를 곱하여 나타냈고, 이러한 변동풍하중을 받는 고층건물에 대한 평균류방향의 동적변위응답해석은 진동이론으로부터 Time-dependent Response Spectral Density함수를 나타냈고, 진동함수를 포함하여 나타내는 Time-dependent Response Spectral Density의 진동수영역에 대한 적분의 해로부터 동적응답을 해석적으로 구하기 위하여 Contour적분에서 Cauchy의 적분정리와 잔유치 정리(residue theorem)에 의한 잔유치 적분으로부터 해석함수를 구했다. 해석 예에서 본 논문에서 구한 해석함수와 기존의 수치해석방법에 따른 결과를 비교 검토했고, 고층건물의 동적 특성에 따른 해석결과도 비교 검토했다.

• 한국환경보건학회지
• /
• 제45권2호
• /
• pp.192-202
• /
• 2019

Objectives: According to the central limit theorem, the samples in population might be considered to follow normal distribution if a large number of samples are available. Once we assume that toxicity dataset follow normal distribution, we can treat and process data statistically to calculate genus or species mean value with standard deviation. However, little is known and only limited studies are conducted to investigate whether toxicity dataset follows normal distribution or not. Therefore, the purpose of study is to evaluate the generally accepted normality hypothesis of aquatic toxicity dataset Methods: We selected the 8 chemicals, which consist of 4 organic and 4 inorganic chemical compounds considering data availability for the development of species sensitivity distribution. Toxicity data were collected at the US EPA ECOTOX Knowledgebase by simple search with target chemicals. Toxicity data were re-arranged to a proper format based on the endpoint and test duration, where we conducted normality test according to the Shapiro-Wilk test. Also we investigated the degree of normality by simple log transformation of toxicity data Results: Despite of the central limit theorem, only one large dataset (n>25) follow normal distribution out of 25 large dataset. By log transforming, more 7 large dataset show normality. As a result of normality test on small dataset (n<25), log transformation of toxicity value generally increases normality. Both organic and inorganic chemicals show normality growth for 26 species and 30 species, respectively. Those 56 species shows normality growth by log transformation in the taxonomic groups such as amphibian (1), crustacean (21), fish (22), insect (5), rotifer (2), and worm (5). In contrast, mollusca shows normality decrease at 1 species out of 23 that originally show normality. Conclusions: The normality of large toxicity dataset was not always satisfactory to the central limit theorem. Normality of those data could be improved through log transformation. Therefore, care should be taken when using toxicity data to induce, for example, mean value for risk assessment.

• 제어로봇시스템학회논문지
• /
• 제20권1호
• /
• pp.42-47
• /
• 2014

This paper investigates an adaptive approximation design problem for the tracking control of output-constrained non-affine pure-feedback systems. To satisfy the desired performance without constraint violation, we employ a barrier Lyapunov function which grows to infinity whenever its argument approaches some limits. The main difficulty in dealing with pure-feedback systems considering output constraints is that the system has a non-affine appearance of the constrained variable to be used as a virtual control. To overcome this difficulty, the implicit function theorem and mean value theorem are exploited to assert the existence of the desired virtual and actual controls. The function approximation technique based on adaptive neural networks is used to estimate the desired control inputs. It is shown that all signals in the closed-loop system are uniformly ultimately bounded.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권2호
• /
• pp.247-257
• /
• 2010

In this article an explanation of monotonicity of functions and the definition of local extrema in Korean highschool textbooks based on national curriculum(revised in 2007) are analyzed critically. On the basis of this analysis, we indicate some problems and propose its improvements.