• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.869-882
• /
• 2004

This paper proposes an effective method to create logically consistent and structured requirement model by applying consistency control approach of the formal method to the use-case modeling. This method integrates the multi-perspective scattered requirement segments that may overlap and conflict each other into a structured requirement model. The model structure can be analyzed based on context goal and concerned area overlap analysis. The model consistency can be achieved by using specification overlap-based consistency checking method as an integration vehicle. An experimental application to case study shows that the Proposed method can successfully identify requirement overlaps and inconsistency. It can also transfer multi-viewpoint requirement segments into a consistently integrated use-case model to clarify software behaviors and functionality This method helps users to enhance capability to identify specification inconsistency in the use-case modeling at the early stage of software engineering development. The proposed approach can also facilitate communication between users and developers to ensure customer satisfaction.

• Communications for Statistical Applications and Methods
• /
• v.15 no.2
• /
• pp.147-159
• /
• 2008

We consider using ranked set sampling methods to draw inference about the three well-known measures of overlap, namely Matusita's measure $\rho$, Morisita's measure $\lambda$ and Weitzman's measure $\Delta$. Two exponential populations with different means are considered. Due to the difficulties of calculating the precision or the bias of the resulting estimators of overlap measures, because there are no closed-form exact formulas for their variances and their exact sampling distributions, Monte Carlo evaluations are used. Confidence intervals for those measures are also constructed via the bootstrap method and Taylor series approximation.

• MALSORI
• /
• no.56
• /
• pp.225-235
• /
• 2005

Speech unit concatenation with a large database is presently the most popular method for speech synthesis. In this approach, the mismatches at the unit boundaries are unavoidable and become one of the reasons for quality degradation. This paper proposes an algorithm to reduce undesired discontinuities between the subsequent units. Optimal matching points are calculated in two steps. Firstly, the fullback-Leibler distance measurement is utilized for the spectral matching, then the unit sliding and the overlap windowing are used for the waveform matching. The proposed algorithm is implemented for the corpus-based unit concatenating Korean text-to-speech system that has an automatically labeled database. Experimental results show that our algorithm is fairly better than the raw concatenation or the overlap smoothing method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.12C
• /
• pp.1149-1155
• /
• 2007

In this paper, we propose a new overlap and add speech synthesis method which demonstrates improved continuity performance. The proposed method uses a weighted phase error function and minimizes the wave discontinuity of the synthesis signal, rather than the phase discontinuity, to estimate the mid-point phase. Experimental results show that the proposed method improves the continuity between the synthesized signals relative to the existing method.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.15 no.1
• /
• pp.376-385
• /
• 1991

For manufacturing trimming-free plates which have rectangular shaped edges and straight edges in as-rolled state, it is necessary to investigate rolling characteristics of overlap, bulge and width deviation etc. in a standardized plate rolling process. The present wok is for preventing edge overlap as the first approach to develop trimming-free plate rolling technique. An experimental study on overlap control was done with plasticine material in order to examine influence factors and find a control method by use of a laboratory mill scaled down to one tenth of actual production mill. It was found that edge overlapping was increased with the increase of slab thickness and of broadside rolling ratio, but decreased with the increase of chamfered amount on slab edges. In the simulated rolling experiment with edge chamfered slabs of various chamfered angles, the chamfered angle of 60.deg. was the most effective one for reducing overlapping irrespective of slab thickness and of broadside rolling ratio.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2011.11a
• /
• pp.325-330
• /
• 2011

A rotor overlap technique was adapted to improve the performance of a axial turbine. The technique secured sufficient flow passage by additional height at the rotor tip and hub. especially in a supersonic turbine, the technique reduced the chance of chocking in the rotor passage, and made to be satisfied the design pressure ratio. However, the technique also made additional losses, like a pumping loss, expansion loss, etc. Therefore, a optimization technique was appled to maximize the improvement of the turbine performance. An approximate optimization method was used for the investigation to secure the computational efficiency. The design variables was shape factors of a rotor overlap. Results indicated that a significant improvement in turbine performance can be achieved through the optimization of the rotor overlap.

