• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• 한국통신학회논문지
• /
• 제15권10호
• /
• pp.811-818
• /
• 1990

이 논문의 목적은 데이타베이스로의 정보 시장에 관한 작업을 담당하는 FLA(Flont-end Language Analyzer)와 여기에서 추출된 데이타베이스의 일관성과 완전성을 쉽게 검사할 수 있고 사용자의 요구에 따라 다양한 형태의 문서를 생성해 주는 BIS(Back-end Information system)를 구축함에 있다. 앞으로 본 시스템음 소프트웨어 시스템 개발에 실제로 사용됨으로써 소프트웨어의 생산성과 신뢰성 향상에 기여할 수 있으리라 예상된다.

• 한국문헌정보학회지
• /
• 제33권4호
• /
• pp.29-46
• /
• 1999

본 연구는 국립중앙도서관의 "한국문헌목록정보"국회도서관의 "국회도서관문헌정보" CD-ROM 데이터베이스에 대하여 데이터 자체의 품질평가 요소인 정확성, 일관성, 완전성의 세 가지와 데이터베이스 서비스의 품질평가 요소인 검색의 편의성, 검색기능의 다양성의 두 가지를 설정하여 품질을 측정하였다. 이와 함께 품질 측정결과를 비교 분석하고, 문제점에 대한 개선방안과 정책적인 제언을 제시하였다.

• 한국컴퓨터정보학회논문지
• /
• 제8권4호
• /
• pp.21-27
• /
• 2003

본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.525-527
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2023년도 춘계학술발표대회
• /
• pp.754-755
• /
• 2023

본 연구는 GPT-3.5 와 GPT-4 를 대상으로 완전성과 일관성 측면에서 코딩 협업 환경에 어떤 버전이 더 적합한지 평가하는 것을 목표로 한다. 두 버전을 대상으로 실험한 결과, GPT-4 가 GPT-3.5보다 완전성과 일관성 측면에서 더 높은 성능을 보였다. 특히 GPT-4 는 모든 항목들에서 100%의 완전성을 보였으나, 일관성은 여전히 개선이 필요함을 확인하였다. 프롬프트 수정만으로는 한계가 있으며, GPT-4 자체의 업그레이드가 필요하다는 의미이며, 향후 연구를 통해 타 생성형 AI 의 성능들도 평가할 예정이다.

• Journal of Information Technology Applications and Management
• /
• 제24권4호
• /
• pp.197-214
• /
• 2017

This study sheds light on the source data quality in big data systems. Previous studies about big data success have called for future research and further examination of the quality factors and the importance of source data. This study extracted the quality factors of source data from the user's viewpoint and empirically tested the effects of source data quality on the usefulness and utilization of big data analytics results. Based on the previous researches and focus group evaluation, four quality factors have been established such as accuracy, completeness, timeliness and consistency. After setting up 11 hypotheses on how the quality of the source data contributes to the usefulness, utilization, and ongoing use of the big data analytics results, e-mail survey was conducted at a level of independent department using big data in domestic firms. The results of the hypothetical review identified the characteristics and impact of the source data quality in the big data systems and drew some meaningful findings about big data characteristics.

• Structural Engineering and Mechanics
• /
• 제69권5호
• /
• pp.579-589
• /
• 2019

Numerous experimental studies have been conducted on reinforced concrete (RC) beams strengthened in shear with externally bonded fiber reinforced polymer (EBFRP). The objectives of this work are to study the behavioral trends of shear strengthened EBFRP RC beams after updating the existing database. The previously published databases have been updated, enriched and cross checked for completeness, redundancy and consistency. The updated database now contains data on 698 EBFRP beams and covers the time span from 1992 to 2018. The collected database then refined applying certain filters and used to investigate and capture better interactions among various influencing parameters affecting the shear strength of EBFRP beams. These parameters include the type and properties of FRP, fiber orientation as well as the strengthening scheme, the shear and the longitudinal steel reinforcement ratios, the shear span ratio, and the geometry of the member. The refined database is used to test the prediction accuracy of the existing design models. Considerable scatters are found in the results of all tested prediction models and in many occasions the predictions are unsafe. To better understand the shear behavior of the EBFRP RC beams and then enhance the prediction models, it was concluded that focused experimental programs should be carried out.

• Nuclear Engineering and Technology
• /
• 제31권2호
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• 한국중재학회지:중재연구
• /
• 제19권1호
• /
• pp.25-44
• /
• 2009

The purpose of this parer is to examine the specifies of Institutional Arbitration and Ad Hoc Arbitration. The court prefers the institutional award in the enforcement rather than the award issued under the name of arbitrators alone. For example, the ICC Court of Arbitration scrutinizes awards for completeness, adherence to the ICC Rules and internal consistency, which since the court assurance for enforcement. In terms of arbitration costs, for which the ad hoc arbitration is considered to have comparative advantages, the institutional arbitration may not be more expensive than ad hoc arbitration, as in most commercial case, the administrative fees are insignificant. This paper suggests the standard or model arbitration clauses in institutional and ad hoc arbitrations. These Clauses contains the minimum elements necessary to render the arbitration agreement enforceable and effective. So both parties may add the specific contents such as the number of arbitrator, the place of arbitration and the language. Especially, in Ad Hoc Arbitration without designated set of rules, more clean clause for appointing arbitrators will be needed.