• Journal of Hydrospace Technology
• /
• 제2권1호
• /
• pp.55-64
• /
• 1996

Herein a review is made on the validation problem of numerical codes applied to floating offshore structures. Since the dynamic behaviour of offshore floating structures in water waves is in general complex and nonlinear, a numerical approach seems to be promising. However, numerical codes are likely involved with uncertainties and they at the present status show apparent scatterness in typical bechmark tests, particularly in second-order wave forces. Convergence test is the minimum requirement for the validation of numerical codes. Some other practical check points are introduced to clarify the potential error sources. It is concluded that a standard procedure for validation must be urgently established sothat numerical methods can safely be used as a rational design tool.

• 한국경영정보학회:학술대회논문집
• /
• 한국경영정보학회 2007년도 International Conference
• /
• pp.557-561
• /
• 2007

Along with the significance of information systems in today s global business operation, the significance of information systems control and audit is ever increasing in the effort to secure accuracy and integrity of vital business data. A study is undertaken to integrate Food and Drug Administration computerized systems validation regulations. Securities & Exchange Commission Sarbanes-Oxley Act of 200 and other significant regulations, and lastly, People Capability Maturity Model into one comprehensive information system validation model. The initial benefits to this comprehensive model are convenience, time-saving, and synchronization of the regulations. An organization that is striving for a high level of quality system in its essential operating areas of organization may opt for this model. After the complete development of the model, a field test would be scheduled to test its efficacy and validity.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.126-131
• /
• 2007

Design for automatic coupler system of Korean Tilting Train eXpress is described. In order to carry out validation & verification activities for system design, test condition is taken into account at collision speed of 10km/h, which is required in Safety Notice for rolling stock vehicle. The study aims at safety validation between a coupler and car body including design verification for a coupler through the identifying of system design and the evaluating of test results.

• Nuclear Engineering and Technology
• /
• 제52권9호
• /
• pp.1926-1938
• /
• 2020

We validated the performance of RELAP MOD3.3 code regarding the hybrid SIT with available experimental data. The concept of the hybrid SIT is to connect the pressurizer to SIT to utilize the water inside SIT in the case of SBO or SB-LOCA combined with TLOFW. We investigated how well RELAP5 code predicts the physical phenomena in terms of the equilibrium time, stratification, condensation against Separate Effect Test (SET) data. We also conducted the validation of RELAP5 code against Integrated Effect Test (IET) experimental data produced by the ATLAS facility. We followed conventional approach for code validation of IET data, which are pre-test and post-test calculation. RELAP5 code shows substantial difference with changing number of nodes. The increase of the number of nodes tends to reduce the condensation rate at the interface between liquid and vapor inside the hybrid SIT. The environmental heat loss also contributes to the large discrepancy between the simulation results of RELAP5 and the experimental data.

• 한국통신학회논문지
• /
• 제33권8B호
• /
• pp.707-718
• /
• 2008

Traffic classification의 방법은 동적으로 변하는 application의 변화에 대처하기 위하여 페이로드나 port를 기반으로 하는 것에서 ML 알고리즘을 기반으로 하는 것으로 변하여 가고 있다. 그러나 현재의 ML 알고리즘을 이용한 traffic classification 연구는 offline 환경에 맞추어 진행되고 있다. 특히, 현재의 기존 연구들은 testing 방법으로 cross validation을 이용하여 traffic classification을 수행하고 있으며, traffic flow를 기반으로 classification 결과를 제시하고 있다. 본 논문에서는 testing방법으로 cross validation과 split validation을 이용했을 때, traffic classification의 정확도 결과를 비교한다. 또한 바이트를 기반으로 한 classification의 결과와 flow를 기반으로 한 classification의 결과를 비교해 본다. 본 논문에서는 J48, REPTree, RBFNetwork, Multilayer perceptron, BayesNet, NaiveBayes와 같은 ML 알고리즘과 다양한 feature set을 이용하여 트래픽을 분류한다. 그리고 split validation을 이용한 traffic classification에 적합한 최적의 ML 알고리즘과 feature set을 제시한다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2008년도 추계학술대회A
• /
• pp.1309-1313
• /
• 2008

