• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.803-810
• /
• 2017

Recently, social security problems have been caused by the development of the software industry, and a variety of automation techniques have been used to verify software stability. In this paper, we propose a method of automatically detecting a use-after-free vulnerability on Windows system calls using dynamic symbolic execution, one of the software testing methods. First, a static analysis based pattern search is performed to select a target point. Based on the detected pattern points, we apply an induced path search technique that blocks branching to areas outside of interest. Through this, we overcome limitations of existing dynamic symbolic performance technology and verify whether vulnerability exists at actual target point. As a result of applying the proposed method to the Windows system call, it is confirmed that the use-after-free vulnerability, which had previously to be manually analyzed, can be detected by the proposed automation technique.

• Geomechanics and Engineering
• /
• v.12 no.5
• /
• pp.831-847
• /
• 2017

Conventional geotechnical engineering soil binders such as ordinary cement or lime have environmental issues in terms of sustainable development. Thus, environmentally friendly materials have attracted considerable interest in modern geotechnical engineering. Microbial biopolymers are being actively developed in order to improve geotechnical engineering properties such as aggregate stability, strength, and hydraulic conductivity of various soil types. This study evaluates the geotechnical engineering shear behavior of sand treated with xanthan gum biopolymer through laboratory direct shear testing. Xanthan gum-sand mixtures with various xanthan gum content (percent to the mass of sand) and gel phases (initial, dried, and re-submerged) were considered. Xanthan gum content of 1.0% sufficiently improves the inter-particle cohesion of cohesionless sands 3.8 times and more (up to 14 times for dried state) than in the untreated (natural) condition, regardless of the xanthan gum gel condition. In general, the strength of xanthan gum-treated sand shows dependency with the rheology and phase of xanthan gum gels in inter-granular pores, which decreases in order as dried (biofilm state), initial (uniform hydrogel), and re-submerged (swollen hydrogel after drying) states. As xanthan gum hydrogels are pseudo-plastic, both inter-particle friction angle and cohesion of xanthan gum-treated sand decrease with water adsorbed swelling at large strain levels. However, for 2% xanthan gum-treated sands, the re-submerged state shows a higher strength than the initial state due to the gradual and non-uniform swelling behavior of highly concentrated biofilms.

• Journal of the Korea Convergence Society
• /
• v.11 no.4
• /
• pp.33-39
• /
• 2020

Interest in 5G communication security has been growing recently amid growing expectations for 5G technology with faster speed and stability than LTE. However, 5G has so far included disparate areas, so it has not yet fully supported the issues of security. This paper proposes a blockchain-based IoT management model in order to efficiently provide the authentication of users using IoT in 5G In order to efficiently fuse the authentication of IoT users with probabilistic theory and physical structure, the proposed model uses two random keys in reverse direction at different layers so that two-way authentication is achieved by the managers of layers and layers. The proposed model applied blockchain between grouped IoT devices by assigning weights to layer information of IoT information after certification of IoT users in 5G environment is stratified on a probabilistic basis. In particular, the proposed model has better functions than the existing blockchain because it divides the IoT network into layered, multi-layered networks.

• Culinary science and hospitality research
• /
• v.15 no.4
• /
• pp.212-226
• /
• 2009

This study attempted to analyze the correlation between financial ratio and operating performance of foodservice companies, using the financial data by DART service. Financial ratio is an index to identify the management of foodservice companies from calculating the ratio associating two accounts in the financial statements. Managers, creditors and investors often have different purposes for using the ratio analysis to evaluate the contents of the financial statements. According to the analysis of financial ratio and operating performance, listed food and beverage companies proved to have a high correlation in all except for interest coverage. However, foodservice companies showed a high correlation in stability and growth ratio. Therefore, managers of the foodservice companies will need to improve operating performance for using efficient utilization plans of debt from assets and operating expenses(cost of goods sold, general and other expenses).

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.19 no.9
• /
• pp.116-121
• /
• 2020

