• 정보처리학회논문지D
• /
• 제16D권6호
• /
• pp.911-920
• /
• 2009

항공 소프트웨어가 FAA(미국연방항공청)에 승인받기 위해서는 DO-178B 표준에 따라야 한다. DO-178B에서는 안전 필수 소프트웨어의 단위 테스트가 MC/DC 기준을 만족하기를 요구하고 있다. MC/DC에 따른 테스트는 안전성과 관련된 오류를 효과적으로 찾을 수 있는 수단으로 알려져 있지만 MC/DC를 만족하는 테스트 케이스를 생성하는 작업이 용이하지 않는 것도 사실이다. 이 논문에서는 MD-SAT이라고 명명한 SAT(SATisfiability) 기술을 사용하여 MC/DC를 만족하는 테스트 케이스를 자동으로 생성하는 도구에 대해 소개한다. 이 도구는 결정표 기반 테스트, 인과 그래핑 및 상태 전이 테스트 방법을 구현한 도구에서 보다 다양한 테스트 케이스 생성을 위해 사용될 수 있다.

• 대한안전경영과학회지
• /
• 제17권2호
• /
• pp.177-182
• /
• 2015

Many students can experience, such as for credit and social activities through field trips and participate in field trips. For on-site field training exercise participants currently in Gwangju University They take part in field trip 1, 2, 3 and 4 as the type.. Field Practice 1 type in summer and 2 in winter of 4-week period during vacation holidays with 3 credits, field trips 3 type of 8-week period during vacational holidays with 6 credits recognized for \400,000 in job training fee is also payable by the Leaders in INdustry-university Cooperation Agency. 4 types of job training are fourth grade (Architecture Grade 5) can be employed in conjunction for more than 15 weeks and admitted to the second semester of 15 credits by participating in job training. For most schools, but to pay a fee-job training at the University of Hanyang University, Kyungpook National University has a student assistance in the field training participating companies. This establishment does not have a clear idea of the legal entities responsible in the event of industrial accidents. Academic research is also nonexistent state for them. In this paper, we distinguish the personality for it via the existing labor precedents with respect to the legal responsibility of an industrial accident. This aims at putting the means to establish the role of the University of job training support.

• Nuclear Engineering and Technology
• /
• 제51권3호
• /
• pp.723-730
• /
• 2019

Acquiring instrumentation signals generated from nuclear power plants (NPPs) is essential to maintain nuclear reactor integrity or to mitigate an abnormal state under normal operating conditions or severe accident circumstances. However, various safety-critical instrumentation signals from NPPs cannot be accurately measured on account of instrument degradation or failure under severe accident circumstances. Reactor vessel (RV) water level, which is an accident monitoring variable directly related to reactor cooling and prevention of core exposure, was predicted by applying a few signals to deep neural networks (DNNs) during severe accidents in NPPs. Signal data were obtained by simulating the postulated loss-of-coolant accidents at hot- and cold-legs, and steam generator tube rupture using modular accident analysis program code as actual NPP accidents rarely happen. To optimize the DNN model for RV water level prediction, a genetic algorithm was used to select the numbers of hidden layers and nodes. The proposed DNN model had a small root mean square error for RV water level prediction, and performed better than the cascaded fuzzy neural network model of the previous study. Consequently, the DNN model is considered to perform well enough to provide supporting information on the RV water level to operators.

• 한국초전도ㆍ저온공학회논문지
• /
• 제8권4호
• /
• pp.30-33
• /
• 2006

Several crucial issues are discussed in the design of cryogenic cooling system for high field magnets. This study is mainly motivated by our ongoing program to develop a 21 T Fourier Transform Ion Cyclotron Resonance Mass Spectrometer (FT-ICR MS). The magnets of this system will be built horizontally to accomplish the requirement of user friendliness and reliability, and the replenishment of cryogen will not be necessary by a closed-loop cooling concept. The initial cool-down and safety are basically considered in this paper. The effects of the helium II volume and the gap distance of the weight load relief valve (or safety valve) on the cool-down time and temperature rising during an off-normal state are discussed. The total amount of cryogenic cooling loads and the required helium flow rate during cool-down are also estimated by a relevant heat transfer analysis. The temperatures of cryogen-free radiation shield are finally determined from the refrigeration power of a cryocooler and the total cryogenic loads.

• 한국추진공학회지
• /
• 제20권4호
• /
• pp.50-58
• /
• 2016

한국형 발사체(KSLV-II) 추진제 공급시스템은 각 단에 위치한 추진제 탱크에 산화제와 케로신을 공급해주는 시스템이다. 발사체의 추진제 탱크를 안정적으로 충전하기 위해, 충전시나리오와 충전유량을 결정하였다. 다음으로 1D 유동 해석프로그램을 이용하여 추진제 공급시스템을 모델링 하였다. 1D steady state 해석을 통하여 각 시스템에서의 충전모드에 따른 밸브용량과 orifice 사이즈를 계산하였다. Steady state 결과를 이용하여 1D transient 해석을 수행하였다. 해석 결과 추진제가 각 추진제 탱크로 충전됨에 따라 탱크의 수두가 상승하여 충전유량이 감소하는 것으로 나타났다. 최종적으로 해석을 통해 제안된 충전시스템 모델이 요구되는 충전설계조건을 만족하는 것을 확인하였다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제12권4호
• /
• pp.133-140
• /
• 2008

