• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.3
• /
• pp.443-454
• /
• 2020

The JavaScript engine is a module that receives JavaScript code as input and processes it, among many functions that are loaded into web browsers and display web pages. Many fuzzing test studies have been conducted as vulnerabilities in JavaScript engines could threaten the system security of end-users running JavaScript through browsers. Some of them have increased fuzzing efficiency by guiding test coverage in JavaScript engines, but no coverage guided fuzzing of optimized, dynamically generated machine code was attempted. Optimized JavaScript codes are difficult to perform sufficient iterative testing through fuzzing due to the function of runtime guards to free the code in the event of exceptional control flow. To solve these problems, this paper proposes a method of performing fuzzing tests on optimized machine code by avoiding deoptimization. In addition, we propose a method to measure the coverage of runtime-guards by the dynamic binary instrumentation and to guide increment of runtime-guard coverage. In our experiment, our method has outperformed the existing method at two measures: runtime coverage and iteration by time.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.14 no.1
• /
• pp.19-33
• /
• 2002

A numerical method to efficiently secure necessary design informations of the hydraulic characteristics of rubble mound breakwater was attempted here. The method combines the exterior wave field with the interior wave field which is formulated incorporating porous media flow inside the breakwaters. An approximate method based on the long wave assumption was used for the exterior wave field while a boundary element method was used for the interior wave field. A hydraulic experiment was also performed to verify the validity of the numerical analysis. The numerical results were compared with experimental data and results from existing formulae. They generally agreed in both reflection and transmission coefficients. The calculated pore pressures also showed a similar pattern with experimental data, even if they gave some significant differences in their values fur some cases. The main cause of such differences can be attributed to the strongly nonlinear wave field occurring on the frontal slope of the breakwater. The direct input of dynamic pressures(measured from hydraulic experiment) into the numerical method was suggested as a promising method to enhance the predictability of pore pressures.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.15 no.1
• /
• pp.116-124
• /
• 2007

An optical method to measure the size and number density of soot aggregates in diesel exhaust has been proposed in this study. Two laser beams in co-axial alignment transmit a soot loaded exhaust gas flow, and the transmittance at each wavelength is detected by a photo diode simultaneously. The volume equivalent diameter and number density of soot aggregates in the optical path can be theoretically given by the transmittance values measured at two wavelengths. A test conducted by a single cylinder, 4 cycle, small and DI diesel engine shows that the temporal variations of the size and number density of soot aggregates in the diesel exhaust can be measured by the proposed method at a transient mode operation. It is found that the volume equivalent diameter varied temporally from 70 to 110 nm during the period that high soot concentration is observed. One can also conclude that the optical length longer than 1 m in the dynamic range regarding this method is preferable for measuring soot concentration at the level of $1\;mg/m^3$.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.12
• /
• pp.1080-1085
• /
• 2012

In this paper a sharp-edged type damping orifice for an aircraft door damper were designed, where the dynamic viscosity of working fluid were assumed to change up to 400cSt. The discharge coefficient of the damping orifice were investigated by CFD analyses and experiments. In particular, the influences of orifice diameter, edge angle, flow direction and the Reynolds number were taken into consideration. Based on this, it has been deduced how high Coulomb friction forces of damper seals is to be allowed to meet the performance criterion with respect to the orifice size.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.4
• /
• pp.287-294
• /
• 2007

A static aeroelastic analysis for supersonic aircraft wing equipped with external store under the wing lower surface is performed using computational fluid dynamics (CFD) and computational structural technology(CST) coupling methodology. Two mapping algorithms, which are the pressure mapping algorithm and the displacement mapping algorithm, are used for CFD/CST coupling. A three-dimensional unstructured Euler code and finite element analysis program are used to calculate the flow properties and the structural displacements, respectively. The coupling procedure is repeated in an iterative manner until a specified convergence criterion is satisfied. Static aeroelastic analysis for a typical supersonic flight wing is performed and final converged wing configuration is obtained after several iterations.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.54 no.3
• /
• pp.113-124
• /
• 2012

