• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.2
• /
• pp.201-206
• /
• 2010

PLCs are special purpose microcontrollers used in most automatic control systems such as plants, embedded systems, and intelligent buildings. LD is one of the most popular languages among PLC languages. For now LD programs are mainly verified by simulation and testing which has a lot of limitation. This paper describes how to translate a given LD program into an input of a model checker so that LD program is verified by model checking. We define formal semantics of LD programs and SMV models and specify a formal definition of the translation function which preserves semantics between LD programs and SMV models.

• Journal of Technologic Dentistry
• /
• v.36 no.2
• /
• pp.83-89
• /
• 2014

Purpose: This study is to evaluate the effect of modeling liquid on the shear-bond strength between zirconia core and veneering ceramic. Methods: Disk-shaped (diameter: 12.0mm; height: 3.0mm) zirconia were randomly divided into six groups according to the surface conditioning method and whether modeling liquid is used or not to be applied (N=60, n=10 per group): group 1-control group with distilled water(ZD); group 2-control group with modeling liquid(ZM); group 3-airborne particle abrasion with $110-{\mu}m$ $Al_2O_3$(AD) with distilled water; group 4-airborne particle abrasion with $110-{\mu}m$ $Al_2O_3$ with modeling liquid(AM); group 5-liner with distilled water(LD); group $6{\pounds}{\neq}liner$ with modeling liquid(LM). Contact angles were determined by the sessile drop method at room temperature using a contact angle measurement apparatus. The specimens were prepared using dentin veneering ceramics, veneered, 3mm high and 2.8mm in diameter, over the cores. The shear bond strength test was performed in a Shear bond test machine. Load was applied at a cross-head speed of 0.50mm/min until failure. The fractured zirconia surfaces were evaluated by using stereomicroscope (${\times}30$). Collected data were analyzed using SPSS(Statistical Package for Social Sciences) Win 12.0 statistics program. Results: ZD showed the highest contact angle($50.6{\pm}5.4^{\circ}$) and LD showed the lowest value($6.7{\pm}1.3^{\circ}$). Control groups and zirconia liner groups were significantly higher contact angle than liner groups(p<0.05). LD was the highest shear bond strength($43.9{\pm}3.8MPa$) and ZD was the lowest shear bond strength($24.8{\pm}4.9MPa$). Shear bond strengths of control groups and contact angle of liner groups were not significantly different((p>0.05). Liner groups presented adhesive failures. The others groups showed cohesive and adhesive failures. Conclusion: Modeling liquid groups showed lower contact angles and lower shear bond strength compared to those of distilled water groups.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.1
• /
• pp.60-68
• /
• 2009

Because of the reduced product life-cycle, industries are making an effort to bring down the process planning time. In the traditional approach, we have to analyze established process planning, then design the time chart based on process information and drawing the formal time chart such as SOP(sequence of operation). Thereafter, it will be converted to PLC code that is a time consuming and redundant job. Similarly, Industrial automated process uses PLC Code to control the factory; however, control information and control code(PLC code) are difficult to understand. Hence, industries prefer writing new control code instead of using the existing one. It shows the lack of information reusability in the existing process planning. As a result, to reduce this redundancy and lack of reusability, we propose SOS-Net modeling method. Unlike past stabilized process planning that is rigid to any change; our proposed SOS-Net modeling method is more adaptable to the new changes. The SOS-Net model is easy to understand and easy to convert into PLC Code accordingly. Therefore, we can easily modify the control information and reuse it for new process planning. The proposed model plays an intermediary role between process planning and PLC code generation. It can reduce the process planning and implementation time as well as cost.