• 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.

• Journal of the Korean Applied Science and Technology
• /
• v.40 no.3
• /
• pp.425-434
• /
• 2023

An analysis was conducted on landfill gas generation and surface emission by major routes for three landfill sites of S Landfill in the metropolitan area. LS1, which had a total landfill gas generation ratio of 10.9%, accounted for 49.4% of the total surface emissions. The total surface emission of methane alone was 13.6 Nm³/min in the three landfill sites. Among them, the surface emission of methane at LS1, LS2, and LS3 was 8.4(61.7%), 4.0(29.4%), and 1.2 Nm³/min(8.9%), respectively. By emission path in the upper, slope, and dike, it was 7.3(53.2%), 6.4(46.7%), and 0.02 Nm³/min(0.1%). The dike section of the major surface emission areas showed the largest oxidation rate at 87.5%, followed by the upper at 72.3%, and the slope at 71.8%. Based on methane generation, LS1 had the largest surface emission contribution rate, with 61.7% of the total by S Landfill. By major emission path, the slope section of LS1 accounted for 41.7% of the total, the upper section of LS2 24.4%, and the upper section of LS1 20.0%, which accounted for 86.1% of the total methane surface emission of S Landfill. Therefore, it is concluded that intensive management will be necessary.

• Journal of Korea Society of Industrial Information Systems
• /
• v.28 no.5
• /
• pp.15-30
• /
• 2023

Recently, generative models based on the Transformer architecture, such as ChatGPT, have been gaining significant attention. The Transformer architecture has been applied to various neural network models, including Google's BERT(Bidirectional Encoder Representations from Transformers) sentence generation model. In this paper, a method is proposed to create a text binary classification model for determining whether a comment on Korean movie review is positive or negative. To accomplish this, a pre-trained multilingual BERT sentence generation model is fine-tuned and transfer learned using a new Korean training dataset. To achieve this, a pre-trained BERT-Base model for multilingual sentence generation with 104 languages, 12 layers, 768 hidden, 12 attention heads, and 110M parameters is used. To change the pre-trained BERT-Base model into a text classification model, the input and output layers were fine-tuned, resulting in the creation of a new model with 178 million parameters. Using the fine-tuned model, with a maximum word count of 128, a batch size of 16, and 5 epochs, transfer learning is conducted with 10,000 training data and 5,000 testing data. A text sentiment binary classification model for Korean movie review with an accuracy of 0.9582, a loss of 0.1177, and an F1 score of 0.81 has been created. As a result of performing transfer learning with a dataset five times larger, a model with an accuracy of 0.9562, a loss of 0.1202, and an F1 score of 0.86 has been generated.

• Journal of Ginseng Research
• /
• v.37 no.3
• /
• pp.293-299
• /
• 2013

20S-dihydroprotopanaxadiol (2H-PPD) is a derivative of protopanaxadiol, a glycone of ginsenosides prepared from Panax ginseng. Although ginsenosides and acidic polysaccharides are known to be major active ingredients in ginseng, the immunopharmacological activities of their metabolites and derivatives have not been fully explored. In this study, we aimed to elucidate the regulatory action of 2H-PPD on the function of monocytes and macrophages in innate immune responses. 2H-PPD was able to boost the phagocytic uptake of fluorescein isothiocyanate-dextran in macrophages and enhance the generation of radicals (reactive oxygen species) in sodium nitroprusside-treated RAW264.7 cells. The surface levels of the costimulatory molecules such as CD80 and CD86 were also increased during 2H-PPD treatment. In addition, this compound boosted U937 cell-cell aggregation induced by CD29 and CD43 antibodies, but not by cell-extracellular matrix (fibronectin) adhesion. Similarly, the surface levels of CD29 and CD43 were increased by 2H-PPD exposure. Therefore, our results strongly suggest that 2H-PPD has the pharmacological capability to upregulate the functional role of macrophages/monocytes in innate immunity.

• International Journal of Industrial Entomology and Biomaterials
• /
• v.11 no.2
• /
• pp.81-86
• /
• 2005

The mode of transmission, effect on fecundity, hatching and tissues specificity of a microsporidian $(Lb_{ms})$ recovered from Lamerin breed of the silkworm Bombyx mori L. was studied and compared with standard strain Nosema bombycis. Peroral inoculation of $Lb_{ms}$ or N. bombycis to zeroday of $4^{th}$ instar larvae of silkworm was the most suitable method for producing information on development of stage specific mortality, pupation and obtaining infected adults for transovarial transmission studies. It was observed that pupal mortality, the percentage of moths emerged and the percentage of moths infected were significantly high in N. bombycis infected batches as compared $(Lb_{ms})$ in all the three tested breeds of the silkworm. However no significant difference was observed in larval mortality. The fecundity and hatchability was not affected significantly in $(Lb_{ms})$ infected adults, however significant reduction in egg production, fecundity, hatchability and increased egg retention was observed in mother moths infected with N. bombycis. The $(Lb_{ms})$ is transmitted both horizontally and vertically at lower rate due to its low rate of proliferation. The trans ovarial transmission of $(Lb_{ms})$ to the $F_1$ progeny generation through eggs averaged only $61.33\pm5.10\%$ whereas N. bombycis was transmitted at $100\%$. The $(Lb_{ms})$ had low oral infectivity and low transovarial transmission in silkworm B. mori.

