• 한국생물공학회:학술대회논문집
• /
• 2002.04a
• /
• pp.145-148
• /
• 2002

Membrane bioreactors for wastewater treatment must operate for long periods without chemical cleaning. This study investigates the critical flux concept introduced by Field et al. as a means for achieving this goal. We conducted two series of tests: at fixed transmembrane pressure(TMP) and at fixed permeate flux. set by a volumetric pump on the permeate. Comparison of constant pressure and constants flux tests under same conditions showed that the critical flux is almost identical to the limiting or pressure independent flux obtained in constant pressure. More generally, constant flux procedure below the critical flux avoids overfouling of the membrane in the initial stage and is more advantageous for membrane bioreactor operation.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2004.09a
• /
• pp.68-71
• /
• 2004

Effects of surfactants and natural organic matter (NOM) on the sorption and reduction of tetrachloroethylene (PCE) and chromate with iron were examined in this study. PCE and chromate reduction by iron depended on the ionic type of the surfactants in this study. The apparent reaction rate constants of PCE with Triton X-100 and hexadecyltrimethyl ammonium (HDTMA) at one half and two times of the critical micelle concentration (CMC) were relatively higher than without surfactants because of the enhanced PCE partitioning and surface concentration. In the presence of sodium dodecyl benzene sulfonate (SDDBS) at 2000 mg/L and NOM at 50 mg/L, the apparent reaction rate constants of PCE increased, but TCE production decreased. The enhanced removal rate of PCE was not due to the dechlorination, and the sorption was dominant iron with SDDBS and NOM. The apparent reaction rate constants of chromate by iron with Triton X-100 and NOM were 1.4-3.1 times lower than without surfactants while that with HDTMA was two times higher than without HDTMA, When the sorbed HDTMA molecules form admicelles, negatively-charged chromate has an affinity for the positively-charged HDTMA head group.

• Korean Journal of Mathematics
• /
• v.23 no.4
• /
• pp.537-555
• /
• 2015

This paper is concerned with the existence of solutions to the following fractional differential inclusion $$\{-{\frac{d}{dx}}\(p_0D^{-{\beta}}_x(u^{\prime}(x)))+q_xD^{-{\beta}}_1(u^{\prime}(x))\){\in}{\partial}F_u(x,u),\;x{\in}(0,1),\\u(0)=u(1)=0,$$ where $_0D^{-{\beta}}_x$ and $_xD^{-{\beta}}_1$ are left and right Riemann-Liouville fractional integrals of order ${\beta}{\in}(0,1)$ respectively, 0 < p = 1 - q < 1 and $F:[0,1]{\times}{\mathbb{R}}{\rightarrow}{\mathbb{R}}$ is locally Lipschitz with respect to the second variable. Due to the general assumption on the constants p and q, the problem does not have a variational structure. Despite that, here we study it combining with an iterative technique and nonsmooth critical point theory, we obtain an existence result for the above problem under suitable assumptions. The result extends some corresponding results in the literatures.

• Korean Journal of Mathematics
• /
• v.16 no.1
• /
• pp.41-49
• /
• 2008

We show the existence of a negative solution for the system of the following nonlinear wave equations with critical growth, under Dirichlet boundary condition and periodic condition $$u_{tt}-u_{xx}=au+b{\upsilon}+\frac{2{\alpha}}{{\alpha}+{\beta}}u_+^{\alpha-1}{\upsilon}_+^{\beta}+s{\phi}_{00}+f,\\{\upsilon}_{tt}-{\upsilon}_{xx}=cu+d{\upsilon}+\frac{2{\alpha}}{{\alpha}+{\beta}}u_+^{\alpha}{\upsilon}_+^{{\beta}-1}+t{\phi}_{00}+g,$$ where ${\alpha},{\beta}>1$ are real constants, $u_+={\max}\{u,0\},\;s,\;t{\in}R,\;{\phi}_{00}$ is the eigenfunction corresponding to the positive eigenvalue ${\lambda}_{00}$ of the wave operator and f, g are ${\pi}$-periodic, even in x and t and bounded functions.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2006.11a
• /
• pp.613-616
• /
• 2006

The purpose of the this study of to define the critical corrosion amount of the steel cause the cracking of concrete cover. The major variables of the critical corrosion amount are concrete strength and thick of the concrete cover. In this experiment, the constant of stress concentration is added by a new variable. As a result of the experiment, it is confirmed to less decrease in the critical corrosion amount following the constants of stress concentration increased. Besides, electric currents were measured through a generator of constant voltage. When connecting constant voltage with corrosion circuit, it was discovered that magnitude of the change come out similarly between displacement on the concrete cover and electric current according to time.

