• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.

• Korean Journal of Breeding Science
• /
• v.43 no.6
• /
• pp.509-512
• /
• 2011

A FA intersectional hybrid lily cultivar 'Golden Center' was developed in 2008 at National Institute of Horticultural and Herbal Science (NIHHS), Rural Development Administration (RDA) Korea. The cross was conducted between female parent Lilium FA hybrid 'Migreen (FA97-30)' and male parent L. Asiatic hybrid 'Sanzio' by a cut style pollination method (CSM) and immature embryo rescure at Suwon in 1999. The first selection was done and the line name was tentatively given as 'FA04-24' in 2004. After in vitro multiplication, bulb-producing ability, line, growth and flowering characteristic of 'FA04-24' were evaluated from 2005 to 2007. The evaluation of characteristics and consumer preferences were surveyed at a lily flower show of NIHHS in 2008. 'Golden Center' flowers in the middle of June and grows up to 144 cm high in length. Flower blooms facing upward, with light yellow petals (RHS, GW157C). The pollen of 'Golden Center' is sterile. Year-round flowering can be done by storing the bulb under $-1.5^{\circ}C$ conditions. It is needed to control Botrytis disease in wet season.

• Korean Journal of Breeding Science
• /
• v.43 no.4
• /
• pp.304-310
• /
• 2011

In previous studies, we reported QTLs for grain weight (GW), qGW3 and for spikelets per panicle (SPP), qSPP3 linked to RM60 on chromosome 3 using advanced backcross lines derived from a cross between Oryza sativa ssp. Indica cv. Milyang 23 and O. glaberrima. The O. glaberrima alleles at this locus increased GW and spikelets per panicle in the Milyang 23 background. To further confirm and narrow down the position of the QTLs on chromosome 3, substitution mapping was performed using five lines containing the target O. glaberrima segment on chromosome 3. The size and position of the O. glaberrima segment on chromosome 3 were different in each line. These lines possessed 3-10 non-target O. glaberrima introgressions in the Milyang 23 background. These five lines were evaluated for seven agronomic traits including 1,000 grain weight and spikelets per panicle and also genotyped with seven SSR markers. Four lines were informative in delimiting the position of QTLs, qGW3 and qSPP3. Two lines with the O. glaberrima segment flanked by SSR markers, RM60 and RM523 displayed significantly higher values than Milyang 23 in GW and SPP whereas two lines without that O. glaberrima segment displayed no difference in GW and SPP compared to Milyang 23. The result indicates that two QTL, qGW3 and qSPP3 are located in the interval between RM60 and RM523 which are 1.2-Mb apart. Introgression lines having QTLs, qGW3 and qSPP3 would be useful materials not only to indentify the relationship between these two yield QTLs, but also to develop high yielding variety via marker-aided selection technology.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.14 no.4
• /
• pp.179-190
• /
• 2019

To alleviate financing difficulties of small and medium sized enterprises (SMEs), the government and municipal governments are providing a variety of SME policy funding programs. This study introduced the policy funding program of Gangwon-do and quantitatively analyzed the financial performance of companies supported by the Gangwon-do SME policy fund in the year 2014. Specifically, we compared the financial ratios for three years, from 2013 to 2015, between funded firms and non-funded firms. In addition, we applied a regression analysis to see if the policy funding program contributed to profitability (the operating profit growth and return on equity), stability (the interest coverage ratio and debt-to-equity ratio), and growth (the asset growth and sales growth) of the funded firms. The empirical results show that the firms that received the policy funds did not show any improvement compared to non-funded firms in terms of profitability, stability, and growth. This suggests that Gangwon-do should improve the policy funding program, that currently provides only an interest amount of 2-4% of the corporate loan principal, without any strategic selection criteria for the target funded firms, and without any follow-up management system, after support.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.1
• /
• pp.45-50
• /
• 2019

