• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.8
• /
• pp.1823-1832
• /
• 1997

In this ppaer, fault coverage analysis of a conformance test case for communication protocols, specified as a deterministic finite state machine(DFSM) is presented. The fault coverage analysis of a test case is defined by measuring the extent of the faults detected using a generated test case. The method that evaluates fault coverage analysis for a test case, has been researched by arithmetic analysis and simulation. In this paper, we designed and implemented a simulator for fault coverage analysis of a communication protocol teat case. With this result for Inres protocol, output fault and state merge and split fault have a high fault coverage of 100%. This simulator can be widely used with new fault coverage analysis tools by applying it to various protocols.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1975-1986
• /
• 1997

Recent evolution of communication networks has led toward increasingly a complex, large-scale protocol. Protocol conformance tests therefore, which consider only control flow, have many problems on testing data flow, transition condition, delay and so on. We propose, design, and implement the tool to solve these problems. The tool, which solves nondeterminism, generates test suites from an integrated flow graph and excludes infeasible path with reachable tree. The presented tool reduces the length of UIO sequence and is efficient partially to test the path that error rate is high. Our automatic test suite generator provides basis of protocol testing environment and high production.

• Structural Engineering and Mechanics
• /
• v.68 no.6
• /
• pp.721-733
• /
• 2018

The modal frequency responses of functionally graded (FG) sandwich doubly curved shell panels are investigated using a higher-order finite element formulation. The system of equations of the panel structure derived using Hamilton's principle for the evaluation of natural frequencies. The present shell panel model is discretised using the isoparametric Lagrangian element (nine nodes and nine degrees of freedom per node). An in-house MATLAB code is prepared using higher-order kinematics in association with the finite element scheme for the calculation of modal values. The stability of the opted numerical vibration frequency solutions for the various shell geometries i.e., single and doubly curved FG sandwich structure are proven via the convergence test. Further, close conformance of the finite element frequency solutions for the FG sandwich structures is found when compared with the published theoretical predictions (numerical, analytical and 3D elasticity solutions). Subsequently, appropriate numerical examples are solved pertaining to various design factors (curvature ratio, core-face thickness ratio, aspect ratio, support conditions, power-law index and sandwich symmetry type) those have the significant influence on the free vibration modal data of the FG sandwich curved structure.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.33 no.12
• /
• pp.65-72
• /
• 2017

Three decades after its establishment in 1946, Seoul National University was transferred to its current location in Gwan-ak District in accordance with the Seoul National University Integration Plan. In the 40 years since Seoul National University transferred to the Gwan-ak area, much quantitative and qualitative growth has taken place, and the university has grown into a world-class research institution. In this process, the campus was expanded externally and internally, and many changes have been made to the campus life bases and facilities which were planned at the beginning of the campus' construction. This study examines the expansion of the facilities at Seoul National University's Gwan-ak campus, as well as the expansion of the campus' boundaries. In addition, through quantitative analysis (Space Syntax), we predicted the location of campus life bases of the present multi-centralized campus and suggested a future developmental direction for the campus.

• Aerospace Engineering and Technology
• /
• v.11 no.2
• /
• pp.195-207
• /
• 2012

This paper deals with attitude controller design and integrated performance tests on the nitrogen gas reaction control system of KSLV-I. Some major factors which are necessarily required in designing a stabilizing controller of reaction control system are investigated, and the corresponding equations are given. Experimental configurations and test conditions for system level integrated performance tests of the KSLV-I nitrogen gas reaction control system are summarized. It is shown that, based on the experimental data, operational performances of nitrogen gas reaction control system can be analyzed in terms of gas consumption, thrusting force, time delay, and specific impulse. It is also shown that a conformance of the controller to flight can be evaluated. Finally the onboard controller of KSLV-I reaction control system is shown to perform normally with enough stability margin via the first flight test result.

• Journal of Broadcast Engineering
• /
• v.12 no.3
• /
• pp.203-213
• /
• 2007

DMB video/audio service was successfully launched. DMB data service is a matter of primary concern now. The TTI(Traffic and Travel Information) service is considered as a killer application of the data service. Tn this paper, we propose a method for design and implementation of the broadcasting system for TTI service. The proposed TTI service system consists of an authoring tool, the DB module, the Transmission module and Monitoring module. This system satisfies the national TTA standards of the Traffic and Travel Information data services for terrestrial DMB; TPEG(Transport Protocol Experts Group) platform. The system was designed to support real-time automatic transmission for CTT and CTT SUM, and non real-time authoring & automatic transmission for POI and SDI, and was focused on the capability to make high-quality contents efficiently and to send them to the data inserter reliably. The performance of the implemented system was proven through the conformance tests with the various commercial receivers. After the continuous upgrade, the system is being used in commercial service.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.10
• /
• pp.83-93
• /
• 1999

