• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.5
• /
• pp.895-901
• /
• 2016

The next generation wireless and satellite communications require high transmission efficiency and high reliability to provide various services with subscribers. To satisfied these requirements, incorporated MIMO (Multiple Input Multiple Output) system with FTN (Faster Than Nyquist) techniques based on layered space time coded method are considered in the paper. To improve performance, STTC (Space Time Trellis Code) was employed as an inner code. As the same as SISO (Single Input Single Output) system, the outer codes are turbo codes. In receiver side, BCJR algorithm is used for STTC decoding in order to eliminate interferences induced by FTN transmission. They can yield significantly increased the data rates and improved link reliability without additional bandwidth. Therefore, we proposed a new decoding model for MIMO FTN model and confirmed that performance was improved compared to conventional SISO model according to amount of interference for FTN.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.926-939
• /
• 2002

The formal specification methods with probability have been demanded in the area of fault real-time systems, in order to specify the uncertainty that the systems can encounter during their execution due to various environmental factors. This paper presents a new formal method with probability. namely Probabilistic Abstract Timed Machine (PATM), in order to analyze and predict system's behavior in dynamical environmental changes, This method classifies the factors into two classes: the variable and the constant. The analysis of system's behavior is performed on the probabilistic reachability graph generated from the ATM specification for the system. The analysis can predict any possibility that the behavior may not satisfy some safety requirements of the system, indicate which variable factors cause such satisfaction, and further recover from this unsatisfying fault state by fixing the variable factors. Consequently the reliability to the fault real-time systems can be improved.

• 한국신재생에너지학회:학술대회논문집
• /
• 2009.06a
• /
• pp.491-494
• /
• 2009

This paper introduces the design concepts and characteristics of WinDS3000$^{TM}$ which is a trade mark of Doosan's 3MW offshore/onshore wind turbine. WinDS3000$^{TM}$ has been designed in consideration of high RAMS (Reliability, Availability, Maintainability and Serviceability) and cost effectiveness for the TC Ia condition in GL guideline. An integrated drive train design with an innovative three-stage gearbox has been introduced to minimize nacelle weight of the wind turbine and to enhance a high reliability for transmission. A permanent magnet generator with full converter system has been introduced to get higher efficiency in part load operation, and grid friendliness use of 50 Hz and 60 Hz grid. A pitch regulated variable speed power control with individual pitch system has been introduced to regulate rotor torque while generator reaction torque can be adjusted almost instantaneously by the associated power electronics. An individual pitch control system has been introduced to reduce fatigue loads of blade and system. The wind turbine has been also equipped with condition monitoring and diagnostic systems in order to meet maintainability requirements. And internal maintenance crane in nacelle has been developed. As a result, the maintenance cost was dramatically reduced and maintenance convenience also enhanced in offshore condition.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.3
• /
• pp.300-312
• /
• 2000

The application areas of embedded real-time systems are very wide and so are the requirements for real-time processing and reliability of the systems. To develop embedded real-time systems effectively with its real-time and reliability properties guaranteed, an appropriate real-time model is needed. Recently, the research on real-time object-oriented model is active, which graft the concept of object-orientation on real-time systems modeling and development. In this paper, we propose dRTO (dependable Real-Time Object) model, with 5 primitive classes. These allow designers to effectively model the characteristics of real-time systems, i.e., object-orientation, real-time-ness and dependability. The dRTO model has three main features. First, it is able to model and implement the timing constraints imposed on real-time objects as well as interactions among the objects. Second, hardware and software components (including kernel) of embedded systems can be modeled in one frame. Third, it is able to represent fault detection and recovery mechanisms explicitly.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.765-768
• /
• 2007

In this paper, the security evaluation method about mobile web services message is suggested in the method for improving the safety an reliability about the mobile web services message. In order that the goal of this paper is accomplished, the security threat and the security vulnerability which can be occurred in the mobile web services message are defined. The evaluation method for performing the security evaluation about the mobile web services message is defined. Also, the requirements for the mobile web services message security evaluation are defined. Finally, the evaluation framework for performing the mobile web services message security evaluation is constituted, and the evaluation scenario example is suggested. By using the mobile web services message security evaluation defined in the paper, before the mobile web services is deployed, the security threats and security vulnerability can be verified. Also, the countermeasure for the security threat and security vulnerability discovered in the verification result can be prepared. Therefore, the sorority and reliability about the mobile web services can be improved.

• Journal of Korean Library and Information Science Society
• /
• v.47 no.4
• /
• pp.489-510
• /
• 2016

