• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.5
• /
• pp.161-168
• /
• 2021

Cracks affect the robustness of infrastructures such as buildings, bridge, pavement, and pipelines. This paper presents an automated crack detection system which detect cracks in diverse surfaces. We first constructed the combined crack dataset, consists of multiple crack datasets in diverse domains presented in prior studies. Then, state-of-the-art deep learning models in computer vision tasks including VGG, ResNet, WideResNet, ResNeXt, DenseNet, and EfficientNet, were used to validate the performance of crack detection. We divided the combined dataset into train (80%) and test set (20%) to evaluate the employed models. DenseNet121 showed the highest accuracy at 96.20% with relatively low number of parameters compared to other models. Based on the validation procedures of the advanced deep learning models in crack detection task, we shed light on the cost-effective automated crack detection system which can be applied to different surfaces and structures with low computing resources.

• Convergence Security Journal
• /
• v.16 no.7
• /
• pp.173-180
• /
• 2016

There has been a growing interest in automation of factories in the country. And, the development in this regard has been actively attempted. In particular, on the basis of the "innovation 3.0 strategy of manufacturing industry", interest in the smart of the manufacturing plant of small and medium-sized enterprises has increased rapidly. As well as policy for building smart plant, technical, seeking a strategic approach. But, in order to introduce such a smart plant or factory automation systems, manufacturing plant security with vulnerability and personal information protection problems, it should always be top priority there. Accordingly, we provide the applicable lightweight secure protocols in RFID communication. It is a wireless communication technology that is most often introduced for factory automation. Our proposed lightweight secure protocol in this study, less the number of calculations in comparison with the existing public key-based and the symmetric key encryption algorithm. And it is fast in compare with the existing protocol. Furthermore, we design that it system can support to low power consumption and small consume the memory size.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.11a
• /
• pp.1034-1035
• /
• 2020

인공지능은 스스로 학습하며 기존 통계 분석보다 탁월한 분석 역량을 지니고 있어 스마트팩토리 혁신에 새로운 전기를 마련할 것으로 기대된다. 이를 증명하듯 스마트팩토리의 주요 분야인 공정 간 연계 제어, 전문가 공정 제어, 로봇 자동화 등에서 활발한 연구가 이어지고 있다. 본 논문에서는 소포물 분류 시스템에 전통적인 룰 기반의 제어 방식 대신 다중 에이전트 강화 학습 제어 방식을 설계 및 적용하여 효과적인 행동 제어가 가능함을 입증한다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2022.10a
• /
• pp.337-338
• /
• 2022

시퀀스제어는 제조, 유통, 건설, 의료 산업분야의 기계, 전기, 전자, 자동화 등에 응용되어 널리 사용하고 있다. 4차산업의 발전으로 제어분야에 인공지능 융합 기술이 산업에 중요한 요소가 되어가고 있다. 특히 기존 시스템에 마이크로프로세서와 인공지능이 융합된 설비의 안전성과 혁신성을 평가하고 신뢰성 높은 장비개발이 요구되고 있어 교육목적의 장비를 개발하여 해당분야의 발전을 견인하고자 한다. 자체 개발한 일체형 인공지능 컨트롤러 모듈은 기존의 시퀀스 및 PLC제어 회로에 인공지능 능력을 융합한 장비이다. 본 장비의 성능평가항목으로 동작, 음성, 문자, 색상 등의 인식 능력과 회로의 안정성, 신뢰성을 평가하였다. 시퀀스 및 PLC 회로를 설계 후 융합된 일체형 인공지능 컨트롤러 모듈의 성능평가항목이 모두 만족하였고 회로의 안전성과 신뢰성에 문제가 없는 것으로 나타났다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.06a
• /
• pp.118-120
• /
• 2022

