• Bulletin of the Korean Mathematical Society
• /
• v.46 no.1
• /
• pp.171-182
• /
• 2009

In this paper, we consider the parameter space of the rational plane curves with uni-branched singularity. We show that such a parameter space is decomposable into irreducible components which are rational varieties. Rational parametrizations of the irreducible components are given in a constructive way, by a repeated use of Abhyankar-Moh Epimorphism Theorem. We compute an enumerative invariant of this parameter space, and include explicit computational examples to recover some classically-known invariants.

• Journal of KIISE
• /
• v.44 no.9
• /
• pp.986-991
• /
• 2017

In this paper, we present a method for synthesizing imperative programs from input-output examples. Given (1) a set of input-output examples, (2) an incomplete program, and (3) variables and integer constants to be used, the synthesizer outputs a complete program that satisfies all of the given examples. The basic synthesis algorithm enumerates all possible candidate programs until the solution program is found (enumerative search). However, it is too slow for practical use due to the huge search space. To accelerate the search speed, our approach uses code optimization and avoids unnecessary search for the programs that are syntactically different but semantically equivalent. We have evaluated our synthesis algorithm on 20 introductory programming problems, and the results show that our method improves the speed of the basic algorithm by 10x on average.

• Journal of the Korean Society for Library and Information Science
• /
• v.32 no.2
• /
• pp.55-76
• /
• 1998

The first part of this article investigates the general characteristics and the advantages and disadvantages of the analytico-synthetic classification over the enumerative one. The second part analyzes the general steps and related problems in compiling an analytico-synthetic scheme, and investigates the steps further including facet analysis , choosing order in main classes, citation order and order in array : and adding notations, through an illustrative scheme for a matrimonial agency's records.

• Journal of Construction Engineering and Project Management
• /
• v.3 no.3
• /
• pp.17-22
• /
• 2013

In many urban cities, super-tall buildings have been being constructed around New York and Chicago as the center since 1930 to improve the efficiency of land use and respond to new residential type. In terms of energy consumption, super-tall buildings are classified as a top energy consumption building. Also, as time passed, the degradation of energy performance occurs in super-tall buildings like general things so that these cannot show the initial performance planned in the design phase. Accordingly, building owners need to make a plan to apply energy saving measures to existing building during the operation phase. In order to select energy saving measures, calculus-based methods and enumerative schemes have been typically used. However, these methods are time-consuming and previous studies which used these methods have problems with not considering the initial construction cost. Consequently, this study proposes a model for selecting an optimal combination of energy saving measures which derives maximum energy saving within allowable cost using genetic algorithms. As a contribution of this research, it would be expected that a model is utilized as one of the decision-making tools during the planning stage for energy saving.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.6
• /
• pp.2282-2303
• /
• 2021

To solve the problems of heavy computing load and system transmission pressure in energy internet (EI), we establish a three-tier cloud-edge integrated EI network based on a cloud-edge collaborative computing to achieve the tradeoff between energy consumption and the system delay. A joint optimization problem for resource allocation and task offloading in the threetier cloud-edge integrated EI network is formulated to minimize the total system cost under the constraints of the task scheduling binary variables of each sensor node, the maximum uplink transmit power of each sensor node, the limited computation capability of the sensor node and the maximum computation resource of each edge server, which is a Mixed Integer Non-linear Programming (MINLP) problem. To solve the problem, we propose a joint task offloading and resource allocation algorithm (JTOARA), which is decomposed into three subproblems including the uplink transmission power allocation sub-problem, the computation resource allocation sub-problem, and the offloading scheme selection subproblem. Then, the power allocation of each sensor node is achieved by bisection search algorithm, which has a fast convergence. While the computation resource allocation is derived by line optimization method and convex optimization theory. Finally, to achieve the optimal task offloading, we propose a cloud-edge collaborative computation offloading schemes based on game theory and prove the existence of Nash Equilibrium. The simulation results demonstrate that our proposed algorithm can improve output performance as comparing with the conventional algorithms, and its performance is close to the that of the enumerative algorithm.

• International conference on construction engineering and project management
• /
• 2013.01a
• /
• pp.294-299
• /
• 2013

In many urban cities, super-tall buildings have been being constructed around New York and Chicago as the center since 1930 to improve the efficiency of land use and respond to new residential type. In terms of energy consumption, super-tall buildings are classified as a top energy consumption building. Also, as time passed, the degradation of energy performance occurs in super-tall buildings like general things so that these cannot show the initial performance planned in the design phase. Accordingly, building owners need to make a plan to apply energy saving measures to existing building during the operation phase. In order to select energy saving measures, calculus-based methods and enumerative schemes have been typically used. However, these methods are time-consuming and previous studies which used these methods have problems with not considering the initial construction cost. Consequently, this study proposes a model for selecting an optimal combination of energy saving measures which derives maximum energy saving within allowable cost using genetic algorithms. As a contribution of this research, it would be expected that a model is utilized as one of the decision-making tools during the planning stage for energy saving.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.15 no.1
• /
• pp.23-41
• /
• 2004

