• Nuclear Engineering and Technology
• /
• 제55권3호
• /
• pp.861-869
• /
• 2023

This article proposes a novel approach to measure the performance of Safety-Critical Systems (SCS). Such systems contain multiple processing nodes that communicate with each other is modeled by a Petri nets (PN). The paper uses the PN for the performance evaluation of SCS. A set of ordinary differential equations (ODEs) is derived from the Petri net model that represent the state of the system, and the solutions can be used to measure the system's performance. The proposed method can avoid the state space explosion problem and also introduces new metrics of performance, along with their measurement: deadlock, liveness, stability, boundedness, and steady state. The proposed technique is applied to Shutdown System (SDS) of Nuclear Power Plant (NPP). We obtained 99.887% accuracy of performance measurement, which proves the effectiveness of our approach.

• Journal of Astronomy and Space Sciences
• /
• 제28권1호
• /
• pp.37-54
• /
• 2011

Two semi-analytic solutions for a perturbed two-body problem known as Lagrange planetary equations (LPE) were compared to a numerical integration of the equation of motion with same perturbation force. To avoid the critical conditions inherited from the configuration of LPE, non-singular orbital elements (EOE) had been introduced. In this study, two types of orbital elements, classical Keplerian orbital elements (COE) and EOE were used for the solution of the LPE. The effectiveness of EOE and the discrepancy between EOE and COE were investigated by using several near critical conditions. The near one revolution, one day, and seven days evolutions of each orbital element described in LPE with COE and EOE were analyzed by comparing it with the directly converted orbital elements from the numerically integrated state vector in Cartesian coordinate. As a result, LPE with EOE has an advantage in long term calculation over LPE with COE in case of relatively small eccentricity.

• Structural Engineering and Mechanics
• /
• 제52권2호
• /
• pp.323-349
• /
• 2014

In this paper, linear buckling analysis of a curved sandwich beam with a flexible core is investigated. Derivation of equations for face sheets is accomplished via the classical theory of curved beam, whereas for the flexible core, the elasticity equations in polar coordinates are implemented. Employing the von-Karman type geometrical non-linearity in strain-displacement relations, nonlinear governing equations are resulted. Linear pre-buckling analysis is performed neglecting the rotation effects in pre-buckling state. Stability equations are concluded based on the adjacent equilibrium criterion. Considering the movable simply supported type of boundary conditions, suitable trigonometric solutions are adopted which satisfy the assumed edge conditions. The critical uniform load of the beam is obtained as a closed-form expression. Numerical results cover the effects of various parameters on the critical buckling load of the curved beam. It is shown that, face thickness, core thickness, core module, fiber angle of faces, stacking sequence of faces and openin angle of the beam all affect greatly on the buckling pressure of the beam and its buckled shape.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1986년도 하계학술대회논문집
• /
• pp.140-144
• /
• 1986

In this paper an FIR(finite impulse response) filter and smoother are introduced for discrete time-invariant state-space models with driving noises. The FIR structure not only quarantees the BIBO stability and the robustness to parameter changes but also improves the filter divergence problem. It is shown that the impulse responses of the FIR filter and the smoother are obtained by Riccati-type difference equations and that they are to be time-invariant and reduced to very simple forms. For implementational purpose, recursive forms of the FIR filler and smoother are derived with each other used as the adjoint variable.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.233-236
• /
• 1996

This paper describes a liner state-space model for a flexible stick balencer. The method employed to generate the model utilizes a separable formulation of assumed modes to represents the transverse displacement due to bending Lagrangian dynamics are applied to determine the kinetic and potential energies for the system. The resultant dynamic equations are then organized into a state space model and linearized using Taylor series expansion method. A minimum order observer is designed to estimate unmeasurable states.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 A
• /
• pp.342-344
• /
• 2004

