• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.163-165
• /
• 2008

A S/W testing for vital railway signaling system have been important because of the increase of software usage for signaling. And also the safety of vital signaling system is required by int'l std. such as IEC 61508. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to assessment software's safety. In this paper, we propose a automation schemen of software testing tool for railway signaling system. From that, we show the functional architecture and internal components of the tool.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.204-206
• /
• 2007

The portion of embedded software in railway signaling system is increased by the advance of computer and communication technology. And the safely requirements for railway system are standardized by int'l std., such as IEC 62278 and IEC 62279. According to these circumstances for software safety problems, we are deduced the testing items for software safety test and assessment for railway signaling. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. And the architecture of automatic test tool is proposed to test the deduced safely testing items in this paper.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2056-2062
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection supporting tool. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.951-952
• /
• 2006

Railway signaling systems are so vital to ensure the safe operation of railroad and the assurance and demonstration of the safety is so important. The safety management process shall consist of a number of phases and activities, which are linked to form the safety life-cycle. The basic processes of safety management and safety activity throughout the lifecycle are 'risk analysis' and 'hazard control'. The safety managements and activities for the two kinds of aspects are implemented throughout the whole steps of system lifecycle. The risk analyses and hazard controls like those are needed, these activities have to be carried out through the whole of system lifecycle.

• 멤브레인
• /
• 제17권3호
• /
• pp.210-218
• /
• 2007

바이폴라막을 이 용한 전기탈이온(Continuous Electrodeionization-Bipolar Membrane(CEDI-BPM))공정 은 이온교환막의 이온 선택적 투과를 통한 제거의 효율을 높이며, 바이폴라막에서 생성된 수소이온과 수산화이온이 이온교환수지를 전기적으로 재생하여 재생효율을 높일 수 있는 장점을 지니고 있다. 본 연구에서는 CEDI-BPM을 이용하여 경도물질을 제거하고 전기적 재생을 수행하였다. 이를 위하여 이온교환수지의 흡착 특성 및 유량의 변화에 따른 경도제거효율의 영향과 전기적 재생방법을 이용한 재생효율을 조사하였다. CEDI-BPM에서 Ca의 제거율이 Mg보다 높은 값을 보여주었는데, 이는 흡착실험에서 Ca의 높은 흡착능력과 관계가 있음을 보여주었다. 유량이 증가함에 따라 Ca과 Mg의 플럭스는 증가하는 경향을 보이는데, 양이온 교환막의 선택 투과가 경도물질의 제거에 더 큰 영향을 미치고 있음을 알 수 있다. CEDI-BPM의 전기적인 재생 실험결과 재생 전압을 낮게 유지할수록 높은 경도물질 제거효율 및 높은 플럭스를 보여 전기적 재생에 효율적으로 사용할 수 있음을 보여주었다.

• 한국통신학회논문지
• /
• 제23권5호
• /
• pp.1149-1159
• /
• 1998

본 논문에서는 여분을 갖는 결함허용 시스템에 이용할 수 있는 자체검사 특성을 갖는 검사기를 제안한다. 특히 시스템이 출력의 정확성을 요하는 바이탈(Vital) 정보와 일반적인 정보를 동시에 취급할 때 정보의 중요성에 따라 선택적으로 검사할 수 있는 제어 가능한 자체검사 특성 검사기(Controllable Self-Checking Checker)를 설계하였다. On-Line 모드에서 결함을 검출할 수 있기 위해서 최소 입력 벡터로 시험할 수 있는 결정적 시험 방법을 이용하였다. 실험 결과 설계한 패리티 2-레일 검사기는 기존의 검사기 보다 더 간단한 구조로 동일한 자체검사 기능을 유지할 수 있었다. 또한 패리티 2-레일 검사기를 이용하여 설계한 제어 가능한 자체검사 특성 검사기 역시 정의된 결함에 대해서 높은 결함 커버리지를 나타냈다.

• Neonatal Medicine
• /
• 제17권2호
• /
• pp.266-269
• /
• 2010

