• Title/Summary/Keyword: Design of System

Search Result 53,387, Processing Time 0.092 seconds

Safety Evaluation on Real Time Operating Systems for Safety-Critical Systems (안전필수(Safety-Critical) 시스템의 실시간 운영체제에 대한 안전성 평가)

  • Kang, Young-Doo;Chong, Kil-To
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.10
    • /
    • pp.3885-3892
    • /
    • 2010
  • Safety-Critical systems, such as Plant Protection Systems in nuclear power plant, plays a key role that the facilities can be operated without undue risk to the health and safety of public and environment, and those systems shall be designed, fabricated, installed, and tested to quality standards commensurate with the importance of the functions to be performed. Computer-based Instrumentation and Control Systems to perform the safety-critical function have Real Time Operating Systems to control and monitoring the sub-system and executing the application software. The safety-critical Real Time Operating Systems shall be designed, analyzed, tested and evaluated to have capability to maintain a high integrity and quality. However, local nuclear power plants have applied the real time operating systems on safety critical systems through Commercial Grade Item Dedication method, and this is the reason of lack of detailed methodology on assessing the safety of real time operating systems, expecially to the new developed one. This paper presents the methodology and experiences of safety evaluation on safety-critical Real Time Operating Systems based upon design requirements. This paper may useful to develop and evaluate the safety-critical Real Time Operating Systems in other industry to ensure the safety of public and environment.

Design and Analysis of Role-based Security Management Model for Policy-based Security Management in SNMPv3 Network (SNMPv3 통신망의 정책기반 보안관리를 위한 역할기반 보안관리 모델의 설계 및 분석)

  • Ju, Gwang-Ro;Lee, Hyeong-Ho;No, Bong-Nam
    • The KIPS Transactions:PartC
    • /
    • v.8C no.5
    • /
    • pp.573-584
    • /
    • 2001
  • Policy-Based Network Management (PBNM) architecture is to meet various needs of network users and to provide effective management facilities in distributed and large scale networks to network managers. In PBNM, network managers perform network management operations by stipulating a set of rules rather than control each network component. On the other hand, providing security services such as authentication, privacy of messages as well as a new flexible and extensible administration framework, SNMPv3 enables network managers to monitor and control the operation of network components more secure way than ever before. Despite of its enhanced security services, SNMPv3 has difficulties in managing distributed, large-scaled network because it does not provide centralized security management facilities. In this paper, we propose a new security model called Role-based Security Management model (RSM) with security management policy to support scalable and centralized security management for SNMP-based networks. Also, the structure and the operation of the security system as well as the efficiency analysis of RSM in terms of security management are also described.

  • PDF

Stress and Fatigue Evaluation of Distributor for Heat Recovery Steam Generator in Combined Cycle Power Plant (복합발전플랜트 배열회수보일러 분배기의 응력 및 피로 평가)

  • Lee, Boo-Youn
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.8
    • /
    • pp.44-54
    • /
    • 2018
  • Stress and fatigue of the distributor, an equipment of the high-pressure evaporator for the HRSG, were evaluated according to ASME Boiler & Pressure Vessel Code Section VIII Division 2. First, from the results of the piping system analysis model, reaction forces of the tubes connected to the distributor were derived and used as the nozzle load applied to the detailed analysis model of the distributor afterward. Next, the detailed model to analyze the distributor was constructed, the distributor being statically analyzed for the design condition with the steam pressure and the nozzle load. As a result, the maximum stress occurred at the bore of the horizontal nozzle, and the primary membrane stress at the shell and nozzle was found to be less than the allowable. Next, for the transient operating conditions given for the distributor, thermal analysis was performed and the structural analysis was carried out with the steam pressure, nozzle load, and thermal load. Under the transient conditions, the maximum stress occurred at the vertical downcomer nozzle, and of which fatigue life was evaluated. As a result, the cumulative usage factor was less than the allowable and hence the distributor was found to be safe from fatigue failure.

