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

Search Result 2,336, Processing Time 0.034 seconds

A Study on Architecture of Test Program based UML (UML 기반 점검 프로그램 설계 방법에 관한 연구)

  • Kim, ByoungYong;Jang, JungSu;Ban, ChangBong;Lee, HyoJong;Yang, SeungYul
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.49 no.10
    • /
    • pp.217-230
    • /
    • 2012
  • This paper propose interacting test programming methods between test equipment and hardware unit to verify function and performance of the hardware unit under test. Proposed test program can minimizes the risk of failures when the unit is mounted on the aircraft by testing and verifying the unit under the worst stress condition. Also, Object oriented design using UML make it easy to apply in other equipments. Test program consists of architecture package and hardware package. Architecture package is in a role for system management, log analysis, message receiving and message analysis. Messages that are used by system management define messages for testing and defined messages is sent and received to test equipment through Ethernet. Hardware package is in a role for hardware management that is needed to be tested and is related to a system. Hardware to be tested is divided into internal test and transmission test. Internal test inspects hardware itself and reports the test results to the test equipment. Transmission test inspects communication device by sending or receiving data. All kinds of test is done in the worst condition of the test unit executing in parallel. Each device is tested at least 482 times and at most 15,003 times about one hour. Test program is utilized in hardware reliability test like as environmental test or EMI test.

Development and Verification of OGSFLAC Simulator for Hydromechanical Coupled Analysis: Single-phase Fluid Flow Analysis (수리-역학적 복합거동 해석을 위한 OGSFLAC 시뮬레이터 개발 및 검증: 단상 유체 거동 해석)

  • Park, Chan-Hee;Kim, Taehyun;Park, Eui-Seob;Jung, Yong-Bok;Bang, Eun-Seok
    • Tunnel and Underground Space
    • /
    • v.29 no.6
    • /
    • pp.468-479
    • /
    • 2019
  • It is essential to comprehend coupled hydro-mechanical behavior to utilize subsurface for the recent demand for underground space usage. In this study, we developed a new simulator for numerical simulation as a tool for researching to consider the various domestic field and subsurface conditions. To develop the new module, we combined OpenGeoSys, one of the scientific software package that handles fluid mechanics (H), thermodynamics (T), and rock and soil mechanics (M) in the subsurface with FLAC3D, one of the commercial software for geotechnical engineering problems reinforced. In this simulator development, we design OpenGeoSys as a master and FLAC3D as a slave via a file-based sequential coupling. We have chosen Terzaghi's consolidation problem related to single-phase fluid flow at a saturated condition as a benchmark model to verify the proposed module. The comparative results between the analytical solution and numerical analysis showed a good agreement.

