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

Search Result 2,336, Processing Time 0.028 seconds

Development of a Software for a Conceptual Design of Gas Generator After Burning Liquid Rocket Engine (가스발생기 후연소 액체로켓엔진 개념설계 소프트웨어 개발)

  • Moon, In-Sang;Shin, Ji-Chul;Moon, Il-Yoon
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.11
    • /
    • pp.1132-1138
    • /
    • 2008
  • A program that can simulate gas generator after burning liquid rocket engines was developed along with presenting the characteristics of the engines. The program was written in Matlab and used GUI interface so that many users can use it without any difficulties. The results of the program was compared with the real engine which was developed by the LRE advanced country. Most of the parameters concurred within 1% error expect for the pressure at the turbopump. The reasons of the large differences were supposed that pressure decreases at the schematics were smaller than that of the real engines.

Development of Steering Control Algorithms for All-terrain Crane and Performance Verification Based on Real-time Co-simulation (전지형 크레인 조향제어 알고리즘 개발 및 연성해석 기반의 성능평가)

  • Seo, Jaho;Lee, Geun Ho;Oh, Kwangseok
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.41 no.5
    • /
    • pp.367-374
    • /
    • 2017
  • The goal of this study was to develop control algorithms to improve the steering performance of a 120-ton all-terrain crane. To accomplish this, a hydraulic steering system for the crane was modeled using AMESim software, and a PID steering control algorithm was designed in the MATLAB/Simulink environment. The performance of the designed controller was verified through multiphysics co-simulations based on a real-time simulator.

A Study on Auto-extract of Land Character of Public Land Price by GIS (GIS를 이용한 공시지가 토지특성 자동추출에 관한 연구)

  • 박수홍;홍성언;김현석
    • Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
    • /
    • 2003.04a
    • /
    • pp.486-492
    • /
    • 2003
  • 개별공시지가는 현재 자동화 산정 프로그램인 ALPA(Automatic Land Price Appraisal System)에 의해 지가를 산정하고 있다. 그러나 자동화 시스템은 지가를 자동적으로 산출한다는 장점이 있지만 지가의 계산만이 가능하고, 토지특성의 자동 추출에 관한 기능의 부재와 비교 표준지에 대한 취사 선택기능이 없는 등 정확도나 효율성 면에서 많은 문제점을 드러내고 있다. 이러한 문제점에 기인하여, 현재 개별공시지가를 조사ㆍ산정하는데 1년에 약 400억 소요되어 엄청난 국가예산이 소요되고 있다. 또한, 실무자들의 현장 조사와 수작업에 의한 토지특성 조사ㆍ기재로 인하여 개별공시지가 검증과정에서 발견되는 오류 필지의 상당 부분이 토지특성조사 착오로 나타나고 있어 토지특성 조사의 객관성과 정확성이 결여되고 있다. 따라서, 객관적이고 정확한 토지 특성조사와 효율적으로 공시지가를 자동 산정하기 위해서는 토지특성을 정확하게 자동으로 추출할 수 있는 방법론이 시급한 실정이다. 본 연구에서는 토지특성 조사 중 객관성과 정확도 측면에서 가장 문제가 되고 있는 필지의 형상특성과 항(방위)특성에 대해 GIS 소프트웨어인 ArcGIS와 Window기반의 Visual Basic을 이용하여 토지특성을 자동 추출할 수 있는 시스템 프로토타입을 구현하였다. 그리고, 자동 추출된 토지특성을 현행 토지특성과 비교ㆍ분석을 통하여 정확도와 효율성을 제시하고자 한다.

  • PDF

An Establishment of the Process System for Software Requirements Engineering (소프트웨어 요구공학에 대한 처리 시스템 정립)

  • Lee, Sang-Un;Choi, Myeong-Bok
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.14 no.1
    • /
    • pp.37-49
    • /
    • 2014
  • This paper proposes a optimal process after analyzing the existing papers of software requirements engineering process. In analyzing it examines requirement pursuit management and origin, and considers a variety of starting points that draw requirement documents. Also, this paper considers carefully the multiple methods of stakeholder needs, problem analysis, processing priority of business modeling. From the analyzed result this paper proposes the best method that draws systematically the requirement documents. The proposed method can minimize the requirement changes, draw the higher project success ratio, and satisfy the customer.

Posture and Space Recognition System Using Multimodal Sensors (다중모드 센서를 이용한 자세 및 공간인지 시스템)

  • Cha, Joo-Heon;Kim, Si Chul
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.39 no.6
    • /
    • pp.603-610
    • /
    • 2015
  • This paper presents a multimodal sensor system that can determine the location of house space by analyzing the postures and heights of the residents. It consists of two sensors: a tilt sensor and an altimeter sensor. The tilt sensor measures the static and dynamic postures of the residents, and the altimeter sensor measures their heights. The sensor system includes a Bluetooth transmitter, and the server receives the measured data and determines the location in the house. We describe the process determining the locations of the residents after analyzing their postures and behaviors from the measured data. We also demonstrate the usefulness of the proposed system by applying it to a real environment.