With the gradual advancement of IT, passive work processes are automated and the overall quality of life has greatly improved. This is made possible by the formation of an organic topology between a wide variety of real-life smart devices. To serve these diverse smart devices, businesses or users are using the cloud. The services in the cloud are divided into Infrastructure as a Service (IaaS), Platform as a Service (PaaS) and Software as a Service (SaaS). SaaS runs on PaaS, and PaaS runs on IaaS. Since IaaS is the basis of all services, an algorithm is required to operate virtualization resources efficiently. Among them, desktop resource virtualization is used for resource high availability of unused state time of existing desktop PC. Clustering of hierarchical structures is important for high availability of these resources. In addition, it is very important to select a suitable algorithm because many clustering algorithms are mainly used depending on the distribution ratio and environment of the desktop PC. If various attempts are made to find an algorithm suitable for desktop resource virtualization in an operating environment, a great deal of power, time, and manpower will be incurred. Therefore, this paper proposes a resource clustering simulator for cluster selection of desktop virtualization. This provides a clustering simulation to properly select clustering algorithms and apply elements in different environments of desktop PCs.

• The Korean Journal of Archival Studies
• /
• no.19
• /
• pp.251-291
• /
• 2009

Due to the trend toward computerization of business services in public sector and the push for e-government, the volume of records that are produced in electronic system and the types of records vary as well. Of those types, dataset is attracting everyone's attention because it is rapidly being supplied. Even though the administrative information system stipulated as an electronic record production system is increasing in number, as it is in blind spot for records management, the system can be superannuated or the records can be lost in case new system is developed. In addition, the system was designed not considering records management, it is managed in an unsatisfactory state because of not meeting the features and quality requirements as records management system. In the advanced countries, they recognized the importance of dataset and then managed the archives for dataset and carried out the project on management systems and a preservation formats for keeping data. Korea also is carrying out the researches on an dataset and individual administrative information systems, but the official scheme has not been established yet. In this study the items for managing archives which should be reflected when the administrative information system is designed was offered in two respects - an identification method and a quality requirement. The major directions for this system are as follows. First, as the dataset is a kind of an electronic record, it is necessary to reflect this factor from the design step prior to production. Second, the system should be established integrating the strategy for records management to the information strategy for the whole organization. In this study, based on such two directions the strategies to establish the identification for dataset in a frame to push e-government were suggested. The problem on the archiving steps including preservation format and the management procedures in dataset archive does not included in the research contents. In line with this, more researches on those contents as well as a variety of researches on dataset are expected to be more actively conducted.

• KOREAN JOURNAL OF CROP SCIENCE
• /
• v.64 no.1
• /
• pp.1-17
• /
• 2019

A quantitative trait loci (QTL) analysis of traits related to heading and yield was performed develop rice cultivars that are both early maturing and panicle weight type varieties. Our analysis included 120 strains of the Cheongcheong Nagdong doubled haploid (CNDH) variety. An observational growth experiment was conducted to identify genetic agronomic traits of CNDH. Heading date, ten plant weight, moisture, thousand grain weight, and yield had a normal distribution based on the frequency distribution table of the observational growth data. The QTL analysis found one heading-related and nine yield-related QTLs. The LOD of 2.85 was the largest in QTLs for heading date (QHD), 5.39 in QTLs for ten plant weight (QTPW), 3.92 in QTLs for moisture (QM), 4.80 in QTLs for thousand grain weight (QTGW), and 3.7 in QTLs for yield (QY). Genomic analysis detected 58 candidate genes on chromosome 2, 3, 7, 8, and 10. Among those, we found Rcd1 protein and OsERF3 gene in QM, MtN3 and zinc finger protein genes in QTGW, and OsNAC3 protein gene in QY. If further analysis reveals the presence of genes related to water content, thousand grain weight or yield in the CNDH stains, we can develop a selection of varieties that will be capable of coping with climate change and will contribute to global food problems.

• The Journal of the Korea Contents Association
• /
• v.21 no.2
• /
• pp.667-675
• /
• 2021

