• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.419-437
• /
• 2021

We prove that every minimal symplectic filling of the link of a quotient surface singularity can be obtained from its minimal resolution by applying a sequence of rational blow-downs and symplectic antiflips. We present an explicit algorithm inspired by the minimal model program for complex 3-dimensional algebraic varieties.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1471-1483
• /
• 2017

We classify three-dimensional non-normal semi-terminal singularities.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1173-1246
• /
• 2019

We find all P-resolutions of quotient surface singularities (especially, tetrahedral, octahedral, and icosahedral singularities) together with their dual graphs, which reproduces (a corrected version of) Jan Steven's list [Manuscripta Math. 1993] of the numbers of P-resolutions of each singularities. We then compute the dimensions and Milnor numbers of the corresponding irreducible components of the reduced base spaces of versal deformations of each singularities. Furthermore we realize Milnor fibers as complements of certain divisors (depending only on the singularities) in rational surfaces via the semi-stable minimal model program for 3-folds. Then we compare Milnor fibers with minimal symplectic fillings, where the latter are classified by Bhupal and Ono [Nagoya Math. J. 2012]. As an application, we show that there are 6 pairs of entries in the list of Bhupal and Ono [Nagoya Math. J. 2012] such that two entries in each pairs represent diffeomorphic minimal symplectic fillings.

• Journal of the Korean Association of Oral and Maxillofacial Surgeons
• /
• v.38 no.5
• /
• pp.271-275
• /
• 2012

Objectives: This study evaluated a range of fixation methods to determine which is best for the postoperative stabilization of a mandibular osteotomy using three-dimensional finite element analysis of the stress distribution on the plate, screw and surrounding bone and displacement of the lower incisors. Materials and Methods: The model was generated using the synthetic skull scan data, and the surface model was changed to a solid model using software. Bilateral sagittal split ramus osteotomy was performed using the program, and 8 different types of fixation methods were evaluated. A vertical load of 10 N was applied to the occlusal surface of the first molar. Results: In the case of bicortical screws, von-Mises stress on the screws and screw hole and deflection of the lower central incisor were minimal in type 2 (inverted L pattern with 3 bicortical repositioning screws). In the case of plates, von-Mises stress was minimal in type 8 (fixation 5 mm above the inferior border of the mandible with 1 metal plate and 4 monocortical screws), and deflection of the lower central incisor was minimal in types 6 (fixation 5 mm below the superior border of the mandible with 1 metal plate and 4 monocortical screws) and 7 (fixation 12 mm below the superior border of the mandible with 1 metal plate and 4 monocortical screws). Conclusion: Types 2 and 6 fixation methods provide better stability than the others.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.3
• /
• pp.135-142
• /
• 2006

Engineers are always concerned with life cycle costs for making important economic decisions through engineering action like reliability of products. Decisions during the reliability growth development of products involve trade-offs between invested costs and its returns. In order to find minimal LCC containing the reliability improvement cost, production cost, repair and replacement costs, and holding cost of spare parts for failure items we suggest in this paper relationship between development cost and sustaining cost in values of growth parameter $\beta$ of AMSAA model. This model is applied to the reliability growth program based on AMSAA model during R&D phase, the warranty activities of items and the block replacement policy for maintenance of items in avionic equipment.

• Journal of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.41-62
• /
• 2010

In this article, we discuss a Grobner basis algorithm related to the stability of algebraic varieties in the sense of Geometric Invariant Theory. We implement the algorithm with Macaulay 2 and use it to prove the stability of certain curves that play an important role in the log minimal model program for the moduli space of curves.

• Journal of the Korean Mathematical Society
• /
• v.53 no.6
• /
• pp.1293-1308
• /
• 2016

In this paper we prove the existence of rational homology balls smoothly embedded in regular neighborhoods of certain linear chains of smooth 2-spheres by using techniques from minimal model program for 3-dimensional complex algebraic variety.

• International journal of advanced smart convergence
• /
• v.10 no.3
• /
• pp.41-50
• /
• 2021

The purpose of this study is to analyze various energy platforms using data in the US and to suggest directions and implications. Some of the leading energy platforms are selected and analyzed based on the opening platform model. We focus on the case analysis of the US utility companies. In case of the horizontal open platform, Green Button sponsor's 'Connect My Data (CMD)' driven by the government invites the utility companies to jointly develop the sponsor's data solution. In case of the vertical open platform, the certification program 'Share My Data (SMD)' allows backward compatibility, because the technical improvement is minimal. The utility companies benchmark Amazon's three-sided market mediation and prefer platform and category exclusivity. For the former, they have data analytics companies like Enervee, Opower and for the latter, they have electronics manufactures and energy service providers (ESPs) like Distributed Energy Resources (DERs). Based on this US case study, we suggest the energy platforms to open their platform for renewable energy supply, energy conservation, high-efficiency products, and residential DER dissemination. To successfully implement the government's energy transition policy, the US platforms should be benchmarked as a business model. Especially, it is needed for them to coordinate a platform ecosystem. To ensure trust in the products and services offered on the marketplace platform, platform's certification program is helpful.

• Water Engineering Research
• /
• v.1 no.2
• /
• pp.137-146
• /
• 2000

A windows-based software package, named DREDGE, is developed for estimating sediment resuspension and contaminant release during dredging operations. DREDGE allows user to enter the necessary dredge information, site characteristics, operational data, and contaminant characteristics, then calculates an array of concentration using the given values. The program mainly consists of the near-field models, which are obtained empirically, for estimating sediment resuspension and the far-field models, which are obtained analytically, for suspended sediment transport. A linear equilibrium partitioning approach is applied to estimate particulate and dissolved contaminant concentrations. This software package which requires only a minimal amount of data consists of three components; user input, tabular output, and graphical output. Combining the near-field and far-field models into a user-friendly windows-based computer program can greatly save dredge operator's, planners', and regulators' efforts for estimating sediment transports and contaminant distribution.

• Journal of the Korean Society of Safety
• /
• v.18 no.1
• /
• pp.50-55
• /
• 2003

This paper presents an intelligent computer system, which can easily diagnose electrical fire causes, without the help of human experts of electrical fires diagnosis. For this system, a database is built with facts and rules driven from real electrical fires, and an intellectual database system which even a beginner can diagnose fire causes has been developed, named as an Electrical Fire Causes Diagnosis System : EFCDS. The database system has adopted, as an inference engine, a mixed reasoning approach which is constituted with the rule-based reasoning and the case-based reasoning. The system for a reasoning model was implemented using Delphi 3, one of program development tools, and Paradox is used as a database building tool. To verify effectiveness and performance of this newly developed diagnosis system, several simulated fire examples were tested and the causes of fire examples were detected effectively by this system. Additional researches will be needed to decide the minimal significant level of the solution and the weighting level of important factors.