• 한국CDE학회논문집
• /
• 제13권2호
• /
• pp.98-108
• /
• 2008

Plant, civil engineering and construction equipment data of overseas construction are obtained and then analyzed, classified and integrated by experts. With those refined data set, we built classification system and defined property information with reference to international standard (ISO 15926, IRDL). If class in ISO 15926 is predefined for equipment of interest, we used the class as is. If not, we created and defined new classes on the basis of ISO 15926 classes. If there is similar class for equipment of interest, extension or inheritance methods were used. As a result, classification system of five levels and 637 classes were built and construction equipment information were expressed in open structure of XML such as tree structure of classification system and detailed information with number equipments for each specific equipment. We also developed the electronic catalog system which is basically equipment information management system providing various product search functions.

• 대한수학회지
• /
• 제52권5호
• /
• pp.991-1001
• /
• 2015

In this work we obtain conditions for nonspecial line bundles on general ${\kappa}$-gonal curves failing to be normally generated. Let L be a nonspecial very ample line bundle on a general ${\kappa}$-gonal curve X with ${\kappa}{\geq}4$ and $deg\mathcal{L}{\geq}{\frac{3}{2}}g+{\frac{g-2}{{\kappa}}}+1$. If L fails to be normally generated, then L is isomorphic to $\mathcal{K}_X-(ng^1_{\kappa}+B)+R$ for some $n{\geq}1$, B and R satisfying (1) $h^0(R)=h^0(B)=1$, (2) $n+3{\leq}degR{\leq}2n+2$, (3) $deg(R{\cap}F){\leq}1$ for any $F{\in}g^1_k $. Its converse also holds under some additional restrictions. As a corollary, a very ample line bundle $\mathcal{L}{\simeq}\mathcal{K}_X-g^0_d+{\xi}^0_e$ is normally generated if $g^0_d{\in}X^{(d)}$ and ${\xi}^0_e{\in}X^{(e)}$ satisfy $d{\leq}{\frac{g}{2}}-{\frac{g-2}{\kappa}}-3$, supp$(g^0_d{\cap}{\xi}^0_e)={\phi}$ and deg$(g^0_d{\cap}F){\leq}{\kappa}-2$ for any $F{\in}g^1_k$.

• Korean Journal of Mathematics
• /
• 제30권2호
• /
• pp.391-402
• /
• 2022

For a given graph G = (V, E), a dominating set is a subset V' of the vertex set V so that each vertex in V ＼ V' is adjacent to a vertex in V'. The minimum cardinality of a dominating set of G is called the domination number of G and is denoted by γ(G). For an integer k ≥ 1, the k-th power G^k of a graph G with V (G^k) = V (G) for which uv ∈ E(G^k) if and only if 1 ≤ d_G(u, v) ≤ k. Note that G² is the square graph of a graph G. In this paper, we obtain some tight bounds for the sum of the domination numbers of a graph and its square graph in terms of the order, order and size, and maximum degree of the graph G. Also, we characterize such extremal graphs.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제2권1호
• /
• pp.53-59
• /
• 1995

Consider a solution y(t) of the nonlinear equation (E) y" ＋ f(t, y) = 0. A solution y(t) is said to be oscillatory if for every T ＞ 0 there exists $t_{0}$ ＞ T such that y($t_{0}$) = 0. Let F be the class of solutions of (E) which are indefinitely continuable to the right, i.e. y $\in$ F implies y(t) exists as a solution to (E) on some interval of the form [t$\sub$y/, $\infty$). Equation (E) is said to be oscillatory if each solution from F is oscillatory.(omitted)

• 대한수학회지
• /
• 제45권6호
• /
• pp.1613-1622
• /
• 2008

Let G be a graph with vertex set V(G) and edge set E(G), and let g, f be two nonnegative integer-valued functions defined on V(G) such that $g(x)\;{\leq}\;f(x)$ for every vertex x of V(G). We use $d_G(x)$ to denote the degree of a vertex x of G. A (g, f)-factor of G is a spanning subgraph F of G such that $g(x)\;{\leq}\;d_F(x)\;{\leq}\;f(x)$ for every vertex x of V(F). In particular, G is called a (g, f)-graph if G itself is a (g, f)-factor. A (g, f)-factorization of G is a partition of E(G) into edge-disjoint (g, f)-factors. Let F = {$F_1$, $F_2$, ..., $F_m$} be a factorization of G and H be a subgraph of G with mr edges. If $F_i$, $1\;{\leq}\;i\;{\leq}\;m$, has exactly r edges in common with H, we say that F is r-orthogonal to H. If for any partition {$A_1$, $A_2$, ..., $A_m$} of E(H) with $|A_i|=r$ there is a (g, f)-factorization F = {$F_1$, $F_2$, ..., $F_m$} of G such that $A_i\;{\subseteq}E(F_i)$, $1\;{\leq}\;i\;{\leq}\;m$, then we say that G has (g, f)-factorizations randomly r-orthogonal to H. In this paper it is proved that every (0, mf - (m - 1)r)-graph has (0, f)-factorizations randomly r-orthogonal to any given subgraph with mr edges if $f(x)\;{\geq}\;3r\;-\;1$ for any $x\;{\in}\;V(G)$.

