• Title/Summary/Keyword: static analysis

Search Result 5,510, Processing Time 0.042 seconds

Measuring Similarity of Android Applications Using Method Reference Frequency and Manifest Information (메소드 참조 빈도와 매니페스트 정보를 이용한 안드로이드 애플리케이션들의 유사도 측정)

  • Kim, Gyoosik;Hamedani, Masoud Reyhani;Cho, Seong-je;Kim, Seong Baeg
    • The Journal of Korean Institute of Next Generation Computing
    • /
    • v.13 no.3
    • /
    • pp.15-25
    • /
    • 2017
  • As the value and importance of softwares are growing up, software theft and piracy become a much larger problem. To tackle this problem, it is highly required to provide an accurate method for detecting software theft and piracy. Especially, while software theft is relatively easy in the case of Android applications (apps), screening illegal apps has not been properly performed in Android markets. In this paper, we propose a method to effectively measure the similarity between Android apps for detecting software theft at the executable file level. Our proposed method extracts method reference frequency and manifest information through static analysis of executable Android apps as the main features for similarity measurement. Each app is represented as an n-dimensional vectors with the features, and then cosine similarity is utilized as the similarity measure. We demonstrate the effectiveness of our proposed method by evaluating its accuracy in comparison with typical source code-based similarity measurement methods. As a result of the experiments for the Android apps whose source file and executable file are available side by side, we found that our similarity degree measured at the executable file level is almost equivalent to the existing well-known similarity degree measured at the source file level.

A Study on Ransomware Detection Methods in Actual Cases of Public Institutions (공공기관 실제 사례로 보는 랜섬웨어 탐지 방안에 대한 연구)

  • Yong Ju Park;Huy Kang Kim
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.33 no.3
    • /
    • pp.499-510
    • /
    • 2023
  • Recently, an intelligent and advanced cyber attack attacks a computer network of a public institution using a file containing malicious code or leaks information, and the damage is increasing. Even in public institutions with various information protection systems, known attacks can be detected, but unknown dynamic and encryption attacks can be detected when existing signature-based or static analysis-based malware and ransomware file detection methods are used. vulnerable to The detection method proposed in this study extracts the detection result data of the system that can detect malicious code and ransomware among the information protection systems actually used by public institutions, derives various attributes by combining them, and uses a machine learning classification algorithm. Results are derived through experiments on how the derived properties are classified and which properties have a significant effect on the classification result and accuracy improvement. In the experimental results of this paper, although it is different for each algorithm when a specific attribute is included or not, the learning with a specific attribute shows an increase in accuracy, and later detects malicious code and ransomware files and abnormal behavior in the information protection system. It is expected that it can be used for property selection when creating algorithms.

AI Security Plan for Public Safety Network App Store (재난안전통신망 앱스토어를 위한 AI 보안 방안 마련)

  • Jung, Jae-eun;Ahn, Jung-hyun;Baik, Nam-kyun
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2021.10a
    • /
    • pp.458-460
    • /
    • 2021
  • The provision and application of public safety network in Korea is still insufficient for security response to the mobile app of public safety network in the stages of development, initial construction, demonstration, and initial service. The available terminals on the Disaster Safety Network (PS-LTE) are open, Android-based, dedicated terminals that potentially have vulnerabilities that can be used for a variety of mobile malware, requiring preemptive responses similar to FirstNet Certified in U.S and Google's Google Play Protect. In this paper, before listing the application service app on the public safety network mobile app store, we construct a data set for malicious and normal apps, extract features, select the most effective AI model, perform static and dynamic analysis, and analyze Based on the result, if it is not a malicious app, it is suggested to list it in the App Store. As it becomes essential to provide a service that blocks malicious behavior app listing in advance, it is essential to provide authorized authentication to minimize the security blind spot of the public safety network, and to provide certified apps for disaster safety and application service support. The safety of the public safety network can be secured.

  • PDF

