• Nuclear Engineering and Technology
• /
• 제54권1호
• /
• pp.177-185
• /
• 2022

Hydrogen risk in the containment filtered venting system (CFVS) vessel was analyzed, considering operation pressure and modes with the effect of PAR and accident scenarios. The CFVS is to depressurize the containment by venting the containment atmosphere through the filtering system. The CFVS could be subject to hydrogen risk due to the change of atmospheric conditions while the containment atmosphere passes through the CFVS. It was found that hydrogen risk increased as the CFVS opening pressure was set higher because more combustible gases generated by Molten Core Concrete Interaction flowed into the CFVS. Hydrogen risk was independent of operation modes and found only at the early phase of venting both for continuous and cyclic operation modes. With PAR, hydrogen risk appeared only at the 0.9 MPa opening pressure for Station Black-Out accidents. Without PAR, however, hydrogen risk appeared even with the CFVS opening set-point of 0.5 MPa. In a slow accident like SBO, hydrogen risk was more threatening than a fast accident like Large Break Loss-of-Coolant Accident. Through this study, it is recommended to set the CFVS opening pressure lower than 0.9 MPa and to operate it in the cyclic mode to keep the CFVS available as long as possible.

• 호남수학학술지
• /
• 제32권1호
• /
• pp.141-155
• /
• 2010

In this paper we prove that with some hypothesis the set of k-isomorphism classes of simple closed k-surfaces in ${\mathbf{Z}}^3$ forms a commutative monoid with an operation derived from a digital connected sum, k ${\in}$ {18,26}. Besides, with some hypothesis the set of k-homotopy equivalence classes of closed k-surfaces in ${\mathbf{Z}}^3$ is also proved to be a commutative monoid with the above operation, k ${\in}$ {18,26}.

• 정보통신설비학회논문지
• /
• 제10권4호
• /
• pp.135-142
• /
• 2011

This paper proposes a performance evaluation method for power consumption of set-top box (STB) stand-by mode transition schemes. A stand-by mode transition scheme characterizes the timing of mode transition. The timing of mode transition affects the duration of stand-by mode operation, and the power consumptions of STB as well. Recently a fast stand-by mode transition scheme (FMT) has been proposed based on user input for selecting the device to be connected to TV. In this paper, we evaluate power consumption of FMT and a conventional mode transition scheme. For the computation of the duration of stand-by mode operation, the user input events are modeled as Poisson process. Simulation results based on the modeling reveals that the proposed scheme is more effective in power saving than the conventional scheme by up to 30%.

• Kyungpook Mathematical Journal
• /
• 제51권2호
• /
• pp.139-143
• /
• 2011

In this paper we consider mappings ${\sigma}$ which map the binary operation symbol f to the term ${\sigma}$(f) which do not necessarily preserve the arities. We call these mappings generalized hypersubstitutions. Any generalized hypersubstitution ${\sigma}$ can be extended to a mapping $\hat{\sigma}$ on the set of all terms of type ${\tau}$ = (2). We de ne a binary operation on the set $Hyp_G$(2) of all generalized hypersubstitutions of type ${\tau}$ = (2) by using this extension The set $Hyp_G$(2) together with the identity generalized hypersubstitution ${\sigma}_{id}$ which maps f to the term f($x_1,x_2$) forms a monoid. We determine all regular elements of this monoid.

• Journal of Applied and Pure Mathematics
• /
• 제5권1_2호
• /
• pp.1-8
• /
• 2023

This study is on a Boolean B or Boolean lattice L in abstract algebra with closed binary operation *, complement and distributive properties. Both Binary operations and logic properties dominate this set. A lattice sheds light on binary operations and other algebraic structures. In particular, the construction of the elements of this L set from idempotent elements, our definition of k-order idempotent has led to the expanded definition of the definition of the lattice theory. In addition, a lattice offers clever solutions to vital problems in life with the concept of logic. The restriction on a lattice is clearly also limit such applications. The flexibility of logical theories adds even more vitality to practices. This is the main theme of the study. Therefore, the properties of the set elements resulting from the binary operation force the logic theory. According to the new definition given, some properties, lemmas and theorems of the lattice theory are examined. Examples of different situations are given.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2002년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.798-802
• /
• 2002

