• Title/Summary/Keyword: 실용설계

Search Result 525, Processing Time 0.027 seconds

Implementation of a Static Analyzer for Detecting the PHP File Inclusion Vulnerabilities (PHP 파일 삽입 취약성 검사를 위한 정적 분석기의 구현)

  • Ahn, Joon-Seon;Lim, Seong-Chae
    • The KIPS Transactions:PartA
    • /
    • v.18A no.5
    • /
    • pp.193-204
    • /
    • 2011
  • Since web applications are accessed by anonymous users via web, more security risks are imposed on those applications. In particular, because security vulnerabilities caused by insecure source codes cannot be properly handled by the system-level security system such as the intrusion detection system, it is necessary to eliminate such problems in advance. In this paper, to enhance the security of web applications, we develop a static analyzer for detecting the well-known security vulnerability of PHP file inclusion vulnerability. Using a semantic based static analysis, our vulnerability analyzer guarantees the soundness of the vulnerability detection and imposes no runtime overhead, differently from the other approaches such as the penetration test method and the application firewall method. For this end, our analyzer adopts abstract interpretation framework and uses an abstract analysis domain designed for the detection of the target vulnerability in PHP programs. Thus, our analyzer can efficiently analyze complicated data-flow relations in PHP programs caused by extensive usage of string data. The analysis results can be browsed using a JAVA GUI tool and the memory states and variable values at vulnerable program points can also be checked. To show the correctness and practicability of our analyzer, we analyzed the source codes of open PHP applications using the analyzer. Our experimental results show that our analyzer has practical performance in analysis capability and execution time.

Utilizing the Effect of Market Basket Size for Improving the Practicality of Association Rule Measures (연관규칙 흥미성 척도의 실용성 향상을 위한 장바구니 크기 효과 반영 방안)

  • Kim, Won-Seo;Jeong, Seung-Ryul;Kim, Nam-Gyu
    • The KIPS Transactions:PartD
    • /
    • v.17D no.1
    • /
    • pp.1-8
    • /
    • 2010
  • Association rule mining techniques enable us to acquire knowledge concerning sales patterns among individual items from voluminous transactional data. Certainly, one of the major purposes of association rule mining is utilizing the acquired knowledge to provide marketing strategies such as catalogue design, cross-selling and shop allocation. However, this requires too much time and high cost to only extract the actionable and profitable knowledge from tremendous numbers of discovered patterns. In currently available literature, a number of interest measures have been devised to accelerate and systematize the process of pattern evaluation. Unfortunately, most of such measures, including support and confidence, are prone to yielding impractical results because they are calculated only from the sales frequencies of items. For instance, traditional measures cannot differentiate between the purchases in a small basket and those in a large shopping cart. Therefore, some adjustment should be made to the size of market baskets because there is a strong possibility that mutually irrelevant items could appear together in a large shopping cart. Contrary to the previous approaches, we attempted to consider market basket's size in calculating interest measures. Because the devised measure assigns different weights to individual purchases according to their basket sizes, we expect that the measure can minimize distortion of results caused by accidental patterns. Additionally, we performed intensive computer simulations under various environments, and we performed real case analyses to analyze the correctness and consistency of the devised measure.

A MDA-based Approach to Developing UI Architecture for Mobile Telephony Software (MDA기반 이동 단말 시스템 소프트웨어 개발 기법)

  • Lee Joon-Sang;Chae Heung-Seok
    • The KIPS Transactions:PartD
    • /
    • v.13D no.3 s.106
    • /
    • pp.383-390
    • /
    • 2006
  • Product-line engineering is a dreaming goal in software engineering research. Unfortunately, the current underlying technologies do not seem to be still not much matured enough to make it viable in the industry. Based on our experiences in working on mobile telephony systems over 3 years, now we are in the course of developing an approach to product-line engineering for mobile telephony system software. In this paper, the experiences are shared together with our research motivation and idea. Consequently, we propose an approach to building and maintaining telephony application logics from the perspective of scenes. As a Domain-Specific Language(DSL), Menu Navigation Viewpoint(MNV) DSL is designed to deal with the problem domain of telephony applications. The functional requirements on how a set of telephony application logics are configured can be so various depending on manufacturer, product concept, service carrier, and so on. However, there is a commonality that all of the currently used telephony application logics can be generally described from the point of user's view, with a set of functional features that can be combinatorially synthesized from typical telephony services(i.e. voice/video telephony, CBS/SMS/MMS, address book, data connection, camera/multimedia, web browsing, etc.), and their possible connectivity. MNV DSL description acts as a backbone software architecture based on which the other types of telephony application logics are placed and aligned to work together globally.

