• 제목/요약/키워드: design validation

검색결과 1,269건 처리시간 0.025초

Design of weighted federated learning framework based on local model validation

  • Kim, Jung-Jun;Kang, Jeon Seong;Chung, Hyun-Joon;Park, Byung-Hoon
    • 한국컴퓨터정보학회논문지
    • /
    • 제27권11호
    • /
    • pp.13-18
    • /
    • 2022
  • 본 논문에서는 학습에 참여하는 각 디바이스의 모델들로부터 성능검증에 따라 가중치를 두어 글로벌 모델을 업데이트하는 VW-FedAVG(Validation based Weighted FedAVG)를 두 가지 방식으로 제안 한다. 첫 번째 방식은 서버 검증(Server side Validation) 구조로 글로벌 모델을 업데이트 하기 전에 각 로컬 클라이언트 모델을 하나의 전체 검증 데이터셋을 통해 검증하도록 설계 했다. 두 번째는 클라이언트 검증(Client side Validation) 구조로 검증 데이터셋을 각 클라이언트에 고르게 분배하여 검증을 한 후 글로벌 모델을 업데이트 하는 방식으로 설계 했다. 전체 실험에 적용한 데이터셋은 MNIST, CIFAR-10으로 이미지 분류에 대해 IID, Non-IID 분포에서 기존 연구 대비 더 높은 정확도를 얻을 수 있었다.

NDARC을 이용한 헬리콥터 개념설계 및 성능해석 검증 연구 (Validation Study on Conceptual Design and Performance Analysis for Helicopter using NDARC)

  • 고정인;박재상;최종수
    • 한국항공우주학회지
    • /
    • 제44권10호
    • /
    • pp.877-886
    • /
    • 2016
  • 본 연구에서는 단일로터-꼬리로터 형상의 일반 헬리콥터에 대한 개념설계 및 성능해석 기법을 정립하고자 회전익 항공기 개념설계 및 성능해석 코드인 NDARC을 이용하여 UH-60A 헬리콥터에 대한 개념설계 및 성능해석을 수행하였다. 적절히 가정한 임무 형상을 이용하여 UH-60A 헬리콥터의 개념설계를 수행한 뒤 설계 목표 값과의 비교를 통하여 UH-60A 헬리콥터의 형상 및 중량을 적절히 설계할 수 있음을 확인하였다. 더불어, 본 연구로부터 설계된 UH-60A 헬리콥터 모델을 이용하여 다양한 비행 조건에서의 성능해석을 수행한 뒤, 본 연구의 해석 결과를 UH-60A의 성능 시험 및 선행 연구의 해석 결과와 비교하여 본 연구 결과의 타당성을 검증하였다. 그 결과, 단일로터-꼬리로터 형상의 일반 회전익 항공기의 개념설계 및 성능해석 기법을 적절히 정립하였음을 확인하였다.

선박설계를 위한 계산유체역학의 활용 (The Application of CFD for Ship Design)

  • 김우전;반석호
    • 한국전산유체공학회지
    • /
    • 제8권2호
    • /
    • pp.42-48
    • /
    • 2003
  • The issues associated with the application of CFD for ship design are addressed. Doubtlessly at the moment, CFD tools are very useful in evaluating hull forms prior to traditional towing tank tests. However, time-consuming pre-processing is an obstacle in the daily application of CFD tools to improve hull forms. The accuracy of computational modeling without sacrificing the usability of CFD system is also to be assessed. The wave generation is still predicted by using potential panel methods, while velocity profiles entering into propeller plane is solved using turbulent flow solvers. The choice of turbulence model is a key to predict nominal wake distribution within acceptable accuracy. The experimental data for CFD validation are invaluable to improve physical and numerical modeling. Other applications of CFD for ship design than hull form improvement are also given. It is certain that CFD can be a cost-effective tool for the design of new and better ships.

선박설계를 위한 계산유체역학의 활용에 대하여 (The Application of CED for Ship Design)

  • 김우전
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2002년도 학술대회지
    • /
    • pp.5-8
    • /
    • 2002
  • The issues associated with the application of CFD for ship design are addressed. It is quite certain that the CFD tools are very useful in evaluating hull forms a prior to traditional towing tank tests. However, the time-consuming pre-processing is an obstacle in the daily application of CFD tools to improve hull forms. The accuracy of computational modeling without sacrificing the usability of CFD system is also to be assessed. The wave generation is still predicted by using potential panel methods, while velocity profiles entering into propeller plane is solved using turbulent flow solvers. The choice of turbulence model is a key to predict nominal wake distribution within acceptable accuracy. The experimental data for CFD validation are invaluable to improve physical and numerical modeling. Other applications of CFD for ship design than hull form improvement are also given. It is certain that CFD can be a cost-effective tool for the design of new and better ships.

  • PDF

CHT 해석을 통한 가스터빈 연소기 냉각 설계 검증 (Validation of Gas Turbine Combustor Cooling Design by Conjugate Heat Transfer Analysis)

  • 심영삼;박정수;김호근;천무환;류제욱
    • 한국연소학회:학술대회논문집
    • /
    • 한국연소학회 2015년도 제51회 KOSCO SYMPOSIUM 초록집
    • /
    • pp.271-272
    • /
    • 2015
  • Gas turbine combustors is critical part due to high temperature operating conditions and the optimization of cooling design is required to avoid combustor failure. In gas turbine combustor, effusion cooling, impingement cooling and thermal barrier coating (TBC) are commonly used to improve cooling characteristics. In conceptual design, these cooling schemes are designed by 1D heat transfer calculation. Therefore, these design should be validated ted by nemurical or experiment methods. In this study, Conjugate Heat Transfer (CHT) analysis is performed for validation of gas turbine combustor cooling design.

  • PDF

