• 제목/요약/키워드: International Quality Assurance

검색결과 163건 처리시간 0.024초

PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증 (Formal Verification of Functional Properties of an SCR-style Software Requirements Specifications using PVS)

  • 김태호;차성덕
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제8권1호
    • /
    • pp.46-61
    • /
    • 2002
  • 소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.

Activation Plan of the Post-Construction Sales through a Perception Survey of Seoul Citizens and Experts

  • YoonHye JUNG;JungSeok OH;SunJu KIM
    • 융합경영연구
    • /
    • 제12권2호
    • /
    • pp.11-18
    • /
    • 2024
  • Purpose: The purpose of this study is to suggest the activation plan of the post-construction sales through the results of a survey on the perception of Seoul citizens and experts. Research design, data and methodology: The purpose of this study is to suggest the activation plan of the post-construction sales through the results of a survey on the perception of Seoul citizens and experts. Results: According to a survey of Seoul citizens' perceptions, 76.7% of Seoul citizens were well aware of post-construction sales and recognized that post-construction sales would reduce pre-sale speculation and confusion in the real estate market. Second, 73.6% of Seoul citizens were willing to buy houses through post-construction sales, and third, 79.6% of Seoul citizens recognized that a post-sale system was necessary. Experts' opinions generally responded to the expansion of the introduction of post-construction sales, saying, 'It is necessary for both the public and the private sectors'. Second, while experts say that there are also positive effects, negative effects such as polarization centered on large corporations, an increase in sales prices, and a decrease in housing supply are also concerned. Third, experts responded that 'diversification of financing methods' is the most important task in revitalizing the post-sale system. Conclusions: The policy implications are that it is necessary to mandate the post-construction sales in the long term, and that the quality assurance system needs to be supplemented even if the sale is promoted post-construction sales. In addition, private participation is essential to revitalize the post-construction sales, and government support such as initial financing, low-interest rates, and various financing measures should be sought to expand private participation.

호주 TEQSA와 홍콩 HKCAAVQ의 고등교육기관 평가인증 사례분석 (A Case Study on the Higher Educational Institute Accreditation System in Australia TEQSA and Hong Kong HKCAAVQ)

  • 김정희;정진철;이현민
    • 비교교육연구
    • /
    • 제28권3호
    • /
    • pp.49-75
    • /
    • 2018
  • 호주와 홍콩은 국가자격체계가 잘 갖춰져 있는 국가로 다양한 고등교육기관과 고등교육수준 프로그램에 대한 질 관리와 인증이 운영되고 있다. 본 연구의 목적은 호주와 홍콩의 고등교육기관 평가인증 사례를 비교 분석하여 국내 평가인증체제에 기초자료를 제공하고자 한다. 이를 위해 Kis(2005)의 분석틀을 수정 및 보완하여 호주의 고등교육질관리기구(TEQSA)와 홍콩의 학술 및 직업자격평가 심사국(HKCAAVQ) 사례를 분석하였다. 호주와 홍콩의 고등교육기관 질 평가 보증은 공통적으로 '인증(accreditation)' 을 강조하고, 아울러 고등교육 수준의 자격, 학위, 교육프로그램의 질 인증을 위해 별도의 평가기관을 운영하고 있었으며, 해당 기관에서 인증평가를 실시하고 있다. 호주와 홍콩의 사례를 살펴보았듯이 우리나라의 고등교육 학제 및 자격체제와는 상이하기 때문에 직접적으로 고등교육기관 평가기준을 적용하기에는 제한이 있지만, 국가 간 고등교육 인적 자원을 교류하는 차원에서 국제적인 통용성을 고려하여 고등교육 질 관리 기준을 참고하여 고등교육기관 평가를 실시하는 것이 필요할 것이다.