Optimal Capacity Determination of Hydrogen Fuel Cell Technology Based Trigeneration System And Prediction of Semi-closed Greenhouse Dynamic Energy Loads Using Building Energy Simulation (건물 에너지 시뮬레이션을 이용한 반밀폐형 온실의 동적 에너지 부하 예측 및 수소연료전지 3중 열병합 시스템 적정 용량 산정)

  • Seung-Hun Lee;Rack-Woo Kim;Chan-Min Kim;Hee-Woong Seok;Sungwook Yoon
    • Journal of Bio-Environment Control
    • /
    • v.32 no.3
    • /
    • pp.181-189
    • /
    • 2023
  • Hydrogen has gained attention as an environmentally friendly energy source among various renewable options, however, its application in agriculture remains limited. This study aims to apply the hydrogen fuel cell triple heat-combining system, originally not designed for greenhouses, to greenhouses in order to save energy and reduce greenhouse gas emissions. This system can produce heating, cooling, and electricity from hydrogen while recovering waste heat. To implement a hydrogen fuel cell triple heat-combining system in a greenhouse, it is crucial to evaluate the greenhouse's heating and cooling load. Accurate analysis of these loads requires considering factors such as greenhouse configuration, existing heating and cooling systems, and specific crop types being cultivated. Consequently, this study aimed to estimate the cooling and heating load using building energy simulation (BES). This study collected and analyzed meteorological data from 2012 to 2021 for semi-enclosed greenhouses cultivating tomatoes in Jeonju City. The covering material and framework were modeled based on the greenhouse design, and crop energy and soil energy were taken into account. To verify the effectiveness of the building energy simulation, we conducted analyses with and without crops, as well as static and dynamic energy analyses. Furthermore, we calculated the average maximum heating capacity of 449,578 kJ·h-1 and the average cooling capacity of 431,187 kJ·h-1 from the monthly maximum cooling and heating load analyses.

Effects of Relaxation Techniques on Flexibility and Balance of the Lower Limb in Adults with Hamstring Shortening (넙다리뒤근 단축이 있는 성인에게 이완 기법의 적용이 하지의 유연성과 균형에 미치는 영향)

  • Jung-Woo Lee;Seong-Min Jeon;Ha-Yeong Kim;Jong-Yeon Bae;Song-Chan Son;Eun-Jin Song;Sang-Eun Sim;Hyeong-Uk Lee;Hye-Kyeong Lee;Baek-Gwang Jo;Sung-Bin Jo;Jin-Hee Joo;Ha-Yeon Jin;Jeong-Hyeon Hwang;Min-Hee Kim
    • PNF and Movement
    • /
    • v.22 no.1
    • /
    • pp.55-70
    • /
    • 2024
  • Purpose: The purpose of this study was to investigate the effects of three relaxation techniques, namely, Static Stretching Exercise (SSE), Eccentric Contraction Exercise (ECE), and Suboccipital Muscle Release (SMR) on the flexibility and balance of the lower limb in adults with hamstring shortening. Methods: The participants were 45 adults in their 20s with hamstring shortening. They performed three exercises (i.e., SSE, ECE, and SMR) for two weeks. We measured flexibility, muscle tone and stiffness, proprioception, and balance before and after the intervention, applying each relaxation technique. Data were analyzed using two-way repeated measures analysis of variance (ANOVA). The significance level was set at α=0.05. Results: Flexibility increased in the SSE, ECE, and SMR groups, with the SSE group showing the greatest improvement. Muscle tone and stiffness decreased in all groups, with the ECE group exhibiting the highest reduction. Proprioception increased in the SSE, ECE, and SMR groups, with SSE demonstrating the greatest enhancement. Balance also increased in all groups, with the ECE group showing the most pronounced improvement. Conclusion: Overall, all three relaxation techniques for hamstring shortening resulted in improved flexibility, muscle tone and stiffness, proprioception, and balance of the lower limb in adults with hamstring shortening. The findings of this study underscore the importance of selecting an appropriate technique according to the purpose of treatment and the condition of the patient.

A Study on the Calculation of Optimal Compensation Capacity of Reactive Power for Grid Connection of Offshore Wind Farms (해상풍력단지 전력계통 연계를 위한 무효전력 최적 보상용량 계산에 관한 연구)

  • Seong-Min Han;Joo-Hyuk Park;Chang-Hyun Hwang;Chae-Joo Moon
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.19 no.1
    • /
    • pp.65-76
    • /
    • 2024
  • With the recent activation of the offshore wind power industry, there has been a development of power plants with a scale exceeding 400MW, comparable to traditional thermal power plants. Renewable energy, characterized by intermittency depending on the energy source, is a prominent feature of modern renewable power generation facilities, which are structured based on controllable inverter technology. As the integration of renewable energy sources into the grid expands, the grid codes for power system connection are progressively becoming more defined, leading to active discussions and evaluations in this area. In this paper, we propose a method for selecting optimal reactive power compensation capacity when multiple offshore wind farms are integrated and connected through a shared interconnection facility to comply with grid codes. Based on the requirements of the grid code, we analyze the reactive power compensation and excessive stability of the 400MW wind power generation site under development in the southwest sea of Jeonbuk. This analysis involves constructing a generation site database using PSS/E (Power System Simulation for Engineering), incorporating turbine layouts and cable data. The study calculates reactive power due to charging current in internal and external network cables and determines the reactive power compensation capacity at the interconnection point. Additionally, static and dynamic stability assessments are conducted by integrating with the power system database.