Design of an Algorithm for the Validation of SCL in Digital Substations

  • Jang, B.T.;Alidu, A.;Kim, N.D.
    • KEPCO Journal on Electric Power and Energy
    • /
    • 제3권2호
    • /
    • pp.89-97
    • /
    • 2017
  • The substation is a critical node in the power network where power is transformed in the power generation, transmission and distribution system. The IEC 61850 is a global standard which proposes efficient substation automation by defining interoperable communication and data modelling techniques. In order to achieve this level of interoperability and automation, the IEC 61850 (Part 6) defines System Configuration description Language (SCL). The SCL is an XML based file format for defining the abstract model of primary and secondary substation equipment, communications systems and also the relationship between them. It enables the interoperable exchange of data during substation engineering by standardizing the description of applications at different stages of the engineering process. To achieve the seamless interoperability, multi-vendor devices are required to adhere completely to the IEC 61850. This paper proposes an efficient algorithm required for verifying the interoperability of multi-vendor devices by checking the adherence of the SCL file to specifications of the standard. Our proposed SCL validation algorithm consists of schema validation and other functionalities including information model validation using UML data model, the Vendor Defined Extension model validation, the User Defined Rule validation and the IED Engineering Table (IET) consistency validation. It also integrates the standard UCAIUG (Utility Communication Architecture International Users Group) Procedure validation for quality assurance testing. Our proposed algorithm is not only flexible and efficient in terms of ensuring interoperable functionality of tested devices, it is also convenient for use by system integrators and test engineers.

Numerical wave interaction with tetrapods breakwater

  • Dentale, Fabio;Donnarumma, Giovanna;Carratelli, Eugenio Pugliese
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • 제6권4호
    • /
    • pp.800-812
    • /
    • 2014
  • The paper provides some results of a new procedure to analyze the hydrodynamic aspects of the interactions between maritime emerged breakwaters and waves by integrating CAD and CFD. The structure is modeled in the numerical domain by overlapping individual three-dimensional elements (Tetrapods), very much like the real world or physical laboratory testing. Flow of the fluid within the interstices among concrete blocks is evaluated by integrating the RANS equations. The aim is to investigate the reliability of this approach as a design tool. Therefore, for the results' validation, the numerical run-up and reflection effects on virtual breakwater were compared with some empirical formulae and some similar laboratory tests. Here are presented the results of a first simple validation procedure. The validation shows that, at present, this innovative approach can be used in the breakwater design phase for comparison between several design solutions with a significant minor cost.

BIM 모델의 품질검증 사례연구 (Case Study of BIM Quality Assurance)

  • 정연석;이상일;이상호
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2010년도 정기 학술대회
    • /
    • pp.379-382
    • /
    • 2010
  • This study proposes a way to validate BIM data quality in BIM applications. Solibri model checker is adopted as a module development platform, which is based on Java programming language. The platform makes application developers implement BIM model checker for their own purpose. This study has developed a BIM validation module for circulation analysis of building design. The validation module enables end-users to automatically detect data corrupted or not defined. In case studies, the module found that an IFC file generated from a BIM software has wrong relation information between a space and boundary elements. A building model should satisfy modeling requirements and then domain users can get analysis results. The BIM data validation module needs to be developed in each BIM application domain.

  • PDF

신호시스템 시운전 시험 연구 (A Study on Test Working of Signalling System)

  • 정의진;황종규;이종우
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2000년도 춘계학술대회 논문집
    • /
    • pp.157-163
    • /
    • 2000
  • Testing evaluation is a part of process for design, production, evaluation, operation and abolition, and is the process of certifying system performance. The main purpose of testing evaluation is to reduce the risk factor under the determining process. Testing process has the three step such as design qualification, integration and validation test in factory, system integration and commissioning test. Design Qualification is to verify errors on the design process. Integration and validation test in factory is for the H/W and S/W of an equipment and is to verify interface of subsystem, communication protocol and main functions. System integration and commissioning test is a functional test to adjust successful installation of equipment. According to the testing process, briefly consideration for test item, test method and test contents about signalling system is carried out.

  • PDF

Analysis, Design, and Implementation of a Single-Phase Power-Factor Corrected AC-DC Zeta Converter with High Frequency Isolation

  • Singh, Bhim;Agrawal, Mahima;Dwivedi, Sanjeet
    • Journal of Electrical Engineering and Technology
    • /
    • 제3권2호
    • /
    • pp.243-253
    • /
    • 2008
  • This paper deals with the analysis, design, and implementation of a single phase AC-DC Zeta converter with high frequency transformer isolation and power factor correction(PFC) in two modes of operation, discontinuous current mode of operation(DCM), and continuous current mode of operation(CCM). A Digital Signal Processor(DSP) based implementation is carried out for validation of the Zeta converter developed design in discontinuous mode of operation. A comparison of both modes of operation is presented for a 1kW power rating from the point of view of steady state and dynamic behavior, power quality, simplicity, control technique, device rating, and converter size. The experimental results of a developed prototype of Zeta converter are presented for validation of the developed design. It is observed that CCM is most suitable for higher power applications where it requires some complex control and sensing of the additional variables.