• Journal of the Korea Concrete Institute
• /
• v.15 no.1
• /
• pp.25-34
• /
• 2003

The degradation of reinforced concrete (RC) structures due to physical and chemical attacks has been a major issue in construction engineering. Deterioration of RC structures by chloride attack followed by reinforcement corrosion is one of the serious problems. An objective of this study is to develop a form of mathematical model of chloride ingress into concrete. In order to overcome some limits of the previous approaches, a chloride ingress model, consisting of chloride solution intrusion through the capillary pore and chloride ion diffusion through the pore water, was proposed. Moreover, the variability of chloride ion diffusivity due to the degree of hydration of cement, relative humidity in pore, exposure condition, and variation of chloride binding, was considered in the model. In order to verify the proposed model, the results predicted by the proposed model were compared with analysis results of Life-365, a computer program for predicting the service life of reinforced concrete structures exposed to chlorides. In conclusion, the proposed model would be promising to predict the chloride ion profile and to estimate the service life of RC structures.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.2
• /
• pp.195-204
• /
• 2020

To help solve the problems of how to set the optimal sawing force and the optimal controller parameters for different sawing conditions, a mathematical model of a proposed sawing system was established according to the principle of sawing force control. The conventional PID control method was then used for further research of the closed-loop control of the sawing force. Finally, through simulation and experimental research, the influence rule of the controller parameters and sawing load on the control performance and the relationships between the sawing width and controller parameters (proportion coefficient) and the sawing force setting value were obtained, from which a system scheme for intelligent sawing control of a band sawing machine was proposed. The research shows that the sawing efficiency of the intelligent sawing system was 18.1 (48%) higher than that of the original sawing system when sawing a grooved section sawing material, which verifies the good control effect of the proposed scheme.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.52 no.1
• /
• pp.32-39
• /
• 2015

The voice communications with wireless backbone based networks are evolving into a packet switching VoIP systems. In those networks, a call processing scheme is required for management of subscribers and connection between them. A VoIP service scheme for those systems requires reliable subscriber management and connection establishment schemes, but the conventional call processing schemes based on the centralized server has lack of reliability. Thus, the mutual-backup architecture of SIP-servers is required to ensure efficient subscriber management and reliable VoIP call processing capability, and the synchronization and call processing schemes should be changed as the architecture is changed. In this paper, a mutual-backup architecture of SIP-servers is proposed for wireless backbone based networks. A message format for synchronization and information exchange between SIP servers is also proposed in the paper. This paper also proposes a FSM scheme for the fast call processing in unreliable networks to detect multiple servers at a time. The performance analysis results show that the mutual backup server architecture increases the call processing success rates than conventional centralized server architecture. Also, the FSM scheme provides the smaller call processing times than conventional SIP, and the time is not increased although the number of SIP servers in the networks is increased.

• KOREAN JOURNAL OF PACKAGING SCIENCE & TECHNOLOGY
• /
• v.20 no.3
• /
• pp.97-102
• /
• 2014

It was mathematically analyzed at which steps to activate TTI in the cold chain for Alaska pollack, assuming that the performance of a commercial TTI product, and Fresh-check, could not always be optimized for the pollack. Three places were selected for the TTI activation, such as on fishing ship, Busan cooperative fish market, and mart. First, the kinetic and Arrhenius temperature dependent models were experimentally built under isothermal conditions. The color index of TTI and the level of Pseudomonas spp. of pollack were measured at time intervals. Second, the resultant models were used in the mathematical calculations for dynamic temperature conditions included in the cold chain. As a result, the TTI activated at the mart place showed the best agreement between the spoilage time of the pollack and the time for the TTI color to reach its end-point. It was therefore found that it is practically important to optimally select the TTI activation place or time when using a commercial TTI product.

• Journal of Navigation and Port Research
• /
• v.34 no.6
• /
• pp.479-485
• /
• 2010

To handle container effectively is one of the most important factors in a port because working time is linked soon into cost. Since the middle of 1990s, RMGC(Rail-Mounted Gantry Crane) and RTGC(Rubber-Tired Gantry Crane) have been developed and widely used to operate containers in the yard. The RTGC is more difficult than RMGC in the automatic control system design. Although, the RTGC is largely advantaged to free driving environment, it has some considerable disadvantages in the system operating. In general, the problems are due to tire slip and lack of tire pressure etc. Therefore, a desirable research result has not been shown in this time. So, in this paper, we propose a new approach to design tracking control system for the RTGC in which the mathematical modeling is included. From the simulation results, the control performance of the designed control systems is evaluated.

• Clean Technology
• /
• v.23 no.2
• /
• pp.163-171
• /
• 2017

