• 제목/요약/키워드: Verification and validation

검색결과 568건 처리시간 0.026초

0-1 혼합정수계획법을 이용한 LCD 패널 절단 문제 최적화 (Optimization of LCD Panel Cutting Problem Using 0-1 Mixed Integer Programming)

  • 김기동;박현지;심윤섭;전태보
    • 센서학회지
    • /
    • 제26권4호
    • /
    • pp.274-279
    • /
    • 2017
  • LCD(Liquid Crystal Display) panel cutting problem is a sort of two dimensional cutting stock problem. A cutting stock problem is problem that it minimizes the loss of the stock when a stock is cut into various parts. In the most research of the two dimensional cutting stock problem, it is supposed that the relative angle of a stock and parts is not important. Usually the angle is regarded as horizontal or perpendicular. In the manufacturing of polarizing film of LCD, the relative angle should be maintained at some specific angle because of the physical and/or chemical characteristics of raw material. We propose a mathematical model for solving this problem, a two-dimensional non-Guillotine cutting stock problem that is restricted by an arranged angle. Some example problems are solved by the C++ program using ILOG CPLEX classes. We could get the verification and validation of the suggested model based on the solutions.

R&D 소프트웨어 연구 활동 지원을 위한 전문가 평가 가이드라인 생성 (Generating a Guideline of Expert Assessment to Support Feedback of Research Activity of R&D Software)

  • 신종환;백두산;이병정;이정원
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2016년도 춘계학술발표대회
    • /
    • pp.500-503
    • /
    • 2016
  • 소프트웨어의 개발 단계에서는 검증을 위한 V&V(Verification & Validation) 프로세스를 통해 체계적인 개발 활동이 가능하도록 지원하고 있다. 이에 반해 소프트웨어 요구사항 분석 이전에 수행되는 연구 단계는 그렇지 못하며, 또한 소프트웨어 연구 사업의 평가 시 구체적인 기준의 부재, 평가 시간과 수집된 자료의 부족 등의 문제가 제기 되었다. 따라서 본 논문에서는 연구자의 연구 활동과 연구 평가자의 연구 평가 활동을 지원하기 위해 소프트웨어 관련 국제 표준에서 추출한 요구사항을 바탕으로 하여 목표 구조, 평가 메트릭을 도출하고, 평가 시나리오와 그것을 해설해주는 가이드라인을 생성하는 방법을 제안한다. 우리의 연구는 연구 평가를 위한 메트릭 가이드라인인 라이덴 선언에 일부 부합하는 것을 확인하였다. 연구 결과는 연구 평가의 효율화와 자동화를 위한 향후 연구의 기초가 될 것이다.

객체지향 메트릭을 이용한 결함 예측 모형의 실험적 비교 (A Comparative Experiment of Software Defect Prediction Models using Object Oriented Metrics)

  • 김윤규;김태연;채흥석
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제15권8호
    • /
    • pp.596-600
    • /
    • 2009
  • 검증과 확인을 통한 소프트웨어의 효율적인 관리를 지원하기 위하여 객체지향 메트릭 기반의 결함 예측 모형이 많이 제안되고 있다. 제안된 모형은 주로 로지스틱 회귀분석으로 개발하였다. 그리고 개발된 모형의 결함 예측 정확도는 60${\sim}$70%이었다. 본 논문에서는 기존 결함 예측 모형의 효과를 확인하기 위하여 이클립스 3.3을 대상으로 개발된 모형과 유사한 방법으로 실험을 하였다. 실험 결과 모형의 정확성은 약 40%이었다. 이는 주장된 예측력보다 많이 낮은 수치이었다. 또한 단순 로지스틱 회귀분석이 다중 로지스틱 회귀분석보다 높은 예측력을 보였다.

비대칭성이 고려된 나선형 시험 모델을 통한 손상 수상함의 직진 안정성 추정 (Estimation of Straight Line Stability of a Damaged Surface Combatant through Spiral Maneuver Test Model Considering Asymmetry)

  • 하정수;정연환
    • 시스템엔지니어링학술지
    • /
    • 제16권2호
    • /
    • pp.110-117
    • /
    • 2020
  • In this paper, we estimated the straight line stability by performing a 3 degree of freedom spiral test simulation of a intact/damaged surface combatant using the hydrodynamic coefficient obtained through the PMM(Planar motion mechanism) test based on system engineering process. A model ship was ONR Tumblehome and damaged compartment was set on the starboard bow. As a result of conducting a spiral test simulation based on the experimental results of J.Ha (2018), the asymmetric straight line stability due to the damaged compartment was confirmed. In the case of a ship in which the starboard bow was damaged, it was confirmed that it had the characteristic to deflect to the left when going straight. Also, when estimating the straight line stability of a both port and starboard asymmetric surface combatant, a separated equation of motion model that sees the port and starboard as different ships seems suitable.