• Communications of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.247-256
• /
• 2021

Using variational methods, we show the existence of a unique weak solution of the following singular biharmonic problems of Kirchhoff type involving critical Sobolev exponent: $$(\mathcal{P}_{\lambda})\;\{\begin{array}{lll}{\Delta}^2u-(a{\int}_{\Omega}{\mid}{\nabla}u{\mid}^2dx+b){\Delta}u+cu=f(x){\mid}u{\mid}^{-{\gamma}}-{\lambda}{\mid}u{\mid}^{p-2}u&&\text{ in }{\Omega},\\{\Delta}u=u=0&&\text{ on }{\partial}{\Omega},\end{array}$$ where Ω is a smooth bounded domain of ℝⁿ (n ≥ 5), ∆² is the biharmonic operator, and ∇u denotes the spatial gradient of u and 0 < γ < 1, λ > 0, 0 < p ≤ 2^# and a, b, c are three positive constants with a + b > 0 and f belongs to a given Lebesgue space.

• Transactions on Electrical and Electronic Materials
• /
• v.13 no.4
• /
• pp.196-199
• /
• 2012

CdS thin film was prepared on glass substrate by chemical bath deposition in an alkaline solution. The optical properties of CdS thin film were investigated using spectroscopic ellipsometry. The real (${\varepsilon}_1$) and imaginary (${\varepsilon}_2$) parts of the complex dielectric function ${\varepsilon}(E)={\varepsilon}_1(E)+i{\varepsilon}_2(E)$, the refractive index n(E), and the extinction coefficient k(E) of CdS thin film were obtained from spectroscopic ellipsometry. The normal-incidence reflectivity R(E) and absorption coefficient ${\alpha}(E)$ of CdS thin film were obtained using the refractive index and extinction coefficient. The critical points $E_0$ and $E_1$ of CdS thin film were shown in spectra of the dielectric function and optical constants of refractive index, extinction coefficient, normal-incidence reflectivity, and absorption coefficient. The dispersion of refractive index was analyzed by the Wemple-DiDomenico single-oscillator model.

• Journal of the Korean Chemical Society
• /
• v.9 no.1
• /
• pp.8-15
• /
• 1965

Justifications for the use of ${\sigma}$ and Y as independent potential energy variables in the general equation have been reviewed and some mechanistic significances of the relationship discussed. Analysis of the activation parameters for the solvolysis of benzyl chlorides in ethanol-water mixture showed that there are two distinct series of substrate constants ${\alpha}'$, which can be correlated linearly within a series with the substituent constants ${\sigma}$ conforming to the generally accepted concept of change in mechanism from $S_N1$ to $S_N2$.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.181-185
• /
• 2001

This paper deals with the dynamic stability of a disc brake pad taking into account of its shear deformation and rotary inertia. A brake pad can be modeled as a beam like model subjected to distributed friction forces and having two translational springs. The study of this model is intended to provide a fundamental understanding of dynamic stability of drum brake pad. Governing equations of motion are derived from extended Hamilton's principle and their corresponding numerical solutions are obtained by applying the finite element formulation. The critical distributed friction force and the instability types are investigated bt changing two translational spring constants, rotary inertia parameter and shear deformation parameter. Also, the changes of eigen-frequencies of a beam determining instability types are investigated for various combinations of two translational spring constants.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1521-1536
• /
• 2017

This paper introduces a representation style of variable binding using dependent types when formalizing meta-theoretic properties. The style we present is a variation of the Coquand-McKinna-Pollack's locally-named representation. The main characteristic is the use of dependent families in defining expressions such as terms and formulas. In this manner, we can handle many syntactic elements, among which wellformedness, provability, soundness, and completeness are critical, in a compact manner. Another point of our paper is to investigate the roles of free variables and constants. Our idea is that fresh constants can entirely play the role of free variables in formalizing meta-theories of first-order predicate logic. In order to show the feasibility of our idea, we formalized the soundness and completeness of LJT with respect to Kripke semantics using the proof assistant Coq, where LJT is the intuitionistic first-order predicate calculus. The proof assistant Coq supports all the functionalities we need: intentional type theory, dependent types, inductive families, and simultaneous substitution.