• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.283-291
• /
• 2007

A simple graph G is said to be fractional n-factor-critical if after deleting any n vertices the remaining subgraph still has a fractional perfect matching. For fractional n-factor-criticality, in this paper, one necessary and sufficient condition, and three sufficient conditions related to maximum matching, complete closure are given.

• 수산경영론집
• /
• 제47권3호
• /
• pp.15-33
• /
• 2016

This study aims to analyze effectiveness of the resource use under the total allowable catch system (TACs) of Comb pen shell, a species among TAC targeting ones through its stock assessment based on the surplus production model such as the Clark Yoshimoto Pooley (CYP) model. Particularly, this study is separated into five analysis periods in order to understand changes in Comb pen shell resource and its efficient use after TAC system implemented in 2001. The results of this study are as follows. First, five sustainable yield curves (SYCs) and exponential growth functions (EGFs) produced by the surplus production model based on Gompertz growth function to compare before and after implementation of the Korean TAC system show that the TAC system has generated a positive stock rebuilding effect for Comb pen shell caught by the diver fishery since 2001. Secondly, five profits based on differences between the sustainable total revenue (STR) and the total cost (TC) with respect to fishing efforts present that the TAC system has increased efficiency of resource use of Comb pen shell caught by the diver fishery after implementation of the Korean TAC system. In conclusion, the Korean TAC system has increased efficiency of resource use as well as has led a positive stock rebuilding effect for Comb pen shell.

• Journal of Information Processing Systems
• /
• 제15권3호
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• 한국의류학회지
• /
• 제20권5호
• /
• pp.860-869
• /
• 1996

This study is a research for an idea of costume containing clothing system in the early Practical Science School. The result are described as follows 1. Bak-Kyem, Han got a critical thought and attitude to seek for practical and rational as pect. Because that he studied an original text and wanted to find a basic meaning. And the result, he made a Pang-Ryeong Symeui. 2. Hwyeng-won, Rue contended that we had to model after chinese costume system to seek for a correct clothing system to harmonize with our culture and regulation. And he sought for the original courtesy because that his basic idea of reformation in the clothing system was an ancient system. But when there was a remedy, he suggested a new system. 3. Ik, lee considered a clothing system with a critical and investigated attitude. In the clothing system, he wanted to keep an original courtesy. But he asserted a constant reformation in evil tradition. He pursued a rationality not to be tied a formality, and he had also a flexibility to recognize real customs.

• 한국환경보건학회지
• /
• 제41권6호
• /
• pp.397-404
• /
• 2015

Objectives: The aim of this study is to investigate microbial contamination in the school food service environment for the assessment of microbial food safety. Methods: We collected both swab samples from tables and desks and airborne bacterial samples from an elementary school (School A) and a high school (School B). Heterotrophic plate count, total coliform, Staphylococcus aureus, and Bacillus cereus were measured with selective media to quantify microbial concentration. PCR assay targeting 16S rRNA genes was performed to identify the strains of S. aureus and B. cereus isolated. In addition, we made a food service checklist for the locations to evaluate the food service environment. A Wilcoxon test was employed to examine the differences in microbial concentration between before lunchtime and afterwards. Results: Heterotrophic plate counts showed higher levels after-lunch compared to before-lunch at School B. However, levels of S. aureus were higher in the after-lunch period (p<0.05) in both classrooms and in the cafeteria in School A. B. cereus was only sparsely detected in School B. Several samples from food dining carts were found to be contaminated with bacteria, and facilities associated with food delivery were found to be vulnerable to bacterial contamination. Although microbial concentrations in the air showed little difference between before- and after-lunchtime in the cafeteria in School A, those in classrooms were greater after-lunchtime at both schools. Conclusion: Our results suggested that the microbial safety in schools after lunchtime of concern. Necessary preventive measures such as hygiene education for students and food handlers should be required to minimize microbial contamination during food service processes in schools.

• 대한치과재료학회지
• /
• 제43권4호
• /
• pp.343-349
• /
• 2016