• Journal of Korea Multimedia Society
• /
• v.19 no.1
• /
• pp.86-95
• /
• 2016

The main objective of HACCP(Hazard analysis and critical control points) system is to provide a systematic preventive approach how to control the risks in food production process. Practically, the diet classification process performed at the one of the beginning steps of the HACCP system, makes an important role of determining food safety risks and how to control them in every control point according to the different risk level of the diet. In this paper, we propose an automatic diet classification method for HACCP system using XML(eXtensible Markup Language). In order to guarantee the diet classification accuracy, we design the XML schema and attributes represents the relationship of every diet and ingredients analysing the HACCP diet classification rules. Based on the XML schema and document generation method, we develope the proposed system as client and server model that implemented XML based HACCP diet information generation module and integrated HACCP information management modules, respectively. Moreover, we show the efficiency of the proposed system with experiment results describing the school food diet information as XML documents and parsing the diet information.

• 한국태양에너지학회:학술대회논문집
• /
• 2008.04a
• /
• pp.281-286
• /
• 2008

Current feed-in tariffs(FIT) of Electricity generating from new and renewable energy sources are reappraised with the corrected formula of levelized generation cost(LGC) of utility power. The LGC of new and renewable electricity should be formulated in explicitly reflecting the capital cost and corporate tax during the economic life cycle based on its realistic application data. An applicable term of the FITs should, especially, be equal to the economic life cycle. The revised FITs issued in 2006 were, however, derived from the incorrect formula described in the study of KERI(Korea Electrotechnology Research Institute), and consequently misestimated. The reappraisal values for FIT of new and renewable electricity were shown and interpreted in this paper. An FIT of PV more than 30 kW, for example, should be 972.86 won/kWh instead of current 677.38 won/kWh increasing 43.6%. An upward revision of other FITs for new and renewable electricities should also be required in the range of 8.6% to 47.3%.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.05a
• /
• pp.76-86
• /
• 2000

Conventional atom model must be criticized on the following four points. (1) Natural motions between positive and negative entities are not circular motions but linear going and returning ones, for examples sexual motion, tidal motion, day and night etc. (2) Potential energy generation was neglected when electron changes its orbit from outer one to inner one. The hv is the kinetic energy of the photo-electron. The total energy difference between orbits comprises kinetic and potential energies. (3) The structure of the space must be taken into consideration because the properties of the electron do not change during the transition from outer orbit to inner one even though it produces photon. (4) Total energy conservation law applies to the energy flow between mind and matter because we daily experiences a interconnection between mind and body. $\prod$-rays come out from the crystallizing $\pi$-bondings when they vibrate or deform. Gaston Naessens(1950) invented a microscope, which can visualize the $\pi$-rays in blood. Unordinarily agglomerated spores of $\pi$-rays may provoke poor immunity and bad illness. The agglomerated spores of $\pi$-rays can make closed type $\pi$-bondings in the case of carbohydrates and esters but proteins build open type $\pi$-bondings because the peptide bonds are planar, which principle produces a life.

• Smart Structures and Systems
• /
• v.5 no.2
• /
• pp.193-207
• /
• 2009

A framework for structural health monitoring (SHM) systems is presented utilizing a recent 3.5 generation mobile telecommunication technology, HSDPA (High Speed Downlink Packet Access). It may be effectively applied to monitoring bridges, cut-slopes, and other facilities located in rural areas where the conventional Internet service is not readily available, since HSDPA is currently commercialized in 86 countries to make the Internet access possible in anywhere the mobile phone service is available. The proposed SHM framework is also incorporating remote desktop software to have remote control/operation of the SHM systems. The feasibility of the proposed framework has been demonstrated by field tests on a highway bridge in operation. One can expect that fast advances in the mobile telecommunication technology will further enhance the performance of the SHM network using the proposed framework for bridges and other facilities located in remote areas without the conventional wired Internet service.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.21 no.2
• /
• pp.81-86
• /
• 2013

This paper presents the lane change system for collision avoidance. The proposed algorithm for the collision avoidance consists of path generation and path following. Using a calculated TTC (Time to Collision), partial braking is operated and collision avoidance path is generated considering relative distance, velocity and acceleration. Based on the collision avoidance path, desired yaw angle and yaw rate are calculated for the automated path following. The lateral controller is designed by a Lyapunov function approach using 3 D.O.F vehicle model and vehicle parameters. The required steering angle is determined from wheel velocity, longitudinal and lateral velocity in order to follow the desired yaw angle and yaw rate. This system is developed MATLAB/Simulink and its performance is evaluated using the commercial software CarSim.