This study conducted a systematic review of evidence-based interventions to confirm the importance of gait in dementia patients and to inform the necessity of various interventions necessary for gait. Based on PRISMA's guidelines and evidence-based intervention, a systematic review were conducted, and papers published in domestic journals for the past 10years were collected, and the dependent variables measured along with the intervention type and gait were analyzed. For data search, research papers from January 2011 to June 2020 were collected through RISS, KISS, the National Library of Korea, and the Library of Congress. The main search terms were 'dementia patient', 'walking', and 'walking ability'. Searched 57 papers on dementia patients and gait that meet the literature selection criteria. Among them, papers overlapping with papers before 2010, papers whose dependent variable is not related to gait ability were excluded, and finally, other than dementia diseases. As for the type of gait intervention, there were many programs related to exercise such as fall prevention and physical activity, and the dependent variables measured along with gait were physically and psychologically diverse. Although domestic studies for dementia patients are conducted in a variety of directions and methods, there are few studies on the improvement of function and gait of the lower extremity part of the body. Therefore, it is necessary to study the multifaceted and various intervention methods for walking in dementia patients.

• Korean Journal of Community Nutrition
• /
• v.25 no.6
• /
• pp.464-473
• /
• 2020

Objectives: The purpose of this study was to compare and analyze e-commerce food purchase behavior and the perceptions of adult women according to their household types. Methods: The e-commerce food purchases of 318 adult women were surveyed and analyzed according to their household types (one-person or couple household (OCH); a household with children (HC); a household with parents (HP)). Results: The total amount of food purchases over 6 months through e-commerce according to household types was in the descending order of OCH (60.3%), HC (57%), and HP (55.1%) thus showing a significant difference (P < 0.05) in behavior between household types. The reasons for purchasing food through e-commerce included: a lower price than offline (30.8%), convenient delivery and transportation (30.2%), and food diversity (21.1%). When purchasing food online, the most important factor was price and quality, followed by quick and accurate delivery for OCH, exact information given about the product for HC, and recommendation from other consumers for HP (P < 0.01). The main foods purchased through e-commerce were coffee, tea (42.1%), instant and frozen foods (39.9%), water, beverages, dairy products (37.7%), snacks, bread, rice cakes (31.5%), and functional foods (27.4%). The percentage of respondents who were very satisfied or satisfied with their e-commerce food purchases was HP (84.1%), OCH (69.9%), and HC (65.6%) in that order (P < 0.05), and 96.5% of all subjects stated that they would be willing to purchase food through e-commerce in the future. The advantages of purchasing food through e-commerce were seen to be the highest in order and payment convenience with 4.1 points out of 5, followed by low price (4.0), variety of products (3.9), and ease of food purchase (3.9). Among the disadvantages listed, concerns about product damage and deterioration during delivery and differences between the displayed product and the delivered product were the highest with 3.7 points. Conclusions: The characteristics and perceptions of female consumers according to household types are important factors in enhancing the reach of e-commerce, and in preparing guidelines for food selection through e-commerce.

• Journal of the Microelectronics and Packaging Society
• /
• v.28 no.1
• /
• pp.1-12
• /
• 2021

Here, we introduce a laser-induced graphene synthesis technology and its applications for the electric/electronic device manufacturing process. Recently, the micro/nanopatterning technique of graphene has received great attention for the utilization of these new graphene structures, which shows progress developments at present with a variety of uses in electronic devices. Some examples of practical applications suggested a great potential for the tunable graphene synthetic manners through the control of the laser set-up, such as a selection of the wavelength, power adjustment, and optical techniques. This emerging technology has expandability to electric/electronic devices combined together with existed micro-packaging technology and can be integrated with the new processing steps to be applied for the operation in the fields of biosensors, supercapacitors, electrochemical sensors, etc. We believe that the laser-induced graphene technology introduced in this paper can be easily applied to portable small electronic devices and wearable electronics in the near future.