In recent times, fuel economy enhancement and environmental regulation compliance have become the main topics of interest in the automobile industry. Electric vehicles are desirable alternatives to the existing cars that employ internal combustion engines. Specifically, electric vehicles are equipped with inverters, motors, and a gearbox instead of engines and transmission mechanisms. The gearbox is a key component, used to transmit power from the electric motor to the wheel. Therefore, the design of the gearbox is critical. However, most engineers design gears based only on their experience because no standards pertaining to the design factor exist, other than those for the gear ratios. To overcome this problem, the structural stabilities must be examined considering the design factors of the gears. In this study, we considered the module and number of teeth as the main factors. The constraints corresponded to the final gear ratio and fixed distance between each axle of the shafts. Moreover, a structural analysis was conducted, and the variation trend of the maximum equivalent stress against changes in the gear module and number of teeth was examined. By performing such an analysis, the structural stability in the design of a gear system could be effectively investigated.

• Science of Emotion and Sensibility
• /
• v.9 no.spc3
• /
• pp.235-241
• /
• 2006

This paper predict user acceptance of smart clothing. The present research develops and validates new products for smart clothing. Studies suggest that further analysis of the process be undertaken to better establish properties for smart clothing, underlying structures and stability over innovative technologies. The findings reported in this paper should be useful methods which identify user needs. such findings in now provide a way to explain technology acceptance. Both of qualitative and quantitative methods, were applied to this study in order to find out user needs for smart clothing. We are writing scenarios and conducting both focused group interviews and a survey to assess the user's interest. The purpose of the survey is to evaluate the importance of the functions and to evaluate the degree of the participant's feeling and attitude. Furthermore, we explore the nature and specific influences of factors that may affect the user perception and usage.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 2011.10a
• /
• pp.29.1-29.1
• /
• 2011

The selective catalytic reduction (SCR) of $MnO_x$ with $NH_3$ is an effective method for the removal of $MnO_x$ from stationary system. The typical catalyst for this method is $V_2O_5-WO_3(MoO_3)/TiO_2$, caused by the high activity and stability. However, This catalyst is active within $300{\sim}400^{\circ}C$ and occurs the pore plugging from the deposition of ammonium sulfate salts on the catalysts surface. It needs to locate the SCR unit after the desulfurizer and electrostatic precipitator without reheating of the flue gas as well as deposition of dust on the catalyst. The manganese oxides supported on titania catalysts have attracted interest because of its high SCR activity at low temperature. The catalytic activity of $MnO_x/TiO_2$ SCR catalyst with different manganese precursors have investigated for low-temperature SCR in terms of structural, morphological, and physico-chemical analyses. The $MnO_x/TiO_2$ were prepared from three different precursors such as manganese nitrate, manganese acetate (II), and manganese acetate (III) by the sol-gel method and then it calcinated at $500^{\circ}C$ for 2 hr. The structural analysis was carried out to identify the phase transition and the change intensity of catalytic activity by various manganese precursors was analyzed by FT-IR and Raman spectroscopy. These different precursors also led to various surface Mn concentrations indicated by SEM. The Mn acetate (III) tends to be more suppressive the crystalline phase (rutile), and it has not only smaller particle size, but also better distributed than the others. It was confirmed that the catalytic activity of MA (III)-$MnO_x/TiO_2$ was the highest among them.

• Proceedings of the Korean Society of Near Infrared Spectroscopy Conference
• /
• 2001.06a
• /
• pp.1082-1082
• /
• 2001

