• The KIPS Transactions:PartD
• /
• v.16D no.2
• /
• pp.213-222
• /
• 2009

Traceability has been held as an important factor in testing activities as well as model driven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to code in testing and debugging phase. Traceability also overcomes difficulties by the separation between abstraction levels when we trace errors from models to source code after test. To support a rigorous test this paper proposes XML based traceability which vertically trace from model and test case to source code. This paper explains how the traceability works and finds out error spots Through experiments using a concrete example.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.6 no.12
• /
• pp.3275-3295
• /
• 2012

In this paper, we analyze the performance of an amplify-and-forward (AF) two-way relaying system, where two sources exchange information via the aid of an intermediate relay that is selected among multiple relays according to max-min criterion. We consider a practical scenario, where one source-relay link undergoes Rician fading, and the other source-relay link is subject to Rayleigh fading. To be specific, we derive a tight lower bound for the outage probability. From this lower bound, the asymptotic outage probability and average symbol error rate (SER) expressions are derived to gain insight into the system performance at high signal-to-noise ratio (SNR) region. Furthermore, we investigate the optimal power allocation (PA) with fixed relay location (RL), optimal RL with fixed PA and joint optimization of PA and RL to minimize the outage probability and average SER. The analytical expressions are verified through Monte Carlo simulations, where the positive impact of Rician factor on the system performance is also illustrated. Simulation results also validate the effectiveness of the proposed PA and relay positioning schemes.

• ETRI Journal
• /
• v.45 no.1
• /
• pp.28-44
• /
• 2023

We propose short packet communication in an underlay cognitive radio network assisted by an intelligent reflecting surface (IRS) composed of multiple reconfigurable reflectors. This scheme, called the IRS protocol, operates in only one time slot (TS) using the IRS. The IRS adjusts its phases to give zero received cumulative phase at the secondary destination, thereby enhancing the end-to-end signal-to-noise ratio. The transmitting power of the secondary source is optimized to simultaneously satisfy the multi-interference constraints, hardware limitations, and performance improvement. Simulation and analysis results of the average block error rates (BLERs) show that the performance can be enhanced by installing more reconfigurable reflectors, increasing the blocklength, lowering the number of required primary receivers, or sending fewer information bits. Moreover, the proposed IRS protocol always outperforms underlay relaying protocols using two TSs for data transmission, and achieves the best average BLER at identical transmission distances between the secondary source and secondary destination. The theoretical analyses are confirmed by Monte Carlo simulations.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.5B
• /
• pp.475-483
• /
• 2008

2D finite element model for analysis of transport of accidentally released pollutants in the flow was developed by SUPG method, and the mass balance of this model was checked though two example problems: line source and point source problem in the straight channel and unidirectional 2D flow field, respectively. All the test cases were simulated with both SUPG and conventional Galerkin method to compare the accuraccy of the numerical mass balance. Test results show that the model with SUPG can adequately conserve the released mass though simulation than the model using Galerkin method, so the developed model verified to be appropriate to solve this accidental mass release problem.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.6
• /
• pp.75-81
• /
• 2001

In this paper we analyzed the localization error of near-field detection algorithm in the sea. The near-field detection algorithms using triangulation and wavefront curvature basically assume a signal in two dimension of bearing and range. But the assumption causes localization error because there is three dimension of bearing, range, and depth in the sea. Even through three dimensional effect is considered, the localization error is occurred if multipath propagation in the sea is ignored. To analyze the localization error in the sea, we simulate the near-field localization using acoustic propagation model and focused beamforming considering wavefront curvature. The simulation results indicate that localization error always occurs in the sea and the error varied with sound velocity profile, water depth, bottom slope, source range, etc.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.11
• /
• pp.53-62
• /
• 1994

This paper presents a new approach of analyzing errors resulting from nonideal general-purpose lighting environment when the Photometric Stereo Method (PSM) is applied to estimate the surface-orientation of a three-dimensional object. The approach introduces the explicit modeling of the lighting environment including a circular-disk type irradiance object plane and the direct simulation of the error distribution with the model. The light source is modeled as a point source that has a certain amount of beam angle, and the luminance distribution on the irradiance plane is modeled as a Gaussian function with different deviation values. A simulation algorithm is devised to estimate the light source orientation computing the average luminance intensities obtained from the irradiance object planes positioned in three different orientations. The effect of the nonideal lighting model is directly reflected in such simulation, because of the analogy between the PSM and the proposed algorithm. With an instrumental tool designed to provide arbitrary orientations of the object plane at the origin of the coordinate system, experiment can be performed in a systematic way for the error analysis and compensation. Simulations are performed to find out the error distribution by widely varying the light model and the orientation set of the object plane. The simulation results are compared with those of the experiment performed in the same way as the simulation. It is confirmed from the experiment that a fair amount of errors is due to the erroneous effect of the general-purpose lighting environment.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.8
• /
• pp.317-322
• /
• 2019

