• Title/Summary/Keyword: requirement engineering

Search Result 3,018, Processing Time 0.03 seconds

Optimal Provisioning Quantity Determination of Concurrent Spare Parts including Consumable Items and Repairable Items under the Availability Limitation (운용가용도 제약하에서 소모성부품과 수리순환부품이 혼재된 동시조달부품의 최적구매량 결정)

  • 오근태;김명수
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.23 no.59
    • /
    • pp.53-67
    • /
    • 2000
  • In this paper we consider the CSP requirements determination problem of new equipment(machine) system. For the newly procured equipment systems, mathematical analyses are made for the system which is constructed with the consumable parts and the repairable parts to derive the associated CSP requirement determination model in mathematical expression. Based on these analyses, a mathematical model Is derived for making an optimal CSP requirement determination subject to the constraint of satisfying any given operational availability limitation. We assume that the failure of a part follows a Poisson process and the repair time has an exponential distribution. Firstly, the operational availability concept in CSP is defined and the relation between the general system availability and the operational availability is established. Secondly, the problem is formulated as the cost minimization problem that should satisfy the operational availability limitation, and then, using the generalized Lagrange multipliers method, the optimal solution procedure Is derived.

  • PDF

A Study on the Dynamic Characteristics of S/C Shipping Container Isolation System (위성체 이송용 콘테이너의 방진시스템 특성연구)

  • Kim, Hong-Bae;Moon, Sang-Mu;Woo, Sung-Hyun;Lee, Sang-Seol
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2000.06a
    • /
    • pp.1240-1245
    • /
    • 2000
  • A Spacecraft container must afford the satellite a relatively benign thermal, vibration, and particle environment that is oblivious to the extreme temperatures, sand, dust, vibrations and shocks that can accompany the transportation. This paper discusses the extensive yet simple vibration test and validation of one such spacecraft container used for KOMPSA T-1 spacecraft, which was transported from KARl Taejon, Korea to Vandenberg Air Force Base(VAFB) on September 30 and launched successfully December 21, 1999. The test results are presented and compared with the design requirement. The dynamic characteristics of shipping container, such as natural frequencies, satisfied the design requirement and showed that shipping container was well. designed and manufactured. This kind of know-how will help to develop the next generation of Korean space program, such as KOMPSAT-2 and Korean tele-communication satellite.

  • PDF

Measurement of Short Reverberation Times of an Acoustic Room at Low Frequencies Using Wavelet Transform (웨이브렛 변환을 이용한 저주파에서 짧은 잔향 시간을 갖는 실음향에서의 잔향시간 측정에 관한 연구)

  • 이상권
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2002.05a
    • /
    • pp.1077-1080
    • /
    • 2002
  • In building acoustics, reverberation time is an important acoustic parameter. However, it is often difficult to measure short reverberation times at low frequencies using the traditional band pass filter bank if the product of bandwidth (B) and reverberation time (T) is small. It is well known that the minimum permissible product of bandwidth and reverberation time of the traditional band pass filter is at least 16 [F. Jacobsen, J. Sound Vib. 115, 163-170 (1987)]. This strict requirement makes it difficult to measure short reverberation times of an acoustic room at low frequencies exactly. In order to reduce this strict requirement, recently, the wavelet filter bank is developed and the minimum permissible product of bandwidth and reverberation time is replaced with 4 [S. K. Lee, J, Sound Vib. 252, 141-153 (2002)]. In the present paper, it is demonstrated how the short reverberation times at low frequencies are successfully measured by using the wavelet filter bank. In order to present this job, two synthetic signals and one measured signal are used for impulse responses of an acoustic room.

  • PDF

The C Language Auto-generation of Reactor Trip Logic Caused by Steam Generator Water Level Using CASE Tools

  • Kim, Jang-Yeol;Lee, Jang-Soo
    • Nuclear Engineering and Technology
    • /
    • v.31 no.1
    • /
    • pp.58-67
    • /
    • 1999
  • The purpose is to produce a model of nuclear reactor trip logic caused by the steam generator water level of Wolsong 2/3/4 unit through an activity chart and a statechart and to produce C language automatically using Statechart-based Formalism and Stalemate MAGNUM toolset suggested by David Harel Formalism. It was worth attempting auto-generation of C language though we manually made Software Requirement Specification(SRS) for safety-critical software using statechart-based formalism. Most of the phases of the software life-cycle except the software requirement specification of an analysis phase were generated automatically by Computer Aided Software Engineering (CASE) tools. It was verified that automatically produced C language has high productivity, portability, and quality through the simulation.

  • PDF

A Study of Generalized Model for Determining the Optimal Number of Minimal Repairs before Replacement Considering Inherent Availability (가용도를 고려한 교체전 최소수리횟수 결정모델에 관한 연구)

  • 강호신;조남호;유왕진
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.21 no.47
    • /
    • pp.47-55
    • /
    • 1998
  • This paper proposes a maintenance model considering the Inherent availability of certain requirement and two types of failures, repairable or irrepairable. In this model, the system is replaced in time when it doesn't meet the inherent availability requirement despite of all repairable failures; Otherwise it is replaced by the first irrepairable failure. Assuming that the j-th failure is repairable with probability ${\alpha}_j$, minimal repairs are performed for repairable failures between replacements. We drive the expected cost rate through the application of NHPP(Non-Homogeneous Poisson Process) in order to determine the optimal number $n^*$. The model includes some previous studies as special cases.

  • PDF

