• 한국수학사학회지
• /
• 제13권1호
• /
• pp.125-136
• /
• 2000

The notion of MV-algebra was introduced by C.C. Chang in 1958 to provide an algebraic proof of the completeness of Lukasiewicz axioms for infinite valued logic. These algebras appear in the literature under different names: Bricks, Wajsberg algebra, CN-algebra, bounded commutative BCK-algebras, etc. The purpose of this paper is to give a topological lattice completion of semisimple MV-algebras. To this end, we characterize the complete atomic center MV-algebras and semisimple algebras as subalgebras of a cube. Then we define the $\delta$-completion of semisimple MV-algebra and construct the $\delta$-completion. We also study some important properties and extension properties of $\delta$-completion.

• Journal of applied mathematics & informatics
• /
• 제38권5_6호
• /
• pp.547-557
• /
• 2020

In this paper, we introduce the notions of (dual) residuated frames for a fuzzy logic as an extension of residuated frames for classical relational semantics. We investigate the relations between residuated connections and residuated frames on Alexandrov topologies based on [0, ∞]. Moreover, we study their properties and give their examples.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제8권4호
• /
• pp.299-305
• /
• 2008

The object of this paper is to introduce the notion of compatible mapping of type(${\alpha}$) in intuitionistic fuzzy metric space, and to establish common fixed point theorem for five mappings in intuitionistic fuzzy metric space. Our research are an extension for the results of [1] and [7].

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제8권3호
• /
• pp.202-206
• /
• 2008

We introduce the concept of interval-valued minimal structure which is an extension of the interval-valued fuzzy topology. And we introduce and study the concepts of IVF m-continuous and several types of compactness on the interval-valued fuzzy m-spaces.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
• /
• pp.1338-1341
• /
• 1993

We present here two Petri nets formalisms that can deal with uncertainty by the use of necessity-valued logic. The first and basic model, called necessity-valued Petri nets (NPN), can at the same time deal with uncertainty on markings are on transitions. The second model, called necessity-valued Petri nets (TNPN), is an extension of both NPN and timed Petri nets.

• 실천공학교육논문지
• /
• 제10권1호
• /
• pp.49-56
• /
• 2018

비전공 학부생을 대상으로 다양한 방식의 SW 교육이 대학별로 운영되고 있다. 그리고 대부분 컴퓨팅적 사고를 교육하는 데 초점을 맞추고 있다. 이러한 컴퓨팅 교육에 이어서 학생들마다 창의적인 컴퓨팅 산출물을 구현하고 평가하는 교육 방식이 필요하다. 본 논문에서는 창의적 컴퓨팅 산출물 기반 SW교육을 실현하는 한 가지 방안을 제안한다. 이를 위해 학생들이 디지털논리회로 장치를 창의적으로 구현하고, 이 장치의 기능을 구현하는 SW알고리즘을 디자인하는 교육방법을 제안한다. 제안한 교육 방법에서는 아두이노 보드를 사용한 간단한 LED 논리회로를 예로 들어 교육한다. 학생들은 2변수 논리회로 출력장치 두 쌍을 창의적으로 설계 및 구현하고, 구현한 장치의 패턴을 나타내는 알고리즘을 다양한 형태로 설계한다. 그리고 입력장치를 이용한 기능 확장 및 확장된 알고리즘을 설계한다. 제안한 교육방법을 적용하면, 비전공 학생들이 창의적 컴퓨팅 산출물 제작을 통해 알고리즘 설계의 개념과 필요성을 습득하는 성과를 얻을 수 있다.

• 한국실내디자인학회논문집
• /
• 제23권5호
• /
• pp.41-50
• /
• 2014

