• 대한조선학회논문집
• /
• 제44권4호
• /
• pp.459-465
• /
• 2007

This paper deals with the development of measuring methodology and the requirement for its evaluation of the infrared radiation from a naval ship to optical sensors, considering the Meteorological conditions. Factors required for measuring the apparent temperature and infrared radiation are identified and two methods are suggested based on the measuring instruments carried by ship or aircraft. and target operation in the Meteorological conditions is considered. This study describes some factors affecting the IR signature. required instruments to obtain the IR signal considering the naval ship.

• International Journal of Reliability and Applications
• /
• 제3권1호
• /
• pp.25-35
• /
• 2002

This paper presents a dynamic reliability assessment methodology for use in the safety assessment of a complex system such as a nuclear power plant. The method is applied to a dynamic analysis of the potential accident sequences that may occur during mid-loop operation in a nuclear power plant. The idea behind this approach consists of both the use of the concept of the performance achievement/requirement correlation and of a dynamic event tree generation method. The assessment of the system reliability depends on the determination of both the required performance distribution and the achieved performance distribution. The quantified correlation between requirement and achievement represents a comparison between two competing variables. It is demonstrated that this method is easily applicable and flexible in that it can be applied to any kind of dynamic reliability problem.

• 한국컴퓨터정보학회논문지
• /
• 제20권10호
• /
• pp.53-59
• /
• 2015

In this paper we propose a resource management scheme which allocates hierarchical resources stepwise based on the users' QoS requirement of each service in the macro-femtocell overlaid LTE-Advanced network. Our proposed scheme adjusts the transmission rate to the minimum which guarantees the allowable minimum requirement of delay for each user service. In this way it minimizes the interference on the adjacent channels and it is able to increase the resource utilization efficiency. Simulation results show that our scheme provides better performances than the conventional one in respect of the outage probability and data transmission throughput.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2013년도 춘계 학술논문 발표대회
• /
• pp.271-272
• /
• 2013

The Korean nuclear industry acquired technology for each construction stage including engineering, procurement, construction and commissioning from advanced nuclear countries. While the levels of technology and quality have greatly improved, the same cannot be said for the level of project management. In particular, the level of project performance measurement and forecasting project risk still remain at the single project management level. Thus, this paper reviewed the concept of the EVMS method and requirement for the system. The adoption of the EVMS, an advanced project management method, can enable efficient management of project risks and promote an adequate environment for project implementation.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제48권12호
• /
• pp.715-726
• /
• 1999

This paper estimates the capacity of shunt type active power filters(APF) for harmonic/reactive power compensation with a thyristor converter load. The base capacity requirement of APF is defined for idealized converter load current waveform and the effect of commutation overlap on the APF capacity is examined. The APF capacity required for reactive power compensation in addition to the harmonic elimination is estimated to give maximum achievable power factor for various operating condition of the partially-loaded thyristor converter. The method of current limit of APF is introduced, and it is shown that the APF capacity can be considerably reduced by deliberately limiting the peak current while maintaining the filtering performance to meet the level std 519 regulation.

• 한국해양공학회지
• /
• 제14권2호
• /
• pp.84-88
• /
• 2000

The main objectives of this study are to compare the obtained mechanical characteristics of reduced-scale model materials with those of the prototype and to provide the information on the best selection of materials. Manufacturing techniques on the micro-concrete and reduced reinforcement are introduced. The test results of these materials are shown to be satisfactory with regard to the similitude requirement. The simple beam tests were performed to verify similitude in the bond behavior between micro-concrete and reduced reinforcement. Those results also prove that these manufacturing and experimental techniques are useful and reliable for reduced-scale model tests.

• Journal of Electrical Engineering and Technology
• /
• 제4권1호
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• 한국군사과학기술학회지
• /
• 제16권6호
• /
• pp.752-761
• /
• 2013

A new gun fire control system has been developed for the Korean next generation frigate class. The engineering requirement was far more tightened than the PKG-A class for the firing range availability and gun control function since 5 inch gun is adopted for the new ship. We mention about the principal technologies required to build a generic gun fire control system and proposed methods for the new gun fire control system. The new system has been designed based on the proposed methods in order to satisfy the requirement and functionality has been proved to be acceptable through the sea trial by Korean navy.

• International Journal of Reliability and Applications
• /
• 제2권1호
• /
• pp.37-48
• /
• 2001

This paper presents a new dynamic human reliability analysis method and its application for quantifying the human error probabilities in implementing management action. For comparisons of current HRA methods with the new method, the characteristics of THERP, HCR, and SLIM-MAUD, which are most frequency used method in PSAs, are discussed. The action associated with implementation of the cavity flooding during a station blackout sequence is considered for its application. This method is based on the concepts of the quantified correlation between the performance requirement and performance achievement. The MAAP 3.0B code and Latin Hypercube sampling technique are used to determine the uncertainty of the performance achievement parameter. Meanwhile, the value of the performance requirement parameter is obtained from interviews. Based on these stochastic obtained, human error probabilities are calculated with respect to the various means and variances of the things. It is shown that this method is very flexible in that it can be applied to any kind of the operator actions, including the actions associated with the implementation of accident management strategies.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2003년도 추계학술대회 및 정기총회
• /
• pp.87-93
• /
• 2003

This paper reviews existing message-filtering schemes and presents a quantization-based message-filtering approach which reduces state update transmission and message traffic requirement. For a realization of the approach we develop a DEVS-based integrator which provides behavior and characteristic of the quantization-based approach. We take a spaceship and space traveling system as a case study to evaluate performance of the quantization-based approach. The approach is validated by DEVSJAVA simulations of the case study. The comparison of message traffic requirement between DTSS (Discrete Time System Specification)-based and DEVS-based systems apparently shows system performance improvement through the quantization-based approach.