• International Journal of Reliability and Applications
• /
• v.4 no.1
• /
• pp.1-12
• /
• 2003

Many software reliability growth models (SRGM's) based on a nonhomogeneous Poisson process (NHPP) have been proposed by many researchers. Most of the SRGM's which have been proposed up to the present treat the event of software fault-detection in the testing and operational phases as a counting process. However, if the size of the software system is large, the number of software faults detected during the testing phase becomes large, and the change of the number of faults which are detected and removed through debugging activities becomes sufficiently small compared with the initial fault content at the beginning of the testing phase. Therefore, in such a situation, we can model the software fault-detection process as a stochastic process with a continuous state space. In this paper, we propose a new software reliability growth model describing the fault-detection process by applying a mathematical technique of stochastic differential equations of an Ito type. We also compare our model with the existing SRGM's in terms of goodness-of-fit for actual data sets.

• Nuclear Engineering and Technology
• /
• v.55 no.9
• /
• pp.3213-3228
• /
• 2023

As an important part of the digital reactor, the pin-by-pin wise fine coupling calculation is a research hotspot in the field of nuclear engineering in recent years. It provides more precise and realistic simulation results for reactor design, operation and safety evaluation. CORCA-K a nodal code is redeveloped as a robust pin-by-pin wise neutronics and thermal-hydraulic coupled calculation code for pressurized water reactor (PWR) core. The nodal green's function method (NGFM) is used to solve the three-dimensional space-time neutron dynamics equation, and the single-phase single channel model and one-dimensional heat conduction model are used to solve the fluid field and fuel temperature field. The mesh scale of reactor core simulation is raised from the nodal-wise to the pin-wise. It is verified by two benchmarks: NEACRP 3D PWR and PWR MOX/UO₂. The results show that: 1) the pin-by-pin wise coupling calculation system has good accuracy and can accurately simulate the key parameters in steady-state and transient coupling conditions, which is in good agreement with the reference results; 2) Compared with the nodal-wise coupling calculation, the pin-by-pin wise coupling calculation improves the fuel peak temperature, the range of power distribution is expanded, and the lower limit is reduced more.

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.12 no.4
• /
• pp.264-274
• /
• 1983

Two-dimensional jet flows into a couple of confined rectangular enclosures such as an Ondol flue channel and their flow distributions were analyzed by numerical graphics : rectangular space in one enclosure is vacated and the other has 8 rectangular small posts. Both enclosures have a protruded inlet nozzle and on outlet on its center line. Steady state incompressible laminar viscous flow was assumed. The primitive forms of Navier-Stokes equations and continuity equation in a cartesian coordinate system were solved numerically by the Marker and Cell method for Reynolds numbers of 5, 10, 20, 30 and 40. From the numerical graphics it was found that the flow regions in both enclosures were devided into tow parts ; one part was the jet flow localized in a narrow center region of the enclosure and the other part was the very slow recirculating flow occupying the rest of the flow region in the enclosures. However there were a little differences in the shapes of jet flow in both enclosures for Reynolds numbers of 5 and 10 and also in the shapes of recirculating flows in both enclosures for all Reynolds number. Also it was found that waving flow appeared right before the outlet at Reynolds number of 20 and more.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.28 no.2
• /
• pp.63-73
• /
• 1986

The model was developed by applying the principles of Bacot and Vidal to measure the behavior of deformation of the reinforced earth wall, and various tasts were performed by using the plastic fabric filter and the galvanized steel plate as a strip. The results obtained are as follows; 1. When the reinforced earth wall is deformed by the load, the strip is completely reinforced by the backfill materials and changed to the rigid block state, under the state of failure which permits sliding only, the next theoretical equation is formed. (H/L) . tan$\theta$ [cosO-sinOtanO] =2sinO[tan($\theta$ +0) +tanO] 2.The degree of the mutual reinforcement of the backfill material and the strip depend on the physical characteristics of the each material especially the angle of shearing resistance of the backfill material is desirable over 20$^{\circ}$ and, if it is over 400, its function could be a maximum. 3.The distribution of the maximum tensile strain of the reinforcement is changing with the height of reinforced earth wall, and when the height from bottom of the reinforced earth wall is 1.85 to 3. 35m, the maximum tensile strain appears at 2m from the skin element. The maximum tensile strain is increased by the depth of the reinforced earth wall from surface, and increased with the lapse of time after construction. 4.The failure surface of the reinforced earth wall by the concrete skin was about 60$^{\circ}$and the failure behavior of the reinforced earth wall in which the fabric filter was buried was slow, and so the pore pressure could be decreased. 5.It is possible to construct the fabric retained earth wall by the plastic fabric filter only. And the reinforcing effect between the steel plate and the plastic fabric filter is not largely different. however, in the aspect of the economic durability, the plastic fabric filter is more advantageous. 6.The reinforcing action mainly depends on the width and the length of the reinforcing materials, if possible, the full width is advantageous to enlarge the contact area with backfill. but considering the economic aspect, it is neccessary to develop the method controlling the space of the strip.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.44 no.5
• /
• pp.18-29
• /
• 2007

The main objective of this paper is to propose a new stability analysis method for a networked control system with multiple packet transmission. The new scheduling method that can guarantee the maximum time delay and discrete switch state equation model which represent a network data loss is proposed. The equivalent model of a MIMO(multi-input multi-output) networked control system is derived from a state space model of linear time invariant interconnected systems in the form of asynchronous dynamical system. Using this model, this paper presents new stability theorems that can determine stability of the networked control system with regard to time delay, data loss, and the number of transmission packets. Simulation results verify the effectiveness of proposed stability analysis method.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.10
• /
• pp.941-946
• /
• 2013

In this paper, an enhanced method for attitude determination is proposed for systems using an IMU (Inertial Measurement Unit). In attitude determination with IMU, it is generally assumed that the IMU can be located in the center of gravity on the vehicle. If the IMU is not located in the center of gravity, the accelerometers of the IMU are disturbed from additive accelerations such as centripetal acceleration and tangential acceleration. Additive accelerations are derived from the lever arm which is the distance between the center of gravity and the position of the IMU. The performance of estimation errors can be maintained in system with a non-zero lever arm, if the lever arm is estimated to remove the additive accelerations from the accelerometer's measurements. In this paper, an estimation using Kalman filter is proposed to include the lever arm in the state variables of the state space equation. For the Kalman filter, the process model and the measurement model for attitude determination are made up by using quaternion. In order to evaluate the proposed algorithm, both of the simulations and the experiments are performed for the simplified scenario of motion.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.4
• /
• pp.44-52
• /
• 2003

Shape memory alloys (SMA) are often used in smart structures as active components. Their ability to provide large recovery forces and displacements has been useful in many applications, including devices for artificial muscles, active structural acoustic control, and shape control. Based on the 3-dimensional SMA constitutive equation in this paper, the radial displacement control of externally pressurized circular and semicircular composite cylinders under external pressure with a thin SMA layer bonded on its inner surface or inserted between composite layers in investigated using 3-dimensional finite element analysis. Upon actuation through resistive heating, SMAs start to transform from martensitic into austenitic state, simultaneously recover the prestrain, and thus cause the composite cylinders to go back to their original shapes of the cylinder cross-sections.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.1
• /
• pp.1-11
• /
• 2010

The definition of the speed of sound is reexamined since it is crucial in the numerical analysis of compressible real gas flows. The thermodynamic speed of sound (TSS), $a_{th}$, and the characteristic speed of sound (CSS), $a_{ch}$, are derived using generalized equation of state (EOS). It is found that the real gas EOS, for which pressure is not linearly dependent on density and temperature, results in slightly different TSS and CSS. in this formalism, Roe's approximate Riemann solver was derived again with corrections for real gases. The results show a little difference when the speeds of sound are applied to the Roe's scheme and Advection Upstream Splitting Method (AUSM) scheme, but a numerical instability is observed for a special case using AUSM scheme. It is considered reasonable to use of CSS for the mathematical consistency of the numerical schemes. The approach is applicable to multi-dimensional problems consistently.

• Journal of Astronomy and Space Sciences
• /
• v.15 no.1
• /
• pp.235-244
• /
• 1998

The solutions of orbital maneuver problem using the sliding mode control in the presence of the erath gravitational perturbations is obtained. Especially, the optimization of consuming fuel for maneuver is performed. The impulsive solution to Lambert's problem using the combined equation method to minimize total ${\Delta}V is used for the desired orbit and the maneuver times. Two-step sliding mode control method is introduced for satisfying the boundary conditions of finite-thrust rendezvous problem at the end of maneuver time. Using the new approach to the orbit maneuver problem, two-step sliding mode control, orbit maneuvers are processed. The solutions to a rendezvous using the optimal control are obtained, and they are compared to the results by two-step sliding control.According to the new approach for orbit maneuver, the thrust-coast-thrust type controller is obtained to make satellite to track desired Lambert's orbit, and the total ${\Delta}V$ required for maneuver is resonable in comparison with the impulsive solution to Lambert's problem. The final state variables, also are close to the boundary conditions at the end of maneuver times.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.6
• /
• pp.516-525
• /
• 2015

In this paper, the acoustic pressure of a helicopter rotor in hovering and low speed descent flight is predicted and compared with experimental data. Ffowcs Williams-Hawkings equation is used to predict the acoustic pressure. Two different wind tunnel test data are used to validate the predicted results. Boeing 360 model rotor test results are used for the low-frequency noise in hover, and HART II test results are employed for the mid-frequency noise, especially BVI noise, in low speed descent flight. A simple free-wake model as well as the state-of-the-art CFD/CSD coupling method are adopted to perform the analysis. Numerical results show good agreement against the measured data for both low-frequency and mid-frequency harmonic noise signal. The noise carpet results predicted using the FFT(Fast Fourier Transform) shows also reasonable correlation with the measured data.