• Journal of the Korean Society of Systems Engineering
• /
• v.10 no.2
• /
• pp.89-95
• /
• 2014

In recent years, the United States have been several major failures of launch. As a result of these failures, activity of mission assurance valued. Mission assurance is defined as the application of systems engineering process towards the goal of achieving mission success. Therefore, mission assurance perform independent technical assessments throughout the concept and requirements definition, design, development, production, test, deployment, and operations phases. Space system program was emphasized the importance of the system engineering for that required huge cost and long term development. For this reason, independent review and verification of mission assurance is essential. Mission assurance gives us confidence to proceed with launch and best opportunity for mission success. In this study, framework of mission assurance is proposed by foreign case analysis.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.30 no.1
• /
• pp.129-147
• /
• 2005

In Knowledge Management Systems (KMS), tacit knowledge which is usually possessed as forms like know-how, experiences, and etc. is hard to be systemized while managing explicit knowledge is comparatively easy using information technology such as databases, Recent researches in knowledge management have shown that it is more applicable in many ways to provide expert search mechanisms in KMS to pinpoint experts in the organizations with searched expertise so that users can contact them for help, In this paper, we propose an intelligent expert search framework to provide search capabilities for experts in similar or related fields according to the user's needs. In enabling intelligent expert searches, Fuzzy Abstraction Hierarchy (FAH) framework has been adopted, through' which finding experts with similar or related expertise is possible according to the subject field hierarchy defined in the system. To test applicability and practicality of the proposed framework, the prototype system, Knowledge Portal for Researchers in Science and Technology, was developed.

• Journal of the Semiconductor & Display Technology
• /
• v.22 no.3
• /
• pp.136-141
• /
• 2023

Artificial intelligence is becoming a global hot topic and is being actively applied in various industrial fields. Not only is artificial intelligence being applied to industrial sites in an on-premises method, but cloud-based artificial intelligence platforms are expanding into "as a service" type. The purpose of this study is to develop and verify a measurement tool for an evaluation framework for the adoption of a cloud-based artificial intelligence platform and test the interrelationships of evaluation variables. To achieve this purpose, empirical testing was conducted to verify the hypothesis using an expanded technology acceptance model, and factors affecting the intention to adopt a cloud-based artificial intelligence platform were analyzed. The results of this study are intended to increase user awareness of cloud-based artificial intelligence platforms and help various industries adopt them through the evaluation framework.

• ETRI Journal
• /
• v.46 no.1
• /
• pp.106-117
• /
• 2024

Large language models (LLMs) have revolutionized various applications in natural language processing and exhibited proficiency in generating programming code. We propose a framework for evaluating the code generation ability of LLMs and introduce a new metric, pass-ratio@n, which captures the granularity of accuracy according to the pass rate of test cases. The framework is intended to be fully automatic to handle the repetitive work involved in generating prompts, conducting inferences, and executing the generated codes. A preliminary evaluation focusing on the prompt detail, problem publication date, and difficulty level demonstrates the successful integration of our framework with the LeetCode coding platform and highlights the applicability of the pass-ratio@n metric.

• The Journal of Advanced Prosthodontics
• /
• v.9 no.6
• /
• pp.463-469
• /
• 2017

PURPOSE. To evaluate the fit of a three-unit metal framework of fixed dental prostheses made by subtractive and additive manufacturing. MATERIALS AND METHODS. One master model of metal was fabricated. Twenty silicone impressions were made on the master die, working die of 10 poured with Type 4 stone, and working die of 10 made of scannable stone. Ten three-unit wax frameworks were fabricated by wax-up from Type IV working die. Stereolithography files of 10 three-unit frameworks were obtained using a model scanner and three-dimensional design software on a scannable working die. The three-unit wax framework was fabricated using subtractive manufacturing (SM) by applying the prepared stereolithography file, and the resin framework was fabricated by additive manufacturing (AM); both used metal alloy castings for metal frameworks. Marginal and internal gap were measured using silicone replica technique and digital microscope. Measurement data were analyzed by Kruskal-Wallis H test and Mann-Whitney U-test (${\alpha}=.05$). RESULTS. The lowest and highest gaps between premolar and molar margins were in the SM group and the AM group, respectively. There was a statistically significant difference in the marginal gap among the 3 groups (P<.001). In the marginal area where pontic was present, the largest gap was $149.39{\pm}42.30{\mu}m$ in the AM group, and the lowest gap was $24.40{\pm}11.92{\mu}m$ in the SM group. CONCLUSION. Three-unit metal frameworks made by subtractive manufacturing are clinically applicable. However, additive manufacturing requires more research to be applied clinically.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.8 no.3
• /
• pp.87-93
• /
• 2008