This experiment was carried out to examine whether the post-firing heat treatment is effective in increasing the hardness of metal-ceramic alloy of the Pd-Au-Ag-Sn system. Precipitation hardening by holding at $600^{\circ}C$ after simulated complete porcelain firing in a metal-ceramic alloy of the Pd-Au-Ag-Sn system was examined by observing the change in hardness, crystal structure, and microstructure using a hardness test, X-ray diffraction (XRD), and field emission scanning electron microscopy (FE-SEM). The hardness of the alloy increased apparently by holding the specimen at $600^{\circ}C$ for 30 min after simulated complete porcelain firing. The formation of fine grain interior precipitates during holding at $600^{\circ}C$ caused the formation of lattice strain in the grain interior, resulting in apparent hardening. The faster cooling rate (stage 0) during simulated complete porcelain firing resulted in more effective precipitation hardening during holding at $600^{\circ}C$. From the above results, an appropriate post-firing heat treatment, such as holding at $600^{\circ}C$ for 30 min after complete porcelain firing may increase the durability of metal-ceramic prostheses composed of Pd-Au-Ag-Sn alloy.

• 대한소아치과학회지
• /
• 제25권1호
• /
• pp.19-37
• /
• 1998

The efficacy of several pulpotomy methods were evaluated histologically on animal model using 6 beagles. At 1, 4, 6 weeks after pulpotomy, animals were sacrificed by perfusion method, Histomorphometric analysis was performed using computerized image analyzing system. Statistical comparisons were done using SPSS program. The following results were obtained: 1. Tissue responses after ferric sulfate treatment mainly consisted of fibrous surface layer with the underneath pulpal tissue layer containing well-preserved odontoblasts. 2. Bleeding, fibrosis and necrosis are the main reactions obsereved in electrosurgical pulpotomy and the normal pulpal tissues were limited to the apical portion. 3. In the aspect of preserving the normal pulpal tissue, ferric sulfate pulpotomy was evaluated to be superior to formocresol or electrosurgical pulpotomy.

• 교육시설 논문지
• /
• 제19권1호
• /
• pp.13-24
• /
• 2012

Recently, many middle and high schools are remodeling the buildings and facilities based on departmental system. This study, through analyzing on 10 remodeling cases of high school, is showing the variation before and after remodeling, space organization types, and the types of school management. This also gives us the information on the number of classrooms and teachers' rooms for each subject, the area and number of home base, and the current state of all these facilities. Furthermore, this study is comparing and analyzing the rate of use of specialized classrooms to the type of management. Through this analysis, we reach the following conclusions. l. However all the cases remodeled their buildings to implement departmental system, the methods of space composition, the numbers of the classrooms, and the status of home base are in various forms. 2. Taken as a whole, there are only few spaces used by departmental system. 3. The spaces for practical subjects such as Science and Art are inadequate than the ones for major subjects such as Languages and Mathematics. 4. A system to assign a room for a teacher records the lowest space usage rate. 5. The area of home base per one student is only $0.48m^2$, and even the area is mostly filled with lockers. The present condition of the 10 high schools which we surveyed shortly after remodeled shows that departmental system is not firmly settled down yet.

• Physical Therapy Rehabilitation Science
• /
• 제10권4호
• /
• pp.421-429
• /
• 2021

Objective: The purpose of this study was to examine the effect of personalized complex aerobic training programs using wearable device on cardiovascular and respiratory functions in community based female elderly. Design: One group pre-post intervention study. Methods: Twenty-one older female participants lived in 'D' city were included. The personalized complex aerobic training program using wearable devices was applied to all participants for 4 weeks, 3 times a week, 30 minutes for per session. The participants' blood pressure, heart rate, oxygen saturation, respiration rate, submaximal exercise stress test, pulmonary function test and respiratory muscle strength test were evaluated before and after the complex training program. Results: After intervention, resting diastolic blood pressure, resting systolic blood pressure and the systolic blood pressure after submaximal exercise stress test were significantly decreased over time (p<0.05), and the submaximal exercise stress test duration were significantly increased over time (p<0.05). The maximal inspiratory pressure (MIP) was significantly increased compare to before the intervention (p<0.05). Conclusions: This study showed that personalized complex training program using wearable device can provide personalized exercise intensity according to cardiopulmonary function that give feedback, and these interventions have a significant effect on improving the cardiovascular and respiratory system functions of the female elderly in the community dwelling.

• International Journal of Contents
• /
• 제6권4호
• /
• pp.43-48
• /
• 2010

Because of the social and political reasons, Chinese design higher education has come a long and difficult road. Before and after the Reform and Opening-up, Chinese design higher education system has gone through two different models: "Arts and Crafts" and "Arts & Design". By comparing external environment and Education Concept of two models, this paper points out that the correct direction of design higher education reform is to understand and learn the advantages of two education systems.