• Title/Summary/Keyword: verifications

Search Result 269, Processing Time 0.024 seconds

DEVELOPMENT OF RPS TRIP LOGIC BASED ON PLD TECHNOLOGY

  • Choi, Jong-Gyun;Lee, Dong-Young
    • Nuclear Engineering and Technology
    • /
    • v.44 no.6
    • /
    • pp.697-708
    • /
    • 2012
  • The majority of instrumentation and control (I&C) systems in today's nuclear power plants (NPPs) are based on analog technology. Thus, most existing I&C systems now face obsolescence problems. Existing NPPs have difficulty in repairing and replacing devices and boards during maintenance because manufacturers no longer produce the analog devices and boards used in the implemented I&C systems. Therefore, existing NPPs are replacing the obsolete analog I&C systems with advanced digital systems. New NPPs are also adopting digital I&C systems because the economic efficiencies and usability of the systems are higher than the analog I&C systems. Digital I&C systems are based on two technologies: a microprocessor based system in which software programs manage the required functions and a programmable logic device (PLD) based system in which programmable logic devices, such as field programmable gate arrays, manage the required functions. PLD based systems provide higher levels of performance compared with microprocessor based systems because PLD systems can process the data in parallel while microprocessor based systems process the data sequentially. In this research, a bistable trip logic in a reactor protection system (RPS) was developed using very high speed integrated circuits hardware description language (VHDL), which is a hardware description language used in electronic design to describe the behavior of the digital system. Functional verifications were also performed in order to verify that the bistable trip logic was designed correctly and satisfied the required specifications. For the functional verification, a random testing technique was adopted to generate test inputs for the bistable trip logic.

Infinite Elements for Soil-Structure Interaction Analysis (지반-구조물의 상호작용 해석을 위한 무한요소)

  • 양신추;윤정방;이인모
    • Computational Structural Engineering
    • /
    • v.2 no.3
    • /
    • pp.85-95
    • /
    • 1989
  • This paper presents a study of soil-structure interaction problems using infinite elements. The infinite elements are formulated for homogeneous and layered soil media, based on approximate expressions for three components of propagating waves, namely the Rayleigh, compressive and shear waves. The integration scheme which was proposed for problems with single wave component by waves. The integration scheme which was proposed for problems with single wave component by Zenkiewicz is expanded to the multi-waves problem. Verifications are carried out on rigid circular footings which are placed on and embedded in elastic half space. Numerical analysis is performed for a containment structure of a nuclear power plant subjected to a horizontal seismic excitation.

  • PDF

A Study on Efficient CRI managing for Certificate Status Validate in Distributed OCSP (분산 OCSP에서 인증서 상태 검증을 위한 효율적인 CRI 운영에 관한 연구)

  • Kim, Young-Ja;Chang, Tae-Mu
    • Journal of the Korea Society of Computer and Information
    • /
    • v.13 no.3
    • /
    • pp.91-97
    • /
    • 2008
  • The conventional CA(Certificate Authority) has problems in dealing with certificates whose valid time is expired and in managing CRI (Certificate Revocation Information) produced by clients. Many researches are conducted to solve them, but they have limitations in providing real-time verifications of certificates' status for clients. In this paper, we propose a new CRI management model to address these limitations in distributed OCSP(On-line Certificate Status Protocol) environments. CRL(Certificate Revocation List) is divided into two parts: one part that is recent is replicated over several OCSP servers, the other part is replicated and distributed over servers. Our methods can help to break the bottleneck of CA, and effectively reduce the size of CRL transferred. Therefore, with our methods, clients can verify the state of certificates in real time.

  • PDF

