• Title/Summary/Keyword: Design validation

검색결과 1,273건 처리시간 0.025초

System-on-chip single event effect hardening design and validation using proton irradiation

  • Weitao Yang;Yang Li;Gang Guo;Chaohui He;Longsheng Wu
    • Nuclear Engineering and Technology
    • /
    • 제55권3호
    • /
    • pp.1015-1020
    • /
    • 2023
  • A multi-layer design is applied to mitigate single event effect (SEE) in a 28 nm System-on-Chip (SoC). It depends on asymmetric multiprocessing (AMP), redundancy and system watchdog. Irradiation tests utilized 70 and 90 MeV proton beams to examine its performance through comparative analysis. Via examining SEEs in on-chip memory (OCM), compared with the trial without applying the multi-layer design, the test results demonstrate that the adopted multi-layer design can effectively mitigate SEEs in the SoC.

역설계 기법을 이용한 풍력터빈 에어포일 형상 설계 (Inverse Airfoil Design for Wind Turbine)

  • 유기완;박명호
    • 풍력에너지저널
    • /
    • 제4권2호
    • /
    • pp.55-60
    • /
    • 2013
  • The mathematical implementation for inverse airfoil design of wind turbines is presented using vortex panel method based on assumptions of the two-dimensional incompressible potential flow. The vortex panel method employs linear distribution of the vortex strength to obtain the well converged solution. Stream function is adopted to get the basic formula for the inverse airfoil design, and a symmetric seed airfoil is given for initial data of the iteration approach. The final airfoil shape has been compared with the original airfoil shape for validation of the mathematical procedure.

Development of Airworthiness Database System with Validation Process for Design Programs of General Aviation Aircraft

  • Lwin, Tun;Lee, Jae Woo;Kim, Sangho;Lee, Hyojin
    • International Journal of Aeronautical and Space Sciences
    • /
    • 제13권4호
    • /
    • pp.435-445
    • /
    • 2012
  • In this paper, a design process is established by integrating aviation safety requirements for the development of general aviation aircraft. An Airworthiness-Design Integration System, which integrates certification requirements with the entire design/analysis process, is developed and presented. For the proposed system, KAS 23/FAR 23/AC 23/CS 23 certification regulations are analyzed to determine design constraints and system compliance checks and to construct an ER&G (Engineering Requirement and Guide) and a Design-Certification Related Table (DCRT). Furthermore, through building a DB (Data Base), the management of design and certification related resources for developing a FAR 23 class aircraft are made. Certification tools and resources are also efficiently managed by the DB. The connection between the certification requirements and the detailed design process is proposed in this system. Tracking of this proposed method is validated by configuring a USE CASE and a system. The Airworthiness-Design Integration system will be constructed based on the system's design plan, certification system, and usage scenarios.

