• 충청수학회지
• /
• 제7권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.

• 디지털융복합연구
• /
• 제17권11호
• /
• pp.435-440
• /
• 2019

최근 모바일 앱(App)에서는 점차 악기를 전혀 다루지 못하는 일반인을 대상으로 하는 연주 앱들이 다양하게 출시되고 있다. 스텝시켄서를 근간으로 하는 영상시스템을 개발하려는 것은 첫째, 사용자에게 부담 없이 연주하게 하며, 둘째, 다중 참여를 유도하고 셋째, 영상과 융합된 새로운 스텝시켄서를 개발 제시하고자 한다. 또한 다중 스텝시켄서 운용시 파생되는 싱크(Sync) 문제로 인해 파생되는 영상 동기화를 해결하기 위해 틴에이지 엔지니어링의 포켓 오퍼레이터를 사용하여 다중 연결된 스텝시켄서를 구현하였으며, 다중참여를 위해 미라웹을 통한 최종 영상시스템을 개발하였다. 연구 한계점으로는 포켓 오퍼레이터의 소프트웨어화와 다양한 피드백을 통해 연구를 지속, 보완하여 보다 완성된 영상시스템이 개발되기를 기대해 본다.

• 한국안전학회지
• /
• 제33권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년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• 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
• /
• 제51권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
• /
• 제28권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년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• 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년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• 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
• /
• 제29권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 추계학술대회 논문집 전력기술부문
• /
• 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.