Issues in Applying CV Methods to the Preliminary Feasibility Test (예비타당성조사 적용 CVM의 분석체계와 개선과제)

  • Eom, Young Sook;Kwon, Oh-Sang;Shin, Youngchul
    • Environmental and Resource Economics Review
    • /
    • v.20 no.3
    • /
    • pp.595-628
    • /
    • 2011
  • This study investigates the issues and suggests reform measures in applying CV methods to the Korea Development Institute's (KDI's) Preliminary Feasibility Test (PFT) of public projects. Most public projects on culture, science and environment evaluated under the PFT system belong to the category of "nonstandard" projects whose outputs are non-marketed, and CV is currently the main tool used for their benefit estimation. A careful discussion and investigation is recommended for the selection of target population, payment vehicle, and number of payment times. Operating expert reviews, focus group interviews, and pre-tests is highly recommended to reduce the potential bias involved in the CV studies. A single or double bounded dichotomous choice format is the most popular design of questionnaire, but we identify several undissolved issues in designing and implementing the format. Some other forms of inducing WTPs may still deserve our consideration. Various specifications of the WTP function need to be tried and tested based on their stability, in particular. Employing a nonparametric approach is also recommended. Treatments of 0 or negative WTPs and protest bids are shown to be the most serious issues that affect the estimation results significantly. We review diverse measures of handling those issues and summarize their advantages and shortcomings.

  • PDF

Development of a Interface Structure of Bogie and Carbody in Mountain Tram running on sharp Curves (급곡선 급경사 운행 산악트램의 대차 및 차체 연결 구조 개발)

  • Seo, Sung-il;Mun, Hyung-Suk
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.19 no.7
    • /
    • pp.275-282
    • /
    • 2018
  • Mountain trams are an environmental-friendly transportation system that run wirelessly on an embedded track constructed on previous mountain roads, and can run despite the frozen road. On the other hand, there is some difficulty on sharp and steep tracks. In this study, after possible technical problems were defined in mountain trams running on a sharp and steep track, the design solutions for the interface structure of bogie and carbody were proposed. In addition, a prototype was made and its performance was tested to verify the solutions. Because the difference in the distance of the inner and outer rails on a sharp curve is severe enough to interrupt running, independent rotating wheels with different angular speeds were developed and applied. To prevent derailment due to the large attack angle and lateral force caused by the previous vehicle of 2bogie-and-1carbody on the sharp curve, a vehicle with 1bogie-and-1carbody was designed and applied. A prototype vehicle of 1bogie-and-1carbody with independent rotating wheels was made to improve the performance during the test running on a small track. A coupler was designed to absorb the large rotations of 3 degrees-of-freedom between the carbodies of a mountain tram running on the steep curved track. After a small scale prototype was made, the performance was verified by a function test.

Characteristic Analysis of Permanent Magnet Linear Generator by using Space Harmonic Method (공간고조파법을 이용한 영구자석 선형 발전기의 특성 해석)

  • Seo, Seong-Won;Choi, Jang-Young;Kim, Il-Jung
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.1
    • /
    • pp.688-695
    • /
    • 2017
  • This paper deals with characteristics analysis of a permanent magnet (PM) linear generator using analytical methods for wave energy harvesting. The wave energy is carried out from the movement of a yo-yo system. A linear generator using permanent magnets to generate a magnetic force itself does not require a separate power supply and has the advantage of simple maintenance. In addition to the use of a rare earth, a permanent magnet having a high-energy density can be miniaturized and lightweight, and can obtain high energy-conversion efficiency. We derived magnetic field solutions produced by the permanent magnet and armature reaction based on 2D polar coordinates and magnetic vector potential. Induced voltage is obtained via arbitrary sinusoidal input. In addition, electrical parameters are obtained, such as back-EMF constant, resistance, and self- and mutual-winding inductances. The space harmonic method used in this paper is confirmed by comparing it with finite element method (FEM) results. These facilitate the characterization of the PM-type linear generator and provide a basis for comparative studies, design optimization, and machine dynamic modeling.

Implementation of Uncertainty Processor for Tracking Vehicle Trajectory (차량 궤적 추적을 위한 불확실성 처리기 구현)

  • Kim, Jin-Suk;Kim, Dong-Ho;Ryu, Keun-Ho
    • The KIPS Transactions:PartD
    • /
    • v.11D no.5
    • /
    • pp.1167-1176
    • /
    • 2004
  • Along the advent of Internet technology, the computing environment has been considerably changed in many application domains. Especially, a lot of researches for e-Logistics have been done for the last 3 years. The e-Logistics means the virtual business activity and service architecture among the logistics companies based on the Internet technology. To construct effectively the e-Logistics framework, researches on the development of the Moving Object Technology(MOT) including GPS and GIS with spatiotemporal databases technique so far has been done The Moving Object Technology stands for the efficient management for the spatiotemporal objects such as vehicles, airplanes, and vessels which change continuously their spatial location along with time flows. However, most systems manage just only the location information detected lately by many reasons so that the uncertainty processing for the past and future location of the moving objects is still very hard. In this paper, we propose the moving object uncertainty model and system design for e-Logistics applications. The MOMS architecture in e-Logistics is suggested and the detailed explain of sub-systems including the uncertainty processor of moving objects is described. We also explain the comprehensive examples of MOMS and uncertainty processing in Delivery Parcel Application that is one of major application of e-Logistics domain.

