• East Asian mathematical journal
• /
• v.28 no.2
• /
• pp.159-172
• /
• 2012

In all Mathematics I Textbooks(Kim, S. H., 2010; Kim, H. K., 2010; Yang, S. K., 2010; Woo, M. H., 2010; Woo, J. H., 2010; You, H. C., 2010; Youn, J. H., 2010; Lee, K. S., 2010; Lee, D. W., 2010; Lee, M. K., 2010; Lee, J. Y., 2010; Jung, S. K., 2010; Choi, Y. J., 2010; Huang, S. K., 2010; Huang, S. W., 2010) in high schools in Korea these days, it is written and taught that for a positive real number $a$, $a^{\frac{m}{n}}$ is defined as $a^{\frac{m}{n}}={^n}\sqrt{a^m}$, where $m{\in}\mathbb{Z}$ and $n{\in}\mathbb{N}$ have common prime factors. For that situation, the author shows his opinion that the definition is not well-defined and $a^{\frac{m}{n}}$ must be defined as $a^{\frac{m}{n}}=({^n}\sqrt{a})^m$, whenever $^n\sqrt{a}$ is defined, based on the field axiom of the real number system including rational number system and natural number system. And he shows that the following laws of exponents for reals: $$\{a^{r+s}=a^r{\cdot}a^s\\(a^r)^s=a^{rs}\\(ab)^r=a^rb^r$$ for $a$, $b$>0 and $s{\in}\mathbb{R}$ hold by the completeness axiom of the real number system and the laws of exponents for natural numbers, integers, rational numbers and real numbers are logically equivalent.

• Proceedings of the KIEE Conference
• /
• 1988.07a
• /
• pp.644-646
• /
• 1988

This paper has been aimed to develop M68020 Software Development System on a host computer 3B20S for the TDX-2 fully electronic Switching system by transporting M68020 C Cross Compiler. M68020 C Cross Compiler source code which includes assembler, run-time library and optimizer has been analyzed for the installation on the host computer 3B20S system. Moreover, the linkage editor source file has been analyzed and installed on the3B20S to produce the executable file correctly. Through these procedures, the M68020 object codes could be obtained on the 3B20S computer for the multi-using purposes. It has also been confirmed that the M68020 Software Development System on the 3B20S works correctly.

• Journal of the military operations research society of Korea
• /
• v.36 no.3
• /
• pp.69-81
• /
• 2010

Since the mid-nineties, Republic of Korean Army has officially adapted information technology. Starting with the Chang-Jo 21('99) training M&S Model, around seventy types of the M&S system software, including Ground Operations & Resources Requirement Analysis Model ('10), developed by Republic of Korea Army or foreign counterparts have been utilized. However, as the existing cost estimations of the Defense M&S system software fail to reflect the acquisition and development environment, the estimated costs have been frequently overestimated or underestimated. This paper provides a suitable cost estimation model for the Defense M&S system software by presenting the software cost drivers which reflect the unique software development environment of the Defense.

• Journal of Positioning, Navigation, and Timing
• /
• v.7 no.2
• /
• pp.73-90
• /
• 2018

Various navigation systems are integrated with the Global Navigation Satellite System (GNSS) to improve navigation performance so that continuous navigation information can be obtained even when navigation performance is degraded or navigation is not available due to the outage of GNSS. Time and cost can be reduced by evaluating performance of the integrated navigation system through Modeling and Simulation (M&S) software prior to the deployment of the integrated navigation system. The measurements of the navigation system should be generated to evaluate performance through of the navigation system M&S software. This paper proposes a method of designing a navigation environment generation module in M&S software of the integrated navigation system. To show applicability of the proposed method to M&S software design of the integrated navigation system, functions are verified through MATLAB. And then visual C++ based M&S software for the integrated navigation system is implemented to check the operation of the navigation environment generation module. The reference trajectory is generated and true measurements of Global Positioning System (GPS), Korea Positioning System (KPS), and enhanced Long range navigation (eLoran) are generated from the reference trajectory. The navigation results obtained from the true measurements are compared with the reference trajectories. The results show that the measurements generated using the design generation module by the proposed method are valid and the navigation environment generation module can be applied to M&S software of the integrated navigation system.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.21 no.2
• /
• pp.49-58
• /
• 1996

The generalized Erlang loss function, extensively studied in the literature, is revisited. We study the steady state loss probability in M/M/s/s + c queueing system and prove that it satisfies the first and second order properties in integral number of servers as well as integral queue capacities. Also we study the problem of allocating integral number of servers and queue capacities, and develop an algorithm to obtian an optimal allocation of them individually and jointly with the small number of computations.

• Journal of the Korea Society for Simulation
• /
• v.17 no.2
• /
• pp.49-61
• /
• 2008

Most battleship warfare M&S systems run relatively slow and the simulation results are often unfair since the system should interact with human operators(controller and/or gamer). To deal with these problems, we have proposed the agent-based battleship warfare M&S system which interact with multiple agent systems instead of human operators. Agent-based M&S system may be able to efficiently support the analysis of effectiveness and/or the operational tactics development of given warfare by providing autonomous reasoning capabilities without the intervention of human controller. To do this, the paper propose the design concept and methodology using the advanced modeling and simulation framework as well as autonomous agent design principle. Several simulation tests performed on the battleship warfare case study on Korea Yellow sea will illustrate our techniques.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2014.06a
• /
• pp.36-37
• /
• 2014

It is necessary to develop highly sophisticated Modeling & Simulation (M&S) system for the scientific investigation of marine accident causes and for the systematic reproduction of accidental damage procedure. To ensure an accurate and reasonable prediction of marine accidental causes, such as collision, grounding and flooding, full-scale ship M&S simulations would be the best approach using hydrocode, such as LS-DYNA code, with its Fluid-Structure Interaction (FSI) analysis technique. The objectivity of this paper is to present three full-scale ship collision, grounding and flooding simulation results of marine accidents, and to show the possibility of the scientific investigation of marine accident causes using highly sophisticated M&S system.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.618-629
• /
• 2006

This Paper is about optimizing preventive maintenance period of connected (r,s) out of(m,n) : F lattice system that one of multi-component system, (m,n) matrix failure of whole system is occurrence when parts that belong in (r,s) matrix part procession of parts arranged with procession are breakdown all. The preventive maintenance about system is very important viewing from system reliability and operational expense viewpoint. Preventive maintenance that misses a time calls big loss by system failure and expense of frequent full equipment is paid excessively in preventive maintenance itself but expense is paid much in preventive maintenance itself and whole expense escalation can be achieved preferably. Through this research, reliability model is constructed that do expense by smallest under full equipment policy chosen through comparison of each full equipment policy and preventive maintenance expense full equipment cycle and r ,s value are made using simulated annealing algorithm and simulated annealing algorithm that converge fast in multi-component system certified most suitable to optimization decision

• The Journal of the Society of Korean Medicine Diagnostics
• /
• v.9 no.1
• /
• pp.112-124
• /
• 2005

Background: PWV is determined by dividing the distance by the time taken for the pulses traveling between two measuring sites, used as a marker of arterial stiffness and an important indicator for cardiovascular disease. Methods: A PWV measurement system, which offers a non-invasive, simple method of measurement, and simultaneous recording of six signlas(ECG, PCG and four pulse waves from carotid, femoral, radial and dorsalis pedis arteries) was developed. Seventeen healthy subjects with a mean age of 33 years(22 to 52) without any cardiovascular disease were participated for the experiment. Two observers(A and B) performed two consecutive measurements from the same subject in a random order. For the evaluation of stability and accuracy of the PWV measurement system, reproducibility of PWV from between-observer were also evaluated. Results: PWV $values(Mean{\pm}SD)$ measured by A were $7.07{\pm}1.48m/s$, $8.43{\pm}1.14m/s$ , $8.09{\pm}0.98m/s$ for aorta, arm, and leg, respectively. The values obtained from B were $6.76{\pm}1.00m/s$, $7.97{\pm}0.80m/s$, and $7.97{\pm}0.72m/s$ for aorta, arm, and leg, respectively. Between-observer $differences(mean{\pm}SEM)$ from the aorta, arm and leg were $0.14{\pm}0.15m/s$, $0.18{\pm}0.10m/s$ and $0.07{\pm}0.10m/s$. Reproducibility coefficients(2SD) from the aorta, arm, and leg were 0.62m/s, 0.84m/s and 0.86m/s. Correlation coefficients were significantly higher in aortic PWV, 0.93, compared to the coefficients for arm and leg. Coefficient of variance which reflects the reproducibility of the system ranged from $4.4{\sim}5.8%$ in all regional PWV. , Conclusion: Reproducibility of PWV in the study shows that the developed system has reliable and reproducible characteristics. The PWV measurement system used for the study offers comfortable and simple operation and provides accurate analysis and results with high reproducibility. Results of the PWV measurement system could contribute to various clinical applications in the future.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.9 no.2
• /
• pp.70-76
• /
• 1984

In this paper, a functional m-redundant system, which is m-fault tolerant, is defined based on the graph-theory. This system is designed to be t(t$\geq$m) fault-diagnosable by comparing its unit's outcomes without additive test functions, so, the system down for diagnosis is not needed. The diagnostic model for this system is presented. It is to avail the redundancy of the system effectively. It is shown that this model can be converted into Preparata's model. Thus, the diagnostic characteristics of a functional m-redundant system is analyzed by the method originated by Preparata et al.