• Ocean Systems Engineering
• /
• v.7 no.4
• /
• pp.435-460
• /
• 2017

The main objective of this study is to investigate the turning and zig-zag maneuvering performance of the well-known naval surface combatant DTMB (David Taylor Model Basin) 5415 hull with URANS (Unsteady Reynolds-averaged Navier-Stokes) method. Numerical simulations of static drift tests have been performed by a commercial RANS solver based on a finite volume method (FVM) in an unsteady manner. The fluid flow is considered as 3-D, incompressible and fully turbulent. Hydrodynamic analyses have been carried out for a fixed Froude number 0.28. During the analyses, the free surface effects have been taken into account using VOF (Volume of Fluid) method and the hull is considered as fixed. First, the code has been validated with the available experimental data in literature. After validation, static drift, static rudder and drift and rudder tests have been simulated. The forces and moments acting on the hull have been computed with URANS approach. Numerical results have been applied to determine the hydrodynamic maneuvering coefficients, such as, velocity terms and rudder terms. The acceleration, angular velocity and cross-coupled terms have been taken from the available experimental data. A computer program has been developed to apply a fast maneuvering simulation technique. Abkowitz's non-linear mathematical model has been used to calculate the forces and moment acting on the hull during the maneuvering motion. Euler method on the other hand has been applied to solve the simultaneous differential equations. Turning and zig-zag maneuvering simulations have been carried out and the maneuvering characteristics have been determined and the numerical simulation results have been compared with the available data in literature. In addition, viscous effects have been investigated using Eulerian approach for several static drift cases.

• Journal of the Korean Solar Energy Society
• /
• v.31 no.6
• /
• pp.8-22
• /
• 2011

Investigations on modeling methods of a CFD wind resource prediction program, WindSim for a ccurate predictions of wind speeds were performed with the field measurements. Meteorological Masts having heights of 40m and 50m were installed at two different sites in complex terrain. The wind speeds and direction were monitored from sensors installed on the masts and recorded for one year. Modeling parameters of WindSim input variables for accurate predictions of wind speeds were investigated by performing cross predictions of wind speeds at the masts using the measured data. Four parameters that most affect the wind speed prediction in WindSim including the size of a topographical map, cell sizes in x and y direction, height distribution factors, and the roughness lengths were studied to find out more suitable input parameters for better wind speed predictions. The parameters were then applied to WindSim to predict the wind speed of another location in complex terrain in Korea for validation. The predicted annual wind speeds were compared with the averaged measured data for one year from meteorological masts installed for this study, and the errors were within 6.9%. The results of the proposed practical study are believed to be very useful to give guidelines to wind engineers for more accurate prediction results and time-saving in predicting wind speed of complex terrain that will be used to predict annual energy production of a virtual wind farm in complex terrain.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.3-8
• /
• 2006

The next decade promises drastic improvements and additions to global navigation satellite systems (GNSS). Plans for GPS modernization include a civilian code measurement on the L2 frequency and a new L5 signal at 1176.45 MHz. Current speculations indicate that a fully operational constellation with these improvements could be available by 2013. Simultaneously, the Galileo Joint Undertaking is in the development and validation stages of introducing a parallel GNSS called Galileo. Galileo will also transmit freely available satellite navigation signals on three frequencies and is scheduled to be fully operational as early as 2008. In other words, a dual system receiver (e.g., GPS+GALILEO) for general users can access six civil frequencies transmitted by at least fifty eights navigation satellites in space. The advent of GALILEO and the modernization of GPS raise a lot of attention to the study of the compatibility and interoperability of the two systems. A number of performance analyses have been conducted in a global scale with respect to availability, reliability, accuracy and integrity in different simulated scenarios (such as open sky and urban canyons) for the two systems individually and when integrated. Therefore, the scope of this article aims at providing the technical benefits analysis for Taiwan specifically in terms of the performance indices mentioned above in a local scale, especially in typical urban canyon scenarios. The conclusions gained by this study will be applied by the Land Survey Bureau of Taiwanese as the guideline for developing future GNSS tracking facilities and dual GNSS processing module for precise surveying applications in static and kinematic modes.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1789-1804
• /
• 1999

This paper presents a simulation-based system for verification and validation(V&V) of design implication of the Visual Real-time Object Model which is produced by existing object's behavior design method. This system can simulate the dynamic interactions using the executable Ada simulation machine, and can detect various logical and temporal problems in the visual real-time object model prior to the real implementation of the application systems. Also, the system can generate the Ada prototype code from the validated specification. This system is implemented by Visual C++ version 4.2. For simulation, this system is using the Ada language because Ada's real-time expression capabilities such as concurrent processes, rendezvous, temporal behavior expression, and etc, are competent compared to other languages. This work contributes to a tightly coupling of methodology-based visual models and formal-based simulation systems, and also contributes to a realization of automated specification V&V.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 1997.11a
• /
• pp.392-403
• /
• 1997

There is a strong international move towards performance based fire regulations for buildings with New Zealand and Australia at the forefront of research in this fold. The reform of regulations is thought to offer more innovation and flexibility in building design and greater cost effectiveness in construction. An important part of the research in this area is related to the development of agreed approaches to fire safety design, such as the Fire Code Reform Centre's "Fire Engineering Guidelines" or New Zealand's "Fire Engineering Design Guide". Such design process documents have incorporated or referenced much of the latest research in areas such as: tenability criteria fire compartment models egress models risk assessment. Use of such design guidelines or equivalents in major projects in countries such as Hong Kong and Australia have highlighted where fro engineering can offer real benefits to building designers and ultimately building owners and operators. However, there is still much research to be done and use of a systematic, logical design approach clearly identifies where design data or modelling techniques are still urgently required. Such areas are: fire growth rates and peak heat release rates for non-residential occupancies pre-movement times related to egress experimental validation and limits of applicability of CFD and other compartment Ire models probability/reliability data on fire protection systems for risk based analysis. Examples from case studies will be shown where lack of such research and poor judgement can lead to inferior design solutions or where unnecessarily conservative designs can lead to cost excesses. In summary, the link between Ire engineering designers and the research community is very important to highlight areas of fire research that will have the most benefit to the building and construction industry.nstruction industry.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.4B
• /
• pp.360-367
• /
• 2009

