• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.8
• /
• pp.3888-3910
• /
• 2018

As an increasing number of defense methods against control-data attacks are deployed in practice, control-data attacks have become challenging, and non-control-data attacks are on the rise. However, defense methods against non-control-data attacks are still deficient even though these attacks can produce damage as significant as that of control-data attacks. We present a method to defend against non-control-data attacks using influence domain monitoring (IDM). A definition of the data influence domain is first proposed to describe the characteristics of a variable during its life cycle. IDM extracts security-critical non-control data from the target program and then instruments the target for monitoring these variables' influence domains to ensure that corrupted variables will not be used as the attackers intend. Therefore, attackers may be able to modify the value of one security-critical variable by exploiting certain memory corruption vulnerabilities, but they will be prevented from using the variable for nefarious purposes. We evaluate a prototype implementation of IDM and use the experimental results to show that this method can defend against most known non-control-data attacks while imposing a moderate amount of performance overhead.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.10a
• /
• pp.152.1-152
• /
• 2001

• Journal of Korean Neurosurgical Society
• /
• v.53 no.2
• /
• pp.102-107
• /
• 2013

Objective : The Leksell Gamma Knife$^{(R)}$ (LGK) is based on a single-fraction high dose treatment strategy. Therefore, independent verification of the Leksell GammaPlan$^{(R)}$ (LGP) is important for ensuring patient safety and minimizing the risk of treatment errors. Although several verification techniques have been previously developed and reported, no method has ever been tested statistically on multiple LGK target treatments. The purpose of this study was to perform and to evaluate the accuracy of a verification method (modified variable ellipsoid modeling technique, MVEMT) for multiple target treatments. Methods : A total of 500 locations in 10 consecutive patients with multiple brain tumor targets were included in this study. We compared the data from an LGP planning system and MVEMT in terms of dose at random points, maximal dose points, and target volumes. All data was analyzed by t-test and the Bland-Altman plot, which are statistical methods used to compare two different measurement techniques. Results : No statistical difference in dose at the 500 random points was observed between LGP and MVEMT. Differences in maximal dose ranged from -2.4% to 6.1%. An average distance of 1.6 mm between the maximal dose points was observed when comparing the two methods. Conclusion : Statistical analyses demonstrated that MVEMT was in excellent agreement with LGP when planning for radiosurgery involving multiple target treatments. MVEMT is a useful, independent tool for planning multiple target treatment that provides statistically identical data to that produced by LGP. Findings from the present study indicate that MVEMT can be used as a reference dose verification system for multiple tumors.

• The Journal of the Acoustical Society of Korea
• /
• v.34 no.2
• /
• pp.98-107
• /
• 2015

It is investigated that there exists the possibility of the false target signals induced by reverberation in an active sonar system due to the internal waves in shallow water. The rays down-refracted from the internal waves may generate strong bottom-reverberation signals, which can result in false target signals. Sound waves emitted from a source propagate 3-dimensionally. Therefore, the study of internal waves on the reverberation should be studied for azimuthal direction as well as 2-dimensional (r-z) plane. Internal-wave modelling was conducted, based on solitons which were predicted with the various conditions such as, the range of source-soliton, horizontal widths of soliton. Variable depth sonar (VDS) was assumed as a source, of which the depth was located in the minimum sound speed layer in a simulation environment. Finally, the simulation on the reverberation level with time was made based on ray-based reverberation model, and the results implied that several false-target signals could be displayed on the PPI(Plan Position Indicator) scope simultaneously with range from source to soliton, and the horizontal width of soliton.

• Journal of Aerospace System Engineering
• /
• v.18 no.3
• /
• pp.76-85
• /
• 2024

Recently, from a global perspective, the use of small unmanned aerial vehicles in terrorism and warfare is increasing, and the need for anti-drone shooting training targeting small UAVs is increasing. However, in reality, there are many cases in Korea where anti-drone shooting training is restricted, due to complaints such as noise. In this paper, we describe the development and testing of an electric-powered direct strike type high-speed, low-noise small aerial target drone. To achieve the flight speed and endurance required for shooting training, target drone sizing was performed, and aerodynamic performance analysis was conducted using a CFD program. Based on the performance analysis, the motor propulsion system was selected and a variable pitch propeller system was designed, and performance tests were performed on a ground test rig. Finally, the target flight speed, flight time, and flight noise level were confirmed through flight tests.

• Molecules and Cells
• /
• v.43 no.7
• /
• pp.607-618
• /
• 2020