Data provider and data user are linked together by suitable data. This implies that for a successful relationship the provider knows what kind of data, whether original or processed, is needed by the user and that the user articulates his needs to the provider. The co-operation between Korea and Austria aims at identifying these needs and to provide suitable routines for the processing of satellite data. Partners of this co-operation are the Korea Aerospace Research Institute, ARC Seibersdorf research and GeoVille. While the focus of the former lies in the development and running of satellite systems, the latter two have experience in the development and set up of applications in the field of remote sensing. Based on the complementary know-how by the institutions involved, projects were set up in Korea and Austria to fulfill this need and establish a pilot data feed for governmental applications.

• 전기학회논문지
• /
• 제57권10호
• /
• pp.1726-1730
• /
• 2008

In this paper, the application schemes for coordinated control system of multiple FACTS were presented to enhance the voltage stability around the metropolitan areas. In order to coordinated control of FACTS devices, f-V analysis method which is one of the indices for voltage stability was performed with real time network data which is transferred from SCADA/EMS system. If the system is unstable after contingencies, the new operation set-point of FACTS would be determined using bus sensitivity from tangent vector at voltage instability point. Otherwise, we would determine the new operation set-point of FACTS for considering economical operation, like as active power loss minimization using Optimal Power Flow algorithm. In simulation, the SCADA/EMS 2007's data are used for studying the coordinated control algorithm of multiple FACTS devices that is installed or will be installed in KOREA power system

• 한국정밀공학회지
• /
• 제23권2호
• /
• pp.65-72
• /
• 2006

Downcoiler is one of the major facilities in hot strip mill operation. The key to good coiling is having good equipment, modem control systems, excellent maintenance and an understanding of coiling process. Therefore, this study aims to develop a program that is useful for calculating machine design parameters and simulating coiling process. In this study, the pinching and coiling mechanism of the downcoiler was thoroughly studied and some of operational factors and their effects on the coiling process were investigated. The software was developed to estimate engineering parameters for coiler component design and to determine optimal setting values for successful coiling operation. In order to check the accuracy and usefulness of the developed software, the simulation of the downcoiler in $\#2$ Hot Strip Mill in Pohang Works was performed. The simulation results suggested that the set-up value for unit tension could be lowered. Test coiling operation by using the lowered set-up value for unit tension resulted in much more successful coiling in the aspect of strip quality and power consumption.

• 한국정밀공학회지
• /
• 제9권4호
• /
• pp.36-43
• /
• 1992

This paper presents a hierarchical real-time operation control and monitoring scheme of the FMS/CIM center which has been implemented at the Automation and Systems Research Institute of Seoul National University. The hierarchical structure of the whole scheme consists of three lavers. The upper layer is in charge of on-line scheduling, computer network control, shop-floor monitoring and command generation for AGV dispatching, machining, assembly, inspection, set-up, etc. The middle layer has six modules, which are installed in the FMS host computer with the upper layer and run on the multi-tasking basis. Each module is connected to one of six cell controllers distributed in the FMS model plant and transfers operation command down to each cell controller through the Ethernet/TCP-IP local area network. The lower layer is comprised of six cell control software modules for machining cell, assembly cell, inspection cell, set-up stations. AS/RS and AGV. Each cell controller reports the status of the manufacturing facilites to the middle layer as well as ecxecuting the appropriate sequence control of the manufacturing processes.

• 대한수학회지
• /
• 제39권1호
• /
• pp.31-49
• /
• 2002

An R$^{n}$ -geometry (P$^{n}$ , L) is a generalization of the Euclidean geometry on R$^{n}$ (see Def. 1.1). We can consider some topologies (see Def. 2.2) on the line set L such that the join operation V : P$^{n}$ $\times$ P$^{n}$ \ $\Delta$ longrightarrow L is continuous. It is a notable fact that in the case n = 2 the introduced topologies on L are same and the join operation V : P$^2$ $\times$ P$^2$ \ $\Delta$ longrightarrow L is continuous and open [10, 11]. It is a fundamental topological property of plane geometry, but in the cases n $\geq$ 3, it is no longer true. There are counter examples [2]. Hence, it is a fundamental problem to find suitable topologies on the line set L in an R$^{n}$ -geometry (P$^{n}$ , L) such that these topologies are compatible with the incidence structure of (P$^{n}$ , L). Therefore, we need to study the topologies of the line set L in an R$^{n}$ -geometry (P$^{n}$ , L). In this paper, the relations of such topologies on the line set L are studied.