• 제목/요약/키워드: Test plan

검색결과 1,800건 처리시간 0.028초

플랜정합과 프로그램 실행을 통한 프로그래밍 오류분석에 관한 연구 (Automatic Programming-Error Detection by Plan Matching and Program Execution)

  • 송종수;임순범
    • 한국멀티미디어학회논문지
    • /
    • 제7권7호
    • /
    • pp.985-997
    • /
    • 2004
  • 본 논문에서는 플랜 정합과 프로그램 실행결과를 이용하여 초보자들의 C언어 프로그램을 이해하고 오류를 지적해 주는 프로그래밍 오류 분석시스템을제시하였다. 프로그램 실행 결과를 이용함으로써 프로그래밍 플랜간의 연관관계를 유연하게 표시할 수 있고, 플랜 정합의 차이점이 정확한지를 검증할 수 있게 해주며, 한 플랜의 오류가 연관된 타 플랜에 어떤 영향을 주었는지를 파악할 수 있게 해준다. 플랜 간의 연관관계에 따라 오류의 원인과 파급 효과를 지적하고 예제나 반례에 해당하는 사례를 구체적으로 제시하여, 사용자가 이해하기 쉽게 오류에 대한 설명을 제공한다. 14종의 다양하고 난이도 있는 실습예제에 대해 학생들이 작성한 프로그램에 있는 오류를 분석함으로써 안정되고 신뢰성 있는 오류분석 시스템임을 보여주고 있다.

  • PDF

Bilevel-programming based failure-censored ramp-stress ALTSP for the log-logistic distribution with warranty cost

  • Srivastava, P.W.;Sharma, D.
    • International Journal of Reliability and Applications
    • /
    • 제17권1호
    • /
    • pp.85-105
    • /
    • 2016
  • In this paper accelerated life testing is incorporated in quality control technique of acceptance sampling plan to induce early failures in high reliability products.Stress under accelerated condition can be applied in constant-stress, step-stress and progressive-stress or combination of such loadings. A ramp-stress results when stress is increased linearly (from zero) with time. In this paper optimum failure-censored ramp-stress accelerated life test sampling plan for log-logistic distribution has been formulated with cost considerations. The log-logistic distribution has been found appropriate for insulating materials. The optimal plans consist in finding optimum sample size, sample proportion allocated to each stress, and stress rate factor such that producer's and consumer's interests are safeguarded. Variance optimality criterion is used when expected cost per lot is not taken into consideration, and bilevel programming approach is used in cost optimization problems. The methods developed have been illustrated using some numerical examples, and sensitivity analyses carried out in the context of ramp-stress ALTSP based on variable SSP for proportion nonconforming.

벌크재료의 신뢰성보증을 위한 샘플링검사 방식 (A Bulk Sampling Plan for Reliability Assurance)

  • 김동철;김종걸
    • 대한안전경영과학회지
    • /
    • 제9권2호
    • /
    • pp.123-134
    • /
    • 2007
  • This paper focuses on the in-house reliability assurance plan for the bulk materials of each company. The reliability assurance needs in essence a long time and high cost for testing the materials. In order to reduce the time and cost, accelerated life test is adopted. The bulk sampling technique was used for acceptance. Design parameters might be total sample size(segments and increments}, stress level and so on. We focus on deciding the sample size by minimizing the asymptotic variance of test statistics as well as satisfying the consumer's risk. In bulk sampling, we also induce the sample size by adapting the normal life time distribution model when the variable of the lognormal life time distribution is transformed and adapted to the model. In addition, the sample size for both the segments and increments can be induced by minimizing the asymptotic variance of test statistics of the segments and increments with consumer's risk met. We can assure the reliability of the mean life and B100p life time of the bulk materials by using the calculated minimum sample size.

데이터센터 냉방시스템 고효율화를 위한 국내 수열에너지 보급 제도 개선에 관한 연구 (A Study on the Improvement of the Water Source Energy Distribution Regulation for High Efficient Data Center Cooling System in Korea)

  • 조용;최종민
    • 한국지열·수열에너지학회논문집
    • /
    • 제17권3호
    • /
    • pp.21-29
    • /
    • 2021
  • In this study, the current regulation of the water source energy, one of the renewable energy, was analyzed, and the improvement plan for the high efficient data center cooling system was suggested. In the improvement plan, the design and construction guidelines of the water source energy system permit to adopt the cooling and heating system with or without heat pump. In addition, it should also include the system operated in the cooling mode only all year-round. The domestic test standards to consider the water source operating conditions should be developed. Especially, it is highly recommended that the test standards to include the system with forced cooling and free cooling modes related with the enhanced data center cooling system adopting the water source energy.

