• 경영과학
• /
• 제14권2호
• /
• pp.63-68
• /
• 1997

Limiting probability in the steady state of regenerative process is one of the most useful characteristics. The formula for this limiting probability in the steady state of the regenerative process is presented in this paper. Because this formula is for the general model, it can be applied to many special systems including 2-unit redundant system. An example for this formula is also presented.

• 한국전산구조공학회논문집
• /
• 제35권6호
• /
• pp.357-365
• /
• 2022

냉매 오충전은 에어컨에서 빈번하게 발생하는 고장 모드 중 하나로, 적정 충전량 대비 부족 및 과충전 모두 냉방 성능의 저하를 유발하므로 충전된 냉매량을 정확하게 판단하는 것이 중요하다. 본 연구에서는 퍼지 군집화 기법을 통한 정상상태 식별을 통해 냉매 오충전량을 다중 분류하는 모델을 개발하였다. 정상상태 식별을 위해 에어컨 운전 데이터에 대해 이동 평균 간의 차이를 활용한 퍼지 군집화 알고리즘을 적용하였으며, IFDR를 통해 기존 연구된 정상상태 판단 기법들과 식별 결과를 비교하였다. 이후, 시스템 내 상관성을 고려한 mRMR을 이용해 특징을 선택하였으며, 도출된 특징을 이용해 SVM 기반의 다중 분류 모델이 생성되었다. 제안된 방법은 시험 데이터를 통해 만족할 만한 분류 정확도와 강건성을 도출하였다.

• 자원환경지질
• /
• 제54권2호
• /
• pp.247-257
• /
• 2021

The study area has been contaminated with explosive materials and heavy metals for several decades. For the design of the pump and treat remediation method, groundwater flow before and during groundwater pumping in a contaminated aquifer system was simulated, calibrated, and predicted using a generalized multidimensional hydrological numerical model. A three-dimensional geologic formation model representing the geology, hydrogeology, and topography of the aquifer system was established. A steady-state numerical simulation with model calibration was performed to obtain initial steady-state spatial distributions of groundwater flow and groundwater table in the aquifer system before groundwater pumping, and its results were illustrated and analyzed. A series of transient-state numerical simulations were then performed during groundwater pumping with the four different pumping rates at a potential location of the pumping well. Its results are illustrated and analyzed to provide primary reference data for the pump and treat remediation method. The results of both steady-state and transient-state numerical simulations show that the spatial distribution and properties of the geologic media and the topography have significant effects on the groundwater flow and thus depression zone.

• Nuclear Engineering and Technology
• /
• 제52권12호
• /
• pp.2901-2909
• /
• 2020

Thermal creep is a key property of zircaloy cladding. CZ developed by CGN is a new zircaloy used as PWR fuel cladding. This research is devoted to investigating the thermal creep behavior of CZ and build the thermal creep model of CZ. Twenty internal pressure creep tests were conducted, and the ranges of temperature and Tresca stress were 320-430 ℃ and 70-300 MPa, respectively. Real-time creep data were analyzed by separating primary creep and steady-state creep. Based on Soderberg model and creep test data, CZ thermal creep model is derived. As a whole, the mean value and the standard deviation of P/M of CZ saturated primary creep strain are very close to these from steady-state creep rate, however, the predictive effect of primary creep is less satisfactory. Four conditions, where there exists large deviation between predicted values and test data, are 320 ℃ and 300 MPa, 350 ℃ and 190 MPa, 380 ℃ and 160 MPa, 380 ℃ and 190 MPa, respectively. As primary creep was much smaller than steady-state creep in long-time operation, the thermal creep model built can be applied to predict the thermal creep behavior of CZ cladding.

• Journal of applied mathematics & informatics
• /
• 제40권3_4호
• /
• pp.393-407
• /
• 2022

In this paper, a diffusive predator-prey system with Beddington DeAngelis functional response and the modified Leslie-Gower type predator dynamics when a prey population is infected is considered. The predator is assumed to predate both the susceptible prey and infected prey following the Beddington-DeAngelis functional response and Holling type II functional response, respectively. The predator follows the modified Leslie-Gower predator dynamics. Both the prey, susceptible and infected, and predator are assumed to be distributed in-homogeneous in space. A reaction-diffusion equation with Neumann boundary conditions is considered to capture the dynamics of the prey and predator population. The global attractor and persistence properties of the system are studied. The priori estimates of the non-constant positive steady state of the system are obtained. The existence of non-constant positive steady state of the system is investigated by the use of Leray-Schauder Theorem. The existence of non-constant positive steady state of the system, with large diffusivity, guarantees for the occurrence of interesting Turing patterns.

