• Mycobiology
• /
• 제41권1호
• /
• pp.59-62
• /
• 2013

Japanese pine sawyer beetle (Monochamus alternatus) is an economically important pest in coniferous trees. Ophiostoma ips was isolated from the beetle and identified based on analysis of morphological properties and the ${\beta}$-tubulin gene sequence. The fungus easily produced perithecia with a long neck on malt extract agar and its ascospores were rectangular shaped. This is first report of Ophiostoma species associated with the pinewood nematode vector beetle in Korea.

• 한국광과학회:학술대회논문집
• /
• 한국광과학회 2005년도 제12회 학술대회 논문초록
• /
• pp.111-111
• /
• 2005

• 대한수학회논문집
• /
• 제30권4호
• /
• pp.457-469
• /
• 2015

From the point of view of pseudohermitian geometry, we classify Legendre surfaces of Sasakian space forms with non-minimal ${\hat{C}}$-parallel mean curvature vector field for the Tanaka-Webster connection.

• Industrial Engineering and Management Systems
• /
• 제12권1호
• /
• pp.16-22
• /
• 2013

This paper proposes a new concept of comonotonicity of uncertain vector based on the uncertainty theory. In order to understand the comonotonicity of uncertain vector, some equivalent definitions are presented. Following the proposed concept, some basic properties of comonotonic uncertain vector are investigated. In addition, the operational law is given for calculating the uncertainty distributions of monotone functions of comonotonic uncertain variables. With the help of operational law, the comonotonic uncertain vector is applied to the premium pricing problems. At last, some numerical examples are given to illustrate the application.

• 한국GIS학회:학술대회논문집
• /
• 한국GIS학회 2003년도 추계학술대회논문집
• /
• pp.15-20
• /
• 2003

As an emerging technology in Computer graphics areas, SVG(Scalable Vector Graphic) makes it possible to make use of Vector graphics for servicing maps in basic internet browsing environment. SVG based thematic map Internet GIS system implemented by this research is free of special server side GIS mapping system and client side extra technology. It provides high-quality vector map which can interact with the user, template map which can be used for other purpose, glance the future map based on Webservices technologies. Many good characteristics of SVG in mapping at computer screen and reusability of SVG document provide new era of visualzation of geographic information.

• 대한수학회논문집
• /
• 제24권4호
• /
• pp.523-528
• /
• 2009

In this paper, we consider the existence of solutions to some generalized vector quasi-equilibrium-like problem under a c-diagonal quasi-convexity assumptions, but not monotone concepts. For an example, in the proof of Theorem 1, the c-diagonally quasi-convex concepts of a set-valued mapping was used but monotone condition was not used. Our problem is a new kind of equilibrium problems, which can be compared with those of Hou et al. [4].

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제25권4호
• /
• pp.297-336
• /
• 2018

In this paper we wish to establish some basic properties of entire functions represented by a vector valued Dirichlet series on the basis of (p, q)-th relative Ritt order, (p, q)-th relative Ritt type and (p, q)-th relative Ritt weak type where p and q are integers such that $p{\geq}0$ and $q{\geq}0$.

• 한국가축번식학회지
• /
• 제17권3호
• /
• pp.263-267
• /
• 1993

Transgenic animals have become an important tool in the basic and applied sectors of genetic and biomedical sciences. In particular transgenes provide clear-cut markers in the spatial and temporal analysis of developing embryos for the understanding of developmental mechanisms. For the long-term use of plasmid vector in a particular purpose it would be necessary to develop one's own vector system which can be properly expressed in eukaryotic system. Plasmids were constructed from ori region of pUC19 and early region of SV40 through various steps. LacZ gene coding for $\beta$-galactosides was fused to early gene of SV40 in translational in-frame. Poly(A) tailing site of SV40 was inserted at the 3' lacZ so that initiation, elongation and terminatin be controlled by SV40 transcription (pSS4). Biological function of the constructed pSS4 was demonstrated via microinjection of the plasmid into fertilized loach eggs and subsequent detection of $\beta$-galactosidase in developing embryos. The result indicate that the newly constructed pSS4 is functional in a eukaryotic system in vivo. Thus pSS4 may be used as an efficient tool for the study of embryogenesis and a basic carrier for various genes for animal transgenesis.

• Communications for Statistical Applications and Methods
• /
• 제16권6호
• /
• pp.997-1004
• /
• 2009

A standard approach is to classify all of future observations. In some cases, however, it would be desirable to defer a decision in particular for observations which are hard to classify. That is, it would be better to take more advanced tests rather than to make a decision right away. This motivates a classifier with a reject option that reports a warning for those observations that are hard to classify. In this paper, we present the method which gives efficient computation with a reject option. Some numerical results show strong potential of the propose method.

• Structural Engineering and Mechanics
• /
• 제4권2호
• /
• pp.139-148
• /
• 1996

Vector algorithms and the relative importance of the four basic modules (computation of element stiffness matrices, assembly of the global stiffness matrix, solution of the system of linear simultaneous equations, and calculation of stresses and strains) of a finite element computer program for inelastic analysis of reinforced concrete shells are presented. Performance of the vector program is compared with a scalar program. For a cooling tower problem, the speedup factor from the scalar to the vector program is 34 for the element stiffness matrices calculation, 25.3 for the assembly of global stiffness matrix, 27.5 for the equation solver, and 37.8 for stresses, strains and nodal forces computations on a Gray Y-MP. The overall speedup factor is 30.9. When the equation solver alone is vectorized, which is computationally the most intensive part of a finite element program, a speedup factor of only 1.9 is achieved. When the rest of the program is also vectorized, a large additional speedup factor of 15.9 is attained. Therefore, it is very important that all the modules in a nonlinear program are vectorized to gain the full potential of the supercomputers. The vector finite element computer program for inelastic analysis of RC shells with layered elements developed in the present study enabled us to perform mesh convergence studies. The vector program can be used for studying the ultimate behavior of RC shells and used as a design tool.