• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.1
• /
• pp.221-229
• /
• 2012

A model for expressing meta data syntax in the eXtensible Markup Language(XML) was developed to increase the portability of the Arden Syntax in medical treatment. In this model that is Arden syntax uses two syntax checking mechanisms, first an XML validation process, and second, a syntax check using an XSL style sheet. Two hundred seventy-seven examples of MLMs were transformed into MLMs in ArdenML and validated against the schema and style sheet. Both the original MLMs and reverse-parsed MLMs in ArdenML were checked using a Arden Syntax checker. The textual versions of MLMs were successfully transformed into XML documents using the model, and the reverse-parse yielded the original text version of MLMs.

• Journal of Korean Society for Quality Management
• /
• v.34 no.1
• /
• pp.73-77
• /
• 2006

In this paper, the Bayesian procedure for the multiple test of fraction nonconforming, p, is proposed. It is the procedure for checking whether the process is out of control, in control, or under the permissible level for p. The procedure is as follows: first, setting up three types of models, $M_1:p=p_0,\;M_2:pp_0$, second, computing the posterior probability of each model. and then choosing the model with the largest posterior probability as a model most fitted for the observed sample among three competitive models. Finally, the simulation study is performed to examine the proposed method.

• Korean Journal of Computational Design and Engineering
• /
• v.3 no.1
• /
• pp.1-14
• /
• 1998

This paper introduces non-manifold offsetting operations, which add or remove a uniform thickness from a given non-manifold model. Since these operations can be applied to not only solids but also wireframe or sheet objects, they are potentially useful for pipeline modeling, sheet metal and plastic part modeling, tolerance analysis, clearance checking, constant-radius rounding and filleting of solids, converting of abstracted models to solids, HC too1 path generation and so on. This paper describes mathematical properties and algorithms for non-manifold offsetting. In this algorithm, a sufficient set of tentative faces are generated first by offsetting all or a subset of the vertices, edges and faces of the non-manifold model. And then they are merged into a model using the Boolean operations. Finally topological entities which are within offset distance are removed. The partially modified offsetting algorithms for wireframes or sheets are also discussed in order to provide more practical offset models.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.50 no.9
• /
• pp.409-416
• /
• 2001

This paper deals with the design of delay-dependent $H_{\infty}$ control for time-delayed linear systems. We propose the two different model transformations to handle efficiently the time delay and derive conditions linear matrix inequalities (LMI's) of which are dependent on the size of time-delay and its time-derivative. The $H_{\infty}$ controller is obtained by checking the feasibility of these LMI's. Finally, we show the usefulness and applicability of our results by an example.

• Communications for Statistical Applications and Methods
• /
• v.23 no.3
• /
• pp.231-239
• /
• 2016

A graphical diagnostic method based on multiple case deletions in a regression context is introduced by using the sampling distribution of the difference between two least squares estimators with and without multiple cases. Principal components analysis plays a key role in deriving this diagnostic method. Multiple case deletions of test statistic are also considered when a new observation is fitted to a given regression model. The result is useful for detecting influential observations in econometric data analysis, for example in checking whether the consumption pattern at a later time is the same as the one found before or not, as well as for investigating the influence of cases in the usual regression model. An illustrative example is given.

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2006.04a
• /
• pp.325-329
• /
• 2006

In this paper, the Bayesian procedure for the multiple test of fraction nonconforming, p, is proposed. It is the procedure for checking whether the process is out of control, in control, or under the permissible level for p. The procedure is as follows: first, setting up three types of models, $M_1:p=p_0,\;M_2:pp_0$, second, computing the posterior probability of each model. and then choosing the model with the largest posterior probability as a model most fitted for the observed sample among three competitive models. Finally, the simulation study is performed to examine the proposed method.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.36 no.1
• /
• pp.17-23
• /
• 2013

This study analyzed the efficiencies of Korean fisheries cooperative's 97 operation offices in the capital and surrounding area. We used the DEA model for checking the technical and scale efficiencies in the financial business of them. We divided the business into two parts, the productivity (efficiency for increasing deposit and loan) and profitability (efficiency for increasing the profit and reducing the risk from the loan). The results show that the additional profitability increase is very difficult because most of the offices have full technical efficiency for profitability. But additional analysis based on Slack-based Measure (SBM) DEA model shows that Kyung-Gi region can increase the profitability. SBM model analysis also gives us the possibility that customized policy can apply to each offices considering each factors affecting the productivity and profitability.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.15 no.6
• /
• pp.307-316
• /
• 2020

Machine learning model data is highly affected by performance. preprocessing is needed to enable analysis of various types of data, such as letters, numbers, and special characters. This paper proposes a development environment that aims to process categorical and continuous data according to the type of missing values in stage 1, implementing the function of selecting the best performing algorithm in stage 2 and automating the process of checking model performance in stage 3. Using this model, machine learning models can be created without prior knowledge of data preprocessing.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.7
• /
• pp.122-132
• /
• 1996

It can be expected that the tolerances of the parts are assigned systematically and thus the parts are designed considering the assemblability in advance in the design stage, if the tolerances can be stored together with the geometric model of the parts and the assemblability of the parts is verified in the computer. In other words, an example of the concurrent engineering is realized. To verify the concepts described above, a new method is proposed to verify the assemblability when the tolerance information and the geometric model of the parts of an assembly are given. This method determines the assemblability by subdividing the range of relative motion between parts until the subdivided region corresponding to free of interference can be found.

• Environmental and Resource Economics Review
• /
• v.26 no.3
• /
• pp.399-416
• /
• 2017

This study examines the problem of efficient scheduling of waste collection in isolated regions like islands when the waste accumulated amount surpasses the standard ceiling by effectively tracking the accumulating trends based on the optimum checking model of Keller (1974). To grasp whether the waste accumulated amount in isolated regions exceeds the standard ceiling, the relevant authorities can tightly check during a set period, but this entails higher monitoring costs. On the other hand, if the accumulated waste over the ceiling is not immediately checked and collected, and continues for a set period of time, innovative efforts for waste management may be highly demanded. As such, the tradeoffs are considered to draw the optimal checking schedule. This study shows that the authorities get to check less frequently the waste accumulation trends if the monitoring costs increase or when the failure rate of waste management systems drops. On the other hand, they get to check more frequently if the accumulated waste amount in isolated regions exceeds the standard ceiling and welfare loss grows as a result. It also shows that frequent checking is the optimal choice if the social marginal benefits enjoyed from innovative efforts made to keep accumulated waste below the standard ceiling, are not significant.