• Journal of the Chungcheong Mathematical Society
• /
• v.7 no.1
• /
• pp.109-115
• /
• 1994

We introduce the concept of the prolongation operator and examine some properties of this operator. In c-first countable space X, we prove that each compact subset M of X is stable if and only if DR(M)=M for each polydynamical system.

• Journal of Digital Convergence
• /
• v.17 no.11
• /
• pp.435-440
• /
• 2019

Recently, many musical instrument mobile apps have been released targeting normal people who can't play musical instrument at all. The reason of developing video system based on step sequencer are as follows; first, users can freely play the musical instruments; second, induce multiple users to play; and third, develop and suggest new step sequencer fused with the video. To resolve issue in video synchronization caused by sync issues when operating multiple step sequencers, the Pocket Operator of Teenage Engineering was used to realize multiply-connected step sequencer and also, the ultimate video system was developed through Mira-Web for multiple participation. In addition, it's required to make the Pocket Operator as software and receive various feedbacks to continue and complement study in order to develop the better video system.

• Journal of the Korean Society of Safety
• /
• v.33 no.6
• /
• pp.136-143
• /
• 2018

In this study, we conducted a pilot study on the multiple spurious operations (MSO) analysis in the fire probabilistic safety assessment (PSA) of domestic nuclear power plant (NPP) to identify the degree of influence of the operator actions used in the MSO mitigation strategies. The MSO scenario of the domestic reference NPP selected for this study is refueling water tank (RWT) drain down event. It could be caused by spurious operations of the containment spray system (CSS) of the reference NPP. The RWT drain down event can be stopped by the main control room (MCR) operator actions for stopping the operation of CSS pump or closing the CSS motor operated valve if the containment spray actuation signal (CSAS) is spuriously actuated. Outside the MCR, it can be stopped by operator actions for closing the CSS manual valves or motor operated valve or stopping the operation of CSS pump. The quantification result of a fire PSA model that takes into account all recovery actions for the RWT drain down event lead to risk reduction by about 95%, compared with quantification result of fire PSA model without considering them. Among the various operator actions, the recovery action for the spurious CSAS operations and the operator action for the manual valve are identified as the most important operator actions. This study quantitatively showed the extent to which the operator actions used as MSO countermeasures have affected the fire PSA quantification results. In addition, we can see the rank of importance among the operator recovery actions in quantitative terms.

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

In teleoperating, as seeing the monitor screen obtained from a camera instituted in the working environment, human operator generally controls the slave arm. Because we can see only 2-D image in a monitor, human operator does not know the depth information and can not work with high accuracy. In this paper, we proposed a traded control method using an visual sensor for the purpose of solving this problem. We can control a teleoperation system with precision when we use the proposed algorithm. Not only a human operator command but also an autonomous visual sensor feedback command is given to a slave arm for the purpose of coincidence current image features and target image features. When the slave arm place in a distant place from the target position, human operator can know very well the difference between the desired image features and the current image features, but calculated visual sensor command have big errors. And when the slave arm is near the target position, the state of affairs is changed conversely. With this visual sensor feedback, human does not need coincide the detail difference between the desired image features and the current image features and proposed method can work with higher accuracy than other method without, sensor feedback. The effectiveness of the proposed control method is verified through series of experiments.

• Nuclear Engineering and Technology
• /
• v.51 no.6
• /
• pp.1554-1560
• /
• 2019

Development of digital main control rooms (MCRs) has greatly changed operating environments by altering operator tasks, and thus the unique characteristics of digital MCRs should be considered in terms of human reliability analysis. Digital MCR tasks can be divided into primary tasks that directly supply control input to the plant equipment, and secondary tasks that include interface management conducted via soft controls (SCs). Operator performance regarding these secondary tasks must be evaluated since such tasks did not exist in previous analog systems. In this paper, we analyzed SC-related tasks based on simulation data, and classified the error modes of the SCs following analysis of all operational tasks. Then, we defined the factors to be considered in human reliability analysis methods regarding the SCs; such factors are mainly related to interface management and computerized operator support systems. As these support systems function to reduce the number of secondary tasks required for SC, we conducted an assessment to evaluate the efficiency of one such support system. The results of this study may facilitate the development of training programs as well as help to optimize interface design to better reflect the interface management task characteristics of digitalized MCRs.

• East Asian mathematical journal
• /
• v.28 no.5
• /
• pp.561-567
• /
• 2012

The approximate solvability of a generalized system for relaxed cocoercive extended general variational inequalities is studied by using the project operator technique. The results presented in this paper are more general and include many previously known results as special cases.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.364-369
• /
• 1992

본 논문에서는 연속 공정자동화를 위한 시스템 제어장치 중 공정의 제반운영 및 제어상태를 감시하기 위하여 공정상태를 나타내는 여러가지의 data를 그래픽 모니터상에 graphics로 표시해 주는 User Interface System인 Operator Terminal의 설계 및 구현을 다룬다. 이를 위하여 Operator Terminal은 출력장치로 VGA board와 color monitor, 입력장치로는 mouse와 function keyboard, 통신을 위한 RS232C serial port를 갖는 IBM-PC AT급의 mother board로 구성된다. 또한 program 저장은 상위 computer의 HDD를 이용한다. 그래픽 편집 및 모니터링을 위한 software는 한글 MS Windows 환경에서 구현한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1990.10a
• /
• pp.481-484
• /
• 1990

Normal operation when deeply submerged is a relatively easy task, and human operator control can often provide adequate performance. Near surface depthkeeping, on the other hand, is difficult to both man and machine. Because of the inherent limitation of the human operator, manual control may prove inadequate for near surface depthkeeping in some sea state. This paper describe the control algorithm of an automatic depth control system for submerged body that can be used for both near surface and deeply submerged depthkeeping operations. The computer simulations demonstrate the excellent depthkeeping performance of the controller under seaway effects.

• East Asian mathematical journal
• /
• v.29 no.5
• /
• pp.481-489
• /
• 2013

In this paper we deal with approximate controllability for semilinear system in a Hilbert space. In order to obtain the controllability, we assume that the system of the generalized eigenspaces of the principal operator is complete in the state space, which has a simple form and can be applied to many examples. Because of its simple form, some examples of controllability of the systems governed by the semilinear equations will be given.

• Proceedings of the KIEE Conference
• /
• 2003.11a
• /
• pp.447-449
• /
• 2003

In competitive electricity markets, maintenance schedule is submitted by Genco's and Transco's, and coordinated by ISO with the adequacy criterion. This paper presents an alternative coordination procedure by ISO on the maintenance schedule.