해양수산부와 산업통산자원부가 공동으로 추진하고 있는 자율운항선박 기술개발 프로젝트의 핵심기술은 지능항해시스템, 기관자동화시스템, 성능실증센터 및 실증기술, 운용기술 및 표준화로 나누어지며, 대한민국은 2025년까지 자율운항수준을 대양에서는 IMO Level 3, 연안에서는 IMO Level 2까지 달성하는 것을 목표로 하고 있다. 한편, 삼면이 바다로 둘러싸인 대한민국은 세계물류 이동의 거점임과 동시에 어선 등록 척수가 매년 6만 5년여 척이 넘는 어업이 활성화된 나라이며, 주요 어업 해역인 남해안은 대표적 무역항인 부산항, 광양항 등으로 통하는 항로와 중첩되기 때문에 자율운항선박의 원활한 운항을 위해서는 어업이라는 변수가 반드시 고려되어야 한다. 이 연구에서는 핵심기술 중 지능항해시스템 기술개발과 관련, 어업이 지능항해에 미칠 수 있는 영향을 어구, 어법, 어선으로 분류하여 고찰하였고, 발생 가능한 변수를 줄이기 위한 연구 방향을 제시하였다.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.1
• /
• pp.679-684
• /
• 2023

Currently, large-scale and deep-depth excavation construction is being carried out in the vicinity of structures due to overdensity in urban areas in Korea. It is very important to secure the safety of retaining structures and underground structures for adjacent excavation work in urban areas. The safety of facilities is managed by introducing an automated measurement system. However, the utilization of the results of the automated measurement system is very low. Conventional evaluation techniques rely only on the maximum value of the measured data, and can overestimate abnormal behavior. In this study, we intend to improve the analysis technique for the automation measurement results. In order to identify abnormal behavior of facilities, a time-series analysis method for automated measurement data was presented. By applying a probability statistical analysis technique to a vast amount of data, highly reliable results were derived. In this study, the analysis method and evaluation method that can process the vast amount of data of facilities have been improved.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.343-346
• /
• 2019

언어 병리학에서는 연령별 대화 능력 발달에 관한 연구에 관심이 많다. 하지만 이러한 연구는 많은 시간과 비용이 소모된다. 이를 해결하기 위해, 본 연구에서는 대화 능력 발달의 많은 연구 중 한 가지 방법인 화제 변경을 Sent2Vec을 이용하여 자동적으로 탐지해주는 방법을 제안한다. 아동의 연속된 두 발화를 비교하여 화제의 변경을 Sent2Vec의 코사인 유사도를 통해 찾아냈다. 본 연구에서는 언어 병리학에서의 연구 결과와 비교를 하기 위해 초등학생 1학년, 3학년, 5학년 집단의 데이터를 사용하였다. 본 연구에서 제안한 방법의 결과와 언어 병리학에서 연구한 결과의 상관관계가 99.95%로 매우 높음을 확인할 수 있었다. 이러한 화제 변경 탐지를 자동화함으로써, 언어 연구에 필요한 시간과 비용을 크게 절감할 수 있다.

• The Journal of the Convergence on Culture Technology
• /
• v.6 no.4
• /
• pp.123-130
• /
• 2020

Prior to the introduction of automated systems such as jewelry CAD and CAM, the jewelry manufacturing industry had many originals made by hand. However, after the introduction of the automated system, original craftsmen with high technology have disappeared, and computer designers and 3D printing print engineers are taking their place. The introduction of automated systems such as CAD and CAM in the existing hand-made production line has resulted in diversification of designs and cutting-edge and specialization of jewelry manufacturing. In the domestic jewelry industry, the dependence of automation systems such as CAD and CAM in the manufacturing process continues to increase, and the situation is taking up more and more parts in the jewelry design curriculum of universities. From these results, the CAD/CAM automation system field in the jewelry manufacturing industry becomes an essential and important field in the future.

• Convergence Security Journal
• /
• v.20 no.2
• /
• pp.29-35
• /
• 2020

The cyber attacks targeting the systems of national and public organizations in the front line of cyber security have been advanced, and the number of cyber attacks has been on the constant rise. In this circumstance, it is necessary to develop the security evaluation technology to prevent cyber attacks to the systems of national and public organizations. Most of the studies of the vulnerability analysis on the information systems of national and public organizations almost focus on automation. In actual security inspection, it is hard to automate some parts. In terms of security policies for threats, many different plans have been designed and applied in the managerial, physical, and technical fields, giving particular answers no matter how they are subjective or situational. These tendencies can be standardized in OCIL(Open Checklist Interactive Language), and partial automation can be achieved. Therefore, this study tries to implement XML Converter in order for OCIL based security level evaluation with typical evaluation questions.