A Review of Library Information Service Utilizing Mobile Technology (모바일 기술을 활용한 도서관 정보서비스에 대한 고찰)

  • Kim, Hye-Sun
    • Journal of Information Management
    • /
    • v.33 no.3
    • /
    • pp.105-119
    • /
    • 2002
  • Since mobile internet technology emerging from late 1990's provides anytime and anywhere accessibility to information, mobile is adapted in the various field to increase efficiency of work. After looking into the trend of mobile contents services, case studies of information services using mobile were investigated in this paper. Library information services are providing retrieval of library OPAC and verifications of circulation and return date using mobile internet technology. In addition, various notice services using short message service(SMS) of mobile are available. Considering growing mobile users and advancement of related technology, more information services utilizing mobile should be developed in near future.

Seismic behavior of frames with innovative energy dissipation systems (FUSEIS 1-1)

  • Dougka, Georgia;Dimakogianni, Danai;Vayas, Ioannis
    • Earthquakes and Structures
    • /
    • v.6 no.5
    • /
    • pp.561-580
    • /
    • 2014
  • After strong earthquakes conventional frames used worldwide in multi - story steel buildings (e.g. moment resisting frames) are not well positioned according to reparability. Two innovative systems for seismic resistant steel frames incorporated with dissipative fuses were developed within the European Research Program "FUSEIS" (Vayas et al. 2013). The first, FUSEIS1, resembles a vertical Vierendeel beam and is composed of two closely spaced strong columns rigidly connected to multiple beams. In the second system, FUSEIS2, a discontinuity is introduced in the composite beams of a moment resisting frame and the dissipative devices are steel plates connecting the two parts. The FUSEIS system is able to dissipate energy by means of inelastic deformations in the fuses and combines ductility and architectural transparency with stiffness. In case of strong earthquakes damage concentrates only in the fuses which behave as self-centering systems able to return the structure to its initial undeformed shape. Repair work after such an event is limited only to replacing the fuses. Experimental and numerical investigations were performed to study the response of the fuses system. Code relevant design rules for the seismic design of frames with dissipative FUSEIS and practical recommendations on the selection of the appropriate fuses as a function of the most important parameters and member verifications have been formulated and are included in a Design Guide. This article presents the design and performance of building frames with FUSEIS 1-1 based on models calibrated on the experimental results.

Numerical Study on Laser-driven In-Tube Accelerator (LITA) Performance using a Plasma Size Modeling

  • Kim, Sukyum;Toshiro Ohtani;Akihiro Sasoh;Jeung, In-Seuck;Park, Jeong--Yeol
    • Proceedings of the Korean Society of Propulsion Engineers Conference
    • /
    • 2004.03a
    • /
    • pp.320-324
    • /
    • 2004
  • Laser Propulsion is a device that generates thrust using laser energy. Laser-driven In-Tube Accelerator (LITA) has been developed at Tohoku University. LITA is a laser propulsion system that accelerates an object not in an open air but in a tube. Experiments of vertical launching and pressure measurement on the tube wall were carried out and in order to observe the initial state of plasma and blast wave, the visualization experiment was carried out using the shadowgraph method. In this study, the time variation of pressure on the tube wall is numerically simulated solving Euler equation. In order to model the laser energy, heat source function added to the frozen flow Euler equation. Plasma size from the shadowgraph images was used for the initial condition of laser energy input. For verification of the modeling, these results were compared with the previous experimental and numerical results. From these verifications, an analysis of LITA performance will be investigated.

  • PDF

Semi-active leverage-type isolation system considering minimum structural energy

  • Lin, Tzu-Kang;Lu, Lyan-Ywan;Chen, Chi-Jen
    • Smart Structures and Systems
    • /
    • v.21 no.3
    • /
    • pp.373-387
    • /
    • 2018
  • Semi-active isolation systems based on leverage-type stiffness control strategies have been widely studied. The main concept behind this type of system is to adjust the stiffness in the isolator to match the fundamental period of the isolated system by using a simple leverage mechanism. Although this system achieves high performance under far-field earthquakes, it is unsuitable for near-fault strong ground motion. To overcome this problem, this study considers the potential energy effect in the control law of the semi-active isolation system. The minimal energy weighting (MEW) between the potential energy and kinetic energy was first optimized through a series of numerical simulations. Two MEW algorithms, namely generic and near-fault MEW control, were then developed to efficiently reduce the structural displacement responses. To demonstrate the performance of the proposed method, a two-degree-of-freedom structure was employed as a benchmark. Numerical results indicate that the dynamic response of the structure can be effectively dampened by the proposed MEW control under both far-field and near-fault earthquakes, whereas the structural responses resulting from conventional control methods may be greater than those for the purely passive control method. Moreover, according to experimental verifications, both the generic and near-fault MEW control modes yielded promising results under impulse-like earthquakes. The practicability of the proposed control algorithm was verified.

