• Nuclear Engineering and Technology
• /
• 제31권1호
• /
• pp.58-67
• /
• 1999

The purpose is to produce a model of nuclear reactor trip logic caused by the steam generator water level of Wolsong 2/3/4 unit through an activity chart and a statechart and to produce C language automatically using Statechart-based Formalism and Stalemate MAGNUM toolset suggested by David Harel Formalism. It was worth attempting auto-generation of C language though we manually made Software Requirement Specification(SRS) for safety-critical software using statechart-based formalism. Most of the phases of the software life-cycle except the software requirement specification of an analysis phase were generated automatically by Computer Aided Software Engineering (CASE) tools. It was verified that automatically produced C language has high productivity, portability, and quality through the simulation.

• 융합신호처리학회 학술대회논문집
• /
• 한국신호처리시스템학회 2000년도 추계종합학술대회논문집
• /
• pp.225-228
• /
• 2000

We propose a new method to deal with the optimized auto-tuning for the PID controller which is used to the process-control in various fields. First of all, in this method, 1st order delay system with dead time which is modelled from the unit step response of the system is Pade-approximated, then initial values are determined by the Ziegler-Nickels method. So deciding binary strings of parents generation using by the fitness values of genetic algorithms, we perform selection, crossover and mutation to generate the descendant generation. The advantage of this method is better than the Ziegler-Nickels method in characteristic of output, and has extent of applying without limit of K, L, T parameters.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2012년도 전력전자학술대회 논문집
• /
• pp.77-78
• /
• 2012

본 논문에서는 모터와 인버터 그리고 제어기를 모델로 작성하여 시뮬레이션하고, 제어기 모델로부터 자동코드생성을 하여 작성한 코드를 실제 제어기에 탑재하여 모터모델의 시뮬레이션 및 실제 모터를 구동하였다. 제어기와 모터 그리고 인버터 모델은 MATLAB/SIMULINK를 이용하여 작성하였다. 모터 모델과 실제 모터의 동작을 통해 제어기의 성능을 검증하였다. PWM은 10[kHz]로 동작하며, 이를 검증하기 위해 400[W] 표면부착형 동기모터 다이나모 장치와 3상 모터 드라이버를 이용하여 시험을 수행 하였다.

• 한국자기학회:학술대회 개요집
• /
• 한국자기학회 2007년도 The 1st International Symposium on Advanced Magnetic Materials
• /
• pp.231.1-231.1
• /
• 2007

• 한국음향학회지
• /
• 제43권2호
• /
• pp.243-252
• /
• 2024

최근에 연구되기 시작한 폴리(Foley) 음향 생성 모델 중 벡터 양자화 변분 오토인코더(Vector Quantized-Variational AutoEncoder, VQ-VAE) 구조와 Pixelsnail 등 생성모델을 활용한 생성 기법은 중요한 연구대상 중 하나이다. 한편, 딥러닝 기반의 음향 신호의 압축/복원 분야에서는 기존의 VQ-VAE 구조에 비해 잔여 벡터 양자화 기술이 더 적합한 것으로 보고되고 있으며, 따라서 본 논문에서는 폴리 음향 생성 분야에서도 잔여 벡터 양자화 기술이 효과적으로 적용될 수 있을지 연구하고자 한다. 이를 위하여 본 논문에서는 기존의 VQ-VAE 기반의 폴리 음향 생성 모델에 잔여 벡터 양자화 기술을 적용하되, Pixelsnail 등 기존의 다른 모델과 호환이 가능하고 연산 자원의 소모를 늘리지 않는 모델을 고안하여 그 효과를 확인하고자 하였다. 효과를 검증하기 위하여 DCASE2023 Task7의 데이터를 활용하여 실험을 진행하였으며, 그 결과 평균적으로 0.3 가량의 Fréchet audio distance 의 향상을 보이는 것을 확인하였다. 다만 그 성능 향상의 정도가 제한적이었으며, 이는 연산 자원의 소모를 유지하기 위하여 시간-주파수축의 분해능이 저하된 영향으로 판단된다.

• 자동차안전학회지
• /
• 제11권2호
• /
• pp.17-22
• /
• 2019

This paper describes the tracking algorithm performance evaluation for autonomous vehicle using a safety envelope based path. As the level of autonomous vehicle technologies evolves along with the development of relevant supporting modules including sensors, more advanced methodologies for path generation and tracking are needed. A safety envelope zone, designated as the obstacle free regions between the roadway edges, would be introduced and refined for further application with more detailed specifications. In this paper, the performance of the path tracking algorithm based on the generated path would be evaluated under safety envelop environment. In this process, static obstacle map for safety envelope was created using Lidar based vehicle information such as current vehicle location, speed and yaw rate that were collected under various driving setups at Seoul National University roadways. A level of safety was evaluated through CarSim simulation based on paths generated with two different references: a safety envelope based path and a GPS data based one. A better performance was observed for tracking with the safety envelop based path than that with the GPS based one.

• 한국항공우주학회지
• /
• 제39권10호
• /
• pp.979-986
• /
• 2011

본 논문에서는 소형 무인기용 센서 및 임무장비 통합형 비행제어 시스템의 탑재 프로그램 개발에 대해 다룬다. 비행제어 시스템은 센서 및 임무장비를 관장하는 장치관리시스템과 제어 프로그램 및 임무 수행 알고리즘을 연산하는 제어연산시스템의 두 부분으로 구성된다. 장치관리시스템의 탑재 프로그램은 TI사의 DSP/BIOS 실시간 운영체제를 기반으로 개별 센서 및 외부 임무장비를 위한 시스템 드라이버들과 각각의 서브시스템 관리를 위한 태스크들로 구성된다. 제어연산시스템의 프로그램은 모델기반 개발기술을 이용한 자동 코드 생성 기술을 적용하였다.

• 대한기계학회논문집
• /
• 제12권2호
• /
• pp.200-205
• /
• 1988

본 연구는 와이어 컷 방전가공을 위한 자동프로그래밍 시스템 오토 컷 (AUTO-CUT)의 개발에 관한 것으로 저자가 수행했던 연구를 확장한 것이다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.1545-1549
• /
• 2005

According as computer is supplied in a lot of homes and offices and Internet use increases, various service based on the Internet. Including wireless PDA in the future, many devices such as Internet telephone, TV, refrigerator and oven will be connected on the Internet and Internet address exhaustion will be raised to serious problem gradually. Today, the IPv4 address exhaustion problem has been solved partially using NAT (Network Address Translation) however, the transition to next Generation Internet will be accelerated because of advantages such as mobility, security service, QoS, and abundant IP addresses. In IPv6, all hosts are designed to create and set their address automatically without manager's intervention using Neighbor Discovery Protocol. But, when an IPv6 host sets its address automatically, there are serious security vulnerabilities. In this paper, we analysis security vulnerabilities in auto-configuration and provide security requirements for secure auto-configuration.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2007년도 정기학술대회
• /
• pp.146-154
• /
• 2007

AutoCor is a method for the automatic acquisition and classification of corpora of documents in closely-related languages. It is an extension and enhancement of CorpusBuilder, a system that automatically builds specific minority language corpora from a closed corpus, since some Tagalog documents retrieved by CorpusBuilder are actually documents in other closely-related Philippine languages. AutoCor used the query generation method odds ratio, and introduced the concept of common word pruning to differentiate between documents of closely-related Philippine languages and Tagalog. The performance of the system using with and without pruning are compared, and common word pruning was found to improve the precision of the system.