• International Journal of Computer Science & Network Security
• /
• v.24 no.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.

• Journal of Bio-Environment Control
• /
• v.31 no.1
• /
• pp.52-59
• /
• 2022

Pest control treatment was carried out using an unmanned automatic pesticide spraying system that can spray pesticides on crops while moving autonomously to control pests in vegetable greenhouse. As a result of examining the control effect on tomato and strawberry on thrips (Frankliniella occidentalis) and greenhouse whitefly (Trialeurodes vaporariorum) pests, 85.6% of yellow flower thrips were found in tomatoes and 87.5% in strawberries, and 81.7% (tomato) and 80.6% (strawberry) of greenhouse whitefly. In addition, the control effect according to the pesticide treatment method showed a control effect of 81.7% of the chemical spraying treatment by manpower and 83.9% of the automatic moving pesticide spraying treatment (F=22.1, p < 0.001). When comparing the control effect between the two treatment sections, there was no significance, but the automatic transfer spraying treatment showed a 2.2% higher effect. On the other hand, as a result of comparing the spraying time of the drug, the automatic unmanned control sprayer had a spraying time of 5 min/10a, which took about 25 min less than the conventional manpower spraying time of 25-30 min/10a. Based on these results, it was judged that the automatic transfer spraying method could be usefully used for efficient pest control in the facility greenhouse during the peak period of development.

• Proceedings of KOSOMES biannual meeting
• /
• 2018.06a
• /
• pp.76-76
• /
• 2018

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• 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.

• Proceedings of the KWS Conference
• /
• 2001.05a
• /
• 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.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• 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.

• Textile Coloration and Finishing
• /
• v.15 no.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.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.10a
• /
• 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.

• Proceedings of the IEEK Conference
• /
• 1999.11a
• /
• 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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.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.