• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.8
• /
• pp.1774-1779
• /
• 2005

This paper propose the design method of the constructing the digital logic systems over galois fields using by the galois field decision diagram(GFDD) that is based on the graph theory. The proposed design method is as following. First of all, we discuss the mathematical properties of the galois fields and the basic properties of the graph theory. After we discuss the operational domain and the functional domain, we obtain the transformation matrixes, $\psi$GF(P)(1) and $\xi$GF(P)(1), in the case of one variable, that easily manipulate the relationship between two domains. And we extend above transformation matrixes to n-variable case, we obtain $\psi$GF(P)(1) and $\xi$GF(P)(1). We discuss the Reed-Muller expansion in order to obtain the digital switching functions of the P-valued single variable. And for the purpose of the extend above Reed-Muller expansion to more two variables, we describe the Kronecker product arithmetic operation.

• Journal of Internet Computing and Services
• /
• v.5 no.2
• /
• pp.85-95
• /
• 2004

The web-based project is seriously not efficient area at software engineering. In order to develop a web-based system, UI(User Interface) designers usually first design display layout and then business logic developers bring to complete the coding of the display layout source. In the case of maintenance, it goes through the same process, This kinds of web-based software development method were proposed by the various methods same as the tag library of JSP, But there are many problems to apply them and they are low productive comparing to the CIS based software development method, WFS(Neb Form System), which is suggested on this thesis, separates UI design from business logic on a web project and offers the better environment to develop web based software, Eventually WFS will improve the productivity to develop web based software.

• Korean Journal of Logic
• /
• v.15 no.1
• /
• pp.17-53
• /
• 2012

Some Korean Philosophers has manifested their opinions on Sleeping Beauty problem. For example, Hasuk Song and Namjoong Kim stands for an thirder, while Hanseung Kim for a perspectivistic compatibilist. In order to fill a vacant position, I shall make an argument for halfers in this paper. My presumption is that the probability the question now given to sleeping beauty is the first question among several is greater than thirder's calculated value. Futhermore, I argue that the probability the coin landed heads on condition that the question now given to sleeping beauty is the first question is greater than 1/2.

• Industrial Engineering and Management Systems
• /
• v.10 no.1
• /
• pp.54-64
• /
• 2011

The purpose of this study is to optimally allocate the human resources to tasks while minimizing the total daily human resource costs and smoothing the human resource usage. The human resource allocation problem (hRAP) under consideration contains two kinds of special constraints, i.e. operational precedence and skill constraints in addition to the ordinary constraints. To deal with the multiple objectives and the special constraints, first we designed this hRAP as a network problem and then proposed a Pareto multistage decisionbased genetic algorithm (P-mdGA). During the evolutionary process of P-mdGA, a Pareto evaluation procedure called generalized Pareto-based scale-independent fitness function approach is used to evaluate the solutions. Additionally, in order to improve the performance of P-mdGA, we use fuzzy logic controller for fine-tuning of genetic parameters. Finally, in order to demonstrate the applicability and to evaluate the performance of the proposed approach, P-mdGA is applied to solve a case study in a hotel, where the managers usually need helpful automatic support for effectively allocating hotel staff to hotel tasks.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.891-894
• /
• 1993

To improve limitations of fuzzy PI controller especially when applied to high order systems, we propose two types of fuzzy logic controllers that take out appropriate amounts of accumulated control input according to fuzzily described situations in addition to the incremental control input calculated by conventional fuzzy PI controllers. The structures of the proposed controller were motivated by the problems of fuzzy PI controllers that they generally give inevitable overshoot when one tries to reduce rise time of response especially when one tries to reduce rise time of response especially when a system of order higher than one is under consideration. Since the undesirable characteristics of the fuzzy PI controller are caused by integrating operation of the controller, even though the integrator itself is introduced to overcome steady state error in response, we propose two fuzzy controllers that fuzzily clear out integrated quantities according to situation. The first contr ller determines the fuzzy resetting rate by situations described fuzzily by error and error rate, and the second one by error and control input. The two structures both give reduced rise time as well as small overshoot. To show the usefulness of the proposed controller, that are applied to systems that are difficult to get satisfactory response by conventional fuzzy PI controllers.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.128-133
• /
• 1998

This paper aims to present some ideas for implementation of Uncertain Relational Databases (URD) which are extensions of classical relational databases. Our system firstly is based on possibility distribution and probability theory to represent and manipulate fuzzy and probabilistic information, secondly adopts flexible mechanisms that allow the management of uncertain data through the resources provided by both available relational database management systems and front-end interfaces, and lastly chooses dynamic SQL to enhance versatility and adjustability of systems.

• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.137-181
• /
• 2014