공지통신무전기 성능개량을 위한 시험평가 방안 연구 (A Study of Test and Evaluation Method for Performance Improvement of Air to Ground Communication Radios)

  • 이병헌;안승범;최명석;허장욱
    • 한국군사과학기술학회지
    • /
    • 제25권3호
    • /
    • pp.267-274
    • /
    • 2022
  • The Republic of Korea has a close cooperative relationship with NATO, of which the United States is a member. NATO is encouraged to follow UHF coalition waveforms for military air operations(SATURN) as defined in STANAG 4372. SATURN is a high-speed frequency hopping waveform with enhanced anti-jamming and security functions. Plans to improve the performance of existing military aircraft with air to ground radios to which SATURN function is applied. IFF case analysis and MRT evaluation plan were established to present an efficient test and evaluation plan for air to ground radios.

와이블 분포에서의 종결형 축차시험방안 (Truncated Sequential Test Plan under Weibull Distribution)

  • 정해성;차명수;오근태
    • 한국신뢰성학회지:신뢰성응용연구
    • /
    • 제3권2호
    • /
    • pp.137-143
    • /
    • 2003
  • Sequential test plans are characterized by decision rules for accepting or rejecting compliance, or continuing the test at my test time. They are determined by selected values of risks and discrimination ratio. The sequential test plans in the international standard such as MIL-HDBK-781A are based on the assumption that the underlying distribution of times between failures is exponential. In this paper, sequential test plans are extended to the Weibull distribution case. Simulation studies are performed to examine the reasonability in this extension.

  • PDF

ANALYSIS OF THE FLOOR PLAN DATASET WITH YOLO V5

  • MYUNGHYUN JUNG;MINJUNG GIM;SEUNGHWAN YANG
    • Journal of the Korean Society for Industrial and Applied Mathematics
    • /
    • 제27권4호
    • /
    • pp.311-323
    • /
    • 2023
  • This paper introduces the industrial problem, the solution, and the results of the research conducted with Define Inc. The client company wanted to improve the performance of an object detection model on the floor plan dataset. To solve the problem, we analyzed the operational principles, advantages, and disadvantages of the existing object detection model, identified the characteristics of the floor plan dataset, and proposed to use of YOLO v5 as an appropriate object detection model for training the dataset. We compared the performance of the existing model and the proposed model using mAP@60, and verified the object detection results with real test data, and found that the performance increase of mAP@60 was 0.08 higher with a 25% shorter inference time. We also found that the training time of the proposed YOLO v5 was 71% shorter than the existing model because it has a simpler structure. In this paper, we have shown that the object detection model for the floor plan dataset can achieve better performance while reducing the training time. We expect that it will be useful for solving other industrial problems related to object detection in the future. We also believe that this result can be extended to study object recognition in 3D floor plan dataset.

