• International Journal of Computer Science & Network Security
• /
• v.22 no.10
• /
• pp.230-236
• /
• 2022

Objectives: The primary goal of this article is to compare the multiple algorithms used for deadlock handling methods and then outline the common method in deadlock handling methods. Methods: The article methodology begins with introducing a literature review studying different algorithms used in deadlock detection and many algorithms for deadlocks prevented, recovered, and avoided. Discussion and analysis of the literature review were done to classify and compare the studied algorithms. Findings: The results showed that the deadlock detection method solves the deadlock. As soon as the real-time deadlock detection algorithm is identified and indicated, it performs better than the non-real-time deadlock detection algorithm. Our novelty the statistics that we get from the percentages of reviewing outcomes that show the most effective rate of 47% is in deadlock prevention. Then deadlock detection and recovery with 28% finally, a rate of 25% for deadlock avoidance.

• Biotechnology and Bioprocess Engineering:BBE
• /
• v.8 no.2
• /
• pp.76-82
• /
• 2003

An increased understanding of apoptosis makes anti-apoptosis engineering possible, which is an approach used to inhibit apoptosis for the purpose of therapeutic, or industrial applications in the treatment of the diseases associated with increased apoptosis, or to improve the productivity of animal cell cultures, respectively. Some known anti-apoptosis proteins are the Bcl-2 family, IAP (inhibitor of apoptosis) and Hsps (heat shock proteins), with which anti-apoptosis engineering has progressed. This article reviews anti-apoptosis engineering using known anti-apoptosis compounds, and introduces a 30 K protein, isolated from silkworm hemolymph, as a novel anti-apoptotic protein, that Shows no homology with other known anti-apoptotic proteins. The regulation of apoptosis, using anti-apoptotic proteins and genes originating from the silkworm, Bombyx mori, may provide a new strategy in this field.

• Journal of Arbitration Studies
• /
• v.30 no.3
• /
• pp.115-136
• /
• 2020

This article provides an overview of the state of affairs of arbitrator disclosure obligations in Korea. It shows how Korean courts will analyze arbitrator conflicts and obligations through an evaluation of Supreme Court judgments and a case-specific analysis of the recent Oilhub case and provides a comparative perspective through a review of recent Japanese case law. Although limited to domestic arbitrations, it assesses the various grounds that courts consider when determining impermissible arbitrator conflicts based on relations with parties and when an award might be set aside as a result. With the 2016 adoption of the KCAB Code of Ethics for Arbitrators and its rigorous standards, great clarity has been brought to the landscape. The Code of Ethics marks a significant milestone in enhancing the robustness of arbitrator disclosures and guaranteeing the fairness, integrity, and transparency of Korean arbitration practice and law.

• Journal of Arbitration Studies
• /
• v.30 no.3
• /
• pp.3-19
• /
• 2020

With the advent of the Free Trade Agreement between Korea and the U.S. and an increase in trade volume between the two countries, the possibility of commercial disputes has escalated among international merchants. It has been well-known that arbitration as an alternative dispute resolution is an efficient way to resolve international commercial disputes. When arbitral awards are enforced in the judicial system, the court will inevitably have to be involved with the enforcement procedures. The court is a typical legal entity to confirm arbitral awards. Through a confirmation process, the winning party obtains the same legal status of final judgment rendered by the court. However, a winning party in arbitration will have to overcome a legal hurdle in the enforcement process of arbitral awards. This article aims to investigate how the courts control the arbitration practices and what the basic legal issues in the enforcement of arbitral awards are. The US Federal Arbitration Act is investigated, while relevant cases are reviewed and updated for legal analysis.

• Communications of the Korean Mathematical Society
• /
• v.30 no.1
• /
• pp.45-64
• /
• 2015