Evaluating the Effect of Upper Dams Release on Downstream Water Quality in Nakdong River Basin (낙동강수계 다목적댐군의 방류량과 하류 수질과의 관계 분석)

  • Choi, Jung-Kyu;Kim, Yu-Kyung;Jung, Yong-Rak;Shin, Sang-Il;Chung, Se-Woong
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2007.05a
    • /
    • pp.1307-1311
    • /
    • 2007
  • 유역의 자연 유출량이 줄어드는 갈수기 동안 낙동강 본류의 수질은 상류지역의 댐 방류량에 큰 영향을 받는다. 따라서 수질이 취약한 중 하류부지역의 수량과 수질을 종합적으로 고려한 낙동강 수계의 물 관리를 위해서는 댐 방류량과 하류 수질의 정량적인 관계에 근거한 다목적댐군의 연계운영이 필요하다. 본 연구의 목적은 정상상태 하천수질모델을 이용하여 낙동강수계 다목적댐군의 방류량과 하류 하천의 수질 관계를 정량적으로 분석하고, 갈수기 동안 낙동강 수질개선을 위해 필요한 적정 댐 용수공급 시나리오를 제시하는데 있다. 낙동강수계 댐 군의 하류 하천 수질을 고려한 저수지운영 계획 수립을 지원하기 위하여 1차원 정상상태 수질예측모델인 QUAL2E를 구축하고 실측 유량과 수질자료를 이용하여 모델을 보정하고 검증하였다. 검증된 모델은 낙동강수계 상류에 위치한 안동댐, 임하댐, 그리고 중 하류 지류에 위치한 합천댐과 남강댐의 용수공급 시나리오별 하천 수질개선 효과를 분석하는데 적용하였다. 연구결과 낙동강 수질이 악화되는 갈수기 동안 중 하류부에 위치한 상수원의 수질을 개선하기 위해서는 합천댐과 남강댐에서보다는 상류에 위치한 안동댐과 임하댐에서 용수를 추가 공급하는 것이 더욱 효과적인 것으로 평가되었다. 댐 방류량 증감에 따라 수질영향을 가장 크게 받는 하천구간은 수질오염도가 가장 크게 나타나는 금호강합류점${\sim}$고령교구간인 것으로 분석되었다. 본 연구결과는 낙동강과 같이 수량이 부족한 하천은 오염부하량 삭감 대책과 함께 갈수기 유량조절이 매우 중요한 요소임을 보여주며, 주기적인 수질악화를 겪는 낙동강 중 하류 지역의 수질개선을 위한 상류 다목적댐군의 연계운영 계획 수립에 활용될 수 있을 것으로 사료된다.치모의 결과와 현장에서 관측한 유속장을 비교함으로써 본 연구에서 제시한 실제 탁수배제능력을 검증하였다.를 구축하였다는데 의의가 있다.로와 접하는 건물의 경우 모서리부 광고 효과가 지배적이며 대부분 곡선돌출형이 사용되고 있었다. 그러므로 모서리 저층부를 필로티로 계획하여 보행흐름을 원활하게 하고 대신 입면을 투명하게 하여 간접광고(내부전시) 효과를 유도하는 것이 좋다. 특히 원형모서리는 건물 특화 성격이 강하므로 불가피할 경우 소형 액센트 광고 위치를 미리 벽면으로 할애하는 것이 경관 및 입면계획에 유리한 것으로 분석되었다. 불확실도 해석모형 등의 새로운 기능을 추가하여 제시하였다. 모든 입출력자료는 프로젝트 단위별로 운영되어 data의 관리가 손쉽도록 하였으며 결과를 DB에 저장하여 다른 모형에서도 적용할 수 있도록 하였다. 그리고 HyGIS-HMS 및 HyGIS-RAS 모형에서 강우-유출-하도 수리해석-범람해석 등이 일괄되게 하나의 시스템 내에서 구현될 수 있도록 하였다. 따라서 HyGIS와 통합된 수리, 수문모형은 국내 하천 및 유역에 적합한 시스템으로서 향후 HydroInformatics 구현을 염두에 둔 특화된 국내 수자원 분야 소프트웨어의 개발에 기본 토대를 제공할 것으로 판단된다.았다. 또한 저자들의 임상병리학적 연구결과가 다른 문헌에서 보고된 소아 신증후군의 연구결과와 큰 차이를 보이지 않음을 알 수 있었다. 자극에 차이가 있지 않나 추측되며 이에 관한 추후 연구가 요망된다. 총대장통과시간의 단축은 결장 분절 모두에서 줄어들어 나타났으나 좌측결장 통과시간의 감소 및 이로 인한 이 부위의 통과시간 비율의 저하가 가장 주요하였다. 이러한 결과는 차가운 생수 섭취가 주로 결장 근위부를 자극하는 효과를 발휘하는 것이

  • PDF

Metrics Measurement System Supporting Quality Evaluation of Java Program (Java 프로그램의 품질평가를 지원하는 메트릭 측정 시스템)

  • Park, Ok-Cha;Yoo, Cheol-Jung;Chang, Ok-Bae
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.7 no.2
    • /
    • pp.151-164
    • /
    • 2001
  • Java, used as the most representative object-oriented language, isil becoming the popular language for Internet/Intranet based program development. Moreover, it is used for development language in a variety of areas such as component based development language. In the view of reuse and maintenance of developed program, quality evaluation of program is becoming a more important issue. So, metrics measurement for quality evaluation of program that is developed at present including existing Java application is necessary. However, it is necessary that whether existing object-oriented software metrics is suitable on Java program is to be validated So, in this paper, we build an automated metrics measurement system that needs to validate on object-oriented software metrics and wish to support metrics measurement that is to determine it. The purpose of this system is to support a precise quality evaluation tool. In this system, we apply the metrics classified by Briand. Briand classified the metrics by formalizing mathematically them to verify feasibility of existing object-oriented software metrics. Using the proposed system, we can make comparison and analysis of validation on existing object-oriented metrics by calculating quantitative information more rapidly from Java source program. If there is any problem in feasibility of the metrics, we can establish a suitable metrics on Java program by considering reiJ,1forcement of the existing metrics or proposing new metrics.

  • PDF

