• Journal of the Korea Safety Management & Science
• /
• v.6 no.2
• /
• pp.23-33
• /
• 2004

Domestic city gas is supplying in an about 10 million household on present 34 city gas companies because is begun to supply regularly after two 1980 years middle. But, result that focus on city gas supply spread and stable supply for supply area and neglects about safety problem, hundreds casualties such as Ahyun explosion accident and Deagu city gas explosion accident were reached in situation that occurred large size calamity occurs it is dizzliness. In the case of advanced nation, can see that accomplish system and progress that in technology after experience major accident. Therefore, grasp problem investigating safety actual conditions for city gas institution and study about solvable plan is required this. Also, must guide reform and level elevation of a domestic company safety technology through induction and development of safety technology that is suitable in supply, domestic real condition etc. Must help in power positivity that is full text executing high-quality safety education about step High firing mechanism safety technology than present safety education.

• Kyungpook Mathematical Journal
• /
• v.49 no.3
• /
• pp.419-424
• /
• 2009

Let J be the Jacobian variety of a hyperelliptic curve over $\mathbb{Q}$. Let M be the field generated by all square roots of rational integers over a finite number field K. Then we prove that the Mordell-Weil group J(M) is the direct sum of a finite torsion group and a free $\mathbb{Z}$-module of infinite rank. In particular, J(M) is not a divisible group. On the other hand, if $\widetilde{M}$ is an extension of M which contains all the torsion points of J over $\widetilde{\mathbb{Q}}$, then $J(\widetilde{M}^{sol})/J(\widetilde{M}^{sol})_{tors}$ is a divisible group of infinite rank, where $\widetilde{M}^{sol}$ is the maximal solvable extension of $\widetilde{M}$.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.31 no.4
• /
• pp.35-47
• /
• 2006

This paper considers an integrated scheduling problem for consecutive production and delivery stages in a two-stage supply chain. The Production is performed on a single facility and then the finished products are delivered to the customer by capacitated multiple vehicles. The objective of this paper is to obtain job sequencing and delivery batching minimizing the total cost of the associated WIP inventory, finished product inventory and delivery. The inventory cost is characterized by the sum of weighted flowtime. The delivery cost is proportional to the required number of delivery batches. Some polynomial-solvable cases are derived. For the general case, two efficient heuristic algorithms are suggested, and then the heuristics are tested through some numerical experiments.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.185-190
• /
• 1989

