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.
Zhigang Li;Junjie Pan;Bangyang Xia;Shenglong Qiang;Wei Lu;Qing Li
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/UO2. 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.
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.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.