• Title/Summary/Keyword: 신승철

Search Result 300, Processing Time 0.036 seconds

Study on Test Coverage Analysis & Assessment Standard for Train Control Software Verification (열차제어 S/W 검증을 위한 테스트 커버리지 측정 및 평가기준에 대한 연구)

  • Jo, Hyun-Jeong;Hwang, Jong-Gyu;Oh, Suk-Mun;Shin, Seung-Kwon
    • Proceedings of the KAIS Fall Conference
    • /
    • 2010.11a
    • /
    • pp.163-167
    • /
    • 2010
  • 최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

  • PDF

The in vivo and in vitro evaluation of chitosan nanofiber membrane

  • Park, Ho-Nam;Lee, Myeong-Hui;Sin, Seung-Yun;Kim, Gyeong-Hwa;Kim, Jeong-Bin;Choe, Yeong-Suk;Lee, Sang-Cheol;Lee, Ju-Yeon;Seol, Yang-Jo;Gu, Yeong;Ryu, In-Cheol;Han, Su-Bu;Lee, Seung-Jin;Park, Yun-Jeong;Jeong, Jong-Pyeong
    • 대한치주과학회:학술대회논문집
    • /
    • 2004.11a
    • /
    • pp.144-145
    • /
    • 2004
  • PDF

Numerical Analysis on External Strengthening Effects in Aged Structures (사용중인 구조물의 보강효과에 대한 해석적 연구)

  • 신승교;임윤묵;김문겸;박동철
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 2002.05a
    • /
    • pp.455-460
    • /
    • 2002
  • In this study, a numerical analysis that can effectively predict the effect of strengthening of cracked flexural members is developed using axial deformation link elements. Concrete and interface between concrete and repair material are considered as quasi-brittle material. Reinforcing bars and reinforcing steel plates are assumed to perform as elasto-plastic materials. Unloading behavior of axial deformation link element is implemented. In the developed numerical model, a flexural member is intentionally cracked by pre-loading, then, the cracked member is repaired using extra elements, and reloaded. The results from analysis of repaired flexural members agrees well with available experiment results. Also, it was shown that the effect of strengthening and the change of failure mode with respect to the time for strengthening and thickness of repair materials. Based on the results, it was determined that the developed numerical model has a good agreement for determining failure modes and effect of strengthening in cracked flexural members. By utilizing the developed numerical analysis, the time and dimension of external strengthening in an existing cracked flexural member with predition of failure mechanism can be determined.

  • PDF

Debugging of TTP(Train Tilting Processor) In Use The Embedded System (임베디드 시스템을 이용한 틸팅 제어 시스템(T.T.P)에 관한 연구)

  • Song, Yong-Soo;Shin, Seung-Kwon;Lee, Su-Gil;Han, Seong-Ho
    • Proceedings of the KIEE Conference
    • /
    • 2004.07d
    • /
    • pp.2625-2627
    • /
    • 2004
  • Recently many technology of the T.T.P.(Train Tilting Processor) has been introduced for an efficient real-time operating system. but the problems of testing increasing complex digital integrated system continue to challenge the design and test community. Design main processor part that can be used on railroad synthesis control part by ARM CORE chip.

  • PDF

A Fundamental Research on the Safety Facilities of Railroad (철도 선로안전시설에 관한 기초연구)

  • Lee Seong-Won;Kim Seung-Hwan;Shin Seung-Kyo;Kim Tae-Wook
    • Proceedings of the KSR Conference
    • /
    • 2005.05a
    • /
    • pp.550-555
    • /
    • 2005
  • In this research, safety requirements for guard rail, buffer stop, car stop scotch block, protection device, fire protection facilities, safety siding, escape facilities and inundation protection facilities are studied to establish a standard. First, various kinds of guard rails and their construction methods are investigated. Researches on the level difference of main track and guard rail, joint, length, and fastening force of guard rail are done. Second, the classification of buffer stop and car stop scotch block and its characteristics are examined, and the impact force, speed limit and capacity of buffer stop are summarized. Details of protection device, fire protection facilities, safety siding, escape facilities and inundation protection facilities are also investigated. From this fundamental research results, basic data on the safety facilities of railroad system are established.

  • PDF

$H_2^{15}$O 심근 PET애서 혈류분포의 비균일성과 분배계수

  • 안지영;신승애;이동수;정재민;이명철
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1998.05b
    • /
    • pp.711-714
    • /
    • 1998
  • H$_2$$^{15}$ O PET을 이용하여 심근혈류를 측정할 때 물의 분포가 조직마다 불균일한 특성을 나타내고자 관류 가능한 조직분획(perfusable tissue index; PTI)$^{1)}$ 개념을 도입한 연구가 보고된 바 있으나 PTI로는 비균일성을 정량적으로 다루지 못하였다$^{2)}$ . 반면에 단일 구획 모델에서 분배계수(partition coefficient: λ)를 변수로 추정하여 혈류분포의 비 균일성을 나타낼 수 있음을 컴퓨터 모의실험으로 보인 연구가 있다$^{3)}$ . 이 연구에서는 이미 앞서 발표한 연구의 혈류측정 모델을 정상인 실험용 개에 적용하였으며 그 결과 혈류와 분배계수 모두가 정상 범위 안에 들어옴을 확인하였다. 또한 컴퓨터 모의실험을 통해 얻은 분배계수와 비균일성 지표인 구성비균일성(constitution heterogeneity; CH) 와의 관계를 이용하여 동물실험에서 측정한 분배계수로부터 CH를 유추해 보았다.

  • PDF

