The latest issue is the smart factory. In order to implement this smart factory, the most fundamental element is to establish product specifications for factors affecting the product, obtain useful data to analyzed and predicted, and maintain safety. But most manufacturers have many errors. Therefore, the purpose of this study is to verify factors of product through statistical techniques and to study the process control and safety.

대형선박의 발전에 사용되는 증기터빈에는 핵심부품으로서 노즐플레이트가 활용되는데 정밀 산업 이 발전한 요즘에도 오래 전의 설계와 생산방식을 답습하고 있다. 노즐플레이트는 많은 터빈 블레이드와 이너링, 아우터링으로 구성되어 있고 이들을 서로 용접하여 제작한다. 용접 시에 블레이드의 뒤틀림 등으로 인하여 그 용접위치에 약간의 변위가 발생하여 각 블레이드 간의 pitch가 불균일하여지고 이로 인해 플레이트의 성능 저하가 우려된다. 이러한 점을 개선하기 위해 용접식 보다는 pitch의 등간격을 유지시키는데 유리한 조립식 설계로 전환하는 것이 필요하다. 이는 설계 변경을 해야 하며 또한 새로운 설계 시에 그에 대한 응력을 기초로 하는 구조해석과 장시간 사용되었을 경우에 대비하여 내구성 시험이 수반되어야 한다. 본 연구는 터빈 블레이드의 구조 설계를 조립식으로 변경하고 이의 결합성을 검토한 후 사이버 공간상에서 안전성 검증을 통하여 실용 가능성을 입증하고자 한다.

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm’s productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

Modern weapon systems are getting more complex in terms of the functionality and also the conditions on the environment and range in which they are deployed and used. Therefore, many development programs can easily be exposed to a variety of risks, resulting in delayed schedules and cost overrun. As such, effective means are necessary to keep the defence budget at an affordable level while competitive edges on technological aspects are retained. As one way to meet those need, modeling and simulation (M&S) methods have widely been used, particularly in the test and evaluation (T&E) process for weapon systems development. The result of M&S-based systems development should be evaluated by the verification, validation & accreditation (VV&A) process to assure keeping reliability at a desired level. On the other hand, due to the explosiveness, the weapons systems development naturally requires to consider safety issues in both the T&E and operational periods. The purpose of this paper is to improve the VV&A process by reflecting the safety requirements therein. To do so, the VV&A process has been analyzed and graphically modeled first and then safety elements have been incorporated effectively. The use of the improved process in the war ships development has also been discussed. Based on the process proposed and the consequent database constructed, the target system can be expected to benefit from reducing development risks while assuring systems safety.

As the human demand or desire on brand new systems otherwise equipped with new functions grows drastically, so does the complexity of the systems. With this trend, the systems are becoming bigger in scale and at the same time the safety requirements are more stringent in the development. Typical systems examples in such a situation may include high-speed railway systems, aero and space systems, marine systems, etc. Failure of those systems can cause serious damages on both the human being and wealth with social infrastructure. As such, it is quite necessary to ensure that the safety requirements be satisfied in the system development. To achieve this need, there could be a lot of solutions to take. In this paper, regarding safety, a special attention is given to the verification phase process, which is one of the intermediate phases of whole systems development process. More specifically, the ultimate concern is placed on how to carry out the design verification while ensuring the safety requirements. To do so, some improvements in the verification phase were proposed first. Then, the outcomes were combined with the systems safety process by generating an integrated process model to reach the goal. As a case study, application to a railway system was discussed, where strict safety requirements are usually necessary. It would be expected that the potential likelihood of failure with rail systems could be reduced if the results obtained are used effectively with some enhancement from further study.

최근 현대사회는 자동차, 철도 및 항공 등 대형 복합 시스템의 체계 속에서 지내고 있으며, 고장 및 사고로 인한 시스템의 안전 설계에 대한 고려와 안전에 대한 인식이 증가하고 있다. 따라서 기존의 시스템공학 프로세스에서 다루는 시스템 설계에 대한 단계별 안전 활동의 강화의 필요성 역시 강조되고 있다. 그 중에서도 시스템 설계의 최종 활동에 해당하는 검증 단계 활동이 제대로 수행되어야만 초기에 의도한 시스템 설계의 안전도 향상을 바라볼 수 있을 것이다. 본 논문에서는 안전 활동을 고려한 시 스템공학 프로세스의 검증 단계의 개선사항 도출과 모델링을 통해 안전중시 시스템인 철도 차량 운전실 시스템을 대상으로 적용 및 조정 구축에 대한 내용을 기술하고 있 다. 본 연구의 결과를 토대로 향후 품질 향상 및 비용 절감과 데이터의 관리

최근 들어 산업현장 뿐만 아니라 농어촌에도 자동화가 가속화되면서 작업자의 안정성과 편리성을 높이기 위한 다양한 방안이 제시되고 있지만 여전히 농업현장에서 대부분의 작업들이 부적절한 자세로 수행할 수밖에 없는 경우가 자주 발생한다. 본 연구는 쪼그려 앉는 작업자세가 요구되는 각종 농작업에 있어서 적합한 높이의 작업용 좌대를 제공함으로써 부적절한 작업자세를 개선하여 노동 강도를 경감시킴과 동시에 작업능률 향상과 요통 등 근골격계질환을 감소시켜 작업자의 건강

A portable device which calculate and analysis the SOC structure data. This device can be used to estimate the building prior to install the sensing system. This sensing tools can help the system engineers to analyze the large SOC structure’s responses.

In this study, a structural health monitoring methodology using acceleration responses is proposed for damage detection of a three-story prototype building structure during shaking table testing. A damage index is developed using the acceleration data and applied to outlier analysis, one of unsupervised learning based pattern recognition methods. A threshold value for the outlier analysis is determined based on confidence level of the probabilistic distribution of the acceleration data. The probabilistic distribution is selected according to the feature of the collected data.