• 제목/요약/키워드: Automatic control

검색결과 3,659건 처리시간 0.029초

Formal Verification of Twin Clutch Gear Control System

  • Muhammad Zaman;Amina Mahmood;Muhammad Atif;Muhammad Adnan Hashmi;Muhammad Kashif;Mudassar Naseer
    • International Journal of Computer Science & Network Security
    • /
    • 제24권3호
    • /
    • pp.151-159
    • /
    • 2024
  • Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gearshifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in ["M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005"], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements.

시설채소 온실에서 무인 자동 약제 살포장치를 이용한 해충 방제효과 (Pest Control Effect using Unmanned Automatic Pesticide Spraying Device in Vegetable Greenhouse)

  • 이중섭;이재한;방지웅;김진현;장혜숙
    • 생물환경조절학회지
    • /
    • 제31권1호
    • /
    • pp.52-59
    • /
    • 2022
  • 시설재배 온실에서 병해충 방제를 위해 자율적으로 이동하면서 작물에 농약을 살포할 수 있는 무인 자동 농약 살포 시스템을 이용하여 방제처리를 실시하였다. 토마토, 딸기의 총채벌레(Frankliniella occidentalis)와 온실가루이(Trialeurodes vaporariorum) 해충에 대한 방제효과를 조사한 결과, 꽃노랑 총채벌레의 방제효과는 토마토에서 85.6%, 딸기에서 87.5%로 나타났고, 온실가루이는 각각 81.7%와 80.6%를 나타내었다. 또한 약제처리 방법에 따른 방제효과는 관행약제살포 처리구 81.7%, 무인 자율 약제 살포처리구 83.9%의 방제효과를 나타내었다(F=22.1, p < 0.001). 두 처리구간 방제효과 비교 시 현저한 유의성은 나타나지 않았으나 무인 자율 약제 살포처리에서 2.2% 높은 효과를 나타내었다. 한편, 약제 살포 시간을 비교한 결과, 무인 자동 약제 살포기는 살포시간이 5min/10a으로 관행 약제 살포시간 25-30min/10a 보다 25min 정도 적게 소요되었다. 이러한 결과는 발생최성기에 시설온실에서의 효율적인 해충 방제로 무인 자동 약제 살포방제법이 유용하게 사용될 수 있을 것으로 판단되었다.

FORK LIFT 부품 용접자동화 시스템 (An automatic welding system for a part of fork lift)

  • 김재웅
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1986년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
    • /
    • pp.448-451
    • /
    • 1986
  • An automatic welding system is designed for a part of fork lift. The system is composed of articulated type welding robot, welding positioners, shuttle for robot, system controller and welding equipment. From the application of the system, stable weld quality and production cost saving are achieved. In this paper, the hardware features and control structure of the system are presented.

  • PDF

광섬유를 이용한 시각센서 및 용접조건 자동제어 용 디지털 포텐쇼메터 (Vision Sensor by Using Optical Fiber And Digital Potentiometer for Automatic Control of Welding Conditions)

  • 문형순;김용백
    • 대한용접접합학회:학술대회논문집
    • /
    • 대한용접접합학회 2001년도 춘계학술발표대회 개요집
    • /
    • pp.300-302
    • /
    • 2001
  • This paper describes several advances in vision sensor and process control techniques for applications in Submerged Arc Welding(SAW) which combine to give a fully automatic system capable of controlling and adapting the overall welding process.

  • PDF

COUNTER-EXAMPLES TO ZADEHS POSSIBILITY THEORY

  • Cai, Kai-Yuan;Yuan, Zho-Guo
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
    • /
    • pp.1277-1280
    • /
    • 1993
  • In this short note we show that a number of conclusions unacceptable to our intuitions or commonsense knowledge can be drawn from Zadeh's possiliblity theory.

  • PDF

염색 전처리조의 NaOH 자동 농도 제어 시스템의 개발 (Development of Automatic Concentration Control System for NaOH in Dyeing Pretreatment Bath)

  • 김한도
    • 한국염색가공학회지
    • /
    • 제15권4호
    • /
    • pp.39-42
    • /
    • 2003
  • Automatic concentration control system for pretreatment of dyeing was set up with adaptive control system supported by Fuzzy logic for the high speed successive pretreatment of fabric. Concentration of pretreatment bath was determined by the conductivity due to the ionized NaOH. Usability of this system was also evaluated with 30wt% of NaOH (conductivity of 0.25 S/cm) as an initial concentration. Conductivity fluctuated between 0.31 and 0.17 S/cm. This range accorded with the 21-35wt% of NaOH concentration.

보상형 퍼지알고리즘을 이용한 전력발전기의 PID 제어 (PID Control with Fuzzy Compensation for Electric Power Generation Unit)

  • Hak Roh, Lee
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 2004년도 추계학술대회 학술발표 논문집 제14권 제2호
    • /
    • pp.217-220
    • /
    • 2004
  • Controller that is designed in this paper is form that apply PID controller about Fuzzy algorithm. Fuzzy Controller that using this paper is can speak that compensation style fuzzy controller as form to solidify action of PID controller for plant. This is not form that autotuning the each PID coefficient. We Apply and examined the response character to AGC(Automatic Generation Control) system using designed controller.

  • PDF

사출기의 자동제어 프로그램 개발에 관한 연구 (A Study on the development of automatic control programming for projection machine)

  • 김현기;홍용인;이천희
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 1999년도 추계종합학술대회 논문집
    • /
    • pp.1145-1148
    • /
    • 1999
  • In this paper we developed the communication protocol in which can transmitter receive a data and instruction in pressure and control computer. This system can dramatically increase production by maximize by control the error in central unit and monitoring. When developed these pressure automatic control system, it can be automation product in factory and decrease man-power.

  • PDF

항공기의 실속 회복을 위한 자동 회복 장치 설계 및 검증에 관한 연구 (A Study on the Design and Validation of Automatic Pitch Rocker for the Aircraft Deep Stall Recovery)

  • 한성호;황병문;이영호;이동규;안성준;김종섭
    • 제어로봇시스템학회논문지
    • /
    • 제13권1호
    • /
    • pp.6-14
    • /
    • 2007
  • Modem version of supersonic jet fighter aircraft must have been guaranteed appropriate controllability and stability in HAoA(High Angle of Attack). Limit value of aircraft entering into the departure in HAoA is related to aircraft configuration design. But, the control law such as AoA and yaw-rate limiter is implemented in digital Fly-By-Wire flight control system of supersonic jet fighter to guarantee the aircraft's safety in HAoA. The HAoA flight control law have two parts, one is control law of departure prevention and the other is control law of departure recovery support. The control laws of departure prevention for advanced jet trainer consist AoA limiter, roll command limiter and rudder fader. The control laws of departure recovery support are consist yaw-rate limiter and MPO(Manual Pitch Override) mode. The guideline of pitch rocking using MPO mode is simple, but operating skill of pitch rocking is very difficult by the pilot with inexperience of departure situation. This paper addresses the design and validation of APR(Automatic Pitch Rocker) control law instead of MPO in order to automatic recovery without manual pitch rocking by the pilot. And, recovery characteristic with APR verifies by the nonlinear analysis and pilot evaluation.