• Nuclear Engineering and Technology
• /
• v.27 no.1
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.23 no.2
• /
• pp.77-85
• /
• 2018

Renewable energy has been increasingly used and widely acclaimed as one of the solutions to rampant environmental problems. Among numerous kinds of renewable sources, the penetration rate of the PV system is relatively higher than that of others due to ease of installation. However, one disadvantage of the PV system is its dependence on weather condition. The PV system is especially critical when it is used for standalone systems because it cannot operate when the power generated from a PV module is not enough. Therefore, PV systems are often used with an energy storage system, such as batteries, to store backup energy when the weather condition is insufficient to supply power to the system. Blackout time can be reduced by increasing the size of the energy storage system, but it is a trade-off with system cost. In this work, optimal sizing of a standalone PV system is proposed to supply power to the system without blackout. The sizing of PV modules and batteries is performed by a simulation based on actual irradiation data collected during the past five years. The Life cycle costing of each system is evaluated to determine an optimal set of PV modules and batteries among several different combinations. The standalone PV system designed by the proposed method can supply power to the system with no interruption as long as the weather condition is similar to those of the past five years.

• Journal of Satellite, Information and Communications
• /
• v.5 no.2
• /
• pp.14-18
• /
• 2010

The future of communication systems is expected to combine with the terrestrial and satellite networks. A commonality between wireless interfaces is important consideration for cost of user equipment in the integrated satellite and the terrestrial system. Because IMT-Advanced system take into account LTE based on the terrestrial system for the next generation of communication, a study of the LTE-based satellite system is especially required. A frame of the existing terrestrial wireless networks is designed to use for a random access up to the maximum cell radius of 100 km. However, the random access scheme for the terrestrial system cannot be used in the satellite system, because the satellite systems generally have large coverage than the terrestrial system. Therefore, we propose that the efficient random access procedure to reduce latency and complexity for the satellite system maintaining commonality with the terrestrial system in this paper.

• Journal of Digital Convergence
• /
• v.18 no.9
• /
• pp.331-336
• /
• 2020

The purpose of this study is to measure the satisfaction factors of user experience of 'Unlimited subscription service' among subscription services and analyze them based on economic and cultural perspectives. By recruiting the '20-'30s who had experienced using service, they attended a survey which was based on the reconstructed honeycomb model of Peter Morville. As a result of the survey, in terms of economic perspective, cost of service, and the ease of subscription inflow were the main satisfaction factors. From a cultural perspective, the familiarity with service and belief and experience of sharing content with people around them were the main satisfaction factors. Therefore, it can be inferred that the satisfaction of the user experience of the subscription service should be firstly satisfied with economic satisfaction, which leads to cultural satisfaction. This study is expected to be used as research data on user experience and satisfaction factors of unlimited subscription service.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.9 s.339
• /
• pp.71-84
• /
• 2005

A 'VPN over Intemet' has the benefit of being cost-effective and flexible. However, it has difficulties providing sufficient QoS and adequate transmission capacity for high bandwidth service. Given the increasing demand for high bandwidth Internet and QoS assurances in a 'VPN over Internet', IP/GMPLS based on a control plane combined with a high bandwidth, DWDM optical network is seen as a very favorable anroach for realizing the future 'OVPN over IP/GMPLS over DWDM'. Within this architecture, providing QoS guaranteed multimedia services with a differentiated QoS guaranteed protocol framework with QoS recovery is one of the key issues to implement. Therefore, in this paper, we suggest the entire interoperability procedure of control protocols based on differentiated optical QoS service (DOQOS) classes for providing end-to-end QoS in an 'OVPN over IP/GMPLS over DWDM' architecture.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.51 no.12
• /
• pp.30-45
• /
• 2014

