• Journal of the Society of Naval Architects of Korea
• /
• v.29 no.3
• /
• pp.90-101
• /
• 1992

Some practical methods have already been proposed for predicting the characteristics of ship manoeuvring motions at relatively high advance speed. However, these methods can hardly be applied to motions of ships in starting, stoppint, backing and slow steaming conditions, even though such extensive motions are of vital importance from a safety point of view particularly in harbour areas. The method presented here aims at predicting the characteristics of ship manoeuvring at low advance speed, which covers starting, stopping, backing and slow steaming conditions. The force mathematical models at large angles of incidence to the hull as well as under the tilde range of propeller operations are formulated. Simulations of various manoeuvres at low advance speed are carried out for two types of merchant ship, i.e. a LNGC and a VLCC. Comparisons between simulations and corresponding full-scale measurements or free-running model tests provide a first verification of the proposed mathematical models.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.10 no.4
• /
• pp.29-35
• /
• 2014

The formula contains up between the text and the structural information, as well as their mathematical symbols. Research on-line or off-line recognition formula is underway actively used in various fields, and various forms of the equation are implemented recognition system. Although many documents are included in the various formulas, it is not easy to enter a formula into the computer. Recognition of the expression is divided into two processes of symbol recognition and structural analysis. After analyzing the location information of each character is specified to recognize the effective area after each symbol, and to the structure analysis based on the proximity between the characters is recognized as an independent single formula. Furthermore, analyzing the relationship between the front and back each time a combination of the position relationship between each symbol, and then to add the symbol which was able to easily update the structure of the entire formula. In this paper, by using a scanner to scan the book formula was used to interpret the meaning of the recognized symbol has a relative size and location information of the expression symbol. An algorithm to remove the formulas for calculation of the number of formula is present at the same time is proposed. Using the proposed algorithms to scan the books in the formula in order to evaluate the performance verification as 100% separation and showed the recognition rate equation.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.1-22
• /
• 2023

Let L(s, χ) be the Dirichlet L-series associated with an f-periodic complex function χ. Let P(X) ∈ ℂ[X]. We give an expression for ∑^f_n=1 χ(n)P(n) as a linear combination of the L(-n, χ)'s for 0 ≤ n < deg P(X). We deduce some consequences pertaining to the Chowla hypothesis implying that L(s, χ) > 0 for s > 0 for real Dirichlet characters χ. To date no extended numerical computation on this hypothesis is available. In fact by a result of R. C. Baker and H. L. Montgomery we know that it does not hold for almost all fundamental discriminants. Our present numerical computation shows that surprisingly it holds true for at least 65% of the real, even and primitive Dirichlet characters of conductors less than 10⁶. We also show that a generalized Chowla hypothesis holds true for at least 72% of the real, even and primitive Dirichlet characters of conductors less than 10⁶. Since checking this generalized Chowla's hypothesis is easy to program and relies only on exact computation with rational integers, we do think that it should be part of any numerical computation verifying that L(s, χ) > 0 for s > 0 for real Dirichlet characters χ. To date, this verification for real, even and primitive Dirichlet characters has been done only for conductors less than 2·10⁵.

• Journal of Korean Society for Quality Management
• /
• v.51 no.4
• /
• pp.481-496
• /
• 2023

