• 제목/요약/키워드: State Explosion

검색결과 154건 처리시간 0.031초

고장메커니즘 기반의 임베디드 시스템 SW 테스트 방법에 관한 연구 (A Study of Testing Embedded System Software Based on Failure Mechanisms)

  • 정시영;장중순;이상용
    • 한국신뢰성학회지:신뢰성응용연구
    • /
    • 제7권4호
    • /
    • pp.137-148
    • /
    • 2007
  • Rapid increase of embedded systems in electronic and mechanical control systems requires reliable and error-free embedded software. State-based testing methods like FSM are usually used to assure the reliability of embedded software. However, because of possibility of explosion of test cases, only partial test cases are considered in practical tests, which cannot guarantee that all the possible errors are investigated. This study proposes a test procedure based on failure mechanisms that may occur in embedded systems, which can not only assure that certain kinds of possible errors are detected but reduce the testing time. The proposed procedure is applied to vehicle air control system.

  • PDF

High Energy Observational Investigations of Supernova Remnants and their Interactions with Surroundings

  • Hui, Chung-Yue
    • Journal of Astronomy and Space Sciences
    • /
    • 제30권3호
    • /
    • pp.127-132
    • /
    • 2013
  • Here we review the effort of Fermi Asian Network (FAN) in exploring the supernova remnants (SNRs) with state-of-art high energy observatories, including Fermi Gamma-ray Space Telescope and Chandra X-ray Observatory, in the period of 2011- 2012. Utilizing the data from Fermi LAT, we have discovered the GeV emission at the position of the Galactic SNR Kes 17 which provides evidence for the hadronic acceleration. Our study also sheds light on the propagation of cosmic rays from their acceleration site to the intersteller medium. We have also launched an identification campaign of SNR candidates in the Milky Way, in which a new SNR G308.3-1.4 have been uncovered with our Chandra observation. Apart from the remnant, we have also discovered an associated compact object at its center. The multiwavelength properties of this X-ray source suggest it can possibly be the compact binary that survived a supernova explosion.

Moving Mesh를 이용한 PCV 밸브의 내부유동 수치해석 (A numerical analysis for internal fluid flow of a PCV valve by using moving mesh)

  • 이종훈;최윤환;이연원
    • 동력기계공학회지
    • /
    • 제9권2호
    • /
    • pp.40-44
    • /
    • 2005
  • A great deal of exhaust gas inside a combustion room goes out through exhaust pipe but residual gas, is called "Blowby gas", enters the crankcase through a small gap between the piston and the cylinder wall. Here, if the crankcase isn't vented, this causes many bad effects such as lubricant oil contamination, corrosion by that and crankcase explosion by rising pressure. So, most automobiles are constituted with a PCV (Positive Crankcase Ventilation) system to prevent previous problems. PCV valve is the most important part in this ventilation system. When companies are manufacturing new engines, engineers are designing it depending on their experiments than theoretical knowledge. Mush efforts and times are needed for new development. This study will show quantitative results to increase the possibilities of reduction of developing time.

  • PDF

Ghost Fluid concept기반의 에너지 물질의 Multi Physics 연구 (Multi Physics research of Energy material using Ghost Fluid concept)

  • 김기홍;여재익
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2006년도 제27회 추계학술대회논문집
    • /
    • pp.299-302
    • /
    • 2006
  • 본 연구에서는 화학적으로 활성화된 에너지 물질의 경계면을 정확하게 추적하는 기법을 소해한다. 이러한 경계면 추적기법은 Level Set기반의 Ghost Fluid Concept을 이용하여 폭발과 같은 화학적 현상을 포함하는 에너지 물질의 경계면을 정확하게 파악하고, 쉽게 multi material, phase등과 같은 현상으로 확장이 가능하다. 본 연구에서는 이러한 multi physics modeling을 위한 선행연구로써 basic sharp interface tracking, impact problem에 대해서 소개할 것이다.

  • PDF

Failure Modeling of Bridge Components Subjected to Blast Loading Part I: Strain Rate-Dependent Damage Model for Concrete

  • Wei, Jun;Quintero, Russ;Galati, Nestore;Nanni, Antonio
    • International Journal of Concrete Structures and Materials
    • /
    • 제1권1호
    • /
    • pp.19-28
    • /
    • 2007
  • A dynamic constitutive damage model for reinforced concrete (RC) structures and formulations of blast loading for contact or near-contact charges are considered and adapted from literatures. The model and the formulations are applied to the input parameters needed in commercial finite element method (FEM) codes which is validated by the laboratory blast tests of RC slabs from literature. The results indicate that the dynamic constitutive damage model based on the damage mechanics and the blast loading formulations work well. The framework on the dynamic constitutive damage model and the blast loading equations can therefore be used for the simulation of failure of bridge components in engineering applications.

