RnDCircle Logo
조장우 연구실
동아대학교 컴퓨터공학과
조장우 교수
기본 정보
연구 분야
프로젝트
발행물
구성원

조장우 연구실

동아대학교 컴퓨터공학과 조장우 교수

조장우 연구실은 프로그래밍언어와 소프트웨어 공학을 기반으로 Java 예외 분석, 제어 흐름 분석, 프로그램 검증, 코드 품질 향상 기술 등을 연구해 왔으며, 최근에는 이러한 소프트웨어 분석 역량을 확장해 머신러닝과 병렬 처리를 활용한 변압기 설계 소프트웨어와 같은 산업 응용형 지능형 시스템 개발에도 주력하고 있다.

대표 연구 분야
연구 영역 전체보기
프로그래밍언어 분석과 정적 분석 thumbnail
프로그래밍언어 분석과 정적 분석
주요 논문
3
논문 전체보기
1
book-chapter
|
인용수 0
·
2024
Software Approaches for Designing Electric Transformers
Jang-Wu Jo, Junhyun Park, Youngsu Chon, A. Y. Jang, Byeongdo Kang
Studies in computational intelligence
https://doi.org/10.1007/978-3-031-57037-7_3
Computer science
Transformer
Software
Software engineering
Electrical engineering
Engineering
Programming language
Voltage
2
article
|
인용수 0
·
2023
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.
http://dx.doi.org/10.1109/sera57763.2023.10197812
Computer science
Transformer
Software
Software engineering
Software design
Reliability engineering
Software development
Engineering
Electrical engineering
Voltage
3
article
|
인용수 1
·
2019
Design of Efficient Distribution Transformer
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.
https://doi.org/10.1145/3325291.3325360
Transformer
Computer science
Distribution transformer
Current transformer
Electronic engineering
Reliability engineering
Engineering
Electrical engineering
Voltage
정부 과제
3
과제 전체보기
1
2010년 12월-2011년 12월
|1,880,000,000
연구개발사업운영관리비
2
2009년 4월-2011년 4월
|43,050,000
C++ 프로그램에서 가시성 규칙을 위반하는 코드를 검출하는 분석
본 과제는 C++ 프로그램에서 private 멤버에 잘못 접근하는 코드를 자동으로 찾아 소프트웨어 오류와 보안 문제를 줄이기 위한 정적분석기 개발에 관한 연구임. 연구 목표는 가시성 규칙 위반 문제를 명확히 정의하고 이를 검출하는 분석기 구조를 설계하며 효율적 분석을 위한 메모리 모델과 알고리즘을 마련하는 데 있음. 핵심 내용은 포인터 연산으로 인해 발생하는 가시성 규칙 위반을 탐지하기 위한 타입 계산 알고리즘 개발과 정확성 검증, 그리고 성능 개선 연구임. 기대 효과는 기밀 데이터 보호와 실행시간 오류 감소를 통한 신뢰성 높은 소프트웨어 개발 가능성 제고 및 정보유출 방지에 따른 경제적 손실 완화임
정적분석
프로그램분석
클래스 가시성
소프트웨어취약점
소프트웨어보안
자료형
C++
3
2002년 8월-2005년 7월
|90,000,000
정적 분석을 이용한 모바일 자바 프로그램의 효율적인 자원 사용을 위한 환경 연구
모바일 자바 프로그램의 효율적인 자원 사용을 위한 환경을 제공한다. 이를 위해 주어진 모바일 자바 프로그램의 자원 사용을 분석하고 그 분석 결과를 이용하여 시각화, 최적화, 테스트 등을 할 수 있는 환경을 제공한다.
자바
자원 사용
프로그램 분석
모니터링
최신 특허
특허 전체보기
상태출원연도과제명출원번호상세정보
등록2019머신러닝이 적용된 변압기 설계 시스템1020190120018-
거절2019변압기 설계 시스템1020190119993-
소멸2017마우스피스 형상의 구강스캐너1020170029145
전체 특허

머신러닝이 적용된 변압기 설계 시스템

상태
등록
출원연도
2019
출원번호
1020190120018

변압기 설계 시스템

상태
거절
출원연도
2019
출원번호
1020190119993

마우스피스 형상의 구강스캐너

상태
소멸
출원연도
2017
출원번호
1020170029145