• Journal of Sensor Science and Technology
• /
• v.26 no.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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.500-503
• /
• 2016

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

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.8
• /
• pp.596-600
• /
• 2009

To support an efficient management of software verification and validation activities, many defect prediction models have been proposed based on object oriented metrics. They usually adopt logistic regression analysis, And, they state that the correctness of prediction is about 60${\sim}$70%, We performed a similar experiment with Eclipse 3.3 to check their prediction effectiveness, However, the result shows that correctness is about 40% which is much lower than the original results. We also found that univariate logistic regression analysis produces better results than multivariate logistic regression analysis.

• Journal of the Korean Society of Systems Engineering
• /
• v.16 no.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.

• Korean Journal of Clinical Laboratory Science
• /
• v.39 no.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).

• Management & Information Systems Review
• /
• v.33 no.2
• /
• pp.281-299
• /
• 2014

This study using a transaction cost approach perspective, this paper presents a model for understanding shopper's buying behavior. Finally, based on the results of these studies, this paper suggests practical implications to companies establishing their management strategy of the channels. In order to achieve the research purpose, it derived hypotheses from the literature studies and conducted questionnaire survey for the buyer who actually purchased by distribution channels. In this paper, 876 of the samples has been used in practice and with those samples it analyzes its empirical testing through reliability verification, validation, factor analysis, correlation analysis and covariance structure analysis.

• Journal of Korea Society of Industrial Information Systems
• /
• v.23 no.1
• /
• pp.53-63
• /
• 2018

In this paper, we analyze the waiting time of a queueing system with D-BMAP (discrete-time batch Markovian arrival process) and D-policy. Customer group or packets arrives at the system according to discrete-time Markovian arrival process, and an idle single server becomes busy when the total service time of waiting customer group exceeds the predetermined workload threshold D. Once the server starts busy period, the server provides service until there is no customer in the system. The steady-state waiting time distribution is derived in the form of a generating function. Mean waiting time is derived as a performance measure. Simulation is also performed for the purpose of verification and validation. Two simple numerical examples are shown.

• Water Engineering Research
• /
• v.5 no.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.

• Journal of The Korean Association of Information Education
• /
• v.20 no.4
• /
• pp.401-408
• /
• 2016

CS Unplugged education is emphasized as the component of the basic principles of Elementary SW education. This document produced by two other Timbell presents the contents in a variety of topics about computer science. One of the main components is the finite Automata, and this requires the development of educational materials for teaching our situation. So We'll present the finite Automata learning materials for elementary school classes. Learning model that we have presented is a process of self-directed and activity-based learning. For verification of this experiment was the validation of the expert group and was concluded that adequate through the analysis of the diagnostic tests.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.29 no.3 s.234
• /
• 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.