Recently, multimedia application users who demand for ubiquitous computing environment are rapidly increasing, and wireless mesh network is receiving attention as a cost-effective key technology for next generation wireless networking. When multiple flows are transmitting data at the same time in the network, routing for path selection of each flow and link resource allocation for data transmission of each flow are one of the key factors that influence to the effectiveness of the network directly. In this paper, we consider problems for path discovery and resource allocation of links at the same time and we propose an algorithm based on mathematical modeling using a technique for cross-layer optimization design in STDMA-based wireless mesh networks that can enhance transfer performance for each flow. We show by performance analysis that the proposed algorithm can enhance the throughput performance by maximally utilizing given bandwidth resources when the number of flows increase in multi-hop wireless mesh networks.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.9 no.6
• /
• pp.673-679
• /
• 2014

The important requirements of designing a pattern classifier are high throughput and low memory requirements, and low cost hardware implementation. A pattern classifier by using Multiple Attractor Cellular Automata(MACA) proposed by Maji et al. reduced the complexity of the classification algorithm from $O(n^3)$ to O(n) by using Dependency Vector(DV) and Dependency String(DS). In this paper, we generate a pattern classifier using LFSR to improve efficiently the space and time complexity and we propose a method for finding DV by using the 0-basic path. Also we investigate DV and the attractor of the generated pattern classifier. We can divide an n-bit DS by m number of $DV_i$ s and generate various pattern classifiers.

• Journal of the Korean Ceramic Society
• /
• v.50 no.6
• /
• pp.498-503
• /
• 2013

Over the past decade, the feasibility of using ink-jet printing for the decoration of porcelain tiles has been explored, and significant advances have been made regarding the technologies underlying printing system and materials. An ink-jet printing system for porcelain tiles has many advantages compared with a conventional printing system, including the following: (1) it is a digital process; (2) it uses non-contact printing; (3) it allows random image generation; (4) it is a highly efficient process (reduced production cost); (5) it offers massive and continuous production; and (6) it uses inorganic pigment colorants. For these reasons, ink-jet printing systems for porcelain tiles have been commercialized and are at present rapidly spreading toceramics-leading countries such as Spain, Italy, China and Japan. We also developed a proprietary system involving a piezo-electric drop-on-demand method and an ink-circulation step. The resolution of this system is greater than 360 dpi after a heat treatment and the maximum printable width is 600 mm, even when setting the printing head unit with four digital colors (cyan, magenta, yellow, and black). In addition, we systematically developed ceramic colorant-containing inks and tile-printing technology applicable to our ink-jet printing system.

• Journal of IKEEE
• /
• v.24 no.1
• /
• pp.364-367
• /
• 2020

This paper presents the off-grid PV-ESS system of sequential voltage control method applied to OR logic gate. The conventional off-grid PV-ESS system with the low-voltage series connection has problems due to capacity expansion. To solve these problems, this paper proposes a noble PV-ESS system with high efficiency and low cost by applying sequential voltage control technique of the high-voltage series connection of analog circuit type. The input voltage of DC to AC inverter can be converted from the low-voltage by the combinations of series connection of the conventional cascaded 24V solar cell unit modules to the high-voltage of 384V in battery. The output voltage of the battery was 384V as the each input voltage of three phase DC to AC inverter, and the each output voltage of three phase 10kW DC to AC inverter is designed to be AC380V@60Hz as the line to line rms voltage value. To prove the validity of the theoretical analysis by PSIM simulation, the operating characteristics of sequential voltage control system with OR logic gate were confirmed through experiment results.

• Journal of Hydrogen and New Energy
• /
• v.23 no.3
• /
• pp.285-292
• /
• 2012

The integrated gasification combined cycle (IGCC) system is well known for its high efficiency compared with that of other coal fueled power generation system. IGCC offers substantial advantages over pulverized coal combustion when carbon capture and storage (CCS) is required. Commercial plants employ different types of quenching system to meet the purpose of the system. Depending on that, the downstream units of IGCC can be modeled using different operating conditions and units. In case with $CO_2$ separation and capture, the gasifier product must be converted to hydrogen-rich syngas using Water Gas Shift (WGS) reaction. In most WGS processes, the water gas shift reactor is the biggest and heaviest component because the reaction is relatively slow compared to the other reactions and is inhibited at higher temperatures by thermodynamics. In this study, tehchno-econimic assessments were found according to the quench types and operating conditions in the WGS system. These results can improve the efficiency and reduce the cost of coal gasification.