• 제목/요약/키워드: linear : Implication

검색결과 64건 처리시간 0.021초

ALGEBRAIC OPERATIONS ON FUZZY NUMBERS USING OF LINEAR FUNCTIONS

  • Myung, Jae Deuk
    • Korean Journal of Mathematics
    • /
    • 제11권1호
    • /
    • pp.1-7
    • /
    • 2003
  • In this paper, we introduce two types of algebraic operations on fuzzy numbers using piecewise linear functions and then show that the Zadeh implication is smaller than the Diense-Rescher implication, which is smaller than the Lukasiewicz implication. If ($f$, *) is an available pair, then $A*_mB{\leq}A*_pB{\leq}A*_jB$.

  • PDF

퍼지추론 방법에 의한 퍼지동정과 하수처리공정시스템 응용 (Fuzzy Identification by means of Fuzzy Inference Method and Its Application to Wate Water Treatment System)

  • 오성권;주영훈;남위석;우광방
    • 전자공학회논문지B
    • /
    • 제31B권6호
    • /
    • pp.43-52
    • /
    • 1994
  • A design method of rule-based fuzzy modeling is presented for the model identification of complex and nonlinear systems. The proposed rule-based fuzzy modeling implements system structure and parameter identification in the efficient form of ``IF....,THEN...', using the theories of optimization theory , linguistic fuzzy implication rules and fuzzy c-means clustering. Three kinds of method for fuzzy modeling presented in this paper include simplified inference (type I), linear inference (type 2), and modified linear inference (type 3). In order to identify premise structure and parameter of fuzzy implication rules, fuzzy c- means clustering and modified complex method are used respectively and the least sequare method is utilized for the identification of optimum consequence parameters. Time series data for gas furance and those for sewage treatment process are used to evaluate the performance of the proposed rule-based fuzzy modeling. Comparison shows that the proposed method can produce the fuzzy model with higher accuracy than previous other studies.

  • PDF

일차변환 관점에서의 도형의 성질 이해 및 학교수학에의 시사점 (Understanding the properties of geometric figures through the linear transformation and its implication for school mathematics)

  • 홍갑주
    • 한국수학교육학회지시리즈A:수학교육
    • /
    • 제47권4호
    • /
    • pp.437-445
    • /
    • 2008
  • On the basis of the meaning and general process of geometric proof through transformation concept and understanding the geometric properties of linear transformation, this study showed that the centroid of geometrical figure and certain properties of a parabola and an ellipse in school mathematics can be explained as a conservative properties through linear transformation. From an educational perspective, this is a good example of showing the process of how several existing individual knowledge can be reorganized by a mathematical concept. Considering the fact that mathematical usefulness of linear transformation can be revealed through an invariable and conservation concept, further discussion is necessary on whether the linear transformation map included in the former curriculum have missed its point.

  • PDF

Subordination Properties for Classes of Analytic Univalent Involving Linear Operator

  • Amal Madhi Rashid;Abdul Rahman S. Juma;Sibel Yalcin
    • Kyungpook Mathematical Journal
    • /
    • 제63권2호
    • /
    • pp.225-234
    • /
    • 2023
  • In this paper, we use the use the linear operator ʒxτ,σ(u, v, y)𝔣(z) and the concept of the subordination to analyse the general class of all analytic univalent functions. Our main results are implication properties between the classes of such functions and the application of these properties to special cases.

Implication and Rational Application of Equivalent Load Method in Prestressed

  • Oh, Byung-Hwan;Jeon, Se-Jin
    • 한국콘크리트학회:학술대회논문집
    • /
    • 한국콘크리트학회 2000년도 봄 학술발표회 논문집
    • /
    • pp.663-667
    • /
    • 2000
  • The equivalent load method has been widely used in the design and analysis of prestressed concrete structures. The purpose of this paper is to explore several important method of obtaining equivalent loads and to clarify the advantages and limitations of each method. The methods devised in this study include the use of curvature of tendon, characteristics of primary moment, self-equilibrium conditions, and linear segments approximation of tendon. It is shown that equivalent lading system is not uniquely determined in some cases and careful engineering judgement is required from the view point of accuracy and practical convenience.

  • PDF