In MPEG-2 video standard, there are many parameters to support profiles and levels. It is necessary to verify that a decoder is compliant with the MPEG-2 standard. This paper proposes a design principle of the test bitstreams which confirms that an MPEG video decoder is correct by observing the final image of the decoder under test. The presented test bitstream is composed of two parts. The first part generates a test pattern by varying a selected test parameter. And the following predictive coded picture generates a complementary pattern to the previous image by motion compensation and DCT coefficients. Then it will result in a uniform pattern. We present several bitstreams following the proposed principle. Also we analyze and compare the characteristics of the test bitstreams presented in the MPEG conformance test and the proposed test bistreams.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.1
• /
• pp.124-130
• /
• 2007

RFID technology is considered as a promising solution to increase efficiency of port logistics. Especially active RFID technology, such as e-Seal for container security, is receiving attention nowadays. If active RFID system is combined with passive RFID and legacy bar-code system overall efficiency of port logistics can be improved However, due to the device dependent control interface of RFID readers, there are many difficulties in making active-passive combined RFID system environment. In this paper, we introduce Smart Reader Interface (SRI) system, which provides a device independent RFID reader interrace to control different kinds of RFID readers by hiding device dependent control interface through adapter architecture which is similar to device driver of conventional operating systems. The key design objectives of SRI are the followings; conformance to the related standard. efficiency in processing, easy addition of an adapter for a new RFID reader. Actually, the implemented SRI system can support various kinds of commercial RFID readers, and through the test carried out not only in laboratory but also in the container terminal in the GwangYang Port, its practicality is verified.

• The KIPS Transactions:PartC
• /
• v.13C no.5 s.108
• /
• pp.641-650
• /
• 2006

There has been a continued increase in the complexity of software equipped with wireless mobile devices, due to the introduction of new device functionality and services via network connection. The increasement expected to be accelerated by convergence of telecommunication and broadcasting, and proliferation of telematics and home networking services using wireless mobile devices. The higher the complexity of mobile device software, the higher the necessity of management for the software. As for the global standard of mobile device management technology, OMA DM has been widely adopted by device manufacture and expected to be accelerated its adoption. In this paper, we present a development result of mobile device software release management system ThinkSync DM SoftMan. The implementation details of ThinkSync DM SoftMan are provided in implementation architecture and its working scenario based on the design of ThinkSync DM SoftMan that is summarized in this paper as our previous work. The conformance and performance test of the system are presented.

• International Journal of High-Rise Buildings
• /
• v.3 no.2
• /
• pp.155-165
• /
• 2014

This study measured and compared the variation of ventilation rate and fan energy consumption according to various control strategies after installing wireless sensor-based pilot ventilation system in order to verify the applicability of demand-controlled ventilation (DCV) strategy that was efficient ventilation control strategy for underground parking lot. The underground parking lot pilot ventilation system controlled the ventilation rate by directly or indirectly tracking the traffic load in real-time after sensing data, using vehicle detection sensors and carbon monoxide (CO) and carbon dioxide ($CO_2$) sensor. The ventilation system has operated for 9 hours per a day. It responded real-time data every 10 minutes, providing ventilation rate in conformance with the input traffic load or contaminant level at that time. A ventilation rate of pilot ventilation system can be controlled at 8 levels. The reason is that a ventilation unit consists of 8 high-speed nozzle jet fans. This study proposed vehicle detection sensor based demand-controlled ventilation (VDS-DCV) strategy that would accurately trace direct traffic load and CO sensor based demand-controlled ventilation (CO-DCV) strategy that would indirectly estimate traffic load through the concentration of contaminants. In order to apply DCV strategy based on real-time traffic load, the minimum required ventilation rate per a single vehicle was applied. It was derived through the design ventilation rate and total parking capacity in the underground parking lot. This is because current ventilation standard established per unit floor area or unit volume of the space made it difficult to apply DCV strategy according to the real-time variation of traffic load. According to the results in this study, two DCV strategies in the underground parking lot are considered to be a good alternative approach that satisfies both energy saving and healthy indoor environment in comparison with the conventional control strategies.