• Journal of Korean Institute of Industrial Engineers
• /
• v.43 no.3
• /
• pp.176-183
• /
• 2017

In recent years, studies about multitasking becomes more important. During multitasking, operators can feel frustration when they are interrupted during the task and frustration can affect operator's emotional state and performance. However there is no research on measuring the frustration quantitatively in multitasking environment. In this paper, we suggested quantitative measurement of frustration during multitasking. In order to measure the frustration, we made a mathematical representation with emotional decay model and the initial intensity of frustration based on cognitive closure theory. The amount of initial intensity could be represented as the ratio of actual remaining time to expected remaining time. By the experiment, we measured the frustration during the experiment and compared this values with values of frustration dimension of NASA-TLX. Finally we got the linear regression model with a good accuracy ($R^2=0.986$). This study contributes to measuring the emotion quantitatively by the relation of expected and actual remaining time in multitasking environment.

• Journal of the Korean Mathematical Society
• /
• v.31 no.4
• /
• pp.659-667
• /
• 1994

Let $H$ be a separable, infinite dimensional, complex Hilbert space and let $L(H)$ be the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $I_H$ and is closed in the ultraweak operator topology on $L(H)$. Note that the ultraweak operator topology coincides with the weak topology on $L(H) (cf. [6]). Several functional analysists have studied the problem of solving systems of simultaneous equations in the predual of a dual algebra (cf. [3]). This theory is applied to the study of invariant subspaces and dilation theory, which are deeply related to the classes $A_{m,n}$ (that will be defined below) (cf. [3]). An abstract geometric criterion for dual algebras with property $(A_{\aleph_0}, {\aleph_0})$ was first given in [1].

• Journal of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.177-191
• /
• 2001

We consider a linear differential game described by the delay-differential equation in a Hilbert space H; (※Equations, See Full-text) U and V are Hilbert spaces, and B(t) and C(t) are families of bounded operators on U and V to H, respectively. A(sub)0 generates an analytic semigroup T(t) = e(sup)tA(sub)0 in H. The control variables g, and u and v are supposed to be restricted in the norm bounded sets (※Equations, See Full-text). For given x(sup)0 ∈ H and a given time t > 0, we study $\xi$-approximate controllability to determine x($.$) for a given g and v($.$) such that the corresponding solution x(t) satisfies ∥x(t) - x(sup)0∥ $\leq$ $\xi$($\xi$ > 0 : a given error).

• Journal of the Korean Mathematical Society
• /
• v.41 no.2
• /
• pp.345-368
• /
• 2004

A preconditioning algorithm is developed in this paper for the iterative solution of the linear system of equations resulting from the p-version boundary element approximation of the three dimensional integral equation with hypersingular operators. The preconditioner is derived by first making the nodal and side basis functions locally orthogonal to the element internal bases, and then by decoupling the nodal and side bases from the internal bases. Its implementation consists of solving a global problem on the wire-basket and a series of local problems defined on a single element. Moreover, the condition number of the preconditioned system is shown to be of order $O((1＋ln/p)^{7})$. This technique can be applied to discretization with triangular elements and with general basis functions.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1027-1040
• /
• 2012

The aim of this paper is to study the Weyl type-theorems for the orthogonal direct sum $S{\oplus}T$, where S and T are bounded linear operators acting on a Banach space X. Among other results, we prove that if both T and S possesses property ($gb$) and if ${\Pi}(T){\subset}{\sigma}_a(S)$, ${\PI}(S){\subset}{\sigma}_a(T)$, then $S{\oplus}T$ possesses property ($gb$) if and only if ${\sigma}_{SBF^-_+}(S{\oplus}T)={\sigma}_{SBF^-_+}(S){\cup}{\sigma}_{SBF^-_+}(T)$. Moreover, we prove that if T and S both satisfies generalized Browder's theorem, then $S{\oplus}T$ satis es generalized Browder's theorem if and only if ${\sigma}_{BW}(S{\oplus}T)={\sigma}_{BW}(S){\cup}{\sigma}_{BW}(T)$.

• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.59-69
• /
• 2010

The main aim of this article is to introduce a new class of sequence spaces using the concept of n-norm and to investigate these spaces for some linear topological structures as well as examine these spaces with respect to derived (n-1)-norm. We use an Orlicz function, a bounded sequence of positive real numbers and some difference operators to construct these spaces so that they become more generalized and some other spaces can be derived under special cases. These investigations will enhance the acceptability of the notion of n-norm by giving a way to construct different sequence spaces with elements in n-normed spaces.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.105-108
• /
• 1996

In this paper, we present an interpolation schema for image resolution enhancement using fuzzy logic. Proposed algorithm can recover both low and high frequency information in image data. In general, interpolation techniques are based on linear operators which are essentially details in the original image. In our fuzzy approach, the operator itself balances the strength of its sharpening and noise suppressing components according to the properties of the input image data. The proposed interpolation algorithm is performed in three step. First logic reasoning is applied to coarsely interpret the high frequency information. These results are combined to obtain the optical output. Using our approach, resolution of the original image can be applied to various kind of image processing topics such as image enhancement, subpixel edge detection, and filtering.

• 제어로봇시스템학회:학술대회논문집
• /
• 2001.10a
• /
• pp.150.4-150
• /
• 2001

The geometry PIG provides pipeline operators with continuous measurement of pipe centerline coordinates, bend radius, displacement, and bending strain in a single pass through the pipeline. This study introduces the developed geometry PIG(Pipeline Inspection Gauge) which is used for geometry surveys. This tool is equipped with the several sensor systems. The Inertial Navigation System (INS) comprises angle rate gyros and linear accelerometers. The system measures the precise path of the PIG during its traverse of the pipeline. This system is also used to produce a detailed map of the lire, measure curvature. Odometers measure the PIG´s distance moved along the line and instantaneous speed during the PIG run. Caliper sensors measure pipeline ...

• East Asian mathematical journal
• /
• v.31 no.5
• /
• pp.695-706
• /
• 2015

Let ${\mathcal{H}}$ be an infinite dimensional complex Hilbert space, and let $B({\mathcal{H}})$ be the algebra of all bounded linear operators on ${\mathcal{H}}$. Recall that an operator $T{\in}B({\mathcal{H})$ has property B(n) if ${\mid}T^n{\mid}{\geq}{\mid}T{\mid}^n$, $n{\geq}2$, which generalizes the class A-operator. We characterize the property B(n) of weighted shifts $S_{\lambda}$ over (${\eta},\;{\kappa}$)-type directed trees which appeared in the study of subnormality of weighted shifts over directed trees recently. In addition, we discuss the property B(n) of weighted shifts $S_{\lambda}$ over (2, 1)-type directed trees with nonzero weights are being distinct with respect to $n{\geq}2$. And we give some properties of weighted shifts $S_{\lambda}$ over (2, 1)-type directed trees with property B(2).

• Journal of IKEEE
• /
• v.3 no.2 s.5
• /
• pp.168-177
• /
• 1999

In this paper, we present a new interpolation scheme for image enhancement using fuzzy inference. In general, interpolation techniques are based on linear operators which are essentially lowpass filters, hence, they tend to blur fine details in the original image. In our approach, the operator itself balances the strength of its sharpening and noise suppressing components according to the Properties of the input image data.