• Title/Summary/Keyword: Verification and validation

Search Result 563, Processing Time 0.023 seconds

Development of IFC Standard for Securing Interoperability of BIM Data for Port Facilities (항만 BIM 데이터의 상호운용성 확보를 위한 IFC 표준 개발)

  • Moon, Hyoun-Seok;Won, Ji-Sun;Shin, Jae-Young
    • Journal of KIBIM
    • /
    • v.10 no.1
    • /
    • pp.9-22
    • /
    • 2020
  • Recently, BIM has been extended to infrastructures such as roads and bridges, and the demand for BIM standard development for ports is increasing internationally. Due to the low level of utilization of classification system and drawing standards compared to other infrastructures, and the closed nature of national security facilities, ports have insufficient level of connection and sharing environment among external systems or users. In addition, since the standardization of data for port facilities is not made, it is still necessary to establish an independent DB for each system and to ensure interoperability of data between these systems since it does not have a shared environment among similar data. Therefore, the purpose of this study is to develop and verify IFC, the international standard for BIM, in order to cope with the BIM environment and to be commonly used in the design, construction, and maintenance of port facilities. To this end, we build a standard schema with port-specific Express Notation according to buildingSMART International's standard development methodology. First, domestic and international reference model standards were analyzed to derive components such as space and facilities of port facilities. Based on this, the components of the port facility were derived through the codification, categorization, and normalization process developed by the research team. This was extended based on the port BIM object classification system developed by the research team. Normalization results were verified by designers and associations. Then, IFC schema construction was based on Express-G data modeling based on IFC 4 * 2 Candidate, which is a bridge candidate standard based on IFC4 (ISO16739), and IFC 4 * 3 Draft, which is developed by buildingSMART International. The final schema was validated using the commercialized validation tool. In addition, in order to verify the structural verification of the port IFC schema, the transformation process was verified by converting the caisson model into a Part21 file. In the future, this result will not only be used as a delivery standard for port BIM products, but will also be applied as a linkage standard between systems and a common data format for port BIM platforms when BIM is used in the maintenance phase. In particular, it is expected to be used as a core standard for data exchange in the port maintenance stage.

A Study of Web Application Attack Detection extended ESM Agent (통합보안관리 에이전트를 확장한 웹 어플리케이션 공격 탐지 연구)

  • Kim, Sung-Rak
    • Journal of the Korea Society of Computer and Information
    • /
    • v.12 no.1 s.45
    • /
    • pp.161-168
    • /
    • 2007
  • Web attack uses structural, logical and coding error or web application rather than vulnerability to Web server itself. According to the Open Web Application Security Project (OWASP) published about ten types of the web application vulnerability to show the causes of hacking, the risk of hacking and the severity of damage are well known. The detection ability and response is important to deal with web hacking. Filtering methods like pattern matching and code modification are used for defense but these methods can not detect new types of attacks. Also though the security unit product like IDS or web application firewall can be used, these require a lot of money and efforts to operate and maintain, and security unit product is likely to generate false positive detection. In this research profiling method that attracts the structure of web application and the attributes of input parameters such as types and length is used, and by installing structural database of web application in advance it is possible that the lack of the validation of user input value check and the verification and attack detection is solved through using profiling identifier of database against illegal request. Integral security management system has been used in most institutes. Therefore even if additional unit security product is not applied, attacks against the web application will be able to be detected by showing the model, which the security monitoring log gathering agent of the integral security management system and the function of the detection of web application attack are combined.

  • PDF

Comparison of Laboratory Tests Applied for Diagnosing the SARS-CoV-2 Infection (SARS-CoV-2 감염의 진단에 이용되는 검사실 테스트의 비교)

  • Lee, Chang-Gun;Lee, Dongsup
    • Korean Journal of Clinical Laboratory Science
    • /
    • v.54 no.2
    • /
    • pp.79-94
    • /
    • 2022
  • Due to the highly contagious nature and severity of the respiratory diseases caused by COVID-19, economical and accurate tests are required to better monitor and prevent the spread of this contagion. As the structural and molecular properties of SARS-CoV-2 were being revealed during the early stage of the COVID-19 pandemic, many manufacturers of COVID-19 diagnostic kits actively invested in the design, development, validation, verification, and implementation of diagnostic tests. Currently, diagnostic tests for SARS-CoV-2 are the most widely used and validated techniques for rapid antigen, and immuno-serological assays for specific IgG and IgM antibody tests and molecular diagnostic tests. Molecular diagnostic assays are the gold standard for direct detection of viral RNA in individuals suspected to be infected with SARS-CoV-2. Antibody-based serological tests are indirect tests applied to determine COVID-19 prevalence in the community and identify individuals who have obtained immunity. In the future, it is necessary to explore technical problems encountered in the early stages of global or regional outbreaks of pandemics and provide future directions for better diagnostic tests. This article evaluates the commercially available and FDA-approved molecular and immunological diagnostic assays and analyzes their performance characteristics.