In this article, we consider a proper total coloring distinguishes adjacent vertices by sums, if every two adjacent vertices have different total sum of colors of the edges incident to the vertex and the color of the vertex. Pilsniak and Wozniak [15] first introduced this coloring and made a conjecture that the minimal number of colors need to have a proper total coloring distinguishes adjacent vertices by sums is less than or equal to the maximum degree plus 3. We study proper total colorings distinguishing adjacent vertices by sums of some graphs and their products. We prove that these graphs satisfy the conjecture.

• Bulletin of the Korean Chemical Society
• /
• v.30 no.9
• /
• pp.2001-2006
• /
• 2009

Temperature dependence of the critical micelle concentration (CMC), $x_{CMC}$, in micellization can be described by ln $x_{CMC}$ = A + BT + C lnT + D/T, which has been derived statistical-mechanically. Here A, B, C, and D are fitting parameters. The equation fits the CMC data better than conventionally used polynomial equations of temperature. Moreover, it yields the unique(exponent) value of 2 when the CMC is expressed in a power-law form. This finding is quite significant, because it may point to the universality of the thermal behavior of CMC. Hence, in this article, the nature of the equation ln $x_{CMC}$ = A + BT + C lnT + D/T is examined from a lattice-theory point of view through the Flory-Huggins model. It is found that a linear behavior of heat capacity change of micellization is responsible for the CMC equation of temperature.

• Animal Systematics, Evolution and Diversity
• /
• v.30 no.2
• /
• pp.137-143
• /
• 2014

A newly recorded species of gammaridean amphipod, Cryptodius kelleri (Br$\ddot{u}$ggen, 1907) belonging to the family Odiidae Coleman and Barnard, 1991 collected from the east coastal area of Korea. Cryptodius kelleri (Br$\ddot{u}$ggen) is characterized by the medially expanded maxillipedal palp article 2, smooth dorsal pereonites, propodochelate gnathopod 1, subchelate gnathopod 2, lacking the posterior process on the basis of pereopods 5-7, dorsal carination of pleonite 3, posterolateral upturned process of pleonite 3, and an entire telson. The species is described and fully illustrated in the present study. A key is also provided to the species of genus Cryptodius. This is the first record of the family Odiidae from Korea.

• Communications of the Korean Mathematical Society
• /
• v.30 no.3
• /
• pp.209-219
• /
• 2015

In this article, we first give metric version of an iteration scheme of Agarwal et al. [1] and approximate fixed points of two finite families of nonexpansive mappings in hyperbolic spaces through this iteration scheme which is independent of but faster than Mann and Ishikawa scheme. Also we consider case of three finite families of nonexpansive mappings. But, we need an extra condition to get convergence. Our convergence theorems generalize and refine many know results in the current literature.

• Journal of the Korean Applied Science and Technology
• /
• v.30 no.3
• /
• pp.411-422
• /
• 2013

Polymers in cosmetics are used to deliver desired attributes to skin and hair. Precisely constructed block and graft copolymers widen the range of available mechanical properties and compatibilities. Stimuli responsive hydrophobic polymers can be triggered to become hydrophilic by changes in their environment and this can confer waterproof properties at low temperature and easy water removal at higher temperatures. Transfer-resistant cosmetics can be possible due to silicone resins. The control of rheology properties in cosmetics gradually continue to be easy with copolymers. Durability of colors and fragrances for rinse-off products can be enhanced by delivery systems from complex coacervates. Polymeric anti-microbials promise product preservation while minimizing the concern of skin permeation. This article reviews recent trends in the use of polymers in cosmetics.

• Journal of the Korean Society of Safety
• /
• v.30 no.5
• /
• pp.114-122
• /
• 2015

FMEA and FTA have been widely applied to the safety studies for railway systems respectively. But it would be more effective to use these two methods at a same time because these are complementary. This article suggests a FMEA-FTA combined analysis technique to evaluate the risk for railway systems. A FMEA-FTA combined risk evaluation model and process are proposed and a case study is dealt with for PBU(Pneumatic Breaking Unit), a major subsystem of a railway vehicle.