• Journal of Korean Library and Information Science Society
• /
• v.6
• /
• pp.27-52
• /
• 1979

The book number, among various steps of book processing works, needs more careful attention and better-organized knowledge, and it is more sensitive than other parts of cataloging. This paper will give some suggestions on ways of constructing a book number, including the definition and the types of edition indication within a book number, and analyse some problems related to their application into real situation. Three possible ways of edition indication with in a book number were explained, and examples were given for each of them. Problems occurring when these codes were applied to books were analysed. In addition to the generally recognized meaning of the book number as a mean of differentiating similar works, the edition indication can make it possible for both the library staffs and the users to identify the characteristics of a work only with the book number. Searches for mere convenient and effective ways of edition indication might be related to the cost-effectiveness of book processing, and of library operation.

• Journal of Korean Library and Information Science Society
• /
• v.11
• /
• pp.211-240
• /
• 1984

The Saemaul Mini-Library system had to start as a purely voluntary grass-roots movement without a tax su n.0, pport. In other words, it had to depend on voluntary contributions in time and labor by the reading club members for its finance and daily maintenance and operation. The purpose of the study is to analyse the actual condition of a Saemaul Mini-Library, which is established in a rural and a fishing village. To meet this purpose, I will survey the function and the meaning of a Saemaul Mini-Library and the main tendency of it-now did it start and how did it develop and I will analyse the general condition of structural factors (establishment, materials, reading club) in a Saemaul Mini-Library.

• Proceedings of the KIEE Conference
• /
• 2001.11b
• /
• pp.77-82
• /
• 2001

As electric power systems have been moving from vertically integrated utilities to a deregulated environment, the charging of reactive power management is a new challenging theme for market operators. This paper proposes a new methodology to compute the costs of providing reactive power management service in a competitive electrical power market. The proposed formulation, which is basically different from those shown in the literature, consists of two parts. One is to recover investment capital costs of reactive power supporting equipment based on a reactive power flow tracing algorithm. The other is to recover operational costs based on variable spot prices using the optimal power flow algorithm. The charging shapes resulted from the proposed approach exhibit a quite good meaning viewed from a practical sense. It turns out that reactive power charges are mostly due to recovery of capital costs and slightly due to recovery of operational costs. The method can be useful in providing additional insight into power system operation and can be used to determine tariffs of a reactive power management service.

• Journal of Arbitration Studies
• /
• v.23 no.2
• /
• pp.37-54
• /
• 2013

This article focuses on integrating institutional mediation systems, especially the analysis of the leading ADR operation. Mediation is a process in which an impartial third party, a mediator, facilitates the resolution of a dispute by promoting voluntary agreements by the parties to the dispute. A mediator facilitates communications, promotes understanding, focuses the parties on their interests, and seeks agreement. These standards give meaning to this definition of mediation. Standard mediation clauses are construed as broadly as possible, and mediation is compelled unless it may be said with positive assurance that the mediation process is not susceptible to an interpretation that covers the asserted dispute. Performing the conflicts check early in the process helps in eliminating any awkwardness or delays caused by making disclosures after mediation commences. Mediator impartiality is central to the mediation process. A mediator should mediate only those matters in which she or he can remain impartial and evenhanded. If at any time the mediator is unable to conduct the process in an impartial manner, the mediator is obligated to withdraw.

• Nuclear Medicine and Molecular Imaging
• /
• v.41 no.2
• /
• pp.85-90
• /
• 2007

Acute event in cerebrovascular disease is the second most common cause of death in Korea following cancer, and it can also cause serious neurologic deficits. Understanding of perfusion status is important for clinical applications in management of patients with cerebrovascular diseases, and then the attacks of ischemic neurologic symptoms and the risk of acute events can be reduced. Therefore, the normal vascular anatomy of brain, various clinical applications of acetazolamide-enhanced brain perfusion SPECT, including meaning and role of assessment of vascular reserve in carotid stenosis before procedure, in pediatric Moyamoya disease before and after operation, in prediction of development of hyperperfusion syndrome before procedure, and in prediction of vasospasm and of prognosis in subarachnoid hemorrahge were reviewed in this paper.

