• Korean Journal of Mathematics
• /
• 제15권2호
• /
• pp.135-148
• /
• 2007

We prove the stability of generalized Jensen's equations in a Hilbert module over a unital $C^*$-algebra. This is applied to show the stability of a projection, a unitary operator, a self-adjoint operator, a normal operator, and an invertible operator in a Hilbert module over a unital $C^*$-algebra.

• 대한수학회보
• /
• 제58권1호
• /
• pp.59-70
• /
• 2021

In this paper, we study two operator-valued inequalities for quantum Wigner-Yanase-Dyson skew information related to module operators. These are extended results of the trace inequalities for Wigner-Yanase-Dyson skew information. Moreover, we study a sufficient condition to prove an uncertainty relation for operator-valued generalized quantum Wigner-Yanase-Dyson skew information related to module operators and a pair of functions (f, g). Also, we obtain several previous results of scalar-valued cases as a consequence of our main result.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
• /
• pp.252-254
• /
• 2004

This paper proposes a common platform for an internet-based mobile robot and its operator terminal. The common platform can reduce the cost and time to develop an internet-based robot and its operator terminal. The robot performs the role of a server and its terminal a client. One operator can use this terminal to make a command and this command can be sent to the robot through a wireless network. According to given commands, the robot moves a point and sends an image by using a camera or desired information by using other sensors. The information sent from the robot can help an operator to control the robot. The mobile robot consists of two modules, main module and motion module. Main module can exchange information with the operator terminal, process information, and send a command to motion module. Each application program for one internet-based mobile robot and its operator terminal will be developed to show that the same platform can be used for them. Also, it will be shown that the robot can be controlled easily by using its operator terminal.

• 대한수학회지
• /
• 제54권4호
• /
• pp.1063-1079
• /
• 2017

Two standard Bessel sequences in a Hilbert $C^*$-module are approximately duals if the distance (with respect to the norm) between the identity operator on the Hilbert $C^*$-module and the operator constructed by the composition of the synthesis and analysis operators of these Bessel sequences is strictly less than one. In this paper, we introduce (a, m)-approximate duality using the distance between the identity operator and the operator defined by multiplying the Bessel multiplier with symbol m by an element a in the center of the $C^*$-algebra. We show that approximate duals are special cases of (a, m)-approximate duals and we generalize some of the important results obtained for approximate duals to (a, m)-approximate duals. Especially we study perturbations of (a, m)-approximate duals and (a, m)-approximate duals of modular Riesz bases.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.1424-1427
• /
• 1996

OTS(Operator Training System) requires computation for the systematic training in real-time. So we have developed a distributed operator training system that is composed of workstation based server and PC based user modules. Sever and OM(OTS Manager) modules are located in the workstation server and user modules are located in PCs. User modules have DCS-like user interfaces and transfer data with OM over the coaxial ethernet. This paper delineates a total system architecture and definition of data transferring between OM and User module. Having applied this system to a batch process, we could analyze operator's tasks.

• 대한수학회지
• /
• 제47권2호
• /
• pp.363-372
• /
• 2010

In this paper, we introduce and study the generalized inverse $A^{(1,2)}_{T,S}$ with the prescribed range T and null space S of an adjointable operator A from one Hilbert $C^*$-module to another, and get some analogous results known for finite matrices over the complex field or associated rings, and the Hilbert space operators.

• 충청수학회지
• /
• 제15권1호
• /
• pp.25-33
• /
• 2002

We prove the generalized Hyers-Ulam-Rassias stability of linear operators in a Hilbert module over a unital $C^*$-algebra.

• 대한전기학회논문지:전력기술부문A
• /
• 제54권7호
• /
• pp.323-327
• /
• 2005

This paper presents an operator training simulator for power system restoration against massive black-out. The system is designed especially focused on the generality and convenient setting up for initial condition of simulation. The former is accomplished by using power flow calculation methodology, and PSS/E data is used to define the initial situation. The proposed simulator consists of three major components - the power flow(PF) module, data conversion(COW) module and GU subsystem. PF module calculates power flow, and then checks overvoltage of buses and overflow of lines. COW module composes an Y-Bus array and a data base at each restoration action. The initial Y-Bus array is constructed from PSS/E data. The user friendly GUI subsystem is developed including graphic editor and built-in operation manual. As a result, the maximum processing time for one step operation is 15 seconds, which is adequate for training purpose. Comparison with PSS/E simulation proves the accuracy and reliability of the training system.

• 한국생산제조학회지
• /
• 제20권4호
• /
• pp.452-457
• /
• 2011

The internal temperature of an operating room had to keep within $20^{\circ}C$. However, the doctor who is wearing operating gown and mask caused to rise temperature because of the thermal occurrence of dental LED light source. At first, the surgery environment is getting worse. And then last, it would increase bleeding rate by the expansion of patient's exposured blood vessel. A surgical operator can distribute the patient's tissue through such surgery environment, exactly. It can do accurate surgery. So, it gave to effect that surgical operator's eye condition is getting better and it could keep a mutual assistance system. For this research, we develop the LED dental light source module of high color rendition. It performed simulation for replacing established the method of Halogen lamp and Plazma lamp of light source. We analyzed intensity of illumination and the change of viability by changing the height of light source module.

• 조명전기설비학회논문지
• /
• 제20권9호
• /
• pp.18-23
• /
• 2006

This paper presents an operator training simulator for power system restoration against massive blackout. The system is designed especially focused on the generality and convenient setting up for initial condition of simulation. The former is accomplished by using power flow calculation methodology, and PSS/E data is used to set up the initial state for easy setting. The proposed simulator consists of three major components-a power flow(PF), a data conversion(CONV), and, a GUI module. The PF module calculates power flow, and then checks over-voltages of buses and overloads of lines. The CONV module composes a Y-Bus array and a database at each restoration action. The initial Y-Bus array is composed from PSS/E data. A user friendly GUI module is developed including a graphic editor and a built-in operation manual. The maximum processing time for one step operation is 15 seconds, which is adequate for training purpose.