• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.

• Journal of the Korean Vacuum Society
• /
• v.21 no.2
• /
• pp.69-77
• /
• 2012

Visualization of the electromagnetic vector fields are presented and examined with Mathematica. Vector fields may be used to represent a great of many physical quantities in various area of physics, including electromagnetism with vector differential operators. Because they deal with abstract, three-dimensional fields that are some times very difficult to visualize, electromagnetism can be conceptually rather difficult. Visual representation of such an abstract vector fields is invaluable to student or researchers working in this field and also helps teaching electromagnetism to physics or engineering students. Mathematica provides a wider range of graphical tools including plot of vector fields and vector analysis, which can be applied to visualization of electromagnetic system. We have visualized the most fundamental concepts of the electromagnetic vector $\vec{E}=-\vec{\nabla}_{\varphi}$, $\vec{D}={\epsilon}\vec{E}$, $\vec{\nabla}{\times}\vec{A}$, $\vec{B}={\mu}\vec{H}$, $\vec{B}={\mu}_0(\vec{H}+\vec{M})$, which are confirmed with vector calculations and valid graphically with some presentations.

• Journal of Acupuncture Research
• /
• v.37 no.4
• /
• pp.259-269
• /
• 2020

Background: This study aims to statistically analyze and compare the curative effect and satisfaction level between typical traditional Korean medicine treatment and nonsurgical spinal decompression treatment. Methods: Of the patients who were diagnosed with the cervical or lumbar herniated intervertebral disc at the Department of Acupuncture and Moxibustion Medicine at the Daejeon Korean Medicine Hospital from April 14^th to August 25^th, 2019, this study retrospectively analyzed the medical records of 31 patients who underwent nonsurgical spinal decompression treatment and traditional Korean medicine (assigned to Group A) and another 31 patients who received typical traditional Korean medicine alone (assigned to Group B). The clinical data were analyzed using IBM SPSS Version 23.0. Results: No statistically significant differences appeared in terms of sociodemographic, condition, and therapeutic characteristics, except whether the patient received Western medicine treatment, before or after a treatment with traditional Korean medicine. Group A exhibited higher variations in numeric rating scale, EuroQol- 5 dimension and EuroQol visual analogue scale scores compared to Group B as determined by independent sample t test and analysis of covariance. In addition, the satisfaction score of Group A was higher than that of Group B The result of cross analysis revealed that desire for continued treatment in Group A was higher than that of Group B. Conclusion: This retrospective observational study showed that the patients with nonsurgical spinal decompression treatment reported a greater reduction in pain, improved quality of life and satisfaction than patients receiving typical traditional Korean medicine.

• Journal of the Korean Association of Oral and Maxillofacial Surgeons
• /
• v.38 no.4
• /
• pp.221-230
• /
• 2012

Objectives: This study sought to evaluate the efficacy of collagen graft materials, as compared to other graft materials, for use in healing calvarial defects in rabbits. Materials and Methods: Ten mm diameter calvarial defects were made in ten rabbits. The rabbits were then divided into 4 groups: control, autogenous bone graft, SureOss graft, and Teruplug graft. Bone regeneration was evaluated using histological and radiographic methods. Results: Based on visual examination, no distinct healing profile was observed. At 4 weeks after treatment, histological analysis showed there was no bone regeneration in the control group; however, at 8 weeks after treatment, new bone formation was observed around the margin of the defective sites. In the autogenous bone graft group, new bone formation was observed at 4 weeks after treatment and mature bone was detected around the grafted bone after 8 weeks. In the SureOss graft group, at 4 weeks after treatment, acute inflammatory and multinuclear cells were noted around the grafted materials; at 8 weeks after treatment, a decrease in graft materials coupled with new bone formation were observed at the defective sites. In the Teruplug graft group, new bone formation was detected surrounding the bone margin and without signs of inflammation. There were statistically significant differences observed between the graft and control group in terms of bone density as evidenced by radiographic analysis using computed tomography (P<0.05), particularly for the autogenous bone graft group (P<0.001). Conclusion: These results suggested that autogenous bone, SureOss and Teruplug have the ability to induce bone regeneration as compared to an untreated control group. The osteogenic potential of Teruplug was observed to be lower than that of autogenous bone, but similar to that of SureOss.

• The Journal of Korea Assosiation for Disability and Oral Health
• /
• v.2 no.1
• /
• pp.10-16
• /
• 2006

The aim of the present study was to investigate the dental caries experience in disabled people according to the handicapped types in Korea. This study subjects based on the national disabled survey 2004 were collected by designed cluster sampling and interviewed with structured questionnaire in order to examine dental caries and sociodemographic status. The subjects were attending the special schools and private or public welfare institutions for crippled disorder, encephalopathy disorder, mental retardation, visual disturbance, and hearing defect. Oral examination was conducted by 13 trained dentists. 1,307 of handicapped people were finally analysed. ANOVA and Cochran-Mantel-Hanzel analysis were adapted for statistical analysis. The results were as follows; Dental caries prevalence, DMFT(Decayed, missing, filled teeth), and DMFS(Decayed, missing, filled surfaces) of disabled people were higher in crippled disorder and mental retardation than the others. There were significant differences in dental caries prevalence, DMFT, and DMFS according to the disabled. DMFT was significantly higher than national population in every age group except in 12-14 year-old and more than 35 group. It was likely that the experience level of dental caries was significantly different according to the handicapped types in Korea and higher than the people without handicap.

