• The KIPS Transactions:PartA
• /
• v.15A no.1
• /
• pp.45-52
• /
• 2008

In this paper we define a vulnerable code to symbolic link exploit and propose a technique to detect this using program analysis. The existing methods to solve symbolic link exploit is for protecting it, on accessing a temporary file they should perform an investigation whether the file is attacked by symbolic link exploit. If programmers miss the investigation, the program may be revealed to symbolic link exploit. Because our technique detects all the vulnerable codes to symbolic link exploit, it helps programmers keep the program safety. Our technique add two type qualifiers to the existing type system to analyze vulnerable codes to symbolic link exploit, it detects the vulnerable codes using type checking including the added type qualifiers. Our technique detects all the vulnerable codes to symbolic link exploit automatically, it has the advantage of saving costs of modifying and of overviewing all codes because programmers apply the methods protecting symbolic link exploit to only the detected codes as vulnerable. We experiment our analyzer with widely used programs. In our experiments only a portion of all the function fopen() is analyzed as the vulnerabilities to symbolic link exploit. It shows that our technique is useful to diminish modifying codes.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37B no.12
• /
• pp.1195-1207
• /
• 2012

Fast and reliable message broadcasting is critical for safety critical applications of VANET due to the urgency and/or significance of the messages for passengers and drivers. For reliable message delivery, a mechanism for checking the reception of message at the neighboring vehicles and retransmitting it if necessary is required. Especially, in urban environments, where the traffic density tends to be high, mechanisms that minimize control message overhead such as beacon are appropriate in order to minimize the message collisions. Furthermore, broadcast delivery is especially difficult at the intersection due to the road side obstacles such buildings, and hence, a mechanism that enables effective and efficient delivery across intersections is required. In this paper, we propose a beaconless reliable and efficient broadcast approach which specifically taking into account the urban streets. The proposed approach checks the message reception of neighboring vehicles implicitly by taking into account the broadcast of message by next vehicle as the acknowledgement. When retransmissions is necessary around the intersections, vehicles located within the intersection area, where the chance of successful signal propagation toward every branch of the intersection is higher due to less signal attenuation caused by road side obstacles, are to do the retransmissions. Simulation results show that the proposed approach can provide better reliability while consume less resources than the existing approaches.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.9
• /
• pp.492-500
• /
• 2018

The performance evaluation of cold weather clothing is mainly carried out with thermal resistance. However, the results of the revised test method regarding the same specimen were decreased compare to previous one. In addition, there were deviations of the results among the authorized testing institutes according to the different interpretation of the KS test method. This makes it a considerable difficulty to the quality assurance of combat supplies. The purpose of this study is to minimize the variation of the results before and after the revision by analyzing the cause of the decrease in the heat insulation rate according to the revised test method. For this purpose, the difference between the test conditions before and after the revision of KS is analyzed and the possible results are reviewed. In addition, we want to minimize the result deviation between testing laboratories by analyzing the cause of the result deviation between test laboratories according to arbitrary interpretation of the standard. Based on this, we propose a standardized test method to prevent the decrease of the heat insulation rate by checking the pre-revision test method and the condition with the least deviation.

• Journal of the Korean Society of Food Culture
• /
• v.18 no.2
• /
• pp.139-150
• /
• 2003

