• Transactions of Materials Processing
• /
• v.8 no.2
• /
• pp.208-215
• /
• 1999

To increase rolling yields by minimizing trimming losses of hot-rolled plate, optimization logic for the edger model has been developed. The logic to determine optimum edging amount model has been formulated on the basis of actual production rolling data. In case of broadside rolling, the fish tail shape at the sides of plate was better for reducing the crop loss and this could be achieved when the edging amount of broadside rolling was increased. At a given broadside rolling ratio, methodology to determine optimum edging amount for the finish rolling which could minimize the width deviation of plate were systematically derived. Therefore, for a given broadside rolling condition and the permissible tolerance in width deviation of plate, it was possible to optimize the edging amount in finish rolling to maximize rolling yields. The application of optimization logic in this study increased rolling yields from approximately 10% to 30% at various longitudinal eding raitos.

• East Asian mathematical journal
• /
• v.30 no.4
• /
• pp.571-581
• /
• 2014

Students might find different solutions to the quadratic inequalities according to the range of the number representing the character of the inequalities. They have confusion when the roots of a quadratic inequality are complex numbers since the character of the inequalities generally represents the real number in the mathematics textbooks. Therefore we suggest that we must explain definitely the range of the number representing the character for each inequality question.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.1
• /
• pp.33-38
• /
• 2004

In this paper, we will define comonotonically additive interval-valued functionals which are generalized comonotonically additive real-valued functionals in Schmeidler[14] and Narukawa[12], and prove some properties of them. And we also investigate some relations between comonotonically additive interval-valued functionals and interval-valued Choquet integrals on a suitable function space, cf.[9,10,11,13].

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.611-614
• /
• 2005

1970년대 말까지 초창기에 출시된 컴퓨터들은 부동 소수점을 표현하기 위한 자신들의 내부적 표현방식을 사용하였다. 따라서 각 컴퓨터마다 부동 소수점 연산에 대한 계산 결과가 약간씩 차이가 나기도 하였다. 이러한 문제점을 해결하기 위해 IEEE에서는 부동 소수점에 대한 표준안을 제안하였다. 이는 서로 다른 컴퓨터 간에 부동 소수점 데이터의 교환이 가능하게 할 뿐만 아니라 하드웨어 설계자들에게도 정확한 모델을 제공하는 것이 목적이었다. 이 당시 제정된 부동 소수점 표준안은 IEEE Standard 754 부동 소수점이며, 오늘날 인텔 CPU 기반의 PC, 매킨토시 및 대부분의 유닉스 플랫폼에서 컴퓨터 상의 실수를 표현하기 위해 사용하는 가장 일반적인 표현 방식으로 발전하였다. 본 논문에서는 부동 소수점의 기본적인 표현방식에 대해 연구하고, 이 중 32 bit 단일 정밀도 부동 소수점 가산기를 Microsoft Visual C++ 6.0을 이용해 시뮬레이션하고 이를 VHDL로 구현한다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1815-1816
• /
• 2007

본 논문에서는 데이터의 특성을 이용한 정보 입자 기반 퍼지 뉴럴 네트워크의 연속적 최적화를 제안한다. 데이터들간의 거리를 중심으로 C-Means 클러스터링 알고리즘을 이용하여 멤버쉽 함수를 정의하고 각 중심의 후반부 중심값을 이용하여 후반부 학습에 적용한다. 구조/파라미터 동정에 있어서 실수 코딩 기반 유전자 알고리즘을 이용하여 입력변수의 수, 입력 변수의 선택, 멤버쉽함수의 수, 후반부 형태와 같은 시스템의 입력 구조와 전반부 멤버쉽함수의 정점 및 학습율과 모멘텀 계수와 같은 파라미터를 최적으로 동정한다. 또한, 구조 연산과 파라미터 연산의 연속적 동조 방법을 이용하여 퍼지 뉴럴 네트워크를 최적화한다. 제안된 퍼지 뉴럴 네트워크는 삼각형 멤버쉽 함수를 이용하며, 후반부 추론에는 간략, 선형, 변형된 2차식을 이용한다. 제안된 퍼지 뉴럴 네트워크는 표준 모델로서 널리 사용되는 수치적인 예를 통하여 평가한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.04a
• /
• pp.569-572
• /
• 2009

