• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.883-894
• /
• 2002

Classical deterministic testing controls the execution of concurrent programs based on the equivalence between specifications and programs. However, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we had proposed automata-based deterministic testing in our previous works, where a concurrent program is executed according to one of the sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement "Deterministic Executor" in the testing environment. "Deterministic Executor" transforms a Java multi-thread program by applying automata-based deterministic testing, the transformed program presents testing results. "Deterministic Executor" uses "Automata Generator", which generates an equivalent automaton of a test sequence, and "Replay Controller", which controls the execution of programs according to the sequence accepted by the automaton. By illustrating automata-based testing procedures with a gas station example, we show how the proposed approach does works in a Java multi-threaded program.roach does works in a Java multi-threaded program.

• The Journal of Korean Academy of Prosthodontics
• /
• v.42 no.6
• /
• pp.628-640
• /
• 2004

Statement of problem. Wear as a result of repeated closing/opening cycles may decrease the friction coefficient of screw head, threads, and other mating components and, consequently, resistance to opening gradually decreases. It may cause screw loosening, which is one of the most common failures in implant prosthesis. Purpose. The purpose of this study is to evaluate the changes on the head and thread surface of the abutment screws after repeated closing and opening through the examination of tested screws in SEM(scanning electron microscope). Materials and methods. Five species of abutments were selected (3i-three, Avana-two) respectively by two pieces. The implant fixtures were perpendicularly mounted in liquid unsaturated polyesther(Epovia, Cray Valley Inc.) with dental surveyor. Each abutment was secured to the implant fixture by each abutment screw with recommended torque value using a digital torque controller. The abutment screws were repeatedly tightened and removed 20 times with a digital controller. FESEM (field emission scanning electron microscope, Netherland, Phillips co., model:XL 30 SFEG) was used to observe changes of each part caused by repeatedly closing/opening expeiment. First, the Photomicrographs of pre-test screws provided by each manufacturer were taken. The changes of each screw were investigated after every fifth closing and opening experiment with FESEM. Scaning electron microscope photomicrographs of each screw were taken four times. Results. As the number of closing and opening was increased, the wear or distortion of hexed or squared slot that contacted with the driver tip was more severely progressed. Wear or distortion of hexed slot was more severe than that of squared slot and it was more remarkable in the titanium screw than in the gold screw. All the tested screws showed that the width in the crest of their screw thread decreased gradually as the test was proceeded. Conclusions. Conclusively, we recommend the clinical use of gold screw, a periodic exchanges of abutment screws and avoiding repeated closing/opening unnecessarily. We also suggest a more careful manipulation of the abutment screw and screw-driver and using of abutment screw with an acute-angled slot design rather than an obtuse-angled one. Finally, it is suggested that the new slot design and the surface treatment for enduring wear or distortion should be devised.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.1
• /
• pp.63-69
• /
• 2003

The main property of VSC is that the system response is robust and insensitive to parameter variations and external disturbances in the sliding mode if their bounds are known to the designer of the system control. But sometimes these bounds may not be easily obtained. However, fuzzy control provides an effective way to design the controller of the system with the disturbances and parameter variations. Therefore, combination of the best feature of fuzzy control and sliding mode control is considered. When using the conventional VSC, generally the reaching phase problem occurs, which cause the system response to be sensitive to parameter variations and external disturbances. In order to overcome these problems, a robust position control method of the BLDC motor using an adaptive fuzzy VSC without leaching phase is presented.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.5
• /
• pp.805-815
• /
• 2001

Glaucoma is an eye disease which is caused by abnormal high IOP (Intra Ocular Pressure). High IOP is caused by the aqueous humor which is produced consistently but not drained due to malfunction of the trabecular system which has a role of draining the aqueous humor into the venous system. Currently, there are three methods to treat glaucoma-using medicines, surgical operation, and using implant device. The first and second methods are not long acting, so the use of implants is increasing in these days in order to drain out the aqueous humor compulsory. However, though conventional implants have a capability of pressure regulation, they cannot maintain IOPs desired for different patients, and too much aqueous humor are usually drained, to cause hypotony. To solve these problems, it is needed to develop a new implant which is capable of controling the IOP actively and copes with personal difference of patients. An active glaucoma implant consists of the valve actuator, pressure sensor, controller, and power supply. In this paper, firstly, we make an analysis of the operation of a conventional implant using a bond graph and show defects and limitations of the conventional valve analytically. Secondly, we design and analyze a valve actuator considering actuation principles, resistance elements, control methods, and energy sources focused on power saving problem. Finally, using simulations the possibility of the proposed valve actuator is investigated.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.11
• /
• pp.205-210
• /
• 2014

This is concerned with the technology to display the design on Porcelain and adjust malfunction for moving effect and light intensity by curator. More precisely, the technology makes it possible that the porcelain is connected to Light module which is the device for controlling light emission and rotating rolling plate, etc that are connected to LED light module, optical fiber and controller that is for scenario from the given storytelling. In addition, with a WiFi portable device (Smart-phone, other mobile device). equipped with a scenario programs, information for operation, failure and malfunction can be obtained and analyzed in real-time, and menu color and alarm is alerted when the displaying design is in abnormal status, which makes the early reactions to the status. Furthermore, the collected data can be sent through WiFi network to the device and PC managed by the curator specialized in managing the design on the Porcelain, thus the technology could help the curator who have less knowledge about moving pattern on the Porcelain. There is always a possibility of malfunction due to various condition that are caused by wring-harness when modules are wired-connected. In this research, in order to overcome this problem, we propose a system configuration that can do monitoring and diagnosis with a device for collecting data from LED control module, Light emission sensor and a personal WiFi device. Also, we performed connection between optical Fiber and LED and interlock for the system defined by the definition for information and storytelling scenario.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.49 no.9
• /
• pp.251-258
• /
• 2012