A Study on HILS for Performance Analysis of Airborne EOTS for Aircraft (항공기용 EOTS 성능분석을 위한 HILS시스템 구축에 관한 연구)

  • Chun, Seungwoo;Baek, Woonhyuk;La, Jongpil
    • Journal of the Korea Society of Computer and Information
    • /
    • v.18 no.12
    • /
    • pp.55-64
    • /
    • 2013
  • In this paper, the HILS (Hardware In-the-Loop Simulation) system to analyze and to verify the performance of the targeting pod is addressed. The main functions of the targeting pod is acquiring and tracking targets to guide a LGB (Laser Guided Bomb) to the targets. For the analysis of targeting pod, the real time simulate images generation of IR and daylight cameras, sever control technology, and the analysis of laser transfer characteristics are necessary. For the real time image generation and the laser transfer characteristics analysis, off-the-shelf SDK(Software Development Kit) OKTAL-SE is used. For the servo controller, well-proven mechanism in the previous program is applied to increase servo control accuracy. To analyze the performance of a targeting pod in a realistic environment, 1553B, ARINK818 interface and etc. which are actually implemented in real combat aircrafts are applied in the system. By using the developed HILS system, the performance of currently operating targeting pods in real combat aircrafts can be analyzed and predicted. Additionally, the relationship between overall system performance and each module performance can be analyzed, the currently developed HILS system is expected to be a very useful tool to generate system development requirements of targeting pods and to reduce any possible future development risks.

Transient Heat Transfer Analysis and Fire Test for Evaluation on Fire Resistance Performance of A60 Class Deck Penetration Piece (A60급 갑판 관통 관의 방화성능 평가를 위한 과도 열전달 해석과 화재시험)

  • Park, Woo Chang;Song, Chang Yong
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.22 no.4
    • /
    • pp.1-9
    • /
    • 2021
  • A60 class deck penetration piece is a fire-resistance apparatus installed on the deck compartment to protect lives and prevent flame diffusion in fire accidents. In case that the A60 piece is newly developed or its initial design is revised, it is important to verify the fire resistance performance using a fire test procedure (FTP) code. In this paper, transient heat transfer analysis was carried out to evaluate the fire resistance design compatibility of the newly devised A60 piece. The analysis results were verified via a fire test. The heat transfer characteristics were also investigated by comparing design specifications, such as diameter, internal configuration, and material type. The analysis was performed using ABAQUS/Implicit, and the fire test was performed according to the FTP code. The fire resistance performance of the A60 pieces satisfied the safety of life at sea convention regulation. The material type was the most important design specification for the A60 piece. Based on the maximum test temperature, the measured temperature of SUS316L material was 25% lower than that of S45C on average. The differences between thermal conductivity and specific heat of each material were 17% and 58%, respectively.

A Study on Improving Performance of the Deep Neural Network Model for Relational Reasoning (관계 추론 심층 신경망 모델의 성능개선 연구)

  • Lee, Hyun-Ok;Lim, Heui-Seok
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.7 no.12
    • /
    • pp.485-496
    • /
    • 2018
  • So far, the deep learning, a field of artificial intelligence, has achieved remarkable results in solving problems from unstructured data. However, it is difficult to comprehensively judge situations like humans, and did not reach the level of intelligence that deduced their relations and predicted the next situation. Recently, deep neural networks show that artificial intelligence can possess powerful relational reasoning that is core intellectual ability of human being. In this paper, to analyze and observe the performance of Relation Networks (RN) among the neural networks for relational reasoning, two types of RN-based deep neural network models were constructed and compared with the baseline model. One is a visual question answering RN model using Sort-of-CLEVR and the other is a text-based question answering RN model using bAbI task. In order to maximize the performance of the RN-based model, various performance improvement experiments such as hyper parameters tuning have been proposed and performed. The effectiveness of the proposed performance improvement methods has been verified by applying to the visual QA RN model and the text-based QA RN model, and the new domain model using the dialogue-based LL dataset. As a result of the various experiments, it is found that the initial learning rate is a key factor in determining the performance of the model in both types of RN models. We have observed that the optimal initial learning rate setting found by the proposed random search method can improve the performance of the model up to 99.8%.

