RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • 철도 진로 제어 연동 로직의 표준화를 위한 연구

        정승기(Jeong Seungki),김명수(KIM Myungsoo) 한국철도학회 2008 한국철도학회 학술발표대회논문집 Vol.- No.-

        A route control in railway is one of the very important system to operate a train. An efficient train route control assures to increase train operation performance with a same railway system. The erroneous route control can accompany serious accidents which occur train collision or derailment which provokes death. A Route control carries o ut exactly lest the accident should take place. An interlocking table is widely used for the exact route control. The table has the problem of its exactness proving because it has been established by experts. In this paper, We tried to formalize a route control using mathematical logic. A route consists of symbolized tracks, signals, switch and crossing. It represents as a set, respectively. We proposed route setting control logic, converted the elements to set logics and construct route logics with the set logics of the elements. Finally we proposed a model which presents a prototype routes and we proved the proposed logics using the proposed method.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