Automatic Generation of Fuzzy Rules using the Fuzzy-Neural Networks

  • Ahn, Taechon;Oh, Sungkwun;Woo, Kwangbang
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
    • /
    • pp.1181-1186
    • /
    • 1993
  • In the paper, a new design method of rule-based fuzzy modeling is proposed for model identification of nonlinear systems. The structure indentification is carried out, utilizing fuzzy c-means clustering. Fuzzy-neural networks composed back-propagation algorithm and linear fuzzy inference method, are used to identify parameters of the premise and consequence parts. To obtain optimal linguistic fuzzy implication rules, the learning rates and momentum coefficients are tuned automatically using a modified complex method.

  • PDF

선형논리의 통사론 (The syntax of Linear logic)

  • 정계섭
    • 한국수학사학회지
    • /
    • 제25권3호
    • /
    • pp.29-39
    • /
    • 2012
  • 선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다.

퍼지추론 방법에 의한 퍼지동정 (Fuzzy identification by means of fuzzy inference method)

  • 안태천;황형수;오성권;김현기;우광방
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
    • /
    • pp.200-205
    • /
    • 1993
  • A design method of rule-based fuzzy modeling is presented for the model identification of complex and nonlinear systems. Three kinds of method for fuzzy modeling presented in this paper include simplified inference (type 1), linear inference (type 2), and modified linear inference (type 3). The fuzzy c-means clustering and modified complex methods are used in order to identify the preise structure and parameter of fuzzy implication rules, respectively and the least square method is utilized for the identification of optimal consequence parameters. Time series data for gas funace and sewage treatment processes are used to evaluate the performances of the proposed rule-based fuzzy modeling.

  • PDF

퍼지 동정에 의한 교통경로선택 (Traffic Rout Choice by means of Fuzzy Identification)

  • 오성권;남궁문;안태천
    • 한국지능시스템학회논문지
    • /
    • 제6권2호
    • /
    • pp.81-89
    • /
    • 1996
  • 퍼지모델링의 설계 방법을 교통경로선택의 모델동정을 위하여 제안한다. 제안된 퍼지모델은 최적화이론, 퍼지구현규칙을 사용하여 ""IF..., THEN...""의 효율적인 형태로 시스템구조와 파라미터 동정을 시행한다. 이 논문에서 간략추론, 선형추론, 병형된 선형추론의 3가지종류의 퍼지모델링 방법을 제시한다. 이 퍼지추론 방법은 인간의 교통행동의 정확한 추정과 정밀한 묘사를 위해 교통경로선택 모델을 개발하기 위해 이용된다. 퍼지규칙의 전반부 구조와 파라미터를 동정하기 위해 개선된 컴플렉스법을 사용하고, 최적후반부 파라미터를 동정하기 위해 최소자승법이 사용된다. 교통경로선택 데이타가 제안된 퍼지모델 성능을 평가하기 위해 사옹된다. 제안된 방법이 기존의 다른 연구들 - 즉 BL, PS, FL, NN, FNNs 모델 등 - 보다 더 높은 정확도를 가진 퍼지모델을 생성함을 보인다. 생성함을 보인다.

  • PDF

혼합정수 계획법을 이용한 전략적 입지선정 -자동차 SCM을 중심으로- (Design of Mixed Integer Linear Programming Model for Strategic Location Decision -Focused on the Automotive Industry SCM-)

  • 하영규;우수한
    • 무역학회지
    • /
    • 제46권2호
    • /
    • pp.213-228
    • /
    • 2021
  • In recent year, US government requires local investment ,unlike in the past, when import restrictions and tariff were imposed. In this situation, many companies are considering new investment in the US and entering the local market. However, research on the optimal investment plan along with the case analysis on trade regulation is extremely limited and more research needs to be conducted. Accordingly, this study aims to suggest the implications and countermeasure of the SCM and logistical perspective by studying the optimal measures for the new investment of each company due to trade regulation. As a research method, the gravity location model, Mixed Integer Linear Programming Model were used to select the optimal automobile manufacturing factory considering each state's population. This study will be implication of SCM and logistics perspective not only for companies considering new investment in the US but also for the government to conduct trade negotiations. In the future, it is expected that the US trade pressure will increase and affect Korea in many ways. Therefore, in order to cope with such difficult situation in a timely manner, continuous research considering various possibilities is needed in the future.