조장우 연구실은 프로그래밍언어와 소프트웨어 공학을 기반으로 Java 예외 분석, 제어 흐름 분석, 프로그램 검증, 코드 품질 향상 기술 등을 연구해 왔으며, 최근에는 이러한 소프트웨어 분석 역량을 확장해 머신러닝과 병렬 처리를 활용한 변압기 설계 소프트웨어와 같은 산업 응용형 지능형 시스템 개발에도 주력하고 있다.
Another Software for Designing Electric Transformers
Jang-Wu Jo, Junhyun Park, A. Y. Jang, Youngsu Chon, Byeongdo Kang
The article discusses the need for a transformer design software program that can be easily used by beginners in the field without the need for trial and error. Most small-sized transformer manufacturers in South Korea do not use such software due to the high price, instead relying on spreadsheets like Excel. The present study aims to overcome the problems of conventional methods by finding a design method that does not require expert knowledge and obtaining all possible designs to avoid missing optimal values. The developed software program is introduced and its usefulness is demonstrated experimentally in various chapters of the paper.
Junhyun Park, Keun-Ho Park, Hak‐Ju Lee, Bum-In Shin, Taeho Kim, Kyungho Park, A. Y. Jang, Sung-Chin Hahn, Jang-Wu Jo
The efficiency of transformers is critical to save electrical energy. There are three types of current transformer design methods. The current methods have problems. In this paper, we described current ways of designing a transformer, and we also explained their weakness. To overcome these weakness, we apply deep learning to designing a transformer. This paper also shows that our model recommend design parameters to satisfy design specification.
본 과제는 C++ 프로그램에서 private 멤버에 잘못 접근하는 코드를 자동으로 찾아 소프트웨어 오류와 보안 문제를 줄이기 위한 정적분석기 개발에 관한 연구임.
연구 목표는 가시성 규칙 위반 문제를 명확히 정의하고 이를 검출하는 분석기 구조를 설계하며 효율적 분석을 위한 메모리 모델과 알고리즘을 마련하는 데 있음. 핵심 내용은 포인터 연산으로 인해 발생하는 가시성 규칙 위반을 탐지하기 위한 타입 계산 알고리즘 개발과 정확성 검증, 그리고 성능 개선 연구임. 기대 효과는 기밀 데이터 보호와 실행시간 오류 감소를 통한 신뢰성 높은 소프트웨어 개발 가능성 제고 및 정보유출 방지에 따른 경제적 손실 완화임