A Study on the Traffic Agent System Using Unicast Method and P2P (유니캐스트 방식과 P2P를 응용한 트래픽 에이전트 시스템에 관한 연구)

  • Kim Hyun-Ki;Kim Song-Young;Cho Dae-Jea
    • Journal of Korea Multimedia Society
    • /
    • v.8 no.5
    • /
    • pp.707-741
    • /
    • 2005
  • In the multimedia streaming technology, the unicast method require additional cost by an increase traffic according to increase a number of users. The multicast method can solve this problem, but it don't have connection and control information of clients. Now, the most routers support only unicast. Also it has a problem with an exchange of service in other ISP. This paper proposes traffic agent system which is applied unicast and P2P(Peer to Peer) for distance video teaming to overcome this problem. The proposed system decrease the traffic of stream server by control agent, and cut down expenses of network. This system is tested under the distance video leaning using JMF and application software.

  • PDF

System Level Design of a Reconfigurable Server Farm of 193-bit Elliptic Curve Crypto Engines (재구성 가능한 193비트 타원곡선 암호연산 서버 팜의 시스템 레벨 설계)

  • Moon, Sangook
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2013.05a
    • /
    • pp.656-658
    • /
    • 2013
  • Due to increasing demand of new technology, the complexity of hardware and software consisting embedded systems is rapidly growing. Consequently, it is getting hard to design complex devices only with traditional methodology. In this contribution, I introduce a new approach of designing complex hardware with SystemVerilog. I adopted the idea of object oriented implementation of the SystemVerilog to the design of an elliptic curve crypto-engine server farm. I successfully implemented the whole system including the test bench in one integrated environment, otherwise in the traditional way it would have cost Verilog simulation and C/SystemC verification which means much more time and effort.

  • PDF

A Coupling Metric for Design of Component (컴포넌트 설계를 위한 결합도 메트릭)

  • Choi Mi-Sook;Lee Jong-Seok;Song Haeng-Sook
    • The KIPS Transactions:PartD
    • /
    • v.12D no.4 s.100
    • /
    • pp.609-616
    • /
    • 2005
  • The component-based development methodology becomes famous as the reuse technology to improve the high productivity of software development. It is necessary component metrics for component-based systems, because the designed components should be measurable to improve the quality of the software. Therefore this paper propose a coupling metric for component design which is reflected in characteristics of component. This paper suggest a case study and comparative analysis result about conventional metrics to verify the accuracy of our coupling metric. The Uoposed coupling metric measure the quality of components accurately and satisfies necessary conditions of coupling metric suggested by Briand and others.

A Unification Algorithm for DTDs of XML Documents having a Similar Structure (유사 구조를 가지는 XML 문서들의 DTD 통합 알고리즘)

  • 유춘식;우선미;김용성
    • Journal of KIISE:Software and Applications
    • /
    • v.31 no.10
    • /
    • pp.1400-1411
    • /
    • 2004
  • There are many cases that many XML documents have different DTDs in spite of having a similar structure and being logically same kind of document. For this reason, It occurs a problem that these XML documents have different database schema and are stored in different databases. So, in this paper, we propose an algorithm that unifies DTDs of these XML documents using the finite automata and the tree structure. The finite automata is suitable for representing repetition operators and connectors of DTD, and is a simple representation method for DTD. By using the finite automata, we are able to reduce the complexity of algorithm. And we apply a proposed algorithm to unify DTDs of science journals.

Fingerprint Image Generation using Filter Combination based on the Genetic Algorithm (GA기반 영상필터 조합을 이용한 지문영상생성)

  • Cho, Ung-Keun;Hong, Jin-Hyuk;Cho, Sung-Bae
    • Journal of KIISE:Software and Applications
    • /
    • v.34 no.5
    • /
    • pp.455-464
    • /
    • 2007
  • The construction of a fingerprint database is important to evaluate the performance of an automatic fingerprint recognition system. Due to the cost of collecting fingerprints, there are only few benchmark databases available. Since it is hard to evaluate how robust the system is in various environments with the databases, this paper proposes a novel method that generates fingerprint images automatically from only a few training samples by using the genetic algorithm. Fingerprints generated by the proposed method include similar characteristics of those collected from the corresponding real environment. The proposed method has been verified by comparing with real fingerprint images, showing the usefulness of the method.