• 한국언어정보학회지:언어와정보
• /
• 제13권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.

• 대한수학회보
• /
• 제57권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.

• 한국공간구조학회논문집
• /
• 제2권2호
• /
• 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.

• 한국패류학회지
• /
• 제6권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
• /
• 제10권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
• /
• 제19권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.

• 한국동물학회지
• /
• 제29권4호
• /
• pp.245-260
• /
• 1986

濟州道産 海鼠類의 分類學的 硏究를 하기 위하여 1969年부터 採集되어 保管된 結果 1985年 6月부터 1986年 2月까지 濟州道의 7個地成(濟州港, 翰林, 飛揚島, 西歸浦, 塘浦, 城山浦, 牛島)에서 採集한 標本들을 同定, 分類하였다. 그 結果 3亞網 3目 9種의 海鼠類가 濟州道에 分布하는 것으로 밝혀졌고 이들중 Holothuria monacaria, H. pardalis, Afrocucumis africana, Leptosynapta ooplax, Polycheira rufescens등 5種은 韓國 未記錄種이다.

• 한국경영과학회지
• /
• 제31권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.

• 산업공학
• /
• 제12권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.

• 산업경영시스템학회지
• /
• 제33권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.