Longitudinal static stability requirements for wing in ground effect vehicle

  • Yang, Wei;Yang, Zhigang;Collu, Maurizio
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • v.7 no.2
    • /
    • pp.259-269
    • /
    • 2015
  • The issue of the longitudinal stability of a WIG vehicle has been a very critical design factor since the first experimental WIG vehicle has been built. A series of studies had been performed and focused on the longitudinal stability analysis. However, most studies focused on the longitudinal stability of WIG vehicle in cruise phase, and less is available on the longitudinal static stability requirement of WIG vehicle when hydrodynamics are considered: WIG vehicle usually take off from water. The present work focuses on stability requirement for longitudinal motion from taking off to landing. The model of dynamics for a WIG vehicle was developed taking into account the aerodynamic, hydrostatic and hydrodynamic forces, and then was analyzed. Following with the longitudinal static stability analysis, effect of hydrofoil was discussed. Locations of CG, aerodynamic center in pitch, aerodynamic center in height and hydrodynamic center in heave were illustrated for a stabilized WIG vehicle. The present work will further improve the longitudinal static stability theory for WIG vehicle.

Assessing the Feasibility of an Accident Management Strategy Using Dynamic Reliability Methods

  • Moosung Jae;Kim, Jae-Hwan
    • Nuclear Engineering and Technology
    • /
    • v.29 no.1
    • /
    • pp.1-6
    • /
    • 1997
  • This paper presents a new dynamic approach for assessing feasibility associated with the implementation of accident management strategies by the operators. This approach includes the combined use of both the concept of reliability physics and a dynamic event tree generation scheme. The reliability physics is based on the concept of a comparison between two competing variables, i.e., the requirement and the achievement parameter, while the dynamic event tree generation scheme on the continuous generation of the possible event sequences at every branch point up to the desired solution. This approach is applied to a cavity flooding strategy in a reference plant, which is to supply water into the reactor cavity using emergency fire systems in the station blackout sequence. The MAAP code and Latin Hypercube sampling technique are used to determine the uncertainty of the requirement parameter. It has been demonstrated that this combined methodology may contribute to assessing the success likelihood of the operator actions required during accidents and therefore to developing the accident management procedures.

  • PDF

Applicable Technology for Advanced Urban Transit System (차세대 첨단 도시철도시스템의 적용기술에 관한 연구)

  • Park S.H.;Oh S.C.;Yeo M.W.
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2005.10a
    • /
    • pp.28-33
    • /
    • 2005
  • This paper is about applicable technology for Advanced Urban Transit System. The first step for Advanced Urban Transit System development is marking definition of system requirement, researching foreign country's case, and setting suitable requirement spec for domestic environment. We're also trying to select suitable technology to domestic environment and reflect Advanced Urban Transit System development business through researching and analyzing involved technology form domestic also overseas.

  • PDF

A Study on Improving Performance of an Electromagnetic Clutch through Cancellation of Magnetic Flux Bottlenecks (자기장 병목현상 해소를 통한 전자 클러치의 성능향상에 관한 연구)

  • Kim S.H.;J. T.W.;Kim K.S.;Joh J.S.
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 2005.10a
    • /
    • pp.291-294
    • /
    • 2005
  • This paper presents a method of improving performance of an electromagnetic clutch for the next generation tank gun. One of the most important things in the design of the clutch is to satisfy the requirement for the maximum torque even if the torque is varied. To achieve this requirement, it is needed to expand the operation range of the torque. Consequently, we have performed shape changes in order to cancel magnetic flux bottlenecks on the magnetic path. Simulation results from the finite element method show that the method proposed in this paper is proper for the clutch.

  • PDF

The Evaluation of Human Vibration Effect on T-50/A-50 Pilot (T-50/A-50 조종사의 인체 진동 영향성 평가)

  • Moon, Seong-Wook;Cho, Dae-Hyeon;Kim, Young-Ik
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2004.11a
    • /
    • pp.546-549
    • /
    • 2004
  • The T-50/A-50 Golden Eagle was developed for a supersonic trainer and light combat aircraft. At the design stage, vibration control plans were established and applied. For cockpit vibration, crew comfort vibration level was defined by the requirement of MIL-A-8892. It is found that the T-50/A-50 meets the requirement of cockpit vibration from the flight test data analysis. This paper contains the results of cockpit vibration analysis using the flight test data and the results of human vibration analysis lot the pilot inside aircraft. The human vibration level of pilot is increased as dynamic pressure is increased and at the specific high dynamic pressure, the ride comfort indicates 'a little uncomfortable'. Overall analysis results show that the vibration level of T-50/A-50 cockpit is tolerable and not critical for pilot's comfort.

  • PDF