• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.4
• /
• pp.176-184
• /
• 2002

We provide a checkpointing framework reflecting both the timeliness and the dependability in order to make checkpointing applicable to dependable real-time systems. The predictability of real-time tasks with checkpointing is guaranteed by the worst case execution time (WCET) based on the allocated number of checkpoints and the permissible number of failures. The permissible number of failures is derived from fault tolerance requirements, thus guaranteeing the dependability of tasks. Using the WCET and the permissible number of failures of tasks, we develop an algorithm that determines the minimum number of checkpoints allocated to each task in order to guarantee the schedulability of a task set. Since the framework is based on the amount of time redundancy caused by checkpointing, it can be extended to other time redundancy techniques.

• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.675-681
• /
• 2000

Let f : M longrightarrow M be a homotopically periodic self-map of a closed surface M. Except for M = $S^2$, the Nielsen number N(f) and the Lefschetz number L(f) of the self-map f are the same. This is a generalization of Kwasik and Lee's result to 2-dimensional case. On the 2-sphere $S^2$, N(f) = 1 and L(f) = deg(f) + 1 for any self-map f : $S^2$longrightarrow$S^2$.

• Research in Mathematical Education
• /
• v.9 no.3 s.23
• /
• pp.257-267
• /
• 2005

When notions of numbers are expanded from natural number to complex number, a similar mathematical phenomenon can be observed in each number. As a case study, to complex number, the phenomenon is investigated carefully and teaching materials are created. Then complex number is expressed with matrices and is geometrically treated, so a new number which is an extension of complex number is discovered. Thus, teaching material regarding to complex number and matrices is made for students of ordinary level. Moreover, for talented students, material about an extension of complex number can be added to the previous one.

• Journal of the Korean Society of Safety
• /
• v.35 no.3
• /
• pp.6-15
• /
• 2020

This study examined the structural behaviors and ultimate loads of assembled system scaffolds by load tests. Considering the number of bay and bracing installation, four specimens were tested. The bays were divided into 1 bay and 2 bays, with and without the bracing member installed. Failure modes and horizontal displacements show that the whole column buckled without showing no point of inflection in the column, regardless of whether or not braces were installed. Thus, the current design method of selecting the vertical spacing between the horizontal members of the system scaffold as the effective buckling length underestimates the effective buckling length. In case of 1 bay specimens, the ultimate loads between specimens with and with bracing members are similar. However, in case of 2 bay specimens, the specimen with bracing members shows the increased ultimate load of 36% compared with that without bracing members. In addition, as the number of bays in the system scaffold increases, the ultimate load of the unit vertical column increases in case of the specimen with bracing installation. However, in the specimen without bracing members, the ultimate load of the unit column reduces with the increment of the number of bays due to the torsional buckling. Therefore, it is essential to install bracing members to increase the whole strength of system scaffolds and the ultimate load of the unit column.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.23 no.2
• /
• pp.226-233
• /
• 1999

An experimental study has been performed on natural convection heat transfer with a rapid crust formation in the molten metal pool of a low Prandtl number fluid. Two types of steady state tests, a low and high geometric aspect ratio cases in the molten metal pool, were performed. The crust thickness by solidification was measured 88 a function of boundary surface temperatures. The experimental results on the relationship between the Nusselt number and Rayleigh number In the molten metal pool with a crust formation were compared with existing correlations. The experimental study has shown that the bottom surface temperature of the molten metal layer, in all experiments. is the major influential parameter in the crust formation, duo to the natural convection flow. The Nusselt number of the case without a crust formation in the molten metal pool is greater than that of the case with the crust formation at the same Rayleigh number. The present experimental results on the relationship between the Nusselt number and Rayleigh number In the molten metal pool match well with Globe and Dropkin's correlation. From the experimental results, a now correlation between the Nusslet number and Rayleigh number in the molten metal pool with the crust formation was developed as $Nu=0.0923(Ra)^{0.302}$ ($2{\times}10^4< Ra<2{\times}10^7$).

• Transactions of the Korean Society of Automotive Engineers
• /
• v.15 no.6
• /
• pp.128-136
• /
• 2007

It is well known that two representative methods satisfy EURO-IV regulation from EURO-III. The first method is to achieve the regulation through the reduction of NOx in an engine by utilizing relatively high EGR rate and the elimination of subsequently increased PM by DPF. However, it results in the deterioration of fuel economy due to relatively high EGR rate. The second is to use the high combustion strategy to reduce PM emission by high oxidation rate and trap the high NOx emissions with DeNOx catalysts such as Urea-SCR. While it has good fuel economy relative to the first method mentioned above, its infrastructure is demanded. In this paper, the number distribution of nano PM has been evaluated by Electrical Low Pressure Impactor(ELPI) and CPC in case of Urea-SCR system in second method. From the results, the particle number was increased slightly in proportion to the amount of urea injection on Fine Particle Region, whether AOC is used or not. Especially, in case of different urea injection pressure, the trends of increasing was distinguished from low and high injection pressure. As low injection pressure, the particle number was increased largely in accordance with the amount of injected urea solution on Fine Particle Region. But Nano Particle Region was not. The other side, in case of high pressure, increasing rate of particle number was larger than low pressure injection on Nano Particle Region. From the results, the reason of particle number increase due to urea injection is supposed that new products are composited from HCNO, sulfate, NH3 on urea decomposition process.