원전 안전통신망을 위한 TDMA 기반의 프로토콜 개발 (Development of TDMA-Based Protocol for Safety Networks in Nuclear Power Plants)

  • 김동훈;박성우;김정헌
    • 대한전기학회논문지:시스템및제어부문D
    • /
    • 제55권7호
    • /
    • pp.303-312
    • /
    • 2006
  • This paper proposes the architecture and protocol of a data communication network for the safety system in nuclear power plants. First, we establish four design criteria with respect to determinability, reliability, separation and isolation, and verification/validation. Next we construct the architecture of the safety network for the following systems: PPS (Plant Protection System), ESF-CCS (Engineered Safety Features-Component Control System) and CPCS (Core Protection Calculator System). The safety network consists of 12 sub-networks and takes the form of a hierarchical star. Among 163 communication nodes are about 1600 origin-destination (OD) pairs created on their traffic demands. The OD pairs are allowed to exchange data only during the pre-assigned time slots. Finally, the communication protocol is designed in consideration of design factors for the safety network. The design factors include a network topology of star, fiber-optic transmission media, synchronous data transfer mode, point-to-point link configuration, and a periodic transmission schedule etc. The resulting protocol is the modification of IEEE 802.15.4 (LR-WPAN) MAC combined with IEEE 802.3 (Fast Ethernet) PHY. The MAC layer of IEEE 802.15.4 is simplified by eliminating some unnecessary (unctions. Most importantly, the optional TDMA-like scheme called the guaranteed time slot (GTS) is changed to be mandatory to guarantee the periodic data transfer. The proposed protocol is formally specified using the SDL. By performing simulations and validations using Telelogic Tau SDL Suite, we find that the proposed safety protocol fits well with the characteristics and the requirements of the safety system in nuclear power plants.

항공기의 실속 회복을 위한 자동 회복 장치 설계 및 검증에 관한 연구 (A Study on the Design and Validation of Automatic Pitch Rocker for the Aircraft Deep Stall Recovery)

  • 한성호;황병문;이영호;이동규;안성준;김종섭
    • 제어로봇시스템학회논문지
    • /
    • 제13권1호
    • /
    • pp.6-14
    • /
    • 2007
  • Modem version of supersonic jet fighter aircraft must have been guaranteed appropriate controllability and stability in HAoA(High Angle of Attack). Limit value of aircraft entering into the departure in HAoA is related to aircraft configuration design. But, the control law such as AoA and yaw-rate limiter is implemented in digital Fly-By-Wire flight control system of supersonic jet fighter to guarantee the aircraft's safety in HAoA. The HAoA flight control law have two parts, one is control law of departure prevention and the other is control law of departure recovery support. The control laws of departure prevention for advanced jet trainer consist AoA limiter, roll command limiter and rudder fader. The control laws of departure recovery support are consist yaw-rate limiter and MPO(Manual Pitch Override) mode. The guideline of pitch rocking using MPO mode is simple, but operating skill of pitch rocking is very difficult by the pilot with inexperience of departure situation. This paper addresses the design and validation of APR(Automatic Pitch Rocker) control law instead of MPO in order to automatic recovery without manual pitch rocking by the pilot. And, recovery characteristic with APR verifies by the nonlinear analysis and pilot evaluation.

NURBS를 이용한 S형 천음속 흡입관 최적 설계 (OPTIMAL SHAPE DESIGN OF A S-SHAPED SUBSONIC INTAKE USING NURBS)

  • 이병준;김종암
    • 한국전산유체공학회지
    • /
    • 제11권1호
    • /
    • pp.57-66
    • /
    • 2006
  • An optimal shape design approach is presented for a subsonic S-shaped intake using aerodynamic sensitivity analysis. Two-equation turbulence model is employed to capture strong counter vortices in the S-shaped duct more precisely. Sensitivity analysis is performed for the three-dimensional Navier-Stokes equations coupled with two-equation turbulence models using a discrete adjoint method For code validation, the result of the flow solver is compared with experiment data and other computational results of bench marking test. To study the influence oj turbulence models and grid refinement on the duct flow analysis, the results from several turbulence models are compared with one another and the minimum number of grid points, which can yield an accurate solution is investigated The adjoint variable code is validated by comparing the complex step derivative results. To realize a sufficient and flexible design space, NURBS equations are introduced as a geometric representation and a new grid modification technique, Least Square NURBS Grid Approximation is applied With the verified flow solver, the sensitivity analysis code and the geometric modification technique, the optimization of S-shaped intake is carried out and the enhancement of overall intake performance is achieved The designed S-shaped duct is tested in several off-design conditions to confirm the robustness of the current design approach. As a result, the capability and the efficiency of the present design tools are successfully demonstrated in three-dimensional highly turbulent internal flow design and off-design conditions.

Development of Field Programmable Gate Array-based Reactor Trip Functions Using Systems Engineering Approach

  • Jung, Jaecheon;Ahmed, Ibrahim
    • Nuclear Engineering and Technology
    • /
    • 제48권4호
    • /
    • pp.1047-1057
    • /
    • 2016
  • Design engineering process for field programmable gate array (FPGA)-based reactor trip functions are developed in this work. The process discussed in this work is based on the systems engineering approach. The overall design process is effectively implemented by combining with design and implementation processes. It transforms its overall development process from traditional V-model to Y-model. This approach gives the benefit of concurrent engineering of design work with software implementation. As a result, it reduces development time and effort. The design engineering process consisted of five activities, which are performed and discussed: needs/systems analysis; requirement analysis; functional analysis; design synthesis; and design verification and validation. Those activities are used to develop FPGA-based reactor bistable trip functions that trigger reactor trip when the process input value exceeds the setpoint. To implement design synthesis effectively, a model-based design technique is implied. The finite-state machine with data path structural modeling technique together with very high speed integrated circuit hardware description language and the Aldec Active-HDL tool are used to design, model, and verify the reactor bistable trip functions for nuclear power plants.

Development and validation of reactor nuclear design code CORCA-3D

  • An, Ping;Ma, Yongqiang;Xiao, Peng;Guo, Fengchen;Lu, Wei;Chai, Xiaoming
    • Nuclear Engineering and Technology
    • /
    • 제51권7호
    • /
    • pp.1721-1728
    • /
    • 2019
  • The advanced node core code CORCA-3D is one of the independent developed codes of NPIC for the nuclear reactor core design. CORCA-3D code can calculate the few-group cross section, solve the 3D diffusion equations, consider the thermal-hydraulic feedback, reconstruct the pin-by-pin power. It has lots of functions such as changing core status calculation, critical searching, control rod value calculation, coefficient calculation and so on. The main theory and functions of CORCA-3D code are introduced and validated with a lot of reactor measured data and the SCIENCE system. Now, CORCA-3D code has been applied in ACP type reactor nuclear cores design.

A CBR-BASED COST PREDICTION MODEL FOR THE DESIGN PHASE OF PUBLIC MULTI-FAMILY HOUSING CONSTRUCTION PROJECTS

  • TaeHoon Hong;ChangTaek Hyun;HyunSeok Moon
    • 국제학술발표논문집
    • /
    • The 3th International Conference on Construction Engineering and Project Management
    • /
    • pp.203-211
    • /
    • 2009
  • Korean public owners who order public multi-family housing construction projects have yet to gain access to a model for predicting construction cost. For this reason, their construction cost prediction is mainly dependent upon historic data and experience. In this paper, a cost-prediction model based on Case-Based Reasoning (CBR) in the design phase of public multi-family housing construction projects was developed. The developed model can determine the total construction cost by estimating the different Building, Civil, Mechanical, Electronic and Telecommunication, and Landscaping work costs. Model validation showed an accuracy of 97.56%, confirming the model's excellent viability. The developed model can thus be used to predict the construction cost to be shouldered by public owners before the design is completed. Moreover, any change orders during the design phase can be immediately applied to the model, and various construction costs by design alternative can be verified using this model. Therefore, it is expected that public owners can exercise effective design management by using the developed cost prediction model. The use of such an effective cost prediction model can enable the owners to accurately determine in advance the construction cost and prevent increase or decrease in cost arising from the design changes in the design phase, such as change order. The model can also prevent the untoward increase in the duration of the design phase as it can effectively control unnecessary change orders.

  • PDF

사용자 인터페이스 구성요소의 레이아웃을 위한 SLP 적용 및 검증 (SLP Application and Validation for the Layout of User Interface Components)

  • 신현봉;정광태
    • 산업공학
    • /
    • 제18권4호
    • /
    • pp.485-493
    • /
    • 2005
  • In this study, a method that can objectively and systematically design the layout of user interface components was developed. In order to explain its application method, the method was applied to the layout design of facsimile. In particular, in order to validate the suitability of the method, comparison tests were performed for the case of facsimile. Computer simulators for layout design were made using Micromedia Flash and comparison evaluation for an existing layout and a new layout was performed in three aspects. The first comparison method was to measure and compare its movement distance when carrying out a task in two layout models. The second one was to measure and compare users' performance. The last one was to measure and compare users' subjective satisfaction after using two models. As the result, new layout design was better than the existing design in all comparison tests. The movement distance of the new layout design model was shorter than the existing model. And, its performance including task completion time and error frequency was better and users' satisfaction was higher than the existing. In conclusion, the method that was developed in this study can be very effectively used in the layout design of user interface components.