A Study on the Research Trends in Unmanned Surface Vehicle using Topic Modeling (토픽모델링을 이용한 무인수상정 기술 동향 분석)

  • Kim, Kwimi;Ma, Jungmok
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.21 no.7
    • /
    • pp.597-606
    • /
    • 2020
  • Because the USV(Unmanned Surface Vehicle) is capable of remote control or autonomous navigation at sea, it can secure the superiority of combat power while minimizing human losses in a future combat environment. To plan the technology for the development of USV, the trend analysis of related technology and the selection of promising technology should be preceded, but there has been little research in this area. The purpose of this paper was to measure and evaluate the technology trends quantitatively. For this purpose, this study analyzed the technology trends and selected promising/declining technologies using topic modeling of papers and patent data. As a result of topic modeling, promising technologies include control and navigation, verification/validation, autonomous level, mission module, and application technology, and declining technologies include underwater communication and image processing technology. This study also identified new technology areas that were not included in the existing technology classification, e.g., technology related to research and development of USV, artificial intelligence, launch/recovery, and operation, such as cooperation with manned and unmanned systems. The technology trends and new technology areas identified through this study may be used to derive key technologies related to the development of the USV and establish appropriate R&D policies.

A Defect Prevention Model based on SW-FMEA (SW-FMEA 기반의 결함 예방 모델)

  • Kim Hyo-Young;Han Hyuk-Soo
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.7
    • /
    • pp.605-614
    • /
    • 2006
  • The success of a software development project can be determined by the use of QCD. And as a software's size and complexity increase, the importance of early quality assurance rises. Therefore, more effort should be given to prevention, as opposed to correction. In order to provide a framework for the prevention of defects, defect detection activities such as peer review and testing, along with analysis of previous defects, is required. This entails a systematization and use of quality data from previous development efforts. FMEA, which is utilized for system safety assurance, can be applied as a means of software defect prevention. SW-FMEA (Software Failure Mode Effect Analysis) attempts to prevent defects by predicting likely defects. Presently, it has been applied to requirement analysis and design. SW-FMEA utilizes measured data from development activities, and can be used for defect prevention on both the development and management sides, for example, in planning, analysis, design, peer reviews, testing, risk management, and so forth. This research discusses about related methodology and proposes defect prevention model based on SW-FMEA. Proposed model is extended SW-FMEA that focuses on system analysis and design. The model not only supports verification and validation effectively, but is useful for reducing defect detection.

3D Simulation Study to Develop Automated System for Robotic Application in Food Sorting and Packaging Processes (식품계량 및 포장 공정 로봇 적용 자동화 시스템 개발을 위한 3D 시뮬레이션 연구)

  • Seunghoon Baek;Seung Eel Oh;Ki Hyun Kwon;Tae Hyoung Kim
    • The Journal of Korea Institute of Information, Electronics, and Communication Technology
    • /
    • v.16 no.5
    • /
    • pp.230-238
    • /
    • 2023
  • Small and medium-sized food manufacturing enterprises are largely reliant on manual labor, from inputting raw materials to palletizing the final product. Recently, there has been a trend toward smartness and digitization through the implementation of robotics and sensor data technology. In this study, we examined the effectiveness of improvement through 3D simulation on two repetitive work processes within a food manufacturing company. These processes involve workers whose speed cannot match the capacity of the applied equipment. Two manual processes were selected: the weighing and packing process performed by workers after skewer assembly, and the manual batch process of counting randomly delivered frozen foods, packing (both internal and external), and palletizing. The production volume, utilization rate, and number of workers were chosen as verification indicators. As a result of the simulation for improving the 3D process, production increased by 13.5% and 56.8% compared to the existing process, respectively. This was particularly evident in the process of applying palletizing robots. In both processes, as the utilization rate and number of input workers decreased, robots could replace tasks with high worker fatigue, thereby reducing work overload. This study demonstrates the potential to visually compare the process flow improvement using 3D simulations and confirms the possibility of pre-validation for improvement.

Analysis and Verification of Ancient DNA (고대 DNA의 분석과 검증)

  • Jee, Sang-hyun;Seo, Min-seok
    • Korean Journal of Heritage: History & Science
    • /
    • v.40
    • /
    • pp.387-411
    • /
    • 2007
  • The analysis of ancient DNA (aDNA) has become increasingly considerable anthropological, archaeological, biological and public interest. Although this approach is complicated by the natural damage and exogenous contamination of a DNA, archaeologists and biologists have attempted to understand issues such as human evolutionary history, migration and social organization, funeral custom and disease, and even evolutionary phylogeny of extinct animals. Polymerase chain reaction(PCR) is powerful technique that analyzes DNA sequences from a little extract of an ancient specimen. However, deamination and fragmentation are common molecular damages of aDNA and cause enzymatic inhibition in PCR for DNA amplification. Besides, the deamination of a cytosine residue yielded an uracil residue in the ancient template, and results in the misincorporation of an adenine residue in PCR. This promotes a consistent substitution (cytosine thymine, guanine adenine) to original nucleotide sequences. Contamination with exogenous DNA is a major problem in aDNA analysis, and causes oversight as erroneous conclusion. This report represents serious problems that DNA modification and contamination are the main issues in result validation of aDNA analysis. Now, we introduce several criterions suggested to authenticate reliance of aDNA analysis by many researchers in this field.

