• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.49 no.2
• /
• pp.70-77
• /
• 2000

This paper proposes a method of solving a unit commitment problem using tabu search (TS) which is heuristic algorithm. Ts is a local search method that starts from any initial solution and attempts to determine a better solution using memory structures. In this paper, to reduce the computation time for finding the optimal solution, changing tabu list size as intensification strategy and path relinking method as diversification strategy are proposed. To show the usefulness of the proposed method, we simulated for 10 units system and 110 units system. Numerical results show improvements in the generation costs and the computation time compared with priority list, genetic algorithm(GA), and hybrid GA.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.1
• /
• pp.91-99
• /
• 2016

A certificate revocation list(CRL) should be distributed quickly to all the vehicles in the network to protect them from malicious users and malfunctioning equipments as well as to increase the overall security and safety of vehicular networks. However, a major challenge is how to distribute CRLs efficiently. In this paper, we propose a novel Regional CRL distribution method based on the vehicle location registration locally to manage vehicle mobility. The method makes Regional CRLs based on the vehicles' location and distributes them, which can reduce CRL size and distribution time efficiently. According to the simulation results, the proposed method's signaling performance of vehicle's registration is enhanced from 22% to 37% compared to the existing Regional CRL distribution method. It's CRL distribution time is also decreased from 37% to 67% compared to the existing Full CRL distribution method.

• Journal of The Korean Association For Science Education
• /
• v.27 no.2
• /
• pp.153-167
• /
• 2007

In this study, it is assumed that understanding the nature of science (NOS) would enhance students' performance of scientific inquiry in more authentic ways. The ultimate goal of this study is to suggest new models for developing scientific inquiry activities through understanding the NOS by linking the NOS with scientific inquiry. First, the various definitions and statements of the NOS are summarized, then the features of the developmental nature of scientific knowledge and the nature of scientific thinking based on the philosophy of science are reviewed, and finally a synthetic list of the elements of the NOS is proposed, consisting of three categories: the nature of scientific knowledge, the nature of scientific inquiry, and the nature of scientific thinking. This suggested synthetic list of the NOS is used to suggest a model of scientific inquiry through the understanding of the NOS. This list was designed to provide basic standards regarding the NOS as well as practical guidance for designing activities to improve students' understanding of the NOS.

• Journal of Species Research
• /
• v.3 no.2
• /
• pp.123-126
• /
• 2014

We present a list of the beetle species associated with the oyster mushroom, Pleurotus ostreatus Fr. in the birch forest of Onon-Balj National Park in Mongolia. A total of 21 species in seven families were found in this fungus, including fungivorous species: Litargus japonicus Reitter and Mycetophagus antennatus (Reitter) (Mycetophagidae), Pseudamblyopus similis (Lewis) (Erotylidae), and Lordithon sp. (Staphylinidae) etc. Both adult and larval forms are presented in the checklist along with the type of fungal association, of which approximately 52 percent are obligate mycetobionts. The main trends of the ecological and trophic specialization of the mycetophilic beetles are discussed.

• Journal of Preventive Medicine and Public Health
• /
• v.41 no.2
• /
• pp.69-73
• /
• 2008

To curb a rapid increase in expenditures for pharmaceuticals, the Korean government introduced a positive list system and a negotiation process for drug prices at the end of 2006. Economic evaluation of pharmaceuticals has begun to have a pivotal role in the listing and pricing of drugs for the Korean National Health Insurance. There are some points to discuss regarding the use of economic evaluation in the listing and pricing in the context of the Korean system. First, the listing and pricing processes have been fragmented, evoking complaints from pharmaceutical companies and delaying the access of new drugs to patients. Second, there is a concern that the positive list system may limit the range and availability of drugs for patients to choose for treatment. Third, the time schedule for de-listing of existing drugs may not be realistic. Fourth, it is not always easy to provide reliable evidence of cost-effectiveness due to a lack of materials. Fifth, there is no consensus on the range of the ICER (incremental cost-effectiveness ratio) acceptable to the Korean society. In conclusion, in the near future, it will be necessary to evaluate the achievements that the economic evaluation has provided to the Korean society.

• Journal of Society of Preventive Korean Medicine
• /
• v.11 no.2
• /
• pp.87-99
• /
• 2007