Extrusion is one of the most important processes in polymer industry. The characterization of the polymer melt during processing will improve this process noticeably, One possibility of characterizing the actual processed polymer melt is the inline near infrared (NIR) spectroscopy, With this method several polymer properties can be observed during processing, e.g. composition, moisture ormechanical properties of the melt. For this purpose probes for transmission and reflection measurements have been developed, withstanding the high temperatures and pressures appearing during extrusion process (tested up to 300$^{\circ}C$ and 10 ㎫). For the transmission system an optical bypass was developed to eliminate disturbing spectral influences and hence increase the long term stability, which is the prerequisite for an industrial application. Measurements in transmission and reflection produced comparable results (or blending processes, where the prediction error was less than 1%. An optimum RMSEP of only 0.24% was found for preprocessed polymer blends measured in transmission on a laboratory extruder. A transflection measurement allowed for the first time the recording of relevant NIR-spectra in the screw area of an extruder. The application to a (PE+PP) blending process delivered promising results. This new measurement mode allows the observation of the ongoing processes within the screw area, which is of maximum Interest for reactive extrusion processes. Due to economic reasons the calibration transfer between different extrusion systems is also of high importance. Investigations on simulated and real-world spectra showed that a calibration transfer is possible. A new method alternatively to the well-known direct standardization procedures was developed, which is based on an automatic data pretreatment. This procedure delivers comparable results for the calibration transfer. Overall this paper presents concepts, components and algorithms for the inline near infrared (NIR) spectroscopy for polymer extrusion, which allows the use of it in a real industrial extrusion process.

• Microbiology and Biotechnology Letters
• /
• v.29 no.1
• /
• pp.1-11
• /
• 2001

Lactic acid bacteria (LAB) are widely used for various food fermentation. With the recent advances in modern biotechnology, a variety of bio-products with the high economic values have been produced using microorganisms. For molecular cloning and expression studies on the gene of interest, E. coli has been widely used mainly because vector systems are fully developed. Most plasmid vectors currently used for E, coli carry antibiotic-resistant markers. As it is generally believed that the antibiotic resistance markers are potentially transferred to other bacteria, application of the plasmid vectors carrying antibiotic resistance genes as selection markers should be avoided, especially for human consump-tion. By contrast, as LAB have some desirable traits such that the they are GRAS(generally recognized as safe), able to secrete gene products out of cell, and their low protease activities, they are regarded as an ideal organism for the genetic manipulation, including cloning and expression of homologous and heterologous genes. However, the vec-tor systems established for LAB are stil insufficient to over-produce gene products, stably, limiting the use of these organisms for industrial applications. For a past decade, the two popular plasmid vectors, pAM$\beta$1 of Streptococcus faecalis and pGK12 theB. subtilis-E. coli shuttle vector derived from pWV01 of Lactococcus lactis ssp. cremoris wg 2, were most widely used to construct efficient chimeric vectors to be stably maintained in many industrial strains of LAB. Currently, non-antibiotic markers such as nisin resistance($Nis^{r}$ ) are explored for selecting recombi-nant clone. In addition, a gene encoding S-layer protein, slp/A, on bacterial cell wall was successfully recombined with the proper LAB vectors LAB vectors for excretion of the heterologous gene product from LAB Many food-grade host vec-tor systems were successfully developed, which allowed stable integration of multiple plasmid copies in the vec-mosome of LAB. More recently, an integration vector system based on the site-specific integration apparatus of temperate lactococcal bacteriophage, containing the integrase gene(int) and phage attachment site(attP), was pub-lished. In conclusion, when various vector system, which are maintain stably and expressed strongly in LAB, are developed, lost of such food products as enzymes, pharmaceuticals, bioactive food ingredients for human consump-tion would be produced at a full scale in LAB.

• Journal of Animal Science and Technology
• /
• v.58 no.5
• /
• pp.20.1-20.11
• /
• 2016

The present review has mainly focused on the specific parameters including aging (aging days, temperature, relative humidity, and air flow), eating quality (flavor, tenderness and juiciness), microbiological quality and economic (shrinkage, retail yields and cost) involved beef dry aging process. Dry aging is the process where beef carcasses or primal cuts are hanged and aged for 28 to 55 d under controlling environment conditions in a refrigerated room with $0^{\circ}$ to $4^{\circ}C$ and with relative humidity of 75 to 80 %. However there are various opinions on dry aging procedures and purveyors of such products are passionate about their programs. Recently, there has been an increased interest in dry aging process by a wider array of purveyors and retailers in the many countries. Dry aging process is very costly because of high aging shrinkage (6 to 15 %), trims loss (3 to 24 %), risk of contamination and the requirement of highest grades meat with. The packaging in highly moisture-permeable bag may positively impact on safety, quality and shelf stability of dry aged beef. The key effect of dry aging is the concentration of the flavor that can only be described as "dry-aged beef". But the contribution of flavor compounds of proteolysis and lipolysis to the cooked dry aged beef flavor is not fully known. Also there are limited scientific studies of aging parameters on the quality and palatability of dry aged beef.