This paper suggests an example of modification of the durability test specifications of electronic control unit for an automotive system in phase of design validation. The basic concept to redefine the specifications of durability test is based on the Arrhenius relationship for accelerated temperature test and the modified Coffin-Manson model for temperature cycle test. The ambient temperature of the powered-event durability test is increased to reduce the required test time of the current specification. Furthermore, the holding time between the events to cool down the temperature of the components is shortened and the resultant temperature rise affects the durability of the components. Thus, the acceleration factor due to the increased temperature range of temperature cycle is also estimated by the modified Coffin-Manson model.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 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.

• 한국산학기술학회논문지
• /
• 제21권9호
• /
• pp.144-150
• /
• 2020

본 논문에서는 국외에서 정의하는 자동화시험시스템과 자동화시험장비(ATE)의 비교를 통해 국내 ATE 재정립을 비롯해 국내 유도무기 분야의 ATE 현황을 살펴보면서 국방 분야 ATE의 유효성 확인 방안을 모색해 보았다. 국내 무기체계 개발단계 ATE 장비 유효성 확인 방안 모색을 위한 활동으로 국내 유도무기 분야의 ATE 장비 현황을 분석하고 ATE 유효성 확인 방안을 살펴보았다. 신규 제작되는 ATE에 대해 반복성, 재현성 확인 방안 및 현재 사용되는 ATE의 유효성 확인을 위하여 특정 유도제어부 영상성능에 대해 오류 주입시험을 수행해 보았다. 개발단계부터 유효성 확인을 위한 방안으로 ATE의 설계 및 구현시 사전점검단계 기능을 요구사항으로 반영되야 할 필요성을 논하였으며, 국내 ATE 개발 시 표준화된 국제표준시험시스템 테스트 스크립트 언어를 활용하여 효율적인 유효성 확인과 SW 신뢰성 확보 가능성을 검토해 보았다. 이를 통하면 장기적으로 주장비와 시험장비 간 상호 연동성을 확보할 수 있으며 시험자는 표준화된 시험방식을 지원하는 시험시스템 플랫폼을 확보할 수 있어 무기체계별 특정 ATE 유효성 확인에 효과적일 것으로 판단된다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.985-996
• /
• 2019

본 논문에서는 미국에서 암호모듈검증을 획득한 대표적인 소프트웨어 형태의 암호모듈인 FIPS-OpenSSL의 소스 코드를 분석하여 암호모듈 검증 및 시험기준에서 요구하는 보안요구사항이 소프트웨어적으로 어떻게 구현되어있는지 분석한다. 특히, 암호모듈이 반드시 탑재하고 있어야 하는 자가시험기능 (동작 전 자가시험, 조건부 자가시험) 관점으로 소스코드를 분석한다. 비록 미국 암호모듈 검증제도에서는 FIPS 140-2를 검증기준으로 삼고 있지만, FIPS 140-2는 국내 암호모듈 검증제도에서 암호모듈 검증 및 시험기준으로 삼고 있는 암호모듈 국제표준인 ISO/IEC 19790과 24759의 근간이 되었기 때문에 많은 유사함이 존재한다. 본 논문의 분석을 통하여 향후 암호모듈 개발업체에서 자가시험기능을 정확하고 안전하게 구현할 수 있을 것으로 기대한다.

• 한국컴퓨터정보학회논문지
• /
• 제3권2호
• /
• pp.1-6
• /
• 1998

소프트웨어 개발 과정에서 신뢰성 평가는 대단히 중요하다. 테스트 단계를 구분하지 않은 소프트웨어의 신뢰도 평가˙분석의 결과는 신뢰성이 결여될 수 있다. 따라서 본 논문에서는 이러한 문제점을 해결하기 위해 테스트 단계를 구분하여 신뢰성 평가에 관한 연구를 하였다. 이를 위해 단위 테스트(Unit Test), 통합 테스트(Integration Test), 확인 테스트(Validation Test), 시스템 테스트(System Test)에서 발견된 결함 데이터를 이용하여 소프트웨어 신뢰도 성장 모델(Software Reliability Growth Model : SRGM)인 지수형, 지연 S자형, 습숙 S자형 SRGM에 적용하였다. 그 결과 단위 테스트에서는 습숙 S자형, 통합 테스트에서는 지연 S자형, 확인테스트에서는 지연 S자형, 시스템 테스트에서는 지수형 SRGM이 가장 적합한 것임을 입증하였으며, 신뢰성 평가 척도인 파라미터 추정, 편차 자승합, 기대잔존 결함수 등에서 본 연구의 결과가 기존의 방법보다 우수함을 보였다.