• Journal of the Ergonomics Society of Korea
• /
• v.19 no.1
• /
• pp.1-9
• /
• 2000

This study was performed to investigate some characteristics on human error proneness in the computerized work environment. Our concerning theme was on human error likelihood according to personal temperament. Two experiments were performed. The first experiment was to study the effect of field- independence/dependence on error likelihood. The second experiment was on error proneness. These experiments were performed in information search task. which was most frequent task in computerized work environment such as the control room of nuclear power plant. Ten subjects were participated in this study. Analyzed results are as follows. Field-independence/dependence had a significant effect in both information search time and error frequency. Error proneness had a significant effect in both factors, too. And, a positive correlation was found between error frequency and information search time. These results will be utilized as a basis to study operator's error proneness in the computerized control room of nuclear power plant. later on.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.185-194
• /
• 1988

In [2], we have shown that the optimal boundary controls for hyperbolic systems in L$^{2}$-spaces can be attained in a feedback form via Riccati operators. A number of authors [1, 5, 7 and 10] have investigated approximations of Riccati operators arising in distributed parameter systems. They assumed bounded controls for parabolic systems. However, we in this paper study Galerkin approximations of Riccati operators and feedback controls for hyperbolic systems with unbounded control actions. Let us briefly introduce some results of [2]. Let .ohm. be an open bounded region in R$^{n}$ with smooth boundary .GAMMA. where n is a fixed positive integer. We consider a strictly hyperbolic differential operator H(x) of order 1 on .ohm. with noncharacteristic boundary on .GAMMA.

• Journal of the Korean Mathematical Society
• /
• v.57 no.6
• /
• pp.1451-1470
• /
• 2020

We are concerned with the following elliptic equations: $$\{(-{\Delta})^s_pu={\lambda}f(x,u)\;{\text{in {\Omega}}},\\u=0\;{\text{on {\mathbb{R}}^N{\backslash}{\Omega}},$$ where λ are real parameters, (-∆)^s_p is the fractional p-Laplacian operator, 0 < s < 1 < p < + ∞, sp < N, and f : Ω × ℝ → ℝ satisfies a Carathéodory condition. By applying abstract critical point results, we establish an estimate of the positive interval of the parameters λ for which our problem admits at least one or two nontrivial weak solutions when the nonlinearity f has the subcritical growth condition. In addition, under adequate conditions, we establish an apriori estimate in L^∞(Ω) of any possible weak solution by applying the bootstrap argument.

• 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.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.993-1002
• /
• 2017

Let ${\Omega}$ be a bounded, uniformly totally pseudoconvex domain in ${\mathbb{C}}^2$ with the smooth boundary b${\Omega}$. Assuming that ${\Omega}$ satisfies the negative ${\bar{\partial}}$ property. Let M be a positive, finite area divisor of ${\Omega}$. In this paper, we will prove that: if ${\Omega}$ admits a maximal type F and the ${\check{C}}eck$ cohomology class of the second order vanishes in ${\Omega}$, there is a bounded holomorphic function in ${\Omega}$ such that its zero set is M. The proof is based on the method given by Shaw [27].

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1801-1816
• /
• 2017

We study some spectral properties of Volterra-type integral operators $V_g$ and $I_g$ with holomorphic symbol g on the Fock-Sobolev spaces ${\mathcal{F}}^p_{{\psi}m}$. We showed that $V_g$ is bounded on ${\mathcal{F}}^p_{{\psi}m}$ if and only if g is a complex polynomial of degree not exceeding two, while compactness of $V_g$ is described by degree of g being not bigger than one. We also identified all those positive numbers p for which the operator $V_g$ belongs to the Schatten $S_p$ classes. Finally, we characterize the spectrum of $V_g$ in terms of a closed disk of radius twice the coefficient of the highest degree term in a polynomial expansion of g.

• Journal of the Korean Magnetic Resonance Society
• /
• v.2 no.1
• /
• pp.33-40
• /
• 1998

The cross peak intensities versus mixing times of 2D NOESY spectrum for a corepressor L-trp were simulated for the case of a ligand exchanging between free (AX) and bound (A'X') forms in protein/DNA complex. The direct NOE (I(AX)) of the free ligand exhibited a small positive intensity indicative of the strong dominant influence of the bound ligand. The exchange-mediated NOE peak (I(AX')) was very sensitive to corepressor exchange. However, both diagonal (I(A'A')) and direct NOE (I(A'X')) intensities of the bound ligand were not affected much at initial stage. Both peaks were severely influenced by exchange at mixing times of greater than 100 ms. In conclusion, since the NOE intensity is a function of exchange rate, the exchange effect should be considered to properly extract accurate distance information for bound ligand in the presence of conformational exchange.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.693-701
• /
• 2006

Using Minimax principle and Linking theorem in critical point theory, we prove the existence of two nontrivial solutions for the following second order superlinear difference systems $$(P)\{{\Delta}^2x(k-1)+g(k,y(k))=0,\;k{\in}[1,\;T],\;{\Delta}^2y(k-1)+f(k,\;x(k)=0,\;k{\in}[1,\;T],\;x(0)=y(0)=0,\;x(T+1)=y(T+1)=0$$ where T is a positive integer, [1, T] is the discrete interval {1, 2,..., T}, ${\Delat}x(k)=x(k+1)-x(k)$ is the forward difference operator and ${\Delta}^2x(k)={\Delta}({\Delta}x(k))$.

• Honam Mathematical Journal
• /
• v.26 no.3
• /
• pp.299-308
• /
• 2004

Let $\{{\beta}(n)\}^{\infty}_{n=0}$ be a sequence of positive numbers such that ${\beta}(0)=1$. We consider the space $H^2({\beta})$ of all power series $f(z)=^{Po}_{n=0}{\hat{f}}(n)z^n$ such that $^{Po}_{n=0}{\mid}{\hat{f}}(n){\mid}^2{\beta}(n)^2<{\infty}$. We link the ideas of subspaces of $H^2({\beta})$ and zero sets. We give some sufficient conditions for a vector in $H^2({\beta})$ to be cyclic for the multiplication operator $M_z$. Also we characterize the commutant of some multiplication operators acting on $H^2({\beta})$.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.3
• /
• pp.238-245
• /
• 2001

This paper describes a method for detecting a close leading vehicle using the contour of the vehi-cles rear wheels. The contour of a leading vehicles rear wheels in 속 front road image from a B/W CCD camera mounted on the central front bumper of the vehicle, has vertical components and can be discerned clearly in contrast to the road surface. After extracting positive edges and negative edges using the Sobel op-erator in the raw image, every point that can be recognized as a feature of the contour of the leading vehicle wheel is determined. This process can detect the presence of a close leading vehicle, and it is also possible to calculate the distance to the leading vehicle and the lateral deviation angle. This method might be useful for developing and LSA (Low Speed Automation) system that can relieve drivers stress in the stop-and-go traffic conditions encoun-tered on urban roads.