A study on smart inspection technologies and maintenance system for tunnel (터널 스마트 점검기술 및 유지관리 제도 분석에 관한 연구)

  • Jee-Hee Jung;Kang-Hyun Lee;Sangrae Lee;Bumsik Hwang;Nag-Young Kim
    • Journal of Korean Tunnelling and Underground Space Association
    • /
    • v.25 no.6
    • /
    • pp.569-582
    • /
    • 2023
  • In recent years, the service life of major SOC facilities in south korea has exceeded 30 years, and rapid aging is expected within the next 10 years. This has led to a growing recognition of the need for proactive maintenance of these facilities. Consequently, there have been numerous research efforts to introduce smart inspection technologies into maintenance. However, the current system relies primarily on manpower for safety inspections and diagnostics, and on-site surveys rely on visual inspections. Manpower inspections can be time-consuming, and subjective errors may occur during result analysis. In the case of tunnels, there are disadvantages, such as the loss of social overhead capital due to partial closures during inspections. Therefore, institutionalizing smart safety inspections is essential, considering specific measures like using advanced equipment and updating qualifications for experts. Furthermore, it is necessary to verify and validate safety inspection results using advanced equipment before instituting changes. This could be achieved through national-level official research programs and the operation of verification and validation institutions. If smart inspection technology is introduced into maintenance, routine inspections of SOC facilities, such as tunnels, will become feasible. As a result, maintenance technology capable of early detection and proactive response to safety incidents caused by changes in facility conditions is anticipated.

A Study of the Development of Green Camp Evaluation Index based on the CIPP Model (CIPP 모형을 활용한 그린캠프 평가지표 연구)

  • Park, Chan Hee
    • The Journal of the Korea Contents Association
    • /
    • v.20 no.3
    • /
    • pp.491-505
    • /
    • 2020
  • The purpose of this study is to develop an evaluation index that can assess the Army training program of Green Camp. The result of the evaluation index phased-developed with the CIPP model is summarized below. First, the literature review with documents relevant to program evaluation, Green Camp field research, and expert discussions were used to select factors considered for evaluation and develop a preliminary evaluation area and item for the four areas within the CIPP evaluation model. Second, an initial survey targeting Green Camp and soldiers in the Capital Defense Command examined the preliminary reliability·validity, and the Focused Group discussions were used to supplement the evaluation index. Third, secondary surveys were conducted in four battalions in Gangwon-do and third surveys targeted officers from twelve different corps and personnels related to the Green Camp which verified descriptive statistics analysis, exploratory factor analysis, and correlation analysis in version SPSS 24. Fourth, with the validation verification procedure, 16 evaluation area and 36 evaluation index was confirmed. Fifth, the 36 evaluation index developed was subdivided into 57 indexes and the Delphi method was applied through the policy expert to formulate 43 generalized indexes. The significance of this phased research approach was considered for the institutionalization of the usage of scientific evaluation(index) and development in policy process.

An Instrument Development and Validation for Measuring High School Students' Systems Thinking (고등학생들의 시스템 사고 측정을 위한 측정 도구 개발과 타당화)

  • Lee, Hyonyong;Kwon, Hyuksoo;Park, Kyungsuk;Lee, Hyundong
    • Journal of The Korean Association For Science Education
    • /
    • v.33 no.5
    • /
    • pp.995-1006
    • /
    • 2013
  • The purposes of this study were to develop an instrument to measure high school students' systems thinking and to validate the scale. The scale of systems thinking was made up for 5 factors - systems thinking, mental model, shared vision, personal mastery, and team learning through analyses of related literature. Six items per factor were constructed and the scale consisted of a total of 30 items for the pretest. After exploratory factor analysis, the number of total items was reduced to 20 items. For the main test, 280 students were sampled from high school and analyzed valid cases were 260 students. The finding of the exploratory factor analysis indicated 5 factors in the model, and 4 items per single factor. The result of confirmatory factor analysis was generally appropriate and acceptable (5 factor model: $x^2/df$=1.275, TLI=.946, CFI=.959, RMSEA=.033). The reliability for 20 items turned out to be reliable because the Cronbach's alphas were .840 and .604~.723 per each factor. This study should be expanded to various school levels and should be standardized for further research. The subsequent studies regarding diverse learning program development and implementation and the verification on the students' impact within the developed program can be recommended.