Economic Analysis of Dam Operation Improvement by Dam Downstream River Improvement Works ( I )-Recovered Benefits of Water Supply and Hydropower Generation (댐하류하천정비사업의 댐 운영개선 효과 경제성 분석 (I) -용수공급 및 발전생산 회복편익)

  • Lee, Gwang-Man;Lee, Eul-Rae;Yoo, Seung-Hoon
    • Journal of Korea Water Resources Association
    • /
    • v.44 no.9
    • /
    • pp.753-763
    • /
    • 2011
  • Allocated water storage of dam at the planning and design stage does not seem to be maintained well at the operation stage because of unexpected critical reasons. A dam is likely to be subject to negative effects caused by changes of dam operation conditions and it is hardly avoidable. Therefore, it must be timely improved to recover its original functions and looked for better alternatives to keep its original roles. Specifically the improper management of river condition degrades flood control capability in a dam and river eco-system. The dam downstream river improvement work is needed for normalizing dam functions and its valuations. This study focuses on estimating water use benefits from recovering its own effective storage buffer restricted for flood control. As the results, the water supply and the hydropower benefits in Imha, Daechung and Youngdam Dam are recovered totally by 19.9 million $m^3$/year and 20.8 GWh/year respectively. Also those results are used for the basic information of the economic analysis in the dam downstream river improvement work.

Analysis of Changes in Rainfall Frequency Under Different Thresholds and Its Synoptic Pattern (절점기준에 따른 강우빈도 변화 및 종관기후학적 분석)

  • Kim, Tae-Jeong;Kwon, Hyun-Han
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.36 no.5
    • /
    • pp.791-803
    • /
    • 2016
  • Recently, frequency of extreme rainfall events in South Korea has been substantially increased due to the enhanced climate variability. Korea is prone to flooding due to being surrounded by mountains, along with high rainfall intensity during a short period. In the past three decades, an increase in the frequency of heavy rainfall events has been observed due to enhanced climate variability and climate change. This study aimed to analyze extreme rainfalls informed by their frequency of occurrences using a long-term rainfall data. In this respect, we developed a Poisson-Generalized Pareto Distribution (Poisson-GPD) based rainfall frequency method which allows us to simultaneously explore changes in the amount and exceedance probability of the extreme rainfall events defined by different thresholds. Additionally, this study utilized a Bayesian approach to better estimate both parameters and their uncertainties. We also investigated the synoptic patterns associated with the extreme events considered in this study. The results showed that the Poisson-GPD based design rainfalls were rather larger than those of based on the Gumbel distribution. It seems that the Poisson-GPD model offers a more reasonable explanation in the context of flood safety issue, by explicitly considering the changes in the frequency. Also, this study confirmed that low and high pressure system in the East China Sea and the central North Pacific, respectively, plays crucial roles in the development of the extreme rainfall in South Korea.

Case Study of Home Economics Curriculum in Victoria Australia (호주 빅토리아주 가정과교육과정에 대한 사례연구)

  • Yu, Nan Sook
    • Journal of Korean Home Economics Education Association
    • /
    • v.32 no.2
    • /
    • pp.19-42
    • /
    • 2020
  • The purposes of this study were to analyze the home economics(hereafter HE) curriculum in Victoria State, Australia, and to derive the implications for the HE curriculum in Korea. To accomplish the purposes, the contents of the curriculum were analyzed through the relevant web pages, and the actual conditions of the HE curriculum implementation were identified through e-mail and interviews with HE teachers and administrator. The results of this study were as follows. First, the HE curriculum for F-10 was one of the cross-curriculum resources based on the content descriptions and achievement standards of 'Design and Technologies' and 'Health and Physical Education' curriculum. Because the HE curriculum is competency-based curriculum and did not stipulate what was to be taught then, HE teachers had lots of autonomy in organizing and operating the curriculum, which led to the need for professionalism. Second, VCE subjects, both 'Food Studies' and 'Health and Human Development', which are HE elective curriculum for 11th and 12th graders, require students to take written tests produced by the VCAA. Because there are no specific details to be taught in the curriculum, the HE teacher had the need to devise and operate various classes to foster problem-solving skills, critical thinking skills, etc. Third, HE teachers had the discretion to create all the subject names, contents to deal with, and evaluations to prepare for the school curriculum, and thus were exerting their professionalism. This was due to the fact that the system was well equipped and VCE subjects were audited, even though teachers' performances were related to their individual competencies.