In conventional small signal stability analysis, system is assumed to be invariant and the state space equations are used to calculate the eigenvalues of state matrix. However, when a system contains switching elements such as FACTS devices, it becomes non-continuous system. In this case, a mathematically rigorous approach to system small signal stability analysis is by means of eigenvalue analysis of the system periodic transition matrix based on discrete system analysis method. In this research, RCF(Resistive Companion Form) method is used to analyse small signal stability of a non-continuous system including switching elements'. Applying the RCF method to the differential and integral equations of power system, generator, controllers and FACTS devices including switching elements should be modeled in the form of state transition matrix. From this state transition matrix eigenvalues which are mapped to unit circle can be calculated.

• Journal of Astronomy and Space Sciences
• /
• 제40권1호
• /
• pp.11-18
• /
• 2023

The ionosphere is one of the key components of the near-Earth's space environment and has a practical consequence to the human society as a nearest region of the space environment to the Earth. Therefore, it becomes essential to specify and forecast the state of the ionosphere using both the observations and numerical models. In particular, numerical modeling of the ionosphere is a prerequisite not only for better understanding of the physical processes occurring within the ionosphere but also for the specification and forecast of the space weather. There are several approaches for modeling the ionosphere, including data-based empirical modeling, physics-based theoretical modeling and data assimilation modeling. In this review, these three types of the ionospheric model are briefly introduced with recently available models. And among those approaches, fundamental aspects of the physics-based ionospheric model will be described using the basic equations governing the mid-latitude ionosphere. Then a numerical solution of the equations will be discussed with required boundary conditions.

• 한국경영과학회지
• /
• 제23권4호
• /
• pp.97-109
• /
• 1998

In this paper, we propose a new approach to solve stochastic fluid flow models applied to the analysis of ceil loss of an ATM multiplexer. Existing stochastic fluid flow models have been analyzed by using linear differential equations. In case of large state space, however. analyzing stochastic fluid flow model without numerical errors is not easy. To avoid this numerical errors and to analyze stochastic fluid flow model with large state space. we develope a new computational algorithm. Instead of solving differential equations directly, this approach uses iterative and numerical method without calculating eigenvalues. eigenvectors and boundary coefficients. As a result, approximate solutions and upper and lower bounds are obtained. This approach can be applied to stochastic fluid flow model having general Markov chain structure as well as to the superposition of heterogeneous ON-OFF sources it can be extended to Markov process having non-exponential sojourn times.

• Journal of Astronomy and Space Sciences
• /
• 제25권3호
• /
• pp.255-266
• /
• 2008

The current paper presents application of a new analytic solution in general relative motion to spacecraft formation flying in an elliptic orbit. The calculus of variations is used to analytically find optimal trajectories and controls for the given problem. The inverse of the fundamental matrix associated with the dynamic equations is not required for the solution in the current study. It is verified that the optimal thrust vector is a function of the fundamental matrix of the given state equations. The cost function and the state vector during the reconfiguration can be analytically obtained as well. The results predict the form of optimal solutions in advance without having to solve the problem. Numerical simulation shows the brevity and the accuracy of the general analytic solutions developed in the current paper.

• Smart Structures and Systems
• /
• 제18권4호
• /
• pp.707-731
• /
• 2016

A unified mathematical model of the equations of generalized magneto-thermoelasticty based on fractional derivative heat transfer for isotropic perfect conducting media is given. Some essential theorems on the linear coupled and generalized theories of thermoelasticity e.g., the Lord- Shulman (LS) theory, Green-Lindsay (GL) theory and the coupled theory (CTE) as well as dual-phase-lag (DPL) heat conduction law are established. Laplace transform techniques are used. The method of the matrix exponential which constitutes the basis of the state-space approach of modern theory is applied to the non-dimensional equations. The resulting formulation is applied to a variety of one-dimensional problems. The solutions to a thermal shock problem and to a problem of a layer media are obtained in the present of a transverse uniform magnetic field. According to the numerical results and its graphs, conclusion about the new model has been constructed. The effects of the fractional derivative parameter on thermoelastic fields for different theories are discussed.