Recently, NAND Flash memory structure is evolving from SDR (Single Data Rate) to high speed DDR(Double Data Rate) to fulfill the high performance requirement of SSD and SSS. Accordingly, the proper ways of transferring data that latches valid data stably and minimizing data skew between pins by using PHY(Physical layer) circuit techniques have became new issues. Also, rapid growth of speed in NAND flash increases the operating frequency and power consumption of NAND flash controller. Internal voltage variation margin of NAND flash controller will be narrowed through the smaller geometry and lower internal operating voltage below 1.5V. Therefore, the increase of power budge deviation limits the normal operation range of internal circuit. Affection of OCV(On Chip Variation) deteriorates the voltage variation problem and thus causes internal logic errors. In this case, it is too hard to debug, because it is not functional faults. In this paper, we propose new architecture that maintains the valid timing window in cost effective way under sudden power fluctuation cases. Simulation results show that the proposed technique minimizes the data skew by 379% with reduced area by 20% compared to using PHY circuits.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.40 no.1
• /
• pp.103-111
• /
• 2016

This paper presents an adaptive variable weights tuning system for an integrated chassis control with electronic stability control (ESC) and active front steering (AFS) for lateral stability enhancement. After calculating the control yaw moment needed to stabilize a vehicle with a controller design method, it is distributed into the tire forces generated by ESC and AFS using weighted pseudo-inverse-based control allocation (WPCA). On a low friction road, lateral stability can deteriorate due to high vehicle speed. To cope with the problem, adaptive tuning rules on variable weights of the WPCA are proposed. To check the effectiveness of the proposed method, a simulation was performed on the vehicle simulation package, CarSim.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.5
• /
• pp.677-688
• /
• 2008

In this paper, the general problem of impedance control for a robotic manipulator with a moving flexible base is addressed. Impedance control imposes a relation between force and displacement at the contact point with the environment. The concept of impedance control of flexible base mobile manipulator is rather new and is being considered for first time using singular perturbation and new sliding mode control methods by authors. Initially slow and fast dynamics of robot are decoupled using singular perturbation method. Slow dynamics represents the dynamics of the manipulator with rigid base. Fast dynamics is the equivalent effect of the flexibility in the base. Then, using sliding mode control method, an impedance control law is derived for the slow dynamics. The asymptotic stability of the overall system is guaranteed using a combined control law comprising the impedance control law and a feedback control law for the fast dynamics. As first time, base flexibility was analyzed accurately in this paper for flexible base moving manipulator (FBMM). General dynamic decoupling, whole system stability guarantee and new composed robust control method were proposed. This proposed Sliding Mode Impedance Control Method (SMIC) was simulated for two FBMM models. First model is a simple FBMM composed of a 2 DOFs planar manipulator and a single DOF moving base with flexibility in between. Second FBMM model is a complete advanced 10 DOF FBMM composed of a 4 DOF manipulator and a 6 DOF moving base with flexibility. This controller provides desired position/force control accurately with satisfactory damped vibrations especially at the point of contact. This is the first time that SMIC was addressed for FBMM.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.6
• /
• pp.521-526
• /
• 2016

This paper suggests a new design that makes use of rotary inertia that can allow autonomous movement of an autonomous colonoscope robot in the colon of a patient as a locomotive mechanism. As commercial colonoscopy causes a lengthy time of pain and discomfort to the patients when colonoscopy patients are reluctant to receive surgery, there is a tendency to avoid the test in the early diagnosis of colorectal cancer. To solve this problem, research has been conducted on the next generation of robotic colonoscopes that can reduce the discomfort and pain by moving autonomously within the colon of the patients. In the driving mechanism utilizing the rotational inertia, a flywheel is driven by a motor to store energy and produce rotational inertia. By the energy stored and released by the flywheel, the stick phenomenon that occurs when the robot is running in the intestine can be overcome effectively. To do this, a controller that can control the velocity of the flywheel and is robust to high frequency noise was designed and implemented. The driving mechanism using the rotational inertia presented here showed that the structure is also effective and the experiment can be run easily compared to another mechanism.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.20 no.2
• /
• pp.50-59
• /
• 2006

In this paper, We are going to propose the fire protection system using CAN(Controller Area Network). The larger, higher and deeper buildings an, the more dangerous people are when fire happens. We should be aware of the problems of prior fire protection system. Therefore, we construct the embedded system based on CAN communication that is capable of N to N communication, and build independent fire protection system. If the fire is occurred on the building, the problem is that how fast we can detect the fire and put it on by using available system, this is major factor that reduces damage of our wealth. Therefore in this studies, We would like to design more stable system than current system. This system is based on CAN communication which is available N to N communication constructs and designed to compensate for each fault, so that our aim is to reduce the wires of system, cost of installation and to suppose future type fire protection system.