Basic characteristics of an indented cylinder broken rice separator (원통형 홈 선별기의 쇄미선별 특성)

  • 순영석;김명호;박승제;이종호
    • Proceedings of the Korean Society for Agricultural Machinery Conference
    • /
    • 2002.02a
    • /
    • pp.282-288
    • /
    • 2002
  • 본 연구는 상업용 규모의 쇄미선별공정에 사용할 수 있는 파이로트 규모 원통형 홈 선별기 시작기의 설계 및 제작에 필요한 기초 연구로서, 실험실용 원통형 홈 선별기를 이용하여 쇄미선별 실험을 실시하였다. 원통 회전속도, trough각도, indent 크기와 형상, 공급량을 요인으로 하여 완전립의 수거율과 순도, 쇄립의 수거율과 순도 및 선별효율을 조사하였다. 수행한 연구결과를 요약하면 다음과 같다. 1. 선별효율에 대한 원통 회전속도와 trough각도의 단독효과 및 교호작용은 1% 수준에서 유의성이 인정되었다. 원통 회전속도가 커지면trough각도 역시 그에 따라 적절히 증가시켜야만 선별효율의 저하가 방지되는 것으로 나타났다. 2. 최고 선별효율 값은 홈의 모양과 크기, 그리고 공급량에 관계없이 낮은 회전속도 (17rpm)와 중간 trough각도 (37.5$^{\circ}$또는 60$^{\circ}$)가 조합된 처리에서 나타났으며, 60~70% 범위의 높은 값을 보였다. 선별효율에 관한 원통 회전속도와 trough각도의 최적 조합은 17rpm, 37.5$^{\circ}$라고 판단된다. 3. 말발굽형 홈과 반구형 홈 간 선별효율의 차이는 없었다. 따라서, 실제 상업용 규모의 원통형 홈 쇄미선별기 개발에 있어서는 제작이 쉽고 유지.보수가 간편한 반구형 홈을 채택하는 것이 바람직할 것으로 생각된다. 길이 2.5mm이하의 미립인 쇄미의 선별에 사용할 홈의 크기는 2.5mm 보다는 약간 큰 3.0mm 정도가 되어야만 할 것으로 판단된다. 4. 공급량에 따른 선별효율의 차이는 1% 수준에서 유의성이 인정되었으며, 공급량이 작았을 때 전반적으로 선별효율이 높았다.타리 시프터를 채택, 사용하고 있었으며, 로타리시프터 사용상의 문제는 회전몸체를 지지하는 rod spring의 파손 등 구조와 관련된 것이었다. 로타리 시프터에 의한 쇄립의 선별과 제거정도는 만족할 만한 수준은 아니었다. 4. 국내 유통백미 완전립의 길이, 폭, 두께는 각각 5.02mm, 2.93mm, 2.03mm이었으며, 산물밀도와 천립중은 각각 745.3kg/m3 및 20.46g이었다. 5. RPC 백미제품의 품질경쟁력 향상을 유도하고자 현행 쇄미의 정의와 기준을 보다 강화하여 다음과 같은 쇄미 기준과 계급을 설정, 제시하였다. "완전립" - 길이가 3.75mm이상인 미립 "준완전립" - 길이가 2.5∼3.75mm인 미립 "쇄미" - 길이가 1.75∼2.5 mm인 미립 "이물" - 길이가 1.75mm이하인 미립.볼 때 상토 종자혼합비 6 : 1, 성형롤 회전속도 약 7 rpm으로 판단되며, 이 때 제조능력은 시간당 약 65 Kg(펠렛종자 약 39,000 개), 성형률 약 87 %, 종자손실률은 약 30 %, 펠렛종자 내 평균 종자수는 약 5.5 개, 완전 벼 종자 3개 이상 포함 펠렛종자 비율은 약 100 %가 될 것으로 보인다. 세포의 Androgen 생성을 촉진시키는 역할이 있는 것으로 보여진다 따라서 옻나무 유래 F는 포유동물의 생식기능에 중요하게 작용하는 것으로 사료된다.된다.정량 분석한 결과이다. 시편의 조성은 33.6 at% U, 66.4 at% O의 결과를 얻었다. 산화물 핵연료의 표면 관찰 및 정량 분석 시험시 시편 표면을 전도성 물질로 증착시키지 않고, Silver Paint 에 시편을 접착하는 방법으로도 만족한 시험 결과를 얻을 수 있었다.째, 회복기 중에 일어나는 입자들의 유입은 자기폭풍의 지속시간

  • PDF

