• 제목/요약/키워드: Tool Analysis

검색결과 10,640건 처리시간 0.041초

Implement Static Analysis Tool using JavaCC

  • Kim, Byeongcheol;Kim, Changjin;Yun, Seongcheol;Han, Kyungsook
    • 한국컴퓨터정보학회논문지
    • /
    • 제23권12호
    • /
    • pp.89-94
    • /
    • 2018
  • In this paper, we implemented a static analysis tool for weakness. We implemented on JavaCC using syntax information and control flow information among various information. We also tested the performance of the tool using Juliet-test suite on Eclipse. We were classified using information necessary for diagnosis and diagnostic methods were studied and implemented. By mapping the information obtained at each compiler phase the security weakness, we expected to link the diagnostic method with the program analysis information to the security weakness. In the future, we will extend to implement diagnostic tools using other analysis information.

원전 온도 사고 조건에서 R-L-C회로 모델링 등가 회로의 저항 수동 소자 변화에 대한 출력 신호 분석 (Output Signal Analysis for Variation of Resistance Passive Element in the R-L-C Equivalent Circuit Modeling under Temperature Accident Conditions in NPPs)

  • 구길모;김상백;김희동;조영로
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
    • /
    • pp.600-602
    • /
    • 2006
  • Some abnormal signals diagnostics and analysis through an important equivalent circuits modeling for passive elements under severe accident conditions have been performed. Unlike the design basis accidents, there are inherently some uncertainties in the instrumentation capabilities under the accident conditions. So, the circuit simulation analysis and diagnosis methods are used to assess instruments in detail when they give apparently abnormal readings as an accident alternative method. The simulations can be useful to investigate what the signal and circuit characteristics would be when similar to a variety of symptoms that can result from the environmental conditions such as high temperature, humidity, and pressure condition. In this paper, a new simulator through an analysis of the important equivalent circuits modeling under temperature accident conditions has been designed, the designed simulator is composed of the LabVIEW code as a main tool and the out-put file of the Multi-SIM code as an engine tool is exported to in-put file of the LabVIEW code. The procedure for the simulator design was divided into two design steps, of which the first step was the diagnosis method, the second step was the circuit simulator for the signal processing tool. It has three main functions which are a signal processing tool, an accident management tool, and an additional guide from the initial screen. This simulator should be possible that it could be applied a output signal analysis to some transient signal by variation of the resistance passive elements in the R-L-C equivalent circuit modeling under various degraded conditions in NPPs.

  • PDF

XScale 프로세서 기반의 임베디드 소프트웨어를 위한 최악실행시간 분석도구의 구현 (Implementation of Worst Case Execution Time Analysis Tool For Embedded Software based on XScale Processor)

  • 박현희;최명수;양승민;최용훈;임형택
    • 정보처리학회논문지A
    • /
    • 제12A권5호
    • /
    • pp.365-374
    • /
    • 2005
  • 신뢰성 있는 내장 실시간 시스템을 구축하기 위해서는 프로그램의 스케줄링 가능성 여부를 검증해야 한다 스케줄링 가능성 분석을 위해서 는 프로그램의 최악실행시간 정보가 필수적인 요소이다. 최악실행시간 분석은 두 단계로 나된다. 첫 번째 단계에서는 프로그램 언어 구문상의 흐름을 분석하고, 두 번째 단계에서는 수행되는 흐름 경로상의 하드웨어적인 요소를 고려하여 수행시간을 분석한다. 본 논문에서는 XScale 프로세서를 대상으로 하는 최악실행시간 통합 분석 도구인 WATER(WCET Analysis Tool for Embedded Real-time system)를 설계하고 구현한다. 상위 수준의 흐름 분석기와 하위 수준의 실행시간 분석기로 이루어진 WATER의 구조를 소개하고 소프트웨어의 실제 측정과 WATER의 분석 결과를 비교한다.