콘크리트 구조물에 대한 설계법이 현재의 한계상태 설계법에서 성능기반 설계법으로 전환되고 있는 추세이며, 이에 대한 연구가 미국, 유럽 및 일본 등에서 이루어지고 있다. 성능기반 설계법은 현행의 설계규준에서의 많은 불확실성(uncertainty)을 합리적으로 고려함으로서, 구조물이 일정한 신뢰성과 안전성을 확보하도록 하기 위한 연구로서, 신뢰도 높은 비선형 해석기술의 확보와 함께 이를 직접 설계에 적용하기 위한 방안에 대한 연구가 필요하다. 이 연구에서는 저자 등에 의하여 개발된 비선형 유한요소 해석 프로그램(RCAHEST)을 신뢰성 있는 철근콘크리트 기둥 실험체 적용하여 그 적용성과 타당성을 검증하였고, 신뢰성 이론을 바탕으로 파괴에 대한 목표 신뢰지수를 확보할 수 있도록 하는, 비선형 유한요소해석으로부터의 해석결과에 적용할 안전계수를 산정하여 현행의 설계 기준등과의 비교 분석을 수행하였다.

• 대한물리치료과학회지
• /
• 제28권1호
• /
• pp.85-96
• /
• 2021

Background: The purpose of this study was to effect of prenatal exercise program combined with Brugger's exercise on low back pain and balance in pregnant women. Design: A Single-Subject Study. Methods: This study was applied to 28 weeks of pregnant women who complained of low back pain for a total of 4 weeks. A total of 10 prenatal exercise programs in this study consists of sessions, and each session was applied with a Bruger exercise for 1 minute before the start. For the fatigue and safety of pregnant women, a break for 1 minute was provided for each session and was conducted under the supervision of the therapist The visual analogue scale (VAS), Oswestry disability index (ODI), and static balance (BT-4) were measured to evaluate the pregnant women's low back pain and balance ability before and after the intervention Results: The change in back pain after the intervention was VAS 5 before the intervention, but the VAS gradually decreased at 4 weeks after the intervention. Reduced to VAS 2 after 4 weeks of intervention. The Oswestry Disability Index (ODI) was 54%, which was at the level of severe disability, but the dysfunction index gradually decreased 4 weeks after intervention, reaching 19% in 4 weeks, and there were no problems with daily life. As for the static balance ability, the sway area and the sway distance values gradually decreased after the intervention in both the eyes open and closed state, showing an improvement in the static balance ability of pregnant women after the intervention than before the intervention. Conclusion: The prenatal exercise program combined with Brugger's exercise was effective to improve low back pain and static balance in pregnant women. The result of this study may helpful as basic data for obstetric physical therapy.

• 정보보호학회논문지
• /
• 제7권3호
• /
• pp.3-10
• /
• 1997

Computer viruses are increasing in number and are continually intellectualized as well. To cope with this problem, anti-virus tools such as a scanner and the monitoring program have been developed. But it is not guaranteed that these softwares will work in safety under MS-DOS' control. If the virus is run first, it can avoid the monitoring of anti-virus software or even can attack the anti-virus software. Therefore, anti-virus programs should be run before the system is infected. This paper presents a new PC starting mechanism which allows the PC system to start from a clean state after booting. For this mechanism, we build a new disk file system different from DOS' file system, and manage the two file systems heterogeneously. Our system is strong against boot viruses and recovers from infections automatically.

• 항공우주의학회지
• /
• 제31권2호
• /
• pp.33-37
• /
• 2021

In the era of the 4th industrial revolution, the aviation industry is also growing remarkably with the development of artificial intelligence and networks, so it is necessary to study a new concept of crew resource management (CRM), which is required in the process of operating state-of-the-art equipment. The automation system, which has been treated only as a tool, is changing its role as a decision-making agent with the development of artificial intelligence, and it is necessary to set clear standards for the role and responsibility in the safety-critical field. We present a new perspective on the automation system in the CRM program through the understanding of the autonomous system. In the future, autonomous system will develop as an agent for human pilots to cooperate, and accordingly, changes in role division and reorganization of regulations are required.

• 한국융합학회논문지
• /
• 제12권12호
• /
• pp.315-322
• /
• 2021

이 연구는 장애인복지관 화재 시 이용자들의 층별 배치에 따른 비상 통로를 이용한 RSET(Required Safe Egress Time, 피난소요시간)을 분석하여 안전성을 평가하고, 효율적인 피난 방법을 제시하고자 패스파인더 시뮬레이션 프로그램을 활용하여 비상 통로별 RSET의 차이를 분석하였다. RSET에 따른 결과로, 현재 상태의 시설물 사용 인원 배치는 화재 시 기준 RSET을 만족시킴으로 피난안전성에 문제가 없다는 결과를 얻었으며, 화재 시 가능하면 승강기를 이용하는 것보다 계단을 통하여 피난해야 안전하게 피난을 완료할 수 있다. 직원들은 화재 시 장애인들을 대동하여 효과적으로 피난할 수 있도록 사전에 충분한 교육과 훈련이 필요하다. 본 연구는 장애인 관련 시설에서 설계·건축단계에서 운영까지 장애인들이 화재 시 안전하게 피난할 수 있도록 피난통로를 확보하고, 정기적인 피난훈련으로 RSET을 단축시킴으로써 안전하게 피난하여 소중한 생명을 지킬 수 있다는데 의의를 둔다. 향후에는 시설물의 각 층 출입구에 자동방화문을 설치함으로써 특정 위치에서 화재 발생 시 자동방화문의 개폐 여부에 따른 RSET의 연구가 필요하다.