The objective of this study consists in promoting seafood consumption by increasing its intake opportunities for children through analysis of seafood using frequency in the elementary school lunch program. For that purpose, randomly sampled out from elementary schools through the county were 155 dietitians and 5th grade 3581 children, on whom a mail survey was conducted to analyse their seafood using frequency, and preference, and lunch menu by seasons. Results of this study are as follows : The seafood using frequency of the respondents represented the highest value in one or two times a week, while obstacles in seafood use presented high values in the safety of food by 71.6% and children preference by 68.4%. The seafood intake frequency of the respondents showed the highest value in three or four times a week by 34.5% and the places of seafood intake indicated the highest response in the home by 43.5% and then school lunch and dining out. The dietitians responded that children for the most part had not a preference for seafood, whereas the children pointed out average by 46.2%. As for reasons for avoidance of seafood, the dietitians expressed the highest response in it depends cooking methods by 45.8%, while the children because of its peculiar taste and smell by 42.1%. Their required improvement showed the highest response in the taste improvement by 51.8%. The children most preference for seafood that dietitians thought included fried Alaska pollack and shrimp cutlet, while dislikes braised mackerels and seasoned cold jelly fish. Cooking methods frequently used were represented in order of soup, hot soup, and stew, and the children's preferred cooking method was from fried food. Above results suggested that the intention to increase seafood using frequency is needed to at the time of planning the menus so that more seafood-providing opportunities can be given. The development of cooking methods is urgently needed that can change the taste or the smell of seafood, and concurrently with this conveniences be taken into account in eating such as elimination of bones, etc. as early as the states of purchase or checking of seafood. The reflection of the preferred cooking methods is thought to contribute to the enhancement of satisfaction with the seafood as well as to the reduction of food remnants. The recommendation of intake of low preference but nutritionally good seafood is required to be expanded in nutrition education.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.8
• /
• pp.5513-5521
• /
• 2015

There is an operational efficiency problem about wayside equipment applied to the domestic low-density branch as the equipment has been installed and operated similarly in the mainline. On-board oriented train control system, which has been developed for train safety and operation efficiency, ensures safe train operation without expensive ground control signal devices. Such system consists of on-board control system, wayside control system, and local control system. In this paper, the details of tests such as suitability test, communication test, and interface test are described by installing the on-board control system and wayside control system in field. Installation tests include checking power, voltage, cable connection, LED status, etc. Field applicability of the developed system is also verified through the dynamic operation tests with diverse scenarios, which are performed on the virtual line similar to the real environment including switch machine and level crossing gate. Dynamic operation tests were conducted for total 7 scenarios, and several tests were repeated for each scenario. The elapsed time for each operation was computed by analyzing main process log, and we could check that each operation was accomplished within several seconds. Furthermore, the developed system was verified through field test with an accredited institute, and testing certificates were issued.

• Journal of the Korean Geosynthetics Society
• /
• v.16 no.4
• /
• pp.83-92
• /
• 2017

This paper deals with numerical analysis of behavior of curved mechanically stabilized earth(MSE) walls with geosynthetics reinforcement. Unlike typical concrete retaining walls, MSE wall enables securing stability of higher walls without being constrained by backfill height and is currently and widely used to create spaces for industrial and residential complexes. The design of MSE walls is carried out by checking external stability, similarly to the external checks of conventional retaining wall. In addition, internal stability check is mandatory. Typical stability check based on numerical analysis is done assuming 2-dimensional condition (plane strain condition). However, according to the former studies of 3-dimensional MSE wall, the most weakest part of a curved geosynthetic MSE wall is reported as the convex location, which is also identified from the studies of the laboratory model tests and field monitoring. In order to understand the behaviour of the convex location of the MSE wall, 2-dimensional analysis clearly reveals its limitation. Furthermore, laboratory model tests and field monitoring also have restriction in recognizing their behaviour and failure mechanism. In this study, 3-dimensional numerical analysis was performed to figure out the behaviour of the curved part of the geosynthetic reinforced wall, and the results of the straight-line and curved part in the numerical analysis were compared and analysed. In addition, the behaviour characteristics at each condition were compared by considering the overburden load and relative density of backfill.

• Journal of Internet Computing and Services
• /
• v.22 no.1
• /
• pp.31-39
• /
• 2021

Obtaining delivery addresses from calls is one of the most important processes in TV home shopping business. By automating this process, the operational efficiency of TV home shopping can be increased. In this paper, a method of recognizing and validating road name address, which is the address system of South Korea, from speech oriented text is proposed. The speech oriented text has three challenges. The first is that the numbers are represented in the form of pronunciation. The second is that the recorded address has noises that are made from repeated pronunciation of the same address, or unordered address. The third is that the readability of the resulted address. For resolving these problems, the proposed method enhances the existing address databases provided by the Korea Post and Ministry of the Interior and Safety. Various types of pronouncing address are added, and heuristic rules for dividing ambiguous pronunciations are employed. And the processed address is validated by checking the existence in the official address database. Even though, this proposed method is for the STT result of the address pronunciation, this also can be used for any 3^rd party services that need to validate road name address. The proposed method works robustly on noises such as positions change or omission of elements.

