• Bulletin of the Korean Mathematical Society
• /
• 제60권4호
• /
• pp.1085-1100
• /
• 2023

For any given function f, we focus on the so-called prescribed mean curvature problem for the measure e^-f(|x|2)dx provided thate^-f(|x|2) ∈ L¹(ℝⁿ⁺¹). More precisely, we prove that there exists a smooth hypersurface M whose metric is ds² = dρ² + ρ²d𝜉² and whose mean curvature function is ${\frac{1}{n}}(\frac{u^p}{{\rho}^{\beta}})e^{f({\rho}^2)}{\psi}(\xi)$ for any given real constants p, β and functions f and ψ where u and ρ are the support function and radial function of M, respectively. Equivalently, we get the existence of a smooth solution to the following quasilinear equation on the unit sphere 𝕊ⁿ, $${\sum_{i,j}}({{\delta}_{ij}-{\frac{{\rho}_i{\rho}_j}{{\rho}^2+|{\nabla}{\rho}|^2}})(-{\rho}ji+{\frac{2}{{\rho}}}{\rho}j{\rho}i+{\rho}{\delta}_{ji})={\psi}{\frac{{\rho}^{2p+2-n-{\beta}}e^{f({\rho}^2)}}{({\rho}^2+|{\nabla}{\rho}|^2)^{\frac{p}{2}}}}$$ under some conditions. Our proof is based on the powerful method of continuity. In particular, if we take $f(t)={\frac{t}{2}}$, this may be prescribed mean curvature problem in Gauss measure space and it can be seen as an embedded result in Gauss measure space which will be needed in our forthcoming papers on the differential geometric analysis in Gauss measure space, such as Gauss-Bonnet-Chern theorem and its application on positive mass theorem and the Steiner-Weyl type formula, the Plateau problem and so on.

• Journal of Power Electronics
• /
• 제4권1호
• /
• pp.1-11
• /
• 2004

A stable adaptive sensorless speed controller for three-level inverter fed induction motor direct torque control (DTC) system using the radial-basis function network (RBFN) is presented in this paper. Torque ripple in the DTC system for high power induction motor could be drastically reduced with the foregoing researches of switching voltage selection and torque ripple reduction algorithms. However, speed control performance is still influenced by the inherent uncertainty of the system such as parametric uncertainty, external load disturbances and unmodeled dynamics, and its exact mathematical model is much difficult to be obtained due to their strong nonlinearity. In this paper, the inherent uncertainty is approximated on-line by the RBFN, and an additional robust control term is introduced to compensate for the reconstruction error of the RBFN instead of the rich number of rules and additional updated parameters. Control law for stabilizing the system and adaptive laws for updating both of weights in the RBFN and a bounding constant are established so that the whole closed-loop system is stable in the sense of Lyapunov, and the stability proof of the whole control system is presented. Computer simulations as well as experimental results are presented to show the validity and effectiveness of the proposed system.

• Journal of applied mathematics & informatics
• /
• 제30권3_4호
• /
• pp.365-380
• /
• 2012

Non-negative matrix factorization (NMF) is a very efficient method to explain the relationship between functions for finding basis information of multivariate nonnegative data. The multiplicative update (MU) algorithm is a popular approach to solve the NMF problem, but it fails to approach a stationary point and has inner iteration and zero divisor. So the elementwisely alternating projected gradient (eAPG) algorithm was proposed to overcome the defects. In this paper, we use the fact that the equilibrium point is stable to prove the convergence of the eAPG algorithm. By using a classic model, the equilibrium point is obtained and the invariant sets are constructed to guarantee the integrity of the stability. Finally, the convergence conditions of the eAPG algorithm are obtained, which can accelerate the convergence. In addition, the conditions, which satisfy that the non-zero equilibrium point exists and is stable, can cause that the algorithm converges to different values. Both of them are confirmed in the experiments. And we give the mathematical proof that the eAPG algorithm can reach the appointed precision at the least iterations compared to the MU algorithm. Thus, we theoretically illustrate the advantages of the eAPG algorithm.

• The Pure and Applied Mathematics
• /
• 제5권2호
• /
• pp.123-132
• /
• 1998

Let F and G denote the distribution functions of the failure times and the censoring variables in a random censorship model. Susarla and Van Ryzin(1978) verified consistency of $F_{\alpha}$, he NPBE of F with respect to the Dirichlet process prior D($\alpha$), in which they assumed F and G are continuous. Assuming that A, the cumulative hazard function, is distributed according to a beta process with parameters c, $\alpha$, Hjort(1990) obtained the Bayes estimator $A_{c,\alpha}$ of A under a squared error loss function. By the theory of product-integral developed by Gill and Johansen(1990), the Bayes estimator $F_{c,\alpha}$ is recovered from $A_{c,\alpha}$. Continuity assumption on F and G is removed in our proof of the consistency of $A_{c,\alpha}$ and $F_{c,\alpha}$. Our result extends Susarla and Van Ryzin(1978) since a particular transform of a beta process is a Dirichlet process and the class of beta processes forms a much larger class than the class of Dirichlet processes.

• Journal of the Korean Society of Safety
• /
• 제29권6호
• /
• pp.68-75
• /
• 2014

It is very important to classify explosion hazardous area (EHA) suitably and to use proper explosion-proof electric installations for facilities using flammable gases and liquids. In the past, various examples in the Notification of Ministry of Employment and Labor were referred to in classifying EHA. But, at present, many companies use the hypothetical volume in Korean Standards (KS). This study reviews the validity of EHA classification based on the hypothetical volume by comparing the calculated radii of EHA with those obtained by a consequence analysis program called PHAST and a mathematical approach in British Standards (BS). The radii of EHA by the hypothetical volume were found to be slightly larger than those by the other two methods. This was attributed to rather conservative uses of a safety factor(k) and a correction factor(f) for availability of ventilation in calculating the hypothetical volume. Since the differences are not so conspicuous, however, it is concluded that the hypothetical volume in KS is a valid means for the classification of EHA. This study also presents a table of the radii of EHA for easy reference by small-scale companies using city gas, C3-LPG and flammable liquid(toluene), respectively. The table consists of 25 leakage scenarios corresponding to combinations of 5 pipe(nozzle) sizes and 5 operating conditions for each flammable gas and liquid.

• Journal of Institute of Control, Robotics and Systems
• /
• 제22권5호
• /
• pp.346-352
• /
• 2016

This paper proposes an adaptive robust control method for an acrobot system in the presence of input disturbance. The acrobot system is a typical example of the underactuated system with complex nonlinearity and strong dynamic coupling. Also, disturbance can cause limit cycle phenomenon which appears in the acrobot system around the desired unstable equilibrium point. To minimize the effect of the disturbance, we apply a fuzzy disturbance estimation method for the swing-up and balancing control of the acrobot system. In this paper, both disturbance observer and controller for the acrobot system are designed and verified through mathematical proof and simulations.

• Journal of KIISE:Computing Practices and Letters
• /
• 제9권6호
• /
• pp.662-673
• /
• 2003

This paper proposed a workflow enactment model to provide process management functions for the next generation Internet service environment such as Web Service and Grid Computing. The existing enterprise workflow enactment models could not meet the scalability and reliability requirements for aforementioned environments. To satisfy these requirements, this study addressed on applying P2P model to the workflow enactment model. Mathematical description and proof were employed to show the recovery based on set theory and we also showed performance enhancement through simulations, which demonstrated a comprehensive result giving more than 100 times fast response time than the existing centralized model on the same resources.

• International Journal of Control, Automation, and Systems
• /
• 제6권4호
• /
• pp.571-582
• /
• 2008

This paper analyzes global convergence of the univariate dynamic encoding algorithm for searches (uDEAS) and provides an application result to function optimization. uDEAS is a more advanced optimization method than its predecessor in terms of the number of neighborhood points. This improvement should be validated through mathematical analysis for further research and application. Since uDEAS can be categorized into the generating set search method also established recently, the global convergence property of uDEAS is proved in the context of the direct search method. To show the strong performance of uDEAS, the global minima of four 30 dimensional benchmark functions are attempted to be located by uDEAS and the other direct search methods. The proof of global convergence and the successful optimization result guarantee that uDEAS is a reliable and effective global optimization method.

• Current Optics and Photonics
• /
• 제4권4호
• /
• pp.293-301
• /
• 2020

In this paper we propose and theoretically analyze a monolithic multiparametric sensor consisting of a superstructure of surface-relief waveguide Bragg gratings (WBGs), a micro-machined diaphragm, and a cantilever beam. Diaphragms of two different configurations, namely circular and square, are designed and analyzed separately for pressure measurement. The square diaphragm is then selected for further study, since it shows relatively higher sensitivity compared to the circular one, as it incurs more induced stress when any pressure is applied. The cantilever beam with a proof mass is designed to enhance the sensitivity for acceleration measurement. A unique mathematical method using coupled-mode theory and the transfer-matrix method is developed to design and analyze the shift in the Bragg wavelength of the superstructure configuration of the gratings, due to simultaneously applied pressure and acceleration. The effect of temperature on the wavelength shift is compensated by introducing another Bragg grating in the superstructure configuration. The measured sensitivities for pressure and acceleration are found to be 0.21 pm/Pa and 6.49 nm/g respectively.

• Kyungpook Mathematical Journal
• /
• 제61권4호
• /
• pp.745-763
• /
• 2021

For a value s ∈ ℂ∪ {∞}, two meromorphic functions f and g are said to share the value s, CM, (or IM), provided that f(z)-s and g(z)-s have the same set of zeros, counting multiplicities, (respectively, ignoring multiplicities). We say that a meromorphic function f shares s ∈ Ŝ partially with a meromorphic function g if E(s, f) ⊆ E(s, g). It is easy to see that "partially shared values CM" are more general than "shared values CM". With the help of partially shared values, in this paper, we prove some uniqueness results between a non-constant meromorphic function and its generalized differences or shifts. We exhibit some examples to show that the result of Charak et al. [8] is not true for k = 2 or k = 3. We find some gaps in proof of the result of Lin et al. [24]. We not only correct these resuts, but also generalize them in a more convenient way. We give a number of examples to validate certain claims of the main results of this paper and also to show that some of conditions are sharp. Finally, we pose some open questions for further investigation.