microRNAs (miRNAs) are non-coding RNA molecules involved in the regulation of gene expression. miRNAs inhibit gene expression by binding to the 3' untranslated region (UTR) of their target gene. miRNAs can originate from transposable elements (TEs), which comprise approximately half of the eukaryotic genome and one type of TE, called the long terminal repeat (LTR) is found in class of retrotransposons. Amongst the miRNAs derived from LTR, hsa-miR-3681 was chosen and analyzed using bioinformatics tools and experimental analysis. Studies on hsa-miR-3681 have been scarce and this study provides the relative expression analysis of hsa-miR-3681-5p from humans, chimpanzees, crab-eating monkeys, and mice. Luciferase assay for hsa-miR-3681-5p and its target gene SHISA7 supports our hypothesis that the number of miRNA binding sites affects target gene expression. Especially, the variable number tandem repeat (VNTR) and hsa-miR-3681-5p share the binding sites in the 3' UTR of SHISA7, which leads the enhancer function of hsamiR-3681-5p to inhibit the activity of VNTR. In conclusion, hsa-miR-3681-5p acts as a super-enhancer and the enhancer function of hsa-miR-3681-5p acts as a repressor of VNTR activity in the 3' UTR of SHISA7.

• Industrial Engineering and Management Systems
• /
• v.15 no.3
• /
• pp.231-238
• /
• 2016

Traditional acceptance sampling plans have focused on the proportion of nonconforming items as an attribute criterion for quality. In today's modern quality management under high quality production environments, the reduction of the deviation from a target value in a quality characteristic has become the most important purpose. In consequence, various inspection plans for the purpose of reducing the deviation from the target value in the quality characteristic have been investigated. In this case, a concept of the quality loss evaluated by the deviation from the target value has been accepted as the variable evaluation criterion of quality. Further, some quality measures based on the quality loss have been devised; e.g. the process loss and the process capability index. Then, as one of inspection plans based on the quality loss, the rigorous design procedure for the variable sampling plan having desired operating characteristics (VS-OC plan) indexed by the quality loss has been proposed by Yen and Chang in 2009. By the way, since the estimator of the quality loss obeys the non-central chi-square distribution, the rigorous design procedure for the VS-OC plan indexed by the quality loss is complicated. In particular, the rigorous design procedure for the VS-OC plan requires a large number of the repetitive and complicated numerical calculation about the non-central chi-square distribution. On the other hand, an approximate design procedure for the VS-OC plan has been proposed before the proposal of the above rigorous design procedure. The approximate design procedure for the VS-OC plan has been constructed by combining Patnaik approximation relating the non-central chi-square distribution to the central chi-square distribution and Wilson-Hilferty approximation relating the central chi-square distribution to the standard normal distribution. Then, the approximate design procedure has been devised as a convenient procedure without complicated and repetitive numerical calculations. In this study, through some comparisons between the rigorous and approximate design procedures, the applicability of the approximate design procedure has been confirmed.

• 한국데이터정보과학회:학술대회논문집
• /
• 2003.10a
• /
• pp.239-247
• /
• 2003

Decision tree algorithms are used extensively for data mining in many domains such as retail target marketing, fraud dection, data reduction and variable screening, etc. CHAID(Chi-square Automatic Interaction Detector), is an exploratory method used to study the relationship between a dependent variable and a series of predictor variables. In this paper we propose and CHAID algorithm by cube-based sampling and explore CHAID algorithm in view of accuracy and speed by the number of variables.

• Proceedings of the Korean Reliability Society Conference
• /
• 2001.06a
• /
• pp.321-334
• /
• 2001

EPC seeks to minimize variability by transferring the output variable to a related process input(controllable) variable, while SPC seeks to reduce variability by detecting and eliminating assignable causes of variation. In the case of product control, a very reasonable objective is to try to minimize the variance of the output deviations from the target or set point. We compare three control systems; EPC, combined system with EWMA and EPC, and SPC. This paper shows through simulation that the performance of the integrated model of EPC and SPC is more preferable than that of EPC.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2000.04a
• /
• pp.141-145
• /
• 2000

A systematic method to find the optimal blank shape for sheet forming is proposed by coupling the numerical simulation technique. A weighted parameter was introduced in order to simplify the multi-variable optimization problem to a single-variable problem. The proposed method has been applied to the blank design of drawing processes to obtain the near-net shape within the required error bound after forming, Excellent results have been obtained between the numerical results and the target contour shapes. Through the investigation the proposed systematic method for optimal blank design is found to be effective in the practical forming processes