Framework for Car Safety Education Virtual Reality Simulation (자동차 안전교육 VR 시뮬레이션 제작을 위한 프레임워크)

  • Xie, Qiao;Ding, Xiu Hui;Jang, Young-Jick;Yun, Tae-Soo
    • Journal of the Korea Convergence Society
    • /
    • v.10 no.9
    • /
    • pp.37-45
    • /
    • 2019
  • In recent years, the emergence of virtual reality (VR Virtual Reality) technology has provided a new model of safety education, enabling users to learn and respond to disasters in a virtual safety education environment. However, the related VR products related to domestic and foreign R & D are relatively simple, there is no practical training on specific accident, and it is not practical enough to play a sufficient role in safety education. In this paper, the problems and disadvantages of VR technology applied in the field of automobile safety education as an example of automobile accident among the types of disasters are examined, and a system framework of automotive safety education based on VR technology is proposed. The vehicle safety education system proposed in this paper will help users to improve driving safety consciousness, to acquire safety knowledge in driving, and to acquire driving safety skill which is very important for automobile safety education. In addition, the design and production methods of safety education based on VR technology are considered to have important reference implications for the application of modern teaching and teaching theory by integrating with VR technology and developing related teaching materials products and finally introducing education.

Development of Panel-Based Rapid Aerodynamic Analysis Method Considering Propeller Effect (프로펠러 효과를 반영 가능한 패널 기반 신속 공력 해석 기법 개발)

  • Tai, Myungsik;Lee, Yebin;Oh, Sejong;Shin, Jeongwoo;Lim, Joosup;Park, Donghun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.49 no.2
    • /
    • pp.107-120
    • /
    • 2021
  • Electric-powered distributed propulsion aircraft possess a complex wake flow and mutual interference with the airframe, due to the use of many propellers. Accordingly, in the early design stage, rapid aerodynamic and load analysis considering the effect of propellers for various configurations and flight conditions are required. In this study, an efficient panel-based aerodynamic analysis method that can take into account the propeller effects is developed and validated. The induced velocity field in the region of propeller wake is calculated based on Actuator Disk Theory (ADT) and is considered as the boundary condition at the vehicle's surface in the three-dimensional steady source-doublet panel method. Analyses are carried out by selecting an isolated propeller of the Korea Aerospace Research Institute (KARI)'s Quad Tilt Propeller (QTP) aircraft and the propeller-wing configuration of the former experimental study as benchmark problems. Through comparisons with the results of computational fluid dynamics (CFD) based on actuator methods, the wake velocity of propeller and the changes in the aerodynamic load distribution of the wing due to the propeller operation are validated. The method is applied to the analysis of the Optional Piloted Personal Aerial Vehicle (OPPAV) and QTP, and the practicality and validity of the method are confirmed through comparison and analysis of the computational time and results with CFD.

A GIS-Based Planning Methodology to Determine the Haul Route Layout in Complex Construction Projects (GIS를 이용한 토공 운반로 탐색 방법론 - 단지공사 사례를 중심으로 -)

  • Kang, Sang Hyeok;Baek, Kyeong Geun;Baek, Hyeon Gi;Seo, Jong Won
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.30 no.6D
    • /
    • pp.631-639
    • /
    • 2010
  • The layout of haul routes within a construction site of large complex projects needs to be carefully determined as the productivity of earthwork activity heavily depends on the efficiency of the layout and the routes are not likely to change once they are settled. This paper aims to provide a construction planner with a reliable framework to create an efficient layout of haul routes within a large complex construction site. To construct the framework, five factors affecting haul route layout and the productivity of earthwork activity are described along with the associated rules of thumb recommended by design and field experts. In addition, a methodology based on spatial analysis using raster format in GIS is proposed to further increase haul route efficiency. The proposed planning framework enables a construction planner to easily find a more reliable route layout by thoroughly considering the key factors prior to setting up an earthmoving plan.

