• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.27 no.3
• /
• pp.326-333
• /
• 2003

In the measurement using DMA and CPC in series, there is some time delay for particles classified in DMA to detect in CPC. During this time, the DMA time-response changes due to the velocity profile of sampling tube and the diffusion of particles in the volume that exists between the DMA exit and the detector of ultra-fine CPC. This is called mixing effect. In the accelerated measurement methods like the TSI -SMPS, the size distribution is obtained from the correlation between the time-varying electrical potential of the DMA and the corresponding particle concentrations sampled in DMA. If the DMA time -response changes during this delay time, this can cause the error of a size distribution measured by this accelerated technique. The kernel function considering this mixing effect using the residence time distribution is proposed by Russell et al. In this study, we obtained a size distribution using this kernel to compare to the result obtained by the commercial accelerated measurement system, TSI -SMPS for verification and considered the errors that result from the mixing effect with the geometric mean diameters of originally sampled particles, using virtually calculated responses obtained with this kernel as input data.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.1
• /
• pp.77-86
• /
• 1996

In managing a certain database, the integrity of data is very important. The important. The integrity constrains thus should be considered carefully when a database is designed and, after the database is created, it is required for a database manager to check continuously if some data contained in the database violate the integrity constraints considered. It is however not easy to check the violateion of integrity constraints when the size and the complexity of database are increased. This paper suggests a rule-based database verification system to relax the difficulty of checking the integrity violation, in which a database is coupled with a rule-based system including the knowledge about the integrity constraints. The rule-database verification system suggested accepts the model descriptions of an application domain, generates the knowledge base consisting of rules and facts by analyzing the model description and proceeds the verification process to check the integrity of the database.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.3
• /
• pp.378-383
• /
• 2020

Viola & Jones' object detection algorithm is a very good algorithm for the face component(FC) detection, but there are still problems such as duplicate detection, false detection and non-detection due to parameter setting. This paper proposes an improved FC detection algorithm that applies the variable parameter to reduce non-detection and the verification to reduce duplicate detection and false detection to the Viola & Jones' algorithm. The proposed algorithm reduces the non-detection by changing the parameter value of the Viola & Jones' algorithm until the potential valid FCs are detected, and eliminates the duplicate detection and the false detection by using the verification that evaluates size, position, and uniqueness of the detected FCs. Simulation results show that the proposed algorithm includes valid FCs in the detected objects and then detects only the valid FCs by removing invalid FCs from them.

• The Journal of the Acoustical Society of Korea
• /
• v.40 no.2
• /
• pp.148-154
• /
• 2021

Text-Independent speaker verification needs to extract text-independent speaker embedding to improve generalization performance. However, deep neural networks that depend on training data have the potential to overfit text information instead of learning the speaker information when repeatedly learning from the identical time series. In this paper, to prevent the overfitting, we propose a segment unit shuffling layer that divides and rearranges the input layer or a hidden layer along the time axis, thus mixes the time series information. Since the segment unit shuffling layer can be applied not only to the input layer but also to the hidden layers, it can be used as generalization technique in the hidden layer, which is known to be effective compared to the generalization technique in the input layer, and can be applied simultaneously with data augmentation. In addition, the degree of distortion can be adjusted by adjusting the unit size of the segment. We observe that the performance of text-independent speaker verification is improved compared to the baseline when the proposed segment unit shuffling layer is applied.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.792-795
• /
• 1996

In TIG welding of pipe, back bead size monitoring is important for weld quality assurance. Many researches have been performed on estimation of the back bead size by heat conduction analysis. However numerical conduction model based on many uncertain thermal parameters causes remarkable errors and thermomechanical phenomena in molten pool can not be considered. In this paper, filler wire feeding force in addition to weld current, wire feedrate, torch travel speed and orbital position angle is monitored to estimate back bead size in orbital TIG welding. Monitored welding process variables are fed into an artificial neural network estimator which has been trained with the monitored process variables (input patterns) and actual back bead size (output patterns). Experimental verification of the proposed estimation method was performed. The predicted results are in a good agreement with the actual back bead shape. The results are quite promising in that estimation of invisible back bead shape can be achieved by analyzing the welding parameters without any conventional NDT of welds.

• Journal of Advanced Marine Engineering and Technology
• /
• v.28 no.7
• /
• pp.1072-1081
• /
• 2004