• Journal of the Korean Institute of Navigation
• /
• v.23 no.4
• /
• pp.21-28
• /
• 1999

In some cases a towing vessel and her tow, a fishing boat, and a vessel at anchor have a priority against a general power-driven vessel underway in the application of collision rule. This article aims at suggesting a practical guide for the construction of the meaning of a vessel engaging in fishing, a vessel engaged in towing operation such as severely restricts the towing vessel and her tow in their ability to deviate from their course and a vessel at anchor, which are permitted to have the above priority. The construction of the application of the collision rule on the above vessels is supported by the decisions of MAIA and the judgment of civil courts.

• Journal of the Korean Institute of Educational Facilities
• /
• v.17 no.2
• /
• pp.23-30
• /
• 2010

At present, the necessity of new design guidelines, evaluation and operation system for school facilities are on the rise according to re-edition of school curriculum in Korea. Moreover, it is necessary to procedure of the design, an institutional device and an ex post facto evaluation system for school facilities as a public building with the space planning that is suitable for various situations, which are able to collect users' various demands and opinions. Under the present situation, England has introduced and operated DQI system for the users' participation design of its. The present study will derive the meaning DQI system of England and how to operate it, and percuss the possibility of the application of design procedure of the education facilities in Korea.

• The Mathematical Education
• /
• v.49 no.2
• /
• pp.149-160
• /
• 2010

Composition of functions are important tool for producing associativity in mathematical model. However it is not properly treated in dealing together with the other operation, the addition +, of functions defined on real numbers. In this note, we will study mathematization of the construction of nearring axiom from relationships between the addition + and the composition $\circ$ of functions, comparing with those between the addition + and the multiplication of functions. Furthermore, we will suggest some helpful teaching methods of these mathematization in the secondary school mathematics.

• Language and Information
• /
• v.8 no.1
• /
• pp.77-100
• /
• 2004

This paper aims to account for direct combination of an entity type noun with the verb HA- 'do' (ex. piano-rul ha- 'piano-ACC do') in Korean, based on Generative Lexicon Theory (Pustejovsky, 1995). The verb HA-'do' coerces some entity type nouns (e.g., pap 'boiled rice') into event type ones, by virtue of the qualia of the nouns. Typically, a telic-based type coercion supplies individual predication to the HA- construction and an agentive-based type coercion evokes a stage-level interpretation. Type coercion has certain constraints on the choice of qualia. We further point out that qualia cannot be a warehouse of pragmatic information. Qualia are composed of necessary information to explain the lattice structure of lexical meaning and co-occurrence constraints, distinct from accidental information. Finally, we seriously consider co-composition as an alternative to type coercion for the crucial operation of type shift.

• Language and Information
• /
• v.18 no.2
• /
• pp.1-29
• /
• 2014

Relativization is one of the common syntactic operations to merge two different clauses into a single information unit. This operation plays a pivotal role to structuralize multiple clauses cohesively as well as serves to specify the property an individual has within the context. That implies that relativization contributes to information structure of multiclausal sentences. In this context, this paper delves into information structure of relative clauses in English with an eye toward creation of a computational model from a standpoint of machine translation. The current work employs Head-driven Phrase Structure Grammar (HPSG, Pollard and Sag (1994)) as a theory of grammar and Minimal Recursion Semantics (MRS, Copestake et al. (2005) as a meaning representation system. Building upon these formalisms, this paper addresses how information structure of relative clauses can be represented and constrained. The current work makes use of Individual CONStraints (ICONS) for modeling relative clauses with respect to information structure. The current work also investigates which relative clause involves which information structure constraint. The present study argues that non-restrictive relative clauses impose a more specific constraint on information structure than restrictive relative clauses.