오늘날 많은 기업들이 RFID 를 이용한 생산관리 시스템을 도입하여 사용하고 있는 가운데 ERP와 같은 기업관리 시스템과 연계한 RFID 시스템도 많이 등장하고 있다. 이러한 연계 시스템은 RFID를 이용하여 ERP 시스템에 실시간성을 부여함으로써 시간적 정보를 얻을 수 있도록 한다. 그러나 공정의 흐름관리 측면에서는 실시간성 뿐만 아니라 복잡한 순서를 가진 공정에 대해 올바른 진행이 가능하도록 유도해주는 기능이 필요하다. 본 논문에서는 ERP 와의 연계를 통한 RFID 기업정보시스템에 상황인지 기술을 접목시켜 전후 공정을 파악함으로써 올바른 공정 진행을 유도하는 시스템을 제안하고 구현한다. 본 논문에서 제안한 시스템은 공정의 공정 오류의 발생을 줄임으로써 작업자의 공정 진행 실수로 인한 손실을 줄였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.710-713
• /
• 2008

디지털 도어락은 사용의 편이성와 안전성으로 인해 보편적으로 사용되고 있다. 본 논문에서는 에디트 거리 알고리즘을 활용하여 비밀번호를 사용하는 디지털 도어락의 보안성을 강화하는 방법을 제안한다. 즉, 에디트 거리 알고리즘을 이용하여 비용을 산출함으로써 사용자가 실수할 수 있는 범위들을 정의하여 인증된 사용자인지 인증 받지 않은 사용자인지 효과적으로 예측한다. 실험을 통해 본 논문에서 제안하는 방법을 통해 비밀번호를 사용하는 디지털 도어락의 보안을 강화할 수 있음을 확인할 수 있다.

• Journal of Educational Research in Mathematics
• /
• v.25 no.2
• /
• pp.177-188
• /
• 2015

In this paper, I investigated the historical development process for the product of two vectors in the plane and space, and draw implications for educational guidance to internal and external product of vectors based on it. The results of the historical analysis show that efforts to define the product of the two line segments having different direction in the plane justified the rules of complex algebraic calculations with its length of the product of their lengths and its direction of the sum of their directions. Also, the efforts to define the product of the two line segments having different direction in three dimensional space led to the introduction of quaternion. In addition, It is founded that the inner product and outer product of vectors was derived from the real part and vector part of multiplication of two quaternions. Based on these results, I claimed that we should review the current deployment method of making inner product and outer product as multiplications that are not related to each other, and suggested one approach for connecting the inner and outer product.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.171-197
• /
• 2008

In this paper we deal with new standard completeness proofs of some systems introduced by Metcalfe and Montagna in [10]. For this, this paper investigates several fuzzy-relevance logics, which can be regarded as neighbors of the R of Relevance with mingle (RM). First, the monoidal uninorm idempotence logic MUIL, which is intended to cope with the tautologies of left-continuous conjunctive idempotent uninorms and their residua, and some schematic extensions of it are introduced as neighbors of RM. The algebraic structures corresponding to them are defined, and standard completeness, completeness on the real unit interval [0, 1], results for them are provided.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.8 no.3
• /
• pp.15-26
• /
• 1971

The paper presents a new method for analyzing oscillation regions of transistor oscillators. In transistor feedback oscillators oscillation region appears as a circle in feedback impedance complex plane. When the resistive component of feedback impedance is fixed and the reactive component of feedback impedance is varied or vice versa, the locus of maximum negative output conductance becomes hyperbola. In transistor crystal oscillators oscillation region is determined by two circles which make real part and imaginary part of input impedance zero in load impedance complex plane. When the resistive compoment of load impedance is fixed and the reactive colnponent of load impedance is varied or vice versa, the loci of maximum or minimum resistive component of input impedance become straight lines.