This paper is to investigate on the effects of the hole size of spring type EFV(excessive flow valve) for automobiles The analytical and experimental methods were employed to measure the discharge coefficient. choked flowrate and Pressure wave in a bombe, line and vaporizor The size of EFV was determined to meet the legally permitted limits with the capacity of engine displacement up to 2000cc, according to the obtained discharge coefficient. The Purpose of this paper is 1) to find causes of bad acceration performance in LPG engines 2) to find optimal design determination of spring coefficient and orifice hole size of excessive flow valve in LPG engine 3) to find pressure wave of bombe, line and vaporizer through expeimental verification. Experimental results indicated that increase of orifice size 0.5mm to 1mm be caused to increase discharge coefficient, and choked flow rate and decrease operation range of difference pressure wave.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.10
• /
• pp.410-417
• /
• 2018

System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

• Atmosphere
• /
• v.21 no.2
• /
• pp.197-208
• /
• 2011

The objective of this study is to describe the short-range forecast system of the Korea Air Force (KAF) and to verificate its performace in 2009 summer. The KAF weather prediction model system, based on the Weather Research and Forecasting (WRF) model (i.e., the KAF-WRF), is configured with a parent domain overs East Asia and two nested domains with the finest horizontal grid size of 2 km. Each domain covers the Korean peninsula and South Korea, respectively. The model is integrated for 84 hour 4 times a day with the initial and boundary conditions from National Centers for Environmental Prediction (NCEP) Global Forecast System (GFS) data. A quantitative verification system is constructed for the East Asia and Korean peninsula domains. Verification variables for the East Asia domain are 500 hPa temperature, wind and geopotential height fields, and the skill score is calculated using the difference between the analysis data from the NCEP GFS model and the forecast data of the KAF-WRF model results. Accuracy of precipitation for the Korean penisula domain is examined using the contingency table that is made of the KAF-WRF model results and the KMA (Korea Meteorological Administraion) AWS (Automatic Weather Station) data. Using the verification system, the operational model and parallel model with updated version of the WRF model and improved physics process are quantitatively evaluated for the 2009 summer. Over the East Aisa region, the parallel experimental model shows the better performance than the operation model. Errors of the experimental model in 500 hPa geopotential height near the Tibetan plateau are smaller than errors in the operational model. Over the Korean peninsula, verification of precipitation prediction skills shows that the performance of the operational model is better than that of the experimental one in simulating light precipitation. However, performance of experimental one is generally better than that of operational one, in prediction.

• The KIPS Transactions:PartA
• /
• v.12A no.6 s.96
• /
• pp.523-530
• /
• 2005

When a PCI 2.2 bus master requests data using Memory Read command, a target device may hold PCI bus without data to be transferred for long time because a target device needs time to prepare data infernally. Because the usage efficiency of the PCI bus and the data transfer efficiency are decreased due to this situation, the PCI specification recommends to use the Delayed Transaction mechanism to improve the system performance. But the mechanism cann't fully improve performance because a target device doesn't know the exact size of prefetched data. In the previous work, we propose a new method called Prefetch Request when a bus master intends to read data from the target device. In this paper, we design PCI 2.2 controller and local device that support the proposed method. The designed PCI 2.2 controller has simple local interface and it is used to convert the PCI protocol into the local protocol. So the typical users, who don't know the PCI protocol, can easily design the PCI target device using the proposed PCI controller. We propose the basic behavioral verification, hardware design verification, and random test verification to verify the designed hardware. We also build the test bench and define assembler instructions. And we propose random testing environment, which consist of reference model, random generator ,and compare engine, to efficiently verify corner case. This verification environment is excellent to find error which is not detected by general test vector. Also, the simulation under the proposed test environment shows that the proposed method has the higher data transfer efficiency than the Delayed Transaction about $9\%$.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.456-461
• /
• 2011

Recently the design specification has been advanced with preventing earthquake disaster in Korea because of increasing occurrence of large size earthquake. A composite plate with ductile fiber is proposed, which can enhance the performance of built tunnel in both strength and ductility. This study is to focus to verify the effect of strengthening of existing tunnels which is built without earthquake type load scenario, so that it can provide the safety of existing urban subway system against earthquakes.