• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• Tribology and Lubricants
• /
• v.21 no.6
• /
• pp.272-277
• /
• 2005

Continuously variable transmission (CVT) of toroidal type has a elliptical shape of contact zone under the elastohydrodynamic lubrication (EHL) condition, where the power is transmitted only by shearing the lubricant. Due to the small contact area of elliptical shape, the traction of the shear behaviors of lubricant over the contact zone is under extremely high contact pressure over 1.0GPa. During the power transmission by shearing the fluid, many kinds of mechanical movements occur such as squeezing, sliding, rolling and spin. Among the movements, the spin effect that is the most undesirable contact behavior in transmitting the power frequently makes significant abnormal wear damage. In this work, the analysis of elliptical contact of EHL with spin effect is performed, which will give very useful information to understand the traction behaviors in toroidal type of CVT system.

• Environmental Engineering Research
• /
• v.24 no.4
• /
• pp.646-653
• /
• 2019

Recovery of valuable metals in the industrial wastewater and sludge has attracted an attention owing to limited metallic resources in the earth. In this study, we firstly fabricated Ti/Ir-Ru electrodes by spin coating technique for effective recovery of Cu in electrowinning process. Two different Ti/Ir-Ru electrodes were fabricated using 100 and 500 mM of precursors (i.e., Ir-Ru). SEM-EDX and AFM revealed that Ir and Ru were homogenously distributed on the surface of Ti plate by the spin coating, in particular the electrode prepared by 500 mM showed distinct boundary line between Ir-Ru layer and Ti substrate. XRD, XPS, and cyclic voltammetry also revealed that characteristics of IrO₂, RuO₂, and TiO₂ and its electrocatalytic property increased as the concentration of coating precursor increased. Finally, we carried out Cu recovery experiments using two Ti/Ir-Ru as anodes in electrowinning process, showing that both anodes showed a complete removal of Cu (1 and 10 g/L) within 6 h reaction, but much higher kinetic rate constant was obtained by the anode prepared by 500 mM. The findings in this study can provide a fundamental knowledge for surface characteristics of Ti/Ir-Ru electrode prepared by spin coating method and its potential feasibility for effective electrowinning process.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.10 no.6
• /
• pp.146-151
• /
• 2011

Wax spin coating is a part of several wafer handling processes in the silicon wafer polishing station. It is important to ensure the wax layer free of contamination to achieve the high degree of planarization on wafers after wafer polishing. Three-dimensional air flow characteristics in a wax spin coater are numerically investigated using computational fluid dynamics techniques. When the bottom of the wax spin coater is closed, there exists a significant recirculation zone over the rotating ceramic block. This recirculation zone can be the source of wax layer contamination at any rotational speed and should be avoided to maintain high wafer polishing quality. Thus, four air suction ducts are installed at the bottom of the wax spin coater in order to control the air flow pattern over the ceramic block. Present computational results show that the air suction from the bottom is quite an effective method to remove or minimize the recirculation zone over the ceramic block and the wax coating layer.

• Bulletin of the Korean Chemical Society
• /
• v.23 no.2
• /
• pp.325-329
• /
• 2002

In this study, the dependency of the behavior of propagating front on the reaction condition in frontal polymerization reaction has been studied. We have used some multifunctional acrylates as a monomer and ammonium persulfate as an initiator for the polymerization reactions. In frontal polymerization, a method of producing polymeric materials via a thermal front that propagates through the unreacted monomer/initiator solution, the behavior of self propagating front shows various dynamic patterns depending on the reaction condition. We have obtained some spin modes of propagating front in the number of 'hot spots' or 'spin heads' by changing the reaction condition. The effect of the reactor tube diameter on the mode of propagating front has also been studied by using some reactor tubes with different size of tube diameter and it has been examined in some detail by adopting an experimental method of two-tubes system.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.1
• /
• pp.1-13
• /
• 1995

