• Journal of the Korean Society of Marine Environment & Safety
• /
• v.16 no.2
• /
• pp.195-200
• /
• 2010

Basing on the recommendation and guideline of IALA, Korean VTS authority made an instruction about the training and qualification of VTS operators, and three model courses for training have been performed at a training institute which has one VTS simulator. However, the simulator has not been enough to make training fully satisfactory because of several signs of limitations including inaccurate method for calculating ship's movement and inconvenient location for training. In this paper, a new simulator was proposed to make up for the weak points replacing the current simulator. The proposed simulator adopts mathematical model for calculating exactly ship's movement which heightens the effect of training with simulator. And also it can be used through Internet so as to make long-distance training possible without visiting the training center. The effectiveness and the convenience of training with the proposed simulator are expected to be improved.

• Journal of Korean Society for Quality Management
• /
• v.50 no.1
• /
• pp.153-167
• /
• 2022

Purpose: The purpose of this study is to guide the operation managers who plan daily production of large mass-processing facility that services multi-customers with multi-product, small-batch item characteristics by providing the practical best production quantity and the inventory allowed to build. Methods: Close observation of a subcontract paint-shop operator captured the daily decision process which was reflected in the subcontractor-unique mathematical model and the system dynamics simulation model. Multiple simulations were run to find the practical best production quantity and the maximum allowable stock level of inventory that did not undermine the profit from practical best daily production. Actual data and a few constant values were obtained from the firm under study. Results: While the inventory holding cost for the customer-owned material harms the total profit of the subcontractor, the running cost of the processing facility hinders production in small batches. This balances the maximum possible productions and results in practical best daily production which can be found through simulation runs with actual data. The maximum level of stocked inventory is deduced from the practical best daily production. Conclusion: To build a large volume that enables economy-of-scale production, operators should deal with multi-product small-batch items from multiple customers. When the planned schedule of the time and amount of material in-flow tend not to be reliable, operators can find it practical to execute level production across the planning horizon instead of adjusting to day-to-day in-flow fluctuations.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.1706-1709
• /
• 2010

Sewerage Treatment Plants(STPs) are complexes systems in which a range of physical, chemical and biological processes occur. Since Activated Sludge Model(ASM) No.1 was published, a number of new mathematical models for simulating biological processes have been developed. However, these models have disadvantages in cost and simplicity due to the laboriousness and tediousness of their procedures. One of the major difficulties of these mathematical model based tools is that the field-operators mostly don't have the time or the computer-science skills to handle there models, so it mainly remains on experts or special engineers. In order to solve these situations and help the field-operators, the $KM^2BM$(K-water & More-M Mass Balance Model) based on the dynamic-mass balance model was developed. This paper presents $KM^2BM$ as a simulation tools for STPs design and optimization. This model considers the most important microbial behavioral processes taking place in a STPs to maximize potential applicability without increasing neither model parameter estimation nor wastewater characterization efforts.

• Journal of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.331-340
• /
• 1998