치과위생사의 경증 장애인 환자 진료 고려사항에 대한 지식 측정 도구의 타당도와 신뢰도 검증 (Testing the validity and reliability of an assessment tool for dental hygienists' consideration of patients with mild disabilities)

  • 김예지;노희진;문소정;한선영
    • 한국치위생학회지
    • /
    • 제23권1호
    • /
    • pp.55-62
    • /
    • 2023
  • Objectives: The purpose of this study was to test the reliability and validity of an assessment tool for dental hygienists' consideration of patients with mild disabilities. Methods: Thirty-seven preliminary questions were compiled through literature review, and thirty-two questions were selected through content validity testing by eight experts. Two hundred and three dental hygienists completed the assessment tool as an online survey. The construct validity, internal consistency, and test-retest reliability of the tool were investigated using the SPSS 26.0 program. The construct validity was assessed using exploratory factor analysis. The internal consistency was assessed using Cronbach's alpha. The intraclass correlation coefficient (ICC) value with 95% confidence intervals was calculated for test-retest reliability. Results: Ten items and four factors were selected through exploratory factor analysis. The internal consistency reliability of the tool was found to be Cronbach's alpha=0.658, and test-retest reliability was found to be ICC=0.812. Conclusions: An assessment tool of care for patients with mild disabilities by dental hygienists is a reliable and valid tool suitable for the job characteristics of dental hygienists. It can be used in clinical practice and research.

CNC 공작기계 스프레쉬 가드의 안전성을 위한 충격 시험에 대한 유한요소법 적용에 관한 연구 (A Study on Application of Finite Element Method to the Impact test for the Safety of the Splash Guard of a CNC Machine Tool)

  • 김태원;최진우
    • 한국생산제조학회지
    • /
    • 제22권5호
    • /
    • pp.782-788
    • /
    • 2013
  • This study addresses the issue of safety of the splash guard of a computer numerical control (CNC) machine tool at the design stage. As an impact test for evaluating safety requirements such as strength under the safety regulation is an expensive and iterative task, it is necessary to develop a new method to minimize the task of the impact test for development of the machine tool. In this study, explicit finite element method was adopted for replacement of the impact test of the splash guard of a machine tool at the design stage. A finite element model was developed for implementing the impact test on an actual vertical CNC lathe and then produced the analysis including plastic strain and deformation to enable the safety of its splash guard to be determined. The analysis results demonstrated that the finite element method can be applied to safety evaluation for design of the splash guard of a CNC machine tool.

SEM 측정법에 의한 초정밀 표면가공 특성연구 (A Study on the Surfaces Machining Characteristics of Ultra-precision through SEM Measurement)

  • 강순준;오상록;이갑조;김종관
    • 한국공작기계학회:학술대회논문집
    • /
    • 한국공작기계학회 2004년도 춘계학술대회 논문집
    • /
    • pp.34-41
    • /
    • 2004
  • The purpose of this paper is to look at the characteristics of surface finishing which is one of the form accuracies and to obtain the fundamental technical data from the process of machining with diamond tool through experiment and theoretical analysis. The experiments were conducted with domestic made ultra-precision machine and MCD.PCD tool, with aluminum alloyed material and brass being used for the work pieces. The goal of the size accuracy was set to 100nm. The most suitable tool nose radius and machining conditions were selected, and the variations of the surface roughness were observed using SEM method while machining the distance of up to 500km. These data were evaluated and they examined the variation of the machined surfaces while cutting up to 500km of machining distance. At the same time, the state for the wear of diamond tool nose was analyzed and carefully examined through the newest measuring device. Additionally, the characteristics of ultra-precision machining technology were studied through visual analysis.

  • PDF

불가사리 채집용 4절 링크 매니퓰레이터의 최적 설계 (Optimal Design of a Four-bar Linkage Manipulator for Starfish-Capture Robot Platform)

  • 김지훈;진상록;김종원;서태원;김종원
    • 한국정밀공학회지
    • /
    • 제30권9호
    • /
    • pp.961-968
    • /
    • 2013
  • In this paper, we propose an optimal design for starfish capturing manipulator module with four-bar linkage mechanism. A tool link with compliance is attached on the four-bar linkage, and the tool repeats detaching starfish from the ground and putting it into the storage box. Since the tool is not rigid and the manipulator is operating underwater, the trajectory of the tool tip is determined by its dynamics as well as kinematics. We analyzed the trajectory of the manipulator tool tip by quasi-static analysis considering both kinematics and dynamics. In optimization, the lengths of each link and the tool stiffness are considered as control variables. To maximize the capturing ability, capturing stroke of the four-bar manipulator trajectory is maximized. Reaction force and reaction moment, and other kinematic constraints were considered as inequality constraints.