• Korean Journal of Logic
• /
• v.4
• /
• pp.109-123
• /
• 2000

데이빗슨은 "Slingshot 논변"이라는 그의 유명한 논변을 이용하여 진리 대응론을 비판한다. 그의 논변은 타당하지만, 다음 두 전제들에 의존한다. (1) 논리적으로 동치인 문장들은 같은 사실에 대응한다. (2) 참인 문장은 그 문장 내의 한 단칭어가 공지시적 단칭어에 의해 대체될 때 대응하는 사실이 변하지 않는다. 이 논문에서 필자는 두 번째 전제가 설득력이 없음을, 특히, Slingshot 논변의 구성을 위해 필수적인 통일성 문장들에 대해서 설득력이 없음을 주장한다.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2209-2211
• /
• 2003

마이크로제어기의 성능과 기능이 강화되는 반면에, 가격은 점점 낮아져, 다양한 논리기능의 구현이 가능해져, 특히 퍼지논리 제어기의 구현이 매우 보편화되고 있다. 이에 따라 종래의 On-Off 온도제어기로 구현이 어려웠던 다양한 제어기능을 구현함으로써 보다 쾌적하고 전기료를 절약한 절전형 온도제어기의 출현이 가능하게 되었다. 본 논문에서는 8비트형 마이크로 콘트롤러를 사용한 퍼지논리 제어기의 실용적인 설계를 fyzzyTECH의 상용화된 도구를 사용하여 구현하였다. 이 방법은 종래의 방법에 비해 성능, 가격 및 에너지 절약측면에서 매우 우수한 성능은 발휘하였다.

• Korean Journal of Social Welfare
• /
• v.64 no.3
• /
• pp.155-181
• /
• 2012

The paper aims to improve the quality and validity of community plan using the content analysis on gyeongju-si. To achieve it, the relevant literatures reviewed, and established the basic framework and three criteria of community plan, then adapted these criteria to the gyeongju-si community plan. Findings are like: Firstly, the measurement criteria of validity are clarified into three; vertical consistency on the whole plan's hierarchical structure, horizontal relevancy between the section plans, clearness of statement. Secondly, generally, gyeongju si plan didn't satisfy the criteria of validity. Based on these results, it specifically offers a impoverishment strategy including the guidelines' upgrading.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.6
• /
• pp.1441-1446
• /
• 2010

This paper presents a method of constructing the divider using sequential logic systems over finite fields(or galois fields). The proposed the sequential logic systems is constructed by as following. First of all, we obtain the linear characteristics between present state and next state based on mathematical properties of finite fields and sequential logic systems. Next, we realize the sequential logic systems over finite fields using above linear characteristics and characteristic polynomial which is expressed using by matrix. Also, we apply to implement divider using the proposed sequential logic systems over finite fields.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1138-1146
• /
• 1996

Fuzzy logic ignores some informations in the reasoning process. Neural networks are powerful tools for the pattern processing. However, to model human knowledges, besides pattern processing capability, the logical reasoning capability is equally important. Another new neural network called neural logic network is able to do the logical reasoning. Because the fuzzy logical reasoning, we construct fuzzy inference net-work based on the neural logic network, extending the existing rule-inferencing network. And the traditional propagation rule is modified. For the search strategies to find out the belief value of a conclusion in the fuzzy inference network, we conduct a simulation to evaluate the search cost for searching sequentially and searching by means of priorities.

• Korean Journal of Logic
• /
• v.3
• /
• pp.115-125
• /
• 2000

제논이 내세운 역설에서 시작한 톰슨과 베나세라프의 초능력 작업 논의는 이제 그 논의 자체가 독립된 논의가 된 듯하다. 이 글에서는 그 초능력 작업이 톰슨이 말한 대로 불가능한가를 논의한다. 그래서 이 논의가 해결되기 위해서는 열린 문제 하나가 해결되어야 함을 지적한다. 따라서 이 논의가 제논의 역설을 충실히 반영하고 있는가 하는 점은 관심 밖이다.

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2002.11a
• /
• pp.350-362
• /
• 2002

A new architecture called the Storage Area Network(SAN) was developed in response to the requirements of high availability of data, scalable growth and system performance In order to use SAN more efficiently, must SAN operating systems support storage virtualization concepts that allow users to view physical storage devices attached to SAN as a large volume virtually. A logical volume manager Days a key role in storage virtualization it realizes the storage virtualization by mapping logical addresses to physical addresses. In this paper, we design and implement an efficient and flexible mapping method for logical volume manager. The mapping method in this paper supports a snapshot that preserves a volume image at certain time and on-line reorganization to allow users to add or remove storage devices to SAN even while the system is running.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.11a
• /
• pp.350-362
• /
• 2002

A new architecture called the Storage Area Network(SAN) was developed in response to the requirements of high availability of data scalable growth, and system performance. In order to use SAN more efficiently, most SAN operating systems support storage virtualization concepts that allow users to view physical storage devices attached to SAN as a large volume virtually. A logical volume manager plays a key role in storage virtualization. It realizes the storage virtualization by mapping logical addresses to physical addresses. In this paper, we design and implement an efficient and flexible mapping method for logical volume manager. The nin method in this paper supports a snapshot that preserves a volume image at certain time and on-line reorganization to allow users to add or remove storage devices to SAN even while the system is running.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.23 no.3
• /
• pp.268-274
• /
• 2013

Any new method for controlling a nonlinear system has widely been reported. An inverted pendulum system has typically been used as a target system for demonstrating its usefulness. In this paper, we propose an algorithm to control a flexible joint cart based inverted pendulum system. Two carts are connected with a spring and one is a driving cart and the other is no driving cart with a pole. We here present a system modeling and a good fuzzy logic based control algorithm. We also introduce LQR (Linar Quadratic Regulator) technique for reducing the number of control variables. By using this technique, the number of input variables for a fuzzy logic controller is become only two not six. So the computational complexity is largely reduced. Moreover, a two-input fuzzy logic controller has a control rule table with a skew-symmetric property. And it will lead the design of a single-input fuzzy logic controller. In order to demonstrate the usefulness of the proposed method and prove the superiority of the proposed method, some computer simulations are presented.