• 대한산업공학회지
• /
• 제21권3호
• /
• pp.345-356
• /
• 1995

The aim of this paper is to analyze the batch service queueing model M/M(a, b ; ${\mu}_k/1$) under general bulk service rule with mean service rate ${\mu}_k$ for a batch of k units, where $a{\leq}k{\leq}b$. This queueing model consists of the two-dimensional state space so that it is characterized by two-dimensional state Markov process. The steady-state solution and performane measure of this process are derived by using Matrix Geometric method. Meanwhile, a new approach is suggested to calculate the two-dimensional traffic density R which is used to obtain the steady-state solution. In addition, to determine the optimal service initiation threshold a, a decision model of this queueing system is developed evaluating cost of service per batch and cost of waiting per customer. In a job order production system, the decision-making procedure presented in this paper can be applicable to determining when production should be started.

• 대한수학회논문집
• /
• 제22권4호
• /
• pp.597-608
• /
• 2007

We present a general uniqueness result of an endemic state for an S-I-R model with external force of infection. We reduce the problem of finding non-trivial steady state solutions to that of finding zeros of a real function of one variable so that we can easily prove the uniqueness of an endemic state. We introduce an assumption which was usually used to show stability of a non-trivial steady state. It turns out that such an assumption adopted from a stability analysis is crucial for proving the uniqueness as well, and the assumption holds for almost all cases in our model.

• 대한수학회지
• /
• 제52권3호
• /
• pp.469-487
• /
• 2015

We consider a model of HIV infection with various compartments, including target cells, infected cells, viral loads and immune effector cells, to describe HIV type 1 infection. We show that the proposed model has one uninfected steady state and several infected steady states and investigate their local stability by using a Jacobian matrix method. We obtain equations for adjoint variables and characterize an optimal control by applying Pontryagin's Maximum Principle in a linear control problem. In addition, we apply techniques and ideas from linear optimal control theory in conjunction with a direct search approach to derive on-off HIV therapy strategies. The results of numerical simulations indicate that hybrid on-off therapy protocols can move the model system to a "healthy" steady state in which the immune response is dominant in controlling HIV after the discontinuation of the therapy.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2004년도 제22회 춘계학술대회논문집
• /
• pp.513-520
• /
• 2004

A steady-state/transient performance simulation model was newly developed for the propulsion system of the CRW (Canard Rotor Wing) type UAV (Unmanned Aerial Vehicle) during flight mode transition. The CRW type UAV has a new concept RPV (Remotely Piloted Vehicle) which can fly at two flight modes such as the take-off/landing and low speed forward flight mode using the rotary wing driven by engine bypass exhaust gas and the high speed forward flight mode using the stopped wing and main engine thrust. The propulsion system of the CRW type UAV consists of the main engine system and the duct system. The flight vehicle may generally select a proper type and specific engine with acceptable thrust level to meet the flight mission in the propulsion system design phase. In this study, a turbojet engine with one spool was selected by decision of the vehicle system designer, and the duct system is composed of main duct, rotor duct, master valve, rotor tip-jet nozzles, and variable area main nozzle. In order to establish the safe flight mode transition region of the propulsion system, steady-state and transient performance simulation should be needed. Using this simulation model, the optimal fuel flow schedules were obtained to keep the proper surge margin and the turbine inlet temperature limitation through steady-state and transient performance estimation. Furthermore, these analysis results will be used to the control optimization of the propulsion system, later. In the transient performance model, ICV (Inter-Component Volume) model was used. The performance analysis using the developed models was performed at various flight conditions and fuel flow schedules, and these results could set the safe flight mode transition region to satisfy the turbine inlet temperature overshoot limitation as well as the compressor surge margin. Because the engine performance simulation results without the duct system were well agreed with the engine manufacturer's data and the analysis results using a commercial program, it was confirmed that the validity of the proposed performance model was verified. However, the propulsion system performance model including the duct system will be compared with experimental measuring data, later.

• 한국자동차공학회논문집
• /
• 제4권4호
• /
• pp.27-37
• /
• 1996

In this paper the effects of suspension design parameters on the steady-state cornering performance of vehicles are studied. To investigate the understeer characteristics of vehicles, steady-state cornering equatons are derived from a two-track model which is expanded from a simple one track model. The effects of the suspension design parameters as well as those of lateral load transfer are taken into consideration. To verify the equation, a skid pad test was carried out with a domestic passenger car. The design parameters of the vehicle are measured using a Suspension Parameter Measuring Device(SPMD). Based on these results, parameter studies are carried out to determine the effect of design parameters on the cornering performance of a vehicle, both in low and high acceleration region.