• The Korean Journal of Franchise Management
• /
• v.13 no.2
• /
• pp.33-51
• /
• 2022

Purpose: The online market is growing the most in history due to the expansion of non-face-to-face commerce. In addition, as consumers' interest in health, food safety, and environment increases, interest in and consumption of eco-friendly agricultural products is also increasing. Therefore, in the case of a specialty store that sells eco-friendly organic agricultural products, a marketing strategy that can increase customer loyalty by reflecting these consumer needs is necessary. In this study, the store attributes of eco-friendly food stores are classified into location, assortment, price, quality, and employee service, and the effect of each store attribute on utilitarian and hedonic value is investigated. Research design, data, and methodology: The subjects of this study were customers who visited an eco-friendly food store. Of the 511 survey responses, 311 were used for statistical verification, excluding 200 who had not visited within the last 3 months. For statistical analysis, Smart PLS 3.0 was used, and after checking the validity and reliability of the items, hypothesis testing was performed. Result: As a result of the study, it was found that assortment, quality, and employee service among store attributes had a positive (+) effect on utilitarian and hedonic value. Second, location had no significant effect on utilitarian and hedonic value. Third, price did not appear to have a positive (+) effect on the utilitarian value, and it was found to have a positive (+) effect on the hedonic value. Fourth, It was investigated whether the presence or absence of delivery service had an effect on store attributes between utilitarian and hedonic value, and it was found that there was a significant effect between employee service and hedonic value. Conclusions: Among eco-friendly food store environment management will be required in order to provide food that meets the tastes and needs of consumers by diversifying the taste, standard, and quality grade of food, and to maintain or improve the quality. In order to unlike other stores, eco-friendly food stores have high price resistance from the point of view of consumers, so it is necessary to diversify promotional media such as YouTube and SNS to raise awareness of eco-friendly organic food.

• Journal of the Korean Applied Science and Technology
• /
• v.39 no.1
• /
• pp.52-62
• /
• 2022

The purpose of this study was to find a way to improve the stability and quality of urinalysis by checking the changes in the measurement values of representative clinical chemistry test items according to the repeated freezing and thawing before the urine test and the thawing process. All subjects were 10 healthy males, and the freeze and thaw stability test was performed using their urine samples. In the case of micro-albumin and amylase, there was no statistical significance at 37℃ with time, but at 42℃ and 60℃, there was a statistically significant change in the results with time. There were statistically significant changes in BUN, creatinine, uric acid, and glucose. As a result of long-term stability, after 7 days, glucose mutation increased and amylase decreased at 60℃. In the case of glucose and amylase, there was a statistically significant change in the results over time. To obtain accurate test results, accurate standardization of urinalysis including appropriate collection, storage, and storage methods of urine samples is required and systematic study of conditions for securing stability for each biomaterial is required.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.26 no.3
• /
• pp.103-110
• /
• 2022

The purpose of this study is to experimentally evaluate the stiffness and strength reduction according to the reinforcing bar details of the vertically divided reinforced concrete shear walls. To confirm the effect of reducing strength and stiffness according to vertical division, four real-scale specimens were fabricated and repeated lateral loading tests were performed. As a result of the experiment, it was confirmed that the strength and stiffness were decreased according to the vertical division. In particular, as the stiffness reduction rate is greater than the strength reduction rate, it is expected that safety against extreme strength can be secured when the load is redistributed according to vertical division. As a result of checking the crack pattern, a diagonal crack occurred in the wall subjected to compression control among the divided walls. It was confirmed that two neutral axes occurred after division, and the reversed strain distribution appeared in the upper part, showing the double curvature pattern. In future studies, it is necessary to evaluate the stiffness reduction rate considering the effective height of the wall, to evaluate additional variables such as wall aspect ratio, and to conduct analytical studies on various walls using finite element analysis.