Programming judge systems for programming training support are typically built on the Web, where the examiners uploads a programming problem, which the student reads and submits an answer to the problem. The judge system executes the submitted answer of source code to provide feedback such as pass, failure, and error messages. Students who receive the feedback except for the pass continues debugging the source code until they are judged to pass. We developed an online judge system to support programming training and analyzed answers submitted by the students and found that many of the students who were not judged to pass that test did not know exactly where they were wrong but continued to solve the problem. The current judge system generally feeds runtime error messages back to students. However, with only runtime error message, it is difficult for student who train to find the wrong part of the answer. Therefore, in this paper, we propose a system that provides the feedback of programming failure by analyzing the control flow of the test cases used in the source code submitted by the student. The proposed system helps students find the wrong parts more quickly by feeding back the paths where faults in the control flow may exist. In addition, we show that this system is applicable to the answer source code that the actual student submitted.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.15 no.3 s.96
• /
• pp.320-328
• /
• 2005

Last target of architectural acoustics is that people wish to convey voice effectively from the space adaptively in use purpose in building. But, how exactly through space sound (sound source) that wish to deliver from indoor can be passed method to do quantification and evaluate quantity of sound by method to serve indoor architectural acoustics estimation summer period and methods to estimate definition propose. This Study searches special quality of sound source about MLS signal that is occurred short-answer sound source (pistol sound source) and nondirectional speaker among indoor sound estimation method, and measure and analyzed reverberation time (RT60), definition (C80, D50) by regulation of each ISO 3382 in age place (classroom, hall, gymnasium). Analysis result and sound factor among could know that d of two sound sources converges in measurement error extent about reverberation time (RT60) of analysis incidental and sound factors and value shows change irregularly about sound factor of D50, C80, pistol sound source judged there is problem. Also, could know that problem is happened in deflection except reverberation time is in deflection analysis with wave that measure each in fixed distance in branch. Finally, when differ size of sound source and measure about change of sound pressure level in case measure sound pressure level giving difference about 10 dB, sound factor could know that there is no different effect.

• Journal of the Institute of Convergence Signal Processing
• /
• v.9 no.1
• /
• pp.10-17
• /
• 2008

The purpose of this thesis is to reduce of error for source location through acoustic emission(AE) signal, generated elastic wave from crack growth to leak for facility diagnosis. Especially, in order to overcome noise from original signal, this paper proposed enhancement of source location by using noise reduction based on wavelet transform. To evaluate actual performance in experiments, Pencil Lead Break is used crack signal source on the aluminum plate and drain valve of air compressor is used as substitute pressure vessel to generate leak signal. In signal processing, wavelet shrinkage and soft threshold are used to discriminate signal source and then source location techniques have been effectively used with group velocity using material property and time difference between sensor using cross correlation. Source location for crack and leak test have some difference, but the result show that improved 30% with a average length within 10.46mm in crack test and improved 2% compare with average filter in leak test when we applied wavelet transform.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.10A
• /
• pp.1566-1575
• /
• 2000

This paper studies mismatched scalar quantization of a generalized gamma source by a quantizer that is optimally (in the mean square error sense) designed for another generalized gamma source. Specifically, it considers variance-mismatched quantization which occurs when the variance of the source to be quantized differs from tat of the designed-for source. The main result is the two distortion formulas derived from Bennett's integral. The first formula is an approximation expression that uses the outermost threshold of an optimum scalar quantizer, and the second formula, in turn, uses an approximation formula for this outermost threshold. Numerical results are obtained for Laplacian sources, which are example of a generalized gamma source, and comparisons are made between actual mismatched distortions and the two formulas. These numerical results show that the two formulas become more accurate, as the number of quantization points gets larger and the ratio of the source variance to that of the designed-for source gets bigger. For example, the formulas are within 2~4% of the actual distortion for approximately 64 quantization points or more. In conclusion, the proposed approximation formulas are considered to have contribution as closed formulas and for their accuracy.