I will propose the radical indeterminacy for solving the higher-order vagueness' dilemma. The radical indeterminacy means that the indeterminacy of 'a is P' implies the indeterminacy of 'a is a borderline case of P.' I will compose my argument two steps: first I will suggest conditions for overcoming the dilemma by analyzing its structure and second I will offer the radical indeterminacy that satisfies aforementioned conditions. I think the higher-order vagueness' dilemma occurs owing to the misunderstanding about the unclarity or the indeterminacy of borderline cases that is an basic intuition of vagueness. So conditions for solving the dilemma are also criteria of adequacy on the theory of vagueness. Thus I will propose II-rule that satisfies above conditions and the radical indeterminacy as a new understanding about vagueness.

• Korean Journal of Logic
• /
• v.19 no.2
• /
• pp.185-232
• /
• 2016

In order to explain why begging the question is a fallacy, some of the challenges must be met. First we need to understand what begging the question is in subtle ways. In addition, it is necessary to reflect on the nature and the purpose of arguments in order to explain why begging the question is a fallacy. In this paper, I first have a general proposal about the main purpose of arguments. Then I place my own multi-layered theory of begging the question proposed in a previous study in the context of the proposals in this paper for the main purpose of arguments. Moreover, I develop a more comprehensive theory of why begging the question is a fallacy. Finally, I examine and criticize the main previous theories of begging the question, such as Frank Jackson's theory, Douglas Walton's theory, David Sanford's theory, John Biro's theory.

• The Journal of Information Technology and Database
• /
• v.5 no.1
• /
• pp.13-37
• /
• 1998

인터넷 등의 컴퓨터 통신 네트워크의 발달로 인하여 분산된 정보자원의 공유를 통한 자원에 대한 재사용성의 필요성이 대두되었다. IRD(Information Resource Dictionary)는 조직 내에서 관련된 모든 정보에 대한 데이터가 논리적으로 중앙화된 정보저장소(repository)이다. IRD 내의 데이터는 다른 데이터를 기술하므로 이른바 메타 데이터라고 하기도 한다. IRD의 사전(dictionary) 요소는 정보자원의 종류, 정보자원의 의미, 정보자원의 논리적 구조, 정보자원의 위치, 그리고 정보자원의 접근방법 등을 기술한다. FIPS ANSI의 IRDS는 이항 관계를 이용하여 무결성 제약조건을 표현하므로 제약조건 규칙의 표현과 일반적인 추론 규칙의 표현이 제한되어 있으며, 다양한 형태의 무결성 제약조건의 표현과 IRD와 관련된 여러 정보의 도출 또는 추론 및 관리에 관한 사항은 IRD 응용 고유의 문제로 간주하여 언급하고 있지 않다. 한편, FIPS IRDS는 사용자가 SQL 및 IRD에 대한 전문적 지식이 없이는 사용자 질의 작성이 어려운 점등에 대한 문제점을 안고 있다. 본 논문은 FIPS IRDS의 기본모델에서 정보자원 표현, 정보자원들간의 관계, 정보자원의 관리 정보 구분을 명확히 하기 위해 정보자원 모델을 정보자원 표현요소와 정보자원 관리요소의 두 부류로 나누어 구분하고, 각 부류에 대한 자격 질의(competency question)를 통하여 유추된 요소들을 FIPS ANSI IRDS 기본 모델의 스키마 기술 레벨과 스키마 레벨에 첨가함으로써 그 기본 모델을 확장한다. 그리고, FIPS ANSI IRDS가 제공하는 IRD 기술과 관리 기능을 그대로 포함하면서 앞에서 문제점으로 지적된 제약조건 표현과 추론규칙 표현을 위하여 확장된 기본 모델을 중심으로 각 레벨의 구성 요소들의 형식적 의미(formal semantics)와 레벨 내 혹은 레벨 구성요소들간의 관계성(relationship), 그리고 제약조건의 표현과 질의 추론 규칙들을 식별하여 FOPL(First Order Predicate Logic)로 표현한다. 또한, 본 논문은 FOPL로 표현된 predicate들과 규칙들을 구현하기 위하여 Prolog로 변환하기 위한 이론적 방법론을 제시하고 정보자원 관리를 위한 기본 함수들과 스키마 진화(schema evolution)를 위한 방법론을 제안한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.3
• /
• pp.363-369
• /
• 2003

The Web-based project is seriously not efficient area at software engineering. In order to develop a Web-based system, UI(User Interface) designers usually first design display layout and then business logic developers bring to complete the coding of the display layout source. In the case of maintenance, it goes through the same process. This kinds of Web-based software development method were proposed by the various methods same as the tag library of JSP. But there are many problems to apply them and they are low productive comparing to the C/S based software development method. WFS(Web Form System), which is suggested on this thesis, separates UI design from business logic on a Web project and offers the better environment to develop Web-based software. Eventually WFS will improve the productivity to develop Web-based software.