주거지역 고층아파트 주민의 실내${\cdot}$외 공기 중 PM10 및 CO에 대한 노출

  • Lee, Joon-Yeob;Jo, Wan-Geun;Kim, Mo-Geun;Gang, Jung-Hwan;Kwon, Gi-dong;Sin, Seung-Ho
    • Proceedings of the Korean Environmental Sciences Society Conference
    • /
    • 2005.11a
    • /
    • pp.91-93
    • /
    • 2005
  • 겨울철 주거지역에서 발생되는 PM10은 도로변에서 발생되는 자동차와 같은 배출원에 의한 영향으로 실외의 경우 도로와의 인접한 곳에서 높은 농도를 나타냈으며, 실내의 경우 환기불량으로 외부에 의한 영향이 적은 것을 알 수 있었다. 반면, CO의 경우 저층 I/O 농도비의 차이가 없는 반면 고층은 실내가 실외보다 유의하게 높은 농도를 나타냈으며, 실내 층고간의 차이가 없는 것으로 보아 외부에서 발생되는 배출원에 의한 영향 뿐 아니라 내부에서 발생되는 배출원(조리, 흡연, 난방 등)에 의한 영향을 받는 것으로 사료된다.

  • PDF

LabVIEW-based Event Analysis for Railway Power Installations by using Adaptive Cancellation Method (LabVIEW 기반의 적응제거기법을 활용한 철도전력설비 이벤트 분석 연구)

  • Yoo, Je-Ho;Cho, Soo-Hwan;Shin, Seung-Kwon;Kim, Hyeong-Cheol
    • Proceedings of the KIEE Conference
    • /
    • 2015.07a
    • /
    • pp.1575-1576
    • /
    • 2015
  • 전기철도와 같이 순간적으로 대용량의 전류를 끌어 쓰는 부하들은 주변 전력설비에 큰 부담을 주게 된다. 그로 인해 설비의 노후화가 앞당겨지므로 지속적인 모니터링을 통해 설비의 상태를 진단할 필요가 있다. 그러나 현재 상용화된 전력품질 해석용 장비들의 기능은 이러한 요구를 충족시키지 못하기 때문에 본 논문에서는 적응제어기법을 활용한 이벤트 감지 기법을 소개하고 이를 LabVIEW로 구현하여 철도 전력설비의 이벤트 분석 기법을 제시한다.

  • PDF

An Adaptive System Improving Robustness for Active Noise Control (강인성을 개선한 적응능동소음제어 시스템)

  • Shin, Seung-Sik;Jeong, Yang-Woong;Koo, Choon-Keun;Lee, Sang-Cheol;Chung, Chan-Soo
    • Proceedings of the KIEE Conference
    • /
    • 1996.07b
    • /
    • pp.993-995
    • /
    • 1996
  • This paper proposes an adaptive Filtered-X LMS algorithm with robustness. The proposed system updates filter parameters to keep the performance even if the conventional Active Noise Control (ANC) system well does not work. As a result of the computer simulation, the proposed system has all the advantage of the system using the conventional Filtered-X LMS algorithm. Also some results from the proposed algorithm present that the system is stable when the Adaptive filter does not work. Therefore, the proposed system using the Adaptive Filtered-X LMS algorithm must have much advantage than the system using the conventional algorithm in the side of the stability and performance.

  • PDF

Development of the Practical Garment Apparatus to Measure Vital Sign of ECG for U-Health Care (ECG 생체신호 측정을 위한 실용적 U-헬스케어 의복개발)

  • Park, Hye-Jun;Hong, Kyung-Hi;Kim, Seung-Hwan;Shin, Seung-Shul
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.31 no.2 s.161
    • /
    • pp.292-299
    • /
    • 2007
  • Development of portable device measuring the vital sign continuously with no limit of time and space is absolutely prerequisite for the U-health care that grafts the ubiquitous concept into medical system. Accordingly, it requires to develop a garment style apparatus for measuring vital-sign that is easy to wear on for a long time period. This study suggests a method to improve the insulation of electric cable and the skin adhesion of electrode by integrating the electric conductive material to garment, in order to develop a garment apparatus for measuring ECG for U-health care. Results of the research are as follows; In order to provide the adjacent conductive yarns with insulation, braid with narrow woven end was interlaced using polyester yarn. As a result, the direct contact between electric conductive yarns was restrained, which would be interposed into pin-tuck structured cable. Washable silicone gel applied around the electrode made of electric conductive fabric improved the adhesion, which prevents electrodes from dropping off from the skin surface during body movement. ECG signals on the human subject were tested using the garment apparatus developed by the above method. And the result was that the clear QRS wave formation in the typical form of ECG could be measured in both conditions of still and moving state as well. The result of this study is expected to contribute for the production of U-health care related medical apparatus by accelerating the practical uses of the garment measuring vital sign at a reasonable price.