• Kyungpook Mathematical Journal
• /
• v.59 no.2
• /
• pp.353-362
• /
• 2019

In this paper, we study general (${\alpha}$, ${\beta}$) Finsler metrics and prove that every general (${\alpha}$, ${\beta}$)-metric is semi C-reducible but not C2-like. As a consequence of this result we prove that every general (${\alpha}$, ${\beta}$)-metric satisfying the Ricci flow equation is Einstein.

• Journal of Welding and Joining
• /
• v.14 no.6
• /
• pp.119-130
• /
• 1996

Welding is one of the important technologies in shipbuilding industry. Automation and productivity promotion of welding contribute to the cost saving of ship production. The quality and productivity of welding are dependent on the quality and suitability of technical information supplied by engineering parts. This paper describes the research results of welding information system for ship. The system can be used for the development of CIMS for shipbuilding. For this work, the welding information related to the ship Production were analyzed in detail. Object-oriented technique is applied to represent the complex and various welding information. To process the extend amount of the welding information of ship, database system was constructed. A pilot system for the bulk carrier ship was developed and can be used with ease by programming of event-driven method and implementaion of graphical user interlace.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.5
• /
• pp.891-897
• /
• 2009

This paper presents a novel load management technique that can lower the peak demand caused by package airconditioner loads in large apartment complex. An intelligent hierarchical load management system composed of a Central Intelligent Management System(CIMS) and multiple Local Intelligent Management Systems(LIMS) is proposed to implement the proposed technique. Once the required amount of the power reduction is set, CIMS issues tokens, which can be used by each LIMS as a right to turn on the airconditioner. CIMS creates and maintains a queue for fair and proper allocation of the tokens among the LIMS requesting tokens. By adjusting the number tokens and queue management policies, desired power reduction can be achieved smoothly. The Markov Birth and Death process and the Balance Equations utilizing the Diffusion Model are employed for evaluation of queue performances during transient periods until the static balances among the states are achieved. The proposed technique is tested using a summer load data of a large apartment complex and give promising results demonstrating the usability in load management while minimizing the customer inconveniences.

• Korean Chemical Engineering Research
• /
• v.49 no.6
• /
• pp.810-815
• /
• 2011

Concentrated water discharged from seawater desalination process contains a high concentration of $Na^+$ ion. Electrolysis was applied to synthesize NaOH solution from the highly concentrated NaCl solution. The effect of various operating parameters of composited laboratory-scale chlor-alkali (CA) membrane cell was investigated. The operating parameters such as membrane types (CIMS and Nafion membranes), pretreatment of the membrane, flow rate (73 mL/min~200 mL/min), initial $Na^+$ ion concentration (1.5 M, 3M and 5 M) and current (1.5A and 2A) were evaluated. It was observed that synthesis efficiency of NaOH solution with CIMS membrane was higher than that with Nafion membrane, but the durability of CIMS membrane on $Cl_2$ gas was poor. The synthesis efficiency of NaOH solution increased with increasing initial $Na^+$ ion concentration and current, while the efficiency decreased with increasing flow rate using Nafion membrane.

• Communications for Statistical Applications and Methods
• /
• v.24 no.3
• /
• pp.193-209
• /
• 2017

The power Lindley distribution with some of its properties is considered in this article. Maximum likelihood, least squares, maximum product spacings, and Bayes estimators are proposed to estimate all the unknown parameters of the power Lindley distribution. Lindley's approximation and Markov chain Monte Carlo techniques are utilized for Bayesian calculations since posterior distribution cannot be reduced to standard distribution. The performances of the proposed estimators are compared based on simulated samples. The waiting times of research articles to be accepted in statistical journals are fitted to the power Lindley distribution with other competing distributions. Chi-square statistic, Kolmogorov-Smirnov statistic, Akaike information criterion and Bayesian information criterion are used to access goodness-of-fit. It was found that the power Lindley distribution gives a better fit for the data than other distributions.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2019.05a
• /
• pp.61-62
• /
• 2019

With development of IT technology, the ubiquitous has been realized in various industry. In construction industry, as well, end-edge techniques have been introduced such as managing technique the temperature and compressive strength of the concrete placed in structure in domestic and abroad project sites. However, several problems were found during application at the actual field regarding difficulties of connecting Bluetooth communication due to the short communication range, diffuse reflection caused by aluminum formwork, and high cost by using one-time sensor. Therefore to recover these shortages, and improve the performances, the wireless sensor network based concrete IoT management system for concrete early-age quality management was developed.

• Information Systems Review
• /
• v.1 no.1
• /
• pp.19-33
• /
• 1999

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1999.04a
• /
• pp.489-489
• /
• 1999

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.2
• /
• pp.134-141
• /
• 2008

This paper presents an innovative load management technique that can effectively lower the summer peak load by adjusting the aircondition loads through smoothe coordinations between utility companies and large customers. An intelligent hierarchical load management system composed of a Central Intelligent Load Management System(CIMS) and multiple Local Intelligent Management Systems(LIMS) is also proposed to implement the reposed technique. Upon receiving a load curtailment request from the utilities, CIMS issues tokens, which can be used by each LIMS as a right to turn on the airconditioner. CIMS creates and maintains a queue for fair allocation of the tokens among the LIMS demanding tokens. By adjusting the number tokens and queue management Policies, desired load factors can be achieved conveniently. The Markov Birth and Death Process and the Balance Equations are employed in estimating various queue performances. The proposed technique is tested using a summer load data of a large apartment complex and proved to be quite effective in load management while minimizing the customer inconveniences.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.4
• /
• pp.805-815
• /
• 1994

The development of automatic production systems has a trend toward Computer Integrated Manufacturing System(CIMS) in recent years. In hardware configuration, CIMS are composed of intelligent CAD/CAM work stations, multifunction CNC machining centers including material handling systems. The DNC systems present the key element of automation hierarchy in a FMS. A DNC system is one which connects a number of numerically-controlled machines to a common memory in a digital computer for part program storage with provision for on-demand distribution of part program data to machines using communication in hierarchical structure of central computer, control computer and cell controller. This paper describes the development of Behind-the-Tape-Reader(BTR) type DNC system using CYBER 180-830 as a central computer and IBM PC-386 cell control computer and NC lathe with FANUC 5T NC controller. In this system, the connection between central computer and cell control computer is done via RS-232C serial interface board, and the connection between cell control computer and FANUC 5T controller is done via parallel interface board. The software consists of two module, central computer communication module for NC program downloading and status uploading, NC machine running module for NC operating.