Background : Most traditional Korean doctors use "Packed Herbal Medicine", which is made from boiling various herbs together. However, the current insurance system doesn't cover the act of making packed herbal medicine. Therefore it is urgent for these doctors to study and find the best and most logical insurance program to cover the Packed Herbal Medicine system. Objectives : The purposes of this study were to investigate whether Announced System of Herb Price is proper for stability of medical herbs's price. Methods : This study made these following results by studying medical herbs's price of KOMD(The korea oriental medicine distribution company) from 2004 March to 2007 March The results are summarized as follows ; The 50 most frequently used herbs were chosen from the 831 standard prescriptions according to 26 pre-determined specific diseases. These prescriptions are considered the most important for this study and insurance purposes. fluctuations of fifty medical herbs which were used much about a predetermined list of 831 prescriptions are multiple function not linear equation. fluctuations of fifty medical herbs which were used much about a predetermined list of 831 prescriptions are different according to time. Therefore, to notify medical herbs's price is valid method for stability of medical herbs's price.

• Journal of Plant Biology
• /
• v.1 no.1
• /
• pp.45-70
• /
• 1958

• Proceedings of the KIEE Conference
• /
• 2003.07a
• /
• pp.256-258
• /
• 2003

Recently, electric power demands tend to be increased continuously. In this situation, current states of power systems must be definitely recognized to operate power systems stably and economically. Also, corrective actions must be performed for the violation of bus voltage and line overload. It is desirable that the situations of violation are promptly removed to operate power systems effectively. This paper deals with the development of guidance system for voltage and overload correction on base case using Generator-Voltage Sensitivity List(GVSL) and Generator Shifter Factor List(GSFL). Also, to show the superiority and economical efficiency of the proposed application, we applied the proposed guidance system to the Kwangyang Steel Works' Power Systems.

• 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 Society of Environmental Restoration Technology
• /
• v.15 no.1
• /
• pp.35-51
• /
• 2012

The vascular plants in Bukhansan Dulegil, Jingwan-dong Wetland and Bukhan-dong Cheolgeoji were listed 432 taxa (8.9% of all 4,881 taxa of vascular plants); 95 families, 274 genera, 345 species, 2 subspecies, 69 varieties and 16 forms. Divided into woody plants were 145 taxa (33.6%) and herbaceous plants were 287 taxa (66.4%). The Bukhansan Dulegil were listed (Myeongsang-gil 159 taxa, Huingureum-gil 227 taxa, Wooyiryeong-gil 216 taxa, Banghakdong-gil 139 taxa, Boru-gil 199 taxa), Jingwan-dong Wetland were listed 147 taxa and Bukhan-dong Cheolgeoji were listed 129 taxa. Based on the list of rare plants by Korea Forest Service and Korea National Arboretum were Viola albida Palibin (Violaceae), Iris minutiaurea Makino (Iridaceae) and Korea National Arboretum were endemic plants, Philadelphus schrenkii Rupr. var. schrenkii (Saxifragaceae), Weigela subsessilis L.H. Bailey (Caprifoliaceae). Based on the list of floristic regional indicator plants by Korean Ministry of Environment were total 22 taxa; Wisteria floribunda DC. for. floribunda in class IV, 3 taxa (Betula davurica Pall., Mukdenia rossii Koidz., Glechoma grandis Kuprian., etc.) in class III, 5 taxa (Acer triflorum Kom., Viola orientalis W. Becker, Heloniopsis koreana Fuse & Al., etc.) in class II and 13 taxa (Camptosorus sibiricus Rupr., Clematis patens C. Morren & Decne., Cirsium pendulum Fisch. ex DC., etc.) in class I. Based on the list of naturalized plants, 16 families, 35 genera, 37 species, 3 varieties, 1 form, total 41 taxa (Rumex crispus L., Abutilon theophrasti Medicus, Panicum dichotomiflorum Michx. etc.), naturalization rate was 9.5% of all 432 taxa of vascular plants and urbanization index was 13.3% of all 309 taxa of naturalized plants. Ecosystem disturbing wild plants were 5 taxa; Rumex acetocella L., Ambrosia artemisiifolia L., Ambrosia trifida L. var. trifida, Eupatorium rugosum Houtt., Aster pilosus Willd.