• Industrial Engineering and Management Systems
• /
• v.10 no.1
• /
• pp.65-73
• /
• 2011

In rough set literatures, methods for inducing minimal rules from a given decision table have been proposed. When the decision attribute is ordinal, inducing rules about upward and downward unions of decision classes is advantageous in the simplicity of obtained rules. However, because of independent applications of the rule induction method, inclusion relations among upward/downward unions in conclusion parts are not inherited to the condition parts of obtained rules. This non-inheritance may debase the quality of obtained rules. To ensure that inclusion relations among conclusions are inherited to conditions, we propose two rule induction approaches. The performances of the proposed approaches considering the inclusion relations between conclusions are examined by numerical experiments.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2008.10a
• /
• pp.444-447
• /
• 2008

This study is intended to develop a improved version of Cross Impact Analysis Model based on Scaling Theory. In developing the model, we applied the scale transformation technique and regression technique to existing CIA model. Improved CIA model is composed of two sub-models: 'model for impact value measurement,' and 'model for impact value conversion'. We applied a technique which measures data by ordinal scale and then transforms them into interval scale and ratio scale data to CIA model. The accuracy of forecasting and the usability of CIA application have been improved.

• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.711-719
• /
• 2018

In this paper we define and study a new kind of dimension called, semisimple dimension, that measures how far a module is from being semisimple. Like other kinds of dimensions, this is an ordinal valued invariant. We give some interesting and useful properties of rings or modules which have semisimple dimension. It is shown that a noetherian module with semisimple dimension is an artinian module. A domain with semisimple dimension is a division ring. Also, for a semiprime right non-singular ring R, if its maximal right quotient ring has semisimple dimension as a right R-module, then R is a semisimple artinian ring. We also characterize rings whose modules have semisimple dimension. In fact, it is shown that all right R-modules have semisimple dimension if and only if the free right R-module ${\oplus}^{\infty}_{i=1}$ R has semisimple dimension, if and only if R is a semisimple artinian ring.

• Knowledge Management Research
• /
• v.13 no.3
• /
• pp.55-77
• /
• 2012

Selecting promising technology is becoming more and more difficult due to the increased number and complexity. In this study, we propose hybrid AHP/DEA-AR method and hybrid AHP/DEA-AR-G method to evaluate efficiency of technology alternatives based on ordinal rating data collected through survey to technology experts in a certain field and select efficient technology alternative as promising technology. The proposed method normalizes rating data and uses AHP to derive weights to improve the credibility of analysis, then in order to avoid basic DEA models' problems, use DEA-AR and DEA-AR-G to evaluate efficiency of technology alternatives. In this study, we applied the proposed methods to clean technology and compared with the basic DEA models. According to the result of the comparison, we can find that the both proposed methods are excellent in confirming most efficient technology, and hybrid AHP/DEA-AR method is much easier to use in the process of technology selection.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1169-1172
• /
• 2005

For elderly people, an advanced training machine that uses actuator and can adjust load according to muscle activity is proposed. The proposed machine allows users to have a safe and effective training through exercise close to ordinal motion appears in daily life such as stretching or stooping motion. A muscle activity sensor real-timely monitors the activation level of user's muscle during the exercise and the training load is adjusted based on the measured data. The training load is exerted and continuously controlled by electric/pneumatic actuator.

• Journal of computational fluids engineering
• /
• v.1 no.1
• /
• pp.142-149
• /
• 1996

이차원 노즐을 통하여 저밀도 환경으로 팽창하는 희박류의 분석에 있어서 불연속좌표법과 결합된 유한차분법(finite-difference method coupled with the discrete-ordinate method, FDDO)과 직접모사법(direct-simulation Monte-Carlo method, DSMC)이 비교되었다. FDDO를 이용한 분석에서는 충돌적분모델을 도입하여 간단해진 볼츠만식(Boltzmann equation)이 불연속좌표법을 이용하여 물리적 공간에서는 연속이나 분자속도 공간에서는 불연속좌표로 표시되는 편미분방정식군으로 변환되어 유한차분법에의하여 수치해석 되었다. 직접모사법에서는 분자모델로 가변강구모델(variable hard sphere model, VHS)이, 충돌샘플링모델로는 비시계수법(no time counter method, NTC)이 채택되었다. 전혀 다른 두 가지 방법에 의한 노즐 내부에서의 유체흐름 해석결과는 매우 잘 일치하였으며, 노즐 외부의 plume 영역에서는 FDDO에 의한 해석결과가 직접모사법에 의한 해석결과에 비하여 약간 느린 팽창을 보였다.

• Journal for History of Mathematics
• /
• v.12 no.1
• /
• pp.32-44
• /
• 1999

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.

• Journal of the Korean Society for Library and Information Science
• /
• v.23
• /
• pp.33-62
• /
• 1992

The purpose of this is to evaluate the contents through the anal us is of the merits and demerits, and its special quality of the Cutter-Sanborn Three-figure Author Table. table. The abstract of this study is as follows : With the results of the analysis of Cutter-Sanborn's Tabls, several advent-age were found in the area of enumerative-ordinal numbering system, mixed notation, and information retrieval. A defect is that each corporate author and serials and reference book's titles are difficult to be numbered, and there is serious diviation in percentages of the numbers assigned to each letter because each letter apportion rate was applied without any criteria. Such phenomenon decrease the effectiveness as author notation in several letters. The separation of headings are seriously unbalanced because the separation of heading is not consistent with actual publishing trends. This phenomenon made difficult individualization of materials in several letters.

• The Korean Journal of Applied Statistics
• /
• v.27 no.6
• /
• pp.909-922
• /
• 2014

This paper reviews Bayesian inference with inequality constraints. It focuses on ⅰ) comparison of models with various inequality/equality constraints on parameters, ⅱ) multiple tests on equalities of parameters when parameters are under inequality constraints, ⅲ) multiple test on equalities of score parameters in models for contingency tables with ordinal categorical variables.

• Journal of Information Processing Systems
• /
• v.12 no.3
• /
• pp.502-510
• /
• 2016

Considering video copy transform diversity, a multi-feature video copy detection algorithm based on a Speeded-Up Robust Features (SURF) local descriptor is proposed in this paper. Video copy coarse detection is done by an ordinal measure (OM) algorithm after the video is preprocessed. If the matching result is greater than the specified threshold, the video copy fine detection is done based on a SURF descriptor and a box filter is used to extract integral video. In order to improve video copy detection speed, the Hessian matrix trace of the SURF descriptor is used to pre-match, and dimension reduction is done to the traditional SURF feature vector for video matching. Our experimental results indicate that video copy detection precision and recall are greatly improved compared with traditional algorithms, and that our proposed multiple features algorithm has good robustness and discrimination accuracy, as it demonstrated that video detection speed was also improved.