The large scale shaker can be employed to measure linear and nonlinear shear moduli of soils in situ as a function of shear strain. The method involves applying dynamic loads on a surface foundation measuring the dynamic response of the soil mass beneath the foundation with embedded instrumentation. This paper focuses on the development of a framework of the inverse analysis for the interpretation of test data to estimate linear and nonlinear shear moduli of soils along with the necessity of the inverse analysis. The suggested framework is based on the nonlinear least squares but it uses two iterative loops to account for the nonlinear behavior of soil that sensors are not located. The validity of the suggested inversion framework is tested through a series of numerical parametric studies. An example use of the suggested inversion framework is also shown. Because the field condition may affect the accuracy of suggested method, it is important to conduct a preliminary inverse analysis to quantify the discrepancy between the estimated modulus and the baseline.

• Land and Housing Review
• /
• v.4 no.2
• /
• pp.193-200
• /
• 2013

Construction duration in construction project is an important factor which affects project cost. Advanced countries have reduced project cost by time shortening. Even though domestic construction companies have tried to time shortening, they yet failed to find systematic method for time shortening. Typically, duration of structural framework is affected by stripping time of form. Therefore, it need to shorten the stripping time of form for time shortening of structural framework. In this study, specimens of high-early-strength concrete were manufactured with variety conditions and compressive strength was tested. This study proposed stripping time of side and slab forms using test results. The stripping time of form was shortened when using high-early-strength concrete in structural framework by the test results. The result of this study will be useful for time shortening of structural framework.

• Proceedings of the Korean Statistical Society Conference
• /
• 2001.11a
• /
• pp.185-189
• /
• 2001

In this paper, we consider the problem of testing for parameter changes in time series models based on a sequential test. Although the test procedure is well-established for the mean and variance change, a general parameter case has not been discussed in the literature. Therefore, we develop a sequential test for parameter changes in a more general framework.

• The KIPS Transactions:PartD
• /
• v.18D no.5
• /
• pp.343-356
• /
• 2011

When preparing test cases and running the test the existing GUI test tools require many tester's interventions. To cope with such problem this paper suggests a new method to build test cases for GUI test. This method identifies the potential control flows within the GUI and constructs the GUI map. The UIA library in .NET Framework is used to extract information about the GUI controls and the GUI map is constructed by the extracted information. Test scenarios are generated from the extracted information about the GUI controls using the grouping mechanism. Based on the grouping mechanism, various test scenarios which are test cases in GUI tests can be made by replacing a GUI control by another one in the same group. The existing GUI test tools do not support the concept of test coverage. Since, however, our method survey which part of the GUI map is executed or not during running the test, the test coverage can be measured by using the GUI map.

• KIISE Transactions on Computing Practices
• /
• v.24 no.1
• /
• pp.33-39
• /
• 2018

For the integration test in the current field of defense simulation, each actual equipment and simulator's logging information is automated. Although the event of the integrated test system is written in the test log, it is not automated, and relies on the operator's handwriting or file creation, resulting in ineffective aspects such as low-quality record content and repetition of the same content. In this study, we propose the automatic test report recording program that solves these problems. Automatic test report recording program uses framework-based technology to receive information from the test control computer and user to record a log of the test log. Automatic test report recording program allows the user to record the repeated test content in a stable manner. Additionally, even if the number of test operators is limited, the efficiency is improved so that we can fucus on the integration test.