The Development of an Event Rainfall-Runoff Model in Small Watersheds (홍수 사상에 대한 소유역 강우-유출 모형 개발)

  • 이상호;이길성
    • Water for future
    • /
    • v.27 no.3
    • /
    • pp.145-158
    • /
    • 1994
  • The linear reservoir rainfall-runoff system was developed as a rainfall-runoff event simulation model. It was achieved from large modification of runoff function method. There are six parameters in the model. Hydrologic losses consist of some quantity of initial loss and some ratio of rainfall intensity followed by initial loss. The model has analytical routing equations. Hooke and Jeeves algorithm was used to model calibration. Parameters were estimated for flood events from '84 to '89 at Seomyeon and Munmak stream gauges, and the trends of major parameters were analyzed. Using the trends, verifications were performed for '90 flood event. Because antecedent fainfalls affect initial loss, future researches are required on such effects. The estimation method of major parameters should also be studied for real-time forecasting.

Traffic Fuzzy Control : Software and Hardware Implementations

  • Jamshidi, M.;Kelsey, R.;Bisset, K.
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1993.06a
    • /
    • pp.907-910
    • /
    • 1993
  • This paper describes the use of fuzzy control and decision making to simulate the control of traffic flow at an intersection. To show the value of fuzzy logic as an alternative method for control of traffic environments. A traffic environment includes the lanes to and from an intersection, the intersection, vehicle traffic, and signal lights in the intersection. To test the fuzzy logic controller, a computer simulation was constructed to model a traffic environment. A typical cross intersection was chosen for the traffic environment, and the performance of the fuzzy logic controller was compared with the performance of two different types of conventional control. In the hardware verifications, fuzzy logic was used to control acceleration of a model train on a circular path. For the software experiment, the fuzzy logic controller proved better than conventional control methods, especially in the case of highly uneven traffic flow between different directions. On the hardware si e of the research, the fuzzy acceleration control system showed a marked improvement in smoothness of ride over crisp control.

  • PDF

Real-Time Implementation of Shunt Active Filter P-Q Control Strategy for Mitigation of Harmonics with Different Fuzzy M.F.s

  • Mikkili, Suresh;Panda, Anup Kumar
    • Journal of Power Electronics
    • /
    • v.12 no.5
    • /
    • pp.821-829
    • /
    • 2012
  • This research article presents a novel approach based on an instantaneous active and reactive power component (p-q) theory for generating reference currents for shunt active filter (SHAF). Three-phase reference current waveforms generated by proposed scheme are tracked by the three-phase voltage source converter in a hysteresis band control scheme. The performance of the SHAF using the p-q control strategy has been evaluated under various source conditions. The performance of the proposed control strategy has been evaluated in terms of harmonic mitigation and DC link voltage regulation. In order to maintain DC link voltage constant and to generate the compensating reference currents, we have developed Fuzzy logic controller with different (Trapezoidal, Triangular and Gaussian) fuzzy M.F.s. The proposed SHAF with different fuzzy M.F.s is able to eliminate the uncertainty in the system and SHAF gains outstanding compensation abilities. The detailed simulation results using MATLAB/SIMULINK software are presented to support the feasibility of proposed control strategy. To validate the proposed approach, the system is also implemented on a real time digital simulator and adequate results are reported for its verifications.