• East Asian mathematical journal
• /
• 제28권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1988년도 전기.전자공학 학술대회 논문집
• /
• 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.

• 한국국방경영분석학회지
• /
• 제36권3호
• /
• pp.69-81
• /
• 2010

국방 M&S 체계는 90년대 종반부터 각 군이 정보기술을 본격적으로 도입함에 따라 훈련용 M&S 체계인 창조21 모델('99)을 시작으로 분석용 M&S 체계인 지상군 자원소요분석모델('10) 등 현재까지 70여종의 M&S 체계를 자체개발 및 외국군으로부터 도입하여 사용 중에 있다. 그러나 기존의 국방 M&S 체계 소프트웨어를 자체 개발시 비용추정은 국방 M&S 체계 소프트웨어의 획득 및 개발 환경의 특성이 반영된 특성 인자를 포함하지 않고 소프트웨어 비용을 산정하여 과소 또는 과대 추정되는 사례가 발생하였다. 본 연구는 국방 M&S 체계 소프트웨어 비용 추정시 국방 개발환경의 특성이 반영된 소프트웨어 비용인자를 반영하여 국방환경에 적합한 M&S 체계 소프트웨어 비용 추정모델을 제시하고자 한다.

• Journal of Positioning, Navigation, and Timing
• /
• 제7권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.

• 한국경영과학회지
• /
• 제21권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.

• 한국시뮬레이션학회논문지
• /
• 제17권2호
• /
• pp.49-61
• /
• 2008

대부분의 함정 전투체계의 교전 시뮬레이션은 필수적으로 운용자(통제관 및 대항군)가 포함될 수밖에 없음으로 인해 시뮬레이션은 실시간 정도의 저속이며, 시뮬레이션 결과도 객관적인 평가가 어렵다. 이러한 문제를 다루기 위해 본 논문에서는 인간 대신 다중 에이전트 시스템을 이용하는 에이전트 기반의 함정전투 M&S 시스템을 제안한다. 에이전트기반 M&S 시스템은 인간의 개입을 배제하고 자율적 추론기능을 제공함으로써 전투체계의 효과도 분석 및 운용전술개발 등께 대한 효과적인 지원을 가능하게 해준다. 본 논문에서는 이를 위하여 첨단 M&S 프레임워크와 자율 에이전트 설계 원칙을 도입함으로써 인간 미개입형 M&S 시스템 설계 개념과 방법론을 제시하였고, 서해교전상의 함정전투 사례연구를 통해 그 타당성을 검증하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2014년도 춘계학술대회
• /
• 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.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2006년도 추계학술대회
• /
• 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

• 대한한의진단학회지
• /
• 제9권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.

• 한국통신학회논문지
• /
• 제9권2호
• /
• pp.70-76
• /
• 1984

본 논문에서는 m개의 고장까지 극복할 수 있는 기능적 m-리던던트(Functional m-redundant)시스템을 그래프 이론에 바탕을 두고 정의하였다. 이 시스템은 리던던시를 효과적으로 이용하여 추가적인 테스트 기능없이 각 부시스템의 출력을 서로 비교함으로써 t(t$\geq$m)고장진단 가능하고 진단을 위한 시스템 정지가 필요없도록 설계되었다. 또한 이 시스템에 대한 진단 모델을 제시하였고 이 모델이 preparata의 진단 모델로 바뀌어질 수 있음을 보였으며 이를 이용하여 기능적 m-리던던트 시스템의 진단 특성을 Preparata에 의해 제시된 방법으로 해석하였다.