A Study of Adoption of The Fourth Industrial Revolution New Products (4차산업혁명 신제품 소비자 수용에 대한 연구)

  • Kim, Moon-Tae
    • Management & Information Systems Review
    • /
    • v.38 no.2
    • /
    • pp.165-182
    • /
    • 2019
  • This study investigated the consumer acceptance process of the fourth industrial revolution new product to be introduced into the market in the future. The 4th Industrial Revolution new products are technological advances compared to the existing ones. The technology acceptance model that was used in the past has been modified to reflect variables like the social effects of the 4th Industrial Revolution, expected experience, and perceived risk. Modified models were proposed and verified. Six representative new products of the 4th Industrial Revolution were selected and examined by 40 respondents, and the hypotheses were verified using programs such as SPSS and AMOS. And conclusions and implications are as follows. First, the innovativeness of the fourth industrial revolution new products influences positive evaluation factors such as expected experience and perceived usefulness and it also affect positively to the perceived risk. In addition, the expected experience of the fourth industrial revolution new products has a great effect on the perceived usefulness and social influence, but it didn't affect to the perceived risk. Like the results of the TAM model, purchase intention of the fourth industrial revolution new products are strongly influenced by perceived usefulness. Finally, the perceived risk of the new product of the 4th Industrial Revolution had no statistically significant effect on the purchase intention, and the social influence of the 4th Industrial Revolution had a significant effect on the purchase intention. In general, respondents are highly aware of the social impact of the Fourth Industrial Revolution and seem to be very positive in this respect.

A Study on Improving the Data Quality Validation of Underground Facilities(Structure-type) (지하시설물(구조물형) 데이터 품질검증방법 개선방안 연구)

  • Bae, Sang-Keun;Kim, Sang-Min;Yoo, Eun-Jin;Im, Keo-Bae
    • Journal of Cadastre & Land InformatiX
    • /
    • v.51 no.2
    • /
    • pp.5-20
    • /
    • 2021
  • With the available national spatial information that started from the sinkholes that occurred nationwide in 2014 and integrated 15 areas of underground information, the Underground Spatial Integrated Map has been continuously maintained since 2015. However, until recently, as disasters and accidents in underground spaces such as hot water pipes rupture, cable tunnel fires, and ground subsidence continue to occur, there is an increasing demand for quality improvement of underground information. Thus, this paper attempted to prepare a plan to improve the quality of the Underground Spatial Integrated Map data. In particular, among the 15 types of underground information managed through the Underground Spatial Integrated Map, quality validation improvement measures were proposed for underground facility (structure-type) data, which has the highest proportion of new constructions. To improve the current inspection methods that primarily rely on visual inspection, we elaborate on and subdivide the current quality inspection standards. Specifically, we present an approach for software-based automated inspection of databases, including graphics and attribute information, by adding three quality inspection items, namely, quality inspection methods, rules, and flow diagram, solvable error types, to the current four quality inspection items consisting of quality elements, sub-elements, detailed sub-elements, and quality inspection standards.

A Security SoC embedded with ECDSA Hardware Accelerator (ECDSA 하드웨어 가속기가 내장된 보안 SoC)

  • Jeong, Young-Su;Kim, Min-Ju;Shin, Kyung-Wook
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.26 no.7
    • /
    • pp.1071-1077
    • /
    • 2022
  • A security SoC that can be used to implement elliptic curve cryptography (ECC) based public-key infrastructures was designed. The security SoC has an architecture in which a hardware accelerator for the elliptic curve digital signature algorithm (ECDSA) is interfaced with the Cortex-A53 CPU using the AXI4-Lite bus. The ECDSA hardware accelerator, which consists of a high-performance ECC processor, a SHA3 hash core, a true random number generator (TRNG), a modular multiplier, BRAM, and control FSM, was designed to perform the high-performance computation of ECDSA signature generation and signature verification with minimal CPU control. The security SoC was implemented in the Zynq UltraScale+ MPSoC device to perform hardware-software co-verification, and it was evaluated that the ECDSA signature generation or signature verification can be achieved about 1,000 times per second at a clock frequency of 150 MHz. The ECDSA hardware accelerator was implemented using hardware resources of 74,630 LUTs, 23,356 flip-flops, 32kb BRAM, and 36 DSP blocks.