임상보고 가능범위의 실증적 연구 (An Empirical Study of the Clinically Reportable Range in Clinical Chemistry)

  • 장상우;이상곤;최호성;송은영;박용원;이인애
    • 대한임상검사과학회지
    • /
    • 제39권1호
    • /
    • pp.31-36
    • /
    • 2007
  • The purpose of the clinically reportable range (CRR) in clinical chemistry is to estimate linearity in working range. The reportable range includes all results that may be reliably reported, and embraces two types of ranges: the analytical measurement range (AMR) is the range of analyte values that a method can directly measure on the specimen without any dilution, concentration, or other pretreatment not part of the usual assay process. CAP and JCAHO require linearity on analyzers every six months. The clinically reportable range is the range of analyte values that a method can measure, allowing for specimen dilution, concentration, or other pretreatment used to extend the direct analytical measurement range. The AMR cannot exceed the manufacturer's limits. Establishing AMR is easily accomplished with Calibration Verification Assessment and experimental Linearity. For example: The manufacturer states that the limits of the AST on their instrument are 0-1100. The lowest level that could be verified is 2. The upper level is 1241. The verified AMR of the instrument is 2-1241. The lower limit of the range is 2, because that is the lowest level that could be verified by the laboratory. The laboratory could not use the manufacturer's lower limit of 2 because they have not proven that the instrument values below 2 are valid. The upper limit of the range is 1241, because although the lab has shown that the instrument is linear to 1241, the manufacturer does not make that claim. The laboratory needs to demonstrate the accuracy and precision of the analyzer, as well the validation of the patient AMR. Linearity requirements have been eliminated from the CLIA regulations and from the CAP inspection criteria, however, many inspectors continue to feel that linearity studies are a part of good lab practice and should be encouraged. If a lab chooses to continue linearity studies, these studies must fully comply with the calibration/calibration verification requirements of CLIA and/or CAP. The results of lower limit and upper limit of clinically reportable range were total protein (2.1 - 79.9), albumin (1.3 - 39), total bilirubin (0.2 - 106.2), alkaline phosphatase (13 - 6928.2), aspartate aminotransferase (24 - 7446), alanine aminotransferase (13 - 6724.2), gamma glutamyl transpeptidase (16.64 - 9904.2), creatine kinase (15.26 - 4723.8), lactate dehydrogenase (127.66 - 13231.8), creatinine (0.4 - 129.6), blood urea nitrogen (8.67 - 925.8), uric acid (1.6 - 151.2), total cholesterol (48.52 - 3162), triglycerides (36.91 - 3367.8), glucose (31 - 4218), amylase (21 - 6694.2), calcium (3.1 - 118.2), inorganic phosphorus (1.11 - 108), HDL (11.74 - 666), NA (58.3 - 1800), K (1.0 - 69.6), CL (38 - 1230).

  • PDF

거래비용접근방법 불확실성요인과 거래관계성이 채널 충성도에 미치는 영향에 관한 연구 (The Influence of Transaction Cost Approach Factor on Channel Loyalty)

  • 이지은
    • 경영과정보연구
    • /
    • 제33권2호
    • /
    • pp.281-299
    • /
    • 2014
  • 소비의 득실에 따라 구매를 결정하는 구매자성향을 고려하여 본 연구는 채널충성도를 설명하기 위해서 거래비용이론의 불확실성을 검토하고 적용하였으며 거래빈도와 신뢰를 통하여 채널과 소비자와의 관계를 입증함으로써 유통채널구조에 대한 폭넓은 이해를 제공하고자 하였다. 채널충성도를 검증함에 있어서 거래비용접근방법(transaction cost approach) 요인을 고려하여 입증하였다. 채널충성도를 설명하기 위해서 거래비용접근방법 요인 중 불확실성을 검토하고 적용하였으며 거래빈도와 신뢰를 통하여 유통채널과 소비자와의 관계를 입증함으로써 유통채널구조에 대한 폭넓은 이해를 제공하고자 하였다. 연구결과를 바탕으로 유통채널상에서 채널관리전략을 수립하는 기업들에게 실무적 시사점을 제공하고자 한다.

  • PDF

