• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2000년도 제 25회 정기총회 및 추계학술발표회
• /
• pp.23-28
• /
• 2000

The DGPS is used to improve the accuracy of the GPS by determining the positioning error data known locatio and subsequently transmitting the determined error, or corrective factors, to users of the GPS operating in the same geographical area. The accuracy of the DGPS available to real0time users is published in the Federal Radio-Navigation Plan to be better than 10 meters, although users often experience accuracies of better than 3 meters. USA recently decided to expand the marine DGPS service for land applications and initiated the Nationwide DGPS chain. Korea is processing for improving the marine DGPS. We have not achieved Full Operational Capability. But after announcing FOC, we have to begin expansion of DGPS into land. This paper investigate the availability of marine DGPS in land. The results will provide a basic guide for estimation of a propagation loss of the marine DGPS frequency in land.

• 한국통신학회논문지
• /
• 제21권8호
• /
• pp.1989-2002
• /
• 1996

In this paper, we describe several warm standby fault-tolerant models and their operation methods applicable to telephone switching control systems which have dual module structure and need high availability. Unavailabilities of the system implemented by four different methods for each model are computed by using the Markov state model, and then are compared for system performance evaluation. As the results ofsimulations, the warm standby model with triple processors is best in the aspect of data loss, while in most cases the warm standby model with doble processors based on no standby check method provides the highest system avaiability. Periodic changeover increases the system unavailability, but the preriodic standby check on standby module decreases the system unavailability of warm standby model with a single processor and with double processors. On the other hands, the variationas of warm standby model with a single processor and with double processors. On the other hand, the variations of data recovery time and personnel recovery rate have little effect on the system unavailtability.

• Journal of Information Processing Systems
• /
• 제5권1호
• /
• pp.25-32
• /
• 2009

It is absolutely essential to implement advanced IP network technologies such as QoS, Multicast, High Availability, and Security in order to provide real-time services like IPTV via IP backbone network. In reality, the existing commercial networks of internet service providers are subject to certain technical difficulties and limitations in embodying those technologies. On-going research efforts involve the experimental engineering works and implementation experience to trigger IPTV service on the premium-level IP backbone which has recently been developed. This paper introduces the core network technologies that will enable the deployment of a high-quality IPTV service, and then proposes a suitable methodology for application and deployment policies on each technology to lead the establishment and globalization of the IPTV service.

• 디지털산업정보학회논문지
• /
• 제16권1호
• /
• pp.33-39
• /
• 2020

A smart grid is a next-generation power grid that can improve energy efficiency by applying information and communication technology to the general power grid. The smart grid makes it possible to exchange information about electricity production and consumption between electricity providers and consumers in real-time. Advanced metering infrastructure (AMI) is the core technology of the smart grid. The AMI provides two-way communication by installing a modem in an existing digital meter and typically include smart meters, data collection units, and meter data management systems. Because the AMI requires data collection units to control multiple smart meters, it is essential to ensure network availability under heavy network loads. If the load on the work done by the data collection unit is high, it is necessary to allocation new data collection units to ensure availability and improve energy efficiency. In this paper, we discuss the allocation scheme of data collection units for the energy efficiency of the AMI.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1998년도 가을 학술발표회 논문집
• /
• pp.362-369
• /
• 1998

The computational environment in which engineers perform their designs has been rapidly evolved from coarse serial machines to massively parallel machines. Although the recent development of high-performance computers are available for a number of years, only limited successful applications of the new computational environments in computational structural engineering field has been reported due to its limited availability and large cost associated with high-performance computing. As a new computational model for high-performance engineering computing without cost and availability problems, parallel structural analysis models for large scale structures on a network of personal computers (PCs) are presented in this paper. In structural analysis solving routine for the linear system of equations is the most time consuming part. Thus, the focus is on the development of efficient preconditioned conjugate gradient (PCG) solvers on the proposed computational model. Two parallel PCG solvers, PPCG-I and PPCG-II, are developed and applied to analysis of large scale space truss structures.

• 산업경영시스템학회지
• /
• 제21권47호
• /
• pp.87-99
• /
• 1998

This study is concerned with a problem of determining the optimal requirements level of the spare parts, especially Concurrent Spare Parts(CSP). CSP is supplied with the procurement of new equipment system, and is used to sustain the equipment without resupply during the initial coverage period. We consider this situation as a multiechelon inventory model with several bases and one depot. And we assume a equipment system which consists of many types of parts would grounded if one of the parts fail. Also this multiechelon CSP problem is considering a time-varing (dynamic) environment. We develop a computational procedure to find the optimal number of spare parts minimizing the total expected cost, while achieving the required system availability. Finally we present a simple example of suggested method.

• 대한안전경영과학회지
• /
• 제8권5호
• /
• pp.167-180
• /
• 2006

This study expands limitation of OASIS(Optimal Allocation of Spares for Initial Supports) program, which calculates CSP(Concurrent Spare Part), not only availability but also cost, and developed the program enabling run in WINDOW OS. By considering multi-step repair and logistics support system, repairing capability at the time of deployment, and procurement period, this model is the first local model reflecting circumstances of the armed forces of the Republic of Korea. Furthermore, the programmed model was selected as the military standard software and has being essentially used for CSP calculation.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제17권2호
• /
• pp.150-158
• /
• 2017

Purpose: The RAM objective is a very important factor that has a great effect on the improvement of the operation ration during the operation maintenance and the reduction of the life cycle cost. It is used as a design criterion during the system development, and its sufficiency should be evaluated during its test evaluation. Method: This study analyzed the cases related to RAM objective setting and suggested the improvement measures. Result: The base data for RAM objective is OMS/MP, which needs to be drawn up under the supervision of the requirement military, and a high-accuracy operating availability should be set through ALDT calculation which reflects the military logistics support environment. In addition, data collection necessary for RAM objective and RAM analysis should be made by supplementing the input data of DELIIS. Conclusion: This study suggests improvement of RAM objective considering for the weapon system.

• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 춘계학술발표대회
• /
• pp.760-762
• /
• 2011

Data centers are usually under provisioned. This is not a problem in corporate data networks, but it can be a problem in cloud data networks. If an application is being served by that cloud infrastructure, the application owner must know the infrastructure limitations and should take some special measures to ensure QoS/availability of that application and to prevent against possible threats. In this paper we have discussed a new form of DoS that could take place in a cloud data network using the vulnerability caused by under provisioned network. We have also proposed a solution for this DoS attack, by which not only this attack will be detected, but can also be avoided in a very short time.