• Korean Journal of Social Welfare
• /
• v.66 no.3
• /
• pp.297-319
• /
• 2014

This research seeks to clarify correlationship between satisfaction of visually impaired, hearing impaired and mentally disabled mothers and their burden of raising their children and whether communication between their children mediates their relationship. This research tries to set a standard performing method to alleviate burden of raising children and devise an effective parenting method. The study was done in cooperation with 13 welfare centers for the disabled in the Seoul area, 23 and performed 300 questionnaires were distributed. Hearing impaired person had answered by themselves, and visually impaired were provided with disability aid, by reading the questionnaire to them. 210 responses were collected, and 187 were used for final analysis. Analysis showed that burden of fostering showed a negative correlation between satisfaction as a mother and availability for communication. Moreover, communication with the children were shown to mediate the satisfaction as a parent and burden of raising the children. Thus, the goal is to reduce the burden of fostering for female disabled and increase their satisfaction as a parent as well as enhancing their communicational skills.

• Physical Therapy Korea
• /
• v.22 no.3
• /
• pp.1-11
• /
• 2015

The purpose of this study was to investigate the effect of lumbar stabilization training and additional thoracic mobilization on pain, proprioception and static balance in patients with chronic low back pain. The subjects of this study were 48 chronic low back pain patients who were randomly allocated to an experimental group 1 ($n_1=16$, lumbar stabilization and thoracic mobilization, thoracic hypomobility), experimental group 2 ($n_2=16$, lumbar stabilization and thoracic mobilization, thoracic normal mobility), and a control group ($n_3=16$, lumbar stabilization, thoracic hypomobility) after a thoracic mobility test. Both experimental groups underwent lumbar stabilization training and additional thoracic mobilization. The control group underwent only lumbar stabilization training. The intervention was performed 3 times per week, 30 minutes each time, for a total of 6 weeks. Thoraco-lumbar joint reposition error was measured using an electrogoniometer and static balance ability was measured using the Tetrax posture analysis system. Subjects' pain level was measured using a 100 mm visual analogue scale. Statistical analyses were performed using a one-way analysis of variance and a paired t-test. Post-hoc testing was carried out with a Bonferroni test. The pain level was significantly lower in both experimental groups compared to the control group. Both experimental groups showed significant reductions in joint reposition error angle (flexion, extension, and side bending) compared to the control group. The static balance level was significantly lower in both experimental groups than in the control group. In summary, lumbar stabilization exercises and additional thoracic mobilization significantly improved the pain level, proprioception, and static balance in patients with chronic low back pain.

• Journal of Korean Biological Nursing Science
• /
• v.5 no.2
• /
• pp.41-51
• /
• 2003

Purpose : This descriptive study was performed to analyze the trends of nursing interventional studies in adult nursing area. Method : All interventional studies of 'Journal of Korean Academy of Adult Nursing Society', fifty three articles, from 1989 to 2000 were collected and reviewed Result : The research subject were patients in 38(66.7%) and 81.8% of researches was performed in hospital environment. There was only one true experimental design and most of articles(79.2%) were designed by quasi-experimental method Only 17% of articles have theoretical framework and 73.6% of articles described research hypotheses. The data collection methods for variables were as follows: Psychosocial measurement 60.8%, physiological measurement 25.7%, and observation 13.5%, respectively. Lecture(16.7%), audio-visual(16.7%), and book, pamphlet, or leaflets(13.6%) were the most frequently used instruments of the interventions. Behavioral domain(60.3%) and Physiological: Basic domain(29.3%) was the most common, when the interventions were classified by Nursing Intervention Classification. Physiological(50.8%) and psychosocial variables(49.2%) were the two major dependent variables. Conclusion : Considering the above results obtained, the nursing intervention studies in adult nursing area have been tested with quasi-experimental studies through clinical trials. For the development of clinical nursing practice and advancement of nursing theories, the amount of interventional studies should be increased and the quality of research methods refined more to develop nursing science and practice in adult nursing area.

• Journal of Korea Game Society
• /
• v.15 no.2
• /
• pp.33-42
• /
• 2015

This study analyzes location based game focused on the figurative characteristics of mobility. The purpose of this analysis is to extend the understandings of game mobility from technical side toward rhetorical territory. Christian Metz's film theory is appropriate for analysis of the game which is visual and combinational text. According as research findings, structuralize 5-layered spatial maps. And this kind of multi-layering structure generates figurative operations. Adaptive mobility by metaphor, it reflects player's real world movement into the virtual space. Metonymy brings given mobility, it reflects character's movement through all of the virtual maps.

• Journal of the Korean Data and Information Science Society
• /
• v.21 no.4
• /
• pp.641-650
• /
• 2010

This study was conducted to investigate whether Mulligan manual therapy and Physical therapy have effectiveness on the pain and muscle assessment questionnaire in female elders with osteoarthritis of the knee. Thirty subjects were participated in this study. And they were all randomly divided into Mulligan manual therapy and Physical therapy group. To evaluate the effects of Mulligan manual therapy and Physical therapy, subjects were evaluated by using visual analogue scale and muscle assessment questionnaire. The assessment parameters were evaluated before, after 2 weeks, and after 4 weeks treatments. And we received a consent form from Mulligan manual therapy subjects. The results of repeated measures analysis of variance showed that pain, strength, endurance, coordination/balance were significantly improved after than before therapy in Mulligan manual therapy group. So we conclude that Mulligan manual therapy has effectiveness on the pain and muscle assessment questionnaire in female elders with osteoarthritis of the knee.