• The Journal of the Acoustical Society of Korea
• /
• v.37 no.2
• /
• pp.110-117
• /
• 2018

In this paper, we propose a low delay window switching MDCT (Modified Discrete Cosine Transform) method for speech/audio coder. The window switching algorithm is used to reduce the degradation of sound quality in non-stationary trasient duration and to reduce the algorithm delay by using the low delay TDAC (Time Domain Aliasing Cancellation). While the conventional window switching algorithms uses overlap-add with different lengths, the proposed method uses the fixed overlap add length. It results the reduction of algorithm delay by half and 1 bit reduction in frame indication information by using 2 window types. We apply the proposed algorithm to G.729.1 based on MDCT in order to evaluate the performance. The propose method shows the reduction of algorithm delay by half while speech quality of the proposed method maintains same as the conventional method.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.11 no.1
• /
• pp.294-306
• /
• 2019

On the basis of the Computational Fluid Dynamics technique (CFD) combined with the overlap grid method, this paper establishes a numerical simulation method to study the problem of ice-propeller interaction in viscous flow and carries out a simulation forecast of the hydrodynamic performance of an ice-class propeller and flow characteristics when in the proximity of milling-shape ice (i.e., an ice block with a groove cut by a high-speed revolving propeller). We use a trimmed mesh in the entire calculation domain and use the overlap grid method to transfer information between the domains of propeller rotation calculation and ice-surface computing. The grid is refined in the narrow gap between the ice and propeller to ensure the accuracy of the flow field. Comparison with the results of the experiment reveals that the error of the hydrodynamic performance is within 5%. This confirms the feasibility of the calculation method. In this paper, we calculate the exciting force of the propeller, analyze the time domain of the exciting force, and obtain the curve of the frequency domain using a Fourier transform of the time-domain curve of the exciting force. The existence of milling-shape ice before the propeller can greatly disturb the wake flow field. Unlike in open water, the propeller bearing capacity shows a downward trend in three stages, and fluctuating pressure is more disordered near the ice.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.04b
• /
• pp.400-407
• /
• 1995

The straightness property is one of fundamental geometric tolerances to be strictly controlled for guideways of machine tools and measuring machines. The staightness measurement for long guideways was usually difficult to perform, and it needed additional equipments or special treatment with limited application. In this paper, a new approach is proposed using the profile matching technique for the long guideways, which can be applicable to most of straghtness measurements. An edge of relativelly sthort length is located along a divided section of a long guideway, and the local straightness measurement is performed. The edge is then moved to the next section with several positions overlap. After thelocal straightness profile is measured for every section along the long guideway with overlap, the global straightness profile is constructed using the profile matching technique based on theleast squares method. The proposed techinique is numerically tested for two cases of known global straightness profile arc profile and irregular profile and those profiles with and without random error intervention, respectively. When norandom errors are involved, the constructed golval profile is identical to the original profile. When the random errors are involved, the effect of the number of overlap points are investigated, and it is also found that the difference between the difference between the constructed and original profiles is very close to the limit of random uncertainty with juist few overlap points. The developed technique has been practically applied to a vertical milling machine of moving table type, and showed good performance. Thus the accuracy and efficiency of the proposed method are demonstrated, and shows great potential for variety of application for most of straightness measuirement cases using straight edges, laser optics, and angular measurement equipments.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• v.y2004m10
• /
• pp.39-44
• /
• 2004

A heat and room temperature construction method of asphalt have been mainly applying to rooftop waterproofing in concrete structure, and the rest construction method are sheet, membrane and mortar waterproofing construction method. In particular, joint method in sheet waterproof method is as overlap joint which on being reinforced with fiber and tape, have been applying for job site to mechanical fix using protection disk and anchorage and metal ironwork on the end of sheet. These construction method cause cutting off joint of sheet as behavior of structure according to repairs of sheet itself and thermal conduct, outdoor air environment. In conclusion, we analyzed and examined the application of various sheets and piece ashes about superior 'I' joint which divide from one and the other sheet and progressed about joint construction method of fixing method for overlap.