It is defined in the internal standard of the NAK namely a NAK/G8-1:2013(v.1.) such as TIFF, PNG, PDF/A, JPEG 2000 as a Long-Term Preservation Master File for internal Standardization of Paper Archives in the Central Archives of Korea. This study reviewed the possibility that JPEG format could be a standard as a Long-Term Preservation Master File for internal Standardization of Paper Archives in the Central Archives of Korea. I pointed to the unique characteristics of JPEG file format and analysed and compared with TIFF format that is a representative master file. Through this study, I suggested that JPEG format also should be additionally included in the standard, as a master file, because it meets a qualification and functional requirements of master file and can guarantee the authenticity, reliability, integrity and usability. The meaning of this study is that JPEG format, be added to master file standard, can set up a environment that has lots of benefit in the domain of usability, compatibility to user as well as the authenticity, reliability, integrity.

• Structural Engineering and Mechanics
• /
• v.46 no.6
• /
• pp.755-773
• /
• 2013

One of the main requirements of the seismic design codes must be its easy application by structural engineers. The use of practically-applicable models or simplified models as single-degree-of-freedom (SDOF) systems is a good alternative to achieve this condition. In this study, deterministic and probabilistic response transformation factors are obtained to evaluate the response in terms of maximum ductility and maximum interstory drifts of multi-degree-of-freedom (MDOF) systems based on the response of equivalent SDOF systems. For this aim, five steel frames designed with the Mexican City Building Code (MCBC) as well as their corresponding equivalent SDOF systems (which represent the characteristics of the frames) are analyzed. Both structural systems are subjected to ground motions records. For the MDOF and the simplified systems, incremental dynamic analyses IDAs are developed in first place, then, structural demand hazard curves are obtained. The ratio between the IDAs curves corresponding to the MDOF systems and the curves corresponding to the simplified models are used to obtain deterministic response transformation factors. On the other hand, demand hazard curves are used to calculate probabilistic response transformation factors. It was found that both approaches give place to similar results.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.11 no.6
• /
• pp.23-29
• /
• 2011

In some applications of wireless sensor networks, requirements such as energy efficiency, real-time, and reliable delivery need to be considered. In this paper, we propose a novel routing algorithm for wireless sensor networks. It provides real-time, reliable delivery of a packet, while considering energy awareness. In the proposed algorithm, a node estimates the energy cost, delay and reliability of a path to the sink node, based only on information from neighboring nodes. Then, it calculates the probability of selecting a path, using the estimates. When packet forwarding is required, it randomly selects the next node. A path with lower energy cost is likely to be selected, because the probability is inversely proportional to the energy cost to the sink node. To achieve real-time delivery, only paths that may deliver a packet in time are selected. To achieve reliability, it may send a redundant packet via an alternate path, but only if it is a source of a packet. Experimental results show that the proposed algorithm is suitable for providing energy efficient, real-time, reliable communications.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.12
• /
• pp.1933-1941
• /
• 2016

This paper compares the performance of wireless communication technologies to replace the wired networks by wireless networks on avionics intra-communication. Due to the drawbacks of wired network, such as complexity, weight, maintenance cost and scalability, it leads to the high data rate and network traffic demands of avionics systems. Therefore, in WAIC(Wireless Avionics Intra-Communications) system suggested by ITU(International Telecommunication Union), based on environment of avionics system and requirements of a wired network, wireless network structures are defined to solve the problems of wired networks. In this paper, we consider features, advantages and disadvantages of wireless communication technologies which can be used for wireless avionics network, and we propose suitable wireless communication technology candidates for wireless avionics networks in WAIC environments.

• Journal of Power Electronics
• /
• v.15 no.1
• /
• pp.146-159
• /
• 2015

Since the power capacity needed for the propulsion of large ships is very large, a multiphase AC induction propulsion mode is generally adopted to meet the higher requirements of reliability, redundancy and maintainability. This paper gives a detailed description of the development of a 20MW fifteen-phase PWM driver for advanced fifteen-phase propulsion induction motors with a special third-harmonic injection in terms of the main circuit hardware, control system design, experiments, etc. The adoption of the modular design method for the main circuit hardware design can make the enclosed mechanical structure simple and maintainable. It can also avoid the larger switch stresses caused by the multiple turn on of the IGBTs in conventional large-capacity converter systems. The use of the distributed controller design method based on a high-speed fiber-optic ring net for the control system can overcome such disadvantages as the poor reliability and long maintenance times arising from the conventional centralized controller which is designed according to point-to-point communication. Finally, the performance of the 20MW PWM driver is verified by experimentation on a new fifteen-phase induction propulsion motor.