스쿠버 인증과 동남아의 레저 잠수 현황 연구 (A study on the scuba certification and status of leisure diving in Southeast Asia countries.)

  • 강신영
    • 한국항해항만학회지
    • /
    • 제32권1호
    • /
    • pp.109-114
    • /
    • 2008
  • 본 연구는 동남아 각국에서 시행되고 있는 레저 스쿠버 잠수 인증 제도에 대한 자료를 수집하고, 잠수 현황 및 인증 현황을 비교하였다. 자료 수집을 위해 인터넷에 게시된 내용을 많이 활용하였고, 관련 문헌을 조사하였으며, 자료 보완을 위해 잠수 협회 관계자, 2007년 동남아 각국의 DIVE EXPO에 참가한 동남아 각국의 관공홍보 정부 관계자, 잠수 리조트 운영자 및 강사들과 폭 넓은 인터뷰를 하였다. 논문에는 인증 제도에 대한 이해를 돕기 위해 스쿠버 인증과 국제 표준의 관계에 대해서도 언급하였다. 조사 결과, 동남아 지역은 레저 스쿠버 잠수 활동이 매우 활발한 지역으로 관광 산업에서 중요한 부분을 차지하고 있었으며, 전 세계 레저 다이버 인증 숫자의 30% 이상을 차지하고 있는 큰 시장으로 발전되어 있었다. 그러나 스쿠버 잠수 활동이 구미 지역에서 도입되었고 잠수 단체의 총 본부가 구미 지역에 있는 만큼 잠수 제도나 정책 문제에 있어서 조직 체계상 아시아에서 주도적인 역할을 하기 어려운 구조이며, 현재 상태로는 개선책을 찾기가 매우 어려울 것으로 예상된다. 또한 동남아시아에서는 유럽이나 미국과 같이 국제 표준 제도와 협력하여 교육의 질을 높이기 위한 프로그램 도입 및 단체 결성에는 아직 무관심한 것으로 나타났지만 이에 대한 필요성이 곧 대두될 것으로 예측되고 있다.

Measurement uncertainty analysis of radiophotoluminescent glass dosimeter reader system based on GD-352M for estimation of protection quantity

  • Kim, Jae Seok;Park, Byeong Ryong;Yoo, Jaeryong;Ha, Wi-Ho;Jang, Seongjae;Jang, Won Il;Cho, Gyu Seok;Kim, Hyun;Chang, Insu;Kim, Yong Kyun
    • Nuclear Engineering and Technology
    • /
    • 제54권2호
    • /
    • pp.479-485
    • /
    • 2022
  • At the Korea Institute of Radiological and Medical Sciences, physical human phantoms were developed to evaluate various radiation protection quantities, based on the mesh-type reference computational phantoms of the International Commission on Radiological Protection. The physical human phantoms were fabricated such that a radiophotoluminescent glass dosimeter (RPLGD) with a Tin filter, namely GD-352M, could be inserted into them. A Tin filter is used to eliminate the overestimated signals in low-energy photons below 100 keV. The measurement uncertainty of the RPLGD reader system based on GD-352M should be analyzed for obtaining reliable protection quantities before using it for practical applications. Generally, the measurement uncertainty of RPLGD systems without Tin filters is analyzed for quality assurance of radiotherapy units using a high-energy photon beam. However, in this study, the measurement uncertainty of GD-352M was analyzed for evaluating the protection quantities. The measurement uncertainty factors in the RPLGD include the reference irradiation, regression curve, reproducibility, uniformity, energy dependence, and angular dependence, as described by the International Organization for Standardization (ISO). These factors were calculated using the Guide to the Expression of Uncertainty in Measurement method, applying ISO/ASTM standards 51261(2013), 51707(2015), and SS-ISO 22127(2019). The measurement uncertainties of the RPLGD reader system with a coverage factor of k = 2 were calculated to be 9.26% from 0.005 to 1 Gy and 8.16% from 1 to 10 Gy. A blind test was conducted to validate the RPLGD reader system, which demonstrated that the readout doses included blind doses of 0.1, 1, 2, and 5 Gy. Overall, the En values were considered satisfactory.

