• Journal of the Korean Institute of Navigation
• /
• v.18 no.2
• /
• pp.69-81
• /
• 1994

Studies on the ship's automatic navigation & berthing control have been continued by way of solving the ship's mathematical model, but the results of such studies have not reached to our satisfactory level due to its non-linear characteristics at low speed. In this paper, the authors propose a new berthing control system which can evaluate as closely as cap-tain's decision-making by using the FNN(Fuzzy Neural Network) controller which can simulate captain's knowledge. This berthing controller consists of the navigation subsystem FNN controller and the berthing subsystem FNN controller. The learning data are drawn from Ship Handling Simulator (NavSim NMS-90 MK Ⅲ) and represent the ship motion characteristics internally. According to learning procedure, both FNN controllers can tune membership functions and identify fuzzy control rules automatically. The verified results show the FNN controllers effective to incorporate captain's knowledge and experience of berthing.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.6B
• /
• pp.450-455
• /
• 2008

We analyze the tag identification procedure of conventional EPC Class 1 RFID system and propose the fast anti-collision algorithm for the performance improvement of the system. In the proposed algorithm, the reader uses information of tag collisions and reduces unnecessary procedures of the conventional algorithm. We evaluate the performance of the proposed anti-collision algorithm and the conventional algorithm using mathematical analysis and simulation. According to the results, the fast anti-collision algorithm shows greatly better performance than conventional algorithm.

• Computers and Concrete
• /
• v.2 no.1
• /
• pp.55-77
• /
• 2005

The closed form solution of the equilibrium equations in the ultimate design of reinforced concrete sections under biaxial bending is presented. The stresses in the materials are described by the Model Code 1990 equations. Computation of the integral equations is performed generally in terms of all variables. The deformed shape of the section in the ultimate conditions is defined by Heaviside functions. The procedure is convenient for the use of mathematical manipulation programs and the results are easily included into nonlinear analysis codes. The equations developed for rectangular sections can be applied for other sections, such as T, L, I for instance, by decomposition into rectangles. Numerical examples of the developed model for rectangular sections and composed sections are included.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.23 no.4
• /
• pp.1-10
• /
• 1986

A container ship, due to wide hatch openings, has characteristics of poor torsional rigidity, strong coupling of horizontal-torsional modes and significant discontinuity in the longitudinal variation of hull sections. In the mathematical formulation of the problem the hull is modeled as a beam and the transfer matrix method is utilized. The cross decks between cargo hatch opening are separated from the main hull and regarded as equivalent springs restraining torsion of hull. The effect of shear deformation of ship-side plating on torsion is taken into account in addition to St. Venant's and bending torsional rigidities. Compatibility requirements at cross section discontinuity are approximately considered. Developing the practical calculation procedure and the computer programs for application to an actual ship, some parametric studies on modeling methods of the cross deck, the compatibility condition, added-mass center etc. are out for the purpose of comparison.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.4 no.1
• /
• pp.20-32
• /
• 1992

A numerical solution for heat transfer in the flue tube of a pulse combustion water heater was presented. The $k-{\varepsilon}$ turbulent model was adopted to describe turbulent characteristics and radiative heat transfer was calculated by P-N approximation. Three pulsating conditions equivalent to existing experimental studies were used for analysis. Pulsating pressure was specified at the inlet and outlet of flue tube and numerical procedure using control volume method and pressure boundary condition was presented. It was found that the present mathematical model and numerical method could predict effectively the flow field and heat transfer for the flue tube in pulse combustor.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.36 no.3
• /
• pp.118-125
• /
• 2013

This paper deals with the picking batch size which a bi-directional carousel system can be feasible. The items that customers order are retrieved from the bins of carousel with batch size. The mathematical equations representing rotary travel distance and retrieval lead time to pick a given batch size are derived. Rotary travel distance represents the distance which carousel system rotates to retrieve items in a batch. The bi-directional carousel system rotates to minimize the travel distance in retrieving the items in a batch. Rotary travel distance and retrieval lead time are analyzed for the batch size through the simulation approach. From the simulation, the retrieval batch size that carousel system can be feasible is obtained. A numerical example is shown to explain the solution procedure.

• Journal of Korean Institute of Industrial Engineers
• /
• v.24 no.4
• /
• pp.571-578
• /
• 1998

In this paper, we deal with a node weighted Steiner Ring Problem (SRP) arising from the deployment of Synchronous Optical Networks (SONET), a standard of transmission using optical fiber technology. The problem is to find a minimum weight cycle (ring) covering a subset of nodes in the network considering node and link weights. We have developed two mathematical models, one of which is stronger than the other in terms of LP bounds, whereas the number of constraints of the weaker one is polynomially bounded. In order to solve the problem optimally, we have developed some preprocessing rules and valid inequalities. We have also prescribed an effective heuristic procedure for providing tight upper bounds. Computational results show that the stronger model is better in terms of computation time, and valid inequalities and preprocessing rules are effective for solving the problem optimally.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.2
• /
• pp.65-75
• /
• 2004

This paper presents a generalized predictive control method based on a fuzzy neural network(FNN) model, which uses the on-line multi-step prediction, fur the intelligent control of chaotic nonlinear systems whose mathematical models are unknown. In our design method, the parameters of both predictor and controller are tuned by a simple gradient descent scheme, and the weight parameters of FNN are determined adaptively during the operation of the system. In order to design a generalized predictive controller effectively, this paper describes computing procedure for each of the two important parameters. Also, we introduce a projection matrix to determine the control input, which deceases the control performance function very rapidly. Finally, in order to evaluate the performance of our controller, the proposed method is applied to the Doffing and Henon systems, which are two representative continuous-time and discrete-time chaotic nonlinear systems, res reactively.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1216-1218
• /
• 1996

Genetic algorithm(GA) is useful to find optimal solution without any special mathematical modeling. This study presents to search optimal path of Autonomous Mobile Robot(AMR) by using GA without encoding and decoding procedure. Therefore, this paper shows that the proposed algorithm using GA can reduce the computation time to search the optimal path.

• Journal of Elementary Mathematics Education in Korea
• /
• v.21 no.3
• /
• pp.461-483
• /
• 2017

The ability to think mathematically and to reason inductively are basics of logical reasoning and the most important skill which students need to acquire through their Math curriculum in elementary school. For these reasons, we need to conduct an analysis in their procedure in inductive reasoning and find difficulties thereof. Therefore, through this study, I found parts which covered inductive reasoning in their Math curriculum and analyzed the abilities and characteristics of students in solving a problem through inductive reasoning.