• Title/Summary/Keyword: 검증 소프트웨어

Search Result 2,336, Processing Time 0.028 seconds

A Development of Prototype Design Automation System for Standard Connections Using High-Strength Bolts based on BIM (BIM 기반의 고력볼트 마찰접합부 설계자동화 시스템의 프로토타입 구축)

  • Eom, Jin-Up;Shin, Tae-Song
    • Journal of Korean Society of Steel Construction
    • /
    • v.23 no.5
    • /
    • pp.637-646
    • /
    • 2011
  • This study is related to the development of a design automation system for the construction design phase of steel structures. The system intended for beam splice friction connections using high-strength bolts. The standard design method and standardization principles that are suggested in the design manual for standard connections using high-strength bolts published by the Korean Society of Steel Construction(KSSC) were reviewed. A structural analysis algorithm was formulated from the review. A design automation system that can automatically calculate the structural design of connections and automatically generate the connection model without separate inputs was developed. To verify the validity of the developed system, its results were compared with the date in the table for the connection design in the Design Manual. The development system was also applied to the sample model. Then the structural design results were compared with the properties of the connection models and drawings created from the results.

Research about Benchmark System Design for Efficient Web Server Management (효율적인 웹 서버 관리를 위한 평가시스템 설계에 관한 연구)

  • Kim, Seok-Soo;Song, Jae-Gu
    • Convergence Security Journal
    • /
    • v.7 no.3
    • /
    • pp.1-6
    • /
    • 2007
  • It is important to manage and correctly evaluate the performance of server in order to improve he performance of server. That is, with the aim of finding whether resources are properly utilized, it is a method to improve both software and hardware aspects. Conventional method in evaluating the server performance involved installing software between server and client and generating the load and by simulating the process, it evaluated the handing efficiency of work load generated per packet volume. Therefore, this paper aims to pro-vide precise measurement method by distinguishing the characteristics of web server and the users' usage pattern and by evaluating the work load management through applying various standards. Specially, it presents the evaluation method from web service of personal and business.

  • PDF

Circular Path Generation Technique for Ball Bar Measurement by Simultaneous Movement of Two Axes (2 축 동시구동을 통한 볼바 측정용 원호경로 생성 방법)

  • Lee, Dong-Mok;Lee, Hoon-Hee;Yang, Seung-Han
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.37 no.6
    • /
    • pp.783-790
    • /
    • 2013
  • Circular path generation for ball bar measurement using the simultaneous movement of two axes with at least one rotary axis requires the execution of CAM software. However, a change in the machine type or measurement condition requires a new execution of the CAM software, which is cumbersome. This paper presents a circular path generation technique that does not require CAM software and is applicable to different types of driving axes with an arbitrary structural configuration of machine tools and any ball bar setup condition. Mathematical equations are derived for three cases using the proposed technique. In addition, to inspect the measurement feasibility for avoiding physical interference among the ball bar parts, a tilting angle calculation is proposed. The validity of the proposed technique was verified by performing a ball bar experiment with A and C as the simultaneous axes of a five-axis machine tool.

Design and Implementation of Motion Recipe for PLCopen-Compliant Motion Applications with Multiple Operation Modes (다중 동작 모드를 가진 PLCopen 표준 호환 모션 응용을 위한 모션 레시피 개념 설계 및 구현)

  • Kim, Sanghyun;Lee, Kyunghyun;Kim, Taehyoun;Choi, Cheol;Kang, Donggu
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.40 no.11
    • /
    • pp.955-962
    • /
    • 2016
  • In recent years, there have been emerging needs for standardized software-based motion application development for better scalability and support for multiple operation modes for small quantity batch production. Although a software-based motion system provides a basis for constructing multiple operation modes on a machine, it is not easy to construct such systems without tools for defining multiple motion operation modes and standardized mode-change protocols. This paper proposes a motion recipe concept to overcome this problem; the concept includes the authoring of multiple motion operation modes using the PLCopen-compliant motion function blocks and communication protocols to trigger operation mode changes from an external interface. The motion recipe was implemented by extending an IEC 61131-3 compliant IDE called Beremiz, and the correctness of the motion recipe-based application behavior was verified on a real testbed.

Business Component Identification Based on System Component Applying Dependency Characteristics between Analysis Classes (분석 클래스 간의 종속적 특성을 적용한 시스템 컴포넌트 기반의 비즈니스 컴포넌트 식별)

  • Choi, Mi-Sook;Cho, Eun-Sook;Ha, Jong-Sung
    • Journal of Korea Multimedia Society
    • /
    • v.7 no.7
    • /
    • pp.1009-1016
    • /
    • 2004
  • Component-based development is being generalized as the spread of software reuse technology for rapid development productivity and high quality software.In the CBD, the identification of independent and reusable component is the one of important tasks for component-based system development. Because existing methodologies providing component identification techniques provide techniques based on heuristic techniques of component developer, it is difficult for general developers to identify components using these methods. Therefore, this paper suggests new identification factors and a technique by considering dependency characteristics according to method call types and method call directions and dependency degree. Furthermore, proposed technique is verified through case study; business components based on system components are identified effectively.

  • PDF