골반 림프선을 포함한 전립선암 치료 시 Split VMAT plan의 유용성 평가 (Evaluating efficiency of Split VMAT plan for prostate cancer radiotherapy involving pelvic lymph nodes)

  • 문준기;손상준;김대호;서석진
    • 대한방사선치료학회지
    • /
    • 제27권2호
    • /
    • pp.145-156
    • /
    • 2015
  • 목 적 : 골반 림프선을 포함한 전립선암 치료 시 기존 치료방법인 직장 전체를 윤곽 그리기한 2회전 치료계획(이하 Conventional VMAT plan)과 직장의 선량을 낮추기 위하여 상부와 하부로 나누어 윤곽 그리기한 2회전 치료계획(이하 Split VMAT plan)의 유용성을 비교, 평가하고자 한다. 대상 및 방법 : 본원에서 TrueBeam STX(Varian Medical Systems, USA)를 이용하여, Split VMAT plan으로 방사선치료를 받은 전립선암 환자 9명을 대상으로 하였다. 전산화치료계획은 Eclipse(Ver 10.0.42, Varian, USA), PRO3(Progressive Resolution Optimizer 10.0.28), AAA(Anisotropic Analytic Algorithm Ver 10.0.28) 알고리즘을 사용하였다. 전립선 PTV의 Superior 방향으로 1 cm부터 Inferior방향으로 1 cm까지를 하부 직장으로, 전체 직장에서 직장 하부를 제외한 부분을 상부 직장으로 윤곽 그리기(Contouring) 하였다. 치료계획은 콜리메이터 각도 $30^{\circ}$, $330^{\circ}$, 겐트리 회전반경이 각각 $360^{\circ}$인 두 개의 ARC, 10MV를 이용하였다. 처방 선량은 28회에 걸쳐 동시 추가 분할 선량법(Simultaneous Integrated Boost, SIB)으로 전립선에 총 선량이 각각 63~70 Gy, 골반 림프선에 총 선량이 50.4 Gy가 되도록 하였다. Split VMAT plan을 통해 도출된 전체 직장의 $D_{mean}$를 Conventional VMAT plan에서 전체 직장의 선량용적제한 값으로 설정하여 Conventional VMAT plan을 수립하였고, 그 외에 모든 조건은 동일하게 설정하였다. 모든 치료계획은 최적화 과정에서 나타나는 선량 차이의 무작위성을 최소화하기 위하여 각각 2회의 최적화와 선량 계산 과정을 거쳤으며 전립선 PTV100% = 90% 또는 95%로 Normalize 하였다. 전체 상부 하부 직장의 평균선량, 방광의 평균선량, 상부 직장의 $V_{50%}$, 각 치료 계획의 Total MU, 그리고 PTV의 H.I.(Homogeneity Index), C.I.(Conformity Index)를 평가 지표로 설정하였고, 전자영상유도장치를 이용하여 임상 적용 가능 여부 확인을 위한 IMRT verification QA(Gamma test)를 실시하였다. 결 과 : 두 치료계획의 평균선량을 비교한 결과 전체 직장은 최대 134.4 cGy, 최소 43.5 cGy, 평균 75.6 cGy로, 하부 직장은 최대 100.5 cGy, 최소 -34.6 cGy, 평균 34.3 cGy로, 상부 직장 은 최대 1113.5 cGy, 최소 87.2 cGy, 평균 550.5 cGy로, 방광은 최대 271 cGy, 최소 -55.5 cGy, 평균 117.8 cGy로 모두 Split VMAT plan이 낮은 값을 보였다. 상부 직장의 V50%도 최대 63.4%, 최소 3.2%, 평균 23.2%로 Split VMAT plan이 낮은 것으로 나타났다. Total MU는 Split VMAT plan이 최대 148, 최소 7로, 평균 77 더 많이 사용하는 것으로 나타났다. PTV에 대한 H.I.와 C.I.는 두 치료계획 모두 서로 비슷한 결과를 나타냈다. Split VMAT plan에 대한 IMRT verification QA 결과 2 mm / 2%, Gamma pass rate 90.0% 기준을 모두 통과하였다. 결 론 : 골반 림프선을 포함한 전립선암 치료 시 Split VMAT plan은 Conventional VMAT plan과 비교하여 대부분의 평가지표에서 유리한 것으로 나타냈으며 치료효율을 높이면서 특히 상부 직장 선량을 감소시켜 전체 직장 선량을 낮추는데 탁월한 효과를 나타냈기 때문에 이를 적용시켜 방사선 치료효과를 높이는 것이 중요할 것이라 사료된다.

  • PDF

액체추진제 분해촉매 장기성능시험장치 개발 및 평가방안 (Development of Long-Life Performance Test Equipment & Evaluation Plan for Hydrazine Decomposition Catalyst)

  • 김인태;김정훈;이재원;장기원;유명종;김수겸;이균호
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2006년도 제27회 추계학술대회논문집
    • /
    • pp.407-412
    • /
    • 2006
  • 하이드라진을 이용한 단일추진제 추력기에서 촉매의 성능은 추력기 및 전체 시스템의 임무수명시간을 결정하는 가장 중요한 요소 중의 하나이다. 이러한 촉매의 개발과정에 필수적으로 요구되는 것이 추력기의 연소시험을 통한 성능평가 과정으로 특히, 촉매의 수명시험에 해당하는 장기성능 검증시험을 통해 그 적용가능성을 판단하게 된다. 본 연구에서는 이를 위한 시험장치의 개발 및 시험/평가방안에 대해 기술하였다.

  • PDF

공항전문기업의 BCP기법을 활용한 위기대응 가이드라인 개발에 관한 연구 (A Study on Developing the Guideline of Risk Management utilizing BCP technique for Airport Corporation)

  • 서병석;신도형
    • 대한안전경영과학회지
    • /
    • 제17권2호
    • /
    • pp.67-78
    • /
    • 2015
  • The purpose of the establishment of corporation's Business Continuity Plan(BCP) is to maintain corporations' own business and establish the response plan in order to resume operation in a short time period when crisis situations occur due to natural disaster and human error. This study has presented all types of procedures and criteria which are needed to establish the airport crisis response system in order to maintain the business continuity by utilizing BCP technique. Basically the risk response procedures must be established in the process of (1) preparation stage, (2) plan development stage, (3) documentation stage, (4) test & maintenance stage. The guideline has been suggested that each stage must be carried out in the sequence of Policy & Planning Responsibility, Business Impact Analysis, Recovery Strategy & Plans, Emergency Plan & SOP, Training Awareness and Maintenance & Review