• 제목/요약/키워드: 신승철

검색결과 300건 처리시간 0.036초

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

  • 조현정;황종규;오석문;신승권
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2010년도 추계학술발표논문집 1부
    • /
    • pp.163-167
    • /
    • 2010
  • 최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

  • PDF

The in vivo and in vitro evaluation of chitosan nanofiber membrane

  • 박호남;이명희;신승윤;김경화;김정빈;최영숙;이상철;이주연;설양조;구영;류인철;한수부;이승진;박윤정;정종평
    • 대한치주과학회:학술대회논문집
    • /
    • 대한치주과학회 2004년도 제44회 종합학술대회 연제초록
    • /
    • pp.144-145
    • /
    • 2004
  • PDF

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

  • 신승교;임윤묵;김문겸;박동철
    • 한국콘크리트학회:학술대회논문집
    • /
    • 한국콘크리트학회 2002년도 봄 학술발표회 논문집
    • /
    • 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

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

  • 송용수;신승권;이수길;한성호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 하계학술대회 논문집 D
    • /
    • pp.2625-2627
    • /
    • 2004
  • ARM CORE용 칩으로 틸팅 제어 부분에 이용될 수 있는 main processor 부분을 설계하고, JTAG 기술을 이용하여 그 안정성과 틸팅 기술에 이용될 수 있는 process를 사전 단계에서bebugging 해보고, 이에 따른 신호 및 성능을 JTAG(Boundary Scan)을 이용하여 시스템의 신호와 파형을 시험 평가한다. 또한 예비 단계로의 JTAG 검증 가능성 여부를 알아보고자 한다. 철도 종합 제어 시스템의 신호 및 정확성을 측정해 보기 위한 선행 연구라 할 수 있다.

  • PDF

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

  • 이승원;김승환;신승교;김태욱
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2005년도 춘계학술대회 논문집
    • /
    • 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애서 혈류분포의 비균일성과 분배계수

  • 안지영;신승애;이동수;정재민;이명철
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1998년도 춘계학술발표회논문집(2)
    • /
    • 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에 대한 노출

  • 이준엽;조완근;김모근;강정환;권기동;신승호
    • 한국환경과학회:학술대회논문집
    • /
    • 한국환경과학회 2005년도 추계 학술발표회 발표논문집
    • /
    • pp.91-93
    • /
    • 2005
  • 겨울철 주거지역에서 발생되는 PM10은 도로변에서 발생되는 자동차와 같은 배출원에 의한 영향으로 실외의 경우 도로와의 인접한 곳에서 높은 농도를 나타냈으며, 실내의 경우 환기불량으로 외부에 의한 영향이 적은 것을 알 수 있었다. 반면, CO의 경우 저층 I/O 농도비의 차이가 없는 반면 고층은 실내가 실외보다 유의하게 높은 농도를 나타냈으며, 실내 층고간의 차이가 없는 것으로 보아 외부에서 발생되는 배출원에 의한 영향 뿐 아니라 내부에서 발생되는 배출원(조리, 흡연, 난방 등)에 의한 영향을 받는 것으로 사료된다.

  • PDF

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

  • 유제호;조수환;신승권;김형철
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2015년도 제46회 하계학술대회
    • /
    • pp.1575-1576
    • /
    • 2015
  • 전기철도와 같이 순간적으로 대용량의 전류를 끌어 쓰는 부하들은 주변 전력설비에 큰 부담을 주게 된다. 그로 인해 설비의 노후화가 앞당겨지므로 지속적인 모니터링을 통해 설비의 상태를 진단할 필요가 있다. 그러나 현재 상용화된 전력품질 해석용 장비들의 기능은 이러한 요구를 충족시키지 못하기 때문에 본 논문에서는 적응제어기법을 활용한 이벤트 감지 기법을 소개하고 이를 LabVIEW로 구현하여 철도 전력설비의 이벤트 분석 기법을 제시한다.

  • PDF

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

  • 신승식;정양웅;구춘근;이상철;정찬수
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1996년도 하계학술대회 논문집 B
    • /
    • 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

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

  • 박혜준;홍경희;김승환;신승철
    • 한국의류학회지
    • /
    • 제31권2호
    • /
    • 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.