In relation to spatial expression, the remediation theory of Jay David Bolter & Richard Grusin shows a sufficient possibility of providing extended idea and experience through the space of critical representation. The remediation theory discussed in the scope of new media says about the existence method and the development process of media through immersion into media and awakening, and one attribute of remediation which aims at the extension of another realistic experience and recognition through various media, contains common denominators which display diversity and complexity of installation space, and use the audience as expression elements. Therefore, this study aims to apply the remediation theory in order to interpret space using more diverse and multisensory expression methods. For achieving this purpose, this study found the connection among characteristics of hypermediacy which is an axis of installation and remediation theory, and analyzed diverse cases regarding installation space and characteristics of hypermediacy, depending on external aspects of form and expression and internal aspects of experience and cognition. The method of hypermediation expression in installation space converts the recognition about the basic custom of new experience, space and representation. This means that the logic of remediation could approach space by leading to more extended form and recognition. In conclusion, the characteristics of space and the possibility of extended expression revealed in the relationship between installation space and hypermediacy logic would provide another developmental significance for research on space design.

• 디자인학연구
• /
• 제12권4호
• /
• pp.273-282
• /
• 1999

타이포그라피는 그래픽 디자인에 있어서 가장 기본적이며 중요한 주제이다. 이러한 타이포그라피를 교육하고 학습함에 있어서 감성적인 교육에 앞서 체계적이고 논리적인 그리고 전체론적인 교육이 필요하다. 특히 전체론적 관점은 디지털 매체를 이용한 타이포그라피 디자인이나 교육에서 더욱 강조되어야한다. 디지털 매체에 익숙해져 있는 학습자들은 새로운 테크날로지란 디자인의 새로운 가능성을 모두 대체할 수 있는 것이 아님을 알아야 한다. 비주얼시스템은 학습자가 객관적으로 사고하고 방법을 찾는 능력을 배양시켜주는 학습 방식이다. 이 학습을 통해서 학습자는 문제 해결을 위해서 논리와 감성을 함께 사용하는 방법을 배운다. 이 논문은 시스템이란 무엇이고 이 개념을 어떻게 타이포그라피 교육을 위한 비주얼 시스템으로 계발할 수 있는지를 교육사례를 들어 연구한 것이다. 그리고 비주얼시스템의 타이포그레피 교육에 대한 요용성과 가능성을 연구한 것이다.

• 조명전기설비학회논문지
• /
• 제19권3호
• /
• pp.105-110
• /
• 2005

여러 제어기 중에서 PLC가 공장자동화 설계에서 가장 많이 사용되고 있으며, PLC 언어에 대한 연구도 활발히 이루어지고 있다. 본 논문에서는 PLC를 사용한 공장자동화 설계에서 입력기기의 수가 증가되었을 때 입력을 확장하는 인코딩 모듈을 제안한다. 기본 베이스에 입력 유닛을 더 이상 장착할 수 없는 상태에서 입력 점수를 $2\~3$점 확장하고자 한다면, 증설 베이스와 파워서플라이, 증설케이블 및 출력 유닛을 별도로 장착하여야 한다. 그러면 비용이 상당히 추가되어야 한다. 본 논문에서는 입력을 소량을 확장할 수 있는 입력 인코딩 모듈을 제안하고, 시뮬레이션을 통해 그의 타당성을 확인하였다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제3권2호
• /
• pp.194-199
• /
• 2003

Data are an expression of the language or numerical values that show some features. And the information is extracted from data for the specific purposes. The knowledge is utilized as information to construct rules that recognize patterns or make a decision. Today, knowledge extraction and application of that are broadly accomplished for the easy comprehension and the performance improvement of systems in the several industrial fields. The knowledge extraction can be achieved by some steps that include the knowledge acquisition, expression, and implementation. Such extracted knowledge is drawn by rules with data mining techniques. Clustering (CL), input space partition (ISP), neuro-fuzzy (NF), neural network (NN), extension matrix (EM), etc. are employed for the knowledge expression based upon rules. In this paper, the various approaches of the knowledge extraction are surveyed and categorized by methodologies and applied industrial fields. Also, the trend and examples of each approaches are shown in the tables and graphes using the categories such as CL, ISP, NF, NN, EM, and so on.