온라인 P2P 대출의도의 영향요인에 관한 연구: 런런다이 사례를 중심으로 (Influencing Factors on the Lending Intention of Online Peer-to-Peer Lending: Lessons from Renrendai.com)

  • 양금;이영찬
    • 한국정보시스템학회지:정보시스템연구
    • /
    • 제25권2호
    • /
    • pp.79-110
    • /
    • 2016
  • 목적 온라인 P2P 대출은 온라인 재무 중계업자를 통해 친분이 없는 개인 간의 대출을 가능하게 해주는 새로운 방법이다. 대체로 온라인 P2P 거래에서는 돈을 대출받고자 사람과 대부하고자 사람이 이전에 개인적인 관계가 없는 경우가 일반적이다. 광범위한 선행연구를 통해 본 연구에서는 온라인 P2P 플랫폼을 통한 대출의도에 미치는 영향요인을 파악하기 위한 연구모형을 구축하였고, 중국 온라인 P2P 대출업체 중에서 가장 규모가 큰 런런다이 사례를 중심으로 실증분석을 실시하였다. 설계/방법론/접근 연구가설을 검증하기 위해 본 연구에서는 42개 문항으로 구성된 설문지를 개발하였고, 모든 항목은 리커트 5점 척도를 사용하였다. 중국 설문조사 전문 웹사이트인 sojump.com을 통해 런런다이 서비스 가입자 246명을 대상으로 설문조사를 실시하였고, 자료분석을 위해 SPSS 20.0과 AMOS 18.0을 사용하였다. 가설검증에 앞서 측정도구의 신뢰성, 타당성, 복합신뢰도 그리고 평균분산추출을 계산하였고, 동일방법편의(common method bias) 여부도 함께 진단하였다. 연구모형에서 매개변수로 사용된 플랫폼 신뢰와 대출자 신뢰에 대한 가설검증을 실시한 후 구조방정식을 이용하여 연구가설을 검증하였다. 시사점 연구결과 서비스품질, 정보품질, 구조적 보증, 인지도 그리고 명성은 온라인 P2P 대출 플랫폼에 대한 신뢰에 유의한 영향을 미치는 것으로 나타났다. 다음으로 인지도, 명성 그리고 지각된 위험은 대출자에 대한 신뢰와 대출의도에 유의한 영향을 미치는 것으로 나타났다. 세 번째로 신뢰경향은 대출자에 대한 신뢰에 정(+)의 영향을 미치는 것으로 나타났다. 마지막으로 인지도, 명성 그리고 지각된 위험, 플랫폼 신뢰, 대출자 신뢰는 대부자의 대출의도에 직접적인 영향을 미치는 것으로 나타났다.

해양성 발광박테리아를 이용한 해양환경 독성평가 시험법 개발: N-Tox test (Development of Marine Toxicity Standard Method for Marine Luminescent Bacteria: Introduction of N-Tox test)

  • 이규태;박경수;김평중
    • 한국해양학회지:바다
    • /
    • 제13권2호
    • /
    • pp.156-163
    • /
    • 2008
  • 해양 기원의 발광박테리아 Vibrio fischeri를 이용한 발광박테리아 독성시험법은 1980년대 초반에 소개된 이후 많은 연구자들에 의해 이용되어오다 1998년 국제공인시험법으로 등재되어 지금은 전 세계적으로 이용되고 있다. 이 시험법은 테스트하고자하는 화학물질이나 환경시료에 발광박테리아를 30분간 노출시킨 후 나타나는 발광량 감소의 정도로서 독성 유무나 강도를 평가하는 방법으로서 신속성, 정밀성, 민감성, 경제성이 뛰어나다는 평가를 받고 있으며, 시험생물의 유지/배양없이 상용화된 키트 제품을 이용하여 독성 시험을 수행할 수 있다. 본 연구에서는 해양성 발광 박테리아 독성평가 키트로 판매되는 상용화제품(N-Tox)을 이용하여 수행된 결과를 제시하였다. 시험법 개발 및 표준화를 위한 시험항목으로는 시료 주입량, 발광량과 같은 기본 항목 테스트와 표준독성물질을 이용한 정도관리 테스트, 화학물질 및 현장시료에 대한 테스트가 포함되었다. 이 시험법은 자동화되어 누구나 쉽게 수행이 가능하면서도, 시험 결과 독성물질에 대한 용량-반응 관계가 확실하게 평가되고, 정밀도가 뛰어나며, 현장시료 독성평가에 이용할 수 있을 정도의 민감성을 지닌 것으로 입증되었다. 따라서 아직 생물검정이 보편화되지 않은 국내에서 편리하게 이용할 수 있는 표준독성시험방법의 하나로서 활용 가능하다고 사료된다.