• Journal of Korean Academy of Oral and Maxillofacial Radiology
• /
• v.26 no.2
• /
• pp.45-63
• /
• 1996

In attempt to determine radiation effect on the mandibular condyle of the growing rat, 27 white female rats (Sprague-Dawley) were divided into 3 groups and irradiated respectively 5Gy, 10Gy, 20Gy using MK Cell Irradiator. Mandibular condyles from rats on the day of 1, 7, 14 after the irradiation day were obtained, sectioned sagittally and examined by light microscopy, and thereafter middle portion through anteroposterior direction on the sagittal plane was selected to examine the ultrastructural change by transmission electron microscopy. The obtained results are followings. 1. In the proliferative zone some cells showed little organelles in case of 5Gy irradiation, in addition the number of degenerative cells increased and in case of 10Gy irradiation, and in case of 20 Gy irradiation total number of cells decreased. 2. In the hypertrophic zone, narrowing of width and partial disorder in hypertrophic process were noted in case of 5 Gy irradiation, and more prominent narrowing of width and more irregular disorder in hypertrophic process in case of both 10Gy and 20Gy irradiation. 3. In the upper hypertrophic zone some chondrocytes seemed to be dying and the polarity of nuclei could not be seen, if any. 4. The periodic observation showed the severest change at day 7 and the signs of recovery at day 14 after irradiation.

• Journal of Korean Association for Spatial Structures
• /
• v.19 no.3
• /
• pp.93-100
• /
• 2019

In this study, the retractable-roof spatial structure was chosen as the analytical model and a tuned mass damper (TMD) was installed in the analytical model in order to control the seismic response. The analysis model is mainly consisted of runway trusses (RT) and transverse trusses (TT), and the displacement response was analyzed by installing TMD on those trusses. The mass of the single TMD which is installed in the analytical model was set to 1% of the total structure mass and the total TMD mass ratio was set to be 8% or 6%. In addition, the mass of a single TMD was varied depending on the number of installations. As a result of analyzing the optimal number of installations of TMD, the displacement response was reduced in all cases compared to the case without TMD. Above all, the case with 8 TMDs was the most effective in reducing he displacement response. However, in this case, as the load on the upper structure of the retractable-roof spatial structure increases, the total mass ratio of TMD was maintained and the number of TMDs was increased to reduce the mass ratio of one TMD.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.55 no.3
• /
• pp.190-197
• /
• 2019

This study investigated the luring effect of the sardine bait, which is used to catch octopus with pot, as the preliminary study for the development of alternative bait for octopus pot. The soaking time for bait was divided into "5 days or less" and "11 days or longer" The number of times octopus entered the pot with bait and the empty pot was investigated under dark adaptation and light adaptation processes and the distribution of tank section was investigated under light adaptation process. The case of "11 days or longer" sardine soaking time showed higher rate of distribution in the section of pot with bait compared to the case of "5 days or less" In the case of "5 days or less" soaking time, the number of times the octopus entered the pot with bait was similar to that it entered the pot without it even during dark adaptation and light adaptation. However, in the case of "11 days or longer", the octopus entered the pot with bait more quickly than the pot without bait and more frequently during dark adaptation hours. There were cases where the octopus did not enter any pot. In the case of "5 days or less", with less decomposition of baits, the octopus entered the empty pot more during light adaptation process, and it appeared that the pot was used as a hideout.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.22 no.5
• /
• pp.282-288
• /
• 2010

Experiment on the surface characteristics of polymer films treated by atmospheric pressure plasma has been conducted. We chose the process parameters as frequency, gas flow, treatment time, and scrutinized the effects of the process parameters on the surface characteristics of polymer materials by measuring the contact angle and examining SEM. As the result, the surface characteristics highly depends on frequency, reaction gas and treatment time. In the case of PC substrate, the contact angle was changed from $83.5^{\circ}$ (before plasma treatment) to $30^{\circ}$ (after plasma treatment) at 30 kHz, CDA 0.6%, and number of repeat 7. In the case of PET substrate, the contact angle change was found from $59^{\circ}$ to $23.5^{\circ}$ at 20 kHz, CDA 0.6%, and number of repeat 7. In the case of EVA substrate, it shows from $84^{\circ}$ to $44.2^{\circ}$ at 30 kHz, CDA 0.6%, and number of repeat 7.