Filament Winding에 의한 Composite Hollow Bushing용 GRP tube의 특성 (Characteristics of GRP tube using Composite Hollow Bushing by Filament Winding)

  • 조한구;강형경;유대훈
    • 한국전기전자재료학회:학술대회논문집
    • /
    • 한국전기전자재료학회 2008년도 추계학술대회 논문집 Vol.21
    • /
    • pp.378-379
    • /
    • 2008
  • Recently, composite hollow bushings have been increasingly employed mainly from the various characteristics. Composite bushings are superior to porcelain bushings in several respects, including lighter weight, better anti-pollution and anti-explosion properties, and easer manufacturing. Filament wound GRP tubes which have various winding angle were manufactured by using a filament winding machine. This paper will show some design issues and winding condition for composite bushing. And, results show that the winding condition of composite GRP tubes can be used to improved their bending strength and pressure, For bending and pressure tested, tubes with the hybrid winding pattern show higher strength than those of unit winding pattern. Also, the influence of absorption was evaluated through such as measurement of the dye penetration test and water diffusion test, also aspects of surface state using scanning electron microscopy.

  • PDF

피스톤 냉각용 Oil Jet 유동 수치해석 (A Numerical investigation of Oil Jet in an Engine Piston)

  • 리리;권지혁;정호윤;최윤환;이연원
    • 한국마린엔지니어링학회:학술대회논문집
    • /
    • 한국마린엔지니어링학회 2005년도 후기학술대회논문집
    • /
    • pp.33-34
    • /
    • 2005
  • The internal state of an automotive engine is very severe. A piston exposes burnt gas of over $2000^{\circ}$ nd is shocked by high pressure at the time of explosion. Furthermore strong friction is caused by high speed motion. A study on the cooling of the piston requires because the cooling and lubrication of the piston has an effect on the life and efficiency of engine directly. The previous system of oil jet cooled only the bottom of the piston. In order to improve the cooling efficiency, the oil gallery is made inside the piston, and oil flows into the oil gallery. The flow rate of oil at the entrance of oil gallery is important because of the cooling efficiency. The purpose of this study is the investigation of fluid flow characteristics of oil jet and flow rate into the oil gallery.

  • PDF

Moving Mesh를 이용한 PCV 밸브의 내부유동 수치 해석 (A numerical analysis for internal fluid flow of a PCV valve by using moving mesh)

  • 이종훈;리리;김영국;최윤환;이연원
    • 한국전산유체공학회:학술대회논문집
    • /
    • 한국전산유체공학회 2004년도 추계 학술대회논문집
    • /
    • pp.19-24
    • /
    • 2004
  • A great deal of exhaust gas inside a combustion room goes out through exhaust pipe but residual gas, is called 'Blow by gas', enters the crankcase through a small gap between the piston and the cylinder wall. Here, if the crankcase isn't vented, this causes many bad effects such as lubricant oil contamination, corrosion by that and crankcase explosion by rising pressure. So most automobiles are constituted with a PCV(Positive Crankcase Ventilation) system to prevent previous problems. PCV valve is the most important part in this ventilation system. When companies are manufacturing new cases, engineers are designing it depending on their experiments than theoretical knowledges. Much efforts and times are needed for new development. This study will show quantitative results to increase the possibilities.

  • PDF

Regulation of Star Formation in Turbulent, Multiphase Interstellar Media

  • 김창구;김웅태
    • 천문학회보
    • /
    • 제35권1호
    • /
    • pp.66.1-66.1
    • /
    • 2010
  • Using two-dimensional numerical hydrodynamic simulations, we investigate the star formation rate (SFR) in turbulent, multiphase, galactic gaseous disks. Our simulation domain is axisymmetric, and local in the radial direction and global in the vertical direction. Our models include galactic rotation, vertical density stratification, self-gravity, radiative heating and cooling, and thermal conduction, but do not include spiral-arm features. Turbulence in our models is driven by momentum feedback from supernova explosion events occurring in localized dense regions formed by thermal and gravitational instabilities. Self-consistent radiative heating, representing enhanced/reduced FUV photons from the star formation, is also taken into account. By controlling three parameters (the gas surface density, the stellar disk density, and the angular rotation rate) that characterize local galactic disks, we explore how the SFR depends on the background environmental state. We also discuss the relation between the SFR and the gas surface density found in our numerical models in comparison with observations.

  • PDF

LNG선 주증기계통의 열평형산전용 전산프로그램 개발 (The Development of a Heat Balance Evaluation Program for the Main Steam Line of LNG Carrier)

  • 최순호
    • Journal of Advanced Marine Engineering and Technology
    • /
    • 제22권6호
    • /
    • pp.854-861
    • /
    • 1998
  • The demand of LNG as a cheap and clean energy which does not cause an environmental problem has sharply been increased in Korea. In general LNG is stored in a cargo tank specially designed as a liquid state below $-162^{\circ}C$. The main engine of a LNG carrier is generally a steam boiler because LNG is a highly flammable fluid with the possibility of explosion. The main engine of a cargo ship has to be capable of the propulsion load and various auxiliary loads for the safe navigation since it is the primary energy source. Therefore the evaluation of a main boiler's energy capacity is a key design point in the planning of LNG carrier's construction. This research is to develop the computational program for the analysis of steam boiler Heat balance for LNG carrier.

  • PDF