Reliable estimation of energy load inside the greenhouse and the selection of cooling and heating facilities are very important preceding factors to save energy as well as initial and maintenance costs of operating a greenhouse. Recently, building energy simulation (BES) technique to simulate a model similar to the actual conditions through a variety of dynamic simulation methods, and predict and analyze the flow of energy is being actively introduced and developed. As a fundamental research to apply the BES technique which is mainly used for analysis of general buildings, to greenhouse, this research designed four types of naturally-ventilated greenhouses using one of commercial programs, TRNSYS, and then compared and analyzed their energy load properties, by applying meteorological data collected from six regions in Korea. When comparing the greenhouse load of each region depending on latitude and topographical characteristics through simulation, Chuncheon had nearly 9~49 % higher heating load per year than other regions, but its annual cooling load was the reverse to it. Except for Jeju, 1-2W type greenhouses in five regions showed about 17 % higher heating load than a widespan type greenhouse, and 1-2W type greenhouses in Chuncheon, Suwon, Cheongju, Daegu, Cheonju and Jeju had 23 %, 20 %, 17 %, 16 %, 18 % and 20 % higher cooling load respectively than a wide span-type one. Glasshouse and vinyl greenhouse showed 8~11 % and 10~12 % differences respectively in heating load, while 2~10 % and 7~10 % differences in cooling load respectively.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.23 no.12
• /
• pp.154-161
• /
• 2009

A fuel cell power plant is a very complex system which has various control loops with some non-linearity. For control of a fuel cell power plant, dynamic models of fuel cell stacks have been developed and simplified process flow diagrams of a fuel cell power plant has been presented. Using such a model of a Molten Carbonate Fuel Cell (MCFC) power plant, this paper deals with development of an intelligent setpoint reference governor (I-SRG) to find the optimal setpoints and feed forward control inputs for the plant power demand. The I-SRG is implemented with neural network by using Particle Swarm Optimization (PSO) algorithm based on system constraints and performance objectives. The feasibility of the I-SRG is shown through simulation of an MCFC power plant for tracking control of its power demand.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.7
• /
• pp.1556-1567
• /
• 2009

The death rate of pedestrian in car accidents in Korea is 2.5 times higher than the average of OECD countries'. If a system that can detect pedestrians and send alarm to drivers is built and reduces the rate, it is worth developing such a pedestrian detection system (PDS). Since the accident rate in which pedestrians are involved is higher at nighttime than in daytime, the adoption of nighttime PDS is being standardized by big auto companies. However, they are usually using night visions or multiple sensors, which are usually expensive. In this paper we suggest a method for nighttime PDS using single wide dynamic range (WDR) monochrome camera in visible spectrum band. In our experiments, pedestrians were accurately detected if only most edges of pedestrians could be obtained.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.3
• /
• pp.1040-1044
• /
• 2013

The present paper has been accomplished to elucidate the characteristics of temperature change in a car washer heater system for removal of frost formed at the surface of a car. The previous studies had used a simplified mathematical modeling to analyse the temperature change characteristics for a car washer heater system. In the present study, an unsteady computational fluid flow and heat transfer analysis for a washer heater system has been done by using computational fluid dynamic analysis method. From the present CFD analysis, the time dependent temperature change in a car washer heater system has been analysed and derived the heating time and ejection temperature of the washer liquid to establish the optimal design basis for a washer heater system.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.843-845
• /
• 2003

Shortest Path Problems are among the most studied network flow optimization problems, with interesting applications in various fields. One such field is the route determination service, where various kinds of shortest path problems need to be solved in location-based service. Our research aim is to propose a route technique in real-time locationbased service (LBS) environments according to user’s route preferences such as shortest, fastest, easiest and so on. Turn costs modeling and computation are important procedures in route planning. There are major two kinds of cost parameters in route planning. One is static cost parameter which can be pre-computed such as distance and number of traffic-lane. The other is dynamic cost parameter which can be computed in run-time such as number of turns and risk of congestion. In this paper, we propose a new cost modeling method for turn costs which are traditionally attached to edges in a graph. Our proposed route determination technique also has an advantage that can provide service interoperability by implementing XML web service for the OpenLS route determination service specification. In addition to, describing the details of our shortest path algorithms, we present a location-based service system by using proposed routing algorithms.