• East Asian mathematical journal
• /
• 제33권5호
• /
• pp.571-585
• /
• 2017

Let M be a connected n-dimensional submanifold of a Euclidean space $E^{n+k}$ equipped with the induced metric and ${\Delta}$ its Laplacian. If the position vector x of M is decomposed as a sum of three vectors $x=x_1+x_2+x_0$ where two vectors $x_1$ and $x_2$ are non-constant eigen vectors of the Laplacian, i.e., ${\Delta}x_i={\lambda}_ix_i$, i = 1, 2 (${\lambda}_i{\in}R$) and $x_0$ is a constant vector, then, M is called a 2-type submanifold. In this paper we showed that a 2-type surface M in $E^3$ satisfies ${\langle}{\Delta}x,x-x_0{\rangle}=c$ for a constant c, where ${\langle},{\rangle}$ is the usual inner product in $E^3$, then M is an open part of a circular cylinder. Also we showed that if a quadric hypersurface M in a Euclidean space satisfies ${\langle}{\Delta}x,x{\rangle}=c$ for a constant c, then it is one of a minimal quadric hypersurface, a genaralized cone, a hypersphere, and a spherical cylinder.

• 대한수학회보
• /
• 제39권2호
• /
• pp.289-297
• /
• 2002

It was shown by L. Polterovich ([3]) that if L is a totally real submanifold of a symplectic manifold $(M,\omega)$ and L is parallelizable then L is normal. So we try to find an answer to the question of whether there is a compatible almost complex structure J on the symplectic vector bundle $TM$\mid$_{L}$ such that $TL{\cap}JTL=0$ assuming L is normal and parallelizable. Although we could not reach an answer, we observed that the claim holds at the vector space level. And related to the question, we showed that for a symplectic vector bundle $(M,\omega)$ of rank 2n and $E=E_1{\bigoplus}E_2$, where $E=E_1,E_2$are Lagrangian subbundles of E, there is an almost complex structure J on E compatible with ${\omega}$ and $JE_1=E_2$. And finally we provide a necessary and sufficient condition for a given embedding into a symplectic manifold to be normal.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 춘계 학술대회 논문집
• /
• pp.163-163
• /
• 2001

The primary research questions in this paper are why and how competing firms collaborate, not compete, in the virtual marketplace, e.g., B2B marketplace in the Internet environment. In order to answer the questions, we take on a system dynamics simulation approach: we consider two broad e-collaboration strategies: · Exclusive e-business strategy If the firm adopts this strategy, it allocates all of its resources (available for e-business development) to its own e-business capability building only. · Collaborative e-business strategy When the firm adopts a collaborative e-business strategy, it invests not only in its own, but also the industrys e-business capability building. From the system dynamics simulation results, we conclude that e-collaboration pays off in the long run: although it is hard to tell whether the collaborative strategy is better than the exclusive one during the initial period, it is unambiguous that the collaborative e-business strategy Performs much better in the long run. We infer that such collaboration could occur when the firms realize that they benefit from the expansion of the market demand due to their collaboration. That is, in order for such collaboration between competing firms to be sustainable, such collaboration should create more demand in the market so that each company could earn more profit even if it gets less in terms of market share.

• 대한수학회논문집
• /
• 제13권2호
• /
• pp.359-365
• /
• 1998

We give two sufficient conditions that the space (X,C*) be a Fr$\acute{e}$chet-Urysohn space such that $x_n \to x$ in (X,c) if and only if $x_n \to x$ in (X,c*), where c* is the sequential closure operator on a generalized topological (X,c).

• 호남수학학술지
• /
• 제40권4호
• /
• pp.701-718
• /
• 2018

In this paper, we will study the constant mean curvature (CMC) surfaces foliated by ellipses in three dimensional Euclidean space $E^3$. We prove that: (1): Surfaces foliated by ellipses are CMC surfaces if and only if it is a part of generalized cylinder. (2): All surfaces foliated by ellipses are not minimal surfaces. (3): CMC surfaces foliated by ellipses are developable surfaces. (4): CMC surfaces foliated by ellipses are translation surfaces generated by a straight line and plane curve.