In order to investigate the effect of liquid balancer in washing machine, we identify the vibration characteristics of suspension system of washing machine and formulate the 4 D. O. F. system dynamic equations. As the washing machine rotates higher speed, it is emphasized to reduce the ecentric force due to unbalanced mass. Nowadays, the most effective cancelling method of eccentric force is known as the usage of liquid balancer. To determine the liquid distribution in liquid balancer, the fluid statics is considered. The system dynamic equations are solved by Runge-Kutta method and represent the good characteristics of real washing machine in X-Y plane. The accuracy of the numerical solution was examined by experiments. The simulation results show that the unbalanced mass has so much influence on vibration magnitude and the rotating shape of spin-basket. But the effect of mass reduction due to the dehydration of the spin-basket has little influence on transient vibration.

• Proceedings of the KSME Conference
• /
• 2004.04a
• /
• pp.1885-1890
• /
• 2004

In this paper the numerical method with a zonal embedded grid system was applied to the spin-up flow within a semi-circular container. Flow visualization was also performed on a rotating table. The results show that at a low level of damping (i.e. low viscosity and high liquid depth) a cyclonic cell produced initially near the left-hand-side corner of the container moves along a wall and merged with the cell on the right-hand-side.

• Journal of IKEEE
• /
• v.27 no.1
• /
• pp.78-84
• /
• 2023

In this paper, front color glass for Building Integrated Photovoltaic (BIPV) system was implemented by spin coating method using color solution. Solutions suitable for color solutions were investigated using pearlescent pigments and various solutions to implement color glass. One of investigated solutions, NOA 63 and NOA 65, which are ultraviolet light curing agents, were able to implement color glass with superior coating properties and color reproducibility than other solutions. Color glass realized by spin coating with a NOA 65 based color solution showed high transmittance of 86% in the visible and near-infrared wavelength bands, and the change in optical properties of color glass over time was insignificant, making it a suitable material for realizing color glass for BIPV Suitable as a color solution. The solution process method using the spin coating method is expected to facilitate the manufacturing process of front color glass for BIPV as it can produce color glass more easily and quickly than the existing physical deposition method or color glass manufacturing process using nanoparticles.

• Bulletin of the Korean Chemical Society
• /
• v.23 no.12
• /
• pp.1724-1728
• /
• 2002

The adsorption of proteins on the surface of glass slides is essential for the construction of protein chips. Here, we report that a Histidine (His)-tagged protein protein has been efficiently adsorbed on glass coated with nickel. A variety of nickel chloride-coated plates were prepared by the spin-coating method and adsorbed to the His-tagged protein. When the protein was adsorbed onto the surface of a variety of nickel chloride-coated glass slides, the efficiency of protein adsorption was dependent upon the coating conditions such as nickel chloride concentration, the spin speed and the drying temperature. The slides appropriate for protein adsorption were obtained when the slides were coated with 11%(w/w) of $NiCl_2$ at the spin speed of 4000 rpm for 20 sec and then dried at higher than 40°C. The physical properties of their nickel chloride thin layer were characterized by scanning electron microscopy. x-ray diffraction and atomic force microscopy, finding that the nickel chloride particles were around 10 nm in diameter and uniformly crystallized at 101 faces. These results show that nickel chloride-coated slides prepared by the spin-coating method are utilizable for the construction of Histagged protein chips.

• Tribology and Lubricants
• /
• v.23 no.2
• /
• pp.49-55
• /
• 2007

A numerical analysis of elastohydrodynamic lubrication of elliptical contacts with both rolling and spinning has been carried out. A finite difference method with non-uniform grid systems and the Newton-Raphson method are applied to solve the problems. The velocity vectors resulting from combined spinning and rolling/sliding motion lead to asymmetric pressure distributions and film shapes. Pressure distributions, film contours and variations of the minimum and central film thicknesses are compared with various spin-roll ratios. Reduction of the minimum film thickness under spinning is remarkable whereas the central film thickness is relatively less. The spin motion have large effect on variations of the minimum film thickness with load parameter which are small in pure rolling/sliding cases. Therefore present numerical scheme can be used in the analysis of general elliptical contact EHL problems and further studies are required.