We define the spherical non-commutative torus $L_{\omega}$/ as the crossed product obtained by an iteration of l crossed products by actions of, the first action on C( $S^{2n＋l}$). Assume the fibres are isomorphic to the tensor product of a completely irrational non-commutative torus $A_{p}$ with a matrix algebra $M_{m}$ ( ) (m > 1). We prove that $L_{\omega}$/ $M_{p}$ (C) is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{mp}$ (C), and that the tensor product of $L_{\omega}$/ with a UHF-algebra $M_{p{\infty}}$ of type $p^{\infty}$ is isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) $M_{p{\infty}}$ if and only if the set of prime factors of m is a subset of the set of prime factors of p. Furthermore, it is shown that the tensor product of $L_{\omega}$/, with the C＊-algebra K(H) of compact operators on a separable Hilbert space H is not isomorphic to C(Prim( $L_{\omega}$/)) $A_{p}$ $M_{m}$ (C) K(H) if Prim( $L_{\omega}$/) is homeomorphic to $L^{k}$ (n)$\times$ $T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.$T^{l'}$ for k and l' non-negative integers (k > 1), where $L^{k}$ (n) is the lens space.e.

• Journal of Navigation and Port Research
• /
• v.46 no.3
• /
• pp.236-242
• /
• 2022

Busan Port is operated separately by a number of terminal operators, resulting in a large number of ITT (Inter-Terminal Transportation) volumes. The occurrence of ITT volume causes various problems such as additional transportation cost, empty truck trips, truck delays and terminal congestion, weakening Busan Port's competitiveness. Among them, the empty truck trip problem is a representative factor, that exacerbates the cost problem of the ITT operation at Busan Port. But the ITT backhaul rate at Busan Port remains low. To strengthen the transhipment competitiveness of Busan Port, it is necessary to increase the ITT backhaul rate. In this paper, to improve ITT backhaul rate, we present a mathematical model for maximizing backhaul transport using buffer space. And we analyzed the improving effects of backhaul transport using buffer space through experiments based on actual operating data.

• Kyungpook Mathematical Journal
• /
• v.45 no.2
• /
• pp.293-299
• /
• 2005

Let ${\cal{L}}$ be a commutative subspace lattice on a Hilbert space ${\cal{H}}$ and X and Y be operators on ${\cal{H}}$. Let $${\cal{M}}_X=\{{\sum}{\limits_{i=1}^n}E_{i}Xf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}$$ and $${\cal{M}}_Y=\{{\sum}{\limits_{i=1}^n}E_{i}Yf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}.$$ Then the following are equivalent. (i) There is an operator A in $Alg{\cal{L}}$ such that AX = Y, Ag = 0 for all g in ${\overline{{\cal{M}}_X}}^{\bot},A^*A=AA^*$ and every E in ${\cal{L}}$ reduces A. (ii) ${\sup}\;\{K(E, f)\;:\;n\;{\in}\;{\mathbb{N}},f_i\;{\in}\;{\cal{H}}\;and\;E_i\;{\in}\;{\cal{L}}\}\;<\;\infty,\;{\overline{{\cal{M}}_Y}}\;{\subset}\;{\overline{{\cal{M}}_X}}$and there is an operator T acting on ${\cal{H}}$ such that ${\langle}EX\;f,Tg{\rangle}={\langle}EY\;f,Xg{\rangle}$ and ${\langle}ET\;f,Tg{\rangle}={\langle}EY\;f,Yg{\rangle}$ for all f, g in ${\cal{H}}$ and E in ${\cal{L}}$, where $K(E,\;f)\;=\;{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Y\;f_{i}{\parallel}/{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Xf_{i}{\parallel}$.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.2
• /
• pp.7-12
• /
• 2009

The new approach was proposed which uses feature extraction based on fuzzy integral in the process of face verification using morphological shape decomposition. The centre of area was used with image pixels related with structure element and its weight in an attempt to consider neighborhood information. Therefore the morphological operators were defined for feature extraction. And then the number of decomposition images were more about 4 times than the conventional. Finally in the simulations with the extractions for face verification it was proved that the approach in this paper was even more good than the conventional in stability of feature extraction and threshold value.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.4
• /
• pp.1579-1602
• /
• 2020

In the design of production system, buffer capacity allocation is a major step. Through polymorphism analysis of production capacity and production capability, this paper investigates a buffer allocation optimization problem aiming at the multi-stage production line including unreliable machines, which is concerned with maximizing the system theoretical production rate and minimizing the system state entropy for a certain amount of buffers simultaneously. Stochastic process analysis is employed to establish Markov models for repairable modular machines. Considering the complex structure, an improved vector UGF (Universal Generating Function) technique and composition operators are introduced to construct the system model. Then the measures to assess the system's multi-state reliability and structural complexity are given. Based on system theoretical production rate and system state entropy, mathematical model for buffer capacity optimization is built and optimized by a specific genetic algorithm. The feasibility and effectiveness of the proposed method is verified by an application of an engine head production line.

• Journal of KIISE:Software and Applications
• /
• v.37 no.10
• /
• pp.745-750
• /
• 2010

To effectively retrieve mathematical documents including various equations, mathaware search engines are needed. In this paper, we propose a equation retrieval system which helps users effectively search structurally similar equations. The proposed system disassembles MathML equations into three types of heterogeneous indexing terms; operators, variables, and partial structures of equations. Then, it independently indexes the disassembled terms. When a user inputs a MathML equation, the proposed system searches and ranks equations using weighted sums of three language models for the heterogeneous indexing terms. In the experiments with 244,744 MathML equations, three proposed system showed reliable performances (a P@1 of 53% in the closed test and a P@1 of 63% in the open test).

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 1993.10a
• /
• pp.1254-1263
• /
• 1993

Representing knowledge uncertainty , aggregating evidence confidences , and propagation uncertainties are three key elements that effect the ability of a rule-based expert system to represent domains with uncertainty . Fuzzy set theory provide a good mathematical tool for representing the vagueness associated with a variable when , as the condition of a rule , it only partially corresponds to the input data. However, the aggregation of ANDed and Ored confidences is not as simple as the intersection and union operators defined for fuzzy set membership. There is, in fact, a certain degree of compensation that occurs when an expert aggregates confidences associated with compound evidence . Further, expert often consider individual evidences to be varying importance , or weight , in their support for a conclusion. This paper presents a flexible approach for evaluating evidence and conclusion confidences. Evidences may be represented as fuzzy or nonfuzzy variables with as associat d degree of certainty . different weight can also be associated degree of certainty. Different weights can also be assigned to the individual condition in determining the confidence of compound evidence . Conclusion confidence is calculated using a modified approach combining the evidence confidence and a rule strength. The techniques developed offer a flexible framework for representing knowledge and propagating uncertainties. This framework has the potention to reflect human aggregation of uncertain information more accurately than simple minimum and maximum operator do.