• Korean Journal of Mathematics
• /
• v.11 no.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$.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.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.

• The Mathematical Education
• /
• v.47 no.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.

• Kyungpook Mathematical Journal
• /
• v.63 no.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.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2000.04a
• /
• 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.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• 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.

• Journal for History of Mathematics
• /
• v.25 no.3
• /
• pp.29-39
• /
• 2012

As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives can be explained using information processing terms such as sequentiality and parallel computation. For instance, A${\otimes}$B shows two processes, A and B, carried out one after another. A&B is linked to an internal indeterminate, allowing an observer to select either A or B. A${\oplus}$B is an external indeterminate, and as such, an observer knows that either A or B holds true, but does not know which process will be true. A ${\wp}$ B signifies parallel computation of process A and process B; linear negative exhibits synchronization, that is, in order for the process A to be carried out, both A and $A^{\bot}$ have to be accomplished simultaneously. Since the field of linear logic is not very active in Korea at present, this paper deals only with syntax aspect of linear logic in order to arouse interest in the subject, leaving semantics and proof nets for future studies.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• 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.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.6 no.2
• /
• pp.81-89
• /
• 1996

A design method of fuzzy modeling is presented for the model identification of route choice of traffic problems.The proposed fuzzy modeling implements system structure and parameter identification in the eficient form of""IF..., THEN-.."", using the theories of optimization theory, linguistic fuzzy implication rules. Three kinds ofmethod for fuzzy modeling presented in this paper include simplified inference (type I), linear inference (type 21,and proposed modified-linear inference (type 3). The fuzzy inference method are utilized to develop the routechoice model in terms of accurate estimation and precise description of human travel behavior. In order to identifypremise structure and parameter of fuzzy implication rules, improved complex method is used and the least squaremethod is utilized for the identification of optimum consequence parameters. Data for route choice of trafficproblems are used to evaluate the performance of the proposed fuzzy modeling. The results show that the proposedmethod can produce the fuzzy model with higher accuracy than previous other studies -BL(binary logic) model,B(production system) model, FL(fuzzy logic) model, NN(neura1 network) model, and FNNs (fuzzy-neuralnetworks) model -.fuzzy-neural networks) model -.

• Korea Trade Review
• /
• v.46 no.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.