• 한국인공지능학회지
• /
• 제11권3호
• /
• pp.1-5
• /
• 2023

With recent advancements in artificial intelligence (AI) technology, more products based on AI are being launched and used. However, using AI safely requires an awareness of the potential risks it can pose. These concerns must be evaluated by experts and users must be informed of the results. In response to this need, many countries have implemented certification programs for products based on AI. In this study, we analyze several trends and differences in AI product certification programs across several countries and emphasize the importance of such programs in ensuring the safety and trustworthiness of products that include AI. To this end, we examine four international AI product certification programs and suggest methods for improving and promoting these programs. The certification programs target AI products produced for specific purposes such as autonomous intelligence systems and facial recognition technology, or extend a conventional software quality certification based on the ISO/IEC 25000 standard. The results of our analysis show that companies aim to strategically differentiate their products in the market by ensuring the quality and trustworthiness of AI technologies. Additionally, we propose methods to improve and promote the certification programs based on the results. These findings provide new knowledge and insights that contribute to the development of AI-based product certification programs.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2006년도 6th International Meeting on Information Display
• /
• pp.112-116
• /
• 2006

In this presentation we will describe two core elements, which combination gives a new approach to layout verification; they are a computational algorithm for modeling of photolithographical processes and a method for physical layout verification that uses output contours of that algorithm. Utilization of this approach allows to improve the quality of LCOS/AM OLED backplanes physical verification, because it considers discrepancies between mask features and printed contours on a wafer.

• 전자공학회지
• /
• 제30권9호
• /
• pp.1002-1011
• /
• 2003

In this paper, we introduce an integrated SoC front-end design & verification environment which can be practically used in the embedded 32-bit processor-core SoC VLSI design. Our introduced SoC design & verification environment integrates two most important flows, such as the RTL power estimation and code coverage analysis, with the functional verification (chip validation) flow which is used in the conventional simulation-based design. For this, we developed two simulation-based inhouse tools, RTL power estimator and code coverage analyzer, and used them to adopt them to our RTL design and to increase the design quality of that. Our integrated design environment also includes basic design and verification flows such as the gate-level functional verification with back annotation information and test vector capture & replay environment.

• 한국CDE학회논문집
• /
• 제14권5호
• /
• pp.323-329
• /
• 2009

Auto-makers can only remain competitive by producing high quality vehicles in an efficient way. In designing a production line, one of the most important objectives of digital manufacturing is to verify design errors as early as possible. In terms of the cost and time saving, it is very essential to start the construction of a production line with a proven design which is error-free. Likewise, this paper aims to implement PLC verification using an example. The verification in automobile manufacturing means verifying PLC program, which control automatic devices. In this paper, we built a virtual factory to implement PLC simulation and introduced verification procedure using PLC Studio. Finally, we can prove the availability for the PLC verification.

• 한국전자통신학회논문지
• /
• 제15권3호
• /
• pp.389-396
• /
• 2020

좋은 품질의 제품을 얻기 위해서는 제품 자체에 대한 품질 적합성 검사 이전에 생산 및 시험 관련 설비에 대한 적절한 검증이 반드시 선행되어야 한다. 다양한 생산 및 시험 관련 설비 중에서도 ATE는 오늘날 자동차산업, 항공·우주산업, 반도체산업과 같은 민간분야 뿐만 아니라, 방위산업의 군수품 생산 및 성능시험에도 활발히 사용되고 있다. 본 논문은 다양한 방법을 활용하여 군용 FM 무전기 세트의 자동시험장비 인 ATS에 대해 체계적으로 설계 적합성 검증을 실시 한 결과를 다루고 있으며, 군수품 ATE에 대한 설계 적합성 검증 절차가 명문화 되어있지 않은 현 시점에 좋은 참고자료가 될 것으로 기대된다.

• 품질경영학회지
• /
• 제46권2호
• /
• pp.193-210
• /
• 2018

Purpose: The purpose of this study is to escape from the existing defense quality policy focused on government-led quality assurance for mass-produced items and to secure quality reliability of weapon systems through a defense quality policy paradigm shift based on designing a verification systems anchored on reliability through the enhancement of military supply quality control in the development stage, the enhancement of quality responsibility of the manufacturing contractor and other methods. Methods: For the shift to the quality-based defense quality policy, the status and the problems of the status quo are analyzed and the direction of future defense quality policy is suggested based on literature review of the concept of reliability and reliability in the field of defense, on case studies of global corporations and their quality policies, on the background on quality assurance in defense, and on case studies of quality policies in other government organizations, Results: Based on the case studies of quality policies in global corporations and other government agencies, the importance of preventive quality control from the early development stages, quality control based on the reliability of the materials and parts, and shift of the quality policy to a certification system to achieve these objectives were highlighted. Conclusion: To secure reliability of weapon system quality, the quality policy must be shifted to a system focused on reliability-based design and verification and there is a further need to enhance the operational efficiency and capacity of DTaQ based on studies and evaluation of weapon system reliability.

