• International Journal of Safety
• /
• 제11권1호
• /
• pp.26-32
• /
• 2012

This paper introduces a feasibility evaluation method for prognosis systems based on an empirical model in nuclear power plants. By exploiting the dynamical signature characterized by abnormal phenomena, the prognosis technique can be applied to detect the plant abnormal states prior to an unexpected plant trip. Early $operator^{\circ}{\emptyset}s$ awareness can extend available time for operation action; therefore, unexpected plant trip and time-consuming maintenance can be reduced. For the practical application in nuclear power plant, it is important not only to enhance the advantages of prognosis systems, but also to quantify the negative impact in prognosis, e.g., uncertainty. In order to apply these prognosis systems to real nuclear power plants, it is necessary to conduct a feasibility evaluation; the evaluation consists of 4 steps (: the development of an evaluation method, the development of selection criteria for the abnormal state, acquisition and signal processing, and an evaluation experiment). In this paper, we introduce the feasibility evaluation method and propose further study points for applying prognosis systems from KHNP's experiences in testing some prognosis technologies available in the market.

• 대한수학회보
• /
• 제54권4호
• /
• pp.1241-1254
• /
• 2017

In this paper, we classify translation surfaces in the three dimensional Galilean space ${\mathbb{G}}_3$ satisfying some algebraic equations in terms of the coordinate functions and the Laplacian operators with respect to the second fundamental form of the surface. We also give explicit forms of these surfaces.

• 경영과학
• /
• 제25권3호
• /
• pp.87-99
• /
• 2008

Besieged by needs for upgrading the current Internet, social pressures, and regulatory concerns, a network operator may be left with few options to Improve his services. Yet he can still consider a transition prioritizing network services. In this paper, we describe a transition from a non-priority system to a prioritized one, using non-preemptive M/G/1 model. After reviewing the constraints and theoretical results from past research, we describe steps making the transition Pareto-improving, which boils down to a multi-goal search for a Pareto-improving state. We use a genetic algorithm that captures actual transition costs along with incentive-compatible and Pareto-Improving constraints. Simulation results demonstrate that the initial post-transition solutions are typically Pareto-improving. for non Pareto-improving solutions, the heuristic quickly generates Pareto-improving and incentive-compatible solutions.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.43-43
• /
• 2000

In this paper, we introduce a case study of developing a miniature humanoid robot that has 16 degrees of freedom and is able to perform statically stable walking. The developed humanoid robot is 37cm tall and weighs 1,200g. RC servo motors are used as actuators. The robot can walk forward and turn to any direction on even surface. It equipped with a small digital camera, so it can transmit vision data to a remote host computer via wireless modem. The robot can be operated in two modes; One is a remote-controlled mode, in which the robot behaves according to the command given by a human operator through the user-interface program running on a remote host computer, the other is a stand-alone mode, in which the robot behaves autonomously according to the pre-programmed strategy. The user-interface program also contains a robot graphic simulator that is used to produce and verify the robot's gait motion. In our walking algorithm, the ankle joint is mainly used lot balancing the robot. The experimental results shows that the developed robot can perform statically stable walking on even surface.

• East Asian mathematical journal
• /
• 제32권1호
• /
• pp.47-59
• /
• 2016

The purpose of the present paper is to introduce and investigate two new subclasses of bi-univalent functions of complex order defined in the open unit disk, which are associated with Hurwitz-Lerch zeta function and satisfying subordinate conditions. Furthermore, we find estimates on the Taylor-Maclaurin coefficients ${\mid}a_2{\mid}$ and ${\mid}a_3{\mid}$ for functions in the new subclasses. Several (known or new) consequences of the results are also pointed out.

• International Journal of Railway
• /
• 제1권3호
• /
• pp.89-93
• /
• 2008

Reliability of onboard power supply systems on rolling stock is a very important issue for the railway operator. While a failure of the HVAC supply results in a loss of comfort for the passengers, a failure of the supply for air compressors or for the traction cooling systems results in towing the train. This is, looking at the required availability of a train, not acceptable. An active redundancy concept for the onboard power supply maximizes the availability of the system. This paper describes such a system under the aspect of $\cdot$ Weight reduction $\cdot$ Continuous operation when changing from normal to redundant operation $\cdot$ Flexibility in train design.

• 대한수학회보
• /
• 제60권3호
• /
• pp.763-774
• /
• 2023

If a paraSasakian manifold of dimension (2n + 1) represents Bach almost solitons, then the Bach tensor is a scalar multiple of the metric tensor and the manifold is of constant scalar curvature. Additionally it is shown that the Ricci operator of the metric g has a constant norm. Next, we characterize 3-dimensional paraSasakian manifolds admitting Bach almost solitons and it is proven that if a 3-dimensional paraSasakian manifold admits Bach almost solitons, then the manifold is of constant scalar curvature. Moreover, in dimension 3 the Bach almost solitons are steady if r = -6; shrinking if r > -6; expanding if r < -6.

• 한국정밀공학회지
• /
• 제11권1호
• /
• pp.211-218
• /
• 1994

Grinding is considered as a very effective machining technology to attain high production rates and a good surface quality of hard and brittle components. However, the grinding operations till needs the skill and the experience of an operator because of a lack of scientific knowledge and engineering principles. This is the reason why grinding operations are not completley intergrated in CIMS(Computer Intergrated Manufacturing System. Recent develop- ment focus on expert system which deals with domain specific knowledge in order to solve this problem. Firstly, in this study, a basic strategy to develop the grinding knowledge-base for grinding is discussed. Next, the architecture of knowledge-base and management of the grinding knowledge-base(GKB) is described.

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.321-323
• /
• 2015

Monitoring crane motion in real time is the first step to identifying and mitigating crane-related hazards on construction sites. However, no accurate and reliable crane motion capturing technique is available to serve this purpose. The objective of this research is to explore a method for real-time crane motion capturing and investigate an approach for assisting hazard detection. To achieve this goal, this research employed various techniques including: 1) a sensor-based method that accurately, reliably, and comprehensively captures crane motions in real-time; 2) computationally efficient algorithms for fusing and processing sensing data (e.g., distance, angle, acceleration) from different types of sensors; 3) an approach that integrates crane motion data with known as-is environment data to detect hazards associated with lifting tasks; and 4) a strategy that effectively presents crane operator with crane motion information and warn them with potential hazards. A prototype system was developed and tested on a real crane in a field environment. The results show that the system is able to continuously and accurately monitor crane motion in real-time.

• 대한수학회논문집
• /
• 제15권4호
• /
• pp.649-668
• /
• 2000

In this paper we prove the following : Let M be a real (2n-1)-dimensional compact minimal semi-invariant submanifold in a complex projective space P(sub)n+1C. If the scalar curvature $\geq$2(n-1)(2n+1), then m is a homogeneous type $A_1$ or $A_2$. Next suppose that the third fundamental form n satisfies dn = 2$\theta\omega$ for a certain scalar $\theta$$\neq$c/2 and $\theta$$\neq$c/4 (4n-1)/(2n-1), where $\omega$(X,Y) = g(X,øY) for any vectors X and Y on a semi-invariant submanifold of codimension 3 in a complex space form M(sub)n+1 (c). Then we prove that M has constant principal curvatures corresponding the shape operator in the direction of the distingusihed normal and the structure vector ξ is an eigenvector of A if and only if M is locally congruent to a homogeneous minimal real hypersurface of M(sub)n (c).