Gilbert 증후군(Gilbert's syndrome)은 빌리루빈의 체외배설을 위해 포합시키는 기능을 가진 효소인 uridine diphosphate glucuronosyltransferase (UGT)의 활성도 감소에 의해 야기되며 만성, 비용혈성, 비포합 고빌리루빈혈증을 유발한다. 대부분 경증의 증상을 보이며 인구의 3-10%에서 나타나는 것으로 알려져 있다. 치료로 페노바비탈(phenobarbital)을 투여할 수 있으며 이 페노바비탈은 UGT 효소활성도를 증가시켜 혈중 빌리루빈 농도를 떨어뜨린다. 본 증례에서는 일반적인 경우와 달리 심한 신생아 황달이 동반된 Gilbert 증후군을 기술하였다. 환아는 생후 2-3일경부터 황달 소견을 보였으며 생후 5일경 혈중 총빌리루빈 수치가 34 mg/dL로 높게 상승되어 있어 집중적인 광선치료의 시행과 함께 경구 페노바비탈을 투여 받았다. 검사실 소견에서 정상 혈색소, 망상적혈구 수치 보였으며 direct Coombs' test 에서도 정상 소견 보여 용혈성 고빌리루빈혈증은 제외하였으며 이후 시행한 유전자 검사에서 UGT1A1 유전자의 -3279T>G, 211G>A 변이가 발견되어 Gilbert 증후군으로 진단되었다. 광선치료와 경구 페노바비탈 투여로 혈중 총 빌리루빈 농도의 지속적 감소를 보여 퇴원하였으며 이후 외래검사상 총 빌리루빈 수치는 안정적이었다. 저자들은 심한 신생아 황달을 보인 Gilbert 증후군의 예를 보고하는 바이다.

• 대한화학회지
• /
• 제57권3호
• /
• pp.335-340
• /
• 2013

폴리에틸렌글리콜(PEGs)과 수산화칼륨(KOH)을 이용하여 서로 다른 온도와 시간의 반응조건에 따라 PBDEs의 화학반응을 수행하였다. PBDEs의 제거효율은 화학반응 전과 후의 농도의 차이로 측정하였다. PBDEs는 25와 $50^{\circ}C$의 낮은 온도에서는 제거되지 않았다. 하지만 온도를 증가시킴에 따라, 바이페닐기에 붙어있는 5-6개의 브롬이 치환되어 있는 PBDEs의 완전제거를 보이면서 ${\sigma}$-xylene에 있는 PBDEs의 제거효율은 점차적으로 증가하였다. 반응조건을 4시간과 $150^{\circ}C$까지 증가시켰을 때 PBDEs의 제거효율은 거의 100%에 도달하였다. 이와 같이 PEGs와 PBDEs의 화학반응 연구를 통해, PBDEs가 PEGs에 의해 브롬이 순차적으로 제거되는 진행에 의해서 탈브롬화 된다는 것을 확인할 수 있었다.

• Journal of Chest Surgery
• /
• 제39권3호
• /
• pp.236-239
• /
• 2006

32세 남자 환자가 내원 15일 전부터 지속되는 피가 섞인 가래를 주소로 전원되었다. 환자는 내원 전부터 반복되는 폐렴으로 개인병원에서 치료를 받았다. 흉부 X-선상 우폐 중엽에 폐허탈이 관찰되었다. 흉부 전산화 단층 촬영상 우폐 중엽 기관지에 결석이 관찰되었으며 우폐 중엽에 폐허탈이 동반되어 있었다. 기관지 내시경을 이용하여 기관지 결석을 제거하려 하였으나 제거할 수 없었다. 이에 수술 치료로 기관지결석을 제거하고 우폐 중엽절제술을 시행하였다. 조직병리 검사상 기관지결석의 원인은 방선균증으로 진단되었다. 방선균에 의한 기관지 결석은 매우 드문 것으로 알려져 있다. 이에 저자들은 반복적인 폐쇄성 폐렴은 동반한 방선균에 의한 기관지결석에 대한 외과적인 치료를 경험하였기에 보고하는 바이다.