The Design and Implementation of ECU Simulator for the Smart Vehicle based on FOTA (FOTA 기반 지능형 자동차를 위한 범용 ECU 시뮬레이터 설계 및 구현)

  • Park, In-Hye;Ko, Jae-Jin;Kwak, Jae-Min
    • Journal of Advanced Navigation Technology
    • /
    • v.18 no.1
    • /
    • pp.22-28
    • /
    • 2014
  • This paper presents the design and development of ECU simulator in order to verify automatic firmware update system of ECU SW on the vehicle. We designed and developed general-proposed ECU simulator as devide into HW and SW parts. HWadopt 32bit MPU, CAN, LIN, LCD, and touch-pad button to satisfy general-proposed ECU level. And SW constructed as finite-state-machine structure in order to support HW spec. We developed ECU manager which deliveries update data to verify validity of operation. And we tested ECU simulator with ECU manager. For test of validity of ECU simulator, we set 4 scenarios between ECU simulator and manager. As the result, we confirmed validity of operation in ECU simulator for automatic SW update system.

Development of Real-Time Flutter Analysis Program (실시간 플러터 해석 프로그램 개발)

  • Lee, Ju-Yeon;Bae, Jae-Sung;Hwang, Jai-Hyuk;Roh, Jin-Ho
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.45 no.2
    • /
    • pp.99-105
    • /
    • 2017
  • Wind tunnel test which is one of the method to predict the aeroelastic characteristics has difficulties to make scale-down structural model and achieve a specified free stream velocity. It is very costly and complicated to consider similarity relationships between real structure and scale-down structural model. "Dry Wind-Tunnel(DWT)" was proposed to overcome these difficulties. This is made up of Ground Vibration Test hardware and software to compute the aerodynamic forces. In the present study, program for computing the real-time unsteady aerodynamic forces which is an important part of DWT system was developed by Matlab Simulink and dSPACE. In addition, using this program and software which is a part of the test structure, a real-time flutter analysis was conducted and the results are verified by ZAERO.

Development of Fuel Quantity Measurement System for Aircraft Supplementary Fuel Tank (항공기 보조연료탱크 연료량측정시스템 개발)

  • Yang, Junmo;Kim, Bonggyun;Hahn, Sunghyun;Lee, Sangchul
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.48 no.11
    • /
    • pp.927-933
    • /
    • 2020
  • This paper presents a fuel quantity measurement system (FQMS) for an aircraft supplementary fuel tank considering the change of aircraft attitude. The developed FQMS consists of fuel sensors, a signal process unit, an indicator and a software to estimate the fuel quantity from the sensor data. To replicate the change of the roll and pitch attitude on the ground, the test simulator is developed in this work. Using the test simulator, the sensor data at various fuel quantities, roll and pitch angles are automatically measured to build a training data set. The data-driven software to estimate the fuel quantity is then developed using a trilinear interpolation method with the training data set. The developed FQMS is verified by investigating the fuel estimation error of the test data set that we know the true values. Through the test, it is confirmed that the error of the developed FQMS system satisfies the criteria of TSO-C55 document.

Mixed-Flow Pump Impeller-Diffuser Optimization Method by Using CFX and HEEDS (CFX 와 HEEDS 를 이용한 사류펌프 임펠러-디퓨저 최적화방법)

  • Lee, Yong Kab;Park, In Hyung;Shin, Jae Hyok;Kim, Sung;Lee, Kyoung Yong;Choi, Young Seok
    • Transactions of the Korean Society of Mechanical Engineers B
    • /
    • v.39 no.10
    • /
    • pp.831-842
    • /
    • 2015
  • An optimization process was developed to improve mixed-flow pump performance. The optimization process was combined with CFX (a computational fluid dynamics (CFD) code) and HEEDS (an optimization code). CFX is a widely used CFD software for turbo machinery, whereas HEEDS, which uses the SHERPA algorithm, is a newly introduced optimization code. HEEDS can use a large number of optimization variables; thus, it is possible to effectively consider interaction effects. In this paper, an impeller model, which is already optimized with design of experiments (DOE), is used as the base model. The optimization process developed in this paper shows an improved design within an acceptable timeframe.

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

  • Park, Hyeon-Hui;Choi, Myeong-Su;Yang, Seung-Min;Choi, Yong-Hoon;Lim, Hyung-Taek
    • The KIPS Transactions:PartA
    • /
    • v.12A no.5 s.95
    • /
    • pp.365-374
    • /
    • 2005
  • Schedulability analysis is necessary to build reliable embedded real-time systems. For schedulability analysis, worst-case execution time(WCET) analysis that computes upper bounds of the execution times of tasks, is required indispensably. WCET analysis is done in two phases. The first phase is high-level analysis that analyzes control flow and finds longest paths of the program. The second phase is low-level analysis that computes execution cycles of basic blocks taking into account the hardware architecture. In this thesis, we design and implement integrated WCET analysis tools. We develop the WCET analysis tools for XScale-based system called WATER(WCET Analysis Tool for Embedded Real-time system). WATER consist of high-level flow analyzer and low-level execution time analyzer. Also, We compare real measurement for execution of program with analysis result calculated by WATER.