• 전기학회논문지P
• /
• 제62권1호
• /
• pp.30-35
• /
• 2013

Many function of railway signalling system which is in charge of most core function in a railway system are being operated by the software according to the development of computer technology. Accordingly, the source code testing to verify the safety of the railway signalling system software becomes to be more important, and related international standards highly recommend verifications on the source code also. For this reason, several related studies on vital source code verification were executed from several years ago in Korea. This paper performed tests through the application to railway signalling system being applied to the existing actual domestic railway sites through automated testing tools for coding rules of signalling system software and another signaling system software under development in Korea recently, and analyzed their results.

• International Journal of Aeronautical and Space Sciences
• /
• 제7권2호
• /
• pp.155-174
• /
• 2006

Parabolized stability equations for compressible flows in general curvilinear coordinate system are derived to deal with a broad range of transition prediction problems on complex geometry. A highly accurate finite difference PSE code has been developed using an implicit marching procedure. Compressible and incompressible flat plate flow stability under two-dimensional and three¬dimensional disturbances has been investigated to test the present code. Results of the present computation are found to be in good agreement with the multiple scale analysis and DNS data. Stability calculation results by the present PSE code for compressible boundary layer at Mach numbers ranging from 0.02 to 1.5 are also presented and are again seen to be as accurate as the spectral method.

• International Journal of Contents
• /
• 제9권1호
• /
• pp.33-37
• /
• 2013

BCH code is one of the most widely used error correcting code for the detection and correction of random errors in the modern digital communication systems. The conventional BCH encoder that is operated in bit-serial manner cannot adequate with the recent high speed appliances. Therefore, parallel encoding algorithms are always a necessity. In this paper, we introduced a new systolic array type BCH parallel encoder. To study the area and speed, several parallel factors of the systolic array encoder is compared. Furthermore, to prove the efficiency of the proposed algorithm using tree-type structure, the throughput and the area overhead was compared with its counterparts also. The proposed BCH encoder has a great flexibility in parallelization and the speed was increased by 40% than the original one. The results were implemented on synthesis and simulation on FPGA using VHDL.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제8권2호
• /
• pp.153-168
• /
• 2016

Sloshing phenomenon is a complicated free surface flow problem that increases the dynamic pressure on the sidewalls and the bottom of the storage tanks. When the storage tanks are partially filled, it is essential to be able to evaluate the fluid dynamic loads on the tank's perimeter. In this paper, a numerical code was developed to determine the pressure distribution on the rectangular and trapezoidal storage tanks' perimeters due to liquid sloshing phenomenon. Assuming the fluid to be inviscid, the Laplace equation and the nonlinear free surface boundary conditions were solved using coupled boundary element - finite element method. The code performance for sloshing modeling was validated using Nakayama and Washizu's results. Finally, this code was used for partially filled rectangular and trapezoidal storage tanks and free surface displacement, pressure distribution and horizontal and vertical forces exerted on the tanks' perimeters due to liquid sloshing phenomenon were estimated and discussed.

• 대한조선학회 특별논문집
• /
• 대한조선학회 2017년도 특별논문집
• /
• pp.19-27
• /
• 2017

In spite of adoption of Intact Stability Code Part A as mandatory, the accidents have been occurred frequently caused by dynamic stability. Therefore International Maritime Organization (IMO) is revising the Intact Stability Code to prevent the cause of accidents. The result of 4th meeting of Sub-committee on Ship Design and Construction (SDC), five mode of the cause was defined and establishing each draft regulations. We consider physical background, mathematical description, draft regulations for five failure mode and sample calculations for ships built by STX Offshore & Shipbuilding.

• Journal of Positioning, Navigation, and Timing
• /
• 제5권2호
• /
• pp.59-66
• /
• 2016

The International GNSS Service (IGS) provides the IGS-Real Time Service (IGS-RTS) corrections that can be used in stand-alone positioning in real time. In this study, the positioning accuracy before and after the application of the corrections to broadcast ephemeris by applying the IGS-RTS corrections at code pseudo-range based stand-alone positioning was compared with positioning result using precise ephemeris. The analysis result on IGS-RTS corrections showed that orbit error and clock error were 0.05 m and 0.5 ns compared to precise ephemeris and accuracy improved by about 8.5% compared to the broadcast ephemeris-applied result when the IGS-RTS was applied to positioning. Furthermore, regionally dispersed five observatories were selected to analyze the effect of external environments on positioning accuracy and positioning errors according to location and time were compared as well as the number of visible satellites and position dilution of precision by observatory were analyzed to verify a correlation with positioning error.

• 설비공학논문집
• /
• 제26권1호
• /
• pp.38-41
• /
• 2014

Fixture units and the diversity curve are used, in order to determine the required size of water supply pipe. However, the values of the National Plumbing Code, International Plumbing Code and National Standard Plumbing Code of America are not the same. The objective of this study is to comparatively analyze the fixture units and the peak flows of a 10th story office building, at any instant of time, according to the three codes.

• 대한설비공학회:학술대회논문집
• /
• 대한설비공학회 2007년도 동계학술발표대회 논문집
• /
• pp.453-458
• /
• 2007

The importance of the evaluation and verification of small-size cogeneration system has been emphasized because there is no KS-code related to the small-size cogeneration system. The evaluation method of small-size engine cogeneration system was investigated by the reference of Japan evaluation code, JIS B-8122 and international standard organization, ISO-8528. Evaluation method was introduced such as start-test, rapid-load-up and rapid-load-down, etc. The evaluation method was applied to the 300kW small-size gas engine cogeneration system newly developed. The precise and strict evaluation and verification of the system will help the developing cogeneration system to optimum condition. It will also be a base document of KS-Code.

• 한국컴퓨터정보학회논문지
• /
• 제21권12호
• /
• pp.213-218
• /
• 2016

China is defending the terrorist crime through the Anti-Terror Law and anti-terrorism criminal legislation. China's Anti-Terror Law and the Criminal Code Amendment (9), which were promulgated in 2015, provide legal grounds for preventing and hurting ever-growing terrorist crimes. In particular, China's amendment to the Criminal Code (9) is designed to rigorously enforce the legal framework for terrorist crimes, protect prejudicial rights that might be violated by serious terrorist crimes, and protect the penalties for terrorist crimes. However, China's anti-terrorism legislation still has drawbacks such as lack of systematicity, limited regulatory boundaries, and lack of rigorous penalties for the establishment of anti-terrorism legislation. To counter this, China's anti-terrorism legislation must strictly regulate the legal system of terrorist crimes, secure penalties, and prescribe anti-terrorism laws as professional chapters.

• International Journal of CAD/CAM
• /
• 제11권1호
• /
• pp.27-32
• /
• 2011

The increase in the productivity and the assurance of quality machining on the NC machines depends on, amongst other things, the perfection of the programming using adequate methods of interpolation. The programming language is until now based on the code ISO 6983 which defines the principles of the code G. This latter is not well adapted to the new strategies of machining imposed by the machining of complex surfaces and machining at high speed with the increasingly more severe requirements of precision. The CNC which adopt the interpolation of NURBS (Non Uniform Rational B-spline) are very rare (FANUC Siemens${\ldots}$). Based on the advantages of NURBS (continuity, flexibility, smoothing$.{\ldots}$), new formats G are currently developed but their use is still very limited. Our work consists on putting forward these new approaches of programming using the interpolation of NURBS. For this reason, a program capable to trace NURBS trajectories under Visual BASIC 6.0 was developed. This program was used thereafter in CAM software for the generation of NURBS formats like their new formats NC.