Currently, researches on recycling and reuse of waste energetic materials have recently gained a great attention from advanced countries due to ever tightening environmental regulations. In this study, as a part of a recycling technology, the experiments and dynamic simulation of simulated moving bed (SMB) process were performed to efficiently separate TNT and RDX from their mixture, which are main components of ammunition. In order to determine the operation zone of SMB process, the retention times of TNT and RDX were measured using HPLC at different flow rates and the adsorption equilibrium of each component was obtained by using a moment method. According to the adsorption equilibrium and the triangle theory of SMB process, four operation points were determined and separation experiments were carried out by the SMB process using the solvent consisting of acetonitrile and water. Two different mixing ratios (6:4 and 1:1) of acetonitrile and water were chosen for the experiment due to the great impact of mixing ratio of the solvent on separation. The performance of SMB process was evaluated by purity, recovery, productivity and solvent consumption. Pure TNT and RDX were successfully obtained from the SMB process and the dynamic simulation for the SMB process agreed well with the experimental results. Therefore, the dynamic model could be applied for predicting the dynamic behavior of the SMB process and designing a large scale SMB process.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.43 no.2 s.308
• /
• pp.21-32
• /
• 2006

The license plate recognition (LPR) unit consists of the following core components: plate region segmentation, individual character extraction, and character recognition. Out of the above three components, accuracy in the performance of plate region segmentation determines the overall recognition rate of the LPR unit. This paper proposes an algorithm for segmenting the license plate region on the front or rear of a vehicle in a fast and accurate manner. In the case of the proposed algorithm images are captured on the spot where unmanned monitoring of illegal parking and stowage is performed with a variety of roadway environments taken into account. As a means of enhancing the segmentation performance of the on-the-spot-captured images of license plate regions, the proposed algorithm uses a mathematical model for license plate colors to convert color images into digital data. In addition, this algorithm uses Gaussian smoothing and double threshold to eliminate image noises, one-pass boundary tracing to do region labeling, and MBR to determine license plate region candidates and extract individual characters from the determined license plate region candidates, thereby segmenting the license plate region on the front or rear of a vehicle through a verification process. This study contributed to addressing the inability of conventional techniques to segment the license plate region on the front or rear of a vehicle where the frame of the license plate is damaged, through processing images in a real-time manner, thereby allowing for the practical application of the proposed algorithm.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.6
• /
• pp.1259-1270
• /
• 2019

The upper bound of differential characteristic probability is mainly used to determine the number of rounds when constructing a block cipher. As the number of rounds affects the performance of block cipher, it is critical to evaluate the tight upper bound in the constructing process. In order to calculate the upper bound of differential characteristic probability, the previous searching methods for minimum number of active S-boxes constructed constraint equations for non-linear operations and linear operations, independently. However, in the case of BOGI design strategy, where linear operation is dependent on non-linear operation, the previous methods may present the less tight upper bound. In this paper, we exploit the properties of BOGI strategy to propose a new method to evaluate a tighter upper bound of differential characteristic probability than previous ones. Additionally, we mathematically proved the validity of our method. Our proposed method was applied to GIFT-64 and GIFT-128, which are based on BOGI strategy, and the upper bounds of differential characteristic probability were derived until 9 round. Previously, the upper bounds of differential characteristic probability for 7-round GIFT-64 and 9-round GIFT-128 were 2^-18.395 and 2^-26.885, respectively, while we show that the upper bounds of differential characteristic probability are more tight as 2^-19.81 and 2^-28.3, respectively.

• The Journal of the Acoustical Society of Korea
• /
• v.43 no.3
• /
• pp.361-367
• /
• 2024

Ultrasound in the air is widely used in industry as a measurement technique to prevent abnormalities in the machinery. Recently, the use of airborne ultrasound imaging techniques, which can find the location of abnormalities using an array transducers, is increasing. A beamforming method that uses the phase difference for each sensor is used to visualize the location of the ultrasonic sound source. We exploit a random sparse ultrasonic array and obtain beamforming power distribution on the source in a certain distance away from the array. Conventional beamforming methods inevitably have limited spatial resolution depending on the number of sensors used and the aperture size. A high-resolution ultrasound imaging technique was implemented by applying functional beamforming as a method to overcome the geometric constraints of the array. The functional beamforming method can be expressed as a generalized beam forming method mathematically, and has the advantage of being able to obtain high-resolution imaging by reducing main-lobe width and side lobes. As a result of observation through computer simulation, it was verified that the resolution of the ultrasonic source in the air was successfully increased by functional beamforming using the ultrasonic sparse array.

• Korean Journal of Agricultural Science
• /
• v.10 no.2
• /
• pp.334-344
• /
• 1983

This study was conducted to investigate the variables affecting the performance of hammer mills by the theoretical and dimensional analysis, and evaluate the power requirements of hammer mills for farm use in Korea. From the theoretical analysis, 16 variables affecting the performance of hammer mills were defined. In order to develop the mathematical relationships among the variables, the dimensional analysis was made for power requirements and $12{\pi}$ parameters were obtained. For the evaluation of the power requirements of hammer mills, approximate rates of grinding for 1HP, 3HP, 5HP, 6HP, 8HP, and 10HP were analyzed. Then, the fineness of grinding recommendation and average feeding rate of grain for livestock which is native cattle, dairy cattle, beef cattle, swine, broilers, and layers, were estimated. Finally number of livestock feeding shelled corn and barley were estimated from the above for one hour's hammer mill operation having the various power requirements. From this study it is known that 5HP is considered as an enough power for feed grinding of any kinds of livestock of Korean farm, as far as the grinding capacity is concerned.