In indexing and organizing Web resources, there have been two basic methods: automatic indexing by extracting key words and library classification schemes or subject directories of search engines. But, both methods have failed to satisfy the user's information needs, due to the lack of standard criteria and the irrationality of its structural system. In this paper I have examined the limits of library classification scheme's structures and the problems related to the nature of Web resources such as specificity and exhaustivity. I have also attempted to explain the logicality of Web resources organization by facet analysis and its strengths and limitations. In so doing, I have proposed three specific methods in using facet analysis: firstly, indexing system by facet analysis; secondly, the alternative transformation of the enumerative classification scheme into facet classification scheme; and finally, the facet model of subject directory of domestic search engine. After examining the three methods, my study concludes that a controlled vocabulary by facet analysis can be employed as a useful method in organizing Web resources.

• Journal of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1121-1148
• /
• 2017

Go is an ancient game of great complexity and has a huge following in East Asia. It is also very rich mathematically, and can be played on any graph, although it is usually played on a square lattice. As with any game, one of the most fundamental problems is to determine the number of legal positions, or the probability that a random position is legal. A random Go position is generated using a model previously studied by the author, with each vertex being independently Black, White or Uncoloured with probabilities q, q, 1 - 2q respectively. In this paper we consider the probability of legality for two scenarios. Firstly, for an $N{\times}N$ square lattice graph, we show that, with $q=cN^{-{\alpha}}$ and c and ${\alpha}$ constant, as $N{\rightarrow}{\infty}$ the limiting probability of legality is 0, exp($-2c^5$), and 1 according as ${\alpha}$ < 2/5, ${\alpha}=2/5$ and ${\alpha}$ > 2/5 respectively. On the way, we investigate the behaviour of the number of captured chains (or chromons). Secondly, for a random graph on n vertices with edge probability p generated according to the classical $Gilbert-Erd{\ddot{o}}s-R{\acute{e}}nyi$ model ${\mathcal{G}}$(n; p), we classify the main situations according to their asymptotic almost sure legality or illegality. Our results draw on a variety of probabilistic and enumerative methods including linearity of expectation, second moment method, factorial moments, polyomino enumeration, giant components in random graphs, and typicality of random structures. We conclude with suggestions for further work.

• Journal of Korean Library and Information Science Society
• /
• v.20
• /
• pp.351-381
• /
• 1993

The purpose of this study is to analyze the various processes and patterns to build or synthesize class numbers in the 800 class of the Dewey Decimal Classification, Edition 20(1989). The results of the analysis are as follows: 1. The 800(Literature and rhetoric) class in the DDC system is the main class added analytico-synthetic principle positively to an enumerative scheme. 2. The facets to be a n.0, pplied in literature are language literary form literary period ; kind, scope, or medium ; notation 08(collection) or 09(criticism) literary feature, subject, author, etc. 3. In the 800 class, there are the five tables of precedence for literary forms aspects ; specific kinds of persons ; literary, period in relation to the aspects for works treating more than one literary form subforms, aspects and literary periods in the works treating a specific literary form. 4. The basic number synthesis of literary works proceeds through the various facets in the following sequence, as far as necessary for the item : base no. + literary form + literary time or period + kind, scope, or medium + notation 08 or 09 + subform + additional notation from T3C and other tables. 5. In view of the multiplicity of facets, their synthesis formulas take the following order : (1) Works about the literature : base no.(schedule) + language(T6) or form(T3B) (2) Works by or about individual author : base no.(schedule) + form (T3A) + period(schedule) + subform(T3A) (3) Works by or about more than one author, not restricted by language facet : base no.(schedule) + period(T1) ; base no.(schedule) + kind, scope, medium(T3B), or feature(T3C), or person(T5). (4) Works by or about more than one author, restricted by language facet : base no.(schedule) + form (T3B) + period(schedule) + subform(T3B) + notation 08 or 09(T3B) ; base no.(schedule) + notation 08 or 09(T3B) + 9(T3C) + area notation(T2) : base no.(schedule) + form (T3B) + notation 008 or 009(T3B) : base no.(schedule) + form (T3B) + kind, scope, medium(T3B) + notation 08 or 09(T3B) + period(schedule). (5) Affiliated literatures for which period numbers are not us base no.(schedule) + form (T3A or T3B), or notation 08 or 09(T3B) : base no.(schedule) + kind, scope, medium(T3B), feature(T3C), or person(T5) 6. The problems in the number building of the 800 class are the complexity and difficulty of number synthesis, the intrinsic weakness of from distinction and the inconvenience of retrieval inherent in the form class. In order to solve these problems, therefore, the citation orders and methods of DDC should be improved and synthesis patterns simplified from the point of view of its applicability and its usefulness in the "literature class".