D-정책을 갖는 이산시간 BMAP/G/1 대기행렬의 대기시간 분석 (Waiting Time Analysis of Discrete-Time BMAP/G/1 Queue Under D-policy)

  • 이세원
    • 한국산업정보학회논문지
    • /
    • 제23권1호
    • /
    • pp.53-63
    • /
    • 2018
  • 본 논문에서는 D-정책을 갖는 이산시간 BMAP/G/1 대기행렬시스템의 대기시간을 분석한다. 고객(또는 패킷)들은 마코비안 도착과정을 따라 집단으로 시스템에 도착하며, 유휴한 서버는 시스템에 도착한 고객집단의 서비스시간의 총합이 이미 정해놓은 임계값 D를 초과하면 시스템에 더 이상 서비스할 고객이 없을 때까지 서비스를 제공한다. 시스템의 안정상태 대기시간 분포를 변환 형태로 구하고 성능척도로서 평균값을 유도하였다. 시뮬레이션을 통하여 이론값들의 타당성을 검증하고 간단한 수치예제를 보였다.

IMPROVING THE ESP ACCURACY WITH COMBINATION OF PROBABILISTIC FORECASTS

  • Yu, Seung-Oh;Kim, Young-Oh
    • Water Engineering Research
    • /
    • 제5권2호
    • /
    • pp.101-109
    • /
    • 2004
  • Aggregating information by combining forecasts from two or more forecasting methods is an alternative to using forecasts from just a single method to improve forecast accuracy. This paper describes the development and use of a monthly inflow forecast model based on an optimal linear combination (OLC) of forecasts derived from naive, persistence, and Ensemble Streamflow Prediction (ESP) forecasts. Using the cross-validation technique, the OLC model made 1-month ahead probabilistic forecasts for the Chungju multi-purpose dam inflows for 15 years. For most of the verification months, the skill associated with the OLC forecast was superior to those drawn from the individual forecast techniques. Therefore this study demonstrates that OLC can improve the accuracy of the ESP forecast, especially during the dry season. This study also examined the value of the OLC forecasts in reservoir operations. Stochastic Dynamic Programming (SDP) derived the optimal operating policy for the Chungju multi-purpose dam operation and the derived policy was simulated using the 15-year observed inflows. The simulation results showed the SDP model that updated its probability from the new OLC forecast provided more efficient operation decisions than the conventional SDP model.

  • PDF

초등학생을 위한 유한상태 오토마타 교육자료 개발 (Development of Finite State Automata Learning Materials for Elementary School Students)

  • 고형철;김종우
    • 정보교육학회논문지
    • /
    • 제20권4호
    • /
    • pp.401-408
    • /
    • 2016
  • 언플러그드교육은 초등학교에서 실시하려는 SW교육의 주된 요소로 제시되고 있다. 이 자료는 Timbell 외 2가 제작한 컴퓨터과학에 대한 여러 가지 주제별로 자료를 제시하고 있다. 이들 중에 유한상태 오토마타 교육은 우리의 실정에 적합한 교수법과 교육자료의 개발이 필요하다. 본 연구에서는 이 주제와 관련된 선행 연구를 바탕으로 초등 고학년의 발달단계에 적합한 자료를 개발하였다. 학습모형은 학습자의 자기주도적 활동중심학습으로 구성하였으며, 제시된 교육자료와 교수법은 전문가 집단의 검증과 실험집단의 분석을 통해 적절하다는 결론을 얻었다.

발사환경시험을 이용한 통신방송위성 Ku대역 중계기 패널의 모델 검증 (Model Validation for the CBS Ku-Band Transponder Panel Using Launch Environmental Test)

  • 서현석;최장섭;박종흥;우형제
    • 대한기계학회논문집A
    • /
    • 제29권3호
    • /
    • pp.387-394
    • /
    • 2005
  • Accurate predictions and simulations of the behavior of space structures based on analytical models become more important. In order to perform analysis to support the design of Ku-band transponder panel for the Communications and Broadcasting Satellite(CBS), mathematical models of the panel were generated in the form of finite element models. Test verification of these models is required before the transponder panel can be certified for launch environments. A modal identification was performed to obtain modal parameters which can be compared with the test results using correlation techniques. This paper approaches the sensor placement from the standpoint of the structural dynamicist who uses the modal parameter obtained during launch environmental test. The models were validated by performing a test-analysis correlation and updating analysis. It was proved that the Ku-band transponder panel satisfies the environmental test requirements.