Conceptual Design of the Three Unit Fixed Partial Denture with Glass Fiber Reinforced Hybrid Composites (Glass fiber 강화 복합레진을 사용한 3본 고정성 국소의치의 개념 설계 연구)

  • Na, Kyoung-Hee;Lee, Kyu-Bok;Jo, Kwang-Hun
    • Journal of Dental Rehabilitation and Applied Science
    • /
    • v.18 no.3
    • /
    • pp.145-155
    • /
    • 2002
  • The results of the present feasibility study are summarized as follows, 1. The three unit bridge of knitted material and UD fibre reinforcement has both the rigidity and the strength against a vertical occlusal load of 75N. 2. Stress concentration at the junctional area between the bridge and the abutments, i.e. between the pontic and the knitted caps was observed. In the case of the bridge with reinforcement straps, it was partly shown that the concentration problem could be improved by simply increasing the fillet size at the area. Further refining in the surface of the junctional area will be needed to ensure a further improvement in the stress distribution. This will require some trade off in the level of the stress and the available space. A parametric study will help to decide the appropriate size of the fillet. 3. Design refinement is a must to improve the stress distribution and realize the most favourable shape in terms of fabrication. The current straight bar with a constant cross section area can be redesigned to a tapered shape. The curve from the dental arch should also be placed on the pontic design. In accordance with design refinement, the resistance of the bridge frame to other load cases should be evaluated. 4. Although not included in the present feasibility study, it is estimated that bridges of the anterior teeth can be made strong enough with the knitted material without further reinforcement using unidirectional materials. In this regard, a feasibility study on design concepts and stress analysis for 3, 4, 5 unit bridge is suggested. 5. Two types of bridge were analysed in terms of fatigue. The safe life design concept, i.e. fatigue design concept, looks reasonable for the bridge where if cracks should form and propagate there is virtually nothing a dentist to do. The bridge must be designed so that no crack will be initiated during the life span. In the case of crowns, however, if constructed with composite resin with knitted materials, it might be possible to repair them, which in general is impossible for crowns of PFM or of metal. Therefore for composite resin crowns, a damage tolerance design concept can be applied and reasonably higher operational stresses can be allowed. In this case, of course, a periodic inspection program should be established in parallel. 6. Parts of future works in terms of structural viewpoint which need to be addressed are summarized as the following: 1) To develop processing technology to accommodate design concepts; 2) More realistic modelling of the bridge and analysis-geometry and loading condition. Thickness variation in the knitted material, taper in the pontic, design for anterior tooth bridge, the effect of combined loads, etc, will need to be included; 3) To develop appropriate design concepts and design goals for the fibre composite FPD aiming at taking the best advantage of knitted materials, including the damage tolerance design concept; 4) To develop testing method and perform test such as static ultimate load test, fatigue test, repair test, etc, as necessary.

Sewer Decontamination Mechanism and Pipe Network Monitoring and Fault Diagnosis of Water Network System Based on System Analysis (시스템 해석에 기초한 하수관망 오염 매카니즘과 관망 모니터링 및 이상진단)

  • Kang, OnYu;Lee, SeungChul;Kim, MinJeong;Yu, SuMin;Yoo, ChangKyoo
    • Korean Chemical Engineering Research
    • /
    • v.50 no.6
    • /
    • pp.980-987
    • /
    • 2012
  • Nonpoint source pollution causes leaks and overtopping, depending on the state of the sewer network as well as aggravates the pollution load of the aqueous water system as it is introduced into the sewer by wash-off. According, the need for efficient sewer monitoring system which can manage the sewage flowrate, water quality, inflow/infiltration and overflow has increased for sewer maintenance and the prevention of environmental pollution. However, the sewer monitoring is not easy since the sewer network is built in underground with the complex nature of its structure and connections. Sewer decontamination mechanism as well as pipe network monitoring and fault diagnosis of water network system on system analysis proposed in this study. First, the pollution removal pattern and behavior of contaminants in the sewer pipe network is analyzed by using sewer process simulation program, stormwater & wastewater management model for expert (XP-SWMM). Second, the sewer network fault diagnosis was performed using the multivariate statistical monitoring to monitor water quality in the sewer and detect the sewer leakage and burst. Sewer decontamination mechanism analysis with static and dynamic state system results showed that loads of total nitrogen (TN) and total phosphorous (TP) during rainfall are greatly increased than non-rainfall, which will aggravate the pollution load of the water system. Accordingly, the sewer outflow in pipe network is analyzed due to the increased flow and inflow of pollutant concentration caused by rainfall. The proposed sewer network monitoring and fault diagnosis technique can be used effectively for the nonpoint source pollution management of the urban watershed as well as continuous monitoring system.

