• LP가스
• /
• s.70
• /
• pp.50-51
• /
• 2000

LPG충전소의 안전관리상태가 양호한 것으로 나타났다. 가스안전공사에 따르면 지난 상반기동안 2백61곳의 LPG충전소를 대상으로 가스안전관리 종합평가를 실시한 결과 96.6%에 해당하는 2백52곳이 법정 최소기준인 60점이상의 점수를 받은 것으로 조사됐다. 2/4분기 LPG충전소 안전관리종합평가를 게재한다.

• The Safety technology
• /
• no.19
• /
• pp.17-25
• /
• 1999

설비의 자동화, 소단위작업에 의해 감시업무나 그에 따른 보전 등 업무에 단독(주위에 다른 작업자가 없는 상태)으로 작업하는 경우가 늘고 있다. 그런 상황을 포함한 작업현장에 있어서 단독작업의 현 샅애와 단독작업의 안전을 확보하기 위한 안전교육, 설비대책에 대해 일본 중재방에서 보고된 사례를 소개한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.23-28
• /
• 1995

국내 핵연료 가공시설에 대한 핵임계 안전성을 가상 사고 조건하의 핵임계 상태를 확인하는 방법으로 평가하였으며, 이미 사용되어왔던 설계 안전 변수의 안전성도 검증하였다. 또한 MOX 핵연료 가공시설에 대한 안전 변수도 같은 방법으로 산출하였다. SCALE system을 사용하여 임계도 계산을 수행한 결과, 국내 $UO_2$ 핵연료 가공시설과 이 시설에 적용된 안전 변수는 극단적인 사고시에도 핵임계 측면에서 충분한 여유도를 가지고 있있다.

• Product Safety
• /
• s.66
• /
• pp.25-27
• /
• 1998

첨단산업은 제품의 가격을 가장 빠르게 낮출 때 성장할 수 있다. 또한 향후 기술이 가격이 거의 영인 상태에서 경쟁할 수 있어야 한다. 새로운 경영법칙은 창의력$\cdot$기민함$\cdot$속도 이상의 것을 요구한다.

• Journal of Advanced Marine Engineering and Technology
• /
• v.39 no.3
• /
• pp.261-267
• /
• 2015

A support system which allows operator to check the condition of a vessel and to warn the sea risk in order to prevent accidents of leisure boats, is required. Therefore, this paper proposes a navigational safety support system to ensure the safety of vessels by monitoring and managing the status of those ships. In developing a system process, each developed equipment is integrated and verified whether the functional, compositional and operational algorithms are working properly according to the designed object.

• Journal of Wind Energy
• /
• v.14 no.3
• /
• pp.34-42
• /
• 2023

The reduction of operation and maintenance (O&M) costs is a critical factor in determining the competitiveness of wind energy. Predictive maintenance based on the estimation of remaining useful life (RUL) is a key technology to reduce logistic costs and increase the availability of wind turbines. Although a mechanical component usually has sudden changes during operation, most RUL estimation methods use the trend of a state index over the whole operation period. Therefore, overestimation of RUL causes confusion in O&M plans and reduces the effect of predictive maintenance. In this paper, two RUL estimation methods (load based and data driven) are proposed for the bearings of a wind turbine with the results of trend classification, which differentiates constant and increasing states of the state index. The proposed estimation method is applied to a bearing degradation test, which shows a conservative estimation of RUL.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Electric Engineers Magazine
• /
• v.253 no.9
• /
• pp.27-33
• /
• 2003

기체분자는 보통상태에서는 전기적으로 중성이다. 그러나 기체 분자가 운동에너지를 가지고 있는 다른 원자나 전자 등과 충돌하게 되면 기체 분자내의 전자가 에너지를 흡수하여 여기나 전리하게 된다. 여기나 전리의 상태는 불안정한 상태이므로 순간적으로 안정상태로 복귀하는데 이 때의 에너지차가 빛으로 방출된다. 이와 같이 온도방사와는 달리 냉광으로 발광하는 현상을 루우미네슨스라고 한다

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.597-600
• /
• 2008

안전성 분석 활동으로 널리 쓰이는 폴트 트리 분석은 그 원인들의 관계를 논리게이트로 표현하고 원인을 자연어로 설명한다. 폴트 트리에서 자연어를 사용하여 사고의 원인을 나타내는 것은 폴트 트리 자체의 검증뿐만 아니라, 동일한 대상의 시스템 명세에도 적용하기에 어려운 부분이다. 본 논문에서는 폴트 트리를 상태 차트로 변환하는 방법을 제안 하였으며, 상태차트로 변환된 폴트 트리를 상태차트로 명세 된 시스템의 기능적 요구사항과 결합함으로써 상태차트로 표현된 기능 명세가 안전성 분석활동을 통해 얻은 폴트 트리에 순응 되는지 여부를 볼 수 있었고, 폴트 트리에서의 분석 대상인 사고가 발생하기 까지를 추적할 수 있었다.

• Journal of Software Assessment and Valuation
• /
• v.17 no.2
• /
• pp.143-150
• /
• 2021

There is a need for an artificial intelligent technology that can reduce various types of safety accidents by analyzing the risk factors that cause safety accidents in industrial site. In this paper, user safety profiling methods are proposed that can prevent safety accidents in advance by specifying and modeling user information data related to safety accidents. User information data is classified into normal and abnormal conditions through deep learning based artificial intelligence analysis. As a result of verifying user safety profiling technology using more than 10 types of industrial field data, 93.6% of user safety profiling accuracy was obtained.