• Bulletin of the Korean Mathematical Society
• /
• v.27 no.2
• /
• pp.189-196
• /
• 1990

In this paper, we try to generalize ultraproducts in the category of locally convex spaces. To do so, we introduce D-ultracolimits. It is known [7] that the topology on a non-trivial ultraproduct in the category T $V^{ec}$ of topological vector spaces and continuous linear maps is trivial. To generalize the category Ba $n_{1}$ of Banach spaces and linear contractions, we introduce the category L $C_{1}$ of vector spaces endowed with families of semi-norms closed underfinite joints and linear contractions (see Definition 1.1) and its subcategory, L $C_{2}$ determined by Hausdorff objects of L $C_{1}$. It is shown that L $C_{1}$ contains the category LC of locally convex spaces and continuous linear maps as a coreflective subcategory and that L $C_{2}$ contains the category Nor $m_{1}$ of normed linear spaces and linear contractions as a coreflective subcategory. Thus L $C_{1}$ is a suitable category for the study of locally convex spaces. In L $C_{2}$, we introduce $l_{\infty}$(I. $E_{i}$ ) for a family ( $E_{i}$ )$_{i.mem.I}$ of objects in L $C_{2}$ and then for an ultrafilter u on I. we have a closed subspace $N_{u}$ . Using this, we construct ultraproducts in L $C_{2}$. Using the relationship between Nor $m_{1}$ and L $C_{2}$ and that between Nor $m_{1}$ and Ba $n_{1}$, we show thatour ultraproducts in Nor $m_{1}$ and Ba $n_{1}$ are exactly those in the literatures. For the terminology, we refer to [6] for the category theory and to [8] for ultraproducts in Ba $n_{1}$..

• Journal of the Chungcheong Mathematical Society
• /
• v.15 no.1
• /
• pp.53-60
• /
• 2002

In this paper, we prove the generalized Hyers-Ulam-Rassias stability of linear operators in Banach modules over a unital $C^*$-algebra associated with its unitary group.

• Journal of Korean Institute of Industrial Engineers
• /
• v.26 no.3
• /
• pp.220-226
• /
• 2000

The problem (P) of optimizing a linear function $d^Tx$ over the set of efficient points for a multiple objective linear program (M) is difficult because the efficient set is nonconvex. There are some interesting properties between the objective linear vector d and the matrix of multiple objectives C and those properties lead us to establish criteria to solve (P) with a linear program. In this paper we investigate a system of the linear equations $C^T{\alpha}$ = d and construct two linearly independent positive vectors u, v such that ${\alpha}$ = u - v. From those vectors u, v, solving an weighted sum linear program for finding an efficient extreme point for the (M) is a way of getting an optimal solution of the problem (P). Therefore the theorems presented in this paper provided us an easy way of solving nonconvex program (P) with a weighted sum linear program.

• Journal of the Korean Society of Systems Engineering
• /
• v.16 no.1
• /
• pp.84-97
• /
• 2020

This paper aims to develop an optimized inventory management method for safety critical Instrument and Control (I&C) components. In this regard, the paper focuses on estimating the consumption rate of I&C components using demand forecasting methods. The target component for this paper is the Foxboro SPEC-200 controller. This component was chosen because it has highest consumption rate among the safety critical I&C components in Korean OPR-1000 NPPs. Three analytical methods were chosen in order to develop the demand forecasting methods; Poisson, Generalized Linear Model (GLM) and Bootstrapping. The results show that the GLM gives better accuracy than the other analytical methods. This is because the GLM considers the maintenance level of the component by discriminating between corrective and preventive.

• Bulletin of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.443-447
• /
• 2001

The main goal of this paper is to show the following: Let d and g be (continuous or discontinuous) linear derivations on a Banach algebra A over a complex field C such that $\alphad^3+dg$ is a linear Jordan derivation for some $\alpha\inC$. Then the product dg maps A into the Jacobson radical of A.

• Journal of Korea Water Resources Association
• /
• v.43 no.12
• /
• pp.1051-1061
• /
• 2010

This study hydrologically re-analysed the Muskingum channel routing method to represent it as a linear combination of the linear channel model considering only the translation and the linear reservoir model considering only the storage effect. The resulting model becomes a kind of instantaneous unit hydrograph, whose parameters are identical to those of the Muskingum model. That is, the outflow occurs after the routing interval ${\Delta}t$ or concentration time $T_c$, and among the total amount of inflow, the x portion is translated by the linear channel model and the remaining (1-x) portion is routed by the linear reservoir model with the storage coefficient ��$K_c$. The application result of both the Muskingum channel routing method and its corresponding instantaneous unit hydrograph to an imaginary channel showed that these two models are basically identical. This result was also assured by the application to the channel flood routing to the Kumnam and Gongju Station for the discharge from the Daechung Dam.