Timing Driven Analytic Placement for FPGAs (타이밍 구동 FPGA 분석적 배치)

  • Kim, Kyosun
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.54 no.7
    • /
    • pp.21-28
    • /
    • 2017
  • Practical models for FPGA architectures which include performance- and/or density-enhancing components such as carry chains, wide function multiplexers, and memory/multiplier blocks are being applied to academic FPGA placement tools which used to rely on simple imaginary models. Previously the techniques such as pre-packing and multi-layer density analysis are proposed to remedy issues related to such practical models, and the wire length is effectively minimized during initial analytic placement. Since timing should be optimized rather than wire length, most previous work takes into account the timing constraints. However, instead of the initial analytic placement, the timing-driven techniques are mostly applied to subsequent steps such as placement legalization and iterative improvement. This paper incorporates the timing driven techniques, which check if the placement meets the timing constraints given in the standard SDC format, and minimize the detected violations, with the existing analytic placer which implements pre-packing and multi-layer density analysis. First of all, a static timing analyzer has been used to check the timing of the wire-length minimized placement results. In order to minimize the detected violations, a function to minimize the largest arrival time at end points is added to the objective function of the analytic placer. Since each clock has a different period, the function is proposed to be evaluated for each clock, and added to the objective function. Since this function can unnecessarily reduce the unviolated paths, a new function which calculates and minimizes the largest negative slack at end points is also proposed, and compared. Since the existing legalization which is non-timing driven is used before the timing analysis, any improvement on timing is entirely due to the functions added to the objective function. The experiments on twelve industrial examples show that the minimum arrival time function improves the worst negative slack by 15% on average whereas the minimum worst negative slack function improves the negative slacks by additional 6% on average.

STANDARDIZATION OF WORD/NONWORD READING TEST AND LETTER-SYMBOL DISCRIMINATION TASK FOR THE DIAGNOSIS OF DEVELOPMENTAL READING DISABILITY (발달성 읽기 장애 진단을 위한 단어/비단어 읽기 검사와 글자기호감별검사의 표준화 연구)

  • Cho, Soo-Churl;Lee, Jung-Bun;Chungh, Dong-Seon;Shin, Sung-Woong
    • Journal of the Korean Academy of Child and Adolescent Psychiatry
    • /
    • v.14 no.1
    • /
    • pp.81-94
    • /
    • 2003
  • Objectives:Developmental reading disorder is a condition which manifests significant developmenttal delay in reading ability or persistent errors. About 3-7% of school-age children have this condition. The purpose of the present study was to validate the diagnostic values of Word/Nonword Reading Test and Letter-Symbol Discrimination Task for the purpose of overcoming the caveats of Basic Learning Skills Test. Methods:Sixty-three reading-disordered patients(mean age 10.48 years old) and sex, age-matched 77 normal children(mean age 10.33 years old) were selected by clinical evaluation and DSM-IV criteria. Reading I and II of Basic Learning Skills Test, Word/Nonword Reading Test, and Letter-Symbol Discrimination Task were carried out to them. Word/Nonword Reading Test:One hundred usual highfrequency words and one hundred meaningless nonwords were presented to the subjects within 1.2 and 2.4 seconds, respectively. Through these results, automatized phonological processing ability and conscious letter-sound matching ability were estimated. Letter-Symbol Discrimination Task:mirror image letters which reading-disordered patients are apt to confuse were used. Reliability, concurrent validity, construct validity, and discriminant validity tests were conducted. Results:Word/Nonword Reading Test:the reliability(alpha) was 0.96, and concurrent validity with Basic Learning Skills test was 0.94. The patients with developmental reading disorders differed significantly from normal children in Word/Nonword Reading Test performances. Through discriminant analysis, 83.0% of original cases were correctly classified by this test. Letter-Symbol Discrimination Task:the reliability(alpha) was 0.86, and concurrent validity with Basic Learning Skills test was 0.86. There were significant differences in scores between the patients and normal children. Factor analysis revealed that this test were composed of saccadic mirror image processing, global accuracy, mirror image processing deficit, static image processing, global vigilance deficit, and inattention-impulsivity factors. By discriminant analysis, 87.3% of the patients and normal children were correctly classified. Conclusion:The patients with developmental reading disorders had deficits in automatized visuallexical route, morpheme-phoneme conversion mechanism, and visual information processing. These deficits were reliably and validly evaluated by Word/Nonword Reading Test and Letter-Symbol Discrimination Task.

  • PDF