In [4], J. Leray introduced the notion of partial hyperbolicity to characterize the operators for which the non-characteristic Cauchy problem is solvable in the Geverey class for any data which are holomorphic in a part of variables x"=(x$_{2}$,..,x$_{l}$ ) in the initial hyperplane x$_{1}$=0. A linear partial differential operator is called partially hyperbolic modulo the linear subvarieties S:x"=constant if the equation P$_{m}$(x, .zeta.$_{1}$, .xi.')=0 for .zeta.$_{1}$ has only real roots when .xi.'is real and .xi."=0, where P$_{m}$ is the principal symbol of pp. Limiting to the case of operators with constant coefficients, A. Kaneko proposed a new sharper condition when S is a hyperplane [3]. In this paper, we generalize this condition to the case of general linear subvariety S and show that it is sufficient for the solvability of Cauchy problem for the hyperfunction Cauchy data which contains variables parallel to S as holomorphic parameters.blem for the hyperfunction Cauchy data which contains variables parallel to S as holomorphic parameters.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1209-1251
• /
• 2015

The purpose of this paper is to classify all compact manifolds modeled on the 4-dimensional solvable Lie group $Sol_1^4$, and more generally, the crystallographic groups of $Sol_1^4$. The maximal compact subgroup of Isom($Sol_1^4$) is $D_4={\mathbb{Z}}_4{\rtimes}{\mathbb{Z}}_2$. We shall exhibit an infra-solvmanifold of $Sol_1^4$ whose holonomy is $D_4$. This implies that all possible holonomy groups do occur; the trivial group, ${\mathbb{Z}}_2$ (5 families), ${\mathbb{Z}}_4$, ${\mathbb{Z}}_2{\times}{\mathbb{Z}}_2$ (5 families), and ${\mathbb{Z}}_4{\rtimes}{\mathbb{Z}}_2$ (2 families).

• IE interfaces
• /
• v.7 no.2
• /
• pp.75-85
• /
• 1994

This paper presents a production scheduling model in a block assembly shop in shipbuilding industry. In a block assembly shop, the most important performance criterion is load leveling, which balances manpower and work area utilization through the planning horizon. The problem is formulated as a mixed-integer nonlinear programming(MINLP) problem of which objective function is to optimize load leveling. The developed MINLP problem can not be solvable due to computational complexity. The MINLP problem is decomposed into two stage mixed-integer linear programming (MILP) problems to obtain a good solution, but the decomposed MILP problems are still computationally intractable because of combinatorial complexity. Therfore, a heuristic method using linear programming is proposed to solve two stage MILP problems sequentially. The proposed heuristic generates a good production schedule within a reasonable computation time, and it is easily applicable for establishing the production schedule in a block assembly shop in shipbuilding industry.

• Journal of Korean Institute of Industrial Engineers
• /
• v.27 no.4
• /
• pp.379-383
• /
• 2001

The restricted shortest path problem is known to be weakly NP-hard and solvable in pseudo-polynomial time. Four fully polynomial approximation schemes (FPAS) are available in the literature, and most of these are based on pseudo-polynomial algorithms. In this paper, we propose a new FPAS that can be easily derived from a combination of a set of standard techniques. Although the complexity of the suggested algorithm is not as good as the fastest one available in the literature, it is practical in the sense that it does not rely on the bound tightening phase based on approximate binary search as in Hassin's fastest algorithm. In addition, we provide a review of standard techniques of existing works as a useful reference.

• Communications of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.301-319
• /
• 2020

In this paper, we show that the system of difference equations $x_n={\frac{ay^p_{n-1}+b(x_{n-2}y_{n-1})^{p-1}}{cy_{n-1}+dx^{p-1}_{n-2}}}$, $y_n={\frac{{\alpha}x^p_{n-1}+{\beta}(y_{n-2}x_{n-1})^{p-1}}{{\gamma}x_{n-1}+{\delta}y^{p-1}_{n-2}}}$, n ∈ ℕ₀ where the parameters a, b, c, d, α, β, γ, δ, p and the initial values x-2, x-1, y-2, y-1 are real numbers, can be solved. Also, by using obtained formulas, we study the asymptotic behaviour of well-defined solutions of aforementioned system and describe the forbidden set of the initial values. Our obtained results significantly extend and develop some recent results in the literature.

• Structural Engineering and Mechanics
• /
• v.12 no.1
• /
• pp.85-100
• /
• 2001

In this paper, an analytical procedure for solving several static and dynamic problems of non-uniform beams is proposed. It is shown that the governing differential equations for several stability, free vibration and static problems of non-uniform beams can be written in the from of a unified self-conjugate differential equation of the second-order. There are two functions in the unified equation, unlike most previous researches dealing with this problem, one of the functions is selected as an arbitrary expression in this paper, while the other one is expressed as a functional relation with the arbitrary function. Using appropriate functional transformation, the self-conjugate equation is reduced to Bessel's equation or to other solvable ordinary differential equations for several cases that are important in engineering practice. Thus, classes of exact solutions of the self-conjugate equation for several static and dynamic problems are derived. Numerical examples demonstrate that the results calculated by the proposed method and solutions are in good agreement with the corresponding experimental data, and the proposed procedure is a simple, efficient and exact method.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1147-1155
• /
• 2011

In J. Korean Math. Soc, Zhang, Xu and other authors investigated the following problem: what is the structure of finite groups which have many normal subgroups? In this paper, we shall study this question in a more general way. For a finite group G, we define the subgroup $\mathcal{A}(G)$ to be intersection of the normalizers of all non-cyclic subgroups of G. Set $\mathcal{A}_0=1$. Define $\mathcal{A}_{i+1}(G)/\mathcal{A}_i(G)=\mathcal{A}(G/\mathcal{A}_i(G))$ for $i{\geq}1$. By $\mathcal{A}_{\infty}(G)$ denote the terminal term of the ascending series. It is proved that if $G=\mathcal{A}_{\infty}(G)$, then the derived subgroup G' is nilpotent. Furthermore, if all elements of prime order or order 4 of G are in $\mathcal{A}(G)$, then G' is also nilpotent.