• Journal of the Korean Mathematical Society
• /
• v.44 no.4
• /
• pp.1025-1050
• /
• 2007

Let $X_k(x)=({\int}^T_o{\alpha}_1(s)dx(s),...,{\int}^T_o{\alpha}_k(s)dx(s))\;and\;X_{\tau}(x)=(x(t_1),...,x(t_k))$ on the classical Wiener space, where ${{\alpha}_1,...,{\alpha}_k}$ is an orthonormal subset of $L_2$ [0, T] and ${\tau}:0 is a partition of [0, T]. In this paper, we establish a change of scale formula for conditional Wiener integrals $E[G_{\gamma}|X_k]$ of functions on classical Wiener space having the form $$G_{\gamma}(x)=F(x){\Psi}({\int}^T_ov_1(s)dx(s),...,{\int}^T_o\;v_{\gamma}(s)dx(s))$$, for $F{\in}S\;and\;{\Psi}={\psi}+{\phi}({\psi}{\in}L_p(\mathbb{R}^{\gamma}),\;{\phi}{\in}\hat{M}(\mathbb{R}^{\gamma}))$, which need not be bounded or continuous. Here S is a Banach algebra on classical Wiener space and $\hat{M}(\mathbb{R}^{\gamma})$ is the space of Fourier transforms of measures of bounded variation over $\mathbb{R}^{\gamma}$. As results of the formula, we derive a change of scale formula for the conditional Wiener integrals $E[G_{\gamma}|X_{\tau}]\;and\;E[F|X_{\tau}]$. Finally, we show that the analytic Feynman integral of F can be expressed as a limit of a change of scale transformation of the conditional Wiener integral of F using an inversion formula which changes the conditional Wiener integral of F to an ordinary Wiener integral of F, and then we obtain another type of change of scale formula for Wiener integrals of F.

• Journal of Korean Medical classics
• /
• v.24 no.3
• /
• pp.27-47
• /
• 2011

Donguisusebowon(東醫壽世保元) doesn't have pretty large quantity of contents, so indications of Four-Constitution Medicine formulas on that medical book are small. Therefore, indications of Four-Constitution Medicine formula need to be extended for broader clinical use of Four-Constitution Medicine. There would be some methods to do that, and we could review the literatures that Four-Constitution Medicine formulas are based on. We reviewed Bojungyikgi-tang on "Dongeuibogam(東醫寶鑑)", and we found that if the Four-Constitution Medicine formula is based on Sanghan formula(傷寒方) or non-classical formula(後世方), it is worth adding more indications of base formulas to those of Four-Constitution Medicine formula. For exmaple, Indications of Bojungyikgi-tang for So-Eum type could be extended by indications of non-classical formula(後世方) Bojungyikgi-tang and modified formula(加減方) Bojungyikgi-tang on Dongeuibogam, We supposed 23 indications of non-classical formula(後世方) Bojungyikgi-tang, and 20 indications of modified formula(加減方) Bojungyikgi-tang as possible indications of Bojungyikgi-tang for So-Eum type.

• Honam Mathematical Journal
• /
• v.35 no.4
• /
• pp.701-706
• /
• 2013

Summation theorems for hypergeometric series $_2F_1$ and generalized hypergeometric series $_pF_q$ play important roles in themselves and their diverse applications. Some summation theorems for $_2F_1$ and $_pF_q$ have been established in several or many ways. Here we give a proof of Watson's classical summation theorem for the series $_3F_2$(1) by following the same lines used by Rakha [7] except for the last step in which we applied an integral formula introduced by Choi et al. [3].

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.10a
• /
• pp.677-680
• /
• 2004

