• 대한수학회논문집
• /
• 제18권3호
• /
• pp.469-479
• /
• 2003

Let B be the open unit ball in $C^{n}$ and ${\mu}_{q}$(q > -1) the Lebesgue measure such that ${\mu}_{q}$(B) ＝ 1. Let ${L_{a,q}}^2$ be the subspace of ${L^2(B,D{\mu}_q)$ consisting of analytic functions, and let $\overline{{L_{a,q}}^2}$ be the subspace of ${L^2(B,D{\mu}_q)$) consisting of conjugate analytic functions. Let $\bar{P}$ be the orthogonal projection from ${L^2(B,D{\mu}_q)$ into $\overline{{L_{a,q}}^2}$. The little Hankel operator ${h_{\varphi}}^{q}\;:\;{L_{a,q}}^2\;{\rightarrow}\;{\overline}{{L_{a,q}}^2}$ is defined by ${h_{\varphi}}^{q}(\cdot)\;=\;{\bar{P}}({\varphi}{\cdot})$. In this paper, we will find the necessary and sufficient condition that the little Hankel operator ${h_{\varphi}}^{q}$ is bounded(or compact).

• 대한수학회지
• /
• 제40권6호
• /
• pp.933-942
• /
• 2003

It is shown that if a paranormal contraction T has no nontrivial invariant subspace, then it is a proper contraction. Moreover, the nonnegative operator Q = T/sup 2*/T/sup 2/ - 2T/sup */T ＋ I also is a proper contraction. If a quasihyponormal contraction has no nontrivial invariant subspace then, in addition, its defect operator D is a proper contraction and its itself-commutator is a trace-class strict contraction. Furthermore, if one of Q or D is compact, then so is the other, and Q and D are strict ontraction.

• Nuclear Engineering and Technology
• /
• 제50권4호
• /
• pp.582-588
• /
• 2018

Accident diagnosis is one of the complex tasks for nuclear power plant (NPP) operators. In abnormal or emergency situations, the diagnostic activity of the NPP states is burdensome though necessary. Numerous computer-based methods and operator support systems have been suggested to address this problem. Among them, the recurrent neural network (RNN) has performed well at analyzing time series data. This study proposes an algorithm for accident diagnosis using long short-term memory (LSTM), which is a kind of RNN, which improves the limitation for time reflection. The algorithm consists of preprocessing, the LSTM network, and postprocessing. In the LSTM-based algorithm, preprocessed input variables are calculated to output the accident diagnosis results. The outputs are also postprocessed using softmax to determine the ranking of accident diagnosis results with probabilities. This algorithm was trained using a compact nuclear simulator for several accidents: a loss of coolant accident, a steam generator tube rupture, and a main steam line break. The trained algorithm was also tested to demonstrate the feasibility of diagnosing NPP accidents.

• 대한수학회논문집
• /
• 제9권3호
• /
• pp.547-564
• /
• 1994

Let X be a real Banach space. We consider the existence of solutions of the abstract nonlinear functional evolution equation : $$ (E) \frac{du(t)}{dt} + A(t)u(t) + F(u)(t) \ni h(t), $$ $$ u(s) = x_o \in D(A(s)), 0 \leq s \leq t \leq T, $$ where u : $[s, T] \to x$ is an unknown function, ${A(t) : 0 \leq t \leq T}$ is a given family of nonlinear (possibly multivalued) operators in X, and $F : C([s, t];X) \to L^{\infty}([s, X];X)$ and $h : [s, T] \to X$ are given functions.

• Kyungpook Mathematical Journal
• /
• 제59권2호
• /
• pp.225-231
• /
• 2019

In a previous paper, the authors of this paper studied $2{\times}2$ matrices in upper triangular form, whose entries are operators on Hilbert spaces, and in which the the (1, 1) entry has a nontrivial hyperinvariant subspace. We were able to show, in certain cases, that the $2{\times}2$ matrix itself has a nontrivial hyperinvariant subspace. This generalized two earlier nice theorems of H. J. Kim from 2011 and 2012, and made some progress toward a solution of a problem that has been open for 45 years. In this paper we continue our investigation of such $2{\times}2$ operator matrices, and we improve our earlier results, perhaps bringing us closer to the resolution of the long-standing open problem, as mentioned above.

• Korean Journal of Mathematics
• /
• 제29권1호
• /
• pp.25-40
• /
• 2021

In this article we introduce tribonacci sequence spaces c0(T) and c(T) derived by the domain of a newly defined regular tribonacci matrix T. We give some topological properties, inclusion relations, obtain the Schauder basis and determine ��-, ��- and ��- duals of the spaces c0(T) and c(T). We characterize certain matrix classes (c0(T), Y) and (c(T), Y), where Y is any of the spaces c0, c or ℓ∞. Finally, using Hausdorff measure of non-compactness we characterize certain class of compact operators on the space c0(T).

• 제어로봇시스템학회논문지
• /
• 제21권5호
• /
• pp.427-433
• /
• 2015

Hot forging industry workers are prone to encounter several health risks due to lack of automation and poor working environment conditions. These workers particularly suffer from muscle fatigue owing to the constant handling of heavy products during the forging process. Thus we developed an assistant robot for workers who carry out hot forging tasks. The purpose of a robot is to compensate gravity-loads for heavy products. To verify the functionality of a robot, we performed a muscle fatigue analysis using Electromyography (EMG) signals. Four muscles of the upper extremity were chosen to measure muscle activity. And experiment conditions were setup to imitate the hot forging process. Post experimental analysis of the captured muscle activity revealed a reduction in the median frequency of the EMG signals, which means clear fatigue reduction due to a robot's assistance. The developed assist robot with compact and economical components can be efficiently utilized at forging work sites to create better working conditions for operators.

• Journal of Mechanical Science and Technology
• /
• 제17권5호
• /
• pp.629-636
• /
• 2003

This paper introduces the developed geometry PIG (Pipeline Inspection Gauge), one of several ILI (In-Line Inspection) tools, which provide a full picture of the pipeline from only single pass, and has compact size of the electronic device with not only low power consumption but also rapid response of sensors such as calipers, IMU and odometer. This tool is equipped with the several sensor systems. Caliper sensors measure the pipeline internal diameter, ovality and dent size and shape with high accuracy. The IMU (Inertial Measurement Unit) measures the precise trajectory of the PIG during its traverse of the pipeline. The IMU also provide three-dimensional coordination in space from measurement of inertial acceleration and angular rate. Three odometers mounted on the PIG body provide the distance moved along the line and instantaneous velocity during the PIG run. The datum measured by the sensor systems are stored in on-board solid state memory and magnetic tape devices. There is an electromagnetic transmitter at the back end of the tool, the transmitter enables the inspection operators to keep tracking the tool while it travels through the pipeline. An experiment was fulfilled in pull-rig facility and was adopted from Incheon LT (LNG Terminal) to Namdong GS (Governor Station) line, 13 km length.

• 한국인쇄학회지
• /
• 제29권3호
• /
• pp.77-96
• /
• 2011

Most of all manufacturing industries are pursuing the manufacturing process innovation through the production process automation but the printing industry still does not get out of the analog ways of the entire process compared the entire manufacturing industry. Today, many printing enterprises have the difficulties by the short for delivery, multi-item small amount printing, high quality, rise in raw material cost, drop in receiving order cost, and etc. The printing industry can get over these difficulties and issues by implementing the compact workflow line, merge with the others, automatization and networking, minimization of the repetitive operation, efficiency of the working process, optimization of the operators' value creation, minimization of cost and materials and fast make-ready. The object of this thesis establishes the experimental data and study cases applicable in the printing industry by having high labor productivity and work in line with printing industry processes through "lean printing system".

• 대한수학회지
• /
• 제35권2호
• /
• pp.331-340
• /
• 1998

We define the spherical non-commutative torus $L_{\omega}$/ as the crossed product obtained by an iteration of l crossed products by actions of, the first action on C( $S^{2n＋l}$). Assume the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus $A_{p}$ with a matrix algebra $M_{m}$ ( ) (m > 1). We prove that $L_{\omega}$/ $M_{p}$ (C) is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{mp}$ (C), and that the tensor product of $L_{\omega}$/ with a UHF-algebra $M_{p{\infty}}$ of type $p^{\infty}$ is isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) $M_{p{\infty}}$ if and only if the set of prime factors of m is a subset of the set of prime factors of p. Furthermore, it is shown that the tensor product of $L_{\omega}$/, with the C＊-algebra K(H) of compact operators on a separable Hilbert space H is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) K(H) if Prim( $L_{\omega}$/) is homeomorphic to $L^{k}$ (n)$\times$ $T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.$T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.e.