• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• Journal of Broadcast Engineering
• /
• v.10 no.2
• /
• pp.131-138
• /
• 2005

High-quality digital broadcasting contents are susceptible to illegal copy and unauthorized redistribution, which makes broadcasters difficult to protect valuable media assets. So, broadcasters and content providers need the technology for copyright protection of professional digital content. Digital watermarking technology is one of the most actively developed solutions for the copyright protection. This paper suggests the requirements of watermarking technology in DTV(Digital TV) environment for copyright protection and shows the developed real-time watermark embedding/detecting system for HD(High Definition)/SD(Standard Definition) video and experimental results of the system against watermark attack tests. Our watermarking system meets the watermarking requirements of invisibility, robustness and security of DTV environment.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.8
• /
• pp.1876-1889
• /
• 2013

Packet-based mobile multimedia services for the Internet differ with respect to their resource requirements, performance objectives, and resource usage efficiencies. Nonetheless, each mobile terminal should support a variety of multimedia services, sometimes even simultaneously. This paper proposes a sub-channel allocation scheme based on multi-level priority for supporting mobile multimedia services in an Orthogonal Frequency Division Multiple Access (OFDMA) system. We attempt to optimize the system for satisfying the Quality of Service (QoS) requirements of users and maximize the capacity of the system at the same time. In order to achieve this goal, the proposed scheme considers the Signal-to-Interference-plus-Noise Ratio (SINR) of co-sub-channels in adjacent cells, the Signal-to-Noise Ratio (SNR) grade of each sub-channel in the local cell on a per-user basis, and the characteristics of the individual services before allocating sub-channels. We used a simulation to evaluate our scheme with the performance measure of the outage probabilities, delays, and throughput.

• Journal of the Korea Safety Management & Science
• /
• v.2 no.3
• /
• pp.117-128
• /
• 2000

Initially, QFD (Quality Function Deployment) was introduced in 1972 to help design supertanker in Mitsubish's shipyards in Kob, Japan and formally defined by the American Supplier Institute in 1987 as a system for translating consumer requirements into appropriate company requirements at every stage, from research, through product design and development, to manufacture, distribution, installation, and marketing, sales and services. Although QFD has complex and tedious procedure to complete, since 1972, it has now been used by Japanese, American, and European because of its fruitful merits. The objective of this paper is to provide and analyze the trend on the choice of cultural subjects of university students using QFD. The data are collected by questionnaires. The samples for this study are randomly chosen from the universities in Seoul, Kangnung, and Samchok during 3 months (2000. 3 ∼ 2000. 5). The results of this study will play an important role not only for service of students but also for opening of subjects.

• Proceedings of the Safety Management and Science Conference
• /
• 2002.11a
• /
• pp.17-23
• /
• 2002

Value can be defined as function divided by cost. The ultimate goal of VE (Value Engineering) is to simultaneously reduce cost and to enhance function in given projects. In general, there are eight phases (Selection, Investigation, Speculation, Evaluation, Development. Presentation, Implementation, and Audit) to perform VE. This paper presents analysis of important factors for VE in construction fields using QFD (Quality Function Deployment) technique. QFD was introduced in 1972 to help design supertanker in Mitsubish's shipyards in Kob, Japan and formally defined by the American Supplier Institute in 1987 as a system for translating consumer requirements into appropriate company requirements at every stage, from research, through product design and development, to manufacture, distribution, installation, and marketing, sales and services. The objective of this paper is to provide and analyze the trend on the viewpoint of efficient value engineering of field workers. The data are collected by questionnaires. The samples for this study are chosen from 13 companies in Korea during 2 months (2002. 7 ∼ 2002. 8). The results of this study will play an important role not only for the efficient value engineering but also for preparing of life cycle cost analysis.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2004.10a
• /
• pp.345-348
• /
• 2004

Every bridge node participating in multiple piconets and forming a scatternet should schedule the inter-piconet traffics in an efficient manner. Frequent piconet switching due to short polling intervals for the links of a bridge node leads to considerable time slots loss caused by the guard time and power consumption for transceiving and processing. On the other hand, restrained piconet switching may result in failures of fulfilling QoS (Quality of Service) requirements for some links. Tn this paper, we present a QoS aware inter-piconet scheduling scheme minimizing the piconet switching events within guaranteed QoS requirements. According to simulation results, the proposed scheme is confirmed to have great improvement in throughput and number of switching events over the credit scheme as current inter-piconet scheduling scheme for the scatter mode.

• 전자공학회논문지 IE
• /
• v.48 no.3
• /
• pp.16-19
• /
• 2011

Differentiated Service is an IP QoS ensuring method based on packet marking that allows packets to be prioritized according to user requirements. During the time of congestion, more low priority packets are dropped than high priority packets. Different policy models are used to determine how to mark the packet. This paper investigated the performance of Differentiated Service using time sliding window with 3 color marking (TSW3CM). Simulation results using NS-2 showed that Differentiated Service can provide the quality of service requirements.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.30 no.1
• /
• pp.59-65
• /
• 2007

HPI (High-speed Portable Internet) system which provides high speed internet services is going to be commercialized soon. Since HPI provides simultaneously four different service types such as UGS (Unsolicited Grant Service), rtPS (real time Polling Service), nrtPS(non-real time Polling Service), and BE (Best Effort) under different QoS (Quality of Service) requirements and limited wireless channel resources, efficient packet scheduling mechanisms are necessary to increase the utilization of channels as well as to satisfy the various QoS requirements. This study regards the traffic data to be served as time series and proposes a new packet scheduling algorithm based on the nonparametric statistical test. The performance of the newly proposed algorithm is evaluated through the simulation analysis using a simulator that can evaluate the performance of packet scheduling mechanisms under various values of system parameters and measures such as packet delay time, data transmission rate, number of loss packets, and channel utilization.

• 한국IT서비스학회:학술대회논문집
• /
• 2005.11a
• /
• pp.356-365
• /
• 2005

Since their first inception a few decades ago, software components have received much attention mainly due to their alleged benefits of quality and productivity improvement. Despite this, it is yet to be agreed upon what and how components should be designed. This paper aimed to bridge the gap by proposing a collaborative process where the voice of the customer is captured and documented by employing the event and entity models. These requirement elements (WHAT) are cross-tabulated in three relation matrices in accordance with the weights provided by the business users. The requirements are fed into the algorithm invented by the authors to optimize the component grouping (HOW). This collaborative process has been successfully validated at an enterprise wide software development project. The process was effective to help the users more actively involved in the design of the system and made the whole process faster and more adaptive to the changes.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.12
• /
• pp.2626-2634
• /
• 1997

The purpose of multicasting is to reduce the network costs for transmitting the same traffic to multiple destinations. In this paper, an efficient delay-bounded multicasting routing algorithm is proposed, which satistifies the network conditions of cost minimization and can adjust the dynamic events, such as 'leave and/or join ones' from the multicast group. Also, our algorithm is designed for various network requirements such as the efficiet dynamic group support, high-quality data distribution, and adaptability to variable situation. After the delay tolerance and the maximum group size are determined according to network state and requirements for delay and cost, the dynamic delay-bounded multicast tree is constructed using partial multicast routing. We evaluate the performance of the proposed algorithm by running simulations on randomly generated test networks using a Sun Sparc 20 workstation. We were able to obtain good simulation resutls, which means solutions that lies between the minimum cost solution and the minimum delay one.