This study investigates the buckling evaluation of connecting rods used in the diesel engine through finite element analysis. The Rankine formula, which is modified from classical Euler‘s formula, has been widely accepted in automotive industry to evaluate the buckling of connecting rods. Apparently, this formula is most suitable for the straight and idealized rod shape, and over-simplifies the geometric complexity associated with connecting rods. The subspace iteration method in FEA is used to predict the critical buckling stress of a connecting rod with certain slenderness ratio. To create models with various slenderness ratios for shank portion in the rod, the automatic meshing preprocessor was implemented. Results from FEA were verified by the experiments, in which the embedded strain gages measured for the connecting rod running at 4000rpm. The result indicates that the buckling prediction curve through FEA and experiment is effectively different from the curve of classical Rankine formula.

• Proceedings of the KIEE Conference
• /
• 2005.10b
• /
• pp.632-634
• /
• 2005

In this paper, The Frenet-Serret formula of classical geometric curve theory with the concept of a missile pointing velocity vector are used to analyze and design a missile guidance law. The capture capability of this guidance law is qualitatively studied by comparing the rotations of the velocity vectors of missile and target relative to the line of sight vector. when fuzzy Table look-up theory applied in target-missile distance & angle displacement, this research. It's performance is better then classical research.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.3
• /
• pp.517-528
• /
• 2011

Cameron and Storvick introduced change of scale formulas for Wiener integrals of bounded functions in the Banach algebra $\mathcal{S}$ of analytic Feynman integrable functions on classical Wiener space. Yoo and Skoug extended this result to an abstract Wiener space. Also Yoo, Song, Kim and Chang established a change of scale formula for Wiener integrals of functions on abstract Wiener space which need not be bounded or continuous. In this paper, we investigate a change of scale formula for generalized Wiener integrals of various functions on classical Wiener space.

• East Asian mathematical journal
• /
• v.27 no.3
• /
• pp.339-348
• /
• 2011

B. C. Berndt [6] has evaluated the transformation formula for a large class of functions that includes and generalizes the classical Dedekind eta-function. In this paper, we consider a twisted version of his formula. Using this transformation formula, we derive modular trans-formation formulas for the generating functions for cranks which were central to deduce K. Mahlburg's results in [11].

• Journal of the Korean Society for Precision Engineering
• /
• v.11 no.5
• /
• pp.88-97
• /
• 1994

We persent a method for kinematic calibration of open chain mechanisms based on the product of exponentials (POE) formula. The POE formula represents the forward kinematics of an open chain as a product of matrix exponentials, and is based on a modern geometric interpretation of classical screw theory. Unlike the kinematic parameters in the POE formula vary smoothly with changes in the joint axes;ad hoc methods designed to address the inherent singularities in the D-H parameters are therefore are therefore unnecessary. After introducing the POE formula, we derive a least-squares kinematic calibration algorithm for general open chain mechanisms. Simulation results with a 6-axis open chain are presented.

• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.559-573
• /
• 2008

In this paper, two classes of functions, involving a parameter and the classical Euler gamma function, and two functions, involving the classical Euler gamma function, are verified to be logarithmically completely monotonic in $(-\frac{1}{2},\infty)$ or $(0,\infty)$; some inequalities involving the classical Euler gamma function are deduced and compared with those originating from certain problems of traffic flow, due to J. Wendel and A. Laforgia, and relating to the well known Stirling's formula.

• Journal of Korean Medical classics
• /
• v.33 no.4
• /
• pp.67-81
• /
• 2020

Objectives : This research aims to suggest a automatic data extract method for herbal formula combinations from medical classics' texts. Methods : This research was carried out by using Access of Microsoft Office 365 in Windows 10 of Microsoft. The subject text for extraction was 『Euijongsonik』. Using data sets of herb and dosage terminology, herbal medicinals and their dosages were extracted. Afterwards, using the position value of the character string, the formula combinations were automatically extracted. Results :The PC environment of this research was Intel Core i7-1065G7 CPU 1.30GHz, with 8GB of RAM and a Windows 10 64bit operation system. Out of 6,115 verses, 19,277 herb-dosage combinations were extracted. Conclusions : In this research, it was demonstrated that in the case of classical texts that are available as data, knowledge on herbal medicine could be extracted without human or material resources. This suggests an applicability of classical text knowledge to clinical practice.