• Proceedings of the KSRS Conference
• /
• 2008.03a
• /
• pp.164-169
• /
• 2008

한국해양연구원에서 수신한 자료인 NOAA 12, 16, 17, 18호등의 Advanced Very High Resolution Radiometer(AVHRR) 센서자료와 국립조사원에서 제공하는 해양실측자료인 정선 관측 자료를 이용하여 두 가지의 알고리즘 적용을 통하여 비교 및 분석을 해보고자 한다. 연구 기간은 2006년 1월부터 4월 자료 중 구름의 영향이 없는 영상에서 실측자료와 동일한 날짜 총 107개의 정점 값을 추출하였다. 위성 자료에서 해수면 온도 추출방법은 split window 방법으로, 고정계수 값을 사용하는 linear algorithm(MCSST), nonlinear algorithm(NLMCSST)을 이용하였다. 연구 지역은 동해, 황해, 남해 지역에 대한 지역별로 두 알고리즘을 비교 적용하였다. 전 해역의 값을 이용하여 위성자료와 실측자료를 비교 분석한 결과 linear algorithm방법의 평균 오차 값은 0.71$^{\circ}C$이고 상관도는 1%이고, nonlinear 방법의 오차 값은 0.35$^{\circ}C$ 상관도는 1%로 나타났다. 해역별로는 linear한 알고리즘을 적용하여 동해는(ES)는 R=1, 오차 값은 0.37$^{\circ}C$ 황해(YS)는 R=0.99 오차 값은 0.125$^{\circ}C$ 남해(SS)는 R=0.99 오차 값은 1.2$^{\circ}C$보였다. nonlinear한 알고리즘을 적용하여 동해는(ES)는 R=1, 오차 값은 0.4$^{\circ}C$ 황해(YS)는 R=0.99 오차 값은 0.13$^{\circ}C$ 남해(SS)는 R=0.99 오차 값은 0.82$^{\circ}C$의 결과를 보여 주었다. 동해와 황해지역은 linear한 알고리즘을 적용한 결과가 실측자료와의 오차 값이 작았고, 남해지역은 linear한 알고리즘을 적용한 결과보다 nonlinear 알고리즘을 적용한 것이 작은 오차 값을 보여주었다. 이는 남해 해역의 자료가 대기의 상태나 다른 영향을 받아 해수면온도 값이 추정된 것으로 보여 진다. 해역별로 최적화된 알고리즘을 적용하여 해수면온도의 산출을 통해서 위성자료의 정밀도 지구환경변화 모니터링 등 많은 연구에 위성자료의 활용이 증대될 것으로 기대한다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.15 no.2
• /
• pp.292-300
• /
• 2015

This paper proposes a high-efficiency, dual-mode PWM / linear buck converter with a wide-input range. The proposed converter was designed with a mode selector that can change the operation between PWM / linear mode by sensing a load current. The proposed converter operates in a linear mode during a light load and in PWM mode during a heavy load condition in order to ensure high efficiency. In addition, the mode selector uses a bit counter and a transmission gate designed to protect from a malfunction due to noise or a time-delay. Also, in conditions between $-40^{\circ}C$ and $140^{\circ}C$, the converter has variations in temperature of $0.5mV/^{\circ}C$ in the PWM mode and of $0.24mV/^{\circ}C$ in the linear mode. Also, to prevent malfunction and breakdown of the IC due to static electricity, the reliability of IC was improved by embedding a self-produced 8 kV-class(Chip level) ESD protection circuit of a P-substrate Triggered SCR type with high robustness characteristics.

• The Transactions of the Korean Institute of Electrical Engineers C
• /
• v.50 no.6
• /
• pp.257-262
• /
• 2001

In this paper, a linear ultrasonic motor using piezoelectric ceramics was fabricated, and its operation characteristics were investigated. A linear ultrasonic motor using L$_1$-B$_4$model was composed of a stator and a rotor, and a stator was composed of piezoelectric ceramics and a elastic body. When applied frequency and voltage were 58.4kHz and 56V respectively, the feeding speed of the motor was 19.8 cm/s. A linear ultrasonic motor could be moved in left and right directions by the phase difference. Feeding speed and feeding force of a linear ultrasonic motor could be controlled by applied voltage. A linear ultrasonic motor had a droping torque-speed characteristic. The maximum efficiency of linear ultrasonic motor was 2.14%. Therefore, this linear ultrasonic motor can be expected to be used for a card-forwarding device, such as a card reader device and so on.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.393-395
• /
• 1996

Let P be a finite poset and let $\mid$P$\mid$ be the number of vertices in pp. A Subposet of P is a subset of P with the induced order. A chain C in P is a subposet of P which is a linear order. The length of the chain C is $\mid$C$\mid$ - 1. A poset is bipartite if the length of each maximal chain is one.