In this paper, we propose a design methodology of IEEE 802.11n MAC which aims to achieve the higher throughput of more than 100Mbps in downlink as measured at the MAC-SAP and present the implementation results of MAC using the proposed design methodology. With our proposed methodology, different from the conventional design flow which has the separate codes for the protocol validation, for the network simulation, and for the system implementation, the unified code can be used for the network simulation and the implementation of software and hardware. Our MAC architecture is partitioned into two parts, Upper-layer MAC and Lower-layer MAC, in order to achieve the high efficiency for the new features of IEEE 802.11n standard. They are implemented in software and hardware respectively. The implemented MAC is tested on ARM based FPGA board.

• Korean Journal of Remote Sensing
• /
• v.26 no.6
• /
• pp.605-615
• /
• 2010

This study demonstrates the feasibility of small satellite, namely PROBA platform with the compact high resolution imaging spectrometer (CHRIS), for aerosol retrieval in Hong Kong. The rationale of our technique is to estimate the aerosol reflectances by decomposing the Top of Atmosphere (TOA) reflectances from surface reflectance and Rayleigh path reflectances. For the determination of surface reflectances, the modified Minimum Reflectance Technique (MRT) is used on three winter ortho-rectified CHRIS images: Dec-18-2005, Feb-07-2006, Nov-09-2006. For validation purpose, MRT image was compared with ground based multispectral radiometer measurements and atmospherically corrected Landsat image. Results show good agreements between CHRIS-derived surface reflectance and both by ground measurement data as well as by Landsat image (r>0.84). The Root-Mean-Square Errors (RMSE) at 485, 551 and 660nm are 0.99%, 1.19%, and 1.53%, respectively. For aerosol retrieval, Look Up Tables (LUT) which are aerosol reflectances as a function of various AOT values were calculated by SBDART code with AERONET inversion products. The CHRIS derived Aerosol Optical Thickness (AOT) images were then validated with AERONET sunphotometer measurements and the differences are 0.05~0.11 (error=10~18%) at 440nm wavelength. The errors are relatively small compared to those from the operational moderate resolution imaging spectroradiometer (MODIS) Deep Blue algorithm (within 30%) and MODIS ocean algorithm (within 20%).

• Wind and Structures
• /
• v.17 no.3
• /
• pp.299-315
• /
• 2013

Numerical research on four typical configurations of noise mitigation structures and their characteristics of wind loads are reported in this paper. The turbulence model as well the model parameters, the modeling of the equilibrium atmospheric boundary layer, the mesh discretization etc., were carefully considered in the numerical model to improve the numerical accuracy. Also a numerical validation of one configuration with the wind tunnel test data was made. Through detailed analyses of the wind load characteristics with the inclined part and the wind incidence angle, it was found that the addition of an inclined part to a noise mitigation structure at-grade would affect the mean nett pressure coefficients on the vertical part, and that the extent of this effect depends on the length of the inclined part itself. The magnitudes of the mean nett pressure coefficients for both the vertical part and the inclined part of noise mitigation structure at-grade tended to increase with length of inclined part. Finally, a comparison with the wind load code British/European Standard BS EN 1991-1-4:2005 was made and the envelope of the mean nett pressure coefficients of the noise mitigation structures was given for design purposes. The current research should be helpful to improve current wind codes by providing more reasonable wind pressure coefficients for different configurations of noise mitigation structures.

• Journal of the Society of Naval Architects of Korea
• /
• v.30 no.3
• /
• pp.75-89
• /
• 1993

The present paper describes an application of UA(Uncertainty Analysis) to seakeeping model test, basically according to the Performance Test Code of ASME(American Society of Mechanical Engineers), in which all the possible error sources involved in the preparation of test, calibration of instruments, data acquisition and analysis are quantified, and summed up with error propagation coefficients to the final uncertainties. The differences between the static test such as resistance and propulsion test and the dynamic test like seakeeping test are clearly identified during all the procedures of UA and asymmetric bias errors are considered. The DRE(data reduction equation) subject to present UA are the heave and pitch response amplitude operator and nondimensionalized absolute frequency. The usefulness of UA in seakeeping test were confirmed not only for quantifying errors and improving measurement accuracy but also for the validation of various seakeeping analysis tools.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.2
• /
• pp.275-285
• /
• 2019

Web-assemblies are a new binary standard designed to improve the performance of Web browser JavaScript. Web-assemblies are becoming a new web standard that can run at near native speed with efficient execution, concise representation, and code written in multiple languages. However, current Web-assembly vulnerability verification is limited to the Web assembly interpreter language, and vulnerability verification of Web-assembly binary itself is insufficient. Therefore, it is necessary to verify the safety of the web assembly itself. In this paper, we analyze how to operate the web assembly and verify the safety of the current web-assembly. In addition, we examine vulnerability of existing web -assembly and analyze limitations according to existing safety verification method. Finally, we introduce web-assembly API based fuzzing method to overcome limitation of web-assembly safety verification method. This verifies the effectiveness of the proposed Fuzzing by detecting crashes that could not be detected by existing safety verification tools.