• Language and Information
• /
• v.13 no.1
• /
• pp.39-56
• /
• 2009

This paper investigates ordering alternation phenomena in Korean using the dative construction data from Sejong Corpus of Modern Korean (Kim, 2000). The paper first shows that syntactic weight and information structure are distinct and independent factors that influence word order in Korean. Moreover, it reveals that heaviness and givenness compete each other and exert diverging effects on word order, which contrasts the converging effects of these factors shown in word orders of right-branching languages like English. The typological variation of syntactic weight effect poses interesting theoretical and empirical questions, which are discussed in relation to processing efficiency in ordering.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.219-244
• /
• 2020

In this paper, we approximate the solution of the coupled nonlinear Schrödinger equations by using a fully discrete finite element scheme based on the standard Galerkin method in space and implicit midpoint discretization in time. The proposed scheme guarantees the conservation of the total mass and the energy. First, a priori error estimates for the fully discrete Galerkin method is derived. Second, the existence of the approximated solution is proved by virtue of the Brouwer fixed point theorem. Moreover, the uniqueness of the solution is shown. Finally, convergence orders of the fully discrete Crank-Nicolson scheme are discussed. The end of the paper is devoted to some numerical experiments.

• Journal of Korean Association for Spatial Structures
• /
• v.2 no.2 s.4
• /
• pp.59-67
• /
• 2002

In this study, a method that estimates stiffness and mass matrices of shear building from modal test data is presented. This method applied of building depends on the number of measurement points that are less in number than the total structural degrees of freedom, and on the first two orders of structural mode measured. By means of this method it is possible to use modal data of unmeasurable points to estimate total stiffness and mass matrices of structure. Some examples are studied in this paper, and its result shows that this method is reliable.

• The Korean Journal of Malacology
• /
• v.6 no.1
• /
• pp.33-44
• /
• 1990

A study on the distribution and community structure of benthic molluscan shells of the northern coastal area in Cheju Island was carried out from July 1989 to June 1990. The benthic molluscan shells collected and identified were composed of 3 classes, 9 orders, 29 familes and 81 species. The first dominant species of the wpper intertidal zone of the northern coastal area in Cheju Island was Nodilittorina exigua and second dominant species were Heminerita japonica, Monodenta neritoides, Monodota neritoides, Littorina brevicula, those of middle intertidal zone were Lunella coronata coreensis, Monodonta neritoides and Omphalius rusticus. H. japonica, M. neritoides, O. rusticus, L. coronata coreensis and Niotha livescens were dominant in the lower intertidal zone, and Astralium haematragum was dominant in the infralittoral zone of within 60 feet sea water depth. The benthic molluscan standing biomass of intertidal and infralittoral zones were 145.71-705.55 gr/ /m sup 2 / and 84.57-1645.67 gr/m sup 2/ respectively, But thao among area and zones were apparently differences.

• Structural Engineering and Mechanics
• /
• v.10 no.5
• /
• pp.427-440
• /
• 2000

The formulas for the perturbation analysis with modes of close eigenvalues are derived in this paper. Emphasis is made on the consistency of the straightforward perturbation process, given the complete terms of perturbations in the zeroth-order, which is a form of Rayleigh quotient, and in the higher-orders. By dividing the perturbation of eigenvector into two parts, the first-order perturbation with respect to the modes of close eigenvalues is moved into the zeroth-order perturbation. The normality condition is employed to compute the higher-order perturbations of eigenvector. The algorithm can be condensed to a single mode with a distinct eigenvalue, and this can accelerate the convergence of the perturbation analysis. The example confirms that the perturbation approximation obtained from the suggested procedure is in a good accuracy on the eigenvalues, eigenvectors, and normality.

• Journal of the Optical Society of Korea
• /
• v.19 no.5
• /
• pp.531-536
• /
• 2015

This paper presents a new graphical method for selecting a pair of optical glass and housing materials to simultaneously achromatize and athermalize a multilens system composed of many elements. To take into account the lens spacing and housing, we quantify the lens power, chromatic power, and thermal power by weighting the ratio of the paraxial ray height at each lens to them. In addition, we introduce the equivalent single lens and the expanded athermal glass map including a housing material. Even though a lens system is composed of many elements, we can simply identify a pair of glass and housing materials that satisfies the athermal and achromatic conditions. Applying this method to design a black box camera lens equipped with a 1/4-inch image sensor having a pixel width of $2{\mu}m$, the chromatic and thermal defocusings are reduced to less than the depth of focus, over the specified ranges in temperature and frequency.

• The Korean Journal of Zoology
• /
• v.29 no.4
• /
• pp.245-260
• /
• 1986

For the systematics study of the Holothuroidea in Cheju-do the present study was done with the materials collected from seven localities of Cheju-to (Cheju-hang, Piyangdo, Hallim, Sogwip'o, Tangp'o Songsanp'o, Udo) during the period from December 1969 to February 1986. As a result the holothurians in Cheju-do consit of nine species, six families, three orders and three subclasses. Of those five species are reported for the first time from Korean waters and they are as follows: Holothuria monacaria, H. pardalis, Afrocucumis africana, Leptosynapta ooplax and Polycheira rufescens.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.31 no.2
• /
• pp.99-112
• /
• 2006

In our model, we keep inventory to satisfy uncertain demands which arrives irregularly. In this situation, we have additional two constraints. First, we need to have certain amount of order consolidation (consolidation constraint) for the orders to replenish the inventory because of production or purchase amount constraint. And also, if we order at a certain date which was set by administrative convenience, we have capacity constraint to order the consolidated order demands (capacity constraint). We show this variant inventory policy is needed in steel industry and note that there will be possible similar case in industry. To deal with this case, we invent a variant replenishment policy and show this policy is superior to other possible polices in the consolidation constraint case by extensive simulation. And we derive a combined solution method for dealing with the capacity constraints in addition to the consolidation constraints. For this, we suggest a combined solution method of integer programming and simulation.

• IE interfaces
• /
• v.12 no.1
• /
• pp.49-55
• /
• 1999

There are many types of holes to be machined on dies manufactured in the car industry. In this paper we introduce a CAM software developed for hole machining of press dies. The CAM software automatically generates NC files for machining holes from CAD data modeled in the CATIA system. A procedure generating NC files consists of three steps. First, the geometric information such as types of holes, hole positions, hole diameters, and hole depths is extracted from CATIA models. And then tools to be used and operation orders are standardized to establish a data base. Finally, NC files are generated by considering the machining conditions such as feedrate and rpm. It is efficient that holes with the same type and the same size should be grouped and machined by a tool to reduce the tool change time. The optimal tool path for machining the holes in a group can be determined by applying an algorithm solving the traveling salesman problem.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.33 no.2
• /
• pp.1-8
• /
• 2010

A vendor selection problem consists of two different kinds of decision making. First one is to choose the best suppliers among all possible suppliers and the next is to allocate the optimal quantities of orders among the selected vendors. In this study, an integration of the technique for order preference by similarity to ideal solution (TOPSIS) and a multi-objective mixed integer programming (MOMIP) is developed to account for all qualitative and quantitative factors which are used to evaluate and choose the best group of vendors and to decide the optimal order quantity for each vendor. A solution methodology for the vendor selection model of multiple-vendor, multiple-item with multiple decision criteria and in respect to finite vendor capacity is presented.