Effects of Home-Visit Program with Cognitive-Stimulating Activities on Cognitive Function and Memory Self-efficacy of an Elderly with Dementia Special Rating : Single Subject (가정방문 인지자극 활동이 치매특별등급(5등급) 노인의 인지기능 및 기억 자기효능감에 미치는 효과 : 개별대상연구)

  • Son, Bo-Young;Bang, Yo-Soon
    • Journal of Korea Entertainment Industry Association
    • /
    • v.13 no.5
    • /
    • pp.247-262
    • /
    • 2019
  • This study involved the effects of home-visit program with cognitive-stimulating activities on cognitive function and memory self-efficacy of an elderly with dementia special rating(5rates). The study was conducted from February 11 to April 26, 2019 using a 65-year old woman residing in G Metropolitan City. The individual subject study used an A-B-A design. The subject performed activities that required thinking and resolving in order to stimulate both her body and cognition. The activities chosen were easily accessible to those having a form of mild dementia, rates 5 dementia special rating, and repetitively stimulated the subject's intellectual capacity in an attempt to increase her degraded cognitive functioning. Specifically, the activities exercised both short-term memory and recollection using familiar letters, numbers, and bodily movements frequently encountered in daily life. The program positively affected the subject's memory and concentration. In addition, the program was found to be feasible for home use by those with mild dementia, obviating the need to travel to a location like a welfare center. The author presents specific activities for stimulating cognition that can effectively intervene to positively influence the cognitive functioning and memory of those with rates 5 dementia special rating.

Proper Orthogonal Decomposition Based Intrusive Reduced Order Models to Accelerate Computational Speed of Dynamic Analyses of Structures Using Explicit Time Integration Methods (외연적 시간적분법 활용 동적 구조해석 속도 향상을 위한 적합직교분해 기반 침습적 차수축소모델 적용 연구)

  • Young Kwang Hwang;Myungil Kim
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.37 no.1
    • /
    • pp.9-16
    • /
    • 2024
  • Using the proper orthogonal decomposition (POD) based intrusive reduced order model (ROM), the total degrees of freedom of the structural system can be significantly reduced and the critical time step satisfying the conditional stability increases in the explicit time integrations. In this study, therefore, the changes in the critical time step in the explicit time integrations are investigated using both the POD-ROM and Voronoi-cell lattice model (VCLM). The snapshot matrix is composed of the data from the structural response under the arbitrary dynamic loads such as seismic excitation, from which the POD-ROM is constructed and the predictive capability is validated. The simulated results show that the significant reduction in the computational time can be achieved using the POD-ROM with sufficiently ensuring the numerical accuracy in the seismic analyses. In addition, the validations show that the POD based intrusive ROM is compatible with the Voronoi-cell lattice based explicit dynamic analyses. In the future study, the research results will be utilized as an elemental technology for the developments of the real-time predictive models or monitoring system involving the high-fidelity simulations of structural dynamics.

Characteristic Study of Small-sized and Planer Resonator for Mobile Device in Magnetic Wireless Power Transfer (소형 모바일 기기용 공진형 무선전력전송 시스템의 공진기 평면화 및 소형화에 따른 특성 연구)

  • Lee, Hoon-Hee;Jung, Chang-Won
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.54 no.4
    • /
    • pp.16-21
    • /
    • 2017
  • In this paper, a Small-sized and planer resonator design of Magnetic Resonance - Wireless Power Transfer(MR-WPT) were proposed for practical applications of mobile devices, such as a laptop, a smart-phone and a tablet pc. The proposed MR-WPT system were based on four coil MR-WPT and designed as a transmitter part (Tx) and a receiver part (Rx) both are the same shape with the same loop and resonator. There are four different spiral coil type of resonators with variable of line length, width, gap and turns in $50mm{\times}50mm$ size. The both of top and bottom side of substrate(acrylic; ${\varepsilon}_r=2.56$, tan ${\delta}=0.008$) ere used to generate high inductance and capacitance in limited small volume. Loops were designed on the same plane of resonator to reduce their volume, and there are three different size. The proposed MR-WPT system were fabricated with two acrylic substrate plane of Tx and Rx each, the Rx and Tx loops and resonators were fabricated of copper sheets. There are 12 combinations of 3 loops and 4 resonators, each combination were measured to calculate transfer efficiency and resonance frequency in transfer distance from 1cm to 5cm. The measured results, the highest transfer efficiency was about 70%, and average transfer efficiency was 40%, on the resonance frequency was about 6.78 MHz, which is standard band by A4WP. We proposed small-sized and planer resonator of MR-WPT and showed possibility of mobile applications for small devices.