• 환경영향평가
• /
• 제9권1호
• /
• pp.13-24
• /
• 2000

This paper presents a study of water quality model applications in environmental impact statements which were submitted during recent years in Korea. Most of the applications have reported that the development projects would have significant impacts on the water quality, especially, of streams and rivers. The water quality models, however, were hardly used as an impact prediction tool. Even in the cases where models were used, calibration and verification studies were not performed and thus the predicted results would not be reliable. These poor model applications in environmental impact assessment can be attributable to the fact that there were no available model application guidelines as well as no requirements by the review agency. In addition, the expected waste loads were improperly estimated in most cases, especially in non-point sources, and the predicted parameters were not good enough to understand water quality problems expected from the proposed plans. The effects of mitigation measures were not analyzed in most cases. Again, these can be attributed to no formal guidelines available for impact predictions until now. A brief guideline is described in this paper, including model selection, calibration and verification, impact prediction, and analysis of effects of mitigation measures. The results of this study indicate that the model application should be required to overcome the current improper predictions of environmental impacts and the guidelines should be developed in detail and provided.

• Journal of Dairy Science and Biotechnology
• /
• 제38권4호
• /
• pp.237-239
• /
• 2020

Processes that products we consume that contain dairy foods comprise planning → design → production → quality/suitability assessment → safety verification → launch → distribution → consumption. Analysis of nutrients and potential toxins at each stage in the production process is essential to verify food quality, suitability, and safety. Products display ingredient lists and nutrient content to help consumers choose healthy foods. These products should also be fully assessed for microbes and toxins before reaching consumers. Products require verification through test inspections. However, this step has reduced value from a food manufacturer's viewpoint, because it does not visibly impact real economic trends. The most important first step in determining the quality and suitability of products is the inspection capability of food companies.

• 한국기후변화학회지
• /
• 제9권1호
• /
• pp.81-90
• /
• 2018

"The Framework Act on Low-Carbon Green Growth" specifies the requirements for the development and verification of emission factors for establishing reliable national greenhouse gas statistics. The scope of the regulations covers the development and validation of energy, industrial processes, solvents and other product use, agriculture, land use, land use change and emission and absorption coefficients of the forestry and waste sector as defined in the 1996 IPCC Guideline and GPG 2000, The minerals sector to be covered in this study belongs to industrial processes. As a representative method for quantifying and evaluating GHG emission factors, there are emission grade quality grading and DARS (Data Rating Rating System) in the 'Procedures for Preparing Emission Factor Documents (1997)' reported by US-EPA. However, the above two methods are not specific and comprehensive, and lack the details for accurate emission factor verification. Therefore, there is a need for a method for verifying and quantifying certified greenhouse gas emission factors that reflects characteristics of each industry sector in Korea and accord with IPCC G/L and GHG target management. In this study, we conducted a weighted study on quantitative and evaluation lists of emission factor using questionnaires to develop a more accurate methodology for quantifying national greenhouse gas emission factors in the mineral sector. Quantification and evaluation of emission factor are classified into essential verification and quality evaluation. The essential verifications are : administrative compatibility, method of determining emission factors, emission characteristics, sampling methods and analysis methods, representativeness of data. The quality evaluations consisted of the quality control of the data, the accuracy of the measurement and analysis, the level of uncertainty, not directly affect the emission factor, but consisted of factors that determine data quality.

• 한국기후변화학회지
• /
• 제8권3호
• /
• pp.239-245
• /
• 2017

This study aimed to suggest priority for developing emission factor (EF) and to develop the methodology of quantitative assessment of EF in the forestry sector. Based on the stock-difference method, 17 kinds of EFs (27 EFs based on forest types) were required to calculate the carbon emission in the forestry sector. Priority for developing EFs followed the standards, which is a development plan by the government agency, importance of carbon stock for greenhouse gas, and EFs by the species. Currently, the most urgent development of EFs was carbon fraction in biomass and carbon stock in dead wood. Meanwhile, the quantitative assessment of EF consisted of 7 categories (5 categories of compulsory and 2 categories of quality evaluation) and 12 verification factors. Category in compulsory verification consisted of administrative document, determination methodology of emission factors, emission characteristic, accuracy of measurement and analysis, and data representative. Category in quality evaluation consisted of data management and uncertainty estimates. Based on the importance of factors in the verification process, each factor was scored separately, however, the score needs to be coordinated by the government agency. These results would help build a reliable and accurate greenhouse gas inventory report of Korea.