해양생태계 모니터링을 위한 식물플랑크톤 자료의 정도 관리 동향 (Trends in QA/QC of Phytoplankton Data for Marine Ecosystem Monitoring)

  • 이원호;박종우;성경아;박종규;유영두;김형섭
    • 한국해양학회지:바다
    • /
    • 제26권3호
    • /
    • pp.220-237
    • /
    • 2021
  • 1880년대에 들어서서 해양 식물플랑크톤의 기능적 중요성이 처음 주창된 이래, 전통적인 형태 관찰법 및 진보된 형태 자동분석 기술을 기반으로 하여 다량의 식물플랑크톤 종별 정량자료가 생산되었다. 최근에는 해수시료 중의 색소를 직접 분석하거나 원격탐사 자료를 해석하여 색소특성에 따른 분류군별 정량자료를 생산함으로써, 자료생산 방법이 점점 다양해지고 자료 확보 대상 정점에 대한 시공간적 접근성도 크게 개선되고 있다. 장기적인 해양생태계 모니터링에서 식물플랑크톤의 종별 정량자료가 생산된 경우도 적지 않아, 각각의 해역에서 중장기적인 해양 식물플랑크톤의 구조와 기능의 변동에 대한 중요한 증거로 활용될 수 있다. 그러나 모니터링 기간 전체에 걸친 연대별 자료 생산자 간의 차이로 인해 이러한 자료의 활용성이 제한될 수 있는데, 시료 처리 및 분석법, 종의 확인 및 분류, 분석이 완료된 시료의 관리 등의 다양한 측면에서 연대별 생산자 간의 편차가 적지 않다. 해양 식물플랑크톤의 종별 정량자료 값을 정확하게 구하기 위한 심도있는 연구는 1880년대 후반 Victor Hensen이 시작한 것으로 평가된다. 정확도를 포함한 해양 식물플랑크톤 자료의 정도 관리에 관한 국제적인 논의는 ICSU의 SCOR Working Group 33을 중심으로 1969년에 시작되었다. 첫 결실로 UNESCO 해양과학기술보고서 제18편이 1974년 출판되었는데, 이는 UNESCO의 해양학 방법론의 전문연구서적 제6편인 Phytoplankton Manual 출판의 실마리였다. 1990년대 말에는 ISO 기준에 따른 해양 식물플랑크톤 종별 정량자료의 정도관리를 달성하여, 국제적인 자료의 상호비교 및 교정을 가능하게 하려는 수행기구인 IPI (International Phytoplankton Intercomparison)의 전신인 BEQUALM 사업이 유럽에서 본격 출범하였다. IPI는 지난 20여 년간의 경험과 실적을 바탕으로 정도관리 기준을 모든 나라에서 적용할 수 있도록 국제협력을 강화해 나가고 있다. 우리나라의 해양화학 분야 측정자료의 정도관리 체계와 내용이 잘 정립된 데 비하여, 해양생물의 종별 정량자료에 대한 본격적인 정도관리 체계는 아직 법제화 단계에 이르지 못하고 있다. 우선, 해양생태계의 기초 생산자인 식물플랑크톤의 종별 정량자료에 대한 정도관리 체계를 확립하고, 다양한 기능생물군으로 이를 확장해 나갈 필요가 있다.