Purpose: The main theme of this study is to derive a profit curve by a cubic cost function for nonlinear CVP analysis. According to the analytical approach to derive a nonlinear profit function in this study, it is possible with only the existing cost structure to calculate the profit maximization and downtime point sales unlike the classical CVP analysis. Furthermore, the profit curve by the mathematical model of this study could serve as a tool to quantify the qualitative evaluation of each stage of the industry life cycle. Methods: This study followed the mathematical approach from the cubic cost function model of microeconomics, and using real data of the Bank of Korea Results: The nonlinear profit function suggested by this study is as follows; ${\pi}(x)=-a\left(x-\frac{f}{1-v}\right)^3+(1-v)x-k$ where $a=\frac{1}{3}v\left(\frac{(1-v)}{f}\right)^2,k=f-a\left(1-\frac{f}{1-v \right)^3$ Conclusion: The process and results of this study would be able to contribute not only in practice of nonlinear CVP analysis required in the management accounting or financial management, but also in cost theory of microeconomics. Also, since the life cycle of all industries in Korea was verified to the growth or mature stage, decision makers should pay careful attention to determining life cycle stages and consider the profit curve by the average variable cost ratio over multi periods.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.30 no.2
• /
• pp.160-168
• /
• 2019

In this study, we propose a verification method for a planar-phased array radar system using a near-field beam focusing(NFBF) test method. We then confirmed the validity of the results. The proposed method can be used to verify a radar system in the near-field range of twice the antenna aperture size, and this is done in the same manner as the field system performance test conducted in a non-outdoor electromagnetic anechoic chamber. The test configuration and procedure for verifying the NFBF using near-field energies were reviewed. In addition, the phase compensation values of additional individual channels were quantified through mathematical verification of the beam-steered NFBF test. Based on a theoretical verification, the actual NFBF test was performed and the validity of the test method was confirmed through comparison with ideal analytical results.

• Journal of Korean Port Research
• /
• v.14 no.3
• /
• pp.353-360
• /
• 2000

In this study a drift prediction model based on fluid dynamics theory is introduced. The essential effects of environmental loads and target characteristics are taken into account from a fluid dynamics point of view. The governing equations of motion are derived from Netwon's law of dynamics. In the mathematical formulation only three degrees of freedom(surge, sway, yaw) of the drifting object are assumed and the environmental loads considered are the forces and moments by wind and current. A computer algorithm for this model is implemented to obtain the numerical result in the time domain. The preliminary tests for model verification are conducted and the results are compared with the field experiment data as well as leeway formula suggested from the field test data.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2008.04a
• /
• pp.33-38
• /
• 2008

For the propagation of elastic waves in unbounded domains, absorbing boundary conditions at the fictitious numerical boundaries have been proposed. Paraxial boundary conditions(PBCs) which are kinds of absorbing boundary conditions based on paraxial approximations of the scalar and elastic wave equations not only lead to well-posed problem but also are stable and computationally inexpensive. But the complex mathematical forms of PBCs with partial derivatives complicate the application of those to finite element analysis. In this paper a penalty functional is newly proposed for applying PBCs into finite element analysis and the existence and uniqueness of the extremum of the proposed functional is demonstrated. The numerical verification of the efficiency is carried out through comparing PBCs with a viscous boundary condition.

• Journal of Industrial Technology
• /
• v.21 no.B
• /
• pp.125-132
• /
• 2001

Heat dissipation technology using flow resonant phenomenon is a kind of new concept in heat transfer area. A vibration exciter is needed to generate air turbulence which has the natural shedding frequency of heat system. A mechanical vibrating device for the air flow oscillation is introduced, which is driven by a moving coil actuator. An analytical dynamic model for this mechanical vibration exciter is presented and its' validity is verified by the comparison with experimental data. Values of some unknown system parameters in the analytic model are estimated through the system identification approach. Based on this mathematical model, the vibration exciter using strain displacement estimator is developed. And in the experiment, the feedback control is used. During the experimental verification phase, it turns out the high modal resonant characteristics of vibrating plate are the major barrier against obtaining a high bandwidth vibration exciter.

• Journal of Magnetics
• /
• v.19 no.1
• /
• pp.37-42
• /
• 2014

The equivalent model of a permanent magnet (PM) plays an important role in electromagnetic system calculation. A type of subsection model for a PM bar is established, to improve the accuracy of the traditional equivalent circuit method. The mathematical expression, and its end verification condition, are presented. Based on the analytical method and finite element method, the leakage permeance calculation of a PM bar in an open magnetic circuit is investigated. As an example, for a given certain type of PM bar, the magnetic flux of each section is validated by experiment, and by simulation. This model offers a foundation for building a high accuracy equivalent magnetic PM model in an electromagnetic system.

• Smart Structures and Systems
• /
• v.20 no.4
• /
• pp.415-426
• /
• 2017

Traditional experimental verification for nonlinear system identification often faces the problem of experiment model repeatability. In our research, a steel frame experimental model is developed to imitate the behavior of a single story steel frame under horizontal excitation. Two adjustable rotational dampers are used to simulate the plastic hinge effect of the damaged beam-column joint. This model is suggested as a benchmark model for nonlinear dynamics study. Since the nonlinear form provided by the damper is unknown, a Morlet wavelet based method is introduced to identify the mathematical model of this structure under different damping cases. After the model identification, earthquake excitation tests are carried out to verify the generality of the identified model. The results show the extensive applicability and effectiveness of the identification method.