COATED PARTICLE FUEL FOR HIGH TEMPERATURE GAS COOLED REACTORS

  • Verfondern, Karl;Nabielek, Heinz;Kendall, James M.
    • Nuclear Engineering and Technology
    • /
    • 제39권5호
    • /
    • pp.603-616
    • /
    • 2007
  • Roy Huddle, having invented the coated particle in Harwell 1957, stated in the early 1970s that we know now everything about particles and coatings and should be going over to deal with other problems. This was on the occasion of the Dragon fuel performance information meeting London 1973: How wrong a genius be! It took until 1978 that really good particles were made in Germany, then during the Japanese HTTR production in the 1990s and finally the Chinese 2000-2001 campaign for HTR-10. Here, we present a review of history and present status. Today, good fuel is measured by different standards from the seventies: where $9*10^{-4}$ initial free heavy metal fraction was typical for early AVR carbide fuel and $3*10^{-4}$ initial free heavy metal fraction was acceptable for oxide fuel in THTR, we insist on values more than an order of magnitude below this value today. Half a percent of particle failure at the end-of-irradiation, another ancient standard, is not even acceptable today, even for the most severe accidents. While legislation and licensing has not changed, one of the reasons we insist on these improvements is the preference for passive systems rather than active controls of earlier times. After renewed HTGR interest, we are reporting about the start of new or reactivated coated particle work in several parts of the world, considering the aspects of designs/ traditional and new materials, manufacturing technologies/ quality control quality assurance, irradiation and accident performance, modeling and performance predictions, and fuel cycle aspects and spent fuel treatment. In very general terms, the coated particle should be strong, reliable, retentive, and affordable. These properties have to be quantified and will be eventually optimized for a specific application system. Results obtained so far indicate that the same particle can be used for steam cycle applications with $700-750^{\circ}C$ helium coolant gas exit, for gas turbine applications at $850-900^{\circ}C$ and for process heat/hydrogen generation applications with $950^{\circ}C$ outlet temperatures. There is a clear set of standards for modem high quality fuel in terms of low levels of heavy metal contamination, manufacture-induced particle defects during fuel body and fuel element making, irradiation/accident induced particle failures and limits on fission product release from intact particles. While gas-cooled reactor design is still open-ended with blocks for the prismatic and spherical fuel elements for the pebble-bed design, there is near worldwide agreement on high quality fuel: a $500{\mu}m$ diameter $UO_2$ kernel of 10% enrichment is surrounded by a $100{\mu}m$ thick sacrificial buffer layer to be followed by a dense inner pyrocarbon layer, a high quality silicon carbide layer of $35{\mu}m$ thickness and theoretical density and another outer pyrocarbon layer. Good performance has been demonstrated both under operational and under accident conditions, i.e. to 10% FIMA and maximum $1600^{\circ}C$ afterwards. And it is the wide-ranging demonstration experience that makes this particle superior. Recommendations are made for further work: 1. Generation of data for presently manufactured materials, e.g. SiC strength and strength distribution, PyC creep and shrinkage and many more material data sets. 2. Renewed start of irradiation and accident testing of modem coated particle fuel. 3. Analysis of existing and newly created data with a view to demonstrate satisfactory performance at burnups beyond 10% FIMA and complete fission product retention even in accidents that go beyond $1600^{\circ}C$ for a short period of time. This work should proceed at both national and international level.

광도전체 물질의 치료 방사선 선량계 적용을 위한 가능성 연구 (The Feasibility Study of photoconductor materials for the use of a dosimeter in Radiotherapy)

  • 장기원;신정욱;오경민;박성광;김진영;박지군;남상희
    • 한국방사선학회논문지
    • /
    • 제7권1호
    • /
    • pp.81-84
    • /
    • 2013
  • 고 에너지 방사선의 이용과 치료 계획의 발전이 이루어지면서 치료방사선에서 선량 측정의 중요성은 더욱 부각되고 있다. 이러한 선량 측정을 위한 검출기에는 이온 전리함, 필름, 열형광선량계, 다이오드 등이 있다. 이중, 다이오드 검출기는 입사되는 방사선에 의하여 전기적인 신호를 생성하는 광도전체 물질을 사용하는데, 이러한 광도전체 물질에 대해서 최근 많은 연구 그룹들이 관심을 가지고 있다. 하지만, 방사선 치료 영역에서만은 실리콘(Si) 이외에 물질에 대한 연구 결과가 활발히 도출되고 있지 않은 실정이다. 본 논문에서는 광도전체 물질의 고 에너지 방사선에 대한 반응 특성을 확인함으로써 선량계로의 적용 가능성을 검증하고자 하였다. 요오드화수은($HgI_2$)과 요오드화납($PbI_2$)을 기반으로 하는 검출기를 제작하여, 선형가속기에서 입사되는 고 에너지 방사선에 대하여 재현성, 선형성, Pulse rate response를 평가하였다. 이러한 항목들은 치료방사선의 선량계로써의 역할을 평가할 수 있는 필수 요소들이다. 실험결과, 제작된 요오드화수은($HgI_2$)은 약 7% 내외의 재현성과 선형성 오차를 나타내었으며, 요오드화납($PbI_2$)은 1.7%의 선형성 오차와 12.2%의 재현성 오차를 가지는 것으로 확인되었다.